跳到主要内容

大阪大学 基礎工学研究科 数理科学 (システム創成専攻) 2018年8月実施 数理科学 II [7]

Author

Miyake

Description

题目描述

原文题干缺失。根据现有解答,设 X,YX,Y 相互独立,且

fX(xλ)=λeλx,fY(yλ)=λ1ey/λf_X(x\mid\lambda)=\lambda e^{-\lambda x},\qquad f_Y(y\mid\lambda)=\lambda^{-1}e^{-y/\lambda}

x,y0x,y\ge0 成立;参数满足 λ1\lambda\ge1。令 Z=min(X,Y).Z=\min(X,Y).

  1. ZZ 的概率密度、期望与方差。可令 μ=λ+λ1.\mu=\lambda+\lambda^{-1}.
  2. 给定 ZZ 的独立观测 z1,,znz_1,\ldots,z_n,用样本均值 zˉ\bar z 表示 μ\mu 的最大似然估计。
  3. 在约束 λ1\lambda\ge1 下求 λ\lambda 的最大似然估计,并分别讨论 zˉ1/2\bar z\le1/2zˉ>1/2\bar z>1/2

考点

  • 独立指数分布的最小值:用生存函数乘积得到新的指数分布。
  • 指数分布矩:计算均值、二阶矩和方差。
  • 最大似然估计:对指数率参数写出对数似然并求极值。
  • 参数变换与边界约束:由 μ=λ+1/λ\mu=\lambda+1/\lambda 反解 λ\lambda 并处理可行域边界。

Kai

(1)

まず、確率を PP で表すと、

P(aXb)=abf(xλ)dx=λabexp(λx)dx=exp(λa)exp(λb)P(aYb)=exp(aλ)exp(bλ) \begin{aligned} P(a \leq X \leq b) &= \int_a^b f(x|\lambda) dx \\ &= \lambda \int_a^b \exp ( -\lambda x) dx \\ &= \exp(-\lambda a) - \exp(-\lambda b) \\ P(a \leq Y \leq b) &= \exp \left( - \frac{a}{\lambda} \right) - \exp \left( -\frac{b}{\lambda} \right) \end{aligned}

である。

そこで、 ZZ の確率分布関数を G(z)G(z) とすると、

G(z)=P(Zz)=P(Xz and Yz)+P(XzY)+P(YzX)=P(Xz)P(Yz)+P(Xz)P(zY)+P(Yz)P(zX)=(1exp(λz))(1exp(zλ))+(1exp(λz))exp(zλ)+(1exp(zλ))exp(λz) \begin{aligned} G(z) &= P(Z \leq z) \\ &= P(X \leq z \text{ and } Y \leq z) + P(X \leq z \leq Y) + P(Y \leq z \leq X) \\ &= P(X \leq z) P(Y \leq z) + P(X \leq z) P(z \leq Y) + P(Y \leq z) P(z \leq X) \\ &= \left( 1 - \exp (- \lambda z) \right) \left( 1 - \exp \left(- \frac{z}{\lambda} \right) \right) + \left( 1 - \exp (- \lambda z) \right) \exp \left(- \frac{z}{\lambda} \right) + \left( 1 - \exp \left(- \frac{z}{\lambda} \right) \right) \exp (- \lambda z) \end{aligned}

となるから、 ZZ の確率密度関数 g(z)g(z) は、

g(z)=dG(z)dz=(λ+λ1)exp((λ+λ1)z)=μexp(μz) \begin{aligned} g(z) &= \frac{d G(z)}{dz} \\ &= \left( \lambda + \lambda^{-1} \right) \exp \left( - \left( \lambda + \lambda^{-1} \right) z \right) \\ &= \mu \exp \left( - \mu z \right) \end{aligned}

となる。ここで、 μ=λ+λ1\mu = \lambda + \lambda^{-1} とした。

よって、平均を EE, 分散を VV で表すと、

E[Z]=0zg(z)dz=μ0zexp(μz)dz=1μ=1λ+λ1E[Z2]=0z2g(z)dz=μ0z2exp(μz)dz=2μ2=2(λ+λ1)2V[Z]=E[Z2]E[Z]2=1μ2=1(λ+λ1)2 \begin{aligned} E[Z] &= \int_0^\infty z g(z) dz \\ &= \mu \int_0^\infty z \exp \left( - \mu z \right) dz \\ &= \frac{1}{\mu} = \frac{1}{\lambda + \lambda^{-1}} \\ E[Z^2] &= \int_0^\infty z^2 g(z) dz \\ &= \mu \int_0^\infty z^2 \exp \left( - \mu z \right) dz \\ &= \frac{2}{\mu^2} = \frac{2}{\left( \lambda + \lambda^{-1} \right)^2} \\ V[Z] &= E[Z^2] - E[Z]^2 \\ &= \frac{1}{\mu^2} = \frac{1}{\left( \lambda + \lambda^{-1} \right)^2} \end{aligned}

を得る。

(2)

ZZ の観測値を z1,z2,,znz_1, z_2, \cdots, z_n とし、 その平均を

zˉ=1ni=1nzi \begin{aligned} \bar{z} = \frac{1}{n} \sum_{i=1}^n z_i \end{aligned}

とする。

対数尤度関数 ll は、

l=i=1nlogg(zi)=i=1nlog(μexp(μzi))=nlogμμi=1nzi=nlogμμnzˉ  dldμ=nμnzˉ \begin{aligned} l &= \sum_{i=1}^n \log g(z_i) \\ &= \sum_{i=1}^n \log \left( \mu \exp \left( - \mu z_i \right) \right) \\ &= n \log \mu - \mu \sum_{i=1}^n z_i \\ &= n \log \mu - \mu n \bar{z} \\ \therefore \ \ \frac{dl}{d \mu} &= \frac{n}{\mu} - n \bar{z} \end{aligned}

であるから、 μ\mu の最尤推定量 μ^\hat{\mu} は、

μ^=1zˉ \begin{aligned} \hat{\mu} = \frac{1}{\bar{z}} \end{aligned}

であることがわかる。

(3)

dμdλ=11λ2 \begin{aligned} \frac{d \mu}{d \lambda} &= 1 - \frac{1}{\lambda^2} \end{aligned}

であるから、 λ>1\lambda \gt 1 において、 μ\muλ\lambda の単調増加関数である。 よって、 λ\lambda の最尤推定量 λ^\hat{\lambda} は、

λ^+1λ^=μ^ \begin{aligned} \hat{\lambda} + \frac{1}{\hat{\lambda}} = \hat{\mu} \end{aligned}

を満たし、

λ^=12(μ^+μ^24)=12(1zˉ+1zˉ24) \begin{aligned} \hat{\lambda} &= \frac{1}{2} \left( \hat{\mu} + \sqrt{\hat{\mu}^2 - 4} \right) \\ &= \frac{1}{2} \left( \frac{1}{\bar{z}} + \sqrt{\frac{1}{\bar{z}^2} - 4} \right) \end{aligned}

を得る。

ただし、これは zˉ1/2\bar{z} \leq 1/2 のときであり、 zˉ>1/2\bar{z} \gt 1/2 のときは、

λ^=1 \begin{aligned} \hat{\lambda} = 1 \end{aligned}

である。