关于一类中立型积分偏微分方程的稳定性

主要研究中立型积分偏微分方程其中｜ｃ（ｔ）≤Ｍ，Ｍ∈［０，１），Ｄ∈［０，－∞）ａｎｄ０＜ｌ＜∞．获得了具有齐次诺伊曼边界条件的初始问题的零解渐近稳定的充分条件，结果推广了文［２］的结论．     

一类常微分方程的积分解

本文给出以下形式的微分方程的积分解：Ｐｎ（Ｄ）＝Π（ｋ,ｓ＝１）（Ｄ＾２－２α３Ｄ＋α＾２ｓ＋β＾２ｓ）．Π（ｎ－２ｋ,ｊ＝１）（Ｄ－λｊ）。其中Ｄ＝ｄ．ｄｘ．λｊ,αｓ,βｓ为实数,│αｓ│〉０,ｓ＝１,２,３,…,ｋｊ,ｊ＝１,２×,ｎ－２ｋ,λ＝ｍａｘ １≤ｓ≤ｋ,１≤ｊ≤ｎ－２ｋ｛│αｓ│,│λｊ│α,ｙ（ｘ）为（－∞,＋∞）上的有界函数,则方程Ｐｎ（Ｄ）ｆ（ｘ）＝ｙ（ｘ）,ａ．ｅ．,且满     

中立型Volterra时滞积分微分方程线性多步法的稳定性

主要研究线性中立型Volterra时滞积分微分方程的数值稳定性.在此类延迟微分系统渐进稳定的充分条件下,证明了所有的A-稳定的线性多步方法都将保持此方程的精确解的不依赖于延迟项的稳定性.数值试验验证了主要结论.     

一类卷积型微分方程的极小化问题

通过定义在一个实Ｂａｎａｃｈ空间上的有势算子对耦合变量的分离，对一类卷积型微分方程边值问题给出了极小化方法，建立了关于Ｌａｐｌａｃｅ变换的转换最小值原理和在原空间－时间域的加权最小值原理。     

线性微分方程有界变差解的稳定性

利用矩阵函数的性质与Henstock积分,得出线性微分方程有界变差解稳定的几个充要条件.     

无限时滞中立型V积分微分方程的稳定性与有界性

以Cg空间为相空间，研究具有无限时滞中立型Volterra积分微分方程解的稳定性与有界性，得到方程解为g一致稳定，g一致渐近稳定和g有界的一些新结果．     

分式微分方程的积分因子存在定理

证明了型如dy/dx=a1x＋b1y＋c1/a2x＋b2y＋c2的一阶分式微分方程的积分因子的存在性,并给出其积分因子,从而得到分式微分方程的通解．     

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

将线性θ-方法用于求解非线性延迟积分微分方程,其中积分部分采用复化梯形公式计算,获得了方法渐近稳定的条件.     

无穷时滞中立型Volterra积分微分方程的周期解

利用矩阵测度和指数型二分性理论,根据所讨论的方程类型构造算子T,再应用Schauder不动点定理讨论了具有无穷时滞的中立型Volterra积分微分方程ddt(x(t)-∫-t∞B(t,s)x(s)ds)=A(t)x(t) ∫-t∞C(t,s)x(s)ds f(t,xt)周期解的存在性、唯一性及一致稳定性.所得到的结果相对于以前的结果,有所推广和创新.     

非线性抛物积分微分方程有限元的新估计

考虑一般非线性抛物积分微分方程及半离散线性有限元u_h(t).设Ω是2维凸域或光滑坡.u适当光滑.用半离散Green函数Gh及连续性方法,得到渐近最佳估计及梯度的超收敛估计这里(?)h是某线性抛物积分微分算子的投影。     

非线性随机微分方程的Euler-Maruyama方法均方稳定性

对随机微分方程的数值方法的讨论已经有了一定的结论,尤其是关于数值方法的收敛性方面的结论,但对于数值方法的收敛性的讨论却很少.将Euler—Maruyama方法应用于非线性随机微分方程,证明了此数值方法是均方稳定的,同时给出了方法满足均方稳定性的条件.     

具有热储备的可修复平行系统解的稳定性分析

讨论具有热储备的可修复平行系统模型,运用相应算子的谱特征的理论和方法,得到该模型解的渐近稳定性．     

一类含卷积核的对偶型奇异积分方程的非正则型解法

本文研究了一类既含Cauchy核又含卷积核的对偶型奇异积分方程的非正则型积分方程的求解方法,得到了该类方程在{0}类中的可解条件与一般解。     

具有四类故障可修系统解的渐近稳定性

运用泛函分析的方法,通过分析系统主算子的谱特征,给出具有四类故障可修系统解的渐近稳定性的证明.     

基于Path系的广义积分与广义微分方程（dy／dx）E=f（x,y）

本文研究Ｐａｔｈ导数意义下的广义微分方程（ｄｙ／ｄｘ）Ｅ＝ｆ（ｘ，ｙ），证明了在一般条件下该方程的初值问题的局部解的存在唯一性。     

一类高阶差分方程解的渐近性质

本文主要讨论了高阶泛函差分方程Lkx(n) a(n)H(n,x(g(n)))=f(n,x(g(x)))解的渐近性质，并给出了相关结论．     

多步方法稳定程度的计算

该文研制了计算一般多步方法稳定程度的通用软件，并将该软件成功地用于评估向后微发公式及其改型的数值稳定性。由于一般多步方法是个十分浩瀚的方法类，该软件提供了研究多步方法的稳定域和稳定程度的有力工具。     

伪复空型的分解与分类

主要研究具有平行ｆ－结构的伪复空型的分解及分类问题。     

求解Hamilton──Jacobi方程的Runge──Kutta型TVB时间离散方法

TVD、TVB及ENO格式问世以来得到了广泛的应用[1,2,3],目前求解双曲线型守恒律方程的构造高阶精度无振荡差分格式的途径正方兴未艾。本文根据[1]的思想，给出一种求解Hamilton－Jacobi方程的Runge-Kutta型TVB时间离散方法，并在理论上证明了如此构造的格式在保持TVB性质下应满足的条件。     

逻辑方程F=G解法的探讨

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化,给出了F=G成立的充要条件,将逻辑方程F=G化为0型或1型逻辑方程的方法和相应的推论,并给予证明.得到了若F+G=0和F+G=0的解集分别为S1,S2,则F=G的解集为S1+S2、以及若F?G=1和F?G=1的解集分别为S'1,S'2,则F=G的解集为S1'+S'2的结论.从而可应用结论解非0型、非1型的逻辑方程.