Gronwall不等式

编辑 锁定 讨论
Gronwall不等式是常用不等式之一。它与Holder不等式一样,分别具备离散形式与连续形式。
数学中,格朗沃尔引理格朗沃尔不等式说明了对于满足一定的微分方程积分方程的函数,有相应的关于此微分方程或积分方程的不等式。格朗沃尔不等式有两种形式,分别是积分形式和微分形式。积分形式下的不等式可以有几种不同的写法。
中文名
格朗沃尔不等式
外文名
Gronwall's inequality
提出者
瑞典数学家格朗沃尔
应用学科
数学
适用领域范围
数学
形    式
积分形式和微分形式

Gronwall不等式释义

编辑
格朗沃尔不等式常常被用来估计常微分方程的解的取值范围。比如,它可以用来证明初值问题的解的唯一性(见柯西-利普希茨定理)。
格朗沃尔不等式的名称来自多玛·哈肯·格朗沃尔。格朗沃尔是一位瑞典数学家,后来移居美国
格朗沃尔不等式的微分形式首先由格朗沃尔在1919年证明。 [1]  而积分形式则是由理查德·贝尔曼(Richard Bellman)在1943年证明。 [2] 

Gronwall不等式离散形式

编辑
是非负实数列,
。如果对每一个
那么

Gronwall不等式连续形式

编辑
是定义在
上的连续实函数,
。如果对一切
,都有
那么

Gronwall不等式微分形式

编辑
I是一个实数区间,记为:[a,∞) 或 [a,b] 或 [a,b),其中a<b。又设βu为定义在I上的实数值的连续函数。假设u是一个在I内部(也就是不包括端点)可微的函数,并且满足如下的微分不等式: [3] 
那么对于所有的
,函数u都小于等于以下微分方程的解:
注意:不等式对函数βu的符号没有任何要求。
证明
如果设
是以下微分方程
其中v(a)= 1 的解,那么对所有的t都有v(t)> 0, 因此根据复合函数求导法则中的除法定则:
对所有的t>a成立,因此
于是格朗沃尔不等式得证。

Gronwall不等式积分形式

编辑
I是一个实数区间,记为:[a,∞) 或 [a,b] 或 [a,b),其中a<b。又设αβu为定义在I上的实数值的函数。假设βu是连续的,则有: [3] 
(a) 如果β是非负函数并且u满足如下的积分不等式:
那么
(b) 如果在之前的条件下,α还是一个常数,那么
注意:
不等式的成立条件里并没有限制αu的符号;
相比于微分形式,积分形式中对函数u的可微性没有做要求。
证明
(a) 定义
则运用复合函数求导法则中的乘积法则、链式法则指数函数的求导法则以及微积分基本定理,可以得到:
由于注意到括号中的部分小于α,可以得到相应的不等式,并进行积分。由于函数β以及其指数都是非负函数,积分后不等号保持不变。然而v(a)=0,因此积分式等价于:
再运用第一步里v(t) 的定义,就得到:
最后将原来条件里的不等式带入上式左边,就可以得到格朗沃尔不等式了。
(b) 如果函数α为常数函数,那么命题 (a) 中不等式的右边可以进行积分。由微积分基本定理可以获得:
参考资料
  • 1.    T. H. Gronwall: Note on the derivative with respect to a parameter of the solutions of a system of differential equations, Ann. of Math 20 (1919), 292–296.
  • 2.    Richard Bellman, The stability of solutions of linear differential equations, Duke Math. J. 10 (1943), 643–647.
  • 3.    楼红卫,林伟,《常微分方程》,复旦大学出版社,2007年
词条标签:
科学百科数理科学分类 科学