В анализе динамических систем часто возникает ситуация, когда найти точное решение системы дифференциальных уравнений невозможно. Однако для многих прикладных задач достаточно знать оценку этого решения. Здесь на помощь приходит мажорантное свойство, которое традиционно связывают с именами Камке, Мюллера, Важевского и Чаплыгина.

Идея проста: если одна система «больше» другой по правым частям и начальным условиям, то и её траектория будет лежать «выше».

Далее под записью для векторов

понимается выполнение системы неравенств для всех . Введем обозначение:

Пусть — открытое множество и

Будем считать, что множество обладает следующим свойством: если и , то .

Рассмотрим две задачи Коши:

Идея в том, что одна система — «сложная» (нерешаемая), а вторая — «простая», свойства которой нам полностью известны. На практике мы сами конструируем простую систему для оценки сложной.

Основная теорема

Предположим, что выполнены следующие условия:

1. для всех ;

2. .

Кроме того, существуют диагональные матрицы и матрицы из неотрицательных элементов такие, что:

Утверждение: Если — решения соответствующих задач Коши (1), определенные на , то при всех верно неравенство:

План доказательства

Рассмотрим функцию — решение следующей задачи Коши при :

Нижними индексами и мы обозначаем частные производные.

Можно показать (хотя это несколько сложнее), что решение задачи (2) определено при всех .

Ясно, что и . Проверим, что функция не убывает (т. е. компоненты вектора являются неубывающими функциями ) при каждом фиксированном .

Функция не убывает, если её производная по соответствующему параметру неотрицательна. Таким образом, наша задача сводится к тому, чтобы доказать неравенство .

1. Дифференцирование по параметру

Продифференцируем задачу (2) по :

Нам надо показать, что при всех .

2. Анализ области монотонности

Введем обозначение:

Очевидно, это множество непусто () и замкнуто. Проверим, что число совпадает с концом интервала .

3. Метод неподвижной точки

Предположим противное: . Перепишем задачу в интегральной форме:

Уравнение выше — это задача о неподвижной точке. В силу принципа сжатых отображений она имеет решение при малых

.

За нулевое приближение возьмем . Далее по индукции получаем, что для всех (так как все слагаемые в операторе неотрицательны).

Поскольку при , имеем на некотором интервале и всех . Это противоречит определению , что и доказывает теорему.

Пример

Из сформулированной теоремы напрямую вытекает неравенство Гронуолла — Беллмана. Действительно, пусть неотрицательная, непрерывная, скалярная функция удовлетворяет неравенству:

где — неотрицательная константа, а — неотрицательная, непрерывная функция.

Введем вспомогательную функцию:

Тогда имеем:

Заметим, что функция является решением следующей задачи Коши:

Согласно условию , выражение в скобках неотрицательно. Следовательно, мы можем промажорировать эту систему другой задачей Коши:

Решение этой задачи находится элементарно:

В силу доказанной теоремы и исходного неравенства , получаем искомый результат: