показателем решения X. Записывая инвариант Пуанкаре для этих решений, будем иметь
Сумма
является исчезающей или ограниченной функцией, поэтому условие
выполняется только тогда, когда имеет место неравенство или равенство
т. е. хотя бы однн из характеристических показателей
к должен быть неотрицательным.
Предположим, что характеристический показатель
Это значит, что среди функций
имеется хотя бы одна, неограниченно возрастающая при
и невозмущенное движение неустойчиво. Невозмущенное движение может быть устойчивым только тогда, когда ограничены все возмущения, т. е. когда все характеристические показатели решений уравнений в вариациях неположительны. Так как всегда существует два решения уравнений в вариациях, для которых
то невозмущенное движение консервативной системы может быть устойчивым только тогда, когда все характеристические показатели решений уравнений в вариациях равны нулю.