Гамильтонова механика - Hamiltonian mechanics

Сэр Уильям Роуэн Гамильтон

Гамильтонова механика математически сложная формулировка классическая механика. Исторически это способствовало формулированию статистическая механика и квантовая механика. Гамильтонова механика была впервые сформулирована Уильям Роуэн Гамильтон в 1833 г., начиная с Лагранжева механика, предыдущая переформулировка классической механики, введенная Жозеф Луи Лагранж в 1788 году. Подобно лагранжевой механике, гамильтонова механика эквивалентна законам движения Ньютона в рамках классической механики.

Обзор

В гамильтоновой механике классическая физическая система описывается набором канонические координаты р = (q, п), где каждая компонента координаты qя, пя индексируется точка зрения системы. В qя называются обобщенные координаты, и выбираются таким образом, чтобы устранить ограничения или воспользоваться симметрией задачи, и пя их сопряженные импульсы.

В эволюция во времени системы однозначно определяется уравнениями Гамильтона:[1]

куда - гамильтониан, часто соответствующий полной энергии системы.[2] Для закрытой системы это сумма кинетический и потенциал энергия в системе.

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

Хотя гамильтонову механику можно использовать для описания простых систем, таких как прыгающий мяч, а маятник или колеблющаяся пружина в которой энергия меняется с кинетической на потенциальную и обратно с течением времени, ее сила проявляется в более сложных динамических системах, таких как планетные орбиты в небесная механика.[3] Чем больше степеней свободы имеет система, тем сложнее ее временная эволюция и, в большинстве случаев, она становится хаотичный.

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

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

Т является функцией п один, пока V является функцией q в одиночку (т.е. Т и V находятся склерономический ).

В этом примере производная импульса по времени п равно Ньютоновская сила, поэтому первое уравнение Гамильтона означает, что сила равна отрицательной градиент потенциальной энергии. Производная по времени от q - это скорость, поэтому второе уравнение Гамильтона означает, что скорость частицы равна производной ее кинетической энергии по ее импульсу.

Вычисление гамильтониана по лагранжиану

Учитывая Лагранжиан с точки зрения обобщенные координаты qя и обобщенные скорости и время,

  1. Импульсы вычисляются путем дифференцирования лагранжиана по (обобщенным) скоростям:
  2. Скорости выражаются через импульсы пя путем инвертирования выражений на предыдущем шаге.
  3. Гамильтониан вычисляется с использованием обычного определения ЧАС как Превращение Лежандра из L:
    Затем скорости заменяются в приведенных выше результатах.

пример

Сферический маятник состоит из масса м двигаясь без трение на поверхности сфера. Единственный силы на массу действуют реакция из сферы и сила тяжести. Сферические координаты используются для описания положения массы в терминах (р, θ, φ), куда р фиксированный, р=л.

Сферический маятник: углы и скорости.

Лагранжиан этой системы равен[4]

Таким образом, гамильтониан

куда

и

В терминах координат и импульсов гамильтониан имеет вид

Уравнения Гамильтона дают временную эволюцию координат и сопряженных импульсов в четырех дифференциальных уравнениях первого порядка:

.

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

Вывод уравнений Гамильтона

Уравнения Гамильтона можно получить, посмотрев, как полный дифференциал из Лагранжиан зависит от времени, обобщенные позиции qя, и обобщенные скорости я:[5]

Обобщенные импульсы определялись как

Если это подставить в полный дифференциал лагранжиана, получится

Это можно переписать как

что после перестановки приводит к

Член в левой части - это просто гамильтониан, который был определен ранее, поэтому

Также возможно вычислить полный дифференциал гамильтониана ЧАС непосредственно относительно времени, подобно тому, как это было сделано с лагранжианом L выше, давая:

Из двух предыдущих независимых уравнений следует, что их правые части равны между собой. Результат

Поскольку этот расчет был сделан вне оболочки[требуется разъяснение ], можно связать соответствующие члены с обеих сторон этого уравнения, чтобы получить:

На оболочке, Уравнения Лагранжа указывают, что

Перестановка этого дает

Таким образом, уравнения Гамильтона таковы:

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

У уравнений Гамильтона есть еще одно преимущество перед уравнениями Лагранжа: если система имеет симметрию, такую, что координата не входит в гамильтониан, соответствующий импульс сохраняется, и этой координатой можно пренебречь в других уравнениях системы. Это эффективно снижает проблему от п координаты к (п − 1) координаты. В рамках лагранжиана результат о сохранении соответствующего импульса по-прежнему следует немедленно, но все обобщенные скорости по-прежнему присутствуют в лагранжиане. Еще предстоит решить систему уравнений в n координатах.[2] Лагранжиан и гамильтониан подходы обеспечивают основу для более глубоких результатов в теории классической механики и для формулировок квантовой механики.

Гамильтониан заряженной частицы в электромагнитном поле

Достаточной иллюстрацией гамильтоновой механики является гамильтониан заряженной частицы в электромагнитное поле. В Декартовы координаты то Лагранжиан нерелятивистской классической частицы в электромагнитном поле составляет (в Единицы СИ ):

куда q это электрический заряд частицы, φ это электрический скалярный потенциал, а Ая компоненты магнитный векторный потенциал все это может явно зависеть от и .

Этот лагранжиан в сочетании с Уравнение Эйлера – Лагранжа., производит Сила Лоренца закон

и называется минимальное сцепление.

Обратите внимание, что значения скалярного потенциала и векторного потенциала будут меняться во время калибровочное преобразование,[6] и сам лагранжиан также подберет дополнительные члены; Но дополнительные члены в лагранжиане складываются в полную производную по времени скалярной функции и, следовательно, не изменяют уравнение Эйлера – Лагранжа.

В канонические импульсы даны:

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

калибровочно инвариантен и физически измерим.

Гамильтониан, как Превращение Лежандра лагранжиана, следовательно:

Это уравнение часто используется в квантовая механика.

Под Преобразование датчика:

где f (р, t) - любая скалярная функция пространства и времени, вышеупомянутый лагранжиан, канонические импульсы и гамильтоново преобразование, например:

который по-прежнему дает то же уравнение Гамильтона:

В квантовой механике волновая функция также пройдет местный U (1) групповое преобразование[7] во время калибровочного преобразования, что означает, что все физические результаты должны быть инвариантными относительно локальных преобразований U (1).

Релятивистская заряженная частица в электромагнитном поле

В релятивистский лагранжиан для частицы (масса покоя м и обвинять q) дан кем-то:

Таким образом, канонический импульс частицы равен

то есть сумма кинетического и потенциального импульса.

Решая для скорости, получаем

Итак, гамильтониан

Это приводит к уравнению силы (эквивалентному Уравнение Эйлера – Лагранжа. )

из которого можно вывести

Приведенный выше вывод использует тождество с векторным исчислением:

Эквивалентное выражение для гамильтониана как функции релятивистского (кинетического) импульса: п = γmИкс(т) = п - qА, является

Это имеет то преимущество, что кинетический импульс п можно измерить экспериментально, тогда как канонический импульс п не можешь. Обратите внимание, что гамильтониан (полная энергия ) можно рассматривать как сумму релятивистская энергия (кинетическая + покой), E = γmc2, плюс потенциальная энергия, V = .

Математические конструкции

Геометрия гамильтоновых систем.

Гамильтониан может вызвать симплектическая структура на гладкое четномерное многообразие M2п несколькими различными, но эквивалентными способами, наиболее известными из которых являются следующие:[8]

Как закрыто невырожденный симплектический 2-форма ω. Согласно Теорема Дарбу, в небольшом районе вокруг любой точки на M в подходящих местных координатах существует симплектическая форма

Местные координаты п, q затем называются канонический или симплектический.

Форма позволяет построить естественный изоморфизм из касательное пространство и котангенс пространство Это делается путем отображения вектора к 1-форме куда для произвольного Из-за билинейность и невырожденность и тот факт, что отображение действительно линейный изоморфизм. Этот изоморфизм естественный в том, что он не меняется при изменении координат на Повторяется для каждого мы получаем изоморфизм между бесконечномерным пространством гладких векторных полей и пространством гладких 1-форм. Для каждого и

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

называется Уравнение Гамильтона. Здесь и - (зависящее от времени) значение векторного поля в

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

Любой гладкий; плавный функция с действительным знаком ЧАС на симплектическое многообразие может использоваться для определения Гамильтонова система. Функция ЧАС известен как «гамильтониан» или «функция энергии». Тогда симплектическое многообразие называется фазовое пространство. Гамильтониан индуцирует специальный векторное поле на симплектическом многообразии, известном как Гамильтоново векторное поле.

Гамильтоново векторное поле индуцирует Гамильтонов поток на коллекторе. Это однопараметрическое семейство преобразований многообразия (параметр кривых обычно называют «временем»); другими словами, изотопия из симплектоморфизмы, начиная с личности. К Теорема Лиувилля, каждый симплектоморфизм сохраняет объемная форма на фазовое пространство. Набор симплектоморфизмов, индуцированных гамильтоновым потоком, обычно называют «гамильтоновой механикой» гамильтоновой системы.

Симплектическая структура индуцирует Скобка Пуассона. Скобка Пуассона придает пространству функций на многообразии структуру Алгебра Ли.

Если F и грамм гладкие функции на M то гладкая функция ω2(IdG, IdF) правильно определен; это называется Скобка Пуассона функций F и грамм и обозначается {F, грамм}. Скобка Пуассона обладает следующими свойствами:

  1. билинейность
  2. антисимметрия
  3. (Правило Лейбница )
  4. (Личность Якоби )
  5. невырожденность: если точка Икс на M не критично для F тогда гладкая функция грамм существует такое, что .

Учитывая функцию ж

если есть распределение вероятностей, ρ, то (поскольку объемная фазовая скорость (пя, я) имеет нулевую дивергенцию и вероятность сохраняется) его конвективная производная, как можно показать, равна нулю, и поэтому

Это называется Теорема Лиувилля. Каждые гладкая функция грамм над симплектическое многообразие генерирует однопараметрическое семейство симплектоморфизмы и если {грамм, ЧАС} = 0, тогда грамм сохраняется, а симплектоморфизмы равны преобразования симметрии.

Гамильтониан может иметь несколько сохраняющихся величин граммя. Если симплектическое многообразие имеет размерность 2п и здесь п функционально независимые сохраняющиеся величины граммя которые находятся в инволюции (т. е. {граммя, граммj} = 0), то гамильтониан равен Интегрируемый по Лиувиллю. В Теорема Лиувилля – Арнольда говорит, что локально любой интегрируемый по Лиувиллю гамильтониан может быть преобразован с помощью симплектоморфизма в новый гамильтониан с сохраняющимися величинами граммя как координаты; новые координаты называются координаты угла действия. Преобразованный гамильтониан зависит только от граммя, а значит, уравнения движения имеют простой вид

для какой-то функции F.[9] Существует целая область, посвященная небольшим отклонениям от интегрируемых систем, регулируемых КАМ теорема.

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

Римановы многообразия

Важным частным случаем являются те гамильтонианы, которые квадратичные формы, то есть гамильтонианы, которые можно записать как

куда ⟨ , ⟩q плавно меняющийся внутренний продукт на волокна Т
q
Q
, то котангенс пространство к точке q в конфигурационное пространство, иногда называемый кометрическим. Этот гамильтониан полностью состоит из кинетический термин.

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

Субримановы многообразия

Когда комета вырождена, она не обратима. В этом случае у человека нет риманова многообразия, как нет метрики. Однако гамильтониан все еще существует. В случае, когда комета вырождена в каждой точке q многообразия конфигурационного пространства Q, таким образом классифицировать кометы меньше размерности многообразия Q, у одного есть субриманово многообразие.

Гамильтониан в этом случае известен как субриманов гамильтониан. Каждый такой гамильтониан однозначно определяет комету, и наоборот. Это означает, что каждый субриманово многообразие однозначно определяется своим субримановым гамильтонианом, и что верно обратное: каждое субриманово многообразие имеет единственный субриманов гамильтониан. Существование субримановых геодезических дается Теорема Чоу – Рашевского..

Непрерывный, действительный Группа Гейзенберга дает простой пример субриманова многообразия. Для группы Гейзенберга гамильтониан имеет вид

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

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

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

Дальнейшее обобщение дает Намбу динамика.

Обобщение на квантовую механику через скобку Пуассона

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

В частности, более общая форма уравнения Гамильтона гласит

куда ж какая-то функция п и q, и ЧАС гамильтониан. Чтобы узнать правила оценки Скобка Пуассона не прибегая к дифференциальным уравнениям, см. Алгебра Ли; скобка Пуассона - это имя скобки Ли в Алгебра Пуассона. Эти скобки Пуассона затем могут быть расширены до Брекеты Мойял переходя к неэквивалентной алгебре Ли, как доказано Хильбранд Дж. Гроенвольд, и тем самым описать квантово-механическую диффузию в фазовом пространстве (см. формулировка фазового пространства и Преобразование Вигнера-Вейля ). Этот более алгебраический подход не только позволяет в конечном итоге расширить распределения вероятностей в фазовое пространство к Квази-вероятностные распределения Вигнера, но в классической установке простой скобки Пуассона также дает больше возможностей для анализа соответствующих сохраненные количества в системе.

Смотрите также

Рекомендации

  1. ^ Hand, L.N .; Финч, Дж. Д. (2008). Аналитическая механика. Издательство Кембриджского университета. ISBN  978-0-521-57572-0.
  2. ^ а б Гольдштейн, Пул и Сафко 2002, стр. 347–349
  3. ^ "18.013A Calculus with Applications, Fall 2001, Online Textbook: 16.3 The Hamiltonian". ocw.mit.edu. Веб-сайт MIT OpenCourseWare. Получено 2018-09-10.
  4. ^ Ландау и Лифшиц, 1976 г., стр. 33-34
  5. ^ Этот вывод соответствует линиям, приведенным в Арнольд 1989, стр. 65–66
  6. ^ Средницки, Марк (январь 2007 г.). Квантовая теория поля. Кембриджское ядро. Дои:10.1017 / cbo9780511813917. ISBN  9780511813917. Получено 2020-05-08.
  7. ^ Зинн-Джастин, Жан; Гуида, Риккардо (2008-12-04). «Калибровочная инвариантность». Scholarpedia. 3 (12): 8287. Bibcode:2008SchpJ ... 3.8287Z. Дои:10.4249 / scholarpedia.8287. ISSN  1941-6016.
  8. ^ Арнольд, Козлов и Нейштадт 1988 г., § 3. Гамильтонова механика.
  9. ^ Арнольд, Козлов и Нейштадт 1988 г.

дальнейшее чтение

внешняя ссылка