非线性中立型延迟微分方程线性θ-方法的渐近稳定性

讨论非线性中立型延迟微分方程线性θ-方法的渐近稳定性，我们证明：当且仅当1／2≤θ≤1时，线性θ-方法用于求解渐近稳定Rα，β的类初值问题得到的数值解是渐近稳定的。     

随机微分方程θ-Heun方法的稳定性

为了提高求解随机微分方程数值方法的稳定性,对Heun方法进行改进得到θ-Heun方法。对于带有乘性噪声的随机微分方程,得到了θ-Heun方法均方稳定和指数稳定的充要条件,且证明了θ-Heun方法中这两种稳定性是等价的。用数值例子验证了θ-Heun方法的稳定性比Heun方法好。     

求解中立型多延时系统θ-方法的数值稳定性

研究了用θ-方法求解具有多个延时量中立型系统数值解的稳定性,给出并证明了求解多延时中立型系统的θ-方法渐近稳定的充要条件是θ∈[1／2,1]．     

中立型延迟积分微分方程线性θ-方法的渐近稳定性

将线性θ-方法用于求解D(α,β1,β2,β3,γ,δ)类非线性中立型延迟积分微分方程,结果表明A-稳定的线性θ-方法(也即1/2≤θ≤1)能保持问题本身的渐近稳定性,数值实验验证了所获理论结果的正确性。     

一类非线性中立型变延迟积分微分方程的稳定性分析

讨论了一类非线性中立型变延迟积分微分方程的稳定性.针对非线性中立型变延迟积分微分方程的模型方程,给出方程理论解稳定的条件并给予了证明;其次研究了线性θ-方法求解方程的数值稳定性,证明了A-稳定的θ-方法求解非线性中立型变延迟积分微分方程是稳定的.     

中立Volterra延迟积分微分方程的块θ-方法的稳定性

块θ-方法具有精度高、数值稳定性好等特点。采用该方法研究线性中立Volterra延迟积分微分方程解的稳定性,理论证明了中立Volterra延迟积分微分方程数值解保留精确解的稳定性,给出当θ∈（1/2,1]时其数值算例。仿真结果表明,该方法提高了数值解的稳定性和计算效率。     

关于RFDE的Lipschitz指数稳定性

针对滞后型泛函微分方程提出了拟一致Lipschitz指数稳定性概念。根据这一稳定性定义中的Lipschitz系数函数与指数函数的不同,可以分别包括已有的稳定、一致稳定、渐近稳定、指数渐近稳定等概念。因此,拟一致Lipschitz指数稳定又可以认为是上述稳定性的统一形式。一致Lipschitz稳定性也是一种新的稳定性,它包括稳定与一致稳定。但对非线性方程它并不被一致渐近稳定所蕴含。重点讨论了在条件：“函数f(t,)于R+×BnH的任一紧子集R+×BnH′(H′≤H)上满足：│f(t,φ1)-f(t,φ2)│≤E(H′)sup-r≤θ≤0│φ1(θ)-φ2(θ)│其中E(H′)≥0是仅依赖于H′的常数”下,利用Lipschitz泛函方法建立这种稳定性的充分及其必要条件。     

多延迟微分方程线性θ—方法的散逸性

证明了当且仅当1／2≤θ≤1时,多延迟微分方程线性θ－方法是GD－散逸的。     

中立型随机延迟微分方程θ-方法的均方稳定性

讨论θ-方法用于求解非线性中立型随机延迟微分方程初值问题时数值解的稳定性,给出了θ-方法均方稳定的一个充分条件.     

解双曲方程的一种高精度加权差分格式

利用一阶微商的四阶精度紧致差分逼近公式,给出了解双曲方程精度为o[(1-2θ△t,△t2+△x4)]的一种新的加权差分格式,并通过Fourier方法讨论格式的稳定性,证明了当0≤θ≤1/2时,格式是无条件稳定的;当1/2≤θ≤1时,格式是不稳定的,最后通过数值试验说明了这种方法的有效性.     

非线性积分微分方程单支θ-方法的稳定性分析

该文研究非线性积分微分方程单支θ-方法的数值稳定性,获得了方法数值稳定的条件．     

两步Runge-Kutta方法求解延迟微分方程的GPL-稳定性

主要研究了两步Runge-Kutta方法求解延迟系统方程的稳定性.首先讨论了两步Runge-Kutta方法求解常微分方程数值解的L-稳定性,给出L-稳定性的充分性条件,然后讨论延迟微分方程的GPL-稳定性,得到延迟微分方程是GPL-稳定的充要条件是它是L-稳定的.     

泛函微分方程的Lipschitz稳定性

本文利用文[1][2]的思想方法,提出了泛函微分方程的(变分)LipschitZ稳定性的若干概念,并借助于积分不等式以及线性(或非线性)常数变易公式,讨论了泛函微分方程的(变分)Lipschitz稳定性,获得了若干新的结果.1.设D为R×C的子集,f:D→R~n是给定的函数,考虑泛函微分方程x′(l)=f(l,x_l)(l.1)x_t_0=φ_0,-r≤θ≤t_0·1.首先,我们给出泛函微分方程的各种(变分)Lipschitz稳定性的定义:定义1.1 称方程(1.1)的零解是Lipschitz一致稳定的,如果存在常数M>0,δ>0,使     

多步Runge-Kutta法求延时微分方程的P_m-稳定性

给出了多步Runge－Kutta法（MIRK）解延时微分方程（DDEs）的Pm-稳定性．着重研究此法用于下列具有m个延时量的线性试验方程时的稳定性态。u’（t）＝au（t）＋（t－τj），t≥0．u（t）＝（t），t≤0．其中a，bj（j＝1，2，…，m）　∈C，τm≥τ(m－1)≥…≥τ＞0，（t）给定．证明了m＝2时，MIRK法是P2－稳定的．对于m＞2，得到同样的结果（Pm－稳定）．     

Banach空间中非线性刚性DDEsθ-方法的数值稳定性

讨论Banach空间中非线性刚性变延迟微分方程θ-方法的数值稳定性,对Banach空间中的实验问题类Dθ（α,β）得到了θ-方法的稳定性及渐近稳定性．     

Runge-Kutta方法求解多延迟积分微分方程的稳定性

讨论了用Runge.Kutta方法求解带有两个延迟常量的多延迟积分微分方程du/dt=Lu(t)+M1u(t-T1)+M2u(t-T2)+K1∫5t-T1u(θ)dθ+K2∫5t-T2u(θ)dθ的数值稳定性,并给出了其渐进稳定的充分条件.这里的L,M1,M2,K1,K2都是复矩阵.特别当K1,K2=0时,亦可以得到相同的结论,即每一个A稳定的RK方法都可以证明其解的延迟独立稳定性.     

延迟积分微分方程多步RK方法的渐近稳定性

基于延迟积分微分方程(DIDEs)的理论解渐近稳定性的充要条件，运用求解常微分方程的具有A-稳定性的多步RK方法求解相应的DIDEs的渐近稳定性．将有关文献的工作拓展到多步龙格-库塔(RK)方法，并在其中讨论了对应的延迟微分方程(DDEs)的多步RK方法的渐近稳定性。     

比例延迟方程块θ- 方法的数值稳定性

针对一类特殊的试验方程—比例延迟方程 ,引入离散化约束的变步长网格方法 ,得到比例延迟方程块θ—方法的数值稳定性的充要条件 .     

解抛物型方程的一种高精度加权差分格式

利用二阶徽商的四阶精度紧致差分逼近公式，给出解抛物型方程精度为O[1－20）t，t2＋x4]的一种新的加权差分格式，并通过Fourier方法讨论格式的稳定性．证明了当1／2≤θ≤1时，格式是无条件稳定的；当0≤θ＜1／2时，只有r≤1／3（1－2θ），格式才是稳定的，其中θ是加权参数（因子），t，x分别为时空方向的网格长度，r=（D是二阶导数项系数）．     

解抛物型方程的一族六点隐式差分格式

提出了求解一维抛物型方程的一族两层六点隐式格式.格式的截断误差为O(τ2+h4).利用Fourier方法证明了差分格式当1/2≤θ≤1时,格式绝对稳定;当0≤θ1/2时,只有r≤1/6(1-2θ),格式才是稳定的.数值试验表明,该族格式是有效的,且理论分析与实际计算相吻合.