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

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

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

Скобка Пуассона и ее свойства. Тождество Якоби. Теорема Пуассона о первых интегралах.

[править]

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

Здесь — оператор дифференцирования вдоль векторного поля . Первое равенство — определение, а второе — просто тождество.

Следующие свойства скобки Пуассона сразу вытекают из определения.

1. Гладкая функция — первый интеграл уравнений Гамильтона с гамильтонианом тогда и только тогда, когда .

2.

3. Операция билинейна и кососимметрична.

4. В канонических координатах

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

5. Тождество Лейбница:

6. Тождество Якоби:

для любых трех функций .

Свойства 3 и 6 означают, что скобка Пуассона задает на пространстве гладких функций структуру алгебры Ли.

Предложение. (теорема Пуассона). Пусть и — первые интегралы гамильтоновой системы. Тогда — тоже первый интеграл.

Доказательство. Действительно, если система автономна, то . Тогда согласно тождеству Якоби имеем: . Неавтономный случай сводится к этому с помощью автономизации.

К сожалению, это утверждение редко приносит пользу в задачах поиска новых интегралов движения. Как правило, скобка Пуассона двух первых интегралов оказывается уже известным интегралом или вообще нулем.