n次のモーメントが存在する場合、nより小さい次数のモーメントも存在する
定理
確率変数 $X$ と自然数 $n$ に対して $E( X^n )$ が存在するなら、$E( X^m ), m=1,2,3,\cdots, n$ も存在する。
説明
ある次数の積率が存在するだけで、それより小さい次数の積率は常に存在するが、当然ながら逆は成り立たない。もちろん、実際に問題を解くときに高次の積率が先に与えられることはほとんどないが、ある定理の条件を列挙する際にかなりのスペースを節約できる定理ではある。
証明
戦略:確率変数の絶対値を利用して回避し、大小関係を示した後、元々示そうとした不等式に戻る。この証明は連続確率分布に対するものだが、同じ方法で離散確率分布に対しても証明可能である。
確率変数 $X$ の確率密度関数が $f$ としよう。
パート1. $E \left( X^{n} \right) < \infty \implies E \left( |X|^{n} \right) < \infty$
$E \left( |X|^{n} \right) = \int_{-\infty}^{\infty} |x|^{n} f(x) dx= \infty$ と仮定すると $$ \int_{0}^{\infty} |x|^{n} f(x) dx= \infty $$ または $$ \int_{-\infty}^{0} |x|^{n} f(x) dx= \infty $$ 一方 $\begin{cases} \displaystyle \int_{0}^{\infty} |x|^{n} f(x) dx= \int_{0}^{\infty} x^{n} f(x) dx \\ \displaystyle \int_{-\infty}^{0} |x|^{n} f(x) dx = (-1)^{n} \int_{-\infty}^{0} x^{n} f(x) dx \end{cases}$ であるから $$ E \left( X^{n} \right) = \int_{-\infty}^{\infty} x^{n} f(x) dx = \int_{0}^{\infty} x^{n} f(x) dx - \int_{-\infty}^{0} x^{n} f(x) dx = \infty $$
パート2. $E \left( |X|^{n} \right) < \infty \implies E \left( |X|^{m} \right) < \infty$
$$ \begin{align*} E \left( |X|^{m} \right) =& \int_{-\infty}^{\infty} |x|^{m} f(x) dx \\ =& \int_{|x|<1} |x|^{m} f(x) dx + \int_{|x|>1} |x|^{m} f(x) dx \\ \le & \int_{|x|<1} f(x) dx + \int_{|x|>1} |x|^{n} f(x) dx \\ \le & \int_{-\infty}^{\infty} f(x) dx + \int_{-\infty}^{\infty} |x|^{n} f(x) dx \\ \le & 1 + E \left( |X|^{n} \right) \\ <& \infty \end{align*} $$
パート3. $E \left( |X|^{m} \right) < \infty \implies E \left( X^{m} \right) < \infty$
$$ \begin{align*} E \left( X^{m} \right) =& \int_{-\infty}^{\infty} x^{m} f(x) dx \\ \le & \left| \int_{-\infty}^{\infty} x^{m} f(x) dx \right| \\ \le & \int_{-\infty}^{\infty} | x | ^{m} f(x) dx \\ =& E \left( |X|^{m} \right) \\ <& \infty \end{align*} $$ パート1. からパート3. をまとめると、$E \left( X^{n} \right) < \infty \implies E \left( X^{m} \right) < \infty$ を得る。
■