论微分中值不等式

以视经典等式为联接条件与不等式或联接不等式两端的中介桥梁为研究手段，研究讨论与微分中值公式相对应的微分中值不等式，进而给出具有一般性的矩阵微分中值不等式，而视Ｒｏｌｌｅ微分中值不等式、Ｌａｇｒａｎｇｅ微分中值不等式。Ｃａｕｃｈｙ微分中值不等式、向量微分中值不等式为其数。     

一类二阶中立型微分不等式最终正解的不存在性

研究一类二阶非线性中立型微分不等式,利用广义Riccati变换、平均技巧以及微分不等式理论,给出了该类不等式最终正解不存在的若干充分条件.     

一类由变分不等式驱动的模糊分数阶微分包含系统解的存在性

考虑一类动态模糊系统,该系统由模糊Atangana-Baleanu分数阶微分包含和变分不等式组成,称为模糊分数阶微分变分不等式(FFDVI),它包括了模糊分数阶微分包含和变分不等式两个领域的研究,拓宽了模糊环境下的可研究问题,该模型在同一框架内捕获了模糊分数微分包含和分数微分变分不等式的期望特征.利用Krasnoselskii不动点定理,得到了FFDVI在某些温和条件下解的存在性.     

一类非自治微分积分方程的全局指数稳定性

主要研究一类非自治微分积分方程的全局指数稳定性.建立一个微分积分不等式,应用该微分积分不等式,得到一些使得该微分积分方程全局指数稳定的充分条件,给出一个例子来说明所得结果的有效性.     

具有边界反应的Forchheimer多孔介质流体的空间二择性

考虑了定义在半无穷柱体上的多孔介质中Forchheimer流体,其中在柱体的侧面上满足边界反应条件.利用能量估计的方法和微分不等式技术,推导了关于辅助函数的一个微分不等式,通过解此微分不等式证明了解随距离要么多项式增长要么指数式衰减.     

微分不等式的应用

在常微分方程论中，微分不等式是研究方程解的各种属性的有用工具。本文从几个命题的证明来阐述微分不等式的应用。     

On Certain Differential Operator

给出了微分算子在微分不等式中的应用．     

基于一类积分不等式的非线性微分系统的一致Lipschitz稳定性

为了判定非线性微分系统零解的Lipschitz稳定性,建立了一种指数均大于1的一类新型积分不等式。这类积分不等式与以往的积分不等式相比,形式上更广泛,可以处理更复杂的非线性微分系统。在新不等式的基础上,根据Lips-chitz稳定性理论,分析了一类非线性微分系统零解的一致Lipschitz稳定、一致Lipschitz渐近稳定,推广的指数渐近稳定等特性。通过上述积分不等式的运用,得到判定一类非线性微分系统Lipschitz稳定性的充分条件,且将相关性质推广到线性受扰系统。通过对一非线性微分系统零解的Lips-chitz稳定性的判别,说明了上述结论的实用性。     

二阶中立型阻尼微分不等式最终正解不存在性

利用广义Riccati技巧、积分平均方法和微分不等式理论,研究一类具有分布时滞的二阶中立型阻尼微分不等式的正解的存在性,获得该类不等式最终正解不存在的若干充分条件,推广和改进已知结果.     

一类无界时滞微分大系统的稳定性

给出了一个具有无界时滞的时滞微分不等式,并通过不等式手段研究了一类无界时滞非线性微分大系统的稳定性问题,给出了系统渐近稳定的一些充分条件．     

加双权的Hardy-littlewood型不等式

利用权得到了Hardy-littlewood型微分形式的推广:加双权积分不等式.这个不等式是经典结果的推广,它可被用来研究微分形式的积分性质且用来估计微分形式的积分值.     

具有约束条件的均衡规划问题的微分方程方法

提出了具有不等式约束的均衡规划问题,运用该均衡规划问题的拉格朗日函数和投影算子将具有不等式约束的均衡规划问题转化为方程组.进一步,应用所得到的方程组建立了具有控制过程的微分方程系统,并证明了具有控制过程的微分方程系统的解的聚点是具有不等式约束的均衡规划问题的解.最后,给出了2个具有不等式约束的均衡规划问题的数值算例,并分别运用具有控制过程的微分方程系统对其进行求解,描绘了每个算例的微分方程系统的解的轨迹图,从图中可以明显地观察到具有控制过程的微分方程系统的解的轨迹收敛于均衡规划问题的解,从而说明了微分方程方法求解具有不等式约束的均衡规划问题的可行性和有效性.     

有限次可微象征拟微分算子的Grding不等式

在证明偏微分方程解的存在性和探求解的正则性时,Garding不等式起着关键作用.对于无穷次可微象征类的拟微分算子,很多数学家曾研究并得到了相应的Garding不等式.是否对有限次可微象征的拟微分算子,也有相应的Gardng不等式呢?本文就一类有限次可微象征的拟微分算子,肯定地回答了这个问题.     

H_x~s类拟微分算子的强Gārding不等式

在证明椭圆偏微分方程解的存在性和探求解的正则性时，Ｇａｒｄｉｎｇ不等式起着关键作用．对于无穷次可微象征类的拟微分算子，很多数学家曾研究过并得到了相应的Ｇｒｄｉｎｇ不等式，对于有限次可微象征的拟微分算子，赖绍永１９９１年证明了相应的Ｇｒｄｉｎｇ不等式．对于Ｈ_ｘ~ｓ空间里的拟微分算子，是否有相应的Ｇｒｄｉｎｇ不等式？本文就对Ｈ_ｘ~ｓ空间里的拟微分算子，肯定地回答了这个问题，推广了Ｂｅａｌｓ，Ｆｅｆｆｅｒｍａｎ（１９７３），Ｈｒｍａｎｄｅｒ（１９６６，１９７９）及Ｔａｙｌｏｒ（１９８１）的结果．     

斜微分系统的稳定性

引入斜微分系统,建立了扩充的Bellman-Gronwall不等式,用Bellman方法建立了斜微分系统的稳定性定理,并与Lyapunov方法作了比较。     

多项式微分算子带一般权第二特征值的上界估计

考虑多项式微分算子带一般权第二特征值的上界估计的问题.利用试验函数、分部积分、Rayleigh定理和Schwarz不等式等方法与技巧,得到了用多项式微分算子的第一个特征值来估计第二个特征值的不等式,其估计系数与区间的几何度量无关。其不等式在物理学和力学中应用广泛,在微分方程的理论研究中起着重要的作用。     

星像函数和关于K折对称点近于凸函数的一些充分条件

文先建立了一个微分不等式, 然后利用这一微分不等式我们得到一些新的星像函数和关于k折对称点近于凸函数的充分条件, 也推广了一些作者的结果.     

Gronwall - Bellman 积分不等式在分数阶微分方程中的应用

本文主要介绍了Gronwall-Bellman积分不等式及其推广形式在分数阶微分方程中的应用。利用Gronwall-Bellman积分不等式及其推广形式证明了分数阶微分方程解的唯一性,获得了一类分数阶时滞微分方程有限时间稳定的充分条件。