ex4.6.4 離散一様分布が連続一様分布に法則収束することの証明

はじめに

「入門・演習 数理統計」の演習問題の自作解答を紹介します。

[商品価格に関しましては、リンクが作成された時点と現時点で情報が変更されている場合がございます。]

入門・演習数理統計 [ 野田一雄 ]
価格:3780円(税込、送料無料) (2018/4/3時点)



間違い等発見されましたらご指摘ください。
他の解答はこちらから。
なお、問題文は(必要がない限り)掲載しておりません。テキストを横に置いてご覧ください。

また、スマートフォン等では数式が画面からはみ出る場合があります。数式部分は横スクロールできます。



スポンサーリンク


$\newcommand{\lnl}{\\[8pt]}$ $\newcommand{\Lnl}{\\[18pt]}$ $\newcommand{\delt}{\mathrm{d}}$ $\newcommand{\comb}{\mathrm{C}}$ $\DeclareMathOperator*{\ssum}{\Sigma}$ $\DeclareMathOperator*{\sprod}{\Pi}$

ex4.6.4

$Y_n$の積率母関数$m_n(t)$は,

\begin{align}
m_n(t) &= E\left(e^{tY_n}\right)\lnl
&=\sum_{i=1}^n e^{\frac{t}{n}k} \frac{1}{n}\lnl
&=\frac{e^{\frac{t}{n}}}{n(1-e^\frac{t}{n})}(1-e^t)
\end{align}

ここで$n\to \infty$とした極限をとる.$s= \cfrac{1}{n}$とおくと,

\begin{align}
\lim_{n\to \infty}m_n(t) &= \lim_{s\to 0} \frac{se^{st}}{1-e^{st}}(1-e^t)\label{eq-s1}\lnl
&= \lim_{s\to 0} \frac{e^{st} + ste^{st}}{-te^{st}}(1-e^t)\label{eq-s2} \lnl
&= \lim_{s\to 0} \frac{1 + st}{-t}(1-e^t)\lnl
&= \frac{e^t -1}{t}
\end{align}

これは区間$[0,1]$の(連続)一様分布の積率母関数であるので,連続定理より題意が示された.
なお,$\eqref{eq-s1}$から$\eqref{eq-s2}$への変換にロピタルの定理を用いた.