跳到主要内容

東京大学 情報理工学研究科 数理情報学 2023年8月実施 第4問

Author

Kurosu9991

Description

指数分布 Exp(λ)\text{Exp}(\lambda) とは、 λ>0\lambda>0 に対して確率密度関数

p(x)=λexp(λx)p(x)=\lambda\text{exp}(-\lambda x)

で定義される非負実数上の確率分布である。 独立に Exp(λ)\text{Exp}(\lambda) に従う確率変数列 X1,X2,X_1,X_2,\dots を考える。 以下の設問に答えよ。

(1) c>0c>0 に対して、 X1cX_1\geq c という条件のもとでの X1cX_1-c の条件付き確率密度関数を求めよ。

(2) Y=min(X1,X2),Z=max(X1,X2)Y=\min(X_1,X_2),Z=\max(X_1,X_2) とするとき、 Y,ZYY,Z-Y それぞれの確率密度関数を求めよ。

(3) X1++XnX_1+\dots+X_n の確率密度関数を求めよ。

(4) a>0a>0 に対して、 X1++XNa<X1++XN+1X_1+\dots+X_N\leq a<X_1+\dots+X_{N+1} によって定まる確率変数を NN とする。 a<X1a<X_1 のときは N=0N=0 とする。 NN に基づく λ\lambda の最尤推定量 λ^(N)\hat{\lambda}(N) 、および λ^(N)\hat{\lambda}(N) の期待値と分散を求めよ。

Kai

(1)

P(X1c>xX1c)=P(X1>x+c)P(X1c)=eλx(x0) P(X_1-c>x|X_1\geq c)=\frac{P(X_1> x+c)}{P(X_1\geq c)}=\rm{e}^{-\lambda x} \quad (x\geq 0)

よって、

pX1cX1c(x)=ddxP(X1cxX1c)=λexp(λx)=p(x)p_{X_1-c|X_1\geq c}(x)=\frac{\text{d}}{\text{d}x}P(X_1-c\leq x|X_1\geq c)=\lambda\text{exp}(-\lambda x)=p(x)

(2)

P(Y>y)=P(X1>y,X2>y)=e2λyP(Y> y)=P(X_1> y,X_2> y)=\rm{e}^{-2\lambda y}

よって、

pY(y)=2λe2λyp_Y(y)=2\lambda\rm{e}^{-2\lambda y}

また、

pY,Z(y,z)=2pX1(y)pX2(z)=2λ2eλ(y+z)p_{Y,Z}(y,z)=2p_{X_1}(y)p_{X_2}(z)=2\lambda^2\rm{e}^{-\lambda(y+z)}

であるので、

pZY(zy)=pY,Z(y,z)pY(y)=λeλ(zy)p_{Z|Y}(z|y)=\frac{p_{Y,Z}(y,z)}{p_Y(y)}=\lambda\rm{e}^{-\lambda(z-y)}

さらに、

pZYY(ty)=pZY(t+yy)=λeλtp_{Z-Y|Y}(t|y)=p_{Z|Y}(t+y|y)=\lambda\rm{e}^{-\lambda t}

yy に依存しないため、

pZY(t)=pZYY(ty)=λeλtp_{Z-Y}(t)=p_{Z-Y|Y}(t|y)=\lambda\rm{e}^{-\lambda t}

が成り立つ。

(3)

モーメント母関数を考える。

MX1(t)=E(etX1)=0λe(λt)xdx=λλt(λ>t)M_{X_1}(t)=E(\rm{e}^{tX_1})=\int_0^\infty\lambda\rm{e}^{-(\lambda-t)x}\text{d}x=\frac{\lambda}{\lambda-t} \quad (\lambda>t)
MX1++Xn(t)=(MX1(t))n=λn(λt)nM_{X_1+\dots+X_n}(t)=(M_{X_1}(t))^n=\frac{\lambda^n}{(\lambda-t)^n}

ラプラス変換によって、

pX1++Xn(x)=L1{MX1++Xn(t)}=λnxn1(n1)!eλxp_{X_1+\dots+X_n}(x)=\mathcal{L}^{-1}\{M_{X_1+\dots+X_n}(-t)\}=\frac{\lambda^n x^{n-1}}{(n-1)!}\rm{e}^{-\lambda x}

(4)

P(N=0)=P(X1>a)=eλaP(N=0)=P(X_1>a)=\rm{e}^{-\lambda a}
P(N=k)=P(X1++Xka)P(X1++Xk+1a)=0aλkxk1(k1)!eλxdx0aλk+1xkk!eλxdx=0a(λkxk1(k1)!λk+1xkk!)eλxdx=(λkxkk!eλx)0a=(λa)kk!eλa(k=1,2,)\begin{aligned} P(N=k) & = P(X_1+\dots+X_k\leq a)-P(X_1+\dots+X_{k+1}\leq a) \\ & = \int_0^a\frac{\lambda^k x^{k-1}}{(k-1)!}\rm{e}^{-\lambda x}\,\text{d}x - \int_0^a\frac{\lambda^{k+1} x^k}{k!}\rm{e}^{-\lambda x}\,\text{d}x \\ & = \int_0^a\left(\frac{\lambda^k x^{k-1}}{(k-1)!}-\frac{\lambda^{k+1} x^k}{k!} \right)\rm{e}^{-\lambda x}\,\text{d}x \\ & = \left(\frac{\lambda^k x^k}{k!}\rm{e}^{-\lambda x} \right)\bigg|_0^a \\ & = \frac{(\lambda a)^k}{k!}\rm{e}^{-\lambda a} \quad (k=1,2,\dots) \end{aligned}

明らかに、 NN はポアソン分布に従って、

E(N)=λaV(N)=λaE(N)=\lambda a \qquad V(N)=\lambda a

である。

各非負の整数 n=0,1,n=0,1,\dots に対して、

L(λ)=P(N=n)=(λa)nn!eλaL(\lambda)=P(N=n)=\frac{(\lambda a)^n}{n!}\rm{e}^{-\lambda a}
l(λ)=log(L(λ))=nlog(λa)λalog(n!)l(\lambda)=\log(L(\lambda))=n\log(\lambda a)-\lambda a-\log(n!)
lλ(λ)=nλa=0λ^=na\frac{\partial l}{\partial\lambda}(\lambda)=\frac{n}{\lambda}-a=0 \Longrightarrow \hat{\lambda}=\frac{n}{a}

したがって、最尤推定量は

λ^(N)=Na\hat{\lambda}(N)=\frac{N}{a}

であり、

E(λ^(N))=1aE(N)=λE(\hat{\lambda}(N))=\frac{1}{a}E(N)=\lambda
V(λ^(N))=1a2V(N)=λaV(\hat{\lambda}(N))=\frac{1}{a^2}V(N)=\frac{\lambda}{a}

がわかる。