跳到主要内容

大阪大学 基礎工学研究科 数理科学 (システム創成専攻) 2023年度 数理科学 II [8]

Author

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

Description

nn は正の整数とする。独立同分布な実数値確率変数 X1,,XnX_1,\ldots,X_nR\mathbb R 上連続な密度 ff をもつ。指示関数 IAI_AIA(x)=1I_A(x)=1 (xAx\in A)、IA(x)=0I_A(x)=0 (xAx\notin A) と定め、h>0,xRh>0,x\in\mathbb R に対して

f^n(x;h)=12nhi=1nI(xh,x+h](Xi)\widehat f_n(x;h)=\frac1{2nh}\sum_{i=1}^n I_{(x-h,x+h]}(X_i)

と定める。

(1) E[f^n(x;h)]E[\widehat f_n(x;h)]V[f^n(x;h)]V[\widehat f_n(x;h)] を求めよ。

(2) hn>0,hn0h_n>0,h_n\to0 のとき limnE[f^n(x;hn)]\lim_nE[\widehat f_n(x;h_n)] を求めよ。

(3) hn0,nhnh_n\to0,nh_n\to\infty のとき、f^n(x;hn)\widehat f_n(x;h_n)f(x)f(x) の一致推定量であることを示せ。

Kai

(1)

ph=xhx+hf(u)dup_h=\int_{x-h}^{x+h}f(u)\,du とおくと指示変数は独立な Bernoulli(ph)\operatorname{Bernoulli}(p_h) に従う。したがって

E[f^n(x;h)]=ph2h,V[f^n(x;h)]=ph(1ph)4nh2.\boxed{E[\widehat f_n(x;h)]=\frac{p_h}{2h},\qquad V[\widehat f_n(x;h)]=\frac{p_h(1-p_h)}{4nh^2}}.

(2)

連続性から

12hnxhnx+hnf(u)duf(x)supuxhnf(u)f(x)0.\left|\frac1{2h_n}\int_{x-h_n}^{x+h_n}f(u)\,du-f(x)\right| \le\sup_{|u-x|\le h_n}|f(u)-f(x)|\to0.

ゆえに極限は f(x)\boxed{f(x)}

(3)

(1) より

V[f^n(x;hn)]12nhnphn2hn0V[\widehat f_n(x;h_n)]\le\frac1{2nh_n}\frac{p_{h_n}}{2h_n}\longrightarrow0

である。 (2) からバイアスも 00 に収束するので平均二乗誤差が 00 に収束する。Markov の不等式により f^n(x;hn)Pf(x)\widehat f_n(x;h_n)\xrightarrow{P}f(x)