Gronwall不等式【DOC精选】.doc

Gronwall不等式及其应用 1. 引言 众所周知, Gronwall不等式在分析的许多领域,例如常微分方程及积分方程,都有着重要的应用.本文将一维空间(即实数范围内)的不等式推广到无穷维的有序空间中去,然后给出它在常微分方程中的若干重要的应用.其中的一些定理是新给出的或对某些教科书中的定理给出新的证明. 2. 一个抽象的Gronwall不等式 设为空间中的一个锥，即是中的一个非空凸闭集，并满足： (i) (ii) 给定E中的一个锥P后,则可在E中的元素间引入半序:,则E按上述定义的半序成为一个有序的Banach空间。又若存在常数,使当时,恒有,则称锥P是正规的,而这里的正数N称为正规常数, 为E中的零元素，有了上述概念之后,我们就可以将实数空间中的Gronwall不等式推广到无穷维有序的Banach空间上. 定理2.1 设P是实Banach空间E中的正规锥, N为正规常数, E按上述定义的半序成为有序的Banach空间.设,(这里及以后假定为n维实的欧几里得空间),满足: 则 当时，即由 可得 证明 首先设，则由锥P正规及（1.1）得 (i)证法1令 则在上可导，且, 对上式从a到积分得 当时，由（1.3）得 所以有 从而 而 为任意小正数，故只能 即 证法2 令 所以 且有 此不等式两边同时从到积分, 得到 得到 (ii) 当时,由上式得 即 在定理1.1中取,则为中的正规锥(正规常数为1), 由导出的半序成为有序的Banach空间,其中的范数由下列之一给出 则由定理1.1可得 推论2.1 设满足:存在常数使得 则 其中,它们的范数为中的范数。特别当时，可得 若在推论1.1中,取,则得到一般教科书中所介绍的Gronwall不等式. 推论2.2 (Gronwall不等式)为常数满足 则有 特别当时, 3. Gronwall不等式对常微分方程初值问题解的唯一性的应用 定理3.1 设为实Banach空间, 满足:存在上的非负的连续函数,使都有 又设，则当初值问题 (2.1) 有连续可微的解时, 解必唯一. 1