到达时间间隔与到达时刻的分布(应用随机过程,陈萍)

定理2.2.1到达时间间隔序列1,1,2,kkkTk相互独立同分布的，且服从参数为的指数分布.这个命题应是在意料之中的.事实上，泊松分布定义中的平稳独立增量的假定等于说在概率意义上过程是在任何时刻都重新开始，即从任何时刻起过程独立于先前已发生的一切（独立增量），且与原过程有完全同样的分布（平稳性），也就是通常讲的无后效性.证明1）求1T的分布.由于1T表示第一次事件发生之前所需的时间，故1{}Tt表示在[0,)t时间段内事件还未出现，所以111()()1()1(()0)1,0tTFtPTtPTtPNtet即1~()TE.2）求2T的分布.由平稳增量性，在时间区间[,)sst内事件发生的次数与s无关，而只与时间间隔的长度t有关，即21()(()()0)(()0),0tPTtTsPNstNsPNtet由全概率公式，1221210||tTPTtPTtTsfsdsePTtTs即2~()TE且与1T独立.3）求,2nTn的分布.对于11,,,0ntss，有11111111(,,)(()()0)(()0)nnnnntPTtTsTsPNtssNssPNte即~(),2nTEn，且相互独立.于是结论成立.□注意，定理2.2.1的逆命题也成立.先研究到达时刻的分布，之后再来讨论这个问题.定理2.2.2到达时刻n服从参数为,n的Gamma分布.证明由定理2.2.1，1,1,2,kkkTk相互独立且kT的特征函数是00012222cossin1itxxxxkteedxtxedxitxedxttiitt于是，1,1,2,nnkkTn的特征函数是111nnnkttiit而,分布的特征函数为tit，~,nn定理2.2.3若计数过程}0),({ttN的到达时间间隔序列,1,2,kTk是相互独立同参数为的指数分布，则}0),({ttN是参数为的泊松过程.证明由指数分布的无记忆性知,过程}0),({ttN具有平稳独立增量.于是只要证明()~()NtPt.注意到n服从参数为,n的Gamma分布，且11{()}{}{}{}{}nnnnNtntttt所以11100(())({})({})({})({})()()(1)!!nnnnnnttxxPNtnPtPtPtPtxxedxedxnn令yx并由分部积分法得()(()),0,0,1,2,!nttPNtnetnn。□由以上的结论可以看出，泊松分布和指数分布存在着紧密的联系，有人将定理2.2.1与定理2.2.3合起来作为泊松过程的定义，这种定义方法适宜于往更新过程乃至随机游动作进一步的推广；此外，这种定义实际上有助于读者理解泊松过程的无后效性并提供了模拟它的好方法，后面对此进行讨论.EX放射性物质在衰减过程平均每分钟放射出4个光子，用)(tN表示在观测时间区间(0,]t内放射出光子的数目，且}0),({ttN是泊松过程.设计数器对检测到的光子只是每隔一个记录一次，令T是两个相继被记录的光子之间的时间间隔（以分钟为单位），求T的概率密度函数.解由题意，(1)4EN，故}0),({ttN是参数4的泊松过程。设,1,2,kXk表示第1k个与第k个被记录的光子之间的时间间隔，且从放射出的第2个光子开始记录，显然212kkkXTT，由定理2.2.1知，,1,2,kTk独立同指数分布，于是,1,2,kXk也是独立同分布的.所以只要求出1X的分布，即为T的分布.注意到1{}Xt{在[0,)t至多到达一个光子}，故112444()()(()1)(()0)(()1)4(14),0,tttPXtPTTtPNtPNtPNtetetet所以T的分布函数为411(14),0()()0,0tTtetFtPXtt概率密度函数为416,0()()0,0tTTtetftFtt.