一类非线性Mate-Nevai型离散不等式及其应用

Gronwall不等式及其各种线性、非线性推广是研究微分方程和差分方程解的存在性、有界性、唯一性和稳定性的重要工具.而离散的Gronwall不等式在验证微分方程与积分方程数值解的收敛性方面有着十分的重要作用.研究了一类非线性的Mate-Nevai型离散不等式,在B.G.Pachpatte(Tamkang J Math,2001,32:217-223.)的结果的基础上增加了二元函数项,该不等式含有两个无穷和项和一个非常数项.放弃对函数的单调性要求,通过将求和号外的函数作常量化,利用函数的单调化技巧和函数的次可乘性,给出了不等式中的未知函数的估计,进而将所得的不等式的估计用于研究一类非线性和分-差分方程解的估计.     

一类微分型Gronwall不等式的应用及推广

常见的Gronwall不等式分为积分形式与微分形式。首先,对于常见的积分型Gronwall不等式,旨在给予一种新的证明方法,不同于以往不等式两端乘以指数函数的证明方法,而是应用最基本的积分公式加以证明,并用该不等式证明了一阶常微分方程解的唯一性;其次,旨在推广微分型Gronwall不等式,应用基本微分型不等式证明了波动方程解的唯一性及热传导方程的解能量估计;再者,应用变量代换、求导公式及基本的微分型Gronwall不等式,把一阶微分型的Gronwall不等式推广为两种情形:右端控制项由一次方升到α(α0)次方;把一阶微分型的Gronwall不等式推广到二阶微分型的Gronwall不等式,并得到与一阶相似的结论。     

一类Maxwell方程弱解的能量估计式

在一定假设条件下,利用杨格不等式和Gronwall不等式,在一类带有初边值条件的maxwell方程弱解存在条件下,证明了此maxwall方程弱解的能量估计式.     

投影下的离散Gronwall不等式的推广及应用

投影下的离散Gronwall不等式是研究具有指数二分性的差分方程的重要工具.为了研究非指数型增长的不变分解,本文将投影下的离散Gronwall不等式的一些结果推广到包括比指数型增长更弱的更一般的情形.进而,将它用于一个具有弱增长率的不变分解的差分方程,给出其有界解的估计.     

二阶非线性扰动差分方程的振动准则

将Gronwall不等式离散化,利用该不等式讨论了二阶非线性扰动差分程的振动性,把Winter和Lighton所建立的关于微分方程的振动性结果推广到差分方程上.     

一类Riemann-Loiuville型分数阶差分方程解对初值的连续依赖性

针对一类Riemann-Loiuville型分数阶差分方程,利用分数阶差分性质,构造了一个Volterra和分方程,再利用离散分数阶Gronwall不等式和离散Mittag-Leffler函数的性质,在合适的条件下获得了这个方程解对初值的连续依赖性,并用新方法证明了解的唯一性。     

关于一个积分不等式组的讨论

作者考虑了一类二维积分不等式组,该不等式组不能简单地用向量形式的Gronwall不等式进行估计.利用推广的Gronwall不等式,作者给出了这类积分不等式组关于未知函数的估计式,进而讨论了一个时滞系统解的有界性.     

Gronwall不等式的证明及有关应用

在证明Gronwall不等式的基础上,应用Gronwall不等式来证明存在唯一性定理中的唯一性、解的不等式、特殊的初值问题的解的存在性,以及有关微分方程及摄动方程的解的渐近性质.     

变系数Zakharov-Kuznetsov方程的三层线性隐式差分格式

利用有限差分法逼近变系数广义ZK(Zakharov-Kuznetsov)方程的初边值问题,建构一个三层线性化隐式差分格式.利用离散能量估计方法,讨论差分格式解的唯一性以及x方向的一阶差商在L∞模意义下的收敛性、稳定性和收敛阶数,并通过数值算例验证理论分析的结果.     

具Robin型阻尼边界二维波动方程的隐式有限差分格式

考虑左边界为零,右边界含Robin型阻尼项的二维波动方程,利用Taylor级数公式展开可得三层离散的隐式差分格式.将离散乘子法和Gronwall不等式用于证明该隐式格式在无穷维范数意义下数值解的存在性,收敛性以及稳定性.另外,可知该格式在时间和空间方向都为二阶精度.用一个数值算例验证了所建格式的理论结果.