1. 引言
对随机微分动力系统而言,研究FPK方程是探究系统响应的一种重要方法。通过求解FPK方程,我们可以得到状态变量的转移概率密度函数,进而了解系统的状态。但是对于绝大多数系统而言,其FPK方程无法或很难求得其精确解,因此,FPK方程的数值解法非常重要。在许多学者的共同努力下,目前已经出现许多近似解法,例如有限元法 [1],路径积分法 [2] [3] [4],有限差分法 [5] [6] [7] [8] [9],高斯闭合法 [10] - [16] 等等,但极少数文章关注其精确度。所以,本文针对一类非线性随机动力系统,在现有文献的基础上,首先提出一种数值解法——指数闭合法 [15],其次研究其精确性问题。
我们的想法是:针对一类非线性随机动力系统,首先写出系统的FPK方程,其次假设方程的近似解为指数多项式形式,利用待定系数法可以求解出近似解的系数,从而得到系统FPK方程的数值解。并且,我们从两个方面验证该方法的有效性:一方面,比较该方法得到的FPK方程的数值解和广义平稳条件下的精确解的误差,发现该解法的误差小于千分之三。另一方面,比较数值解对应的转移概率密度函数和系统离散化后的相图这两者所确定的稳态区域,发现两个区域具有高度一致性。因此,本文提出的数值解法不仅计算简便,而且精度较高,是求解FPK方程的一种有效方法。
2. 数值算法
2.1. 准备工作
对于一般的非线性随机动力系统 [17]:
(1)
式中
,
是高斯白噪声,其相关函数为
(2)
如果该系统存在平稳转移概率密度函数,则由下列简化FPK方程决定:
(3)
式中Gi是第i个方向的概率流。ai、bij分别是一、二阶导数矩,由方程(1)可导出:
(4)
如果对(3)增加如下一组充分条件,我们可以得到系统(1)在广义平稳条件下的精确解:
(5)
此时,系统(1)属于平稳势类,因此,我们可以将平稳转移概率密度函数表示为
。其中,C是归一化常数,
叫做概率势函数。
而广义平稳的条件只有极少数系统满足,绝大多数系统的FPK方程无法或很难求解。下面我们对本文的数值算法思想进行详细阐述。
2.2. 算法简述
我们假设系统(1)的FPK方程的解,即系统的平稳转移概率密度函数为如下形式:
(6)
其中C为归一化常数
是常数。由于解必须要满足方程,即上式需满足(3),从而我们将上式带入(3),得到:
(7)
对上式两边使用待定系数法,通过解方程便可求出
的系数
与归一化常数C。因此,我们就可得到FPK方程的数值解。
下一小节我们通过两个例子具体说明该算法的计算过程与有效性。
3. 应用
3.1. 例1
考虑:
(8)
式中
是相互独立的Stratonovich意义下的零均值高斯白噪声过程,其谱密度常数分别是
。
是常数。
令
,则可得到其Stratonovich型随机微分方程为:
(9)
加入Wong-Zakai 修正项,上述方程便转化成Itô型随机微分方程为:
(10)
我们求出一、二阶导数矩分别为:
(11)
带入(3)便可得到此系统的FPK方程:
(12)
我们知道,通过将一阶导数矩分为可逆和不可逆分量可以将精确可解类从平稳势拓展到详细平衡。类似思路,我们不仅把一阶导数矩分开,而且把二阶导数矩也分开,将精确可解类进一步拓展,用于求解系统的FPK方程。(12)式左端最后一项可以写成:
(13)
将上式带入FPK方程(12),我们可以得到:
(14)
为了化简上式的求解,我们加入如下一组充分条件:
(15)
假设
,其中
,C是归一化常数。则(15)式等价为:
(16)
化简可得到:
(17)
若取
则:
(18)
故在广义平稳条件下,可解得该系统FPK方程的精确解为:
(19)
下面采用本文提出的数值解法求(12)的近似解,并将该近似解和上式精确解进行对比。首先,假设该系统的平稳转移概率密度函数为:
(20)
将式(20)带入FPK方程(12)中,固定住n,就有
(21)
运用待定系数法确定pn的系数,我们可求得此近似解。当取
,
时,求得
,
。
当取n = 2时,我们使用Mathematica解得:
(22)
此时
(23)
当取n = 6时,我们解得:
(24)
此时:
(25)
数值模拟结果如图1:
(a) p2(x)示意图
(b) p6(x)示意图
(c) pe(x)示意图
Figure 1. Schematic diagram of steady-state transfer probability density function
图1. 稳态转移概率密度函数示意图
下面我们重点比较两种解的误差情况。图2展示了在不同区域,近似解和精确解的误差图,通过比较,我们发现误差基本在0.0003之内,精度较高。从图1中我们也可以看到,系统的状态变量主要集中在(−2, 2)之间,因此,图3展示了在此区域内,不同小范围的精确度。图中不同颜色的线表示不同的区域,对应不同的精确度。总体来看,该方法在稳态区域的精确度非常高。
![](//html.hanspub.org/file/5-2621209x57_hanspub.png)
(a)
(b)
Figure 2. The error graph of p6(x) and pe(x)
图2. p6(x)和pe(x)误差图
![](//html.hanspub.org/file/5-2621209x60_hanspub.png)
Figure 3. Accuracy diagram of steady state region
图3. 稳态区域的精确度示意图
表1和表2分别给出平衡态附近的不同区域内,近似解以及精确解的取值和误差比较,观察这些数据我们可以看出,两种解的误差非常微弱,这也说明我们的方法较精确。
![](Images/Table_Tmp.jpg)
Table 1. List of values for numerical and exact solutions near equilibrium
表1. 平衡态附近,数值解与精确解取值一览表
![](Images/Table_Tmp.jpg)
Table 2. List of errors for numerical and exact solutions near equilibrium
表2. 平衡态附近,数值解与精确解误差一览表
3.2. 例2
考虑:
(26)
式中
是常数,
是功率谱密度常数分别为
的独立高斯白噪声。假设
,可以得到该系统的Stratonovich型随机微分方程为:
(27)
式中
为单位维纳过程。转化为Itô型随机微分方程:
(28)
式中
是 Wong-Zakai修正项。从而我们可以得到系统的FPK方程为:
(29)
如之前的计算过程类似,我们假设系统(26)的平稳转移概率密度函数为:
(30)
C归一化常数。把该近似解带入(29)中,可以得到:
(31)
若取
。我们首先使用本文提出的数值解法求得平稳转移概率密度函数的系数,得到FPK方程的近似解为:
(32)
图4给出了pn的数值模拟示意图。
(a) p2(x)示意图
(b) p4(x)示意图
(c) p6(x)示意图
Figure 4. Schematic diagram of steady-state transfer probability density function
图4. 稳态转移概率密度函数示意图
下面我们采用 Milsteins 离散方法,得到(28)的离散化形式:
(33)
其中
服从
。模拟结果如图5所示:
![](//html.hanspub.org/file/5-2621209x89_hanspub.png)
Figure 5. Phase diagram of system (28)
图5. 系统(28)的相图示意图
长时间观察之后,我们发现系统的状态变量X1集中出现在(−1.2, 2)之间,X2集中出现在(−1.5, 1.8)之间。我们令(32)对X1和X2分别在区间(−1.2, 2)和(−1.5, 1.8)上积分,得其值为0.93。换句话说,根据本文提出的近似算法,我们估计此系统的状态变量X1和X2分别出现在区间(−1.2, 2)和(−1.5, 1.8)上的概率为0.93。可以看出此结果与图5所示结果具有很高的一致性。
3.3. 结论
本篇论文主要解决了一类非线性随机微分动力系统转移概率密度函数的求解及其有效性问题。首先我们提出一种近似方法,即假设系统FPK方程的解为指数多项式的形式,运用待定系数法求出多项式的系数,然后就可得到FPK方程的近似解。接着,通过两个具体的案例,我们详细地阐述了求解过程。通过比较广义平稳条件下得出的精确解和该近似解的误差,以及比较用近似解求出的状态变量位于稳态区域的概率和系统离散化后相图展示的结果,我们发现该方法不仅计算简便,而且精度很高,是求解转移概率密度函数的一种有效方法。在求解一般的FPK方程时,本文提出的模拟思路读者可以直接套用。
基金项目
中国自然科学基金(11501410;51573133;11672207),天津市自然科学基金(17JCQNJC03800;17JCYBJC15700)。
NOTES
*通讯作者。