Участник:Isbur/Теоретическая механика III/Билеты/Скобка Пуассона
Скобка Пуассона и ее свойства. Тождество Якоби. Теорема Пуассона о первых интегралах.
[править]Пусть — симплектическое многообразие. Для любых двух гладких функций на определим их скобку Пуассона
Здесь — оператор дифференцирования вдоль векторного поля . Первое равенство — определение, а второе — просто тождество.
Следующие свойства скобки Пуассона сразу вытекают из определения.
1. Гладкая функция — первый интеграл уравнений Гамильтона с гамильтонианом тогда и только тогда, когда .
2.
3. Операция билинейна и кососимметрична.
4. В канонических координатах
Поскольку — оператор дифференцирования вдоль векторного поля, получаем следующее свойство
5. Тождество Лейбница:
6. Тождество Якоби:
для любых трех функций .
Свойства 3 и 6 означают, что скобка Пуассона задает на пространстве гладких функций структуру алгебры Ли.
Предложение. (теорема Пуассона). Пусть и — первые интегралы гамильтоновой системы. Тогда — тоже первый интеграл.
Доказательство. Действительно, если система автономна, то . Тогда согласно тождеству Якоби имеем: . Неавтономный случай сводится к этому с помощью автономизации.
К сожалению, это утверждение редко приносит пользу в задачах поиска новых интегралов движения. Как правило, скобка Пуассона двух первых интегралов оказывается уже известным интегралом или вообще нулем.