СРАВНЕНИЯ ТЕОРЕМА

Значение СРАВНЕНИЯ ТЕОРЕМА в математической энциклопедии:

в теории дифференциальных уравнений- теорема, утверждающая наличие определенного свойства решений дифференциального уравнения (или системы дифференциальных уравнений) в предположении, что нек-рым свойством обладает вспомогательное уравнение или неравенство (система дифференциальных уравнении пли неравенств).
П р и м е р ы С. т. 1) Теорема Ш т у р м а: любое нетривиальное решение уравнения

обращается в нуль на отрезке [t₀, t₁] не более траз если этим свойством обладает уравнение

и при (см. [1]). 2) Дифференциальное неравенство: решение задачи

покомпонентно неотрицательно при если этим свойством обладает решение задачи

и выполнены неравенства

Другие примеры С. т., в том числе теорема Чаплыгина, см. в ст. Дифференциальное неравенство. О С. т. для дифференциальных уравнений с частными производными см., напр., [3].
Богатым источником для получения С. т. служит принцип сравнения с вектор-функцией Ляпунова (см. [4] -[7]). Идея принципа сравнения состоит в следующем. Пусть заданы система дифференциальных уравнений

и вектор-функции

V(t, x) =(V₁(t, х),..., V_m(t, x)), W(t, v) =(W₁(t, v),.... W_m(t, v)), где v=(v₁, . . ., v_m). Для любого решения х(t)системы (1) функция v_j(t)=V_j(t,x(t)), j=1, . . ., т, удовлетворяет равенству

Поэтому если выполнены неравенства

то на основе свойств системы дифференц. неравенств

можно судить о поведении функций V_j(t, x(t)), являющихся решениями системы (3). В свою очередь, знание поведения функций V_j(t, x )на каждом решении х(t)системы (1) позволяет выносить суждения о свойствах решений системы (1).

Напр., пусть вектор-функции V(t, x), W(t, v )удовлетворяют неравенствам (2) и для любых существует число М>0 такое, что

при всех Пусть, далее, каждое решение системы неравенств (3) определено на Тогда каждое решение системы (1) также определено на
Большое число содержательных утверждений получено на основе принципа сравнения в теории устойчивости движения [см. [4] - [6]). Принцип сравнения с вектор-функцией Ляпунова с успехом применяется для дифференциального уравнения абстрактного, дифференциального уравнения с отклоняющимся аргументом, дифференциального включения. В частности, для дифференциального включения где F(t, x) - множество в зависящее от роль неравенств (2) играют неравенства

Большое число теорем сравнения приведено в [8].

Лит.:[1] Sturm С., лJ. math, pures et appl.