Введение

Формулировка классической механики с использованием импульсов

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

Основные физические интерпретации

Простая интерпретация гамильтоновой механики исходит из её применения к одномерной системе, состоящей из одной нерелятивистской частицы массы m. Значение гамильтониана представляет собой полную энергию системы, в данном случае сумму кинетической и потенциальной энергии, традиционно обозначаемых T и V соответственно. Здесь p – импульс, равный mv, а q – пространственная координата. Тогда

T является функцией только p, а V – функцией только q (то есть T и V являются склерономическими). В этом примере производная q по времени – это скорость, и поэтому первое уравнение Гамильтона означает, что скорость частицы равна производной её кинетической энергии по импульсу. Производная импульса p по времени равна ньютоновской силе, и поэтому второе уравнение Гамильтона означает, что сила равна отрицательному градиенту потенциальной энергии.

Свойства гамильтонова

Значение гамильтониана является полной энергией системы тогда и только тогда, когда функция энергии обладает тем же свойством. (См. определение 1= \mathcal H). Когда 1= \mathbf p(t), 1= \mathbf q(t) образуют решение уравнений Гамильтона. Действительно, и все члены, кроме последнего, сокращаются. Не изменяется при точечных преобразованиях, то есть при гладких изменениях пространственных координат. (Это следует из инвариантности функции энергии при точечных преобразованиях. Инвариантность можно установить непосредственно). (См. 1= \frac{\partial \mathcal H}{\partial q^i} = \dot p_i = \frac{\partial \mathcal L}{\partial q^i} (Сравните уравнения Гамильтона и Эйлера-Лагранжа или см.). тогда и только тогда, когда 1= \frac{\partial \mathcal L}{\partial q^i}=0. Координата, для которой выполняется последнее уравнение, называется циклической (или игнорируемой). Каждая циклическая координата уменьшает число степеней свободы на 1=1, приводит к сохранению соответствующего импульса и упрощает решение уравнений Гамильтона.

Применение к системам точечных масс

Для системы точечных масс требование квадратичности по обобщенным скоростям всегда выполняется при , что и так является необходимым условием.

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

Если условия для выполняются, то сохранение гамильтониана влечет за собой сохранение энергии. Это требует дополнительного условия, что не содержит времени в качестве явной переменной. В рамках расширенной формулировки Эйлера-Лагранжа (см. ), функция диссипации Рэлея представляет собой диссипацию энергии по своей природе. Следовательно, энергия не сохраняется, когда. Это аналогично потенциалу, зависящему от скорости. В итоге, требования к для нерелятивистской системы заключаются в том, чтобы они выполнялись во время преобразования калибровки, что подразумевает инвариантность всех физических результатов относительно локальных U(1)-преобразований.

Суб-Риманновские коллекторы

Когда кометрика вырождена, она необратима. В этом случае риманова многообразия не существует, поскольку отсутствует метрика. Однако гамильтониан по-прежнему существует. Если кометрика вырождена в каждой точке q конфигурационного многообразия Q, так что ранг кометрики меньше размерности многообразия Q, то мы имеем дело с субримановым многообразием. Гамильтониан в этом случае называется субримановым гамильтонианом. Каждый такой гамильтониан однозначно определяет кометрику, и наоборот. Это означает, что каждое субриманово многообразие однозначно определяется своим субримановым гамильтонианом, и наоборот: каждое субриманово многообразие имеет уникальный субриманов гамильтониан. Существование субримановых геодезических даётся теоремой Чоу — Рашевского. Непрерывная вещественнозначная группа Гейзенберга предоставляет простой пример субриманова многообразия. Для группы Гейзенберга гамильтониан задаётся следующим образом:

pz не входит в гамильтониан.

Алгебры Пуассона

Гамильтоновы системы могут быть обобщены различными способами. Вместо простого рассмотрения алгебры гладких функций над симплектическим многообразием, гамильтонова механика может быть сформулирована на общих коммутативных унитальных вещественных алгебрах Пуассона. Состояние — это непрерывный линейный функционал на алгебре Пуассона (оснащенной некоторой подходящей топологией), такой что для любого элемента A алгебры, A² отображается в неотрицательное вещественное число. Дальнейшее обобщение даёт динамика Намбу.