跳到主要内容

大阪大学 基礎工学研究科 数理科学 (システム創成専攻) 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)=log⁡M(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_j、mm 次キュムラントを κm(j)\kappa_m^{(j)} とし、aj∈Ra_j\in\mathbb R とする。∑jajXj\sum_ja_jX_j の mm 次キュムラントを κ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)​

0≤aj2≤10\le a_j^2\le1 より s=∑jaj4≤∑jaj2=1s=\sum_ja_j^4\le\sum_ja_j^2=1。 (2) より

κ4(a1,…,ap)=∑jaj4κ4(j)+(1−s)⋅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)} の凸結合である。したがってその最小値と最大値の間にある。