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

2011年9月 四川师范大学学报(自然科学版) Sept．，2011 第34卷 第5期 JournalofSiehuanNormalUniversity(NaturalScience) Vo1．34，No．5 一 类非线性Mate—Nevai型离散不等式及其应用 严 勇 (四川民族学院数学系。四川康定626001) 摘要：GronwaU不等式及其各种线性、非线性推广是研究微分方程和差分方程解的存在性、有界性、唯一 性和稳定性的重要工具．而离散的Gronwall不等式在验证微分方程与积分方程数值解的收敛性方面有着十分 的重要作用．研究了一类非线性的Mate—Nevai型离散不等式，在 B．G．Pachpatte(TamkangJMath，2001，32： 217—223．)的结果的基础上增加了二元函数项，该不等式含有两个无穷和项和一个非常数项．放弃对函数的 单调性要求，通过将求和号外的函数作常量化，利用函数的单调化技巧和函数的次可乘性 ，给出了不等式中的 未知函数的估计，进而将所得的不等式的估计用于研究一类非线性和分一差分方程解的估计． 关键词：非线性离散不等式 ；和分一差分方程；未知函数估计 中图分类号：0178 文献标志码：A 文章编号：1001—8395(2011)05一o677—07 doi：10．3969／j．issn．1001—8395．2011．05．017 1 预备知识 “(t)≤c+f s) ((s))ds+ 在微分方程理论的研究中，常常需要对满足微 I g(s)∞(Ⅱ(s))ds， o≤tt1． 分不等式中的未知函数进行估计，这样的估计在研 6fto) 究微分方程解的存在性、唯一性、有界性等方面有 之后，Lipovan的结果又被文献[5]推广为下面更一 着十分重要 的作用n-22]．1919年，T．H．Gron— 般的形式 wall¨为研究微分方程的解对参数的依赖性，给出 (￡)≤ (￡)+ ~ = Jbi(to(t,s)O)i(u(s))． 了如下的积分不等式 i l ^‘ 与连续型的 Gronwall不等式相对应 的是离散 的 “(t)≤』[卢H(s)+c]ds， Gronwall不等式．近年来，由于差分方程在数值分析 d 口 t∈J=[，+^]， (1) 和工程领域的广泛应用，差分方程类型的多样化需 其中，和 c是非负常数，给出了估计0≤u(t)≤ 要多样化的离散不等式．对于离散不等式，有时可 chexp(3／h)，t∈ 以套用相应的积分不等式的结果．但把已有的积分 之后，人们将这种不等式称为 Gronwall不等 不等式转化成相应的离散不等式，有时也是相当困 式．由于 Gronwall不等式在微分方程的稳定性 、周 难的，这方面的工作见文献 [6—18]．在这些工作 期性、不变流形等方面有重要的应用，对于这类不 中，A．Mate和