截断正态分布(Truncated_normal_distribution)
是在正态分布中界定随机变量进而从正态分布的分布函数中导出概率分布,在计量经济学中具有广泛的应用。
- 定义
若,则当时,的概率密度函数(PDF)为:
其中,为标准正态分布, 为标准正态分布的累积分布函数(CDF):
为高斯误差函数是一个非初等函数,定义如下:
在这里做一个简短的证明:
从累计分布的几何意义来看:
对于在区间的累计分布为随机变量落在该区间的概率,其概率值为概率密度函数在该区间的定积分,也就是概率密度曲线在该区间所围图形的面积。因为而标准正态分布的对称轴,故,且,得证。
利用累计正态分布的性质来看:
对于正态分布的累计分布函数有成立,则,借鉴上一个证明的后半部分即可得证。
直接由标准正态分布的累计分布函数进行推导:
对于第二个积分在第一种方法中已证明,接下里着重证明第一个积分,由于被积函数是一个偶函数,直接证明即可,对于该无穷积分,考虑其收敛性,可以构造为二重积分进行求解:
做极坐标变换,即得:
其中,极坐标变换的Jacobi行列式:
于是:
简化得:
得证.
由累积分步函数可以很容易得到: