前置

连续时间 Markov 跳跃过程

设 是连续时间 Markov 过程, 是其单时刻概率密度。先考虑纯跳跃情形:给定 ,过程在短时间 内跳到 附近的概率满足

其中 是单位时间、单位体积的转移速率密度。总跳出率

假设有限,而留在原状态的概率是 。这里的条件分布应理解为 Markov 转移核的正则条件版本;在连续状态空间中不能用概率通常为零的点事件比值来定义它。

以下推导默认 、 可测,所需积分有限,并且前向方程有足够正则的密度解。在离散状态空间中,把积分换成求和即可。

Kolmogorov 主方程

流入 的概率率减去从 流出的概率率,得到 Kolmogorov 主方程

第一项表示从 跃迁到 对 产生的流入率,第二项表示从 跃迁到 的流出率。对所有 积分后,二者之差就是 点密度的总变化率。

若 与 无关,这一跳跃过程时齐;允许显含 时,方程仍成立,但过程一般非时齐。

Kramers—Moyal 展开

令

并定义转移速率函数

它表示过程从 出发、跳跃 到达 的速率。由 ,

因此主方程可以写成

在第二项中作变量替换 :

于是

记

对固定 ,若 关于 足够光滑,则在 处作多元 Taylor 展开:

采用张量记号

其中 是 阶张量积, 是 阶微分算子张量,冒号表示所有指标的全收缩。

若可交换求和、积分与微分,代回主方程可得

项正好是

与流出项抵消。因此

定义 阶 Kramers—Moyal 矩系数

Kramers—Moyal 展开遂写为

展开成立所需的条件

以上无穷级数不是对任意跳跃过程都自动成立。至少需要:

  • 具有 Markov 的局部转移率,且相应阶数的局部跳跃矩有限;
  • 有足够阶数的导数;
  • Taylor 余项可由关于 的可积函数控制,从而能够交换积分、微分和无穷求和;
  • 在有边界的状态空间上,边界通量或边界条件与分部微分相容。

若这些强条件不能验证,Kramers—Moyal 展开只能看作形式展开;有限阶弱形式则可通过对光滑紧支撑测试函数作用来表述。

局部条件矩

令 。对上述跳跃率模型,给定 时,无跳跃部分对 的增量矩没有贡献,而一次跳跃部分满足

所以在极限存在且余项对条件矩可控时,

在连续状态空间中,这个条件期望同样指转移核的版本;等式可先对几乎处处的 成立,再在系数连续时延拓。

Fokker—Planck 方程

若 的 Kramers—Moyal 项为零,只保留前两阶,便得到 Fokker—Planck 方程

分量形式为

精确地把无限展开截断在二阶需要过程确实具有扩散型局部矩;对一般跳跃过程,直接丢弃高阶项通常只是近似。

Itô SDE 与 Fokker—Planck 系数

考虑 维 Itô 随机微分方程

其中 是 维标准布朗运动, 是 矩阵。令

局部 Lipschitz 与线性增长条件可用于保证 SDE 解的存在唯一性;要把前向方程写成下面的经典密度形式,还需 具有足够光滑的密度,并要求 及其空间导数满足相应正则性和边界条件。较弱条件下方程应理解为分布或弱解。

在短时间 内,

其中系数在 处取值。第一局部矩给出

对第二局部矩,

展开外积:

利用

得到

因而

布朗增量的 阶尺度是 ,结合漂移项可知 的局部条件矩除以 后趋于零。因此与该 SDE 对应的 Fokker—Planck 方程为

等价地,SDE 的生成元作用在光滑测试函数 上为

Fokker—Planck 算子正是其关于密度的形式伴随算子 。