где – дважды непрерывно дифференцируемая вектор-функция. Пусть – некоторая траектория системы (1), содержащаяся при в ограниченной области . В дальнейшем будем также предполагать, что в замыкании области . Введём в рассмотрение симметричную не особую матрицу , где – дважды непрерывно дифференцируемые вектор-функции, и дважды непрерывно дифференцируемую вектор-функцию , удовлетворяющую неравенству . Пусть – некоторая симметричная – матрица, –дифференцируемая функция, и –числовые последовательности, удовлетворяющие условиям , , . Здесь и – некоторые числа. Введём также обозначение . Теорема. Пусть выполнено неравенство . Тогда если квадратичная форма на множестве положительно определена и выполнено неравенство , то траектория орбитально асимптотически устойчива. Если квадратичная форма на множестве не вырождена, может принимать отрицательные значения и выполнены неравенства , , , то траектория будет орбитально неустойчивой. Доказательство. Рассмотрим множество . Здесь – некоторое достаточно малое число. Зафиксируем некоторую точку и будем изучать поверхность в некоторой достаточно малой окрестности точки . Из следует, что найдётся число такое, что , . Возьмём число , близкое к . В этом случае .Определим теперь отображение точки в гиперплоскость таким образом, чтобы
. (2)
При этом число будем выбирать так, чтобы , а матрицу такой, чтобы имело место соотношение (2). Ясно, что . Здесь , считаем, что величина является большой. Отсюда следует, что для выполнения соотношения (2) достаточно, чтобы выполнялось равенство
. (3)
Из соотношения (2) следует, что вектор ,нормальный к в точке , может быть определён следующим образом: , где , . Заметим, что
. Поэтому
. Отсюда и из соотношения (3) получим, что
.
(4)
Покажем теперь, что траектория системы (1), проходящая в момент времени через точку , удовлетворяет с точностью до соотношению . (5)
Для этого отметим, что при малых .Поэтому вектор с точностью до принадлежит гиперплоскости , которая параллельна гиперплоскости, касательной к поверхности , и проходит через точку . Ясно также, что проходит через расположенную в гиперплоскости точку , где . Отсюда, из соотношения и того факта, что векторы, нормальные к и в точке , совпадают с точностью до , следует соотношение (5). Из включения (5), равенства (4) и условия 1) теоремы вытекает при всех соотношение , где – некоторая непрерывная функция, удовлетворяющая неравенству . Используя это неравенство, условия 2), 3) теоремы и стандартную ляпуновскую технику, получим утверждение теоремы. В случае , , , , получим широко известный признак Пуанкаре. Список использованных источников Демидович Б. П. Обыкновенные дифференциальные уравнения. М., 1970. Леонов Г. А. Многомерный аналог признака орбитальной устойчивости Пуанкаре.// Дифференциальные уравнения, 1988 №9 Хартман Ф. Обыкновенные дифференциальные уравнения. М., 1970.
