Теорема о мажорировании: как сравнивать решения систем ОДУ через их правые части

2026-04-04 в 17:13, admin, рубрики: дифференциальные уравнения

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

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

Пусть $D subset mathbb{R}^m={x=(x^1, dots, x^m)}$ — открытое множество и

$f_1, f_2 in C(I times D, mathbb{R}^m),$ $frac{partial f_1}{partial x}, frac{partial f_2}{partial x}in C(I times D, mathbb{R}^{mtimes m}),quad I=[t_0,t_1].$

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

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

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

$x=(x^1,ldots,x^m),quad y=(y^1,ldots,y^m) in mathbb{R}^m$

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

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

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

для всех ;
.

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

$frac{partial f_i}{partial x}=U_i + B_i, quad i=1,2.$

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

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

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

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

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

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

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

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

$begin{aligned} y_{st} &=f_2 - f_1 + (u + b)y_s, \ u(t,s) &=sU_2(t, y(t,s)) + (1-s)U_1(t, y(t,s)), \ b(t,s) &=sB_2(t, y(t,s)) + (1-s)B_1(t, y(t,s)), \ y_s|_{t=t_0} &=hat x_2 - hat x_1 ge 0.end{aligned}$

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

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

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

$A={t in I mid y_s(xi, s) ge 0, quad xi in [t_0, t],quad sin[0,1]}.$

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

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

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

$y_s(t,s)=e^{int_{tau}^t u , dlambda} y_s(tau,s)$ $+ int_{tau}^t e^{int_{xi}^t u , dlambda} (f_2 - f_1 + b y_s) , dxi=: Phi(y_s).$

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

За нулевое приближение возьмем $Y_0=e^{int_{tau}^t u , dlambda} y_s(tau,s) ge 0$ . Далее по индукции $Y_{k+1}=Phi(Y_k)$ получаем, что для всех (так как все слагаемые в операторе неотрицательны).

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

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