(《统计推断》3.4)
称一个概率密度函数族或概率质量函数族为指数族(exponential family),如果它能统一表示为:
指数分布族有两个性质:
这里给出其证明。首先,记
第一个式子
E(∑ki=1∂ωi(θ)∂θjti(X))
=E(∂∂θjk(x,θ))
=∫h(x)c(θ)exp(k(x,θ))∂∂θjk(x,θ)dx
=∫h(x)c(θ)∂∂θjK(x,θ)dx
=c(θ)∫∂∂θj(1c(θ)c(θ))h(x)K(x,θ)dx
=c(θ)∂∂θj1c(θ)∫c(θ)h(x)K(x,θ)dx
=c(θ)∂∂θj1c(θ)
接下来考虑到:
0=∂∂x1
=∂∂x(f(x)1f(x))
=1f(x)∂∂xf(x)+f(x)∂∂x1f(x)
=∂∂xlogf(x)+f(x)∂∂x1f(x)
因而
c(θ)∂∂θj1c(θ)
=−∂∂θjlogc(θ)
证毕。
第二个式子
Var(∑ki=1∂ωi(θ)∂θjti(X))
=Var(∂∂θjk(x,θ))
=E((∂∂θjk(x,θ))2)−E(∂∂θjk(x,θ))2
=∫h(x)c(θ)exp(k(x,θ))(∂∂θjk(x,θ))2dx−(c(θ)∂∂θj1c(θ))2
减号右边
(c(θ)∂∂θj1c(θ))2
=(c(θ)∂∂θj1c(θ))(c(θ)∂∂θj1c(θ))
=−(1c(θ)∂∂θjc(θ))(c(θ)∂∂θj1c(θ))
=−(∂∂θjc(θ))(∂∂θj1c(θ))
减号左边,考虑
∂2∂x2exp(f(x))
=exp(f(x))(∂2∂x2f(x)+(∂∂xf(x))2)
因而
∫h(x)c(θ)exp(k(x,θ))(∂∂θjk(x,θ))2dx
=∫h(x)c(θ)∂2∂θ2jK(x,θ)dx−∫h(x)c(θ)K(x,θ)∂2∂θ2jk(x,θ)dx
=c(θ)∂2∂θ2j1c(θ)−E(∂2∂θ2jk(x,θ))
结合两部分,得到:
Var(∑ki=1∂ωi(θ)∂θjti(X))
=c(θ)∂2∂θ2j1c(θ)+(∂∂θjc(θ))(∂∂θj1c(θ))−E(∂2∂θ2jk(x,θ))
考虑:
0=∂2∂x21
=∂∂x(1f(x)∂∂xf(x)+f(x)∂∂x1f(x))
=1f(x)∂2∂x2f(x)+2(∂∂xf(x))(∂∂x1f(x))+f(x)∂2∂x21f(x)
=1f(x)∂2∂x2f(x)+(∂∂xf(x))(∂∂x1f(x))+∂2∂x2logf(x)
因而
Var(∑ki=1∂ωi(θ)∂θjti(X))
=−∂2∂θ2jlogc(θ)−E(∂2∂θ2jk(x,θ))
=−∂2∂θ2jlogc(θ)−E(∑ki=1∂2ωi(θ)∂θ2jti(X))
证毕
这里边几次用到