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

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

В этой статье векторы выделены жирным шрифтом, а их абсолютные величины — курсивом, например, <math>|\mathbf{A}|=A</math>.

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

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

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

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

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

Контекст

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

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

История

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

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

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

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

Файл:Laplace Runge Lenz vector.svg

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

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

<math>\mathbf{A}=\mathbf{p}\times\mathbf{L}-mk\mathbf{\hat{r}},</math>

где

<math>m</math> — масса точечной частицы, движущейся под воздействием центральной силы,

<math>\mathbf{p}</math> — вектор импульса,

<math>\mathbf{L}=\mathbf{r}\times\mathbf{p}</math> — вектор углового момента,

<math>k</math> — параметр, описывающий величину центральной силы,

<math>\mathbf{\hat{r}}</math> — единичный вектор, то есть <math>\mathbf{\hat{r}}=\frac{\mathbf{r}}{r}</math>, где <math>\mathbf{r}</math> — радиус-вектор положения частицы, и <math>r</math> — его длина.

Поскольку мы предположили, что сила консервативная, то полная энергия <math>E</math> сохраняется

<math>E=\frac{p^2}{2m}-\frac{k}{r}=\frac{1}{2}mv^2-\frac{k}{r}.</math>

Из центральности силы следует, что вектор углового момента <math>\mathbf{L}</math> также сохраняется и определяет плоскость, в которой частица совершает движение. Вектор Лапласа — Рунге — Ленца <math>\mathbf{A}</math> перпендикулярен вектору углового момента <math>\mathbf{L}</math> и, таким образом, находится в плоскости орбиты. Уравнение <math>\mathbf{A}\cdot\mathbf{L}=0</math> верно, потому что вектора <math>\mathbf{p}\times\mathbf{L}</math> и <math>\mathbf{r}</math> перпендикулярны <math>\mathbf{L}</math>.

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

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

Файл:Kepler hodograph3.svg

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

Сохранение вектора Лапласа — Рунге — Ленца <math>\mathbf{A}</math> и вектора углового момента <math>\mathbf{L}</math> используется в доказательстве того, что вектор импульса <math>\mathbf{p}</math> движется по кругу под действием центральной силы, обратно пропорциональной квадрату расстояния. Вычисляя векторное произведение <math>\mathbf{A}</math> и <math>\mathbf{L}</math>, приходим к уравнению для <math>\mathbf{p}</math>

<math>L^2\mathbf{p}=\mathbf{L}\times\mathbf{A}-mk\hat{\mathbf{r}}\times\mathbf{L}.</math>

Направляя вектор <math>\mathbf{L}</math> вдоль оси <math>z</math>, а главную полуось — по оси <math>x</math>, приходим к уравнению

<math>p_x^2+(p_y-A/L)^2=(mk/L)^2.</math>

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

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

Семь скалярных величин: энергия <math>E</math> и компоненты векторов Лапласа — Рунге — Ленца <math>\mathbf{A}</math> и момента импульса <math>\mathbf{L}</math> — связаны двумя соотношениями. Для векторов выполняется условие ортогональности <math>\mathbf{A}\cdot\mathbf{L}=0</math>, а энергия входит в выражение для квадрата длины вектора Лапласа — Рунге — Ленца, полученного выше <math>A^2=m^2k^2+2mEL^2</math>. Тогда существует пять независимых сохраняющихся величин, или интегралов движения. Это совместимо с шестью начальными условиями (начальное положение частицы и её скорость являются векторами с тремя компонентами), которые определяют орбиту частицы, так как начальное время не определено интегралами движения. Поскольку величину <math>\mathbf{A}</math> (и эксцентриситет <math>e</math> орбиты) можно определить из полного углового момента <math>L</math> и энергии <math>E</math>, то утверждается, что только направление <math>\mathbf{A}</math> сохраняется независимо. Кроме того, вектор <math>\mathbf{A}</math> должен быть перпендикулярным <math>\mathbf{L}</math> — это приводит к одной дополнительной сохраняющейся величине.

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

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

Постоянство вектора Лапласа — Рунге — Ленца можно вывести, используя уравнение Гамильтона — Якоби в параболических координатах <math>(\xi, \eta)</math>, которые определяются следующим образом

<math>\xi=r+x,</math>

<math>\eta=r-x,</math>

где <math>r=\sqrt{x^2+y^2}</math> — радиус в плоскости орбиты. Обратное преобразование этих координат запишется в виде

<math>x=\frac{1}{2}(\xi-\eta),</math>

<math>y =\sqrt{\xi\eta}.</math>

Разделение переменных в уравнении Гамильтона — Якоби в этих координатах даёт два эквивалентных уравнения

<math>2\xi p_\xi^2-mk-mE\xi=-\beta,</math>

<math>2\eta p_\eta^2-mk-mE\eta=\beta,</math>

где <math>\beta</math> — интеграл движения. Посредством вычитания этих уравнений и выражения в терминах декартовых координат импульса <math>p_x</math> и <math>p_y</math> можно показать, что <math>\beta</math> эквивалентен вектору Лапласа — Рунге — Ленца

<math>\beta=p_y(xp_y-yp_x)-mk\frac{x}{r}=A_x.</math>

Этот подход Гамильтона — Якоби может использоваться, чтобы вывести сохраняющийся обобщённый вектор Лапласа — Рунге — Ленца <math>\mathcal{A}</math> в присутствии электрического поля <math>\mathbf{E}</math>

<math>\mathcal{A}=\mathbf{A}+\frac{mq}{2}\left[(\mathbf{r}\times\mathbf{E})\times\mathbf{r}\right],</math>

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

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

В отличие от импульса <math>\mathbf{p}</math> и углового момента <math>\mathbf{L}</math>, у вектора Лапласа — Рунге — Ленца нет общепринятого определения. В научной литературе используются несколько различных множителей и символов. Самое общее определение даётся выше, но другое определение возникает после деления на постоянную <math>mk</math>, чтобы получить безразмерный сохраняющийся вектор эксцентриситета

<math>\mathbf{e}=\frac{1}{mk}(\mathbf{p}\times\mathbf{L})-\mathbf{\hat{r}}=\frac{m}{k}(\mathbf{v}\times\mathbf{r}\times\mathbf{v})-\mathbf{\hat{r}},</math>

где <math>\mathbf{v}</math> — вектор скорости. Направление этого масштабированного вектора <math>\mathbf{e}</math> совпадает с направлением <math>\mathbf{A}</math>, и его амплитуда равна эксцентриситету орбиты. Мы получим другие определения, если поделить <math>\mathbf{A}</math> на <math>m</math>:

<math>\mathbf{M}=\mathbf{v}\times\mathbf{L}-k\mathbf{\hat{r}}</math>

или на <math>p_0</math>:

<math>\mathbf{D}=\frac{\mathbf{A}}{p_0}=\frac{1}{\sqrt{2m|E|}}\{\mathbf{p}\times\mathbf{L}-mk\mathbf{\hat{r}}\},</math>

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

Файл:Kepler trivector.svg

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

Альтернативный сохраняющийся вектор: бинормаль — вектор <math>\mathbf{B}</math> изучен Уильямом Гамильтоном

<math>\mathbf{B}=\mathbf{p}-\left(\frac{mk}{L^2r}\right)(\mathbf{L}\times\mathbf{r}),</math>

который сохраняется и указывает вдоль малой полуоси эллипса. Вектор Лапласа — Рунге — Ленца <math>\mathbf{A}=\mathbf{B}\times\mathbf{L}</math> является векторным произведением <math>\mathbf{B}</math> и <math>\mathbf{L}</math> (рис. 3). Вектор <math>\mathbf{B}</math> обозначен как бинормаль, так как он перпендикулярен как <math>\mathbf{A}</math>, так и <math>\mathbf{L}</math>. Подобно вектору Лапласа — Рунге — Ленца, вектор бинормали можно определить с различными множителями.

Два сохраняющиеся вектора <math>\mathbf{A}</math> и <math>\mathbf{B}</math> можно объединить в сохраняющийся двухэлементный тензор

<math>\mathbf{W}=\alpha\mathbf{A}\otimes\mathbf{A}+\beta\mathbf{B}\otimes\mathbf{B},</math>

где <math>\otimes</math> обозначает тензорное произведение, а <math>\alpha</math> и <math>\beta</math> — произвольные множители. Записанное в компонентной записи, это уравнение читается так

<math>W_{ij}=\alpha A_iA_j+\beta B_iB_j.</math>

Векторы <math>\mathbf{A}</math> и <math>\mathbf{B}</math> ортогональны друг другу, и их можно представить как главные оси сохраняющегося тензора <math>\mathbf{W}</math>, то есть как его собственные вектора. <math>\mathbf{W}</math> перпендикулярен <math>\mathbf{L}</math>:

<math>\mathbf{L}\cdot\mathbf{W}=\alpha(\mathbf{L}\cdot\mathbf{A})\mathbf{A}+\beta(\mathbf{L}\cdot\mathbf{B})\mathbf{B}=0,</math>

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

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

Файл:Laplace Runge Lenz vector2.svg

Рис. 4: Упрощённая версия рис. 1. Определяется угол <math>\theta</math> между <math>\scriptstyle \mathbf{A}</math> и <math>\scriptstyle\mathbf{r}</math> в одной точке орбиты.

Форму и ориентацию орбиты в задаче Кеплера, зная вектор Лапласа — Рунге — Ленца <math>\mathbf{A}</math>, можно определить следующим образом. Рассмотрим скалярное произведение векторов <math>\mathbf{A}</math> и <math>\mathbf{r}</math> (положения планеты):

<math>\mathbf{A}\cdot\mathbf{r}=Ar\cos\theta=\mathbf{r}\cdot(\mathbf{p}\times\mathbf{L})-mkr,</math>

где <math>\theta</math> является углом между <math>\mathbf{r}</math> и <math>\mathbf{A}</math> (рис. 4). Поменяем порядок множителей в смешанном произведении <math>\mathbf{r}\cdot(\mathbf{p}\times\mathbf{L})=\mathbf{L}\cdot(\mathbf{r}\times\mathbf{p})=\mathbf{L}\cdot\mathbf{L}=L^2</math>, и при помощи несложных преобразований получим определение для конического сечения:

<math>\frac{1}{r}=\frac{mk}{L^2}\left(1+\frac{A}{mk}\cos\theta\right)</math>

с эксцентриситетом <math>e</math>, заданным по формуле:

<math>e=\frac{A}{mk}=\frac{|\mathbf{A}|}{mk}.</math>

Приходим к выражению квадрата модуля вектора <math>\mathbf{A}</math> в виде

<math>A^2=m^2k^2+2mEL^2,</math>

которое можно переписать, используя эксцентриситет орбиты

<math>e^2-1=\frac{2L^2}{mk^2}E.</math>

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

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

Сила <math>\mathbf{F}</math>, действующая на частицу, предполагается центральной. Поэтому

<math>\mathbf{F}=\frac{d\mathbf{p}}{dt}=f(r)\frac{\mathbf{r}}{r}=f(r)\mathbf{\hat{r}}</math>

для некоторой функции <math>f(r)</math> радиуса <math>r</math>. Поскольку угловой момент <math>\mathbf{L}=\mathbf{r}\times\mathbf{p}</math> сохраняется под действием центральных сил, то <math>\frac{d}{dt}\mathbf{L}=0</math> и

<math>\frac{d}{dt}(\mathbf{p}\times\mathbf{L})=\frac{d\mathbf{p}}{dt}\times\mathbf{L}=f(r)\mathbf{\hat{r}}\times\left(\mathbf{r}\times m\frac{d\mathbf{r}}{dt}\right)=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],</math>

где импульс записан в виде <math>\mathbf{p}=m\frac{d\mathbf{r}}{dt}</math>, и двойное векторное произведение упростилось с помощью формулы Лагранжа

<math>\mathbf{r}\times\left(\mathbf{r}\times\frac{d\mathbf{r}}{dt}\right)=\mathbf{r}\left(\mathbf{r}\cdot\frac{d\mathbf{r}}{dt}\right)-r^2\frac{d\mathbf{r}}{dt}.</math>

Тождество

<math>\frac{d}{dt}(\mathbf{r}\cdot\mathbf{r})=2\mathbf{r}\cdot\frac{d\mathbf{r}}{dt}=\frac{d}{dt}(r^2)=2r\frac{dr}{dt}</math>

приводит к уравнению

<math>\frac{d}{dt}(\mathbf{p}\times\mathbf{L})=-mf(r)r^2\left[\frac{1}{r}\frac{d\mathbf{r}}{dt}-\frac{\mathbf{r}}{r^2}\frac{dr}{dt}\right]=

-mf(r)r^2\frac{d}{dt}\left(\frac{\mathbf{r}}{r}\right).</math> Для специального случая центральной силы, зависящей обратно пропорциональной квадрату расстояния <math>f(r)=\frac{-k}{r^2}</math>, последнее выражение равно

<math>\frac{d}{dt}(\mathbf{p}\times\mathbf{L})=mk\frac{d}{dt}\left(\frac{\mathbf{r}}{r}\right)=\frac{d}{dt}(mk\mathbf{\hat{r}}).</math>

Тогда <math>\mathbf{A}</math> сохраняется в этом случае

<math>\frac{d}{dt}\mathbf{A}=\frac{d}{dt}(\mathbf{p}\times\mathbf{L})-\frac{d}{dt}(mk\mathbf{\hat{r}})=0.</math>

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

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

Файл:Precessing ellipse.png

Рис. 5: Медленно прецессирующая эллиптическая орбита, с эксцентриситетом <math>\scriptstyle e=0{,}9</math>. Такая прецессия возникает в проблеме Кеплера, если притягивающая центральная сила немного отличается от закона тяготения Ньютона. Скорость прецессии можно вычислить, используя приведённые в параграфе формулы.

Во многих практических проблемах, типа планетарного движения, взаимодействие между двумя телами только приблизительно зависит обратно пропорционально квадрату расстояния. В таких случаях вектор Лапласа — Рунге — Ленца <math>\mathbf{A}</math> не постоянен. Однако, если возмущающий потенциал <math>h(r)</math> зависит только от расстояния, то полная энергия <math>E</math> и вектор углового момента <math>\mathbf{L}</math> сохраняются. Поэтому траектория движения всё ещё находится в перпендикулярной к <math>\mathbf{L}</math> плоскости, и величина <math>A</math> сохраняется, согласно уравнению <math>A^2=m^2k^2+2mEL^2</math>. Следовательно, направление <math>\mathbf{A}</math> медленно вращается по орбите в плоскости. Используя каноническую теорию возмущений и координаты действие-угол, можно прямо показать, что <math>\mathbf{A}</math> вращается со скоростью

<math>\frac{\partial}{\partial L}\langle h(r)\rangle=\frac{\partial}{\partial L}\left\{\frac{1}{T}\int\limits_0^T h(r)\,dt\right\}=\frac{\partial}{\partial L}\left\{\frac{m}{L^2}\int\limits_0^{2\pi}r^2h(r)\,d\theta\right\},</math>

где <math>T</math> — период орбитального движения и равенство <math>L\,dt=mr^2\,d\theta</math> использовалось, чтобы преобразовать интеграл по времени в интеграл по углу (рис. 5). Например, принимая во внимание эффекты общей теории относительности, приходим к добавке, которая в отличие от обычной гравитационной силы Ньютона зависит обратно пропорционально кубу расстояния:

<math>h(r)=\frac{kL^2}{m^2c^2}\left(\frac{1}{r^3}\right).</math>

Подставляя эту функцию в интеграл и используя уравнение

<math>\frac{1}{r}=\frac{mk}{L^2}\left(1+\frac{A}{mk}\cos\theta\right),</math>

чтобы выразить <math>r</math> в терминах <math>\theta</math>, скорость прецессии перицентра, вызванная этим возмущением, запишется в виде

<math>\frac{6\pi k^2}{TL^2c^2}.</math>

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

Теория групп

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

Теорема Нётер утверждает, что инфинитезимальная вариация обобщённых координат физической системы

<math>\delta q_i=\varepsilon g_i(\mathbf{q},\;\mathbf{\dot{q}},\;t)</math>

вызывает изменение функции Лагранжа в первом порядке на величину полной производной по времени

<math>\delta L=\varepsilon\frac{d}{dt}G(\mathbf{q},\;t)\,,</math>

что соответствует сохранению величины

<math>J=-G+\sum_i g_i\left(\frac{\partial L}{\partial\dot{q}_i}\right)\,.</math>

Эта компонента вектора Лапласа — Рунге — Ленца <math>A_s</math> соответствует вариации координат

<math>

\delta_s x_i = \frac{\varepsilon}{2} \left[ 2 p_i x_s - x_i p_s - \delta_{is} \left( \mathbf{r} \cdot \mathbf{p} \right) \right], </math> где <math>i</math> равняется 1, 2 и 3, а <math>x_i</math> и <math>\dot{x}_i</math> — <math>i</math>-е компоненты векторов положения <math>\mathbf{r}</math> и скорости <math>\mathbf{\dot{r}}</math>, соответственно. Функция Лагранжа данной системы

<math>L = \frac{m\dot{r}^2}{2} + \frac{k}{r} .</math>

Получающееся изменение в первом порядке малости для функции Лагранжа запишется как

<math>

\delta L = \frac{1}{2}\varepsilon mk\frac{d}{dt} \left( \frac{x_s}{r} \right). </math> Это приводит к сохранению компоненты <math>A_s</math>

<math>

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 \left( \mathbf{r} \times \mathbf{p} \right) \right]_s - mk \left( \frac{x_s}{r} \right). </math>

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

Файл:Scaled ellipses.png

Рис. 6: Преобразование Ли, из которого выводится сохранение вектора Лапласа — Рунге — Ленца <math>\scriptstyle\mathbf{A}</math>. Когда масштабируемый параметр <math>\scriptstyle \lambda</math> изменяется, энергия и угловой момент тоже меняются, но эксцентриситет <math>\scriptstyle e</math> и вектор <math>\scriptstyle\mathbf{A}</math> не изменяются.

Существует другой метод вывода сохранения вектора Лапласа — Рунге — Ленца, использующий вариацию координат без привлечения скоростей. Масштабирование координат <math>\mathbf{r}</math> и времени <math>t</math> с разной степенью параметра <math>\lambda</math> (рис. 6)

<math>t\to\lambda^3t,\;\mathbf{r}\to\lambda^2\mathbf{r},\;\mathbf{p}\to\frac{1}{\lambda}\mathbf{p}</math>

изменяет полный угловой момент <math>L</math> и энергию <math>E</math>:

<math>L\to\lambda L,\;E\to\frac{1}{\lambda^2}E</math>

— но сохраняет произведение <math>EL^2</math>. Отсюда следует, что эксцентриситет <math>e</math> и величина <math>A</math> сохраняются в уже упомянутом ранее уравнении

<math>A^2=m^2k^2e^2=m^2k^2+2mEL^2.</math>

Направление <math>\mathbf{A}</math> также сохраняется, поскольку полуоси не изменяются при скалировании. Это преобразование оставляет верным третий закон Кеплера, а именно то, что полуось <math>a</math> и период <math>T</math> формируют константу <math>T^2/a^3</math>.

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

Для трёх компонент <math>L_i</math> вектора углового момента <math>\mathbf{L}</math> можно определить скобки Пуассона

<math>[L_i,\;L_j]=-\sum_{s=1}^3\varepsilon_{ijs}L_s,</math>

где индекс <math>i</math> пробегает значения 1, 2, 3 и <math>\varepsilon_{ijs}</math> — абсолютно антисимметричный тензор, то есть символ Леви-Чивита (третий индекс суммирования <math>s</math>, чтобы не путать с силовым параметром <math>k</math>, определённым выше). В качестве скобок Пуассона используются квадратные скобки (а не фигурные), как и в литературе и, в том числе, чтобы интерпретировать их как квантовомеханические коммутационные соотношения в следующем разделе.

Как показано выше, изменённый вектор Лапласа — Рунге — Ленца <math>\mathbf{D}</math> можно определить с той же размерностью, что и угловой момент, разделив <math>\mathbf{A}</math> на <math>p_0</math>. Скобка Пуассона <math>\mathbf{D}</math> с вектором углового момента <math>\mathbf{L}</math> запишется в похожем виде

<math>[D_i,\;L_{j}]=\sum_{s=1}^3\varepsilon_{ijs}D_s.</math>

Скобка Пуассона <math>\mathbf{D}</math> с <math>\mathbf{D}</math> зависит от знака <math>E</math>, то есть когда полная энергия <math>E</math> отрицательна (эллиптические орбиты под действием центральной силы, зависящей обратно пропорционально квадрату расстояния) или положительная (гиперболические орбиты). Для отрицательных энергий скобки Пуассона примут вид

<math>[D_i,\;D_j]=-\sum_{s=1}^3\varepsilon_{ijs}L_s.</math>

В то время как для положительных энергий скобки Пуассона имеют противоположный знак

<math>[D_i,\;D_j]=\sum_{s=1}^3\varepsilon_{ijs}L_s.</math>

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

<math>C_1=\mathbf{D}\cdot\mathbf{D}+\mathbf{L}\cdot\mathbf{L}=\frac{mk^2}{2|E|},</math>

<math>C_2=\mathbf{D}\cdot\mathbf{L}=0</math>

и мы имеем нулевые скобки Пуассона для всех компонент <math>\mathbf{D}</math> и <math>\mathbf{L}</math>

<math>[C_1,\;L_i]=[C_1,\;D_i]=[C_2,\;L_i]=[C_2,\;D_i]=0.</math>

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

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

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

Файл:Kepler hodograph family.png

}</math> на оси <math>\scriptstyle p_x</math> (сравните с рис. 3). Это семейство годографов соответствует семейству окружностей Аполлония, и <math>\scriptstyle\sigma</math> изоповерхностям биполярных координат.

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

Связанная система с отрицательной полной энергией обладает симметрией SO(4), которая сохраняет длину четырёхмерных векторов

<math>|\mathbf{e}|^2=e_1^2+e_2^2+e_3^2+e_4^2.</math>

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

Рассеянная система с положительной полной энергией обладает симметрией SO(3,1), которая сохраняет длину 4-вектора в пространстве с метрикой Минковского

<math>ds^2=e_1^2+e_2^2+e_3^2-e_4^2.</math>

Фок и Баргман рассмотрели как отрицательные, так и положительные энергии. Они также были рассмотрены энциклопедически Бендером и Ициксоном. Недавнее исследование Ефимова С.П. показало, что результат В. Фока переносится из искривленного импульсного пространства в 4-х мерное координатное . При этом переход от четырехмерных сферических функций в физическое трехмерное пространство возникает просто при замене четвертой "лишней" координаты на мнимый радиус вектор <math>\imath r </math>. Найденное координатное пространство оказывается в теории "ближе", чем искривленное пространство В. Фока.

Симметрия вращений в четырёхмерном пространстве

Файл:Kepler Fock projection.svg

Рис. 8: Годограф импульса на рис. 7 соответствует стереографической проекции больших кругов из четырёхмерной <math>\scriptstyle\eta</math> сферы единичного радиуса. Все большие круги пересекают <math>\scriptstyle\eta_x</math> ось, которая направлена перпендикулярно странице. Проекция из северного полюса (единичный вектор <math>\scriptstyle \mathbf{w}</math>) к (<math>\scriptstyle\eta_x</math>-<math>\scriptstyle\eta_y</math>) плоскости, как показано для пурпурного годографа пунктирной чёрной линией. Большой круг на широте <math>\scriptstyle \alpha</math> соответствует эксцентриситету <math>\scriptstyle e=\sin\alpha</math>. Цвета больших кругов, показанных здесь, соответствуют цветам их годографов на рис. 7.

Связь между проблемой Кеплера и вращениями в четырёхмерном пространстве SO(4) можно достаточно просто визуализировать. Пусть в четырёхмерном пространстве заданы декартовы координаты, которые обозначены <math>(w,\;x,\;y,\;z)</math>, где <math>(x,\;y,\;z)</math> представляют декартовы координаты обычного положения трёхмерного вектора <math>\mathbf{r}</math>. Трёхмерный вектор импульса <math>\mathbf{p}</math> связан с четырёхмерным вектором <math>\boldsymbol{\eta}</math> на четырёхмерной единичной сфере посредством

<math>\boldsymbol\eta=\frac{p^2-p_0^2}{p^2+p_0^2}\mathbf{\hat{w}}+\frac{2p_0}{p^2+p_0^2}\mathbf{p}=\frac{mk-rpp_0}{mk}\mathbf{\hat{w}}+\frac{rp_0}{mk}\mathbf{p},</math>

где <math>\mathbf{\hat{w}}</math> — единичный вектор вдоль новой оси <math>w</math>. Поскольку <math>\boldsymbol{\eta}</math> имеет только три независимые компоненты, то этот вектор можно обратить, получив выражение для <math>\mathbf{p}</math>. Например, для компоненты <math>x</math>

<math>p_x=p_0\frac{\eta_x}{1-\eta_w}</math>

и аналогично для <math>p_y</math> и <math>p_z</math>. Другими словами, трёхмерный вектор <math>\mathbf{p}</math> является стереографической проекцией четырёхмерного вектора <math>\boldsymbol{\eta}</math>, умноженному на <math>p_0</math> (рис. 8).

Без потери общности, мы можем устранить нормальную вращательную симметрию, выбирая декартовы координаты, где ось <math>z</math> направлена вдоль вектора углового момента <math>\mathbf{L}</math>, и годограф импульса расположен как показано на рисунке 7, с центрами кругов на оси <math>y</math>. Так как движение происходит в плоскости, а <math>\mathbf{p}</math> и <math>L</math> ортогональны, <math>p_z=\eta_z=0</math>, и внимание можно сосредоточить на трёхмерном векторе <math>\boldsymbol{\eta}=(\eta_w,\;\eta_x,\;\eta_y)</math>. Семейство окружностей Аполлония годографов импульса (рис. 7) соответствует множеству больших кругов на трёхмерной сфере <math>\boldsymbol{\eta}</math>, все из которых пересекают ось <math>\eta_x</math> в этих двух фокусах <math>\eta_x=\pm 1</math>, соответствующих фокусам годографа импульса при <math>p_x=\pm p_0</math>. Большие круги связаны простым вращением вокруг оси <math>\eta_x</math> (рис. 8). Эта вращательная симметрия преобразует все орбиты с той же самой энергией друг в друга; однако, такое вращение ортогонально к обычным трёхмерным вращениям, так как оно преобразует четвёртое измерение <math>\eta_w</math>. Эта более высокая симметрия характерна для проблемы Кеплера и соответствует сохранению вектора Лапласа — Рунге — Ленца.

Изящное решение для проблемы Кеплера с использованием переменных угол-действие можно получить, избавляясь от избыточной четырёхмерной координаты <math>\boldsymbol{\eta}</math> и используя эллиптические цилиндрические координаты <math>(\alpha,\;\beta,\;\varphi)</math>

<math>\eta_w=\mathrm{cn}\,\alpha\,\mathrm{cn}\,\beta,</math>

<math>\eta_x=\mathrm{sn}\,\alpha\,\mathrm{dn}\,\beta\cos\varphi,</math>

<math>\eta_y=\mathrm{sn}\,\alpha\,\mathrm{dn}\,\beta\sin\varphi,</math>

<math>\eta_z=\mathrm{dn}\,\alpha\,\mathrm{sn}\,\beta,</math>

где используются эллиптические функции Якоби: <math>\mathrm{sn}</math>, <math>\mathrm{cn}</math> и <math>\mathrm{dn}</math>.

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

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

Файл:Hydrogen energy levels.png

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

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

Особенность квантовомеханического оператора для вектора Лапласа — Рунге — Ленца <math>\mathbf{A}</math> заключается в том, что импульс и операторы углового момента не коммутируют друг с другом, следовательно, векторное произведение <math>\mathbf{p}</math> и <math>\mathbf{L}</math> должно быть определено тщательно. Как правило, операторы в декартовой системе координат <math>A_s</math> определены с помощью симметризованного произведения

<math>A_s=-mk\hat{r}_s+\frac{1}{2}\sum_{i=1}^3\sum_{j=1}^3\varepsilon_{sij}(p_il_j-l_ip_j),</math>

из которого определяются соответствующие лестничные операторы

<math>A_0=A_3,</math>

<math>A_{\pm 1}=\mp\frac{1}{\sqrt{2}}(A_1\pm iA_2).</math>

Нормированный оператор первого инварианта Казимира может быть определён подобным образом

<math>C_1=-\frac{mk^2}{2\hbar^2}H^{-1}-I,</math>

где <math>H^{-1}</math> — оператор, обратный к оператору энергии (гамильтониан) и <math>I</math> — единичный оператор. Применяя эти лестничные операторы к собственным состояниям <math>|lmn\rangle</math> операторов полного углового момента, азимутального углового момента и энергии, можно показать, что собственные состояния первого оператора Казимира задаются формулой <math>n^2-1</math>. Следовательно, уровни энергии даются выражением

<math>E_n=-\frac{mk^2}{2\hbar^2n^2},</math>

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

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

Вектор Лапласа — Рунге — Ленца был обобщён на другие потенциалы и даже на специальную теорию относительности. Наиболее общую форму этого вектора можно записать в виде

<math>\mathcal{A}=\left(\frac{\partial\xi}{\partial u}\right)(\mathbf{p}\times\mathbf{L})+\left[\xi-u\left(\frac{\partial\xi}{\partial u}\right)\right]L^2\mathbf{\hat{r}},</math>

где <math>u=1/r</math> (см. теорема Бертрана) и <math>\xi=\cos\theta</math>, с углом <math>\theta</math>, определённым как

<math>\theta=L\int\limits^u\frac{du}{\sqrt{m^2c^2(\gamma^2-1)-L^2u^2}}.</math>

Здесь <math>\gamma</math> — релятивистский фактор. Как и раньше, можно получить сохраняющийся вектор бинормали <math>\mathbf{B}</math>, взяв векторное произведение с сохраняющимся вектором углового момента

<math>\mathcal{B}=\mathbf{L}\times\mathcal{A}.</math>

Эти два вектора можно соединить в сохраняющийся двухкомпонентный тензор <math>W</math>

<math>\mathcal{W}=\alpha\mathcal{A}\otimes\mathcal{A}+\beta\mathcal{B}\otimes\mathcal{B}.</math>

Для примера вычислим вектор Лапласа — Рунге — Ленца для нерелятивистского изотропного гармонического осциллятора. Рассмотрим центральную силу:

<math>\mathbf{F}(r)=-k\mathbf{r}</math>

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

<math>\mathbf{W}=\frac{1}{2m}\mathbf{p}\otimes\mathbf{p}+\frac{k}{2}\mathbf{r}\otimes\mathbf{r},</math>

хотя нужно заметить, что <math>p</math> и <math>r</math> не перпендикулярны, как <math>A</math> и <math>B</math>. Соответствующий вектор Лапласа — Рунге — Ленца имеет более сложную запись

<math>\mathbf{A}=\frac{1}{\sqrt{mr^2\omega_0A-mr^2E+L^2}}\{(\mathbf{p}\times\mathbf{L})+(mr\omega_0A-mrE)\mathbf{\hat{r}}\},</math>

где <math>\omega_0=\sqrt{\frac{k}{m}}</math> — частота осциллятора.

См. также

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

Ссылки

• Шаблон:Статья Статья посвящена обобщению вектора Лапласа — Рунге — Ленца на потенциалы, отличные от кулоновского. arxiv.org Шаблон:Wayback