Gronwall不等式推广及其应用

Gronwall不等式的推广及其应用摘要：本文主要研究了gronwall不等式的性质,将gronwall积分不等式中的非负常数推广为非负变量函数 ;利用gronwall积分不等式建立了函数矩阵中的一个gronwall型积分不等式,并由此证明了一阶微分方程及一类函数矩阵微分方程解的唯一性.

关键词：gronwall不等式;一阶微分方程;函数矩阵微分方程.

the promotion and application of gronwall inequality wei wenjie

(school of mathematics and statistics tianshui normal university，

tianshui 741000，china)

abstract：in this paper，we study the property of gronwall inequality, and get a new inequality about gronwall inequality instead with. furth more, we get another gronwall inequality in functional matrix. finally, we get the uniqueness of solution in some first order differential equation and function matrix differential equation.

key word: gronwall inequality; first order differential equation; function matrix differential equatio

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形式查看。