В классической механике переменные действие-угол представляют собой набор канонических координат , которые полезны для характеристики природы коммутирующих потоков в интегрируемых системах, когда множество сохраняющихся уровней энергии компактно, а коммутирующие потоки полны. Переменные действие-угол также важны для получения частот колебательного или вращательного движения без решения уравнений движения . Они существуют только, обеспечивая ключевую характеристику динамики, когда система полностью интегрируема , т. е. число независимых коммутирующих инвариантов Пуассона максимально, а поверхность сохраняющейся энергии компактна. Это обычно имеет практическое вычислительное значение, когда уравнение Гамильтона-Якоби полностью разделимо, и константы разделения могут быть решены для, как функции на фазовом пространстве. Переменные действие-угол определяют расслоение инвариантными лагранжевыми торами , поскольку потоки, индуцированные коммутирующими инвариантами Пуассона, остаются в пределах их совместных множеств уровня, в то время как компактность множества уровня энергии подразумевает, что они являются торами. Угловые переменные задают координаты на листьях, в которых коммутирующие потоки являются линейными.
Связь между классическими гамильтоновыми системами и их квантованием в подходе волновой механики Шредингера становится ясной, если рассматривать уравнение Гамильтона–Якоби как член ведущего порядка в асимптотическом ряду ВКБ для уравнения Шредингера. В случае интегрируемых систем условия квантования Бора–Зоммерфельда были впервые использованы, до появления квантовой механики, для вычисления спектра атома водорода. Они требуют, чтобы существовали переменные действие-угол, и чтобы они были целыми кратными приведенной постоянной Планка . Понимание Эйнштейном в квантовании ЭБК трудности квантования неинтегрируемых систем основывалось на этом факте.
Координаты действие-угол также полезны в теории возмущений гамильтоновой механики , особенно при определении адиабатических инвариантов . Одним из самых ранних результатов теории хаоса для динамической устойчивости интегрируемых динамических систем при малых возмущениях является теорема КАМ , которая утверждает, что инвариантные торы частично устойчивы.
В современной теории интегрируемых систем переменные действие-угол использовались в решении решетки Тоды , определении пар Лакса или, в более общем смысле, изоспектральной эволюции линейного оператора, характеризующего интегрируемую динамику, и интерпретации связанных спектральных данных как переменных действие-угол в гамильтоновой формулировке.
Углы действия получаются из канонического преобразования типа 2 , где производящая функция является характеристической функцией Гамильтона ( а не главной функцией Гамильтона ). Поскольку исходный гамильтониан явно не зависит от времени, новый гамильтониан — это просто старый гамильтониан, выраженный через новые канонические координаты , которые мы обозначаем как ( углы действия , которые являются обобщенными координатами ) и их новые обобщенные импульсы . Нам не нужно будет решать здесь саму производящую функцию ; вместо этого мы будем использовать ее просто как средство для связи новых и старых канонических координат .
Вместо того чтобы определять углы действия напрямую, мы определяем их обобщенные импульсы, которые напоминают классическое действие для каждой исходной обобщенной координаты.
где путь интегрирования неявно задан функцией постоянной энергии . Поскольку фактическое движение не участвует в этом интегрировании, эти обобщенные импульсы являются константами движения, что подразумевает, что преобразованный гамильтониан не зависит от сопряженных обобщенных координат
где задаются типичным уравнением для канонического преобразования типа 2
Следовательно, новый гамильтониан зависит только от новых обобщенных импульсов .
Динамика углов действия задается уравнениями Гамильтона
Правая часть — константа движения (так как все s — константы). Следовательно, решение имеет вид
где — константа интегрирования. В частности, если исходная обобщенная координата совершает колебание или вращение с периодом , соответствующий угол действия изменяется на .
Это частоты колебания/вращения для исходных обобщенных координат . Чтобы показать это, мы интегрируем чистое изменение угла действия по точно одному полному изменению (т.е. колебанию или вращению) его обобщенных координат
Приравняв оба выражения , получаем искомое уравнение
Углы действия представляют собой независимый набор обобщенных координат . Таким образом, в общем случае каждая исходная обобщенная координата может быть выражена в виде ряда Фурье по всем углам действия
где - коэффициент ряда Фурье. Однако в большинстве практических случаев исходная обобщенная координата будет выражена как ряд Фурье только по собственным углам действия
Общая процедура состоит из трех этапов:
В некоторых случаях частоты двух различных обобщенных координат одинаковы, т. е . при . В таких случаях движение называется вырожденным .
Вырожденное движение свидетельствует о наличии дополнительных общих сохраняющихся величин; например, частоты задачи Кеплера являются вырожденными, что соответствует сохранению вектора Лапласа–Рунге–Ленца .
Вырожденное движение также свидетельствует о том, что уравнения Гамильтона–Якоби полностью разделимы в более чем одной системе координат; например, задача Кеплера полностью разделима как в сферических, так и в параболических координатах .