回顾
若
- 对任意
和任意
随机变量
相互独立。
- 对任意区间
随机变量
的泊松分布。
今天的目标
- 泊松过程的刻画;
- 连续时间马尔可夫链。
泊松过程——刻画
定理. 设
的单调递增右连续过程,并且
设
是强度为 的泊松过程。 具有独立增量,并且当 时,下列关系关于 一致成立:
具有独立平稳增量,并且对所有 ,
连续时间马尔可夫链
设
定义. 如果对所有
以及所有
过程
并且右侧只依赖于时间差
则称
注(正则性要求). 过程是右连续的。由于状态空间可数且路径分段常值,这意味着对每个
链的半群
定义. 假设
它满足:
例
例 1. 泊松过程具有马尔可夫性。其半群为
例 2. 设
是一条转移矩阵为
是一个与该链独立、强度为
则
停留时间
设
问题: 它在状态
在
定理.
引理. 设
当且仅当