精算模型1 一元生存分析2 参数生存模型
精算模型1 一元生存分析2 参数生存模型
- 均匀分布 (de Moivre 1724)
- 指数分布
- Gompertz分布 (1825)
- Makeham分布 (1860)
- Weibull分布 (Frechet,1927; Weibull 1951)
- Gamma函数
- Weibull分布的基本生存函数
这一讲介绍几个常用的剩余寿命TTT的分布。
均匀分布 (de Moivre 1724)
假设www表示极限年龄,则T∼U(0,w)T \sim U(0,w)T∼U(0,w),
fT(t)=1wI0≤t≤wf_T(t) = \frac{1}{w}I_{0 \le t \le w}fT(t)=w1I0≤t≤w
特点:第一个寿命的连续概率模型;剩余寿命均匀分布,随着年龄增长危险率上升,达到极限年龄时必死无疑;
适用性:长时间区间不适用。
性质:
S(t)=w−twS(t)=\frac{w-t}{w}S(t)=ww−t
指数分布
假设T∼f(t)T \sim f(t)T∼f(t),
fT(t)=1θe−1θt,t>0f_T(t)=\frac{1}{\theta}e^{-\frac{1}{\theta}t},t>0fT(t)=θ1e−θ1t,t>0
特点:常值死亡力(危险率函数为常数);一段时间内的死亡概率与当前年龄无关;是Gamma分布与Weibull分布的特例;
适用性:一般用在一年、一年以内的年龄区间。
性质
S(t)=e−1θtS(t)=e^{-\frac{1}{\theta}t}S(t)=e−θ1t
Gompertz分布 (1825)
Gompertz分布通过直接定义危险率函数得到:
h(t)=Bct,t≥0,c>1,B>0h(t) = Bc^t,t \ge 0, c >1 ,B>0h(t)=Bct,t≥0,c>1,B>0
它的适用性不强,因为相关的生存分析基本函数的形式非常复杂,生存函数稍微简单一点
S(t)=exp(Blnc(1−ct))S(t)=\exp \left( \frac{B}{\ln c}(1-c^t) \right)S(t)=exp(lncB(1−ct))
Makeham分布 (1860)
Makeham分布是对Gompertz分布的修正,Gompertz分布用幂函数对与年龄相关的危险率进行建模,但没有考虑到所有年龄段共有的一些死亡风险,于是Makeham分布的危险率函数修正为
h(t)=A+Bct,t≥0,c>1,B>0,A>−Bh(t) = A+Bc^t,t \ge 0, c >1 ,B>0, A>-Bh(t)=A+Bct,t≥0,c>1,B>0,A>−B
这个形式比Gompertz分布的形式还要复杂一点,因此相关的生存分析基本函数的形式也非常复杂,生存函数为
S(t)=exp(Blnc(1−ct)−At)S(t)=\exp \left( \frac{B}{\ln c}(1-c^t) -At\right)S(t)=exp(lncB(1−ct)−At)
Weibull分布 (Frechet,1927; Weibull 1951)
Weibull分布参数为θ,γ\theta,\gammaθ,γ,概率密度函数为
f(x)=γθxγ−1e−1θxγ,x>0,γ,θ>0f(x)=\frac{\gamma}{\theta}x^{\gamma-1}e^{-\frac{1}{\theta}x^{\gamma}},x>0,\gamma,\theta>0f(x)=θγxγ−1e−θ1xγ,x>0,γ,θ>0
Gamma函数
Gamma函数是阶乘在实数域的延拓,它由如下的积分形式定义:
Γ(x)=∫0∞tx−1e−tdt,x>0\Gamma(x)=\int_0^{\infty}t^{x-1}e^{-t}dt,x>0Γ(x)=∫0∞tx−1e−tdt,x>0
Gamma函数及其相关计算技巧在概率统计中非常重要,
性质
证明
这里用概率论的思路给出性质3的简单证明,也可以查阅任何一本数学分析的教材,学习用分析的思路证明性质3的方法。
We try to proof it using probability theory. Suppose X1X_1X1, X2X_2X2, … , XnX_nXn independently follow Poisson distribution with mean of each is 1. Define Sn=∑i=1nXiS_n = \sum_{i=1}^n X_iSn=∑i=1nXi, then E(Sn)=Var(Sn)=nE(S_n)=Var(S_n)=nE(Sn)=Var(Sn)=n. So
P(Sn=n)=e−nnnn!P(S_n = n) = \frac{e^{-n}n^n}{n!} P(Sn=n)=n!e−nnn
According CLT,
Sn−nn→dN(0,1)\frac{S_n-n}{\sqrt{n}} \to_d N(0,1) nSn−n→dN(0,1)
which means ∀n∈N\forall n \in \mathbb{N}∀n∈N, ∀ϵ>0\forall \epsilon >0∀ϵ>0, ∃δ>0\exists \delta>0∃δ>0 such that ∀x∈B(n,δ)\forall x \in B(n,\delta)∀x∈B(n,δ),
∣P(Sn=n)−[F(0)−F(−1x)]∣<ϵ2|P(S_n=n)-[F(0)-F(-\frac{1}{\sqrt{x}})]|<\frac{\epsilon}{2} ∣P(Sn=n)−[F(0)−F(−x1)]∣<2ϵ
Here F(x)F(x)F(x) is the CDF of standard normal distribution.Since P(Sn=n)=P(n−1<Sn≤n)=P(−1/n<Sn≤0)P(S_n=n) = P(n-1<S_n\le n) = P(-1/\sqrt{n}<S_n \le 0)P(Sn=n)=P(n−1<Sn≤n)=P(−1/n<Sn≤0), this is approximately F(0)−F(−1/n)F(0)-F(-1/\sqrt{n})F(0)−F(−1/n) according to convergence in distribution. Notice F(x)F(x)F(x) is continuous, so ∀x∈B(n,δ)\forall x \in B(n,\delta)∀x∈B(n,δ),
∣[F(0)−F(−1x)]−[F(0)−F(−1n)]∣<ϵ2|[F(0)-F(-\frac{1}{\sqrt{x}})]-[F(0)-F(-\frac{1}{\sqrt{n}})]|<\frac{\epsilon}{2} ∣[F(0)−F(−x1)]−[F(0)−F(−n1)]∣<2ϵ
So
∣P(Sn=n)−[F(0)−F(−1n)]∣≤∣P(Sn=n)−[F(0)−F(−1x)]∣−∣F(x)−[F(0)−F(−1n)]∣<ϵ|P(S_n=n)-[F(0)-F(-\frac{1}{\sqrt{n}})] | \\ \le |P(S_n=n)-[F(0)-F(-\frac{1}{\sqrt{x}})]| -|F(x)-[F(0)-F(-\frac{1}{\sqrt{n}})]| <\epsilon ∣P(Sn=n)−[F(0)−F(−n1)]∣≤∣P(Sn=n)−[F(0)−F(−x1)]∣−∣F(x)−[F(0)−F(−n1)]∣<ϵ
Notice F(x)F(x)F(x) is also bounded, so ∃M>0\exists M>0∃M>0 such that ∀x,F(x)≤M\forall x,\ F(x) \le M∀x, F(x)≤M
∣P(Sn=n)F(0)−F(−1n)−1∣<ϵM|\frac{P(S_n=n)}{F(0)-F(-\frac{1}{\sqrt{n}})}-1| <\frac{\epsilon}{M} ∣F(0)−F(−n1)P(Sn=n)−1∣<Mϵ
F(0)−F(−1n)=∫−1n012πe−x22dx=∫−1n012π(1−x22+o(x3))dx=12πn−112πn3+o(1n2)F(0)-F(-\frac{1}{\sqrt{n}}) = \int_{-\frac{1}{\sqrt{n}}}^0 \frac{1}{\sqrt{2 \pi}} e^{-\frac{x^2}{2}} dx \\ = \int_{-\frac{1}{\sqrt{n}}}^0 \frac{1}{\sqrt{2 \pi}}( 1-\frac{x^2}{2}+o(x^3)) dx \\ = \frac{1}{\sqrt{2 \pi n}} - \frac{1}{\sqrt{12 \pi n^3}} + o(\frac{1}{n^2}) F(0)−F(−n1)=∫−n102π1e−2x2dx=∫−n102π1(1−2x2+o(x3))dx=2πn1−12πn31+o(n21)
According to the two equations and inequality, when n is large enough, we can ignore −112πn3+o(1n2)- \frac{1}{\sqrt{12 \pi n^3}} + o(\frac{1}{n^2})−12πn31+o(n21), so
e−nnnn!→12π\frac{e^{-n}n^n}{n!} \to \frac{1}{\sqrt{2\pi}}n!e−nnn→2π1
证毕
Weibull分布的基本生存函数
性质
S(x)=e−1θxγ,x≥0S(x)=e^{-\frac{1}{\theta}x^{\gamma}},x \ge 0S(x)=e−θ1xγ,x≥0
总结
以上是生活随笔为你收集整理的精算模型1 一元生存分析2 参数生存模型的全部内容,希望文章能够帮你解决所遇到的问题。
- 上一篇: UA MATH523A 实分析2 测度论
- 下一篇: 视觉与图像系列 几何光学I 近轴光学1