定理2.2.1 到达时间间隔序列
相互独立同分布的,且服从参数为
的指数分布.
这个命题应是在意料之中的. 事实上,泊松分布定义中的平稳独立增量的假定等于说在概率意义上过程是在任何时刻都重新开始,即从任何时刻起过程独立于先前已发生的一切(独立增量),且与原过程有完全同样的分布(平稳性),也就是通常讲的无后效性.
证明
住所证明下载场所使用证明下载诊断证明下载住所证明下载爱问住所证明下载爱问
1)求
的分布. 由于
表
关于同志近三年现实表现材料材料类招标技术评分表图表与交易pdf视力表打印pdf用图表说话 pdf
示第一次事件发生之前所需的时间,故
表示在
时间段内事件还未出现,所以
即
.
2)求
的分布. 由平稳增量性,在时间区间
内事件发生的次数与
无关,而只与时间间隔的长度
有关,即
由全概率公式,
即
且与
独立.
3)求
的分布.对于
,有
即
,且相互独立.于是结论成立. □
注意,定理2.2.1的逆命题也成立. 先研究到达时刻的分布,之后再来讨论这个问题.
定理2.2.2 到达时刻
服从参数为
的Gamma分布.
证明 由定理2.2.1,
相互独立且
的特征函数是
于是,
的特征函数是
而
分布的特征函数为
,
定理2.2.3 若计数过程
的到达时间间隔序列
是相互独立同参数为
的指数分布,则
是参数为
的泊松过程.
证明 由指数分布的无记忆性知, 过程
具有平稳独立增量.于是只要证明
.
注意到
服从参数为
的Gamma分布,且
所以
令
并由分部积分法得
。 □
由以上的结论可以看出,泊松分布和指数分布存在着紧密的联系,有人将定理2.2.1与定理2.2.3合起来作为泊松过程的定义,这种定义方法适宜于往更新过程乃至随机游动作进一步的推广;此外,这种定义实际上有助于读者理解泊松过程的无后效性并提供了模拟它的好方法,后面对此进行讨论.
例2.2.1 放射性物质在衰减过程平均每分钟放射出4个
光子, 用
表示在观测时间区间
内放射出
光子的数目,且
是泊松过程. 设计数器对检测到的
光子只是每隔一个记录一次,令T是两个相继被记录的光子之间的时间间隔(以分钟为单位),求T的概率密度函数.
解 由题意,
,故
是参数
的泊松过程。
设
表示第
个与第
个被记录的光子之间的时间间隔,且从放射出的第2个光子开始记录,显然
,由定理2.2.1知,
独立同指数分布,于是
也是独立同分布的. 所以只要求出
的分布,即为T的分布.注意到
{在
至多到达一个光子},故
所以T的分布函数为
概率密度函数为
.