跳到主要内容

大阪大学 基礎工学研究科 数理科学 (システム創成専攻) 2023年度 数理科学 II [9]

Author

祭音Myyura (co-authored with GPT 5.6 SOL)

Description

実数値確率変数 XX の積率母関数 M(t)=E[etX]M(t)=E[e^{tX}] が全実数 tt で存在するとき、ψ(t)=logM(t)\psi(t)=\log M(t) をキュムラント母関数、正の整数 mm に対し κm=ψ(m)(0)\kappa_m=\psi^{(m)}(0)mm 次キュムラントという。

pp は正の整数とし、実数値確率変数 X1,,XpX_1,\ldots,X_p は独立で、各積率母関数は全実数で存在するとする。XjX_j のキュムラント母関数を ψj\psi_jmm 次キュムラントを κm(j)\kappa_m^{(j)} とし、ajRa_j\in\mathbb R とする。jajXj\sum_ja_jX_jmm 次キュムラントを κm(a1,,ap)\kappa_m(a_1,\ldots,a_p) とする。

(1) jajXj\sum_ja_jX_j のキュムラント母関数を求めよ。

(2) κm(a1,,ap)\kappa_m(a_1,\ldots,a_p) を求めよ。

(3) κ2(a1,,ap)\kappa_2(a_1,\ldots,a_p)V[Xj]V[X_j] で表せ。

(4) jaj2=1\sum_ja_j^2=1 なら

min{0,κ4(1),,κ4(p)}κ4(a1,,ap)max{0,κ4(1),,κ4(p)}\min\{0,\kappa_4^{(1)},\ldots,\kappa_4^{(p)}\}\le\kappa_4(a_1,\ldots,a_p) \le\max\{0,\kappa_4^{(1)},\ldots,\kappa_4^{(p)}\}

を示せ。

Kai

(1)

独立性から積率母関数は jMj(ajt)\prod_jM_j(a_jt)。対数をとって

ψ(t)=j=1pψj(ajt).\boxed{\psi(t)=\sum_{j=1}^p\psi_j(a_jt)}.

(2)

mm 回微分し t=0t=0 とすると

κm(a1,,ap)=j=1pajmκm(j).\boxed{\kappa_m(a_1,\ldots,a_p)=\sum_{j=1}^pa_j^m\kappa_m^{(j)}}.

(3)

ψj(0)=Mj(0)Mj(0)2=V[Xj]\psi_j''(0)=M_j''(0)-M_j'(0)^2=V[X_j] より

κ2(a1,,ap)=j=1paj2V[Xj].\boxed{\kappa_2(a_1,\ldots,a_p)=\sum_{j=1}^pa_j^2V[X_j]}.

(4)

0aj210\le a_j^2\le1 より s=jaj4jaj2=1s=\sum_ja_j^4\le\sum_ja_j^2=1。 (2) より

κ4(a1,,ap)=jaj4κ4(j)+(1s)0\kappa_4(a_1,\ldots,a_p)=\sum_ja_j^4\kappa_4^{(j)}+(1-s)\cdot0

0,κ4(1),,κ4(p)0,\kappa_4^{(1)},\ldots,\kappa_4^{(p)} の凸結合である。したがってその最小値と最大値の間にある。