Лемма Гронуолла — Беллмана

Материал из Википедии — свободной энциклопедии
Это текущая версия страницы, сохранённая Dimaush16 (обсуждение | вклад) в 20:05, 9 июня 2022 (Доказательство). Вы просматриваете постоянную ссылку на эту версию.
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

В математике лемма Гронуолла, также называемая леммой Гронуолла-Беллмана, позволяет ограничить функцию, удовлетворяющую определенному дифференциальному или интегральному неравенству решением соответствующего дифференциального или интегрального уравнения[1][2]. Имеется две формулировки леммы — в дифференциальной и в интегральной формах. Лемма Гронуолла является важным инструментом при получении различных оценок в теории обыкновенных и стохастических дифференциальных уравнений. В частности, она используется при доказательстве единственности решения задачи Коши.

Формулировка

[править | править код]

Пусть

при этом для выполняется неравенство:

где — положительная константа.

Тогда при имеем оценку:

Доказательство

[править | править код]

Из неравенства (1) получим:

и

А так как

то, проинтегрировав неравенство (3) в пределах от до , получим:

Отсюда, используя неравенство (1), получаем:

что и требовалось доказать.

Усиленная лемма Гронуолла

[править | править код]

Пусть функция неотрицательна и непрерывна в промежутке и удовлетворяет там неравенству[3]: . Тогда при справедливо неравенство: .

Примечания

[править | править код]
  1. Беллман Р., Теория устойчивости решений дифференциальных уравнений, ИЛ, 1954
  2. Bihari J., A genralizatial of differential equations, Acta math. Acad. Scient. Hung. VII, 1 (1956), 81-94
  3. Лизоркин П. И. Курс дифференциальных и интегральных уравнений с дополнительными главами анализа. - М., Наука, 1981. - c. 26-27
  • PlanetMath
  • Демидович Б. П. Лекции по математической теории устойчивости. М.: «Наука», 1967.