Преобразование Лежандра и его свойства
[править]
Гладкая функция
определяет отображение
Предположим, что отображение
имеет гладкое обратное
. Локально это гарантируется условием Лежандра
. Будем предполагать, что это условие выполнено. Преобразованием Лежандра функции
называют функцию
:
Из следующего утверждения видно, что
также удовлетворяет условию Лежандра.
Лемма. Пусть для функции
в точке
выполнено условие Лежандра, тогда в некоторой окрестности точки
определено преобразование Лежандра
и
Доказательство. Первое соотношение выполнено по определению. Используя его и дифференцируя
получаем второе. Отсюда получаем третье:
Предложение. Преобразование Лежандра инволютивно:
Доказательство. Поскольку
, достаточно доказать, что
. Но это следует из леммы.
В частности, гамильтониан — преобразование Лежандра лагранжиана, а лагранжиан — преобразование Лежандра гамильтониана.
Лемма. Пусть функция
зависит от дополнительного переменного
. Тогда
и
.
Доказательство. Повторяя доказательство леммы выше, получим
Применив данное утверждение к функции Лагранжа
, получим, что в канонических переменных уравнения Лагранжа переходят в уравнения Гамильтона. Отметим еще, что функция Рауса — преобразование Лежандра лагранжиана по циклическим скоростям.