Основы теоретической физики/Свойства скобок Пуассона

Материал из testwiki
Перейти к навигации Перейти к поиску

1.3.4. Свойства скобок Пуассона

Перечислим некоторые основные свойства скобок Пуассона, большинство из которых выводятся прямо из определения  Шаблон:ОТФ  и из свойств производной от функции.

  1. {f,g}={g,f}
  2. {f,const}=0
  3. {f1+f2,g}={f1,g}+{f2,g}
  4. {f1,f2,g}=f1{f2,g}+f2{f1,g}
  5. t{f,g}={ft,g}+{f,gt}
  6. {f,qk}=fpk;{f,pk}=fqk
  7. {qi,qk}=0;{pi,pk}=0;{pi,qk}=δi,k
  8. {f,{g,h}}+{g,{h,f}}+{h,{f,g}}=0

Восьмое свойство называется «тождеством Якоби». Из этого тождества можно вывести «теорему Пуассона»: если функции f и g – являются интегралами движения, то их скобка Пуассона тоже интеграл движения.

Доказательство: пусть в тождестве Якоби функция h это Гамильтониан системы, то есть h=H. Запишем это: Шаблон:ОТФ

Разобьем дальнейшее доказательство на две части: а) если функции f и g – не зависят явно от времени Воспользуемся выражением  Шаблон:ОТФ : Шаблон:ОТФ

Подставим Шаблон:ОТФ в Шаблон:ОТФ и получим то, что и требовалось доказать: Шаблон:ОТФ

б) если функции f и g – зависят явно от времени Найдем полную производную по времени от интересующей нас скобки Пуассона как от функции, в которую время входит в явном виде: Шаблон:ОТФ

В правой части Шаблон:ОТФ для первого слагаемого воспользуемся пятым свойством скобок Пуассона, а для второго слагаемого воспользуемся тождеством Якоби: Шаблон:ОТФ

Теперь сделаем перегруппировку, воспользовавшись третьим свойством скобок Пуассона: Шаблон:ОТФ

В правой части Шаблон:ОТФ, внутри скобок Пуассона, получились полные производные по времени, которые равны нулю так как по условию функции f и g - являются интегралами движения: Шаблон:ОТФ

Как видим, в Шаблон:ОТФ скобка Пуассона от интегралов движения получилась равна константе, что и требовалось доказать.

См. также

<<Назад  |  Далее>>
Оглавление

Примечания

Шаблон:Примечания

Шаблон:Темы Шаблон:Готовность