英文翻译-Gronwall 不等式在微分方程中的应用.docVIP

第一章 Gronwall在微分方程定性理论和Volterra积分方程，实函数的Gronwall型不等式的变量之一发挥着非常重要的角色。第一利用Gronwall不等式建立的有界性和稳定性是R. Bellman。思路和方法R. Bellman给出，参见[16]给出了进一步的参考。1919年，Gronwall[50]证明了具有显著的不在文献中吸引了并将继续吸引相当多的关注。 定理1（Gronwall）（1）（1）1.1）可得， （13）(1-4)因此可以推出 (1-5) 另一个著名的Gronwall不等式推广是后续结果。 定理4 设: 是一个连续函数，满足不等式: (1-6) 其中：?是连续的: (是连续和单调递增。 可得 (1-7) 其中 给出， (1-8) 证明：其中 我们；和的关系（16） 通过集合得 因此 从而得到（17）的结果。 最后，我们将介绍微分方程中的另一种经典的结果calitative理论希尔伯特空间中单调算子 定理5设: 是一个连续函数并且满足下列关系: (1-9) 如果在和是中非负连续，其中 ; (1-10) 证明是一个函数 其中 由（1-9）可得 (1-11) 由; 我们可得 ; : 由积分区间上的一个，我们可以推断 根据 (1-11) 我们可以得出 因此每一个 这意味着（1-10）Gronwall型 我们现在将提出了一些其他的在文献中已知的Gronwall不等式类型，遵循C′mitrinovi的最近的一本书，PE C′ˇ卡尔和芬克[85]。在这一节中，我们给出了Gronwall不等式的各种概括涉及未知函数的一个变量。A[46]证明了下列线性Gronwall‘s不现象。 下面的两个定理在菲拉托夫和萨罗瓦47]在书第8-9 和18-20页被给出 定理9 满足在上连续非负，并且满足  和是在同一区间的非负可积函数，在上有界,则 第二个结果体现在以下几点。 定理10 在上是一个连续非负函数，使得 其中 则有 一个更一般的结论是Willett[ 125 ]和Harlamov [ 56 ]给出的。这里我们给出一个扩展版本，在beesack [ 14 ]第3-4页。 定理11 设 ，是连续的，、满足黎曼可积 (i) 如果 （112）（113）此外如果满足(1-13) 则区间 如果满足(1-12) 则 。 (ii) 如果那么主要结在（112）和（113）仍然是有效的 （iii）无论是（i）及（ii），如果 证明这个定理是那些典型Gronwall不等式。设 并且 可得 然后积分并乘以得 (1-14) 如果则取代(114) 把(1-12) 给 (113)。等式条件是明显的，类似（ii）的证明可得，或者可以通过变量的变化来证明。 定理12 B. Pachpatte [ 93 ]证明了类似的结果。 定理13 Willett’s的书[ 125 ]也包含其中线性概括是由双取代。也就是这样的一个结果了S.T. Gamidov [ 48 ]（见菲拉托夫和ˇ 萨罗瓦[ 47 ]），第19-20。此外这个结果可以从，观察到。Gamidov [ 48 ]也S.T. 给出了以下定理： 定理14 其中是常数函数是真实的，连续和非负的 并且如果 H. Movljankulov 和 A. Filatov [87]证明了一下结果: 定理18 设和是在连续实函数；在上一个连续非负函数 如果 (1-15)则 (1-16) 其中 核心是解决