Skip to content

定理Theorem

Karamata 积分定理

Karamata theorem · Karamata integral theorem

非临界指数下,正则变化函数的积分主项等于端点函数值乘长度,再除以由幂指数决定的常数。

形式陈述 ​

一个带慢变化修正的幂函数,积分后还保留怎样的主项?设 f 在 [a,∞) 上局部可积,最终严格为正,并且是指数 ρ 的正则变化函数。这里 a>0 固定,积分按Lebesgue 积分理解。

若 ρ>−1,则

∫axf(t)dt∼xf(x)ρ+1,x→∞.

若 ρ<−1,则上尾积分有限,且

∫x∞f(t)dt∼−xf(x)ρ+1.

符号 g∼h 表示 g/h→1。临界指数 ρ=−1 不在这两条公式中;此时积分是否有限以及多出什么缓慢因子,都要继续查看慢变化部分。

直觉

对纯幂 tρ,结论就是熟悉的积分公式。慢变化修正在固定倍率范围内几乎不变,因此在主要贡献区间里,可以近似把它看成端点值。

但整个积分区间含有极端倍率:下积分缩放后靠近零,上尾积分缩放后延伸到无穷。逐点比值极限只管固定倍率,不能直接覆盖这两端。Potter 界提供一个仍可积的幂函数,把端部控制补齐。

例子与边界

超过门槛的平均大小 ​

设非负随机变量的尾函数满足 F―(u)=P(X>u)∈RV−α,其中 α>1。将非负指标函数对高度积分,再由Tonelli 定理交换积分,可得尾积分公式

E[X1{X>u}]=uF―(u)+∫u∞F―(t)dt.

第一项保留每次超越已经达到的门槛高度,第二项累计门槛之外的额外高度。Karamata 定理给

∫u∞F―(t)dt∼uF―(u)α−1,

所以

E[X1{X>u}]∼αα−1uF―(u),E[X∣X>u]∼αα−1u.

例如精确 Pareto 尾 F―(u)=u−2(u≥1)给 E[X∣X>u]=2u。额外超越量的均值是 u,全部观测的条件均值才是 2u;把两者混在一起会漏掉门槛项。

临界指数不是把分母换成零 ​

若 f(t)=1/t,则 ∫1xf(t)dt=log⁡x,而 xf(x)=1。积分多出一个发散的慢变化因子,不能继续套用常数倍公式。

同属 RV−1 的

f1(t)=1t,f2(t)=1t(log⁡t)2,t≥e,

却有完全不同的上尾可积性:前者积分发散,后者 ∫x∞f2(t)dt=1/log⁡x。因此对于尾指数 α=1,单凭幂指数无法判断均值有限与否;慢变化部分仍可改变答案。

推论与应用

下积分的完整支配步骤 ​

写 f(t)=tρL(t),先取足够大的 a0≥a,使 Potter 界可用。有限前段的积分是常数,而 xf(x)=xρ+1L(x)→∞,所以它除以 xf(x) 后消失。

在剩余积分中令 t=xu,得到

∫a0xf(t)dtxf(x)=∫01uρL(xu)L(x)1{xu≥a0}du.

对固定 u>0,被积函数趋于 uρ。选择 0<ε<ρ+1;在指示函数非零的地方,Potter 界给

uρL(xu)L(x)≤Auρ−ε.

右侧在 (0,1] 可积,因为 ρ−ε>−1。现在才有资格使用支配收敛定理,得到极限

∫01uρdu=1ρ+1.

可积支配不是由“慢变化”一句话自动给出的;它需要一个明确的指数余量。

上尾积分为何给负分母 ​

若 ρ<−1,相同换元给

∫x∞f(t)dtxf(x)=∫1∞uρL(xu)L(x)du.

选 0<ε<−(ρ+1),Potter 界提供可积上界 Auρ+ε。支配收敛于是给

∫1∞uρdu=−1ρ+1>0.

同一个上界也证明上尾积分确实有限,不需要先把可积性当作额外猜测。

截断矩的分界 ​

对非负 X 和 p>0,EXp=p∫0∞tp−1F―(t)dt。若 F―∈RV−α 且 α>0,则被积函数指数为 p−1−α:p<α 时尾部可积,p>α 时发散,p=α 必须检查慢变化部分。

对 p>α,一个更有信息的有限样本量是截断矩:

E[Xp1{X≤u}]=p∫0utp−1F―(t)dt−upF―(u)∼αp−αupF―(u).

减掉末项同样关键。这个表达能量化不断提高截断上限时,原本无限的高阶矩以什么速度增长。

参考资料
  • N. H. Bingham、C. M. Goldie、J. L. Teugels,Regular Variation,Cambridge University Press,1987,出版社授权预览,§1.5,Theorem 1.5.6、Propositions 1.5.8–1.5.10 与 Theorem 1.5.11:Potter 界及积分渐近。

  • Péter Kevei, 《Regularly varying functions》,§6, Propositions 4–7、Theorem 12,以及 Potter 支配下的积分证明。

关系图谱11 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系