Gronwall不等式的推广及其应用.docx

数学与统计学院2009届毕业论文 Gronwall不等式的推广及其应用 摘要：本文主要研究了Gronwall不等式的性质,将Gronwall积分不等式中的非负常数推广为非负变量函数;利用Gronwall积分不等式建立了函数矩阵中的一个Gronwall型积分不等式,并由此证明了一阶微分方程及一类函数矩阵微分方程解的唯一性. 关键词：Gronwall不等式;一阶微分方程;函数矩阵微分方程. The Promotion and Application of Gronwall Inequality 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 equation 目 录 前 言 ………………………………………………………………………………………1 Gronwall不等式证明 ……………………………………………………………………1 Gronwall不等式的推广 …………………………………………………………………2 3.1非负变量下的Gronwall不等式……………………………………………………2 3.2函数矩阵范数的Gronwall不等式…………………………………………………3 Gronwall不等式的应用 …………………………………………………………………4 4.1一阶微分方程Lipschitz存在唯一性定理中的唯一性问题 ………………5 4.2函数矩阵微分方程解的唯一性……………………………………………………6 PAGE 1 Gronwall不等式的推广及其应用 1. 前言 在 \o 数学 数学中,Gronwall不等式说明了对于满足一定的 \o 微分方程 微分方程或 \o 积分方程 积分方程的函数,有相应的关于此微分方程或积分方程的 \o 不等式 不等式.Gronwall不等式常常被用来估计 \o 常微分方程 常微分方程解的取值范围.比如,它可以用来证明 \o 初值問題 初值问题的解的 \o 唯一性 唯一性. Gronwall不等式的微分形式首先由Gronwall在1919年证明.而积分形式则是由 \o en:Richard Bellman Richard Bellman在1943年证明.Gronwall是一位 \o 瑞典 瑞典的 \o 数学家 数学家,后来移居 \o 美国 美国.由于本文只介绍Gronwall不等式的积分形式,故其微分形式再不做介绍.本文用两种不同的方法证明了Gronwall不等式,并给出两个相关的结论.最后给出Gronwall不等式在常微分方程中的应用. 2．Gronwall不等式的证明 定理 2.1(Gronwall不等式) 设为非负常数,和为在上的连续非负函数,且满足不等式+ ,则有 , 证明 方法一: 设,则.用乘不等式的两边得 , 即 , 再用乘上式两边,得 , , , 两边从到积分,, 并由,得 , 所以 . 方法二: 当时,由条件不等式得,两边从到积分, 得 . 由上式和条件不等式知 当时,这时条件不等式变为,结论变为. 事实上,对,成立,从而由可知, 而由得任意性可知 . 综合、可知 推论 若,和为在上的连续非负函数,且满足不等式 ,则有 . 3．Gronwall不等式的推广 3.1 非负变量下的Gronwall不等式 在上述讨论中,“非负常数”这个条件可以放宽,下将改为非负函数,可得如下结果： 定理3.1 设为上的连续非负函数,满足 且小于无穷. 则：. 证明：由题意可知：