Перейти к содержанию

Участник:Isbur/Теоретическая механика III/Билеты/Понижение порядка по Уиттекеру

Материал из Викиверситета

Понижение порядка по Уиттекеру. Автономизация системы

[править]

Пусть гамильтониан не зависит явно от времени . Рассмотрим регулярный уровень энергии в фазовом пространстве, не содержащий положений равновесия ( при ). Тогда - гладкая гиперповерхность. Определим функционал действия Мопертюи на множестве гладких кривых по формуле

Функционал не зависит от параметризации кривой , а только от ее ориентации.

Теорема. (принцип Мопертюи в фазовом пространстве). Кривая на уровне энергии является траекторией гамильтоновой системы тогда и только тогда, когда она является экстремалью функционала в классе кривых на с закрепленными концами.

Под траекторией гамильтоновой системы понимается ориентированная геометрическая кривая в фазовом пространстве, соответствующая решению. Параметризация значения не имеет.

Доказательство. Пусть — решение гамильтоновой системы, а - вариация с закрепленными концами . Отметим, что не зависит от параметризации, так что без ограничения общности можно считать, что не зависят от . Тогда

,

так что и отличаются на константу.

Поскольку по принципу Гамильтона, получим, что и требовалось.

Обратное утверждение доказывается несколько сложнее.

Задача. Докажите обратное утверждение, используя метод неопределенных множителей Лагранжа.

Следствие. Траектории гамильтоновой системы на уровне энергии определяются только поверхностью , но не конкретным видом функции .

Попробуем ограничить исходную систему уравнений Гамильтона на так, чтобы уравнения сохранили обычный (канонический) гамильтонов вид. Для этого будем считать расширенным фазовым пространством системы с степенями свободы. Перенумеровав обобщенные координаты и применив, если надо, каноническую замену , добьемся, чтобы . Будем параметризовать траектории гамильтоновой системы координатой так, что играет роль времени. Поскольку , замена возможна.

Выразим из уравнения :

Положим . Тогда .

Теорема. Траектории уравнений Гамильтона на уровне энергии , если их параметризовать параметром , совпадают с траекториями гамильтоновой системы с функцией Гамильтона :

Доказательство. Для любой кривой на уровне имеем

По принципу Мопертюи (эта часть была полностью доказана) траектории уравнений Гамильтона на уровне являются экстремалями функционала на множестве кривых с закрепленными концами. Теперь теорема следует из принципа Гамильтона в пространстве переменных .

Заметим, что из этой теоремы вытекает недоказанная часть принципа Мопертюи. Действительно, поскольку кривая является экстремалью тогда и только тогда, когда она является решением уравнений Уитеккера, через любую точку проходит единственная экстремаль . Но то же верно для траекторий гамильтоновой системы. Значит, любая экстремаль является траекторией.

Следует отметить, что за понижение порядка пришлось заплатить определенную цену: система перестала быть автономной. Операцию автономизации системы, в некотором смысле, обратную к понижению порядка по Уиттекеру, описывает следующее

Предложение. Неавтономные уравнения Гамильтона с функцией Гамильтона могут быть получены из автономных уравнений Гамильтона с функцией Гамильтона :

в результате проекции расширенных фазовых пространств .

Доказательство. Сразу следует из сравнения системы из условия с исходной системой

Таким способом из неавтономной системы получаем автономную за счет увеличения числа степеней свободы.