Вектор Лапласа — Рунге — Ленца

В этой статье вектора и их величины выделены жирным шрифтом и курсивом, например, $\left| \mathbf{A} \right| = A$.

Рис. 1: Вектор Лапласа — Рунге — Ленца A (показанный красным цветом) в четырёх точках (обозначенных 1, 2, 3 и 4) на эллиптической орбите связанной точечной частицы, движущейся под действием центральной силы, зависящей обратно пропорционально квадрату расстояния. Маленький чёрный круг обозначает центр притяжения. От него начинаются радиус-векторы (выделены чёрным цветом), направленные в точки 1, 2, 3 и 4. Вектор углового момента L направлен перпендикулярно орбите. Компланарные векторы p×L, (mk/r)r и A изображены синим, зелёным и красным цветами, соответственно; эти переменные определены ниже. Вектор A является постоянным по направлению и величине.

В классической механике ве́ктор Лапла́са — Ру́нге — Ле́нца — вектор, который используется в основном для описания формы и ориентации орбиты движения одного астрономического тела вокруг другого, наподобие планеты, вращающейся вокруг солнца. Для двух тел, гравитационная сила взаимодействия которых описывается законом всемирного тяготения Ньютона, вектор Лапласа — Рунге — Ленца — интеграл движения, то есть он не изменяется от времени , что эквивалентно сохранению вектора Лапласа — Рунге — Ленца. Более широко этот вектор сохраняется во всех задачах с двумя телами, взаимодействующими посредством центральной силы, которая изменяется обратно пропорционально квадрату расстояния между ними. Такие задачи называют задачами Кеплера . Например, такой потенциал возникает при рассмотрении классических орбит (без учёта квантования) в задаче о движении отрицательно заряженного электрона движущегося в электрическом поле положительно заряженного ядра. Если вектор Лапласа — Рунге — Ленца задан, то форма их относительного движения может быть получена из простых геометрических соображений, с использованием законов сохранения этого вектора и энергии.

Согласно принципу соответствия у вектора Лапласа — Рунге — Ленца имеется квантовый аналог, который был использован в первом выводе спектра атома водорода , ещё перед открытием уравнения Шрёдингера.

В задаче Кеплера имеется необычная особенность: конец вектора импульса p всегда движется по кругу . Из-за расположения этих кругов для заданной полной энергии E, проблема Кеплера математически эквивалентна частице, свободно перемещающейся в четырёхмерной сфере . По этой математической аналогии, сохраняющийся вектор Лапласа — Рунге — Ленца эквивалентен дополнительным компонентам углового момента в четырёхмерном пространстве .

Вектор Лапласа — Рунге — Ленца также известен как вектор Лапласа, вектор Рунге-Ленца и вектор Ленца, хотя ни один из этих ученых не вывел его впервые. Вектор Лапласа — Рунге — Ленца открывался вновь несколько раз . Он также эквивалентен безразмерному вектору эксцентриситета в небесной механике . Точно так же для него нет никакого общепринятого обозначения, хотя обычно используется A. Для различных обобщений вектора Лапласа — Рунге — Ленца, которые определены ниже, используется символ $\mathcal{A}$.

Контекст

Одиночная частица, движущаяся под воздействием любой консервативной центральной силы, имеет, по крайней мере, четыре интеграла движения (сохраняющиеся при движении величины): полная энергия E и три компоненты углового момента (вектора L). Орбита частицы лежит в плоскости, которая определяется начальным импульсом частицы, p (или, что эквивалентно, скоростью v) и координатами, то есть радиус-вектором r между центром силы и частицей (см. рис. 1). Эта плоскость перпендикулярна постоянному вектору L и её уравнение может быть выражено математически с помощью скалярного произведения r·L = 0.

Как определено ниже, вектор Лапласа-Рунге-Ленца A всегда находится в плоскости движения — то есть, A·L = 0 — для любой центральной силы. Также A является постоянным только для силы зависящей обратно пропорционально квадрату расстояния . Если центральная сила приблизительно зависит как обратный квадрат расстояния, вектор A является приблизительно постоянным по длине, но медленно вращается. Для большинства центральных сил, однако, этот вектор A не постоянный, а изменяет длину и направление. Обобщённый сохраняющийся вектор Лапласа-Рунге-Ленца $\mathcal{A}$ может быть определен для всех центральных сил, но этот вектор — сложная функция положения, и обычно не выражается аналитически в элементарных или специальных функциях .

История

Вектор Лапласа-Рунге-Ленца A является сохраняющейся величиной в задаче Кеплера и полезен при описании астрономических орбит, наподобие движения планеты вокруг Солнца. Однако он никогда не был широко известен среди физиков, возможно, потому что является менее интуитивно понятным вектором, чем импульс и угловой момент. Вектор Лапласа-Рунге-Ленца независимо открывали несколько раз за прошедшие три столетия . Яков Герман был первым, кто показал, что A сохраняется для специального случая центральной силы, зависящей обратно пропорционально квадрату расстояния , и нашёл его связь с эксцентриситетом эллиптической орбиты. Работа Херманна была обобщена до её современной формы Иоганном Бернулли в 1710 . В свою очередь Пьер-Симон Лаплас в конце XVIII столетия, открыл сохранение A вновь, доказав это аналитически, а не геометрически, как его предшественники .

В середине XIX века, Уильям Гамильтон получил эквивалент вектора эксцентриситета определенный ниже , использовав его, чтобы показать, что конец вектора импульса p двигается по кругу под действием центральной силы, зависящей обратно пропорционально квадрату расстояния (Рис. 3) . В начале XX столетия, Уиллард Гиббс получил тот же самый вектор с помощью векторного анализа . Вывод Гиббса использовал Карл Рунге в популярном немецком учебнике по векторам в качестве примера , на который ссылался Вильгельм Ленц в своей статье о квантовомеханическом (старом) рассмотрении атома водорода .

В 1926, этот вектор использовал Вольфганг Паули, чтобы вывести спектр атома водорода, используя современную матричную квантовую механику, а не уравнение Шрёдингера . После публикации Паули, вектор стал, главным образом, известен как вектор Рунге-Ленца.

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

Для одиночной частицы движущейся под действием центральной силы, зависящей обратно пропорционально квадрату расстояния описываемой уравнением $\mathbf{F}(r)=\frac{-k}{r^{2}}\mathbf{\hat{r}}$, вектор Лапласа-Рунге-Ленца A определен математически по формуле $$\mathbf{A} = \mathbf{p} \times \mathbf{L} - m k \mathbf{\hat{r}} ,$$

где

• $m\!\,$ — масса точечной частицы, движущейся вод воздействием центральной силы,
• $\mathbf{p}\!\,$ — вектор импульса,
• $\mathbf{L} = \mathbf{r} \times \mathbf{p}\!\,$ — вектор углового момента,
• $k\!\,$ — параметр, описывающий величину центральной силы,
• $\mathbf{\hat{r}}\!\,$ — единичный вектор, то есть $\mathbf{\hat{r}} = \frac{\mathbf{r}}{r}$, где $\mathbf{r}\!\,$ — радиус-вектор положения частицы, и r его длина.

Поскольку мы предположили, что сила консервативная, то полная энергия E сохраняется $$E = \frac{p^{2}}{2m} - \frac{k}{r} = \frac{1}{2} mv^{2} - \frac{k}{r}$$

Из центральности силы следует, что вектор углового момента L также сохраняется и определяет плоскость, в которой частица совершает движение. Вектор Лапласа-Рунге-Ленца A перпендикулярен вектору углового момента L и, таким образом, находится в плоскости орбиты. Уравнение A•L = 0 верно, потому что вектора p×L и r перпендикулярны L.

Это определение вектора Лапласа-Рунге-Ленца A применимо для единственной точечной частицы с массой m, движущейся в стационарном (не зависящем от времени) потенциале. Кроме того, то же самое определение может быть расширено на проблему с двумя телами, наподобие проблемы Кеплера, если заменить m на приведённую массу этих двух тел и r на вектор между этими телами.

Круговой годограф импульса

Рис. 2: Конец вектора импульса p (показанный синим цветом) двигается по кругу, когда частица совершает движение по эллипсу. Четыре помеченные точки соответствуют точкам на рис. 1. Центр круга находится на оси y в точке A/L (показан пурпурным), с радиусом mk/L (показан зелёным). Угол η определяет эксцентриситет e эллиптической орбиты (cos η = e). Из теоремы о вписанном угле для круга следует, что η является также углом между любой точкой на окружности и двумя точками пересечения окружности с осью p_x, p_x=±p₀.

Сохранение вектора Лапласа-Рунге-Ленца A и вектора углового момента L используется в доказательстве того, что вектор импульса p движется по кругу под действием центральной силы обратно пропорциональной квадрату расстояния. Вычисляя векторное произведение A и L, приходим к уравнению для p $$L^{2} \mathbf{p} = \mathbf{L} \times \mathbf{A} - mk \hat{\mathbf{r}} \times \mathbf{L}$$

Направляя вектор L вдоль оси z, а главную полуось — по оси x приходим к уравнению $$p_{x}^{2} + \left(p_{y} - A/L \right)^{2} = \left( mk/L \right)^{2}.$$

Другими словами, вектор импульса p ограничен окружностью радиуса mk/L, центр которой расположен в точке с координатами (0, A/L). Эксцентриситет e соответствует косинусу угла η, показанного на рис. 2. Для краткости можно ввести переменную $p_{0} = \sqrt{2m\left| E \right|}$. Круговой годограф полезен для описания симметрии проблемы Кеплера.

Интегралы движения и суперинтегрируемость

Семь скалярных величин: энергия E, и компоненты векторов Лапласа-Рунге-Ленца A и момента импульса L связаны двумя соотношениями. Для векторов выполняется условие ортогональности A•L=0, а энергия входит в выражение для квадрата длины вектора Лапласа-Рунге-Ленца, полученного выше A² = m²k² + 2 m E L². Тогда существует пять независимых сохраняющихся величин, или интегралов движения. Это совместимо с шестью начальными условиями (начальное положение частицы и её скорость являются векторами с тремя компонентами), которые определяют орбиту частицы, так как начальное время не определено интегралами движения. Поскольку величину A (и эксцентриситет e орбиты) можно определить из полного углового момента L и энергии E, то утверждается, что только направление A сохраняется независимо. Кроме того, вектор A должен быть перпендикулярным L — это приводит к одной дополнительной сохраняющейся величине.

Механическая система с d степенями свободы может обладать максимум 2d-1 интегралами движения, поскольку 2d начальных условия и начальное время не могут быть определены из интегралов движения. Система с более чем d интегралами движения называется суперинтегрируемой, а система с 2d-1 интегралами называется максимально суперинтегрируемой . Поскольку решение уравнения Гамильтона-Якоби в одной системе координат может привести только к d интегралам движения, то переменные должны разделяться для суперинтегрируемых систем в больше чем одной системе координат . Проблема Кеплера — максимально суперинтегрируема, так как она имеет три степени свободы (d=3) и пять независимых интегралов движения; переменные в уравнении Гамильтона-Якоби разделяются в сферических координатах и параболических координатах , как описано ниже. Максимально суперинтегрируемые системы могут быть квантованы с использованием только коммутационных соотношений, как показано ниже .

Уравнение Гамильтона-Якоби в параболических координатах

Постоянство вектора Лапласа-Рунге-Ленца можно вывести, используя уравнение Гамильтона-Якоби в параболических координатах (ξ, η), которые определяются следующим образом $$\xi = r + x$$ $$\eta = r - x$$

где r — радиус в плоскости орбиты $$r = \sqrt{x^{2} + y^{2}}$$

Обратное преобразование этих координат запишется в виде $$x = \frac{1}{2} \left( \xi - \eta \right)$$ $$y = \sqrt{\xi\eta}.$$

Разделение переменных в уравнении Гамильтона-Якоби в этих координатах даёт два эквивалентных уравнения $$2\xi p_{\xi}^{2} - mk - mE\xi = -\beta$$ $$2\eta p_{\eta}^{2} - mk - mE\eta = \beta,$$

где β — интеграл движения. Посредством вычитания этих уравнений и выражения в терминах декартовых координат импульса p_x и P_y можно показать, что β эквивалентен вектору Лапласа-Рунге-Ленца $$\beta = p_{y} \left( x p_{y} - y p_{x} \right) - mk\frac{x}{r} = A_{x}.$$

Этот подход Гамильтона-Якоби может использоваться, чтобы вывести сохраняющийся обобщённый вектор Лапласа-Рунге-Ленца $\mathcal{A}$ в присутствии электрического поля E $$\mathcal{A} = \mathbf{A} + \frac{mq}{2} \left[ \left( \mathbf{r} \times \mathbf{E} \right) \times \mathbf{r} \right] ,$$

где q — заряд обращающейся частицы.

Альтернативная формулировка

В отличие от импульса p и углового момента L, у вектора Лапласа-Рунге-Ленца нет общепринятого определения. В научной литературе используются несколько различных множителей и символов. Самое общее определение дается выше, но другое определение возникает после деления на постоянную mk, чтобы получить безразмерный сохраняющийся вектор эксцентриситета $$\mathbf{e} = \frac{1}{mk} \left(\mathbf{p} \times \mathbf{L} \right) - \mathbf{\hat{r}} = \frac{m}{k} \left(\mathbf{v} \times \mathbf{r} \times \mathbf{v}\right) - \mathbf{\hat{r}} ,$$

где v — вектор скорости. Направление этого скалированного вектора e совпадает с направлением A и его амплитуда равна эксцентриситету орбиты. Мы получим другие определения, если поделить A на m, $$\mathbf{M} = \mathbf{v} \times \mathbf{L} - k\mathbf{\hat{r}}$$

или на p₀ $$\mathbf{D} = \frac{\mathbf{A}}{p_{0}} = \frac{1}{\sqrt{2m\left| E \right|}} \left\{ \mathbf{p} \times \mathbf{L} - m k \mathbf{\hat{r}} \right\}$$

который имеет ту же размерность, что и угловой момент (вектор L). В редких случаях, знак вектора Лапласа-Рунге-Ленца может быть изменён на противоположный. Другие общие символы для вектора Лапласа-Рунге-Ленца включают a, R, F, J и V. Однако выбор множителя и символа для вектора Лапласа-Рунге-Ленца, конечно же, не влияет на его сохранение.

Рис. 3: Вектор углового момента L, вектор Лапласа-Рунге-Ленца A и вектор Гамильтона, бинормаль B, является взаимно перпендикулярными; A и B указывают на большую и на малую полуоси, соответственно, эллиптической орбиты в задаче Кеплера.

Альтернативный сохраняющийся вектор: бинормаль — вектор B изучен Уильямом Гамильтоном $$\mathbf{B} = \mathbf{p} - \left(\frac{mk}{L^{2}r} \right) \ \left( \mathbf{L} \times \mathbf{r} \right),$$

который сохраняется и указывает вдоль малой полуоси эллипса. Вектор Лапласа-Рунге-Ленца A = B×L является векторным произведением B и L (Рис. 3). Вектор B обозначен как бинормаль, так как он перпендикулярен как A, так и L. Подобно вектору Лапласа-Рунге-Ленца, вектор бинормали можно определить с различными множителями.

Два сохраняющиеся вектора, A и B можно объединить в сохраняющийся двухэлементный тензор W $$\mathbf{W} = \alpha \mathbf{A} \otimes \mathbf{A} + \beta \, \mathbf{B} \otimes \mathbf{B}, ,$$

где $\otimes$ обозначает тензорное произведение, а α и β — произвольные множители . Записанное в компонетной записи это уравнение читается так $$W_{ij} = \alpha A_{i} A_{j} + \beta B_{i} B_{j}$$

Векторы A и B ортогональны друг другу и их можно представить, как главные оси сохраняющегося тензора W, то есть как его собственные вектора. W перпендикулярен L $$\mathbf{L} \cdot \mathbf{W} = \alpha \left( \mathbf{L} \cdot \mathbf{A} \right) \mathbf{A} + \beta \left( \mathbf{L} \cdot \mathbf{B} \right) \mathbf{B} = 0,$$

поскольку A и B перпендикалярны, то $\mathbf{L} \cdot \mathbf{A} = \mathbf{L} \cdot \mathbf{B} = 0$.

Вывод орбит Кеплера

Рис. 4: Упрощенная версия Рис. 1. Определяется угол θ между A и r в одной точке орбиты.

Форма и ориентация орбиты в задаче Кеплера, зная вектор Лапласа-Рунге-Ленца A, можно определить следующим образом. Рассмотрим скалярное произведение векторов A и r (положения планеты): $$\mathbf{A} \cdot \mathbf{r} = Ar \cos\theta = \mathbf{r} \cdot \left( \mathbf{p} \times \mathbf{L} \right) - mkr ,$$

где θ является углом между r и A (Рис. 4). Поменяем порядок множителей в смешанном произведении r•(p×L)=L•(r×p)=L•L=L², и при помощи несложных преобразований получим определение для конического сечения: $$\frac{1}{r} = \frac{mk}{L^{2}} \left( 1 + \frac{A}{mk} \cos\theta \right)$$

с эксцентриситетом $e\!\,$ заданным по формуле: $$e = \frac{A}{mk} = \frac{\left|\mathbf{A}\right|}{m k}.$$

Приходим к выражению квадрата модуля вектора A в виде $$A^2= m^2 k^2 + 2 m E L^2,$$

которое можно переписать используя эксцентриситет орбиты $$e^{2} - 1= \frac{2L^{2}}{mk^{2}}E$$

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

Сохранение под действием силы обратно пропорцинальной квадрату расстояния

Сила $\mathbf{F}$, действующая на частицу предполагается центральной. Поэтому $$\mathbf{F} = \frac{d\mathbf{p}}{dt} = f(r) \frac{\mathbf{r}}{r} = f(r) \mathbf{\hat{r}}$$

для некоторой функции $f(r)$ радиуса $r$. Поскольку угловой момент $\mathbf{L} = \mathbf{r} \times \mathbf{p}$ сохраняется под действием центральных сил, то $\frac{d}{dt}\mathbf{L} = 0$ и $$\frac{d}{dt} \left( \mathbf{p} \times \mathbf{L} \right) = \frac{d\mathbf{p}}{dt} \times \mathbf{L} = f(r) \mathbf{\hat{r}} \times \mathbf{r} \times m \frac{d\mathbf{r}}{dt} = f(r) \frac{m}{r} \left[ \mathbf{r} \left(\mathbf{r} \cdot \frac{d\mathbf{r}}{dt} \right) - r^{2} \frac{d\mathbf{r}}{dt} \right], ,$$

где импульс записан в виде $\mathbf{p} = m \frac{d\mathbf{r}}{dt}$, и тройное векторное произведение упростилось с помощью формулы Лагранжа $$\mathbf{r} \times \mathbf{r} \times \frac{d\mathbf{r}}{dt} = \mathbf{r} \left(\mathbf{r} \cdot \frac{d\mathbf{r}}{dt} \right) - r^{2} \frac{d\mathbf{r}}{dt}.$$

Тождество $$\frac{d}{dt} \left( \mathbf{r} \cdot \mathbf{r} \right) = 2 \mathbf{r} \cdot \frac{d\mathbf{r}}{dt} = \frac{d}{dt} \left( r^{2} \right) = 2r\frac{dr}{dt}$$

приводит к уравнению $$\frac{d}{dt} \left( \mathbf{p} \times \mathbf{L} \right) = -m f(r) r^{2} \left[ \frac{1}{r} \frac{d\mathbf{r}}{dt} - \frac{\mathbf{r}}{r^{2}} \frac{dr}{dt}\right] = -m f(r) r^{2} \frac{d}{dt} \left( \frac{\mathbf{r}}{r}\right).$$

Для специального случая центральной силы, зависящей обратно пропорцинальной квадрату расстояния $f(r)=\frac{-k}{r^{2}}$, последнее выражение равно $$\frac{d}{dt} \left( \mathbf{p} \times \mathbf{L} \right) = m k \frac{d}{dt} \left( \frac{\mathbf{r}}{r}\right) = \frac{d}{dt} \left( mk\mathbf{\hat{r}} \right)$$

Тогда A сохраняется в этом случае $$\frac{d}{dt} \mathbf{A} = \frac{d}{dt} \left( \mathbf{p} \times \mathbf{L} \right) - \frac{d}{dt} \left( mk\mathbf{\hat{r}} \right) = 0$$

Как показано ниже, вектор Лапласа-Рунге-Ленца A является частным случаем обобщённого сохраняющегося вектора $\mathcal{A}$, который может быть определён для любой центральной силы . Однако большинство центральных сил не формируют замкнутых орбит (см. теорема Бернарда), аналогичный вектор $\mathcal{A}$ редко имеет простое определение и в общем случае представляет собой многозначную функцию угла θ между r и $\mathcal{A}$.

Изменение под действием возмущающих центральных сил

Рис. 5: Медленно прецессирующая эллиптическая орбита, с эксцентриситетом e=0.9. Такая прецессия возникает в проблеме Кеплера, если притягивающая центральная сила немного отличается от закона тяготения Ньютона. Скорость прецессии можно вычислить, используя приведенные в параграфе формулы.

Во многих практических проблемах, типа планетарного движения, взаимодействие между двумя телами только приблизительно зависит обратно пропорционально квадрату расстояния. В таких случаях, вектор Лапласа-Рунге-Ленца A не постоянен. Однако, если возмущающий потенциал h (r) зависит только от расстояния, то полная энергия E и вектор углового момента L, сохраняются. Поэтому, траектория движение все ещё находится в перпендикулярной к L плоскости и величина A сохраняется, согласно уравнению $A^2= m^2 k^2 +2 m E L^2 \!\,$. Следовательно, направление A медленно вращается по орбите в плоскости. Используя каноническую теорию возмущений и координаты действие-угол, можно прямо показать , что A вращается со скоростью $$\frac{\partial}{\partial L} \langle h(r) \rangle = \frac{\partial}{\partial L} \left\{ \frac{1}{T} \int_{0}^{T} h(r) \ dt \right\} = \frac{\partial}{\partial L} \left\{ \frac{m}{L^{2}} \int_{0}^{2\pi} r^{2} h(r) d\theta \right\},$$

где T — период орбитального движения и равенство L dt = m r² dθ использовалось, чтобы преобразовать интеграл по времени в интеграл по углу (Рис. 5). Например, принимая во внимание эффекты общей теории относительности, приходим к добавке, которая в отличие от обычной гравитационной силы Ньютона зависит обратно пропорционально кубу расстояния : $$h(r) = \frac{kL^{2}}{m^{2}c^{2}} \left( \frac{1}{r^{3}} \right).$$

Подставляя эту функцию в интеграл и используя уравнение $$\frac{1}{r} = \frac{mk}{L^{2}} \left( 1 + \frac{A}{mk} \cos\theta \right),$$

чтобы выразить r в терминах θ, скорость прецессии перицентра, вызванная этим возмущением, запишется в виде $$\frac{6\pi k^{2}}{TL^{2}c^{2}}.$$

которая близка по значению к величине прецессии для Меркурия необъяснённой ньютоновской теорией гравитации . Это выражение используется для оценки прецессии связанной с поправками общей теории относительности для двойных пульсаров . Это согласие с экспериментом является сильным аргументом в пользу общей теории относительности .

Теория групп

Преобразование Ли

Рис. 6: Преобразование Ли, из которого выводится сохранение вектора Лапласа-Рунге-Ленца A. Когда скалируемый параметр λ изменяется, энергия и угловой момент тоже меняются, но эксцентриситет e и вектор A не изменяются.

Существует другой метод вывода вектора Лапласа-Рунге-Ленца, использующий вариацию координат без привлечения скоростей . Скалирование координат r и времени t с разной степенью параметра λ (Рис. 6) $$t \rightarrow \lambda^{3}t, \ \mathbf{r} \rightarrow \lambda^{2}\mathbf{r}, \ \mathbf{p} \rightarrow \frac{1}{\lambda}\mathbf{p}.$$

Это преобразование изменяет полный угловой момент L и энергию E $$L \rightarrow \lambda L, \ E \rightarrow \frac{1}{\lambda^{2}} E,$$

но сохраняет произведение EL². Отсюда следует, что эксцентриситет e и величина A сохраняются в уже упомянутом ранее уравнении $$A^2 = m^2 k^2 e^{2} = m^2 k^2 + 2 m E L^2.$$

Направление A также сохраняется, поскольку полуоси не изменяются при скалировании. Это преобразование оставляет верным третий закон Кеплера, а именно то, что полуось a и период T формируют константу 'T²/a³.

Скобки Пуассона

Для трёх компонент L_i вектора углового момента L можно определить скобки Пуассона $$\left[ L_{i}, L_{j}\right] = \sum_{s=1}^{3} \epsilon_{ijs} L_{s} ,$$

где индекс i пробегает значения = 1, 2, 3 и ε_ijs — абсолютно антисимметричный тензор, то есть символ Леви-Чивита (третий индекс суммирования s, чтобы не путать с силовым параметром k, определённым выше). В качестве скобок Пуассона используются квадратные скобки (а не фигурные), как и в литературе и, в том числе, чтобы интерпретировать их как квантовомеханические коммутационные соотношения в следующем разделе.

Как показано выше, изменённый вектор Лапласа-Рунге-Ленца D можно определить с той же размерностью, что и угловой момент разделив A на p₀. Скобка Пуассона D с вектором углового момента L запишется в похожем виде $$\left[ D_{i}, L_{j}\right] = \sum_{s=1}^{3} \epsilon_{ijs} D_{s}$$

Скобка Пуассона D с D зависит от знака E, то есть когда полная энергия E отрицательна (эллиптические орбиты под действием центральной силы зависящей обратно пропорционально квадрату расстояния) или положительная (гиперболические орбиты). Для отрицательных энергий скобки Пуассона примут вид $$\left[ D_{i}, D_{j}\right] = \sum_{s=1}^{3} \epsilon_{ijs} L_{s}.$$

В то время как для положительных энергий скобки Пуассона имеют противоположный знак $$\left[ D_{i}, D_{j}\right] = -\sum_{s=1}^{3} \epsilon_{ijs} L_{s}.$$

Инварианты Казимира для отрицательных энергий определяются посредством следующих соотношений $$C_{1} = \mathbf{D} \cdot \mathbf{D} + \mathbf{L} \cdot \mathbf{L} = \frac{mk^{2}}{2\left|E\right|}$$ $$C_{2} = \mathbf{D} \cdot \mathbf{L} = 0$$

и мы имеем нулевые скобки Пуассона для всех компонент D и L $$\left[ C_{1}, L_{i} \right] = \left[ C_{1}, D_{i} \right] = \left[ C_{2}, L_{i} \right] = \left[ C_{2}, D_{i} \right] = 0$$

C₂ равен нулю, из-за ортогональности векторов. Однако другой инвариант C₁ нетривиален и зависит только от m, k и E. Этот инвариант можно использовать для вывода спектра атома водорода, используя только квантовомеханическое каноническое коммутационное соотношение, вместо более сложного уравнения Шрёдингера.

Теорема Нётер

Теорема Нётер утверждает, что инфинитезимальная вариация обобщённых координат физической системы $$\delta q_{i} = \epsilon g_{i}(\mathbf{q}, \mathbf{\dot{q}}, t)$$

вызывает изменение функции Лагранжа в первом порядке на полную производную по времени $$\delta L = \epsilon \frac{d}{dt} G(\mathbf{q}, t)$$

соответствует сохранению величины $$J = -G + \sum_{i} g_{i} \left( \frac{\partial L}{\partial \dot{q}_{i}}\right).$$

Сохранённая компонента вектора Лапласа-Рунге-Ленца A_s соответствует вариации координат $$\delta x_{i} = \frac{\epsilon}{2} \left[ 2 p_{i} x_{s} - x_{i} p_{s} - \delta_{is} \left( \mathbf{r} \cdot \mathbf{p} \right), \right]$$

где i равняется 1, 2 и 3, а x_i и p_i — i-ые компоненты векторов положения r и импульса p, соответственно. Как обычно, δ_is — символ Кронекера. Получающееся изменение в первом порядке функции Лагранжа запишем как $$\delta L = \epsilon mk\frac{d}{dt} \left( \frac{x_{s}}{r} \right).$$

Это приводит к сохранению компоненты A_s $$A_{s} = \left[ p^{2} x_{s} - p_{s} \ \left(\mathbf{r} \cdot \mathbf{p}\right) \right] - mk \left( \frac{x_{s}}{r} \right) = \left[ \mathbf{p} \times \mathbf{r} \times \mathbf{p} \right]_{s} - mk \left( \frac{x_{s}}{r} \right).$$

Законы сохранения и симметрия

Вариация координаты, которая приводит к сохранению вектора Лапласа-Рунге-Ленца (см. теорема Нётер), можно рассматривать как некоторую симметрию системы. В классической механике, симметрии — непрерывные операции, которые отображают одну орбиту на другую, не изменяя энергию системы; в квантовой механике, симметрии — непрерывные операции, которые смешивают атомные орбитали, не изменяя полную энергию. Например, любая центральная сила является симметрической при действии группы вращения SO(3), приводя к сохранению углового момента L. Классически, полное вращение системы не затрагивает энергию орбиты; квантовомеханически, вращения смешивают сферические гармоники с тем же самым квантовым числом l (вырожденные состояния), не изменяя энергию.

Рис. 7: Семейство кругов годографа импульса для заданной энергии l. Все круги проходят через две точки $\pm p_{0} = \pm \sqrt{2m\left| E \right|}$ на оси p_x (сравните с рис. 3). Это семейство годографов соответствует семейству кругов Аполлона, и σ изоповерхностям биполярных координат.

Симметрия для центральной силы, зависящей обратно квадрату расстояния, является выше и более тонкой. Специфическая симметрия проблемы Кеплера приводит к сохранению как вектора углового момента L, так и вектора Лапласа-Рунге-Ленца A (как определено выше) и квантовомеханически гарантирует, что уровни энергии атома водорода не зависят от квантовых чисел углового момента l и m. Симметрия является более тонкой, потому что операция симметрии должна иметь место в пространстве большей размерности; такие симметрии часто называют скрытыми симметриями . Классически, более высокая симметрия проблемы Кеплера учитывает непрерывные изменения орбит, которые сохраняют энергию, но не угловой момент; другими словами орбиты с одинаковой энергией, но различными угловыми моментами (эксцентриситетом) могут быть преобразованы непрерывно друг в друга. Квантовомеханически это соответствует смешиванию орбиталей, которые отличаются квантовыми числами l и m, атомные орбитали типа s (l = 0) и p (l = 1). Такое смешивание нельзя произвести с обычными трёхмерными трансляциями или вращениями, но оно эквивалентно вращению в пространстве с более высоким измерением.

Для отрицательных энергий — то есть связанная система — симметрия SO(4), которая сохраняет длину четырёхмерных векторов $$\left| \mathbf{e} \right|^{2} = e_{1}^{2} + e_{2}^{2} + e_{3}^{2} + e_{4}^{2}$$

В 1935, Владимир Фок показал, что квантовомеханическая проблема Кеплера, эквивалентна проблеме свободной частицы, ограниченной четырёхмерной гиперсферой . В частности, Фок показал, что волновая функция уравнения Шрёдингера в пространстве импульсов для проблемы Кеплера представляет собой стереографическую проекцию сферических гармоник на гиперсферу. Вращение гиперсферы и перепроектирование приводит к непрерывному преобразованию эллиптических орбит, не изменяющего энергию; квантовомеханически это соответствует смешиванию всех орбиталей с одинаковым главным квантовым числом n. Валентин Баргман отметил впоследствии, что скобки Пуассона для вектора углового момента L и скалированного вектора Лапласа-Рунге-Ленца D формируют алгебру Ли для SO(4). Проще говоря, эти шесть величин D и L соответствуют шести сохраняющимся угловым импульсам в четырёх измерениях, связанных с шестью, возможными простыми вращениями в этом пространстве (есть шесть способов выбрать две оси из четырёх). Это заключение не подразумевает, что наша вселенная — четырёхмерная гиперсфера; это просто означает, что эта специфическая проблема физики (проблема двух тел для центральной силы, зависящей обратно квадрату расстояния) математически эквивалентна свободной частице на четырёхмерной гиперсфере.

Для положительных энергий — то есть, для рассеянных систем — более высокая симметрия — SO(3,1), которая сохраняет длину 4 вектора в пространстве с метрикой Минковского $$ds^{2} = e_{1}^{2} + e_{2}^{2} + e_{3}^{2} - e_{4}^{2}$$

Фок и Баргман рассмотрели как отрицательные, так и положительные энергии. Они также были рассмотрены энциклопедически Бендером и Ициксоном .

Симметрия вращений в 4-хмерном пространстве

Рис. 8: Годограф импульса на рис. 7 соответствует стереографической проекции больших кругов на четырёхмерную η сферу единичного радиуса. Все большие круги пересекают η_x ось, которая направлена перпендикулярно странице. Проекция из северного полюса (единичный вектор w) к η_x-η_y плоскости, как показано для пурпурного годографа пунктирной чёрной линией. Большой круг на широте α соответствует эксцентриситету e = sin α. Цвета больших кругов, показанных здесь соответствуют цветам их годографов на рис 7.

Связь между проблемой Кеплера и вращениями в четырёхмерном пространстве SO(4) можно достаточно просто визуализировать . Пусть в четырехмерном пространстве заданы декартовы координаты, которые обозначены (w, x, y, z), где (x, y, z) представляют декартовы координаты обычного положения трёхмерного вектора r. Трёхмерный вектор импульса p связан с четырёхмерным вектором $\boldsymbol\eta$ на четырёхмерной единичной сфере посредством $$\boldsymbol\eta = \frac{p^{2} - p_{0}^{2}}{p^{2} + p_{0}^{2}} \mathbf{\hat{w}} + \frac{2 p_{0}}{p^{2} + p_{0}^{2}} \mathbf{p} = \frac{mk - r p_{0}^{2}}{mk} \mathbf{\hat{w}} + \frac{rp_{0}}{mk} \mathbf{p} ,$$

где $\mathbf{\hat{w}}$ — единичный вектор вдоль новой оси w. Поскольку $\boldsymbol\eta$ имеет только три независимые компоненты, то этот вектор можно обратить, получив выражение для p. Например, для компененты x $$p_{x} = p_{0} \frac{\eta_{x}}{1 - \eta_{w}}$$

и аналогично для p_y и p_z. Другими словами, трёхмерный вектор p является стереографической проекцией четырёхмерного вектора $\boldsymbol\eta$, умноженному на p₀ (Рис. 8).

Без потери общности, мы можем устранить нормальную вращательную симметрию, выбирая декартовы координаты, где ось z направлена вдоль вектора углового момента L, и годограф импульса расположен как показано на рисунке 7, с центрами кругов на оси y. Так как движение происходит в плоскости, а p и L ортогональны, p_z = η_z = 0 и внимание можно сосредоточить на трехмерном векторе $\boldsymbol\eta$ = (η_w, η_x, η_y). Семейство кругов Аполлона годографов импульса (Рис. 7) соответствует множеству больших кругов на трехмерной сфере $\boldsymbol\eta$, все из которых пересекаются ось η_x в этих двух фокусах η_x = ±1, соответствующих фокусам годографа импульса при p_x = ±p₀. Большие круги связаны простым вращением вокруг оси η_x (Рис. 8). Эта вращательная симметрия преобразовывает все орбиты с той же самой энергией в друг друга; однако, такое вращение ортогонально к обычным трёхмерным вращениям, так как она преобразовывает четвёртое измерение η_w. Эта более высокая симметрия характерна для проблемы Кеплера и соответствует сохранению вектора Лапласа-Рунге-Ленца.

Изящное решение для проблемы Кеплера с использованием переменных угол-действие можно получить, избавляясь от избыточной четырехмерной координаты $\boldsymbol\eta$ и используя эллиптические цилиндрические координат (α, β, φ) $$\eta_{w} = \mathrm{cn}\, \alpha \ \mathrm{cn}\, \beta$$ $$\eta_{x} = \mathrm{sn}\, \alpha \ \mathrm{dn}\, \beta \ \cos \phi$$ $$\eta_{y} = \mathrm{sn}\, \alpha \ \mathrm{dn}\, \beta \ \sin \phi$$ $$\eta_{z} = \mathrm{dn}\, \alpha \ \mathrm{sn}\, \beta ,$$

где используются эллиптические функции Якоби: sn, cn и dn.

Применение и обобщения

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

Рис. 9: Уровни энергии водородного атома, предсказанные с использованием коммутационных соотношений углового момента и векторных операторов Лапласа-Рунге-Ленца; эти уровни энергии были проверены экспериментально.

Скобки Пуассона дают простой способ для квантования классической системы. Коммутационное соотношение двух квантовомеханических операторов равняется скобке Пуассона соответствующих классических переменных, умноженных на $i\hbar$ . Выполняя это квантование и вычисляя собственные значения $C_{1}$ оператора Казимира для проблемы Кеплера, Вольфганг Паули вывел энергетический спектр водородоподобного атома (Рис. 9) и, таким образом, его атомный эмиссионный спектр . Это изящное решение было получено до изобретения уравнения Шрёдингера .

Особенность квантовомеханического оператора для вектора Лапласа-Рунге-Ленца A то, что импульс и операторы углового момента не коммутируют друг с другом, следовательно, векторное произведение p и L должно быть определено тщательно . Как правило, операторы в декартовой системе координат A_s определены с помощью симметризованного произведения $$A_{s} = - m k \hat{r}_{s} + \frac{1}{2} \sum_{i=1}^{3} \sum_{j=1}^{3} \epsilon_{sij} \left( p_{i} l_{j} + l_{j} p_{i} \right),$$

из которого определяются соответствующие лестничные операторы $$A_{0} = A_{3},$$ $$A_{\pm 1} = \mp \frac{1}{\sqrt{2}} \left( A_{1} \pm i A_{2} \right).$$

Нормированный оператор первого инварианта Казимира может быть определён подобным образом $$C_{1} = - \frac{m k^{2}}{2 \hbar^{2}} H^{-1} - I, ,$$

где H^-1 — оператор обратный к оператору энергии (гамильтониан) и I — единичный оператор. Применяя эти лестничные операторы к собственным состояниям $\left| l m n \right.\rangle$ операторов полного углового момента, азимутального углового момента и энергии, можно показать, что собственные состояния первого оператора Казимира задаются формулой n² — 1. Следовательно, уровни энергии даются выражением $$E_{n} = - \frac{m k^{2}}{2\hbar^{2} n^{2}},$$

которое идентично формуле Ридберга для атома водорода (Рис 9).

Обобщение на другие потенциалы и СТО

Вектор Лапласа-Рунге-Ленца был обобщён на другие потенциалы и даже на специальную теорию относительности. Наиболее общую форму этого вектора можно записать в виде $$\mathcal{A} = \left( \frac{\partial \xi}{\partial u} \right) \left(\mathbf{p} \times \mathbf{L}\right) + \left[ \xi - u \left( \frac{\partial \xi}{\partial u} \right)\right] L^{2} \mathbf{\hat{r}}, ,$$

где u = 1/r (см. теорема Бертрана) и ξ = cos θ, с углом θ определённым как $$\theta = L \int^{u} \frac{du}{\sqrt{m^{2} c^{2} \left(\gamma^{2} - 1 \right) - L^{2} u^{2}}}.$$

Здесь γ — релятивистский фактор. Как и раньше, можно получить, сохраняющийся вектор бинормали B взяв векторное произведение с сохраняющимся вектором углового момента $$\mathcal{B} = \mathbf{L} \times \mathcal{A}.$$

Эти два вектора можно соединить в сохраняющийся двухкомпонентный тензор W $$\mathcal{W} = \alpha \mathcal{A} \otimes \mathcal{A} + \beta \, \mathcal{B} \otimes \mathcal{B}.$$

Для примера вычислим вектор Лапласа-Рунге-Ленца для нерелятивистского изотропного гармонического осциллятора. Рассмотрим центральную силу: $$\mathbf{F}(r)= -k \mathbf{r}$$

вектор углового момента сохраняется и поэтому движение происходит в плоскости. Сохраняющийся тензор можно переписать в более простом виде: $$\mathbf{W} = \frac{1}{2m} \mathbf{p} \otimes \mathbf{p} + \frac{k}{2} \, \mathbf{r} \otimes \mathbf{r},$$

хотя нужно заметить, чтоp и r не перпендикулярны, как A и B. Соответствующий вектор Лапласа-Рунге-Ленца имеет более сложную запись $$\mathbf{A} = \frac{1}{\sqrt{mr^{2}\omega_{0} A - mr^{2}E + L^{2}}} \left\{ \left( \mathbf{p} \times \mathbf{L} \right) + \left(mr\omega_{0} A - mrE \right) \mathbf{\hat{r}} \right\} ,$$

где $\omega_{0} = \sqrt{\frac{k}{m}}$ — частота осциллятора.

См. также

• Проблема двух тел
• Теорема Бертрана
• Квантовая механика
• Астрофизика

Дополнительное чтение

• Leach, P.G.L.; G.P. Flessas (2003). "Generalisations of the Laplace-Runge-Lenz vector". J. Nonlinear Math. Phys. 10: 340–423. Статья посвящена обобщению вектора Лапласа—Рунге—Ленца на потенциалы отличные от кулоновского. arxiv.org

Первоисточник этой статьи был признан «избранной статьёй» в русском разделе Википедии