随机微分方程的数值解

合集下载

微分方程数值解

微分方程数值解

一是大量用于设计工作的实验被数学 模型的研究逐步取代,如航天飞机设 计、反应堆设计、人工心瓣膜设计等; 二是能获取和存储大量的数据,并能 提取隐秘的信息,如计算机层析X射 线摄影,核磁共振等。
3.战略计算
“战略计算”一词首次 出现在1995年美国为了 确保核库存的性能、安 全性、可靠性和更新需 要而实施的“加速战略 计算创新(ASCI)计 划”。
绝对误差还不能完全表示近似值的好坏
Def 1.2 (相对误差/* relative error */ )
e x x 近似值 的误差 与准确值 的比值:
e x x
x x 称为近似值 的相对误差,记作
x 注: 实际计算时,相对误差通常取
er

e x
因为 e x
e x
由于核武器研制需要,1950年全球只 有15台,到了1962年9月仅美国就有 16187台计算机。
60年代中期开始推出小型计算机,70 年代末推出个人计算机,80年代中期 又推出高性能的超级微机。而计算物 理发展所涉及的大规模科学计算和模 拟所需要的大型计算机却未得到发展。
1981年以哈佛大学普雷斯(W. H. Press) 为首的11位著名科学家联名上书,向 美国国家科学基金会(NSF)呈送“发 展计算物理的建议书”,大声疾呼计 算物理发展正处于一个危机阶段,是 NSF采取实质性行动的时候了。
1998年9月,美国DOE在全国 范围内倡议实施“科学模拟计 划”(SSP),提出要加速“燃烧系统” 与全球气候系统“这两大应用领域的 科学模拟研究。
• 提问:数值计算方法是做什么用的?
研究对象:数值问题——有限个输入数据(问题的自
变量、原始数据)与有限个输出数据(待求解数据)之 间函数关系的一个明确无歧义的描述。

随机微分方程的数值解法研究

随机微分方程的数值解法研究

随机微分方程的数值解法研究随机微分方程是描述随机现象的数学模型,它在金融学、物理学、生物学等领域具有广泛的应用。

然而,由于其非线性和随机性质,解析解往往难以获得,因此数值解法成为研究随机微分方程的重要手段之一。

本文将探讨几种常见的数值解法,并分析其优缺点。

一、欧拉方法欧拉方法是最简单的数值解法之一,它基于离散化的思想,将连续的随机微分方程转化为离散的差分方程。

具体而言,欧拉方法通过将微分方程中的导数用差分近似来获得数值解。

然而,由于欧拉方法的局部误差较大,它对于长时间的模拟效果较差,容易产生较大的误差累积。

二、改进的欧拉方法为了克服欧拉方法的缺点,人们提出了改进的欧拉方法,其中最常用的是改进的欧拉方法(也称为Heun方法)。

该方法在每个时间步长内进行两次近似,以提高数值解的精度。

改进的欧拉方法通过增加一次近似来减小误差,从而在一定程度上提高了数值解的准确性。

然而,由于其仍然是一阶方法,改进的欧拉方法的精度仍然有限。

三、隐式方法隐式方法是另一类常用的数值解法,它与欧拉方法和改进的欧拉方法不同之处在于,它使用了未知的下一个时间步长的函数值来近似微分方程。

具体而言,隐式方法通过求解非线性方程组来获得数值解,因此它的精度较高。

然而,由于隐式方法需要求解非线性方程组,计算量较大,因此在实际应用中可能会受到一定的限制。

四、随机Runge-Kutta方法随机Runge-Kutta方法是一类基于Runge-Kutta方法的数值解法,它通过引入随机项来模拟随机微分方程。

与前面提到的方法不同,随机Runge-Kutta方法采用了更加精确的数值逼近技术,因此具有更高的精度和稳定性。

然而,由于其计算量较大,随机Runge-Kutta方法在实际应用中可能会受到一定的限制。

综上所述,随机微分方程的数值解法在实际应用中具有重要意义。

不同的数值解法具有不同的优缺点,研究者们需要根据具体问题的需求选择合适的方法。

未来的研究还应该探索更加高效和准确的数值解法,以提高随机微分方程模型的仿真效果。

随机微分方程数值解

随机微分方程数值解

随机微分⽅程数值解关于布朗运动的离散,在有解析解的情况下,⼀般都取⼀个很⼩的时间步长去离散时间。

可是在⽤数值⽅法去离散时间的时候当取得步长越接近这个很⼩的步长的时候,这个时候数值解与解析解的误差也会越来越⼩。

此时只需要在很⼩步长的离散布朗运动下去取在⽐较⼤的步长下的部分值就可以,,dw(数值需要⽤到的)= sum(dW(R*(j-1)+1:R*j));1 %EM Euler-Maruyama method on linear SDE2 %3 % SDE is dX = lambda*X dt + mu*X dW, X(0) = Xzero,4 % where lambda = 2, mu = 1and Xzero = 1.5 %6 % Discretized Brownian path over [0,1] has dt = 2^(-8).7 % Euler-Maruyama uses timestep R*dt.8 randn(’state’,100)9 lambda = 2; mu = 1; Xzero = 1; % problem parameters10 T = 1; N = 2^8; dt = 1/N;11 dW = sqrt(dt)*randn(1,N); % Brownian increments12 W = cumsum(dW); % discretized Brownian path13 Xtrue = Xzero*exp((lambda-0.5*mu^2)*([dt:dt:T])+mu*W);14 plot([0:dt:T],[Xzero,Xtrue],’m-’), hold on15 R = 4; Dt = R*dt; L = N/R; % L EM steps of size Dt = R*dt16 Xem = zeros(1,L); % preallocate for efficiency17 Xtemp = Xzero;18 for j = 1:L19 Winc = sum(dW(R*(j-1)+1:R*j));20 Xtemp = Xtemp + Dt*lambda*Xtemp + mu*Xtemp*Winc;21 Xem(j) = Xtemp;22 end23 plot([0:Dt:T],[Xzero,Xem],’r--*’), hold off24 xlabel(’t’,’FontSize’,12)25 ylabel(’X’,’FontSize’,16,’Rotation’,0,’HorizontalAlignment’,’right’)26 emerr = abs(Xem(end)-Xtrue(end))。

伊藤公式求解随机微分方程

伊藤公式求解随机微分方程

伊藤公式求解随机微分方程
伊藤公式是用来求解随机微分方程的重要工具。

随机微分方程是一类包含随机项的微分方程,它在金融、物理、生物等领域中具有广泛的应用。

伊藤公式提供了将随机项引入微分运算中的方法,从而使得我们能够对随机微分方程进行求解。

伊藤公式的基本形式为:$$ df(t,X_t) = frac{partial
f}{partial t} dt + frac{partial f}{partial X_t} dX_t +
frac{1}{2} frac{partial^2 f}{partial X_t^2} (dX_t)^2 $$ 其中,$f(t,X_t)$是一个关于时间$t$和随机变量$X_t$的函数,$dX_t$表示时间间隔$t$到$t+dt$内$X_t$的增量,$(dX_t)^2$表示$dX_t$的平方。

伊藤公式的主要应用是在解决随机微分方程的初值问题上,它通过变换随机项,将随机微分方程转化为普通微分方程,从而使得我们可以应用已知的数学工具进行求解。

随机微分方程的求解是一项复杂的任务,需要结合伊藤公式和其他数学工具进行分析。

在实际应用中,我们通常将随机微分方程离散化,然后利用数值方法进行求解。

这样既可以减少计算量,又可以保证数值解的准确性。

总之,伊藤公式是求解随机微分方程的重要工具,对于理解和应用随机微分方程具有重要的意义。

- 1 -。

随机微分方程的数值求解算法

随机微分方程的数值求解算法

随机微分方程的数值求解算法随机微分方程是一类常用于描述随机现象的数学模型,它包含了随机项,其解的求解过程相对复杂。

为了解决随机微分方程的数值求解问题,研究者们提出了各种算法和方法。

本文将介绍几种常见的随机微分方程数值求解算法,并探讨其应用和优缺点。

一、欧拉-马尔可夫算法欧拉-马尔可夫算法是随机微分方程数值求解的常用方法之一。

它基于欧拉方法,通过将微分方程离散化为差分方程,再引入随机项进行模拟。

具体来说,将微分方程中的导数项用中心差分或前向差分逼近,然后加上一个服从正态分布的随机项,即可得到欧拉-马尔可夫算法的迭代公式。

该算法简单易行,适用于各种类型的随机微分方程,但对于高维问题和强非线性问题的求解效果可能较差。

二、随机Runge-Kutta方法随机Runge-Kutta方法是一种基于Runge-Kutta方法改进的随机微分方程数值求解算法。

该方法通过引入随机项的高阶导数进行估计,提高了数值解的精度和稳定性。

具体来说,随机Runge-Kutta方法将微分方程离散化为差分方程,再使用Runge-Kutta方法求解差分方程的近似解,同时引入随机项进行模拟。

该算法相比于欧拉-马尔可夫算法,求解效果更好,适用于较复杂的随机微分方程,但计算量较大。

三、随机Taylor展开法随机Taylor展开法是一种基于Taylor展开的随机微分方程数值求解算法。

该方法将随机微分方程展开为无穷级数,通过截断展开后的级数来近似求解。

具体来说,随机Taylor展开法使用随机项的高阶导数来估计微分项的取值,然后通过级数相加得到近似解。

该算法精度较高,适用于低维问题和弱非线性问题,但对于高阶问题的求解可能存在数值不稳定性。

综上所述,随机微分方程的数值求解算法有欧拉-马尔可夫算法、随机Runge-Kutta方法和随机Taylor展开法等多种选择。

在实际应用中,根据问题的具体性质和求解要求,选择合适的算法进行求解是非常重要的。

未来的研究中,还可以通过改进算法的数值稳定性、提高算法的计算效率等方面,进一步完善随机微分方程的数值求解方法。

型随机微分方程与随机时滞微分方程解的研究

型随机微分方程与随机时滞微分方程解的研究

型随机微分方程与随机时滞微分方程解的研究随机微分方程是描述随机现象的重要工具,它们被广泛应用于多个领域,例如金融、工程和自然科学。

其中,型随机微分方程和随机时滞微分方程是两种重要的随机微分方程类型。

本文将介绍这两种方程的基本原理以及它们的解的研究进展。

一、型随机微分方程型随机微分方程是一种非马尔可夫性随机微分方程,它包括两个部分:随机分量和相应的非随机分量。

相应的非随机分量通常是通常微分方程的解。

这种方程的一个重要属性是它的解具有保持概率测度的属性。

解类型:型随机微分方程的解可以是各种类型,例如等概率解、正解和稳态解等。

这些解通常需要应用一些数学方法来发现。

数学方法:数学方法主要包括数值方法、概率方法和无界性方法。

其中,数值方法从数值上解决方程,通常使用随机数进行数值模拟;概率方法研究解的概率性质;无界性方法专注于研究无界解的行为。

二、随机时滞微分方程随机时滞微分方程是一种非马尔可夫性随机微分方程,它包含了一个时间滞后的随机过程。

时间滞后可以是一个确定的时间,也可以是一个随机时间。

这种微分方程被广泛应用于许多自然科学,例如社会学和物理学等领域。

解类型:随机时滞微分方程的解有许多类型。

其中,最重要的是平衡解和稳定解。

平衡解表示随机过程的平衡行为,它通常是方程的确定性部分的解;稳定解表示一种概率解,它出现在方程的随机部分的解。

这两种解经常被用来研究随机时滞微分方程在不同管辖域的行为。

数学方法:数学方法可以分为常规方法和不同方法。

常规方法通常使用随机积分技术、随机最大原则和状态空间的技巧等;不同方法使用了时滞的特殊性质,如Laplace变换和概率论技巧等。

总之,型随机微分方程和随机时滞微分方程是两种令人感兴趣的随机微分方程。

它们在数学和应用领域都有广泛的应用。

这两种方程的解决需要各种数学方法,包括数值方法、概率方法和无界性方法。

了解这些方法可以更好地理解并解决这些方程。

微分方程初值问题的数值解法

微分方程初值问题的数值解法

积分法:
yk 1 yk h f ( xk , yk ) y ( x0 ) y0
积分项利用矩形公式计算
(1) y( xk 1 ) y( xk )
xk 1
xk
f (t , y(t ))dt
(★)

xk 1
xk
f (t , y(t ))dt h f ( xk , yk ) y( xk 1 ) y( xk ) h f ( xk , yk )
引言
初值问题的数值解法:求初值问题的解在一系列节点的值 y ( xn )的近似值 yn 的方法.本章数值解法的特点:都是采用“步进 式”,即求解过程顺着节点排列的次序一步步向前推进. 常微分方程初值问题: dy f ( x, y ), x [a, b] dx y ( x0 ) y0
替 f (x , y)关于 y 满足Lipschitz条件. 除了要保证(1)有唯一解外,还需保证微分方程本身是稳定的,即 (1)的解连续依赖于初始值和函数 f (x , y). 也就是说, 当初始值 y0 及函数 f (x , y)有微小变化时, 只能引起解的微小变化.
注: 如无特别说明,总假设(1)的解存在唯一且足够光滑. 在 f 连续有界, 则 f (x , y)对变量 y 可微的情形下, 若偏导数 y 可取L为
也称折线法 x
2. 梯形法
若采用梯形公式计算(★)中的积分项,则有 h y ( xk 1 ) y ( xk ) [ f ( xk , y ( xk )) f ( xk 1 , y ( xk 1 ))] 2 h yk 1 yk [ f ( xk , yk ) f ( xk 1 , yk 1 )] 2 称之为梯形公式.这是一个隐式公式,通常用迭代法求解.具体做 法: (0) (0) 先用Euler法求出初值 yk ,1 即 ,将其代入梯形公式 yk 1 yk h f ( xk , yk ) 的右端,使之转化为显式公式,即 h ( l 1) (l ) yk 1 yk [ f ( xk , yk ) f ( xk 1 , yk (☆ ) 1 )] 2

微分方程数值解实验报告

微分方程数值解实验报告

微分方程数值解实验报告实验目的:掌握微分方程数值解的基本方法,能够利用计算机编程求解微分方程。

实验原理:微分方程是自然科学与工程技术中常见的数学模型,它描述了变量之间的关系及其随时间、空间的变化规律。

解微分方程是研究和应用微分方程的基础,但有很多微分方程无法找到解析解,只能通过数值方法进行求解。

本实验采用欧拉方法和改进的欧拉方法求解微分方程的初值问题:$$\begin{cases}\frac{dy}{dt}=f(t,y)\\y(t_0)=y_0\end{cases}$$其中,$f(t,y)$是给定的函数,$y(t_0)=y_0$是已知的初值条件。

欧拉方法是最基本的数值解法,其步骤如下:1.给定$t_0$和$y_0$2.计算$t_{i+1}=t_i+h$,其中$h$是步长3. 计算$y_{i+1}=y_i+hf(t_i,y_i)$4.重复步骤2、3直到达到终止条件改进的欧拉方法是对欧拉方法进行改进,通过利用函数$y(t)$在$t+\frac{1}{2}h$处的斜率来更准确地估计$y_{i+1}$,其步骤如下:1.给定$t_0$和$y_0$2.计算$t_{i+1}=t_i+h$,其中$h$是步长3. 计算$y_*=y_i+\frac{1}{2}hf(t_i,y_i)$4. 计算$y_{i+1}=y_i+hf(t_i+\frac{1}{2}h,y_*)$5.重复步骤2、3、4直到达到终止条件实验步骤:1.编写程序实现欧拉方法和改进的欧拉方法2.给定微分方程和初值条件3.设置步长和终止条件4.利用欧拉方法和改进的欧拉方法求解微分方程5.比较不同步长下的数值解与解析解的误差6.绘制误差-步长曲线,分析数值解的精度和收敛性实验结果:以一阶常微分方程$y'=3ty+t$为例,给定初值$y(0)=1$,取步长$h=0.1$进行数值求解。

利用欧拉方法求解微分方程得到的数值解如下:\begin{array}{cccc}t & y_{\text{exact}} & y_{\text{Euler}} & \text{误差} \\ \hline0.0&1.000&1.000&0.000\\0.1&1.035&1.030&0.005\\0.2&1.104&1.108&0.004\\0.3&1.212&1.217&0.005\\0.4&1.360&1.364&0.004\\0.5&1.554&1.559&0.005\\0.6&1.805&1.810&0.005\\0.7&2.131&2.136&0.005\\0.8&2.554&2.560&0.006\\0.9&3.102&3.107&0.006\\1.0&3.807&3.812&0.005\\\end{array}利用改进的欧拉方法求解微分方程得到的数值解如下:\begin{array}{cccc}t & y_{\text{exact}} & y_{\text{Improved Euler}} & \text{误差} \\\hline0.0&1.000&1.000&0.000\\0.1&1.035&1.035&0.000\\0.2&1.104&1.103&0.001\\0.3&1.212&1.211&0.001\\0.4&1.360&1.358&0.002\\0.5&1.554&1.552&0.002\\0.6&1.805&1.802&0.003\\0.7&2.131&2.126&0.005\\0.8&2.554&2.545&0.009\\0.9&3.102&3.086&0.015\\1.0&3.807&3.774&0.032\\\end{array}误差-步长曲线如下:实验结论:通过对比欧拉方法和改进的欧拉方法的数值解与解析解的误差,可以发现改进的欧拉方法具有更高的精度和收敛性。

随机微分方程的数值解

随机微分方程的数值解

随机微分方程的数值解
随机微分方程是一种描述随机过程的数学模型,它可以用来研究随机过程的性质和行为。

随机微分方程的数值解是指使用数值计算方法求解随机微分方程的解的过程。

随机微分方程的数值解可以通过数值积分方法、数值微分方法、数值积分变分方法等多种方法进行求解。

其中,数值积分方法和数值微分方法是最常用的方法,它们可以通过数值计算方法求解随机微分方程的解。

具体来说,数值积分方法可以通过求解随机微分方程的积分方程来得到随机微分方程的数值解。

例如,对于一个二维随机微分方程du/dt=a(du/dx+dv/dy)+b(dx^2+dy^2)u,可以使用数值积分方法求解其解。

具体的数值积分方法可以是欧拉法、龙格-库塔法、辛普森法等。

数值微分方法可以通过求解随机微分方程的微分方程来得到随机微分方程的数值解。

例如,对于一个二维随机微分方程du/dt=a(du/dx+dv/dy)+b(dx^2+dy^2)u,可以使用数值微分方法求解其解。

具体的数值微分方法可以是中心差分法、前向差分法、后向差分法等。

总之,随机微分方程的数值解可以通过数值积分方法和数值微分方法
等多种方法进行求解,具体的求解方法需要根据具体的问题和应用场景来选择。

求解微分方程的常用方法

求解微分方程的常用方法

求解微分方程的常用方法微分方程是数学的一个重要领域,在各个科学领域中都有着广泛的应用。

求解微分方程是解决实际问题的重要方法之一。

本文将介绍一些求解微分方程的常用方法。

一、解析解法解析解法是指用变量分离、母函数法、变量代换等方法,将微分方程转化为一些已知函数的方程,从而求得方程的解。

变量分离法是一种常见的解析解法。

对于形如y'=f(x)g(y)的微分方程,可以将其变为dy/g(y)=f(x)dx的形式,进而通过积分得到y的解。

母函数法是将微分方程变成一个恒等式的形式,从而求出微分方程的通解。

变量代换法则是通过适当的变量代换,使微分方程变为已知形式的微分方程,进而求出其解。

二、初值问题法初值问题法通常用于求解一阶微分方程的初值问题。

该方法的基本思路是先求得微分方程的通解,然后利用给定的初始条件(即初值),确定通解中的任意常数,从而得到特解。

三、数值解法数值解法是指将微分方程转化为一个差分方程,利用数值方法求得近似解。

数值解法的基本思路是将区间分为若干小段,然后在每一小段上通过近似计算求得微分方程的解。

常用的数值方法包括欧拉法、梯形法、龙格-库塔法等。

这些方法的特点是简单易实现,但对于复杂的微分方程而言,计算量较大,精度也有限。

四、级数解法级数解法是将微分方程的解表示为幂级数的形式,从而求解微分方程。

这种方法的思路是假设微分方程的解为幂级数的形式,然后代入微分方程得到一组关于幂级数系数的递推公式,进而求得幂级数的系数,并由此得出微分方程的解。

五、特殊函数解法特殊函数解法是指利用已知的特殊函数求解微分方程。

一些常见的特殊函数包括贝塞尔函数、连带勒让德函数、超几何函数等。

这些特殊函数有着特殊的性质,可以用于求解某些类型的微分方程。

例如,我们可以用贝塞尔函数求解振动问题中的一些微分方程。

六、变分法变分法是一种通过变分原理,求解微分方程的方法。

变分法需要通过变分原理,利用根据函数微小变化的变分量所对应的增量来导出微分方程的一些重要性质。

随机微分方程的数值模拟方法

随机微分方程的数值模拟方法

随机微分方程的数值模拟方法随机微分方程(Stochastic Differential Equations,简称SDEs)是描述包含随机项的微分方程。

它们在金融学、物理学和生物学等领域中广泛应用,尤其在随机模型建立和数值模拟方面有着重要的作用。

为了模拟和解决随机微分方程,研究者们开发了各种数值模拟方法。

这些方法的目标是通过离散化时间和空间来近似SDE的解,以获得数值解。

在本文中,我将介绍几种常用的数值模拟方法,包括欧拉方法、米尔斯坦方法和龙格-库塔方法。

我们将从简单的欧拉方法开始,逐渐深入探讨这些方法的优点和局限性。

1. 欧拉方法(Euler Method)欧拉方法是最简单和最直接的数值模拟方法之一。

它将区间分成若干小的子区间,然后使用差分逼近来计算每个子区间内的解。

欧拉方法的基本思想是将微分方程中的导数用差分代替,从而将微分方程转化为差分方程。

欧拉方法的数值格式如下:然而,欧拉方法的缺点在于其精度较低,特别是当时间步长较大时。

它也不能很好地处理某些随机微分方程的特殊情况。

2. 米尔斯坦方法(Milstein Method)米尔斯坦方法是对欧拉方法的改进,目的是提高精度。

它通过在欧拉方法的基础上添加额外的项来纠正误差,从而提高数值解的准确性。

米尔斯坦方法的数值格式如下:相比于欧拉方法,米尔斯坦方法在同样的时间步长下通常能够提供更准确的数值解。

然而,对于某些特殊的随机微分方程,米尔斯坦方法也可能存在一些问题。

3. 龙格-库塔方法(Runge-Kutta Method)龙格-库塔方法是一类更为复杂但精度更高的数值模拟方法。

它基于对SDE进行多次逼近来得到数值解,通常可以达到较高的准确性。

龙格-库塔方法的基本思想与常规微分方程的龙格-库塔方法类似,但在计算过程中需要额外考虑随机项的贡献。

相比于欧拉方法和米尔斯坦方法,龙格-库塔方法的数值格式更为复杂,但其准确性和稳定性更高。

总结和回顾:通过本文的介绍,我们对随机微分方程的数值模拟方法有了初步的了解。

随机常微分方程的龙格库塔解法

随机常微分方程的龙格库塔解法

随机常微分方程的龙格库塔解法
龙格库塔解法是一种用于解决随机常微分方程的常用方法。

它是一种把随机微分方程分解成非线性方程组的近似解法,通常可以用来解决系统的非线性演化方程,其中每个方程都有随机性。

它是一种被广泛应用于自然科学和工程领域的数值解法,它可以用来求解随机性较强的系统和不稳定性较强的系统的动力学行为。

龙格库塔解法的基本思想是将随机常微分方程拆分成一系列的近似子问题,从而使得系统的动力学行为可以精确的描述。

它通过将方程中的随机变量进行离散化,将复杂的随机微分方程转换为一系列的近似子问题,然后通过解决这些子问题来求解原始随机微分方程。

龙格库塔解法有一定的计算复杂度,但是它具有较高的精度,能够有效地描述系统的动力学行为。

它还具有较好的可扩展性,能够有效地解决复杂问题。

总之,龙格库塔解法是一种用于解决随机常微分方程的有效方法,它具有精度高,可扩展性好,计算复杂度低,并且广泛应用于许多研究领域的特点。

因此,它被认为是一种有效的数值解法,可以用来模拟复杂的系统,并得到准确的结果。

微分方程的常用数值解法

微分方程的常用数值解法

微分方程的常用数值解法摘要:微分方程是数学中的一种重要的方程类型,它能描述自然现象和工程问题中的许多变化规律。

但是大多数微分方程解法是无法用解析的方式求解的,因此需要借助数值解法来近似求解。

本文将介绍微分方程的常用数值解法。

关键词:欧拉方法;龙格-库塔方法;微分方程;常用数值解法一、微分方程数值解方法微分方程数值解法是数学中的重要部分。

欧拉方法、龙格-库塔方法和二阶龙格-库塔方法是常用的微分方程数值解法,下面就分别介绍这三种方法。

(一)欧拉方法欧拉方法是解初值问题的一种简单方法,它是欧拉用的第一种数值方法,也叫向前欧拉法。

欧拉方法是利用微分方程的定义式y’=f(x, y),将它带入微分方程初值问题y(x_0)=y_0中,以y_0为初始解,在每一步上通过沿着切线的方法进行估计并推进新的解y_{i+1}:y_i+1=y_i+hf(x_i,y_i)其中,x_i和y_i是我们知道的初始条件,h是求解过程中的步长,f是微分方程右端项。

它是一种时间迭代的算法,易于实现,但存在着精度不高的缺点。

(二)龙格-库塔方法龙格-库塔方法是一种经典迭代方法,也是近代微分方程数值解法发展的里程碑之一。

龙格-库塔方法的主要思想是利用规定的阶码及阶向量,通过递推求解微分方程数值解的近似值。

龙格-库塔方法的方式不同,其步骤如下:第一步:根据微分方程,计算出在x_i和y_i的值。

第二步:在x_i处对斜率进行估计,并利用这个斜率来求解下一步所需的y_i+1值。

第三步:使用x_i和y_i+1的值来重新估计斜率。

第四步:使用这个新的斜率来更新y_i+1的值。

(三)二阶龙格-库塔方法二阶龙格-库塔方法是龙格-库塔方法的一种变体,它根据龙格-库塔方法的思想,使用更好的步长来提高数值解的精度。

二阶龙格-库塔方法的基本思路是,在第一次迭代时使用一个阶段小一半的y_i+1,然后使用这个估算值来计算接下来的斜率。

通过这种方法,可以提高解的精度。

二阶龙格-库塔方法的步骤如下:第一步:计算出初始阶段的y_i+1值。

随机微分方程数值解稳定性研究综述

随机微分方程数值解稳定性研究综述

随机微分方程数值解稳定性研究综述作者:邓飞其莫浩艺来源:《南京信息工程大学学报(自然科学版)》2017年第03期摘要本文回顾了近年来随机微分方程数值方法的稳定性的研究成果.作为相关话题,收敛性问题也有所涉猎.以经典It型随机微分方程、中立型随机泛函微分方程、Markov跳随机微分方程和Poisson跳随机微分方程为代表,主要介绍了几类数值方法稳定性研究的成果.这些方法包括常见的 EulerMaruyama 方法、Backward EulerMaruyama方法、θ方法、分步方法等.文中分析了关于稳定性等价性定理经典论文的学术思路,提出了随机微分方程数值计算与仿真所面临的挑战及所要解决的问题.关键词随机微分方程;数值格式;稳定性;仿真中图分类号P393文献标志码A1华南理工大学自动化科学与工程学院,广州,5106402广东工业大学应用数学学院,广州,5100061典型数值方法及其收敛性由于大多数随机微分方程解析解的显式表达式都很难得到,快速高效的数值算法对于随机微分方程的应用显得格外重要.对于随机微分方程数值解的研究,大体来说可以分为两类:有限时间的收敛性和随着时间变量趋于无穷的渐近性.本节主要是对有限时间的收敛性的相关研究进行回顾.其中向量n=Yn+f(Yn)Δ+g(Yn)Δ.通过重复运用Taylor展式,对方程f和g展开的阶数越高,所获得格式的收敛阶数会越高,可以达到15阶或20阶,但其形式也更复杂,从而影响其广泛应用.请参见专著[1].针对不同模型和精度,格式的构造和分析有许多后续进展,取得了丰富的成果,这里不一一列举.例如,Liang等[4]研究了一类线性随机Volterra积分方程,在Lipschitz条件下,证明了EM方法是1阶强收敛的;Wang等[5]分析了带有加性噪声的半线性随机偏微分方程隐式Euler 方法的弱收敛性.在众多数值算法中,EM型算法由于结构简单、易于编程等特点受到很多学者的关注[69].它是所有随机微分方程数值算法里最简单的一种.经典的Euler型算法,即EM算法,是常微分方程的向前Euler算法的自然推广.上面提到,在全局Lipschitz条件下,经典的EM方法是强05阶收敛的,但是当漂移项或扩散项不满足全局Lipschitz条件时,EM方法将不收敛.Hutzenthaler等[10]对于这种不收敛性(发散性)给出了严格的证明.那么,针对非Lipschitz方程,各类格式是否也可用?精度又如何?为此,学者们开展了系列的探讨.例如,为了处理一类漂移项不满足全局Lipschitz条件的随机微分方程,特别是当漂移项满足多项式增长时,Hutzenthaler等[11]提出了具有05阶强收敛性的Tamed(驯服)Euler方法.简单来说,Tamed Euler方法在经典的EM算法基础上增加了对漂移项的控制,它的格式如下:同时,该文还利用类似的技巧提出了具有1阶强收敛性的Balanced Milstein方法.我们注意到,上述不同种类Euler型算法虽然结构不同,但是证明思路多是先证明数值解和解析解的p阶矩有界,然后再根据不同的算法格式证明强收敛性和收敛阶.这种证明思路或多或少借鉴了文献[7].在文献[7]中,作者给出了在已知Euler型数值解矩有界时推导收敛性和收敛速率的技巧.另一种利用数值解局部收敛性推导全局收敛性的技巧也非常重要.在全局Lipschitz条件以及Khasminskii条件下,数值解的全局误差可以由局部误差推导出的结论,可分别在文献[20]和文献[21]中找到.综上所述,当我们想构造显式的Euler型方法来数值逼近漂移项和扩散项不满足全局Lipschitz条件的随机微分方程时,采用的方法主要是在经典的EM方法基础上利用一些约束方式来控制漂移项和扩散项.一个很自然的问题是:以上这些理论上具有05阶(或者1阶)强收敛性的方法孰优孰劣?对于这个开放性问题,也许文献[22]中关于最优强收敛系数K1的讨论是一个思路.2数值方法的稳定性我们先来谈谈微分方程数值计算格式的稳定性的来源.微分方程的数值计算格式稳定性概念的提出源于计算数学领域对数值计算舍入误差传播问题的考虑.众所周知,由于计算工具限制等各种原因,在数值计算过程中,舍入误差在所难免,某一步计算的舍入误差一定会随计算格式带入往后各步,也就是说,舍入误差将向后传播.如果计算格式对该误差具有敏感性,则该误差将随格式进行传播,被累计、被放大,甚至产生蝴蝶效应.当年,费肯鲍姆就是因为运用数字计算格式时出现了初值误差而发现了混沌现象.如果格式对该误差不敏感,则该误差的影响将被逐渐消除,无积累效应,不被严重放大.即在一定条件下得到控制,从而被最终屏蔽.基于此考虑,在计算数学领域提出了微分方程数值计算格式的稳定性概念,用以描述计算格式对舍入误差的敏感性.如果一个格式对舍入误差敏感,则称格式不稳定;否则,称其稳定.所以,微分方程数值计算格式的稳定性,是一个定性概念.微分方程数值计算格式稳定,意味着计算格式可以自行消化舍入误差,不在传播中因累计而放大.最常见的数值计算格式稳定性概念是绝对稳定性,在此不赘述.本文所述计算格式稳定性概念与此相同.在系统与控制科学领域,我们同样需要考虑格式的收敛性(逼近度)和稳定性.我们的目的是:如何将计算格式用于系统仿真,并通过系统仿真分析(原)系统的稳定性.在随机系统数值计算方面,数值方法的收敛性和稳定性是学者们主要讨论的两大类内容.由于大部分随机系统的非线性性和耦合性,很难求出其解析解.所以通过离散化的数值方法来研究系统的稳定性是一种有效的途径,它是窥探系统内部结构和性态的一种手段.目前探讨的问题主要是:1)在一定条件下,比照连续模型与离散格式的稳定性,看看离散格式是否复制了连续模型的稳定性质;2)连续模型与离散格式的稳定性的逻辑互推.本文将主要讨论几类It随机微分方程数值方法的稳定性.数值方法的稳定性主要包括:矩意义下的渐近稳定、p阶矩指数稳定、几乎必然指数稳定、依概率稳定、A稳定等[2].其研究内容和方法要比确定型常微分系统丰富很多.下面,先介绍本文讨论的几大类稳定性定义,其中p>0.值得指出,对连续模型解的稳定性也有类似于上面的定义,只需要在上述定义中将数值解Xk换成解析解x(t),k→∞替换为t→∞即可.在这些稳定性定义中,p阶矩指数稳定可推出渐近稳定,而在文献中,一般同时关注几乎必然指数稳定与矩指数稳定性,但实际上它们之间并无必然联系,因此,都是分开单独推证得出相关结论.如果附加一定的条件,比如线性增长条件,则由p阶矩指数稳定可推出几乎必然指数稳定[2].一般而言,p阶矩指数稳定可以通过估计解的矩E|x(t,x0)|p来得到,这时需要借助某个适当的Lyapunov函数V(t,x)来估计EV (t,x(t)),因此Lyapunov方法是研究矩稳定的一个很有效的方法.与矩指数稳定性不同,几乎必然指数稳定是一种轨道稳定,它依赖于解的轨道估计,通常有下面三种方法可推出几乎必然指数稳定:1)由解的矩指数稳定,利用Chebyshev不等式推出解的几乎必然指数稳定;2)利用非负半鞅收敛定理,直接证明解的几乎必然指数稳定;3)通过指数鞅不等式和BorelCantelli引理证明解的几乎必然指数稳定.文献中,对随机微分方程数值解稳定性的研究,一般采用直接的推证方法,很少套用Lyapunov稳定性定理,但其中同样含有Lyapunov函数或者泛函的思想方法.下面,从模型推广与方法创新的角度,分别介绍几类It型随机微分方程数值方法稳定性研究所取得的进展.21中立型随机泛函微分方程经典的It随机微分方程(SDE)已经被许多学者研究[24,2630].随着科学技术的高速发展,实践中的许多领域,如生物工程、机械工程等都涉及到时间滞后的现象.由于时滞带的存在,系统状态的变化不仅与当前的时间状态相关,而且还与过去的历史状态有关.从而,诞生了描述这类系统的随机时滞微分方程:中提出,其意义是将确定中立型泛函微分方程推广到随机中立型泛函微分方程.后来,Mao[3233]分别讨论了中立型泛函型随机微分方程解析解的均方指数稳定性以及运用Razumikhin技术证明解的指数稳定性.其后,相关学者开展一系列出色的研究工作,如Liao等[34]研究了中立型随机时滞微分方程解析解的几乎必然指数稳定性;Luo等[35]为了克服文献[36]中要求函数满足线性增长条件和时滞为常数,提出局部Lipschitz条件,建立了相应的稳定性定理,证明了中立型时滞微分方程解析解的指数均方稳定性;如果随机θ方法满足假设1和假设2.那么,研究θ方法的p阶矩指数稳定性可以得到方程(27)解的p阶矩指数稳定性.这类结果揭示了:数值格式的稳定性与连续模型稳定性在逻辑上可以互推.因此,这是目前数值研究中不多见的一种研究思路,其进一步的研究,也相当具有挑战性.4对逼近度方法学术思路的分析从终极目标看,我们的研究目的是提供可靠的理论保障,使我们能从系统仿真结果推断系统的渐近性态,如稳定性.因此,需要先确定系统解析解与数值解稳定性可以从逻辑上互推的性质,提供严密的理论依据.显然,为实现这类互推,需要建立两种解之间的关联,否则,不可能存在互推.而这种关联,用逼近度描述正好合适,其原因在于:1)我们设计方程求解的数值格式,分析其逼近度是最主要的一项基础工作,对我们的需要来说,是顺手的事;2)符合互推稳定性的需要.所以,在毛学荣教授及其合作者的系列论文中,提出了这类假设,即数值格式具有高于零阶的逼近度,其实就是局部截断误差、收敛性[9596].当然,我们也注意到,这类假设直接涉及方程的解析解和数值解本身,而问题是:我们并不具体知道它们.正是因为方程难以求解,我们才借助数值计算与仿真.所以,其实这类条件本身是不能直接验证的.因此,需要采用其他条件对此予以保证,例如Lipschitz条件.在Mao[98]提出一般理论之前,以前的相关文献直接采用Lipschitz条件,高于零阶的逼近度是其自然推论.从这个角度来看,采用Lipschitz条件而不是采用逼近度的假设,更加符合研究结果的描述与验证.但是,如果有Lipschitz条件,则当然有了高于零阶的逼近度,所以,逼近度条件其实更弱.这里,为清晰和比较起见,我们不妨称逼近度方法所得结果为命题,而采用Lipschitz条件的结果为判据.5随机微分方程数值计算与仿真所面临的的挑战51关于等价性结论与数值仿真结果的意义与运用通过数值仿真真的可以确定系统解析解的稳定性吗?难!实际上,当我们在一定条件下建立了解析解与数值解之间的稳定性等价性定理,我们所得的是系统稳定性之间的等价性,是系统与系统之间的互推关系,是集合与集合之间的互推关系,而不是两个系统个别解之间的互推关系.原理上,我们的仿真一次只确定一个解的渐近性态,而一般地,基于一个解的渐近性态,例如就是指数渐近稳定性,我们还是不足以推断整个数值格式的稳定性,更不能推断关于解析解的任何性质,哪怕我们就是想推断一个解的性质,那也不能,因为没有依据.那么,我们如何从仿真结果确定数值格式以及原系统解析解系统的稳定性呢?首先,我们需要有等价性结论作基础;其次,我们需要确证数值格式稳定.在假设第一个问题已有结论的前提下,我们来看第二个问题,即确定数值格式稳定的难度.为讨论方便,我们先放下随机微分方程,回到确定型方程.简单说,这个问题其实就是差分格式通解的构成问题.如果差分格式的通解可以由若干互不相关的特解构成,例如就是线性组合,而我们又能确定若干互不相关的特解的渐近性态,那问题就解决了.所以,如果我们的格式是n阶常系数线性差分格式,则需要n个互不相关的特解的渐近性态,也就是说:我们需要n个初值线性无关的特解的仿真结果.当然,如果n=1,一个仿真结果就够了.但是,如果方程再略微复杂,则难以有如此明确的结论,问题的难度也陡增.例如,如果我们的格式是非线性格式、随机格式,因为一般不存在关于通解构成的基础理论,我们就不完全知道需要用多少个特解来确定通解(即便是存在所谓的通解).因此,也就不知道需要用多少个仿真来确定格式的稳定性.我们认为:可以用多少个、用什么样的仿真结果确定数值格式的稳定性从而可以推断原系统解析解的稳定性是一个具有挑战性的问题.52面向渐近稳定性的等价性结论因为推导的需要,目前的等价性结论都是面向指数稳定性的.但是,实际上,数字计算与仿真提供的是具有直观属性的数字与图形.一般地,从一个仿真结果很难看出一个数值解是否真的就是指数稳定,只能看出是否是渐近稳定.只有面向渐近稳定性的等价性结论才有实用价值.因此,我们需要建立面向渐近稳定性的等价性结论,而这,其论证难度陡增,也是今后可以考虑但具有相当难度的一个挑战课题.结束语与致谢:由于时间、篇幅和水平所限,本文所综述的工作只是相关工作中的一点点,难免挂一漏万,敬请谅解.在本文写作过程中,吴付科教授、宋明辉教授、宗小峰博士、刘暐博士、付余老师、杨慧子博士及赵桂华老师等给予了大力指导、支持与协助.在此,向为本文写作给予了支持的所有师生表示衷心的感谢.参考文献References[1]Kloeden P E,Platen E.Numerical solution of stochastic differential equations[M].Springer Verlag Berlin,Germany Google Scholar,1992[2]Mao X.Stochastic differential equations and applications[M].Elsevier,2007[3]Kloeden P E,Platen E.Higherorder implicit strong numerical schemes for stochastic differential equations[J].Journal of Statistical Physics,1992,66(1/2):283314[4]Liang H,Yang Z,Gao J.Strong superconvergence of the EulerMaruyama method for linear stochastic Volterra integral equations[J].Journal of Computational and Applied Mathematics,2017,317:447457[5]Wang X,Gan S.Weak convergence analysis of the linear implicit euler method for semilinear stochastic partial differential equations with additive noise[J].Journal of Mathematical Analysis and Applications,2013,398(1):151169[6]Higham D J.Stochastic ordinary differential equations in applied and computational mathematics[J].IMA Journal of Applied Mathematics,2011,76:449474[7]Higham D J,Mao X,Stuart A M.Strong convergence of Eulertype methods for nonlinear stochastic differential equations[J].SIAM Journal on Numerical Analysis,2002,40(3):10411063[8]Yu Z.Almost sure and mean square exponential stability of numerical solutions for neutral stochastic functional differential equations[J].International Journal of Computer Mathematics,2015,92(1):132150[9]Pang S,Deng F,Mao X.Almost sure and moment exponential stability of EulerMaruyama discretizations for hybrid stochastic differential equations[J].Journal of Computational and Applied Mathematics,2008,213(1):127141[10]Hutzenthaler M,Jentzen A,Kloeden P E.Strong and weak divergence in finite time of Eulers method for stochastic differential equations with nonglobally lipschitz continuous coefficients[J].Proceedings of the Royal Society A Mathematical,Physical and Engineering Sciences,2009,467(2130):15631576[11]Hutzenthaler M,Jentzen A,Kloeden P E.Strong convergence of an explicit numerical method for SDEs with nonglobally lipschitz continuous coefficients[J].The Annals of Applied Probability,2012:16111641[12]Hutzenthaler M,Jentzen A.Numerical approximations of stochastic differential equations with nonglobally Lipschitz continuous coefficients[M].American Mathematical Society,2015[13]Wang X,Gan S.The tamed Milstein method for commutative stochastic differential equations with nonglobally Lipschitz continuous coefficients[J].Journal of Difference Equations and Applications,2013,19(3):466490[14]Zong X,Wu F,Huang C.Convergence and stability of the semitamed Euler scheme for stochastic differential equations with nonLipschitz continuous coefficients[J].Applied Mathematics and Computation,2014,228:240250[15]Mao X.The truncated EulerMaruyama method for stochastic differential equations[J].Journal of Computational and Applied Mathematics,2015,290:370384[16]Mao X.Convergence rates of the truncated EulerMaruyama method for stochastic differential equations[J].Journal of Computational and Applied Mathematics,2016,296:362375[17]Guo Q,Liu W,Mao X,et al.The partially trumcated EulerMaruyama method and its stability and bounded ness[J].Applied Numerical Mathematics,2017,115:235251[18]Guo Q,Liu W,Mao X,et al.The truncated milstein method for stochastic differential equations[J].arXiv:1704.04135[math.NA],2017[19]Zhang Z,Ma H.Orderpreserving strong schemes for SDEs with locally Lipschitz coefficients[J].Applied Numerical Mathematics,2017,112:116[20]Milstein G N,Tretyakov M V.Stochastic numerics for mathematical physics[M].Springer Science & Business Media,2013[21]Tretyakov M V,Zhang Z.A fundamental meansquare convergence theorem for SDEs with locally Lipschitz coefficients and its applications[J].SIAM Journal on Numerical Analysis,2013,51(6):31353162[22]MüllerGronbach T.The optimal uniform approximation of systems of stochastic differential equations[J].The Annals of Applied Probability,2002,12(2):664690[23]Wang W,Chen Y.Meansquare stability of semiimplicit Euler method for nonlinear neutral stochastic delay differential equations[J].Applied Numerical Mathematics,2011,61(5):696701[24]Zong X,Wu F,Choice of θ and meansquare ex ponential stability in the stochastic theta method of stochastic differential equations[J].Journal of Computational and Applied Mathematics,2014,255:837847[25]Zhou S,Xie S,Fang Z.Almost sure exponential stability of the backward EulerMaruyama discretization for highly nonlinear stochastic functional differential equation[J].Applied Mathematics and Computation,2014,236:150160[26]Zong X,Wu F,Huang C.Preserving exponential mean square stability and decay rates in two classes of theta approximations of stochastic differential equations[J].Journal of Difference Equations and Applications,2014,20(7):10911111[27]Huang C.Exponential mean square stability of numerical methods for systems of stochastic differential equations[J].Journal of Computational and Applied Mathematics,2012,236(16):40164026[28]王小捷.随机微分方程数值算法研究[D].长沙:中南大学,2012WANG Xiaojie.Numerical study of stochastic differential equations[D].Changsha:Central South University,2012[29]李燕.随机系统的稳定性与数值策略的研究[D].武汉:华中科技大学,2014LI Yan.Research on stability and numerical strategy of stochastic systems[D].Wuhan:Huazhong University of Science and Technology,2014[30]王冠军.几类随机非线性系统的动力学分析[D].南京:东南大学,2009WANG Guanjun.Dynamical analysis for several classes of stochastic nonlinearsystems[D].Nanjing:Southeast University,2016[31]Kolmanovsky V,Nosov V.Stability of neutraltype functional differentialequations[J].Nonlinear Analysis:Theory,Methods & Applications,1982,6(9):873910[32]Mao X.Exponential stability in mean square of neutral stochastic differential functional equations[J].Systems & Control Letters,1995,26(4):245251[33]Mao X.Razumikhintype theorems on exponential stability of neutral stochastic differential equations[J].SIAM Journal on Mathematical Analysis,1997,28(2):389401[34]Liao X,Mao X.Almost sure exponential stability of neutral stochastic differential difference equations[J].Journal of Mathematical Analysis and Applications,1997,212(2):554570[35]Luo Q,Mao X,Shen Y.New criteria on exponential stability of neutral stochastic differential delay equations[J].Systems & Control Letters,2006,55(10):826834[36]Mao X.Asymptotic properties of neutral stochastic differential delayequations[J].Stochastics:An International Journal of Probability and Stochastic Processes,2000,68(3/4):273295[37]胡荣.中立型随机泛函微分方程解的渐近性质[D].武汉:华中科技大学,2009HU Rong.Asymptotic properties of solutions of neutral stochastic functional differential equations[D].Wuhan:Huazhong University of Science and Technology,2009[38]Huang C.Mean square stability and dissipativity of two classes of theta methods for systems of stochastic delay differential equations[J].Journal of Computational and Applied Mathematics,2014,259:7786[39]Liu L,Zhu Q.Mean square stability of two classes of theta method for neutral stochastic differential delay equations[J].Journal of Computational and Applied Mathematics,2016,305:5567[40]Zong X,Wu F,Huang C.Exponential mean square stability of the theta approximations for neutral stochastic differential delay equations[J].Journal of Computational and Applied Mathematics,2015,286:172185[41]Zhou S.Exponential stability of numerical solution to neutral stochastic functional differential equation[J].Applied Mathematics and Computation,2015,266:441461[42]Zhou S,Hu C.Numerical approximation of stochastic differential delay equation with coefficients of polynomial growth[J].Calcolo,2016:122[43]李启勇.几类随机延迟微分方程数值方法的稳定性分析[D].长沙:中南大学,2012LI Qiyong.Stability analysis of numerical methods for several classes of stochastic delay differential equations[D].Changsha:Central South Unirersity,2012[44]马强.几类随机微分方程的保结构数值方法[D].哈尔滨:哈尔滨工业大学,2012MA Qiang.Structurepreserving numerical methods for several classes of stochastic differential equations[D].Harbin:Harbin Institute of Technology,2012[45]吴瑞华.几类随机种群模型渐近性质的研究[D].哈尔滨:哈尔滨工业大学,2014WU Ruihua.Research on asymptotic properties of several stochastic populationsystems[D].Harbin:Harbin Institute of Technology,2014[46]Yu Z,Liu M.Almost surely asymptotic stability of numerical solutions for neutral stochastic delay differential equations[J].Discrete Dynamics in Nature and Society,2011,Doi:10.1155/2011/217672[47]Yu Z.The improved stability analysis of the backward Euler method for neutral stochastic delay differential equations[J].International Journal of Computer Mathematics,2013,90(7):14891494[48]Zong X,Wu F.Exponential stability of the exact and numerical solutions for neutral stochastic delay differential equations[J].Applied Mathematical Modelling,2016,40(1):1930[49]Wu F,Mao X.Numerical solutions of neutral stochastic functional differentialequations[J].SIAM Journal on Numerical Analysis,2008,46(4):18211841[50]Wu F,Hu S,Huang C.Robustness of general decay stability of nonlinear neutral stochastic functional differential equations with infinite delay[J].Systems & Control Letters,2010,59(3):195202[51]Jankovic S,Jovanovic M.The pth moment exponential stability of neutral stochastic functional differential equations[J].Filomat,2006,20(1):5972[52]Kats I I,Krasovskii N.On the stability of systems with random parameters[J].Journal of Applied Mathematics and Mechanics,1960,24(5):12251246[53]Krasovskii N,Lidskii E.Analytical design of controllers in systems with random attributes[J].Automation and Remote Control,1961,22(1/2/3):10211025[54]Milshtein G N,Repin Y M.The action of a Markov process on a system of differential equations[J].Differentsialnye Uravneniya,1969,5(8):13711384[55]Yuan C,Mao X.Convergence of the EulerMaruyama method for stochastic differential equations with Markovian switching[J].Mathematics and Computers in Simulation,2004,64(2):223235[56]Wang L,Xue H.Convergence of numerical solutions to stochastic differential delay equations with Poisson jump and Markovian switching[J].Applied Mathematics and Computation,2007,188(2):11611172[57]王振东.基于可控马尔科夫链的跳跃系统控制问题研究[D].合肥:中国科学技术大学,2014WANG Zhendong.Control of Markovian jump systems with controllable Markovchain[D].Hefei:University of Science and Technology of China,2014[58]Li R,Meng H,Dai Y.Convergence of numerical solutions to stochastic delay differential equations with jumps[J].Applied Mathematics and Computation,2006,172(1):584602[59]Mao X,Yuan C,Yin G.Numerical method for stationary distribution of stochastic differential equations with Markovian switching[J].Journal of Computational and Applied Mathematics,2005,174(1):127[60]Mao X,Shen Y,Yuan C.Almost surely asymptotic stability of neutral stochastic differential delay equations with Markovian switching[J].Stochastic Processes and their Applications,2008,118(8):13851406[61]Zhou S,Wu F.Convergence of numerical solutions to neutral stochastic delay differential equations with Markovian switching[J].Journal of Computational and Applied Mathematics,2009,229(1):8596[62]Mao X.Stability of stochastic differential equations with Markovian switching[J].Stochastic Processes and Their Applications,1999,79(1):4567[63]Mao X,Yuan C.Stochastic differential equations with Markovian switching[M].World Scientific,2006[64]Higham D J,Mao X,Yuan C.Preserving exponential meansquare stability in the simulation of hybrid stochastic differential equations[J].Numerische Mathematik,2007,108(2):295325[65]Mao X,Shen Y,Gray A.Almost sure exponential stability of backward EulerMaruyama discretizations for hybrid stochastic differential equations[J].Journal of Computational and Applied Mathematics,2011,235(5):12131226[66]Mao X,Szpruch L.Strong convergence rates for backward EulerMaruyama method for nonlinear dissipativetype stochastic differential equations with superlinear diffusioncoeffcients[J].Stochastics:An International Journal of Probability and Stochastic Processes,2013,85(1):144171[67]Higham D J,Kloeden P E.Strong convergence rates for backward Euler on a class of nonlinear jumpdiffusion problems[J].Journal of Computational and Applied Mathematics,2007,205(2):949956[68]Wang X,Gan S.The improved splitstep backward Euler method for stochastic differential delay equations[J].International Journal of Computer Mathematics,2011,88(11):23592378[69]Mao X,Yuan C,Yin G.Approximations of EulerMaruyama type for stochastic differential equations with Markovian switching,under nonlipschitz conditions[J].Journal of Computational and Applied Mathematics,2007,205(2):936948[70]Li R,Meng H,Chang Q.Exponential stability of numerical solutions to SDDEs with Markovian switching[J].Applied Mathematics and Computation,2006,174(2):13021313[71]Mao X,Matasov A,Piunovskiy A B,et al.Stochastic differential delay equations with Markovian switching[J].Bernoulli,2000,6(1):7390[72]Higham D J,Kloeden P E.Numerical methods for nonlinear stochastic differential equations with jumps[J].Numerische Mathematik,2005,101(1):101119[73]Higham D J,Kloeden P E.Convergence and stability of implicit methods for jumpdiffusion systems[J].International Journal of Numerical Analysis and Modeling,2006,3(2):125140[74]Song M,Yang H,Liu M,et al.Strong convergence of the tamed Euler method for stochastic differential equations with piecewise continuous arguments and Poisson jumps under nonglobally Lipschitz continuous coefficients[J].Filomat,accepted[75]Wang L,Mei C,Xue H.The semiimplicit Euler method for stochastic differential delay equation with jumps[J].Applied Mathematics and Computation,2007,192(2):567578[76]Chalmers G D,Higham D J.Convergence and stability analysis for implicit simulations of stochastic differential equations with random jump magnitudes[J].Discrete and Continuous Dynamical Systems Series B,2008,9(1):4764[77]赵桂华.几类带跳随机微分方程数值解的收敛性和稳定性[D].哈尔滨:哈尔滨工业大学,2009ZHAO Guihua.Convergence and stability of numerical solutions for several classes of stochastic differential equations with jumps[D].Harbin:Harbin Institute of Technology,2009[78]Fu Y,Zhao W,Zhou T.Multistep schemes for forward backward stochastic differential equations with jumps[J].Journal of Scientific Computing,2016,69(2):651672[79]Wang X,Gan pensated stochastic theta methods for stochastic differential equations with jumps[J].Applied Numerical Mathematics,2010,60(9):877887[80]Hu L,Gan S.Convergence and stability of the balanced methods for stochastic differential equations with jumps[J].International Journal of Computer Mathematics,2011,88(10):2089 2108[81]Li Q,Gan S.Almost sure exponential stability of numerical solutions for stochastic delay differential equations with jumps[J].Journal of Applied Mathematics and Computing,2011,37(1/2):541557[82]Wu F,Mao X,Szpruch L.Almost sure exponential stability of numerical solutions for stochastic delay differential equations[J].Numerische Mathematik,2010,115(4):681697[83]Tan J,Wang H.Meansquare stability of the EulerMaruyama method for stochastic differential delay equations with jumps[J].International Journal of Computer Mathematics,2011,88(2):421429[84]Li Q,Gan S,Wang pensated stochastic theta methods for stochastic differential delay equations with jumps[J].International Journal of Computer Mathematics,2013,90(5):10571071[85]Jacob N,Wang Y,Yuan C.Stochastic differential delay equations with jumps,under nonlinear growth condition[J].Stochastics:An International Journal of Probability and Stochastics Processes,2009,81(6):571588[86]Jacob N,Wang Y,Yuan C.Numerical solutions of stochastic differential delay equations with jumps[J].Stochastic Analysis and Applications,2009,27(4):825853[87]Tan J,Wang H,Guo Y.Existence and uniqueness of solutions to neutral stochastic functional differential equations with Poisson jumps[J].Abstract and Applied Analysis,2012(3):509512[88]Liu D,Yang G,Zhang W.The stability of neutral stochastic delay differential equations with Poisson jumps by fixed points[J].Journal of Computational and Applied Mathematics,2011,235(10):31153120[89]Tan J,Wang H,Guo Y,et al.Numerical solutions to neutral stochastic delay differential equations with Poisson jumps under local Lipschitz condition[J].Mathematical Problems in Engineering,2014(1):111[90]胡琳.几类带泊松跳随机微分方程数值方法的收敛性与稳定性[D].长沙:中南大学,2012HU Lin.Convergence and stability of numerical methods several classes of stochastic differential equations with Poissondriven jumps[D].Changsha:Central South University,2012[91]Mo H,Zhao X,Deng F.Exponential meansquare stability of the θmethod for neutral stochastic delay differential equations with jumps[J].International Journal of Systems Science,2017,48(3):462470[92]Song M,Yang H,Liu M.Convergence and stability of impulsive stochastic differential equations[J].International Journal of Computer Mathematics,2016:19[93]宗小峰.随机微分方程的数值分析及随机稳定化[D].武汉:华中科技大学,2014ZONG Xiaofeng.Numerical analysis of stochastic differential equations and stochastic stabilization[D].Wuhan:Huazhong University of Science and Technology,2014[94]Fu Y,Zhao W.An explicit secondorder numerical scheme to solve decoupled forward backward stochastic equations[J].East Asian Journal on Applied Mathematics,2014,4(4):368385[95]Higham D J,Mao X,Stuart A M.Exponential meansquare stability of numerical solutions to stochastic differential equations[J].LMS Journal of Computation and Mathematics,2003,6:297313[96]Mao X.,Exponential stability of equidistant EulerMaruyama approximations of stochastic differential delay equations[J].Journal of Computational and Applied Mathematics,2007,200(1):297316[97]Miloevic′ M.The EulerMaruyama approximation of solutions to stochastic differential equations with piecewise constant arguments[J].Journal of Computational and Applied Mathematics,2016,298:112[98]Mao X.Almost sure exponential stability in the numerical simulation of stochastic differential equations[J].SIAM Journal on Numerical Analysis,2015,53(1):370389AbstractIn this paper,a survey is given for the investigation on the stability of numerical schemes of stochastic differential equations in the past years.As a related topic,the convergence of the schemes is involved.The paper introduces the achieved results by literatures for the classical It stochastic differential equations,stochastic functional differential equations of the neutral type, and the stochastic differential equations with Markov or Poisson jumps.The involved numerical schemes include the EulerMaruyama scheme,the Backward EulerMaruyama scheme,the θ scheme,and the splitstep scheme,etc.The paper analyzes the academic thoughts in some classical literatures on the stability equivalence theorems and proposes some problems and challenges for further investigations on the numerical computations and simulations of stochastic differential equations at the end of the paper.Key wordsstochastic differential equations;numerical schemes;stability;simulations。

随机微分方程(stochastic differential equation,sde)

随机微分方程(stochastic differential equation,sde)

随机微分方程(stochastic differential equation,sde) 1. 引言1.1 概述随机微分方程(Stochastic Differential Equation,SDE)是一类描述随机现象的微分方程。

相比于传统的确定性微分方程,SDE中包含了一个或多个随机项,能够更准确地描述现实世界中的不确定性和变动性。

SDE在各个领域中广泛应用,特别是金融学、物理学和生物学等领域。

1.2 文章结构本文将从以下几个方面介绍随机微分方程及其应用:定义与基本概念、解随机微分方程的方法与技巧,以及在实际问题中的应用。

具体可以分为三个主要部分:引言、主体内容和结论展望。

1.3 目的本文旨在介绍随机微分方程的基本概念、解法和应用,并探讨其在金融学、物理学和生物学等领域中的实际应用。

通过对随机微分方程的深入了解,读者可以更好地理解和利用该方法来解决实际问题,并对未来研究提出展望。

以上为“1. 引言”部分的内容。

2. 随机微分方程的定义与基本概念2.1 随机过程简介随机过程是一类描述随着时间推移而随机变化的数学模型。

它可以看作是时间参数上的一族随机变量的集合。

随机过程常用于描述具有随机性质的现象,如金融市场中的股票价格、天气预报中的温度变化等。

2.2 随机微分方程的定义随机微分方程是一类描述含有随机项(通常为噪声)的微分方程。

它通常采用以下形式表示:dX(t) = a(X(t), t)dt + b(X(t), t)dW(t)其中,X(t)是未知函数,a(X(t), t)和b(X(t), t)是已知函数,dW(t)表示Wiener 过程(也称为布朗运动或白噪声)。

这个方程表示了X在无穷小时间段dt内发生微小变化dX(t),其中包含一个确定性项a(X(t), t)dt和一个随机项b(X(t), t)dW(t)。

2.3 常见的随机微分方程模型在实际应用中,有许多不同类型的随机微分方程模型被广泛使用。

- Ornstein-Uhlenbeck 过程:该模型描述了维持平衡状态的粒子在受到随机扰动时的演化过程。

微分方程数值解

微分方程数值解

第四章 微分方程数值解4.1 算 法当常微分方程能解析求解时,可利用Matlab 符号工具箱中的功能找到精确解. 见下例求解方程20y y y '''++=. 键入:syms x y %定义符号变量 diff_equ= ‘D2y+2*Dy -y=0’; %D2y 表示,y ''Dy=y 'y=dsolve (diff_equ, ‘x’)%定义x 为自变量y=cl*exp ((2^(1/2)-1)*x+c2*exp (-(2^(1/2)+1)*x) %表达式中含c1与c2,表示通解.%初始条件为y (0)=0,y '(0)=1时,按如下方式调用y=dsolve (diff_equ, ‘y (0)=0’, ‘Dy (0)=1’, ‘x’)y=1/4*2^(1/2)*exp ((2^(1/2)-1)*x)— 1/4*2^(1/2)*exp (-(2^(1/2)+1)*x) %画出函数y=y (x)的图形ezplot (y,[-2,2])图形具体形式请上机试之.在方程无法获得解析解的情况下,可方便地获得数值解. 下面的例子说明用Matlab 求数值解的方法及应注意的问题.[例1] 求解范德堡(vander pol )方程222(1)0d x dx x x dt dtμ--+=求解高阶方程,必须等价地变换为一阶微分方程组,对本例,通过定义两个新的变量,实现这一变换1,2/y x y dx dt ==则令 1/2dy dt y =22/(11)*21dy dt y y y μ=--编写求解程序分为两部分,第一部分为待求解的方程,存盘的文件名为<待求解方程的函数名.m >,第二部分为求解主程序,本例中取名为main1.m.首先编写待求解方程的M -文件. 文件存盘名为“vdpol.m ”. function yprime=vdpol (,)t y yprime (1)=y (2);mu=2yprime (2)=mu*(1(1)^2)*(2)(1)y y y --;yprime=[yprime (1);yprime (2)];说明 函数yprime=vdpol (,)t y 中. 定义t 为自变量,y 的形式取决于求解方程的阶数,本例中,[(1),(2)],(1)y y y y =为解向量,(2)y 为导数向量. yprime (1)(1)y '=, yprime (2)(1)y ''=,函数返回vander pol 方程的导数列向量. 因为所求结果为方程数值解,所以各向量维数只有在主程序求解时定下精度后才能确定.主程序定名为main1.m ,你可用你所喜欢的其它名子,但vdpol.m 除外. clear functions%调试程序时,放置这一语句是必要的. 它清除前边已编译的存在于内存中的废弃程序 [,t y ]=ode23 (‘vdpol’,[0,30],[1,0]); y1=y (:,1); %解曲线. y2=y (:,2); %解曲线的导数. polt (,1,,2,t y t y ‘_ _’)说明 龙格_库塔的2阶与4阶改进型求解公式的实现,其指令分别为: [,t x ]=ode23 (‘f ’,,0,ts x options) [,t x ]=ode45 (‘f ’,,0,ts x options)其中ts 可由系统依据精度要求自动设定,亦可由使用者依据实际需要自己确定,分别说明之. (1)若令[0,1,,]ts t t tf =,则输出在指定时刻0,1,,t t tf 给出,当0::ts t k tf =时,输出在区间[0,]t tf 的等分点上给出,k 为步长.(2)若[0,],0ts t tf t =为自变量初值,tf 为终值,此时,options 决定自变量t 的维数,t 中的时间点不是等间隔的,这是为了保证所需的相对精度,积分算法改变了步长. 用于设定误差限的参数options 可缺省,此时系统设定相对误差为310-,绝对误差为610-,若自行设定误差限,可用如下语句: options=odeset (‘reltol’,rt , ‘abstol’,at ) 这里的rt 与at 分别为设定的相对与绝对误差.须注意的是无论用哪种方法确定t 的取值方式,0,t tf 必须由使用者确定且应与0x 相匹配. 0x 为初始条件,本例中0[1,0]y =,因为[0,30]ts =,这意味着解曲线(0)1y =,(0)0y '=,一般说,当解n 个未知函数的方程组时,0x 为n 维向量,共含有n 个初始条件.两个输出参数是列向量t 与矩阵x ,它们具有相同的行数,而矩阵x 的列数等于方程组的个数,本例中y 的列数为2,其中,(:,1)y 为自变量t 上各点函数值,(:,2)y 为t 上各点导数值.最后,提请读者注意的是:ode45也不总是比ode23好,在很多时候,低阶算法更有效,有关微分方程数值解法的更进一步信息,请参考数值分析方面的书籍. 有些参考书提供了一些关于算法选择和如何处理那些时间常数变化范围大的病态方程的非常实用的算法.4.2 欧拉与龙格-库塔方法设有一阶方程与初始条件0(,)()y f x y y x y '=⎧⎨=⎩ (4.1) 其中(,)f x y 适当光滑,关于y 满足Lipschitz 条件,即存在L 使1212(,)(,)f x y f x y L y y -≤-则(4.1)式的解存在且惟一.关于()y y x =的解析解一般难以求到或根本无解析解,因而,实际问题中,通常,采用差分的方法. 在一系列离散点12n x x x <<<<上寻求其数值近似解12,,,,n y y y .相邻两个节点间的间距1n n n h x x +=-称为步长,一般地取等步长h ,则0,1,2,n x x nh n =+=1、欧拉方法在区间1[,]n n x x +上用差商1()()n n y x y x h+-代替(4.1)式中y ',对(,)f x y 中x 在1[,]n n x x +上取值n x 还是1n x +,而形成向前欧拉公式与向后欧拉公式.(1)向前欧拉公式(,)f x y 取左端点n x ,得如下公式1()()(,())n n n n y x y x hf x y x +≈+ (4.2)从0x 点出发,由初值00()y x y =代入(4.2)求得1000(,)y y hf x y =+ (4.3)反复利用(4.2),有1(,) 0,1,2,n n n n y y hf x y n +=+= (4.4)其几何意义如图4.1所示.图中()y y x =为方程(4.1)的精确 解曲线,其上任意点(,)x y 处切线斜率为(,)f x y . 从初值000(,)P x y 点出发,用该点斜率00(,)f x y 作一直线段,在1x x = 处得到111(,)P x y ,1y 由(4.2)式确定, 再从111(,)P x y 出发,以11(,)f x y 为斜率 作直线段,在2x x =处得到222(,)P x y ,y0yO0x 误差4x1x 2x 3x x()y y x =3()y x32()y y x - 0P1P2P3P 4P3y这一过程继续下去,形成折线012P PP ,作为积分曲线()y y x =的近似,用1()n y x + 图4.1 表示在1n x +处的精确值,1n y +为解的近似值,不难得到23211()()()()2n n n h y x y y x O h O h ++''-=+=这一误差称为局部截断误差. 若一种算法局部截断误差为1()P O h +,则称该算法具有P 阶精度,所以向前欧拉公式具有1阶精度.(2)向后欧拉公式若(,)f x y 中x 取1[,]n n x x +中的1n x +,则有如下公式:111(,) 0,1,2,n n n n y y hf x y n +++=+= (4.5)称式(4.5)为向后欧拉公式,因为此式中1n y +未知,故称其为隐式公式,无法用其直接计算1n y +,一般用向前欧拉公式产生初值.(0)11(,) 0,1,2,n n n n y y hf x y n ++=+=再按下式迭代(1)()111(,),0,1,,0,1,k k n n n n y y hf x y k n ++++=+==其误差估计如下23211()()()()2n n n h y x y y x o h o h ++''-=+=精度亦为1阶,将向前欧拉公式(4.4)与向后欧拉公式(4.5)及它们的误差的几何说明作一对比,是十分有益的,见图4.2. 为讨论局部截断误差,在图4.2中设点 (,)n n n P x y 落在积分曲线()y y x =上,按式 (4.4)及式(4.5)分别得1n P +点为A 与B , 且,A B 点一定在积分曲线()y y x =上相应 点θ的上、下两边,所以将式(4.4)与(4.5) 平均之,一定能得到更好的结果. (3)梯形公式 将向前与向后欧拉公式加以平均得到所 图4.2谓梯形公式111[(,)(,)] 0,1,2,2n n n n n n hy y f x y f x y n +++=++= (4.6)其局部截断误差为3()O h ,具有2阶精度.(4)改进的欧拉公式为使计算简单,又免去迭代的繁复,将公式(4.6)简化为两步1(,)n n n n y y hf x y +=+x 1n x +n x y()y y x =n PAθB111[(,)(,)], 0,1,2,2n n n n n n hy y f x y f x y n +++=++= (4.7)或写为1121211()2(,)(,)n n n n n n h y y k k k f x y k f x y hk ++⎧=++⎪⎪=⎨⎪=+⎪⎩0,1,2,n= (4.8)最后指出,上述欧拉方法可推广至微分方程组,如0000(,,)(,,)()()y f x y z z g x y z y x y z x z '=⎧⎪'=⎪⎨=⎪⎪=⎩ 向前欧拉公式为11(,,)(,,)n n n n n n n n n n y y hf x y z z z hg x y z ++=+⎧⎨=+⎩ 0,1,2,n=2、龙格_库塔方法 由微分中值定理1[()()]/(),01n n n y x y x h y x h θθ+'-=+<<又因为(,)y f x y '=,所以()(,())n n n y x h f x h y x h θθθ'+=++从而有1()()(),()n n n n y x y x hf x h y x h θθ+=+++ (4.9)令(,())n n k f x h y x h θθ=++,称其为区间1[,]n n x x +上的平均斜率,由(4.9)可知,给出一种平均斜率,可相应导出一种算法. 向前欧拉公式中(,)n n k f x y =,精度低. 改进欧拉公式中取111((,)(,))2n n n n k f x y f x y ++=+,精度提高,下面,我们在区间1[,]n n x x +内多取几个点,将其斜率加权平均,就能构造出精度更高的计算公式,公式的推导不再具体给出,只开列具体结果. (1)2阶龙格_库塔公式11122121()(,)(,),0,1n n n n n n y y h k k k f x y k f x ah y hk a λλββ+=++⎧⎪=⎨⎪=++<<⎩ (4.10) 其中12211,,12a aβλλλ+===,由于4个未知数只有3个方程,所以解不惟一,若令121,12a λλβ+===,即得改进的欧拉公式,具有2阶精度.(3)4阶龙格_库塔公式 只给出精典格式中最常用的一种.112341213243(22)6(,)(,)22(,)22(,)n n n n n n n n n n h y y k k k k k f x y h h k f x y k h h k f x y k k f x h y hk +⎧=++++⎪⎪=⎪⎪⎪=++⎨⎪⎪=++⎪⎪=++⎪⎩ (4.11) 其计算精度为4阶4.3 模型与实验1、模型与问题 [例2] 单摆运动图4.3中一根长l 的细线,一端固定,另一端悬挂质量为m 的小球,在重力作用下,小球处于竖直的平衡位置. 现使小球偏离平衡位置一个小的角度θ,然后使其自由运动,在不考虑空气阻力情形下,小球将沿弧线作周期一定的简谐运动. 0θ=为平衡位置,在小球摆动过程中,当与平衡位置夹 角为θ时,小球所受重力在其动运轨迹的分量为sin mg θ- (负号表示力的方向使θ减少),由牛顿第二定律可得微分方 程()sin ml t mg θθ''=- (4.12) 设小球初始偏离角度为0θ,且初速为0,式(4.12)的初 始条件为0(0),(0)0θθθ'== (4.13)当0θ不大时,sin θθ≈,式(4.12)化为线性常系数微分方程 图4.30g lθθ''+= (4.14)解得θlθmg0()t θθ= (4.15)简谐运动的周期为2T =. 现在的问题是:当0θ较大时,仍用θ近似sin θ,误差太大,式(4.12)又无解析解,试用数值方法在0030,10θθ==两种情况下求解,画出()t θ的图形,与近似解(4.15)比较,这里设25cm l =. [例3] 捕食与被捕食当鲨鱼捕食小鱼,简记为乙捕食甲,在时刻t ,小鱼的数量为()x t ,鲨鱼的数量为()y t ,当甲独立生存时它的(相对)增长率与种群数量成正比,即有()()x t rx t '=,r 为增长率,而乙的存在使甲的增长率r 减少,设减少率与乙的数量成正比,而得微分方程()()(())x t x t r ay t rx axy '=-=- (4.16)比例系数a 反映捕食者掠取食饵的能力.乙离开甲无法生存,设乙独自存在时死亡率为d ,()()y t dy t '=-,甲为乙提供食物,使乙的死亡率d 降低,而促其数量增长,这一作用与甲的数量成正比,于是()y t 满足()(())y t y d bx t dy bxy '=-+=-+ (4.17)比例系数b 反映甲对乙的供养能力,设若甲,乙的初始数量分别为00(0);(0)x x y y == (4.18) 则微分方程(4.16),(4.17)及初始条件(4.18)确定了甲,乙数量()x t 、()y t 随时间变化而演变的过程,但该方程无解析解,试用数值解讨论以下问题:(1)设001,0.5,0.1,0.02,25,2r d a b x y ======,求方程(4.16),(4.17)在条件(4.18)下的数值解,画出(),()x t y t 的图形及相图(,)x y ,观察解(),()x t y t 的周期变化,近似确定解的周期和,x y 的最大、小值,近似计算,x y 在一个周期内的平均值. (2)从式(4.16)和(4.17)消去dt 得到()()dx x r ay dy y d bx -=-+ (4.19) 解方程(4.19),得到的解即为相轨线,说明这是封闭曲线,即解确为周期函数. (3)将方程(4.17)改写为1()[]y x t d b y'=+ (4.20)在一个周期内积分,得到()x t 一周期内的平均值,类似可得()y t 一周期内的平均值,将近似计算的结果与理论值比较. 2、实验(1)方程(单摆问题)0sin (0),(0)0ml mg θθθθθ''=-⎧⎨'==⎩无解析解,为求其数值解,先将其化为等价的一阶方程组. 令12,x x θθ'==,方程化为1221102sin (0),(0)0x x g x x l x x θ'=⎧⎪⎪'=-⎨⎪==⎪⎩ 其中,09.8,25,g l θ==为100.1745≈(弧度)与300.5236≈(弧度)两种情况,具体编程如下:先以danbai.m 为文件名存放待解方程. 键入: function xdot =danbai (t,x) %x=[x (1),x (2)],g=9.8;1=25; %x (1)为解向量, x (2)是导数 xdot (1)=x (2); %xdot (1)=x '(1)=θ' xdot (2)=-g/1*sin (x (1)); %xdot (2)=θ''xdot=[xdot (1);xdot (2)]; %必须将导数向量以列向量形式给出.再以主程序(求数值解)调用待求方程,主程序用main2.m 为文件名存盘,其代码如下: clear functions[t,x]=ode23 (‘danbai’,[0,10],[0.1745,0])%只计算0100.1745θ==(弧度)的情形. %对近似解0()cos ,t wt w θθ==2T = w=sqrt (9.8/25); y=0.1745*cos (w*t);[t,x (:,1),y] %显示数据,无分号. hold on %欲在同一幅图中画近似解. plot (t,x (:,1), ‘b’) %画数值解,绿色 plot (t,y, ‘g*’) %用*号,红色画近似解. Hold off(2)食饵_捕食者 方程()x t rx axy '=- ()y t dy bxy '=-+可化为如下形式00x r ay x d bx y y ⎡⎤-⎡⎤⎡⎤⎢⎥=⎢⎥⎢⎥⎢⎥-+⎣⎦⎣⎦⎣⎦初始条件00(0),(0)x x y y ==表示为00(0)(0)x x y y ⎡⎤⎡⎤=⎢⎥⎢⎥⎣⎦⎣⎦以shier.m 存盘如下代码 function xdot=shier (t,x) r=1;d=0.5;a=0.1;b=0.02;xdot=diag ([r-a*x (2),-d+b*x (1)])*x;%x=(1)(2)x x x y ⎡⎤⎡⎤=⎢⎥⎢⎥⎣⎦⎣⎦,xdot=x y ⎡⎤⎢⎥⎢⎥⎣⎦以main3.m 存盘如下代码. clear functions ts=0:0.1:15; x0=[25,2];[t,x]=ode45 (‘shier’,ts,x0);[t,x] %显示数据t,x,y plot (t,x)gird %加网格线 gtext (‘x(t)’),gtext (‘y(t)’), %用点鼠标方式pause,figure (2) %将x 1(t),x 2(t)放至指定点 plot (x (:,1),x (:,2)) %以x (1)与x (2)为坐标点画相图xlabel (‘x’),ylabel (‘y’)可以猜测,1()x t 与2()x t 是周期函数,相图12(,)x x 是封闭曲线,从数值解可近似定出周期为110.7,x 的最大和最小值分别为99.3与22.0,x 的最大和最小值分别为28.4和2.0,为求1x 与2x 在一个周期的平均值,只需键入: y1=x (1:108,1); %x 1周期为10.7. x1p=trapz (y1)*0.1/10.7, %trapz (y1)返回按 y2=x (1:108,2); %梯形法对y1的积 x2p=trapz (y2)*0.1/10.7, %分值10711()1(1)2i i y i y i x =++∆∑ 可得1225,10x x == 对方程()()dx x r ay dy y d bx -=-+化为d bx r aydx dy x y-+-=积分得解()()d bx r ay x e y e c --= (4.21)即为原方程组的相轨线,其中c 由初始条件确定. 为说明上述相轨线是封闭的,令();()d bx r ay f x x e g y y e --==设其最大值分别为,m m f g ,若00,x y 满足00(),()m m f x f f y g ==则有00,d rx y b a==(令0,0f g ''==,可解出00,x y ),又当m m f g c ⋅≥时,相轨线(4.21)有意义. 当m m f g c =时,相轨线退化为一个点00(,)P x y ,对0m m c f g <<时,相轨线如图 4.4(c ),而图(a ),(b )分别为()f x 与()g y 的图像,下面讨论如何由(a ),(b )画(c ).(a ) (b ) (c )图4.4设(0)m m c pg p f =<<,若令0y y =,则有()f x p =,由(a )知,12,x x ∃,使12()()f x f x p ==,且102x x x <<于是相轨线应过110(,)q x y 与220(,)q x y ,对12(,)x x x ∈,()f x p >,由()()()m m f x g x pg g y g =⇒<,令()g y q =,又由(b )知,存在12,y y 使12()()g y g y q ==,且102y y y <<,于是相轨线又过31(,)q x y 与42(,)q x y 两点,所以对12,q q 间每个x ,轨线总要通过纵坐标为12102,()y y y y y <<的两点,于是相轨线是一条封闭曲线.相轨线封闭等价于(),()x t y t 是周期函数,记周期为T ,为求其在一个周期内的平均值(,)x y ,由1()()yx t d b y=+两边在一个周期内积分有((0)())y y T =:011ln ()ln (0)()T y T y dT d x x t dt T T b b b-⎡⎤==+=⎢⎥⎣⎦⎰ 同理()f xmfP1x 0x 2xxyy 1y ()()n m n mf x fg y g ==2yyqm g()g vx1y 0y 2y1xx 2x1q 3q2q00(,)P x yr y a=从而 00,x x y y ==即(),()x t y t 的平均值恰为相轨线中心点p 的坐标,提请读者注意的是:这里的0x 与0y 与初始条件中的00,x y 不是一件事.注意到,,,r d a b 在生态学上的意义,上述结果表明,捕食者的数量与食饵的增长率成正比,与它掠取食饵的能力成反比,食饵的数量与捕食者死亡率成正比,与它供养捕食者的能力成反比.3、练习内容(1)编写改进欧拉公式求微分方程数值解的程序,并用其与ode23求下列微分方程数值解,对二者作出比较.a )22,(0)0y x y y '=-=或(0)1y =.b)222()0x y xy x n y '''++-=2()2,()22y y πππ'==-(Bessel 方程,这里令12n =,其精确解为sin y =. c)cos 0,(0)1,(0)0y y x y y '''+===. (2)倒圆锥形容器,上底面直径为1.2m ,容器的高亦为1.2m ,在锥尖的地方开有一直径为3cm 的小孔,容器装满水后,下方小孔开启,由水利学知识可知当水面高度为h 时,水从小孔中流出的速度为v g =为重力加速度,若孔口收缩系数为0.6(即若一个面积单位的小孔向外出水时,水柱截面积为0.6),问水从小孔中流完需多少时间?2分钟时,水面高度是多少?(3)一只小船渡过宽为d 的河流,目标是起点A 正对着的另一岸上B 点,已知河水流速1v 与船在静水中的速度2v 之比为k .(a )建立小船航线的方程,求其解析解.(b )设12100m,1m/s,2m/s d v v ===,用数值解法求渡河所需时间,任意时刻小船的位置及航行曲线,作图并与解析解比较.(c )若流速1v 为0,0.5,2 (m/s),结果将如何?(4)研究种群竞争模型. 当甲、乙两个种群各自生存时,数量演变服从下面规律1212()(1),()(1)x y x t r x y t r y n n =-=- 其中,(),()x t y t 分别为t 时刻甲,乙两个种群的数量,12,r r 为其固有增长率,12,n n 为它们的最大容量,而当这两个种群在同一环境中生存时,由于乙消耗有限资源而对甲的增长产生影响,将甲的方程修改为1112(1)x y x r x s n n =-- (4.22) 这里1s 的含意是:对于供养甲的资源而言,单位数量乙(相对2n )的消耗率为单位数量甲(相对1n )消耗的1s 倍,类似地,甲的存在亦影响乙的增长,乙的方程应改为2212()(1)x y y t r y s n n =-- (4.23) 给定种群的初始值为 00(0),(0)x x y y == (4.24)及参数121212,,,,,r r s s n n 后,方程(4.22)与(4.23)确定了两种群的变化规律,因其解析解不存在,试用数值解法研究以下问题:(a )设121212001,100,0.5,2,10r r n n s s x y ========,计算(),()x t y t ,画出它们的图形及相图(,)x y ,说明时间t 充分大以后(),()x t y t 的变化趋势(人们今天看到的已经是自然界长期演变的结果).(b )改变1200,,,r r x y ,但1s 与2s 不变(保持121,1s s <>),分析所得结果,若121.5(1),0.7(1)s s =>=<,再分析结果,由此你得到什么结论,请用各参数生态学上的含义作出解释.(c )试验当120.8(1),0.7(1)s s =<=<时会有什么结果;当121.5(1), 1.7(1)s s =>=>时又会出现什么结果,能解释这些结果吗?。

随机微分方程数值解法

随机微分方程数值解法
d y ( t ) f ( t , y ( t ) ) d t g ( t , y ( t ) ) d W ( t ) , (9)
方程(9)即为Stratonovich型随机微分方程。 注:1)Itó型随机微分方程(6)和Stratonovich型随机微分方程(9) 是可以相互转换的。在标量情形下,对方程(6)令
plot([0:dt:T],[0,W],’r-’) %绘图 xlabel(’t’,’FontSize’,16) ylabel(’W(t)’,’FontSize’,16,’Rotation’,0)
1.2 随机积分
随机积分分为Itó型随机积分和Stratonovich型随机积分。以
下假设Wiener过程 W(t),t0定义在概率空间 (,F,P)上,
0 t 0 t 1 t 2 t n t ,
令 t k t k t k 1 ( 1 k n ) , m 1 k a x n t k ,
若随机变量序列
n
X (tk 1 )(W (tk) W (tk 1 )),n 1 ,2 ,3
(4)
k 1
均方收敛于唯一极限,则称
f ( t , x ) f ( t , y ) g ( t , x ) g ( t , y ) L 2 x y , x R , 且有E y0 2 , 则方程 (6)存在唯一解且E y(t)2 。
定义 2.1 (强收敛性) 若存在常数 C 0(与 h 独立), 0 ,使得
E (y ( tn ) y n ) C h p ,h ( 0 ,) ,
设 是正整数,
利用随机
Taylor展开式和Itó公式,可以得到:
y ( t n 1 ) y ( t n ) I 0 f ( y ( t n ) ) I 1 g ( y ( t n ) ) I 1 1 L 1 g ( y ( t n ) ) I 0 0 L 0 f ( y ( t n ) ) R ,( 1 1 ) 其中R 是余项,算子 L 0 和 L 1 分别为
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

随机微分方程的数值解
引言
随机微分方程(Stochastic Differential Equation,简称SDE)是描述包含随机变量的微分方程,它在金融、物理学、生物学等领域具有广泛的应用。

与确定性微分方程相比,SDE中的随机项引入了不确定性和随机性,使得问题更具挑战性和现实性。

本文将介绍随机微分方程的基本概念、求解方法和数值解的计算。

一、随机微分方程概述
1.1 确定性微分方程与随机微分方程的区别
•确定性微分方程:一般形式为 dy(t) = f(y(t), t)dt,其中f是已知的函数,表示因变量y的增量与自变量t的关系。

•随机微分方程:一般形式为 dy(t) = f(y(t), t)dt + g(y(t), t)dW(t),其中dW(t)是一个随机项,通常表示为Wiener过程或布朗运动。

1.2 随机微分方程的数学表达
一般形式的随机微分方程可以表示为: dy(t) = f(y(t), t)dt + g(y(t),
t)dW(t),其中: - y(t)是待求解的随机过程; - f(y(t), t)表示因变量y的增量与自变量t之间的确定性关系; - g(y(t), t)表示因变量y的增量与自变量t 之间的随机关系; - dW(t)是一个随机项,通常表示为Wiener过程或布朗运动。

二、随机微分方程的求解方法
2.1 解析解方法
对于简单形式的随机微分方程,可以通过解析的方法求得解析解。

然而,大多数情况下,由于随机视频和随机关系的存在,解析解并不存在或难以求得。

2.2 数值解方法
数值解是求解随机微分方程的主要方法之一,它通过将时间间隔分割为若干小段,采用数值方法近似求解微分方程。

常用的数值解方法有: 1. 欧拉方法(Euler Method):将时间间隔分割为若干小段,在每个小段内使用线性逼近的方式求解微分方程。

2. 随机插值方法(Stochastic Interpolation Method):利用数值差分逼近计算随机项的变化,并采用插值方法求解微分方程。

3. 随机Runge-Kutta 方法(Stochastic Runge-Kutta Method):对随机项进行泰勒级数展开,并采用Runge-Kutta方法求解微分方程。

三、随机微分方程的数值解计算
3.1 数值解计算的基本步骤
•确定时间间隔和步长:将时间区间分割成若干小段,选择合适的步长。

•初始化:确定初始条件,并计算初始值。

•迭代计算:利用数值解方法迭代计算随机微分方程的数值解。

•结果展示:将数值解绘制成曲线,并进行结果分析和讨论。

3.2 数值解计算的示例
以下是使用欧拉方法求解随机微分方程的数值解计算示例:
import numpy as np
def f(y, t):
return t * y
def g(y, t):
return np.sqrt(y + 1)
def euler_method(y0, t0, dt, n):
t = np.linspace(t0, t0 + n*dt, n+1)
y = np.zeros(n+1)
y[0] = y0
for i in range(n):
dW = np.sqrt(dt) * np.random.normal(0, 1)
y[i+1] = y[i] + f(y[i], t[i]) * dt + g(y[i], t[i]) * dW
return t, y
t0 = 0
y0 = 1
dt = 0.01
n = 1000
t, y = euler_method(y0, t0, dt, n)
import matplotlib.pyplot as plt
plt.plot(t, y)
plt.xlabel('t')
plt.ylabel('y')
plt.title('Numerical Solution of SDE')
plt.show()
通过以上代码,可以得到随机微分方程的数值解,并使用Matplotlib绘制曲线图。

四、随机微分方程的数值解应用
4.1 金融学中的应用
随机微分方程在金融学中有广泛的应用,例如: - 股票价格模型:通过模拟股票
价格的随机波动来预测未来价格变动; - 期权定价模型:根据资产价格的随机波动,计算不同期权的价格和风险; - 风险管理模型:根据随机微分方程模型计算
风险指标,辅助制定风险管理策略。

4.2 物理学中的应用
随机微分方程在物理学中的应用涵盖了许多领域,例如: - 热力学中的布朗运动:通过随机微分方程模拟粒子在流体中的随机运动; - 力学中的随机振动:通过随
机微分方程模拟体系受到随机激励下的振动行为; - 量子力学中的随机演化:通
过随机微分方程模拟系统在随机激发下的量子演化。

结论
随机微分方程是描述包含随机变量的微分方程,它在金融、物理学、生物学等领域具有广泛的应用。

通过数值解方法,我们可以近似计算随机微分方程的数值解,从而获得系统的演化规律。

在金融学和物理学等领域,随机微分方程的数值解有重要的实际意义和应用价值。

通过进一步研究和探索,我们可以发现更多关于随机微分方程的数值解方法和应用。

相关文档
最新文档