关于微分方程组的解对部分变元的稳定性

本文对微分方程组的零解关于部分变元的稳定性和渐近稳定性建立了几个定理,所得结果推广了文[2]若干定理。考虑扰动运动微分方程组     

Banach空间积分—微分方程初值问题的解集

文[1]给出了 Banach 空间积分—微分方程初值问题解的存在性定理和解的存在、唯一性定理.本文在[1]的工作基础上,探讨了积分—微分方程初值问题解集的结构,证明了在一定条件下解集是一闭联集.     

关于一类椭圆型方程下解最大值估计的一个注

本文指出文献[1]中定理9.7关于拟线性椭圆型偏微分方程解的极大值的估计,可以扩充到形如(1)的非线性椭圆型偏微分方程下解的最大值的估计.     

李雅普诺夫第二方法在二阶线性偏微分方程中的应用

本文将常微分方程稳定性理论中的Lyapunov第二方法应用到偏微分方程中去,着重讨论了二阶线性偏微分方程混合问题解的唯一性与稳定性;得到了三个唯一性与稳定性的定理;并通过实例说明定理的应用, 由于Lyapunov泛函比传统方法中的“能量函数”广泛得多,因而用选取适当的泛函V证明混合问题解的唯一性与稳定性要比文[1][2]中的证明简单而且广泛.     

关于半鞅随机微分方程解的存在唯一性

P.E.Protter在文献[1]中研究了一种类型的关于连续半鞅随机微分方程解的存在唯一性问题。本文进一步考虑了另一种类型的方程解的存在唯一性问题,由此改进了[1]中的结果。     

非线性微分系统周期解之存在性与唯一性

Schauder-不动点定理曾被用以研究微分方程解的存在性(例如[1],[2])。Caccioppoli-Banach 不动点定理也曾被用来讨论微分方程解的唯一性问题。本文试图运用这些不动点定理来研究非线性、非驻定常微分系统周期解的存在性与唯一性,并进一步研究非线性微分差分系统周期解之存在性。在各种情形,都把多维系统的研究化为一维常微分方程的问题。     

Banach空间中含无界算子的微分方程的整体解

本文应用Schauder不动点定理建立了Banach空间中含有无界算子的非线性微分方程x’(t)=Ax(t)+f[t,x(t)]的解的整体存在性、唯一性定理,并讨论了其解的渐进性质。     

一类二阶非线性常微分方程组边值问题解的存在唯一性

本文讨论如下二阶非线性常微分方程组边值问题■解的存在唯一性,其中f,g:[0,1]×R×R→R连续.当非线性项f(t,x,y)与g(t,x,y)满足相应的不等式时,本文运用Leray-Schauder不动点定理获得了该问题解的存在唯一性.     

时滞微分方程组解的稳定性

本文藉助于及方法和比較定理,应用V_函数,研究时滞微分方程组解的稳定性問題。并給出了关于解的稳定性,渐近稳定性,对初始函数一致渐近稳定性及不稳定性定理,他們是文[2]-[6]相应定理的改进和推广。     

概率度量理论在分析概率论中的应用

把文献[1]中的引理推广为分析概率论中有用的极限定理,改进了文献[1]的主要结果及简化了其证明过程,并获得了一个在概率微分方程理论中有重要应用的实用概率度量空间;给出了随机线性泛函延拓定理的应用;建立了概率微分方程解的局部存在性定理．     

泛函微分方程(超中立型)稳定性的基本理论

本文研究泛函微分方程(超中立型)的稳定性,得到稳定的和不稳定的充分条件。推广了[1]、[2]的结果,并推广了[3]第五章中之定理4·1、4·2。本文定理1·3用条件 V(ξ)≤V(t)代替条件 V(ξ)≤P(V(t)),t-r≤ξ≤t,P(s)>s(函数 P(s)一般很难求,这在[4]P.63中已指出)。本文定理1·4利用常微分方程中的 Liapunov 函数的性质结合定理1·3得到判定稳定性的简便方法。本文还研究了第二类型的泛函微分方程(右端之积分项其积分区间为[t_0,t])的稳定性(在过去的资料中尚未见到;只见到关于这类方程解的存在与唯一性论文如[5])     

一类ψ-Caputo分数阶微分方程解的存在性和Ulam-Hyers稳定性

主要讨论在有限闭区间[a,b]上关于另一个函数的非线性Caputo分数阶微分方程.首先，给出了初值问题解的存在性和唯一性的充分条件.其次，利用Krasnoselskii不动点定理证明了该方程解的存在唯一性.最后，分两种情况讨论了系统的Ulam-Hyers-Rassias稳定性.     

无穷时滞泛函微分方程的稳定性

改进了文[1]关于无穷时滞泛函微分方程零解一致渐近稳定的定理5，所得结果包含了这一定理及文[2]的定理2。     

无穷时滞RFDE解的存在性及其对初始函数的可微性

本文建立了无穷时滞RFDE解的存在性定理,改进了文[2]之定理1,并建立了无穷时滞RFDE解对初始函数的可微性定理,完善了无穷时滞RFDE解的基本理论。同时,有界时滞RFDE作为无穷时滞RFDE之特殊情形,本文的结果改进了文[3]关于有界时滞RFDE解的存在性定理(p37),并对文[3]关于有界时滞RFDE解对初始函数可微性定理(pp46-47)给出一严密证明,纠正了文[3]中一个易忽视的证明错误。     

关于减算子正不动点的存在唯一性

本文获得了两个关于减算子正不动点的存在唯一性定理,并给出对于积分方程与微分方程的若干应用,文中部分结果已在[1]中宣布(未给出证明)。     

核空间的对偶上随机微分方程解的存在唯一性

本文在[1]的基础上，讨论了关于非时齐Wiener积分的Ito类随机微分方程的解的存在唯一性。     

中立型随机泛函微分方程强解的存在性和轨道唯一性

用不动点定理证明D算子中立型随机泛函微分方程强解的存在世,在Lipschtiz条件下证明其强解的轨道唯一性,扩充了文[1]的结果。     

关于变系数线性微分方程的求解

本文给出了高阶变系数线性微分方程具有形如e~(ax)Z型解的充要条件——定理1,此定理推广了文[1]、[3]的结论,由定理1导出的定理2和定理3及其推论与特例,为文[2]、[3]、[4]、[5]有关例题的求解,提供了简捷有效的方法;最后,利用Leibniz(莱布尼兹)公式推导出几类特殊的变系数线性微分方程的求解公式,并给出了通解表达式。     

关于多元Чебыщев逼近(Ⅱ)

本文首先对连续函数类建立多元逼近唯一性的一般理论,著名的Haar定理将作为它的特例来证明,进一步,运用该理论专门研究了多元多项式逼近的唯一性问题,特别是对一次和二次最佳逼近唯一性问题,在文献[4—8]的基础上,得到了一些更深入的结果,本文最后指出了文献[6]中两个定理的错误,与[6]的作者们商榷。     

关于非线性压缩型映射的不动点定理及其对积分方程的应用

本文在张石生[1]和丁协平[2]的基础上,研究非线性压缩型映射的不动点的存在及唯一性,所得的结果推广了[1]、[2]、[3]的一些结果。然后我们把所得的不动点定理用于研究Banach空间中的非线性积分方程的解的存在及唯一性,所得的定理是[1]和[4]的一些定理的推广。