Скобки Пуассона и интегрируемость

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

Definition

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

Scope

Эта тема охватывает определение и свойства скобки Пуассона, ее использование для выражения уравнений движения и идентификации интегралов движения, фундаментальные скобки между координатами и импульсами, а также теорему Лиувилля об интегрируемости, которая утверждает, что система с достаточным количеством независимых коммутирующих сохраняющихся величин допускает координаты действие-угол. Она также очерчивает контраст между интегрируемой и хаотической динамикой.

Core questions

• Как скобка Пуассона выражает временную эволюцию и сохранение?
• Что делает гамильтонову систему интегрируемой в смысле Лиувилля?
• Как структура скобок Пуассона переносится на квантовые коммутаторы?

Key concepts

• Скобка Пуассона
• Интегралы движения в инволюции
• Фундаментальные скобки
• Интегрируемые системы
• Инвариантные торы
• Соответствие с квантовыми коммутаторами

Key theories

Динамика скобок Пуассона

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

Интегрируемость по Лиувиллю-Арнольду

Система с n степенями свободы, имеющая n независимых интегралов движения в взаимной инволюции, является интегрируемой, и ее ограниченное движение происходит на инвариантных торах, описываемых переменными действие-угол.

Clinical relevance

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

History

Пуассон ввел свою скобку в 1809 году, изучая постоянство орбитальных элементов, а Якоби признал ее центральную алгебраическую роль в гамильтоновой динамике. Теорема Лиувилля об интегрируемых системах XIX века была позднее уточнена Арнольдом до современной теоремы Лиувилля-Арнольда, а скобка Пуассона вновь появилась как классический аналог квантового коммутатора в работах Дирака.

Key figures

• Siméon Denis Poisson
• Joseph Liouville
• Vladimir Arnold

Seminal works

• arnold1989
• goldstein2002

Frequently asked questions

Как скобки Пуассона связаны с квантовой механикой?

В каноническом квантовании Дирака классическая скобка Пуассона заменяется коммутатором операторов, деленным на множитель i, умноженный на приведенную постоянную Планка, что делает скобку классической тенью квантовой некоммутативности.

Что означает, что система является интегрируемой?

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