Сравнения Теорема

в теории дифференциальных уравнений- теорема, утверждающая наличие определенного свойства решений дифференциального уравнения (или системы дифференциальных уравнений) в предположении, что нек-рым свойством обладает вспомогательное уравнение или неравенство (система дифференциальных уравнении пли неравенств). П р и м е р ы С. Т. 1) Теорема Ш т у р м а. Любое нетривиальное решение уравнения обращается в нуль на отрезке [t0, t1] не более траз если этим свойством обладает уравнение и при (см. [1]). 2) Дифференциальное неравенство. Решение задачи покомпонентно неотрицательно при если этим свойством обладает решение задачи и выполнены неравенства Другие примеры С. Т., в том числе теорема Чаплыгина, см.

В ст. Дифференциальное неравенство. О С. Т. Для дифференциальных уравнений с частными производными см., напр., [3]. Богатым источником для получения С. Т. Служит принцип сравнения с вектор-функцией Ляпунова (см. [4] -[7]). Идея принципа сравнения состоит в следующем. Пусть заданы система дифференциальных уравнений и вектор-функции V(t, x) =(V1(t, х),..., Vm(t, x)), W(t, v) =(W1(t, v),. Wm(t, v)), где v=(v1, . ., vm). Для любого решения х(t)системы (1) функция vj(t)=Vj(t,x(t)), j=1, . ., т, удовлетворяет равенству Поэтому если выполнены неравенства то на основе свойств системы дифференц. Неравенств можно судить о поведении функций Vj(t, x(t)), являющихся решениями системы (3). В свою очередь, знание поведения функций Vj(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..