乐湖华研题库
学生教师

例 3.3.7

hard一级题目发布者: ai-batch

题干

设随机变量 X∼N(μ1,σ12)X \sim N(\mu_1, \sigma_1^2)X∼N(μ1​,σ12​),Y∼N(μ2,σ22)Y \sim N(\mu_2, \sigma_2^2)Y∼N(μ2​,σ22​),且 XXX 与 YYY 独立,证明 Z=X+Y∼N(μ1+μ2,σ12+σ22)Z = X + Y \sim N(\mu_1 + \mu_2, \sigma_1^2 + \sigma_2^2)Z=X+Y∼N(μ1​+μ2​,σ12​+σ22​)。

答案点击展开后可查看解析

解析

首先指出 Z=X+YZ = X + YZ=X+Y 仍在 (−∞,∞)(-\infty, \infty)(−∞,∞) 上取值,利用卷积公式 (3.3.13) 可得

pZ(z)=12πσ1σ2∫−∞∞exp⁡{−12[(z−y−μ1)2σ12+(y−μ2)2σ22]}dy,p_Z(z) = \frac{1}{2\pi\sigma_1\sigma_2} \int_{-\infty}^{\infty} \exp\left\{-\frac{1}{2}\left[\frac{(z-y-\mu_1)^2}{\sigma_1^2} + \frac{(y-\mu_2)^2}{\sigma_2^2}\right]\right\} \mathrm{d}y,pZ​(z)=2πσ1​σ2​1​∫−∞∞​exp{−21​[σ12​(z−y−μ1​)2​+σ22​(y−μ2​)2​]}dy,

对上式被积函数中的指数部分按 yyy 的幂次展开,再合并同类项,不难得到

(z−y−μ1)2σ12+(y−μ2)2σ22=A(y−BA)2+(z−μ1−μ2)2σ12+σ22,\frac{(z-y-\mu_1)^2}{\sigma_1^2} + \frac{(y-\mu_2)^2}{\sigma_2^2} = A\left(y - \frac{B}{A}\right)^2 + \frac{(z-\mu_1-\mu_2)^2}{\sigma_1^2 + \sigma_2^2},σ12​(z−y−μ1​)2​+σ22​(y−μ2​)2​=A(y−AB​)2+σ12​+σ22​(z−μ1​−μ2​)2​,

其中

A=1σ12+1σ22,B=z−μ1σ12+μ2σ22.A = \frac{1}{\sigma_1^2} + \frac{1}{\sigma_2^2}, \quad B = \frac{z-\mu_1}{\sigma_1^2} + \frac{\mu_2}{\sigma_2^2}.A=σ12​1​+σ22​1​,B=σ12​z−μ1​​+σ22​μ2​​.

代回原式,可得

pZ(z)=12πσ1σ2exp⁡{−12(z−μ1−μ2)2σ12+σ22}⋅∫−∞∞exp⁡{−A2(y−BA)2}dy.p_Z(z) = \frac{1}{2\pi\sigma_1\sigma_2} \exp\left\{-\frac{1}{2}\frac{(z-\mu_1-\mu_2)^2}{\sigma_1^2+\sigma_2^2}\right\} \cdot \int_{-\infty}^{\infty} \exp\left\{-\frac{A}{2}\left(y - \frac{B}{A}\right)^2\right\} \mathrm{d}y.pZ​(z)=2πσ1​σ2​1​exp{−21​σ12​+σ22​(z−μ1​−μ2​)2​}⋅∫−∞∞​exp{−2A​(y−AB​)2}dy.

利用正态密度函数的正则性,上式中的积分应为 2π/A\sqrt{2\pi}/\sqrt{A}2π​/A​,于是

pZ(z)=12π(σ12+σ22)exp⁡{−12(z−μ1−μ2)2σ12+σ22},p_Z(z) = \frac{1}{\sqrt{2\pi(\sigma_1^2+\sigma_2^2)}} \exp\left\{-\frac{1}{2}\frac{(z-\mu_1-\mu_2)^2}{\sigma_1^2+\sigma_2^2}\right\},pZ​(z)=2π(σ12​+σ22​)​1​exp{−21​σ12​+σ22​(z−μ1​−μ2​)2​},

这正是均值为 μ1+μ2\mu_1+\mu_2μ1​+μ2​,方差为 σ12+σ22\sigma_1^2+\sigma_2^2σ12​+σ22​ 的正态密度函数。

上述结论表明:两个独立的正态变量之和仍为正态变量,其分布中的两个参数分别对应相加,即

N(μ1,σ12)∗N(μ2,σ22)=N(μ1+μ2,σ12+σ22).N(\mu_1, \sigma_1^2) * N(\mu_2, \sigma_2^2) = N(\mu_1+\mu_2, \sigma_1^2+\sigma_2^2).N(μ1​,σ12​)∗N(μ2​,σ22​)=N(μ1​+μ2​,σ12​+σ22​).

显然,这个结论可以推广到有限个独立正态变量之和的场合。

另外我们知道,若随机变量 X∼N(μ,σ2)X \sim N(\mu, \sigma^2)X∼N(μ,σ2),则对任意非零实数 aaa 有 aX∼N(aμ,a2σ2)aX \sim N(a\mu, a^2\sigma^2)aX∼N(aμ,a2σ2)。由此我们可得另一个重要结论:任意 nnn 个相互独立的正态变量的线性组合仍是正态变量,即

a1X1+a2X2+⋯+anXn∼N(μ0,σ02),a_1 X_1 + a_2 X_2 + \cdots + a_n X_n \sim N(\mu_0, \sigma_0^2),a1​X1​+a2​X2​+⋯+an​Xn​∼N(μ0​,σ02​),

若 Xi∼N(μi,σi2)X_i \sim N(\mu_i, \sigma_i^2)Xi​∼N(μi​,σi2​),i=1,2,⋯ ,ni = 1, 2, \cdots, ni=1,2,⋯,n,则参数 μ0\mu_0μ0​ 与 σ02\sigma_0^2σ02​ 分别为

μ0=∑i=1naiμi,σ02=∑i=1nai2σi2.\mu_0 = \sum_{i=1}^n a_i \mu_i, \quad \sigma_0^2 = \sum_{i=1}^n a_i^2 \sigma_i^2.μ0​=i=1∑n​ai​μi​,σ02​=i=1∑n​ai2​σi2​.

譬如,已知 X∼N(−3,1)X \sim N(-3, 1)X∼N(−3,1),Y∼N(2,1)Y \sim N(2, 1)Y∼N(2,1),且 XXX 与 YYY 独立,则

Z=X−2Y+7∼N(0,5).Z = X - 2Y + 7 \sim N(0, 5).Z=X−2Y+7∼N(0,5).

评论 0

还没有评论,来说第一句话吧