Skip to content

定义Definition

正则变化函数

Regularly varying function · Regular variation

正则变化以缩放比值的幂函数极限刻画幂律,允许不改变幂指数的慢变化修正。

形式陈述 ​

“像一个幂函数”怎样说得既精确,又允许对数修正?设 f 是某个半轴上最终严格为正的可测函数。若存在 ρ∈R,使对每个固定 x>0,

limt→∞f(tx)f(t)=xρ,

则称 f 在无穷远正则变化,指数为 ρ,记作 f∈RVρ。这里的极限考察的是把输入乘上固定倍数后,输出怎样成比例改变。

指数为零时称慢变化,通常记函数为 L。定义立即给出等价分解

f(t)=tρL(t),L(tx)/L(t)→1.

这不要求 L 趋向常数,也不要求 f 单调。可测性是正则变化理论排除病态乘法函数的重要条件;在概率应用中,尾函数本来就满足这一条件。

直觉

幂函数在任何放大倍率下都保留同一种比例。正则变化允许这个比例在有限尺度上有误差,但当基准位置越来越远,误差会消失。

慢变化不是“导数小”的同义词,而是相对尺度的概念。log⁡t 可以无限增长,1/log⁡t 可以趋零;把输入扩大固定倍数后,它们的相对变化仍趋零。幂指数描述主尺度,慢变化描述比任意固定幂次更温和的修正。

例子与边界

对数修正不会改变幂指数 ​

令 f(t)=t−α(log⁡t)β,t>1。则

f(tx)f(t)=x−α(1+log⁡xlog⁡t)β⟶x−α.

所以无论 β 为何,它都属于 RV−α。若 α>0,适当缩放并在小值区补成合法分布后,这可以作为重尾概率 P(X>t)。两个总体可能具有相同幂指数而极端概率相差一个趋向无穷的对数因子;“指数相同”不等于“尾概率相同”。

慢变化也可以不收敛。比如

L(t)=2+sin⁡(log⁡log⁡t),t>1,

始终在一与三之间振荡。对固定 x>0,log⁡log⁡(tx)−log⁡log⁡t→0,正弦的差趋零,且分母至少为一,故 L(tx)/L(t)→1。

同样有界的振荡,换一个尺度就失败 ​

把它改为 L0(t)=2+sin⁡(log⁡t),取 x=eπ/2。沿 tn=e2πn,比值为 3/2;沿 sn=e2πn+π/2,比值为 2/3。两条子列给不同结果,故 L0 不是慢变化,tρL0(t) 也不属于任何正则变化指数。

指数尾 f(t)=e−t 也不是有限指数的正则变化:当 x>1 时,f(tx)/f(t)=e−(x−1)t→0,而 xρ 对每个有限 ρ 都严格为正。幂尺度与指数尺度不能混用。

推论与应用

为什么极限形状只能是幂 ​

假设比值极限存在且严格为正,暂记为 g(x)。分解

f(txy)f(t)=f((tx)y)f(tx)f(tx)f(t),

便有 g(xy)=g(x)g(y)。再令 h(u)=log⁡g(eu),得到可测的加法方程 h(u+v)=h(u)+h(v)。可测加法函数必为线性函数,所以 h(u)=ρu,也就是 g(x)=xρ。

这说明定义中的幂函数不是任意挑选的模板。只要所有固定倍率的正有限极限存在,倍率复合的一致性就迫使它出现。

从逐点比值到可积分的控制 ​

正则变化的统一收敛定理说:对每个 0<a<b<∞,上述比值收敛在 x∈[a,b] 上一致。远离零且倍率不无限放大时,可以用一个共同的基准位置控制全部倍率。

更大范围内使用 Potter 界:对任意 ε>0,A>1,存在 t0,使 s,t≥t0 时

f(s)f(t)≤Amax{(s/t)ρ+ε,(s/t)ρ−ε}.

它允许上下各放松一个很小的幂指数,换来对所有足够大输入的统一控制。

这个界如何从统一收敛产生?先考虑慢变化 L,固定 r>1。当基准足够大时,L(rv)/L(v) 及其倒数都不超过 rε;对 1≤λ≤r 的剩余倍率,统一收敛保证比值及倒数不超过 A。把 s/t≥1 写成 rkλ,连续走 k 个固定倍率,再走最后一小段,得到 L(s)/L(t)≤A(s/t)ε。反向比值同理,最后乘回 (s/t)ρ。

给定 ε>0,先在 Potter 界中使用较小指数 ε/2,再固定一个足够大的基准点,就可推出

t−εL(t)→0,tεL(t)→∞.

因此 ρ<0 时 f(t)→0,ρ>0 时 f(t)→∞。Karamata 积分定理正是用 Potter 界把这些缩放极限安全地传入积分;最大值吸引域则用它识别幂尾最大值的正确归一化。

参考资料
  • 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》,§§3–5,慢变化、统一收敛、乘法极限刻画与 Theorem 11 的 Potter 界。

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

拖动节点调整位置。

显示关系

显示:依赖

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