跳到主要内容

東京工業大学 工学院 システム制御系 2021年8月実施 問題3

Author

Miyake, 祭音Myyura

Description

公式問題・5ページ

全問で導出を示す。

X,YX,Y は独立な非負整数値確率変数で、λ>0\lambda>0, 0<q<10<q<1 とする。確率質量関数は

P(X=x)=λxeλx!(x=0,1,),P(Y=y)={(1q)qy1,y=1,2,,0,y=0.P(X=x)=\frac{\lambda^xe^{-\lambda}}{x!}\quad(x=0,1,\ldots),\qquad P(Y=y)=\begin{cases}(1-q)q^{y-1},&y=1,2,\ldots,\\0,&y=0.\end{cases}
  1. 任意の確率変数 SS について Var(S)=E[S2](E[S])2\operatorname{Var}(S)=E[S^2]-(E[S])^2 を示す。
  2. 与えられた矩母関数 MX(t)=exp{λ(et1)}M_X(t)=\exp\{\lambda(e^t-1)\} から XX の平均と分散を求める。
  3. t<logqt<-\log q において、MY(t)=(1q)et/(1qet)M_Y(t)=(1-q)e^t/(1-qe^t) を導く。
  4. Z=X+YZ=X+Y の矩母関数を MX,MYM_X,M_Y で表す。
  5. q=1/2q=1/2, λ=1\lambda=1, t<log2t<\log2 とする。(1) MZ(t)M_Z(t)、(2) その導関数、(3) ZZ の平均を順に求める。

题目描述

X,YX,Y 相互独立,XPoisson(λ)X\sim\operatorname{Poisson}(\lambda)λ>0\lambda>0YY 服从下述正整数值几何分布,0<q<10<q<1。各问均需给出推导。

  1. 对随机变量 SS,从方差定义证明

    σS2=E[(SE[S])2]=E[S2](E[S])2.\sigma_S^2 =E[(S-E[S])^2] =E[S^2]-(E[S])^2.
  2. XX 的矩母函数为 Poisson 形式

    MX(t)=exp{λ(et1)}.M_X(t)=\exp\{\lambda(e^t-1)\}.

    通过 MX(0)M_X'(0)MX(0)M_X''(0)E[X]E[X]V(X)V(X)

  3. 随机变量 YY1,2,1,2,\ldots,概率质量函数为

    P(Y=y)=(1q)qy1.P(Y=y)=(1-q)q^{y-1}.

    求其矩母函数 MY(t)M_Y(t);相应级数收敛时需有 qet<1qe^t<1

  4. X,YX,Y 相互独立且

    Z=X+Y,Z=X+Y,

    证明

    MZ(t)=MX(t)MY(t).M_Z(t)=M_X(t)M_Y(t).
  5. λ=1,q=1/2\lambda=1,q=1/2,在 t<ln2t<\ln2 时有

    MX(t)=exp(et1),MY(t)=et2et,Z=X+Y,M_X(t)=\exp(e^t-1), \qquad M_Y(t)=\frac{e^t}{2-e^t}, \qquad Z=X+Y,

    X,YX,Y 独立。

    1. MZ(t)M_Z(t)
    2. MZ(t)M_Z'(t)
    3. MZ(0)M_Z'(0)μZ=E[Z]\mu_Z=E[Z]

Kai

問1

σS2=E[(SE[S])2]=E[S22E[S]S+(E[S])2]=E[S2]2(E[S])2+(E[S])2=E[S2](E[S])2 \begin{aligned} \sigma_S^2 &= E \left[ \left( S - E[S] \right)^2 \right] \\ &= E \left[ S^2 - 2E[S]S + \left( E[S] \right)^2 \right] \\ &= E \left[ S^2 \right] - 2 \left( E[S] \right)^2 + \left( E[S] \right)^2 \\ &= E \left[ S^2 \right] - \left( E[S] \right)^2 \end{aligned}

問2

dMX(t)dt=λetexp(λ(et1))d2MX(t)dt2=λet(λet+1)exp(λ(et1))\begin{aligned} \frac{dM_X(t)}{dt} &= \lambda e^t \exp \left( \lambda (e^t-1) \right) \\ \frac{d^2 M_X(t)}{dt^2} &= \lambda e^t \left(\lambda e^t + 1 \right) \exp \left( \lambda (e^t-1) \right) \end{aligned}

より、

μX=MX(0)=λE[X2]=MX(0)=λ(λ+1)σX2=E[X2]μX2=λ\begin{aligned} \mu_X &=M_X'(0) \\ &= \lambda \\ E \left[ X^2 \right] &=M_X''(0) \\ &= \lambda (\lambda + 1) \\ \sigma_X^2 &= E \left[ X^2 \right] - \mu_X^2 \\ &= \lambda \end{aligned}

を得る。

問3

MY(t)=y=1eyt(1q)qy1=1qqy=1(qet)y=1qqqet11qet=(1q)et1qet \begin{aligned} M_Y(t) &= \sum_{y=1}^\infty e^{yt} \cdot (1-q) q^{y-1} \\ &= \frac{1-q}{q} \sum_{y=1}^\infty \left( q e^t \right)^y \\ &= \frac{1-q}{q} \cdot q e^t \cdot \frac{1}{1-qe^t} \\ &= \frac{(1-q)e^t}{1-qe^t} \end{aligned}

ただし、qet<1qe^t<1 である。

問4

X,YX,Y が独立なので etX,etYe^{tX},e^{tY} も独立であり、

MZ(t)=E[etZ]=E[et(X+Y)]=E[etXetY]=E[etX]E[etY]=MX(t)MY(t) \begin{aligned} M_Z(t) &= E \left[ e^{tZ} \right] \\ &= E \left[ e^{t(X+Y)} \right] \\ &= E \left[ e^{tX} e^{tY} \right] \\ &= E \left[ e^{tX} \right] E \left[ e^{tY} \right] \\ &= M_X(t) M_Y(t) \end{aligned}

を得る。

問5

(1)

ここでは λ=1\lambda=1, q=1/2q=1/2 であり、XX の分布は問2から変更されていない。従って

MX(t)=exp(et1),MY(t)=et2et,M_X(t)=\exp(e^t-1),\qquad M_Y(t)=\frac{e^t}{2-e^t},
MZ(t)=etexp(et1)2et(t<log2).M_Z(t)=\frac{e^t\exp(e^t-1)}{2-e^t}\qquad(t<\log2).

(2)

MZ(t)=MZ(t)(1+et+et2et).M_Z'(t)=M_Z(t)\left(1+e^t+\frac{e^t}{2-e^t}\right).

(3)

μZ=MZ(0)=1+1+1=3.\mu_Z=M_Z'(0)=1+1+1=\boxed3.

E[X]+E[Y]=1+1/(1q)=3E[X]+E[Y]=1+1/(1-q)=3 からも確認できる。