Скобки Пуассона: свойства, формулы и применение в механике

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

Чтобы быстро разобрать конкретную скобку или доказать нужное свойство, опишите задачу в форме ниже.

Определение скобки Пуассона

Пусть на фазовом пространстве заданы канонические координаты $q_i$ и импульсы $p_i$, $i = 1, \dots, n$. Скобка Пуассона двух гладких функций $f(q, p)$ и $g(q, p)$ определяется как

$$\{f, g\} = \sum_{i=1}^{n} \left( \frac{\partial f}{\partial q_i} \frac{\partial g}{\partial p_i} - \frac{\partial f}{\partial p_i} \frac{\partial g}{\partial q_i} \right).$$

Это сумма «перекрёстных» произведений частных производных: производная первой функции по координате на производную второй по импульсу минус симметричное слагаемое. Результат - снова функция координат и импульсов.

Рассчитать для своей задачи

Геометрически скобка измеряет, насколько «закручены» друг относительно друга линии уровня двух функций на фазовом пространстве. Если функции зависят явно от времени, частные производные по $t$ в саму скобку не входят - время в определении выступает параметром.

Антисимметрия

Первое и самое наглядное свойство - антисимметрия:

$$\{f, g\} = -\{g, f\}.$$

Перестановка аргументов меняет знак. Прямое следствие: скобка функции с самой собой равна нулю, $\{f, f\} = 0$. Это сразу даёт важный физический факт - гамильтониан, не зависящий явно от времени, сохраняется, потому что $\{H, H\} = 0$.

Антисимметрия делает скобку похожей на векторное произведение и на коммутатор в квантовой механике. Именно эта параллель лежит в основе принципа соответствия: классическим скобкам Пуассона при квантовании отвечают коммутаторы операторов, делённые на $i\hbar$.

Билинейность и правило Лейбница

Скобка линейна по каждому аргументу. Для констант $a, b$:

$$\{a f + b g, h\} = a\{f, h\} + b\{g, h\}.$$

По второму аргументу линейность следует из первой вместе с антисимметрией. Билинейность позволяет раскладывать сложные скобки на простые слагаемые - это рабочая лошадка большинства вычислений.

Второе вычислительное свойство - правило Лейбница (правило дифференцирования произведения):

$$\{f, g h\} = \{f, g\} h + g \{f, h\}.$$

Скобка ведёт себя по отношению к произведению так же, как обычная производная. Вместе билинейность и правило Лейбница означают, что отображение $g \mapsto \{f, g\}$ - это дифференцирование алгебры функций. Подробнее о том, как скобки встроены в гамильтонов формализм, можно посмотреть в разборе уравнения Гамильтона-Якоби в механике.

Рассчитать для своей задачи

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

Самое глубокое свойство - тождество Якоби:

$$\{f, \{g, h\}\} + \{g, \{h, f\}\} + \{h, \{f, g\}\} = 0.$$

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

Физический смысл тождества Якоби принципиален: оно гарантирует, что скобка двух сохраняющихся величин снова сохраняется. Если $f$ и $g$ - интегралы движения, то и $\{f, g\}$ - интеграл движения (теорема Пуассона). Так из двух известных законов сохранения иногда удаётся получить третий.

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

Фундаментальные скобки

Базовые соотношения для самих канонических переменных называют фундаментальными скобками:

$$\{q_i, q_j\} = 0, \qquad \{p_i, p_j\} = 0, \qquad \{q_i, p_j\} = \delta_{ij},$$

где $\delta_{ij}$ - символ Кронекера (единица при $i = j$, ноль иначе). Координаты коммутируют между собой, импульсы - тоже, а координата и сопряжённый ей импульс дают единицу.

Эти соотношения - определение канонической структуры. Преобразование переменных называют каноническим ровно тогда, когда оно сохраняет фундаментальные скобки. При квантовании именно $\{q, p\} = 1$ превращается в знаменитое $[\hat q, \hat p] = i\hbar$.

Рассчитать для своей задачи

Уравнения движения через скобки

Главное применение - компактная запись динамики. Для любой функции $f(q, p, t)$ полная производная по времени равна

$$\frac{df}{dt} = \{f, H\} + \frac{\partial f}{\partial t},$$

где $H$ - гамильтониан. Если $f$ не зависит явно от времени, всё сводится к $\dot f = \{f, H\}$. Уравнения Гамильтона получаются как частный случай: $\dot q_i = \{q_i, H\}$ и $\dot p_i = \{p_i, H\}$.

Отсюда сразу читается критерий сохранения: величина $f$ без явной зависимости от времени сохраняется тогда и только тогда, когда $\{f, H\} = 0$. Это и есть мост к теореме Нётер о симметриях и сохранении: каждой симметрии гамильтониана отвечает сохраняющаяся величина, скобка которой с $H$ обращается в ноль.

Связь с законами сохранения

Скобки Пуассона дают прямой алгебраический способ искать интегралы движения. Алгоритм простой: берём кандидата $f$, считаем $\{f, H\}$; если ноль - величина сохраняется. Например, для свободной частицы $H = p^2/2m$ скобка $\{p, H\} = 0$, и импульс сохраняется.

Особенно красиво работает теорема Пуассона: имея два сохраняющихся $f$ и $g$, можно посчитать $\{f, g\}$ и получить, возможно, новый интеграл движения. Так из сохранения двух компонент момента импульса следует сохранение третьей - компоненты момента образуют замкнутую алгебру относительно скобок Пуассона, повторяющую алгебру вращений.

Частые ошибки

• Путают порядок аргументов. Из-за антисимметрии $\{f, g\}$ и $\{g, f\}$ различаются знаком - потеря знака меняет направление эволюции во времени.
• Забывают явную зависимость от времени. В формуле $df/dt = \{f, H\} + \partial f / \partial t$ второе слагаемое часто теряют, хотя для явно зависящих от времени величин оно решающее.
• Считают $\{q_i, p_j\}$ единицей при всех индексах. Фундаментальная скобка равна $\delta_{ij}$: единице только при совпадающих индексах, иначе нулю.
• Применяют правило Лейбница не к тому аргументу. Разложение $\{f, gh\} = \{f, g\}h + g\{f, h\}$ работает по тому аргументу, который является произведением; перепутав, получают неверный ответ.
• Думают, что тождество Якоби нужно лишь для красоты. Без него скобка не была бы скобкой Ли, а теорема Пуассона о сохранении $\{f, g\}$ не работала бы.

FAQ

Чем скобка Пуассона отличается от коммутатора? Скобка Пуассона - классическая операция над функциями на фазовом пространстве, коммутатор - операция над операторами в квантовой механике. Они связаны принципом соответствия: $\{f, g\} \to [\hat f, \hat g]/(i\hbar)$ при квантовании. Обе антисимметричны и удовлетворяют тождеству Якоби.

Зачем нужно тождество Якоби на практике? Оно гарантирует, что скобка двух интегралов движения снова интеграл движения (теорема Пуассона), и делает пространство функций алгеброй Ли. Без него нельзя было бы порождать новые законы сохранения из уже известных.

Как через скобки Пуассона проверить, что величина сохраняется? Нужно вычислить скобку этой величины с гамильтонианом. Если $\{f, H\} = 0$ и $f$ не зависит явно от времени, то $f$ - интеграл движения. Это прямое следствие формулы $df/dt = \{f, H\} + \partial f/\partial t$.

Коротко

Скобка Пуассона $\{f, g\}$ - билинейная антисимметричная операция на фазовом пространстве, подчиняющаяся правилу Лейбница и тождеству Якоби, что делает функции алгеброй Ли. Фундаментальные скобки $\{q_i, p_j\} = \delta_{ij}$ задают каноническую структуру, а формула $df/dt = \{f, H\} + \partial f/\partial t$ превращает скобки в рабочий инструмент: величина сохраняется, когда её скобка с гамильтонианом равна нулю.