跳到主要内容

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

Author​

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

Description​

n≥1n\ge1, d≥2d\ge2 を整数とする。Xi,jX_{i,j}(i=1,…,ni=1,\ldots,n, j=1,…,dj=1,\ldots,d)は互いに独立で、Xi,j∼N(μi,σ2)X_{i,j}\sim N(\mu_i,\sigma^2)、μi∈R\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 を固定して n→∞n\to\infty とするとき、σ^n2\hat\sigma_n^2 は σ2\sigma^2 の一致推定量か。各々理由を述べよ。

Kai​

(1)​

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

∑i,j(Xi,j−μi)2=∑i,j(Xi,j−Xˉi)2+d∑i(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,j−Xˉi)2S=\sum_{i,j}(X_{i,j}-\bar X_i)^2 とし、v=σ2v=\sigma^2 に関する対数尤度を考えると

ℓ(v)=−nd2log⁡(2πv)−S2v,ℓ′(v)=S−ndv2v2.\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=1nd∑i,j(Xi,j−Xˉ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(d−1)2S/\sigma^2\sim\chi^2_{n(d-1)} より

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

従って不偏ではない。

(3)​

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

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