特性関数・モーメント母関数(積率母関数)・キュムラント母関数,および モーメント・キュムラントの定義と意味を説明します.また,それらと期待値(平均)・分散との関係について述べます.母関数とは,ある数列や関数列を,そのべき級数展開の係数として持つ関数のことで,モーメント母関数はn次モーメントを展開係数として持ちます.
【スマホでの数式表示について】
特性関数・モーメント母関数(積率母関数)・キュムラント母関数と,モーメント・キュムラントについて(概略)
母関数とは何か
(1) ![]()
(2) ![]()
と書けるとする.このとき,関数
を数列
に対する母関数(generating function; 生成関数)という.
母関数は,数列に対してだけでなく,関数列(sequence of functions)に対しても考えることができる.すなわち,数列(1)の代わりに関数列
(3) ![]()
(4) ![]()
は,関数列
に対する母関数である.
(5) ![]()
のような形式についても,これは数列
の母関数として扱われ,特に指数的母関数(exponential generating function)ということがある.
モーメント母関数とは何か
モーメント母関数とは,確率変数
の(
次)モーメントの指数的母関数,すなわち
(6) ![]()
(7) ![]()
のことである.翻って,期待値の性質を用いれば,式(7)は,
の期待値
(8) ![]()
であり,結局,確率論においては,式(8)がモーメント母関数の定義式として与えられる(詳細は後節にて述べる).
モーメント
モーメント(moment; 積率)の定義
期待値(expected value),分散(variance),歪度(わいど skewness),尖度(せんど kurtosis)は,モーメントおよび中心モーメントを用いて以下のように定義される:
- 期待値:
=1次モーメント - 分散 :
=2次中心モーメント - 歪度 :
![Rendered by QuickLaTeX.com E\left\big[(X-\mu)^3 \right\big]/\sigma^3](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAIcAAAAWAQMAAADQEx2vAAAAA1BMVEUAAACnej3aAAAAAXRSTlMAQObYZgAAAA1JREFUGBljGAWDBgAAAYwAARNqml4AAAAASUVORK5CYII=)
- 尖度 :
または
(2種類の異なる定義がある)
ただし,
,
とした.
モーメント母関数
モーメント母関数(moment-generating function)の定義
(9) ![]()
を確率変数
のモーメント母関数(moment-generating function)という.ただし
である.□
モーメント母関数からモーメントを得る手順
次モーメントは,モーメント母関数を用いて,以下の手順で得られる.
指数関数をべき級数(i.e. マクローリン級数 Maclaurin series)に展開すると
(10) ![]()
となる.また,確率変数の和
および定数
に対して,期待値は
(11) ![]()
が成り立つことに注意して,式(9)の右辺を
について展開すると,
(12) ![]()
のように
次モーメント
が係数に現れる(このため,
はモーメント母関数(moment generating function; モーメント生成関数)と呼ばれる).
(13) ![]()
となる.これらの式に
を代入すれば,
次モーメント
は
(14) ![]()
のように得られる.
モーメント母関数とラプラス変換の関係
を確率密度関数
に従う連続確率変数であるとし,
を
の台(support) とする.このとき
の期待値
は
(15) ![]()
で定義される.またこのとき,
を引数とする関数(可測関数)
の期待値
については
(16) ![]()
で与えられる.モーメント母関数の定義(9)および可測関数の期待値(16)より,
のモーメント母関数は
(17) ![]()
となることがわかる.
同様に,
を確率質量関数
に従う離散確率変数であるとし,
を
の台(support) とすると,
のモーメント母関数は
(18) ![]()
となる.
すなわち,確率変数
のモーメント母関数とは,
の確率密度関数の(逆)ラプラス変換((inverse) Laplace transform)に他ならない.
特性関数
特性関数(characteristic function)の定義
確率変数
の特性関数とは,次のように定義される関数である.
(19) ![]()
この関数
を,確率変数
の特性関数(characteristic function)という.ただし
は虚数単位(imaginary unit)である.□
モーメント母関数と特性関数との関係
モーメント母関数の
を虚数
で置き換えることにより,モーメント母関数は特性関数と関係付けられる.すなわち
(20) ![]()
である.この関係から,次節で示す通り,
次モーメントは特性関数からも誘導することができる.
特性関数からモーメントを得る手順
次モーメントを特性関数から誘導する.誘導の基本的な手順は,モーメント母関数の場合と同様である.
式(19)の右辺を
について展開すると,
(21) ![]()
のように
次モーメント
が係数に現れる.
(22) ![]()
となる.これらの式に
を代入し,両辺に
を掛ければ,
次モーメント
は
(23) ![]()
のように得られる.
なお,
次モーメント
を実際に得る際には,特性関数
の表示(具体的な関数形の与えられ方)によっては,
を
の関数
とみなして
(24) ![]()
などと置き,
で微分する計算も可能である.実際,
(25) ![]()
ただし
(26) ![]()
とした.これにより,
での微分を繰り返せば,
(27) ![]()
となるから,次式
(28) ![]()
は,式(23)と同等である.
特性関数とフーリエ変換の関係
を確率密度関数
に従う連続確率変数であるとし,
を
の台(support) とする.特性関数の定義(19)および可測関数の期待値(16)より,
の特性関数は
(29) ![]()
となることがわかる.
同様に,
を確率質量関数
に従う離散確率変数であるとし,
を
の台(support) とすると,
の特性関数は
(30) ![]()
となる.
すなわち,確率変数
の特性関数とは,
の確率密度関数のフーリエ逆変換に他ならない.
関連ページ:
フーリエ変換の公式 導出:フーリエ級数展開の定義から証明・計算する【フーリエ解析】
キュムラント母関数とキュムラント
キュムラント母関数とキュムラントの定義
キュムラント母関数(cumulant generating function)とキュムラント(cumulant)は,モーメント母関数を用いて,次のように定義される.
(31) ![]()
を取る.この関数
をキュムラント母関数(cumulant generating function)といい,係数
を
次キュムラント(the
th cumulant)という.□
第2特性関数
第2特性関数の定義
キュムラントは,モーメント母関数に由来するキュムラント母関数の代わりに,特性関数に由来する第2特性関数を用いて,次のように定義することもある.
(32) ![]()
を取る.この関数
を第2特性関数(second characteristic function)といい,係数
を
次のキュムラントという.□
定義(I)に従って,モーメント母関数の対数をキュムラント母関数と定義することが多いが,式(32)の係数もキュムラントを与える.
式(32)の両辺から対数を落とすと,特性関数
は
(33) ![]()
と書ける.
(34) ![]()
と定義して,
をべき級数に展開すると
(35) ![]()
となるので,
次のキュムラントは
の
階導関数を用いて
(36) ![]()
と書くことができる:
![]()
これらの式で
とすれば,
,
に注意して
![]()
を得る.
(37) ![]()
である.


キュムラントK_4ですが, 最後の項の -3\E[(X – \mu)^2] ではなく, 正しくは -3 \{ \E[(X – \mu)^2] \}^2 です. ご確認ください.
ご指摘頂きありがとうございました. 途中式を追加するとともに,該当箇所を訂正致しました.
\mu = E(X) とするとき,M_X(\xi)= e^{\mu\xi}M_{X-\mu}(\xi)なので,Xのキュムラント母関数は\mu\xi + \log M_{X-\mu}(\xi) と表すこともできます。M_{X-\mu}^{(m)}(0)はXのm次中心モーメントなので,この表示を用いると,最後の方で導いた k_3, k_4 に関する等式は,もう少し簡単に導けます。