跳到主要内容

横浜国立大学 国際社会科学府 経済学専攻 2021年9月実施 一般入試 統計学 問1

Author​

祭音Myyura (Based on miyake's answer refined with GPT 6 Astra)

Description​

正整数 nn に対して確率変数 XnX_n は次の確率関数を持つものとする。

P(Xn=k2n)=12n,k=1,2,3,…,2n.P\left(X_n=\frac{k}{2^n}\right)=\frac1{2^n},\qquad k=1,2,3,\ldots,2^n.

また確率変数 XX は [0,1][0,1] 上の一様確率変数とする。ここで [0,1][0,1] 上の一様確率変数とは、以下の密度関数をもつ確率変数のことである。

f(x)={10≤x≤1,0それ以外.f(x)=\begin{cases}1&0\le x\le1,\\0&\text{それ以外}.\end{cases}

以下の問いに答えよ。

(a) 期待値 E(Xn)E(X_n) と E(X)E(X) を求め、lim⁡n→∞E(Xn)=E(X)\displaystyle\lim_{n\to\infty}E(X_n)=E(X) を示せ。

(b) 分散 Var⁡(Xn)\operatorname{Var}(X_n) と期待値 Var⁡(X)\operatorname{Var}(X) を求め、lim⁡n→∞Var⁡(Xn)=Var⁡(X)\displaystyle\lim_{n\to\infty}\operatorname{Var}(X_n)=\operatorname{Var}(X) を示せ。

(c) 実数 tt に対し、XnX_n のモーメント母関数 mXn(t)=E(etXn)m_{X_n}(t)=E(e^{tX_n}) と XX のモーメント母関数 mX(t)=E(etX)m_X(t)=E(e^{tX}) を求め、lim⁡n→∞mXn(t)=mX(t)\displaystyle\lim_{n\to\infty}m_{X_n}(t)=m_X(t) を示せ。

题目描述​

对于正整数 nn,设随机变量 XnX_n 的概率质量函数为

P(Xn=k2n)=12n,k=1,2,3,…,2n.P\left(X_n=\frac{k}{2^n}\right)=\frac1{2^n},\qquad k=1,2,3,\ldots,2^n.

随机变量 XX 为 [0,1][0,1] 上的均匀随机变量。这里,[0,1][0,1] 上的均匀随机变量是指具有下列密度函数的随机变量:

f(x)={10≤x≤1,0其他情况.f(x)=\begin{cases}1&0\le x\le1,\\0&\text{其他情况}.\end{cases}

回答以下问题。

(a) 求期望 E(Xn)E(X_n) 和 E(X)E(X),并证明 lim⁡n→∞E(Xn)=E(X)\displaystyle\lim_{n\to\infty}E(X_n)=E(X)。

(b) 求方差 Var⁡(Xn)\operatorname{Var}(X_n) 和 Var⁡(X)\operatorname{Var}(X),并证明 lim⁡n→∞Var⁡(Xn)=Var⁡(X)\displaystyle\lim_{n\to\infty}\operatorname{Var}(X_n)=\operatorname{Var}(X)。原题在 Var⁡(X)\operatorname{Var}(X) 前写作“期待値”,按方差符号理解。

(c) 对于实数 tt,求 XnX_n 的矩母函数 mXn(t)=E(etXn)m_{X_n}(t)=E(e^{tX_n}) 和 XX 的矩母函数 mX(t)=E(etX)m_X(t)=E(e^{tX}),并证明 lim⁡n→∞mXn(t)=mX(t)\displaystyle\lim_{n\to\infty}m_{X_n}(t)=m_X(t)。

Kai​

計算を簡潔にするため N=2nN=2^n とおく。

(a)​

整数の和の公式より

E(Xn)=1N2∑k=1Nk=N(N+1)2N2=12+12n+1.\begin{gathered} E(X_n)=\frac1{N^2}\sum_{k=1}^Nk\\ =\frac{N(N+1)}{2N^2}\\ =\boxed{\frac12+\frac1{2^{n+1}}}. \end{gathered}

一方、

E(X)=∫01x dx=12.\boxed{E(X)=\int_0^1x\,dx=\frac12}.

したがって lim⁡n→∞E(Xn)=1/2=E(X)\lim_{n\to\infty}E(X_n)=1/2=E(X) である。

(b)​

二乗和の公式より

E(Xn2)=1N3∑k=1Nk2=(N+1)(2N+1)6N2.E(X_n^2)=\frac1{N^3}\sum_{k=1}^Nk^2 =\frac{(N+1)(2N+1)}{6N^2}.

よって

Var⁡(Xn)=(N+1)(2N+1)6N2−(N+12N)2=N2−112N2=1−2−2n12.\begin{aligned} \operatorname{Var}(X_n) &=\frac{(N+1)(2N+1)}{6N^2}-\left(\frac{N+1}{2N}\right)^2\\ &=\frac{N^2-1}{12N^2}=\boxed{\frac{1-2^{-2n}}{12}}. \end{aligned}

また、E(X2)=∫01x2 dx=1/3E(X^2)=\int_0^1x^2\,dx=1/3 より

Var⁡(X)=13−14=112.\boxed{\operatorname{Var}(X)=\frac13-\frac14=\frac1{12}}.

したがって lim⁡n→∞Var⁡(Xn)=1/12=Var⁡(X)\lim_{n\to\infty}\operatorname{Var}(X_n)=1/12=\operatorname{Var}(X) となる。

(c)​

t≠0t\ne0 では等比数列の和を用いて

mXn(t)=1N∑k=1Netk/N=et/N(et−1)N(et/N−1).\begin{aligned} m_{X_n}(t) &=\frac1N\sum_{k=1}^Ne^{tk/N}\\ &=\frac{e^{t/N}(e^t-1)}{N(e^{t/N}-1)}. \end{aligned}

t=0t=0 では定義から mXn(0)=1m_{X_n}(0)=1 である。したがって

mXn(t)={et/2n(et−1)2n(et/2n−1)(t≠0),1(t=0).\boxed{m_{X_n}(t)=\begin{cases} \dfrac{e^{t/2^n}(e^t-1)}{2^n(e^{t/2^n}-1)}&(t\ne0),\\ 1&(t=0). \end{cases}}

連続一様分布については

mX(t)=∫01etx dx={et−1t(t≠0),1(t=0).\boxed{\begin{gathered} m_X(t)=\int_0^1e^{tx}\,dx\\ =\begin{cases}\dfrac{e^t-1}{t}&(t\ne0),\\1&(t=0).\end{cases} \end{gathered}}

固定した t≠0t\ne0 に対し、N(et/N−1)→tN(e^{t/N}-1)\to t、et/N→1e^{t/N}\to1 なので

lim⁡n→∞mXn(t)=et−1t=mX(t).\lim_{n\to\infty}m_{X_n}(t)=\frac{e^t-1}t=m_X(t).

t=0t=0 でも両辺が常に 11 であるから、すべての実数 tt について所望の収束が成り立つ。

Reference​