《Gronwall不等式的推广及其应用》-毕业论文（设计）.docVIP

Gronwall不等式的推广及其应用 关键词：gronwall不等式;一阶微分方程;函数矩阵微分方程. 1. 前言 在数学中,gronwall不等式说明了对于满足一定的微分方程或积分方程的函数,有相应的关于此微分方程或积分方程的不等式.gronwall不等式常常被用来估计常微分方程解的取值范围.比如,它可以用来证明初值问题的解的唯一性. gronwall不等式的微分形式首先由gronwall在1919年证明.而积分形式则是由richard bellman在1943年证明.gronwall是一位瑞典的数学家,后来移居美国.由于本文只介绍gronwall不等式的积分形式,故其微分形式再不做介绍.本文用两种不同的方法证明了gronwall不等式,并给出两个相关的结论. 2．gronwall不等式的证明 定理 2.1(gronwall不等式)设 为非负常数, 和 为在 上的连续非负函数,且满足不等式+,则有 , 证明 方法一: 设 ,则 .用 乘不等式的两边得 , 即 , 再用 乘上式两边,得 , , , 两边从 到 积分, , 并由 ,得 , 所以. 方法二: 当 时,由条件不等式得 ,两边从 到 积分, 得. 由上式和条件不等式知 当 时,这时条件不等式变为 ,结论变为 . 事实上,对 ,成立 ,从而由 可知, 而由 得任意性可知. 综合 、 可知 推论 若 , 和 为在 上的连续非负函数,且满足不等式,则有. 3．gronwall不等式的推广 3.1 非负变量下的gronwall不等式 在上述讨论中,“非负常数 ”这个条件可以放宽,下将 改为非负函数 ,可得如下结果 定理3.1 设 为 上的连续非负函数,满足 且小于无穷. 则： . 证明：由题意可知： . 令 ,给(1)两边乘以 可得 , 所以有 . 从而上述命题得证 . 参考文献 [1]赵玉萍．gronwall不等式的应用及微分方程的奇解[j]．青海师专学报(自然科学版), 2002,(5)：20—21． [2]匡继昌.常用不等式(第三版)[m]．济南：山东科学技术出版社,2004．564-566. [3]丁同仁,李承治．常微分方程教程[m]．北京：高等教育出版社.1991．35—36. [4]华东师范大学数学系. 数学分析[m]. 北京:高等教育出版社,1991年（第二版）.77-79. [5]孙莉.关于gronwall不等式证明的注记[j]. 徐州师范大学学报（自然科学版）,2007,10(1).69-71. [6]邹晓范,刘春妍．gronwall不等式在常微分方程中的应用[j]. 休木斯大学学报（自然科学版）,2004.22(3).417-419 [7]王高雄等. 常微分方程[m] . 北京:高等教育出版社,2001.77-78,195-197. [8]东北师大数学系. 常微分方程[m] . 北京:高等教育出版社,1982.127-130. 注：文章内所有公式及图表请用pdf形式查看。