跳到主要内容

東京工業大学 情報理工学院 数理・計算科学系 2017年8月実施 午前 問6

Author

GPT-5

Description

a>0a>0 とし、 0<x<10<x<1 上の確率密度を

p(xa)=x(1a)/aap(x\mid a)=\frac{x^{(1-a)/a}}{a}

とする。 X1,,XnX_1,\ldots,X_n は互いに独立に p(x2)p(x\mid\sqrt2) に従う。対数尤度

L(a)=i=1nlogp(Xia)L(a)=\sum_{i=1}^n\log p(X_i\mid a)

を最大にする aaAnA_n とする。

(1) AnA_nX1,,XnX_1,\ldots,X_n で表せ。

(2) b>0b>0k=1,2k=1,2 に対し、 01(logx)kxb1dx\int_0^1(\log x)^k x^{b-1}\,dx を求めよ。

(3) AnA_n の期待値と分散を求めよ。

(4) 0c<1/20\leq c<1/2 のとき、 E[ncAn2]0E[n^c|A_n-\sqrt2|]\to0 を示せ。

题目描述

a>0a>0,在 0<x<10<x<1 上给定概率密度

p(xa)=x(1a)/aa.p(x\mid a)=\frac{x^{(1-a)/a}}{a}.

随机变量 X1,,XnX_1,\ldots,X_n 相互独立且均服从 p(x2)p(x\mid\sqrt2)。对候选参数 aa 定义对数似然

L(a)=i=1nlogp(Xia),L(a)=\sum_{i=1}^n\log p(X_i\mid a),

并把使 L(a)L(a) 取得最大值的参数记为 AnA_n

  1. AnA_n 表示为样本 X1,,XnX_1,\ldots,X_n 的函数。
  2. 对任意 b>0b>0,分别在 k=1k=1k=2k=2 时求积分
01(logx)kxb1dx.\int_0^1(\log x)^k x^{b-1}\,dx.
  1. 计算 AnA_n 的期望和方差。
  2. 证明对每个 0c<120\leq c<\frac12 都有
E ⁣[ncAn2]0.E\!\left[n^c\left|A_n-\sqrt2\right|\right]\longrightarrow0.

Kai

(1)

S=i=1nlogXiS=\sum_{i=1}^n\log X_i とおくと

L(a)=(1a1)Snloga.L(a)=\left(\frac1a-1\right)S-n\log a.

したがって

L(a)=Sa2na=0L'(a)=-\frac{S}{a^2}-\frac{n}{a}=0

を解いて

An=1ni=1nlogXi.\boxed{A_n=-\frac1n\sum_{i=1}^n\log X_i}.

0<Xi<10<X_i<1 より S<0S<0An>0A_n>0 である。またこの点で L(An)=S/An3<0L''(A_n)=S/A_n^3<0 なので一意な最大点である。

(2)

01xb1dx=1/b\int_0^1x^{b-1}\,dx=1/bbb で微分すれば

01(logx)xb1dx=1b2,\boxed{\int_0^1(\log x)x^{b-1}\,dx=-\frac1{b^2}},

さらにもう一度微分して

01(logx)2xb1dx=2b3.\boxed{\int_0^1(\log x)^2x^{b-1}\,dx=\frac2{b^3}}.

(3)

Yi=logXiY_i=-\log X_i とする。変数変換 x=eyx=e^{-y} により、一般に Xip(xa)X_i\sim p(x\mid a) なら

fYi(y)=1aey/a(y>0),f_{Y_i}(y)=\frac1a e^{-y/a}\qquad(y>0),

すなわち YiY_i は平均 aa 、分散 a2a^2 の指数分布に従う。本問では a=2a=\sqrt2 で、 An=n1iYiA_n=n^{-1}\sum_iY_i だから

E[An]=2,Var(An)=2n.\boxed{E[A_n]=\sqrt2, \qquad\operatorname{Var}(A_n)=\frac2n}.

(4)

Cauchy-Schwarz の不等式より

E[ncAn2]ncE[(An2)2]=ncVar(An)=2nc1/2.\begin{aligned} E[n^c|A_n-\sqrt2|] &\leq n^c\sqrt{E[(A_n-\sqrt2)^2]}\\ &=n^c\sqrt{\operatorname{Var}(A_n)} =\sqrt2\,n^{c-1/2}. \end{aligned}

c<1/2c<1/2 なので右辺は 0 に収束する。従って所望の期待値も 0 に収束する。