22. Truncated Normal Distribution
本章主题:截断正态分布。 设 \(X\sim\mathcal N(\mu,\sigma^2)\),则 \(X\mid a
Chapter theme: the truncated normal distribution. Let \(X\sim\mathcal N(\mu,\sigma^2)\); then \(X\mid a
设 \(X\) 服从均值为 \(\mu\)、方差为 \(\sigma^2\) 的正态分布。则变量 \(X\mid a
- \(X\mid a
- \(X\mid a
- \(X\mid a
p.d.f(22.1) $$f(x;\mu,\sigma,a,b)=\frac{\phi\left(\frac{x-\mu}{\sigma}\right)}{\sigma\left(\Phi\left(\frac{b-\mu}{\sigma}\right)-\Phi\left(\frac{a-\mu}{\sigma}\right)\right)}\tag{22.1}$$
证明
为证 \(X\mid a
Suppose \(X\) has a normal distribution with mean \(\mu\) and variance \(\sigma^2\). Then, the variable \(X\mid a p.d.f (22.1)
$$f(x;\mu,\sigma,a,b)=\frac{\phi\left(\frac{x-\mu}{\sigma}\right)}{\sigma\left(\Phi\left(\frac{b-\mu}{\sigma}\right)-\Phi\left(\frac{a-\mu}{\sigma}\right)\right)}\tag{22.1}$$ Proof
To prove that the p.d.f. of \(X\mid a
- \(X\mid a
c.d.f(22.2) $$F(x;\mu,\sigma,a,b)=\frac{\Phi\left(\frac{x-\mu}{\sigma}\right)-\Phi\left(\frac{a-\mu}{\sigma}\right)}{\Phi\left(\frac{b-\mu}{\sigma}\right)-\Phi\left(\frac{a-\mu}{\sigma}\right)}\tag{22.2}$$
证明
为证 \(X\mid a
- The c.d.f. of \(X\mid a
c.d.f (22.2) $$F(x;\mu,\sigma,a,b)=\frac{\Phi\left(\frac{x-\mu}{\sigma}\right)-\Phi\left(\frac{a-\mu}{\sigma}\right)}{\Phi\left(\frac{b-\mu}{\sigma}\right)-\Phi\left(\frac{a-\mu}{\sigma}\right)}\tag{22.2}$$
Proof
To prove that the c.d.f. of \(X\mid a
- \(X\mid a
均值(22.3)
$$\mathbb E[X\mid a
证明
为证 \(X\mid a
- The mean of \(X\mid a
Mean (22.3)
$$\mathbb E[X\mid a
Proof
To prove that the mean of \(X\mid a
- \(X\mid a
方差(22.4)
$$\text{Var}[X\mid a
证明
为证方差为 (22.4),考虑(其中用到均值 (22.3)):
$$\begin{aligned}\text{Var}[X\mid a 把 (22.6) 代入 (22.5):
$$\begin{aligned}\text{Var}[X\mid a
- 对单边截断,只需令 \(a=-\infty\) 或 \(b=\infty\) 代入,上述同样结果仍成立。
- The variance of \(X\mid a
Variance (22.4)
$$\text{Var}[X\mid a
Proof
To prove that the variance is (22.4), consider the following (using the mean (22.3)):
$$\begin{aligned}\text{Var}[X\mid a Plug (22.6) into (22.5):
$$\begin{aligned}\text{Var}[X\mid a
- For one-sided truncation, simply plug in \(a=-\infty\) or \(b=\infty\), and the same results from above hold.