UMVUE 是“对每个参数值,都在所有无偏估计中方差最小”的估计量。直接把所有无偏估计列出来比较几乎不可能,课程里用两条路线解决:条件期望改进与方差下界。
Rao–Blackwell:把无关波动平均掉
若 U 是 g(θ) 的无偏估计,T 是充分统计量,则
U∗=E(U∣T)
仍然无偏,并且
Var(U∗)≤Var(U).
原因来自全方差公式:
Var(U)=Var(E[U∣T])+E[Var(U∣T)].
条件到 T 上,相当于保留参数信息、平均掉样本中与参数无关的随机起伏。
Lehmann–Scheffé:完备性保证它就是唯一答案
若 T 同时充分且完备,那么任何仅由 T 构成的无偏估计 h(T) 都是 g(θ) 的唯一 UMVUE。
典型步骤:
- 用因子分解定理找到充分统计量 T;
- 证明或调用 T 的完备性;
- 构造 h(T),使 E[h(T)]=g(θ);
- 直接由定理宣布它是 UMVUE。
例如指数尺度模型中 T=∑Xi∼Γ(n,scale=θ) 是完备充分统计量,而 T/n=Xˉ 对 θ 无偏,所以 Xˉ 是 θ 的 UMVUE。
Cramér–Rao 下界
在正则条件下,任何 g(θ) 的无偏估计 U 满足
Varθ(U)≥In(θ)[g′(θ)]2,In(θ)=nI1(θ).
它说明数据包含的 Fisher 信息越大,允许的估计方差下界越小。若某无偏估计达到这个下界,它就是有效估计,也必为 UMVUE。
等号什么时候成立
下界推导使用 Cauchy–Schwarz 不等式。等号成立需要估计误差与得分函数线性相关:
U−g(θ)=a(θ)∂θ∂logL(θ;X).
这个条件也能用来判断“下界虽然算出来了,但有没有估计量能达到”。
正则条件不能省略
通常需要支持集不依赖参数,并允许把微分移入积分号。U(0,θ) 的支持集依赖 θ,直接套普通 Cramér–Rao 公式会得出错误结论。
三个概念怎样分工
- 充分性:是否保留了样本中关于参数的全部信息;
- 完备性:是否能排除多个不同的无偏函数;
- Fisher 信息:这份样本理论上能把参数估到多精确。
题目问“求 UMVUE”时,先找完备充分统计量通常比先算 Cramér–Rao 下界稳;题目问“验证有效性”时,下界更直接。