Уравнения Гамильтона

Уравнения Гамильтона (также канонические уравнения Гамильтона) — это система дифференциальных уравнений первого порядка, описывающая эволюцию механической системы в фазовом пространстве. Они являются центральным понятием гамильтоновой механики — одной из формулировок классической механики, наряду с механикой Ньютона и механикой Лагранжа. Уравнения Гамильтона были предложены ирландским математиком Уильямом Роуэном Гамильтоном в 1833 году как обобщение принципа наименьшего действия.

Определение

Уравнения Гамильтона задают динамику системы через обобщённые координаты \( q_i \) и обобщённые импульсы \( p_i \), где \( i = 1, \dots, n \), а \( n \) — число степеней свободы системы. Состояние системы в каждый момент времени описывается точкой в 2n-мерном фазовом пространстве с координатами \( (q_1, \dots, q_n, p_1, \dots, p_n) \). Уравнения имеют вид:

\[ \dot{q}_i = \frac{\partial H}{\partial p_i}, \quad \dot{p}_i = -\frac{\partial H}{\partial q_i}, \]

где \( H = H(q, p, t) \) — функция Гамильтона (гамильтониан), представляющая полную энергию системы, выраженную через обобщённые координаты и импульсы. Точка над переменной обозначает производную по времени.

История

Уильям Роуэн Гамильтон в 1833 году опубликовал работу «О методе выражения траекторий света и планет с помощью одной общей функции», в которой впервые сформулировал уравнения, названные впоследствии его именем. Гамильтон исходил из принципа наименьшего действия, предложенного Пьером Луи Мопертюи в 1744 году и развитого Жозефом Луи Лагранжем. В отличие от лагранжева формализма, где уравнения второго порядка выводились из вариации действия по координатам, Гамильтон ввёл импульсы как независимые переменные, что позволило свести систему к уравнениям первого порядка.

В 1834 году Гамильтон опубликовал вторую работу, в которой применил свои уравнения к задачам геометрической оптики, показав аналогию между механикой и оптикой. Это привело к созданию гамильтоновой оптики и впоследствии — к волновой механике Эрвина Шрёдингера в 1926 году. Развитие гамильтонова формализма в XIX веке связано с работами Карла Густава Якоби, который разработал теорию канонических преобразований и уравнение Гамильтона — Якоби.

Свойства

Каноничность

Уравнения Гамильтона обладают свойством каноничности: они сохраняют свою форму при канонических преобразованиях фазового пространства. Канонические преобразования — это замены переменных \( (q, p) \to (Q, P) \), при которых новая функция Гамильтона \( K(Q, P, t) \) удовлетворяет тем же уравнениям. Условие каноничности задаётся через скобки Пуассона:

\[ \{Q_i, Q_j\} = 0, \quad \{P_i, P_j\} = 0, \quad \{Q_i, P_j\} = \delta_{ij}, \]

где \( \{\cdot, \cdot\} \) — скобка Пуассона.

Сохранение энергии

Если функция Гамильтона не зависит явно от времени (\( \partial H / \partial t = 0 \)), то \( H \) является интегралом движения: \( dH/dt = 0 \). Это выражает закон сохранения энергии для замкнутых систем.

Теорема Лиувилля

Фазовый поток, порождаемый уравнениями Гамильтона, сохраняет фазовый объём. Это утверждение известно как теорема Лиувилля: для любой области в фазовом пространстве её объём остаётся неизменным при эволюции системы. Это свойство лежит в основе статистической механики.

Симплектическая структура

Уравнения Гамильтона могут быть записаны в компактной симплектической форме:

\[ \dot{z} = J \nabla H, \]

где \( z = (q_1, \dots, q_n, p_1, \dots, p_n) \) — вектор фазовых переменных, \( J \) — стандартная симплектическая матрица:

\[ J = \begin{pmatrix} 0 & I_n \\ -I_n & 0 \end{pmatrix}, \]

а \( I_n \) — единичная матрица размерности \( n \). Эта запись подчёркивает геометрическую природу гамильтоновых систем как систем на симплектическом многообразии.

Примеры

Гармонический осциллятор

Для одномерного гармонического осциллятора с массой \( m \) и жёсткостью \( k \) гамильтониан имеет вид:

\[ H = \frac{p^2}{2m} + \frac{k q^2}{2}. \]

Уравнения Гамильтона:

\[ \dot{q} = \frac{p}{m}, \quad \dot{p} = -k q. \]

Решение даёт гармонические колебания: \( q(t) = A \cos(\omega t + \phi) \), где \( \omega = \sqrt{k/m} \).

Частица в центральном поле

Для частицы массы \( m \) в центральном потенциале \( V(r) \) в сферических координатах гамильтониан:

\[ H = \frac{p_r^2}{2m} + \frac{p_\theta^2}{2mr^2} + \frac{p_\phi^2}{2mr^2 \sin^2 \theta} + V(r). \]

Уравнения Гамильтона дают траекторию движения, а сохранение момента импульса следует из независимости \( H \) от \( \phi \).

Связь с другими формулировками механики

Механика Лагранжа

Уравнения Гамильтона могут быть получены из лагранжева формализма с помощью преобразования Лежандра. Если задан лагранжиан \( L(q, \dot{q}, t) \), то обобщённые импульсы определяются как \( p_i = \partial L / \partial \dot{q}_i \), а гамильтониан — как \( H = \sum p_i \dot{q}_i - L \). При условии невырожденности матрицы \( \partial^2 L / \partial \dot{q}_i \partial \dot{q}_j \) уравнения Лагранжа второго порядка эквивалентны уравнениям Гамильтона первого порядка.

Уравнение Гамильтона — Якоби

Уравнение Гамильтона — Якоби представляет собой дифференциальное уравнение в частных производных для функции действия \( S(q, t) \):

\[ \frac{\partial S}{\partial t} + H\left(q, \frac{\partial S}{\partial q}, t\right) = 0. \]

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

Применение

Классическая механика

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

Статистическая механика

В статистической механике гамильтонов формализм лежит в основе описания ансамблей. Теорема Лиувилля обеспечивает сохранение фазового объёма, что используется при выводе распределений Гиббса.

Квантовая механика

Уравнения Гамильтона послужили основой для квантовой механики. В 1925 году Поль Дирак сформулировал квантовую механику в терминах скобок Пуассона, заменив их на коммутаторы. Уравнение Шрёдингера является квантовым аналогом уравнения Гамильтона — Якоби.

Теория поля

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

Динамические системы

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

Критика и ограничения

Уравнения Гамильтона имеют ограничения: они применимы только к системам, для которых можно определить гамильтониан (например, консервативным или с потенциалами, зависящими от времени). Для диссипативных систем с трением гамильтонов формализм требует введения дополнительных переменных или обобщений, таких как гамильтоновы системы с диссипацией. Кроме того, в квантовой механике классические уравнения Гамильтона заменяются операторными уравнениями Гейзенберга.

Источники

• Ландау Л. Д., Лифшиц Е. М. Механика. — М.: Наука, 1973.
• Арнольд В. И. Математические методы классической механики. — М.: Наука, 1974.
• Голдстейн Г. Классическая механика. — М.: Наука, 1975.
• Гамильтон У. Р. Избранные труды по механике и оптике. — М.: Наука, 1973.