Skip to content

定义Definition

特征函数(概率)

施工中 · 内容逐步修订

Characteristic function of a distribution

随机变量的复指数矩,也就是概率分布的 Fourier 变换。

形式陈述 ​

实随机变量 X 的特征函数定义为

φX(t)=E[eitX]=E[cos⁡tX]+iE[sin⁡tX],t∈R,

其中 eitX 取复数值,期望按实部与虚部分别定义;由 |eitX|=1,该期望对任何分布都存在。基本性质:φX(0)=1,|φX(t)|≤1,φX 在 R 上一致连续且正定;唯一性定理断言特征函数完全决定分布。若 X,Y 独立,则

φX+Y(t)=φX(t)φY(t).

连续性有一个统一于频率的估计:

|φX(t+h)−φX(t)|≤E|eihX−1|⟶0.

右侧与 t 无关;被积函数逐点趋零且不超过 2,故控制收敛定理给出极限。这证明的是全实线上的一致连续性,不需要 X 有有限一阶矩。

直觉

对每个频率 t,eitX 把样本值映到单位圆,再对这些方向取平均。不同频率探测分布的不同变化尺度。模长恒为一,尾部样本也只贡献一个单位长度的复数,因此期望总存在。

独立和的分布是卷积,特征函数把它变为逐点乘法。线性变换也有直接规则:φaX+b(t)=eibtφX(at),平移改变相位,缩放改变频率参数。

例子与边界

正态分布 N(μ,σ2) 的特征函数是 exp⁡(iμt−σ2t2/2);两个独立正态相加时指数相加,立即得出“独立正态之和仍是正态”。Bernoulli(p) 的特征函数为 1−p+peit,n 个独立同参数因子相乘得 (1−p+peit)n,正是二项分布的特征函数。

标准 Cauchy 分布有 φ(t)=e−|t|。它没有有限一阶绝对矩,矩母函数在每个 t≠0 处发散,特征函数却仍完整存在。这一例子的特征函数在零点不可导;一般地,若 E|X|k<∞,则可对期望逐次求导,得到 φX(k)(0)=ikE[Xk]。

乘法关系本身可能由依赖变量满足。令 X 为标准 Cauchy,Y=X,则 φX+Y(t)=φ2X(t)=e−2|t|=φX(t)φY(t),但两变量完全相依。判断独立性所需的是联合特征函数对所有参数的因子化:Eei(sX+tY)=φX(s)φY(t);只看 s=t 的和分布不足以确定全部联合结构。

推论与应用

Lévy 连续性定理把依分布收敛转为函数极限:依分布收敛蕴含特征函数逐点收敛;反过来,若一列特征函数逐点趋于 φ,且 φ 在零点连续,则它是某个分布的特征函数,原分布列收敛到该分布。

对均值为零、方差为一的变量,特征函数在零点展开为 1−t2/2+o(t2)。独立同分布样本的标准化和因而有特征函数 [φX(t/n)]n→e−t2/2,再由连续性定理得到中心极限定理。这里二阶矩提供展开,独立性提供乘积,连续性定理完成从函数极限到分布极限的转换。

参考资料
关系图谱22 个相邻概念 · 3 类关系

拖动节点调整位置。

显示关系

显示:依赖

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