非线性脉冲微分方程Runge-Kutta方法的渐近稳定性（英文）

研究非线性脉冲微分方程在全局Lipschitz条件下,精确解和Runge-Kutta方法数值解的渐近稳定性;在非线性函数满足Lipschitz条件下,给出解析解渐近稳定的条件;讨论几类显式RungeKutta方法应用于该方程时数值解渐近稳定的条件,证明在满足收敛阶的条件下,数值解可以保持解析解的渐近稳定性,当p≤4时,上述结论成立,当p 4时,上述结论不成立。数值算例验证了结果的有效性。     

超前型自变量分段连续型微分方程的Runge-Kutta方法的数值稳定性

讨论一类特殊类型的超前型自变量分段连续型微分方程的解析解的稳定性,及应用Runge-Kutta方法于该方程所得数值解的稳定性。应用M.Z.Liu等在1990年证明的结果给出了N2时解析解渐近稳定的充分条件;同时给出了N=2时解析解渐近稳定的充要条件。利用Or-der-Star和Padé逼近理论,给出了当Runge-Kutta方法的稳定函数是ex的Padé逼近时数值解保持解析解渐近稳定的充分必要条件。     

中立型延迟微分代数系统新θ-方法的稳定性分析

研究了线性中立型延迟微分代数系统数值方法的稳定性分析.首先回顾了此类方程解析解渐近稳定的一个充分条件,进一步证明了当θ∈(21,1]时,新θ-方法将保持这个中立型延迟微分代数系统解析解的不依赖于延迟的渐进稳定性质,最后给出了一些数值算例来说明主要结果.     

泛函微分方程概周期解的存在性和唯一性

概周期理论是微分方程理论的一个重要分支.综合利用Lyapunov泛函的方法及泛函分析的方法,研究了具有有限时滞泛函微分方程概周期解的存在性、唯一性问题.当方程右端泛函满足局部Lipschitz条件时,证明了方程渐近概周期解的存在性,得到了便于应用的概周期解的存在性、唯一性判据和相应的模包含关系.     

θ-方法求解非线性延迟微分方程的渐近稳定性分析

主要研究非线性延迟微分方程的数值稳定性.文中给出一个充分条件,使得在该条件下,由θ-方法所求的数值解可以保持解析解的渐近稳定性.     

中立型多延迟积分微分代数方程二步Runge-Kutta方法渐近稳定性(英文)

分析向量值形式的中立型多延迟积分微分代数方程二步Runge-Kutta方法的渐近稳定性。首先给出中立型多延迟积分微分代数方程解析解渐近稳定的定义,并给出使得解析解渐近稳定的充分条件。随后给出二步Runge-Kutta方法的一般形式和数值解渐近稳定的定义,给出数值方法渐近稳定的充分条件,最后证明A-稳定的二步Runge-Kutta方法求解中立型多延迟积分微分代数方程是渐近稳定的,并给出数值算例验证结论。     

多延迟微分代数方程θ-方法的渐近稳定性

考虑线性多延迟微分代数方程θ-方法的渐近稳定性.通过分析相应的特征方程根的性质,给出多延迟微分代数方程解析解的渐近稳定的一个充分条件.进一步,应用特征方程根的性质,得出一个关于线性θ-方法与新θ-方法对方程解析解的渐近稳定性保持的充分条件当θ∈(1/2,1]时,线性θ-方法与新θ-方法都是渐近稳定的.     

随机微分包含数值解的收敛性(英文)

讨论在全局Lipschitz条件和线性增长条件下,随机微分包含欧拉方法的数值解的强收敛性。给出在同样条件下随机微分包含解的存在性,以及随机微分包含欧拉方法的数值格式,证明在全局Lipschitz条件和线性增长条件下,随机微分包含欧拉方法的数值解收敛到解析解。数值实例验证了结论的正确性。     

随机延迟微分方程SST方法的稳定性

在延迟随机微分方程领域,随机分步theta(SST)数值方法的应用成果较少。研究随机分步theta(SST)方法应用于随机延迟微分方程(SDDEs)时的稳定性性质,给出在线性增长条件及单边Lipschitz条件下,SST数值解能保持原方程真实解几乎必然指数稳定的一个充分条件。数值模拟验证了所得结果的正确性及有效性。     

θ-方法对分段连续型延迟微分方程的渐进稳定性

运用线性θ-方法和单腿θ-方法处理了带有一个延迟项(t)的分段连续型延迟微分方程数值解的渐近稳定性问题.应用线性θ-方法和单腿θ-方法解方程时,由于这个方程是定义在[n,n+1)上,即不包含区间的右端点,结果两种θ-方法得到了相同的差分方程.运用θ-方法给出了在单位时段[n,n+1)任意分划情况下的解析解的稳定区域包含在数值解的稳定区域的充分必要条件,最后相应地给出了几个数值算例.     

中立型随机变延迟微分方程数值解的收敛性(英文)

讨论中立型随机变延迟微分方程欧拉方法的数值解的强收敛性。最近,很多作者已经对随机延迟微分方程的数值解进行了大量的研究,但是,对于中立型随机变延迟微分方程数值解收敛性的研究还很少。首先给出了中立型随机变延迟微分方程欧拉方法的数值格式,然后,在局部Lipschitz条件和有界条件下,论证了中立型随机变延迟微分方程欧拉方法的数值解收敛到解析解。     

马尔可夫调制的随机变延迟微分方程的数值解

讨论了马尔可夫调制的随机变延迟微分方程dx(t)=f(x(t),x(t-δ(t)),r(t))dt+g(x(t),x(t-δ(t)),r(t))dW(t)欧拉方法的收敛性.对方程应用欧拉方法,特别地对变延迟部分运用插值技巧进行数值离散后,将离散的欧拉格式延拓为连续的欧拉格式,从而得到欧拉格式在局部Lipschitz条件下强收敛到解析解.进一步,将局部Lipschitz条件换成全局Lipschitz条件,结论也成立,即欧拉方法在全局Lipschitz条件下也是强收敛的.     

分段连续型随机微分方程的均方稳定性分析

考虑了自变量分段连续型随机微分方程(dX(t)=(a1X(t) a2X([t]))dt (61X(t) b2X([t]))dW(t)的解析解和数值解的均方稳定性.得到了解析解的表达形式,证明了当2a1 b2 b21 b222|a2 b1b2<0时,解析解是均方稳定的.在此条件下,讨论了由半隐式欧拉方法得到的数值解的稳定性,得到如下结论:当0≤θ相似文献   

一类单边Lipschitz非线性系统观测器的设计

主要研究了一类单边Lipschitz非线性系统观测器设计的方法.首先引入单边Lipschitz条件,相对于传统的Lipschitz条件在设计观测器时是可以减少保守性的,并且利用二次内积有界性和非线性矩阵不等式得出了单边Lipschitz非线性系统观测器的设计的新方法,同时将非线性矩阵不等式转化成线性矩阵不等式进行求解.     

分段连续微分方程θ-方法的稳定性(英文)

讨论分段连续型微分方程x′(t)=ax(t)+a1x([t+3])的解析解的稳定性,得出其渐进稳定的一个充分必要条件。应用θ-方法求解此分段连续型微分方程,得到相应的数值稳定区域,给出数值解的稳定区域包含解析解的稳定区域的一个充分必要条件。应用线性θ-方法求解了微分方程x′(t)=ax(t)+a1x([t+p]),给出此类数值方法渐进稳定的一个充分条件,得出数值解的稳定区域包含解析解的稳定区域的充分条件。     

解随机森林发展方程的半隐式欧拉法的收敛性

一般来说,大多数随机偏微分方程并不存在显式解,因此,数值方法是研究这类方程解的性质的十分有效的工具.应用半隐式欧拉方法求解一类随机森林发展方程,从而得到其近似解,并证明了当满足一些比线性增长条件和全局利普希茨条件弱的条件时,半隐式欧拉格式将依概率收敛于方程的解析解,其收敛阶为p=1/2.     

具线性脉冲的系统稳定性

研究了具线性脉冲反馈的系统的稳定性问题。从运动方程、Lyapunov函数和比较原理入手,给出了系统稳定的若干充分条件,在一定约束下还得到了一个充要条件,并把这些结果与相关文献的结论进行了比较,指出了该方法的优越性;最后获得了比较实用的设计方案,并用一个例子很好的验证了主要定理的有效性。     

常微分方程的周期解的存在性

主要利用常微分方程的Lipschitz变分稳定性讨论如下方程x=f(t.x)的周期解的存在性,推出了几个存在定理.     

一类不确定非线性系统的鲁棒故障检测观测

主要研究了一类不确定非线性系统基于自适应故障检测(FD)观测器的故障估计问题.首先引入拟单边Lipschitz条件,相对于传统的Lipschitz条件在设计自适应故障检测观测器时是可以减少保守性的,并且利用Lyapunov函数和线性矩阵不等式(LM I)证明了自适应观测器的渐进稳定性以及故障估计误差是一致最终有界的.还证明了由传感器故障延拓至执行器故障时结论仍然是适用的,最后给出数值算例说明了结论的有效性.     

一类可微非线性系统全维观测器设计

对一类可微Lipschitz非线性系统的全维观测器设计的探究.主要借助拟单边Lipschitz条件给出对一类可微非线性系统全维观测器的设计方法.并给出仿真算例.