跳到主要内容

大阪大学 基礎工学研究科 数理科学 (システム創成専攻) 2024年度 数理科学 [I-5]

Author

祭音Myyura (co-authored with GPT 5.6 SOL)

Description

n1n\ge1, d2d\ge2 を整数とする。Xi,jX_{i,j}i=1,,ni=1,\ldots,n, j=1,,dj=1,\ldots,d)は互いに独立で、Xi,jN(μi,σ2)X_{i,j}\sim N(\mu_i,\sigma^2)μiR\mu_i\in\mathbb R, σ2>0\sigma^2>0 とする。

(1) (μ1,,μn,σ2)(\mu_1,\ldots,\mu_n,\sigma^2) の最尤推定量 (μ^1,,μ^n,σ^n2)(\hat\mu_1,\ldots,\hat\mu_n,\hat\sigma_n^2) を求め、実際に尤度を最大化することを確認せよ。

(2) σ^n2\hat\sigma_n^2σ2\sigma^2 の不偏推定量か。(3) dd を固定して nn\to\infty とするとき、σ^n2\hat\sigma_n^2σ2\sigma^2 の一致推定量か。各々理由を述べよ。

Kai

(1)

Xˉi=d1jXi,j\bar X_i=d^{-1}\sum_jX_{i,j} とおく。

i,j(Xi,jμi)2=i,j(Xi,jXˉi)2+di(Xˉiμi)2\sum_{i,j}(X_{i,j}-\mu_i)^2 =\sum_{i,j}(X_{i,j}-\bar X_i)^2+d\sum_i(\bar X_i-\mu_i)^2

より、任意の分散について尤度は μ^i=Xˉi\hat\mu_i=\bar X_i で最大となる。S=i,j(Xi,jXˉi)2S=\sum_{i,j}(X_{i,j}-\bar X_i)^2 とし、v=σ2v=\sigma^2 に関する対数尤度を考えると

(v)=nd2log(2πv)S2v,(v)=Sndv2v2.\ell(v)=-\frac{nd}2\log(2\pi v)-\frac S{2v},\qquad \ell'(v)=\frac{S-ndv}{2v^2}.

S>0S>0 は確率1で成立し、導関数は v=S/(nd)v=S/(nd) で正から負へ変わる。よって

μ^i=Xˉi,σ^n2=1ndi,j(Xi,jXˉi)2.\boxed{\hat\mu_i=\bar X_i,\qquad\hat\sigma_n^2=\frac1{nd}\sum_{i,j}(X_{i,j}-\bar X_i)^2}.

(2)

S/σ2χn(d1)2S/\sigma^2\sim\chi^2_{n(d-1)} より

E[σ^n2]=d1dσ2σ2.E[\hat\sigma_n^2]=\boxed{\frac{d-1}{d}\sigma^2}\ne\sigma^2.

従って不偏ではない。

(3)

Var(σ^n2)=2(d1)nd2σ40.\operatorname{Var}(\hat\sigma_n^2)=\frac{2(d-1)}{nd^2}\sigma^4\longrightarrow0.

チェビシェフの不等式から σ^n2P(d1)σ2/d\hat\sigma_n^2\xrightarrow{P}(d-1)\sigma^2/ddd は固定されているので、σ2\sigma^2 の一致推定量ではない。