特徵函數、穩定律與精細極限定理

光滑性與尾部的對偶(smoothness-tails duality)

傅立葉分析反覆出現的主題是一種權衡:一個函數在空間側的光滑程度,控制其變換在頻率側的衰減速度,反之亦然。對機率而言,這化為一部字典,把分布的尾部行為翻譯成其特徵函數的光滑性,把密度的光滑性翻譯成特徵函數的衰減。這正是動差—導數關係、局部中央極限定理與愛奇沃斯修正背後的定性直覺。

兩個成對的陳述抓住了它。其一,phi 的衰減控制分布的光滑性:若特徵函數 phi 可積,即 integral |phi(t)| dt < infinity,則由傅立葉反演分布有有界連續密度 f(x) = (1/2pi) integral e^(-itx) phi(t) dt;phi 衰減越快(如 |phi(t)| <= C/(1+|t|)^(k+1))密度就有 k 階連續導數。其二,尾部控制 phi 在 0 處的光滑性:X 的尾部越重,phi 在原點越粗糙。具體地,E[|X|^k] < infinity 迫使 phi 為 k 次連續可微,且 phi^(j)(0) = i^j E[X^j];反之有限的偶階導數 phi^(2m)(0) 迫使 E[X^(2m)] < infinity。故重尾分布(無高階動差)的特徵函數在 0 處光滑性有限——柯西的特徵函數 e^(-|t|) 在 0 處有尖角,反映柯西連均值都沒有。

此對偶是精細極限理論的工作直覺:光滑極限密度的存在(局部中央極限定理)需要特徵函數的衰減;愛奇沃斯修正來自用高階動差在 0 附近展開特徵函數;而重尾(phi 在 0 處光滑性差)正是打破古典中央極限定理、把你推向穩定律之物。誠實的警語:這部字典是定性的,並非每一階都是乾淨的充要條件。奇數階動差與單側尾部行為微妙,且特徵函數可能在 0 處不可微,卻對應一個僅以主值定義均值的分布;在臨界情形請謹慎對待動差—導數對應。

標準常態的特徵函數為 e^(-t^2/2),衰減極快且無窮光滑——對應其光滑、所有動差皆有限的密度。標準柯西的特徵函數為 e^(-|t|),在 0 處有尖角(不可微)——對應其重尾:柯西無有限均值,故 phi 在 0 處不能有有限的一階導數。

光滑密度 <-> 特徵函數快速衰減;有限動差 <-> 特徵函數在 0 處可微。重尾留下尖角。

此對偶是定性的:phi 衰減越快密度越光滑,但特徵函數可積僅保證連續密度,無額外衰減不必然光滑。

又稱
Fourier smoothness-decay principleuncertainty-type duality for cfs