где
— число, определяемое неравенством (4.19.2), то при имеет место неравенство (4.19.3). Действительно, полагая
и учитывая, что
также решение автономной системы (4.19.1), будем иметь
отсюда
т. е.
Определение 3. Орбитально устойчивое решение
называется асимптотически орбитально устойчивым, если существует такое, что для всех решений
удовлетворяющих неравенству
выполнено предельное соотношение
Таким образом, если
замкнутая орбитально устойчивая траектория, то достаточно близкие к ней при
траектории
навиваются на нее при
Замечание. Из устойчивости решения, очевидно, следует его орбитальная устойчивость. Но из орбитальной устойчивости решения, вообще говоря, не вытекает устойчивость его по Ляпунову, а тем более асимптотическая устойчивость.
Пример 1. Рассмотрим скалярную систему
Полагая
будем иметь
Траекториями на плоскости
здесь являются:
а) правые полупрямые
при
б) левые полупрямые
при
в) точки
при
Очевидно, любое решение
данной системы неустойчиво по Ляпунову при
Однако траектории типов а) и б) орбитально устойчивы.
Пример 2. Пусть
периодическое решение с периодом
автономной системы (4.19.1), не сводящейся к постоянной
Тогда такое решение не может быть асимптотически устойчивым.
Действительно, полагая, что
так как то при любом достаточно малом
будем иметь
Отсюда, учитывая
-периодичность решения
при произвольном
получаем
и, следовательно,
при
Однако орбитальная устойчивость периодического решения
и даже асимптотическая орбитальная устойчивость могут иметь место.
Лемма 1. Если автономная система (4.19.1) имеет нетривиальное
-периодическое решение
то для соответствующих уравнений в вариациях
представляющих собой линейную периодическую систему, по меньшей мере один из ее мультипликаторов
т. е. по крайней мере один из характеристических показателей системы (4.19.5) является нулевым.
Доказательство. Согласно лемме из § 18 система (4.19.5) допускает
-периодическое решение
Поэтому периодическая система (4.19.5) имеет по крайней мере один мультипликатор
(гл. III, § 15). Отсюда, беря главное значение логарифма, получаем, что соответствующий характеристический показатель
будет нулевым:
Определение 4. Будем говорить, что решение
имеет свойство асимптотической фазы (см. [52], [28]), если для каждого решения
удовлетворяющего начальному неравенству (4.19.4), где достаточно мало, существует число
(асимптотическая фаза) такое, что
Лемма 2. Орбитально устойчивое решение
с асимптотической фазой асимптотически орбитально устойчиво.
Доказательство. Действительно, при
имеем
Отсюда на основании условия (4.19.6) получаем
что и требовалось доказать.