如果您无法下载资料,请参考说明:
1、部分资料下载需要金币,请确保您的账户上有足够的金币
2、已购买过的文档,再次下载不重复扣费
3、资料包下载后请先用软件解压,在使用对应软件打开
连续时间的马尔可夫链
5.1连续时间的马尔可夫链
考虑取非负整数值的连续时间随机过程
定义5.1设随机过程,状态空间,若对任意
及,有
=(5.1)
则称为连续时间马尔可夫链.
由定义知,连续时间马尔可夫链是具有马尔可夫性的随机过程,即过程在已知现在时刻及一切过去时刻所处状态的条件下,将来时刻的状态只依赖于现在状态而与过去无关.
记(5.1)式条件概率一般形式为
(5.2)
它表示系统在s时刻处于状态i,经过时间t后转移到状态j的转移概率.
定义5.2若(5.2)式的转移概率与s无关,则称连续时间马尔可夫链具有平稳的或齐次的转移概率,此时转移概率简记为
其转移概率矩阵简记为
以下的讨论均假定我们所考虑的连续时间马尔可夫链都具有齐次转移概率.简称为齐次马尔可夫过程.
假设在某时刻,比如说时刻0,马尔可夫链进入状态i,而且接下来的s个单位时间单位中过程未离开状态i,(即未发生转移),问随后的t个单位时间中过程仍不离开状态i的概率是多少呢?由马尔可夫我们知道,过程在时刻s处于状态i条件下,在区间[s,s+t]中仍然处于i的概率正是它处于i至少t个单位的无条件概率..若记
为记过程在转移到另一个状态之前停留在状态i的时间,则对一切s,t有
可见,随机变量具有无记忆性,因此服从指数分布.
由此可见,一个连续时间马尔可夫链,每当它进入状态i,具有如下性质:
在转移到另一状态之前处于状态i的时间服从参数为的指数分布;
当过程离开状态i时,接着以概率进行状态j,.
上述性质也是我们构造连续时间马尔可夫链的一种方法.
当时,称状态i为瞬时状态,因为过程一旦进入此状态立即就离开.时,称状态i为吸收状态,因为过程一旦进入状态就永远不再离开了.尽管瞬时状态在理论上是可能的,但以后假设对一切i,.因此,实际上一个连续时间的马尔可夫链是一个这样的随机过程,它按照一个离散时间的马尔可夫链从一个状态转移到另一个状态,但在转移到下一个状态之前,它在各个状态停留的时间服从指数分布.此外在状态i过程停留的时间与下一个到达的状态必须是相互独立的随机变量.因此下一个到达的状态依赖于,那么过程处于状态i已有多久的信息与一个状态的预报有关,这与马尔可夫性的假定相矛盾.
定理5.1齐次马尔可夫过程的转移概率具有下列性质:
(2)
(3).
其中(3)式即为连续时间齐次马尔可夫链的切普曼—柯尔哥洛夫方程.
证明只证(3).由全概率公式及马尔可夫性可得
=
=
.
对于转移概率,一般还假定它满足:
(5.3)
称(5.3)式为正则条件.正则条件说明,过程刚进入某状态不可能立即又跳跃到另一状态.这正好说明一个物理系统要在有限时间内发生限多次跳跃,从而消耗无穷多的能量这是不可能的.
定义5.3对于任一记
分别称齐次马尔可夫过程的绝对概率分布和初始概率分布.
定理5.2齐次马尔可夫过程的绝对概率及有限维概率分布具有下列性质:
(1)
(2)
(3);
(4)
(5)
例5.1试证明泊松过程为连续时间齐次马尔可夫链.
证明先证泊松过程具有马尔可夫性,再证明齐次性.由泊松过程的定义
它是独立增量过程,且X(0)=0.,有
=
=}
=.
另一方面,因为
=
=
所以=.
即泊松过程是一个连续时间马尔可夫过程.以下证明齐次性.
当时,由泊松过程的定义
=
=
j<i.时,由于过程的增量只取非负整数,故所以
,
即转移概率只与t有关,泊松过程具有齐次性.
5.2柯尔莫哥洛夫微分方程
对于连续时间齐次马尔可夫链转移概率的求解一般比较复杂.下面首先讨论的可微性及满足的柯尔莫哥洛夫微分程.
引理5.1设齐次马尔可夫过程满足正则性条件(5.3),则对于任意固定的
是t的一致连续函数.
证明设h>0,由定理5.1得
=
故有
因此
对于h<0,同样有
综上所述得到
由正则性条件知
即关于t是一致连续的.
以下我们恒设齐次马尔可夫过程满足正则性条件(5.3)式.
定理5.3设是齐次马尔可夫过程的转移概率,则下列极限存在
(1)
(2)
我们称为齐次马尔可夫过程从状态i到状态j的转移概率或跳跃强度.定理中的极限的概率意义为:在长为的时间区间内,过程从状态i转移到另一其他状态的转移概率为等于加一个比高阶的无穷小量,而过程从状态i转移到状态j的转移概率为等于加一个比高阶的无穷小量.
推论对有限齐次马尔可夫过程,有
证明由定理5.1,有
由于求和是在有限集中进行,故有
(5.4)
对于状态空间无限的齐次马尔可夫过程,一般只有
.
若连续时间齐次马尔可夫是具有有限状态空间I={0,1,2,…,n},则其转移速率构成以下形式的矩阵
(5.5)
由(5.4)式知,Q矩阵的每一行元素之和为0,对角线元素为负或0,其余
利用Q矩阵可以推出任意时间间隔t的转移概率所满足的方法组,从而可
快乐****蜜蜂
实名认证
内容提供者
最近下载