Отсутствие стабильных замкнутых орбит для ньютоновского гравитационного поля в пространственных измерениях d≠3d≠3d\neq 3

Мы должны показать, что орбиты в 4D не замкнуты. Поэтому я вывел лагранжиан в гиперсферических координатах

л "=" м 2 ( р ˙ 2 + грех 2 ( γ ) ( грех 2 ( θ ) р 2 ф ˙ 2 + р 2 θ ˙ 2 ) + р 2 γ ˙ 2 ) В ( р ) .

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

Подсказка: теорема Бертрана . См. также этот пост Phys.SE. К вашему сведению, теорема Бертрана о матопереполнении здесь .
@Lipschitz, я считаю, что для заданной траектории всегда можно выбрать координаты так, чтобы все углы, кроме ф равны нулю. Это потому, что сила центральная, поэтому траектории плоские (никакая сила не выталкивает их из плоскости).
@Lipschitz, не ноль, а просто постоянная, конечно.
Смутно связано: physics.stackexchange.com/q/55638

Ответы (3)

Подсказки:

  1. Докажите, что угловой момент л я Дж "=" Икс я п Дж Икс Дж п я сохраняется для закона центральной силы в г пространственные размеры, я , Дж е { 1 , 2 , , г } .

  2. Поскольку понятие замкнутых орбит не имеет смысла для г 1 , будем считать впредь, что г 2 .

  3. Выберите 2D-плоскость π через начало координат, параллельное векторам начального положения и импульса. Вывести (из уравнений движения Икс ˙ п и п ˙ Икс ), что точечная масса по-прежнему ограничена этой двумерной плоскостью π (известный как плоскость орбиты) на все времена т . Таким образом, задача по существу является 2+1 мерной с радиальными координатами ( р , θ ) и время т . [Другими словами, окружающий г 2 пространственные измерения сводятся к пассивным зрителям. Интересно, что этот аргумент по существу показывает, что заключение теоремы Бертрана не зависит от общего числа г 2 пространственных размеров; а именно вывод о том, что только центральные потенциалы вида В ( р ) 1 / р или В ( р ) р 2 имеют замкнутые стабильные орбиты.]

  4. Сделать вывод, что лагранжиан л "=" 1 2 м ( р ˙ 2 + р 2 θ ˙ 2 ) В ( р ) .

  5. Импульсы

    п р   "="   л р ˙   "="   м р ˙
    и
    п θ   "="   л θ ˙   "="   м р 2 θ ˙ .

  6. Обратите внимание, что θ является циклической переменной, поэтому соответствующий импульс п θ (которое является угловым моментом) сохраняется.

  7. Выведите, что гамильтониан ЧАС "=" п р 2 2 м + п θ 2 2 м р 2 + В ( р ) .

  8. Интерпретация члена угловой кинетической энергии

    п θ 2 2 м р 2   "="   В с ф ( р )
    как центробежный потенциальный член в одномерном радиальном мире. См. также этот пост Phys.SE. Следовательно, проблема по существу 1 + 1 размерная ЧАС "=" п р 2 2 м + В с ф ( р ) + В ( р ) .

  9. С этого момента будем считать, что центральная сила Ф ( р ) является ньютоновской гравитацией. Показать через г -мерный закон Гаусса, что ньютоновская гравитационная сила в г пространственные размеры зависят от расстояния р как Ф ( р ) р 1 г . (См. также, например, веб-страницу www.superstringtheory.com или Б. Цвибах, Первый курс теории струн, раздел 3.7.) Эквивалентно, ньютоновский гравитационный потенциал равен

    В ( р )     { р 2 г для г     2 , п ( р ) для г   "="   2.

  10. Итак, по теореме Бертрана возможные измерения г для замкнутых устойчивых орбит с ньютоновской гравитацией:

    • г "=" 0 : закон Гука (который мы уже исключили посредством предположения г 2 ).
    • г "=" 3 : 1 / р потенциала (стандартный случай).
    • г "=" 4 : 1 / р 2 потенциал (подходящим образом переинтерпретированный как часть центробежного потенциала).

    Мы хотели бы показать, что последняя возможность г "=" 4 не приводит к замкнутым устойчивым орбитам.

  11. Предположим отныне, что г "=" 4 . Обратите внимание на упрощающий факт, что в г "=" 4 , центробежный потенциал В с ф ( р ) и гравитационный потенциал В ( р ) иметь точно такое же 1 / р 2 зависимость!

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

  13. Однако если отталкивающий центробежный потенциал В с ф ( р ) и притягательный гравитационный потенциал В ( р ) просто получилось отменить на одну дистанцию р , они будут продолжать отменять на все расстояния р . второй закон Ньютона становится р ¨ "=" 0 . Отсюда замкнутая круговая орбита р ˙ "=" 0 возможно. Однако эта замкнутая круговая орбита не устойчива к возмущениям лучевой скорости р ˙ , в соответствии с теоремой Бертрана.

Следуя вашим рассуждениям, в четырех измерениях или выше потенциал 1 / р всегда замыкал стабильные орбиты, но я думаю, что доказал обратное, пожалуйста, поправьте меня, если я ошибаюсь.
Да, привлекательный 1 / р потенциал в г 2 пространственные измерения имеет замкнутые устойчивые орбиты.
Тогда где ошибка в моем ответе? (это ваше). Не могу найти, буду благодарен если поможете.
@Ikiperu гравитация не 1 / р потенциал в г 3 . Вы можете видеть это только из размерного анализа в законе Гаусса, так как измерения плотности изменяются с количеством измерений пространства, и, следовательно, размеры г меняются (единицы потенциала и лапласиана, разумеется, остаются прежними). Это восьмой пункт в приведенном выше ответе.
@zkf Это ясно, и из этого очевидно, что существуют незамкнутые орбиты (я хотел бы увидеть подробное доказательство того, что все орбиты незамкнуты, что является вопросом ОП). Меня не убеждает аргумент Qmechanich (как 1 => 2), на самом деле я думаю, что нашел контрпример для потенциального 1 / р (см. мой ответ там), если мое решение верно, есть незамкнутые орбиты, вопреки его утверждению, я надеюсь, что кто-то сможет проверить расчет.
@Ikiperu мы не обсуждаем 1 / р потенциал. Ньютоновский гравитационный потенциал в 4+1 не 1 / р .

Четырехмерный случай содержит трехмерное пространство, поэтому замкнутые орбиты существуют, если они существуют в трех измерениях. Наоборот, если незамкнутые орбиты существуют в 3d, то, очевидно, они существуют и в 4d. Согласно теореме Бертрана, два единственных потенциала, которые в трех измерениях допускают устойчивые замкнутые орбиты, — это гармонический и ньютоновский, поэтому остается доказать, что в размерности 4 эти два потенциала допускают незамкнутые орбиты, для простоты я проведу расчет для ньютоновской, но доказательство для гармоники столь же простое.

Введение цилиндрических координат для Икс , у и г , ж отдельно лагранжиан принимает вид:

л а г "=" м ( р 1 ˙ 2 + р 2 ˙ 2 + р 1 2 θ 1 ˙ 2 + р 2 2 θ 2 ˙ 2 ) / 2 В ( р 1 2 + р 2 2 )
или, вводя угловые моменты:
л а г "=" м ( р 1 ˙ 2 + р 2 ˙ 2 + л 1 2 / ( м р 1 ) 2 + л 2 2 / ( м р 2 ) 2 ) / 2 В ( р 1 2 + р 2 2 )
снова перейти к цилиндрическим координатам ( ( р 1 , р 2 ) ( р , ф ) , ф е ( 0 , π / 2 ) ) у нас есть ( л с о м п л е Икс "=" л 1 + я л 2 "=" л е я Φ ):
л а г "=" м ( р ˙ 2 + р 2 ф ˙ 2 + ( потому что 2 Φ / потому что 2 ф + грех 2 Φ / грех 2 ф ) ( л / ( м р ) ) 2 ) / 2 м к / р
выбрав

ф ( 0 ) "=" арктический загар 2 / 3 Φ "=" ф 0 , ф ˙ ( 0 ) "=" 0 ,
р ( 0 ) "=" ( 1 + загар 2 / 3 Φ ) ( потому что 2 Φ + грех 2 Φ / загар 4 / 3 Φ ) л 2 / ( 2 к м 2 ) "=" р 0 , р ˙ ( 0 ) "=" 0 , θ 1 ( 0 ) "=" 0 , θ 2 ( 0 ) "=" 0
мы получаем:
Икс ( т ) "=" р 0 потому что ф 0 потому что ( ю 1 т )
у ( т ) "=" р 0 потому что ф 0 грех ( ю 1 т )
г ( т ) "=" р 0 грех ф 0 потому что ( ю 2 т )
ж ( т ) "=" р 0 грех ф 0 грех ( ю 2 т )
где ю 1 "=" л потому что Φ / ( м потому что ф 0 р 0 2 ) , ю 2 "=" л грех Φ / ( м грех ф 0 р 0 2 ) , теперь, если мы выберем Φ так что:
загар Φ "=" д загар ф 0 "=" д загар 2 / 3 Φ , д Вопрос
условие, которое еще менее строгое, чем загар Φ иррациональный. Это пример незамкнутой связанной орбиты. Гармонический случай является аналогом с другим р 0 . Эта конструкция возможна для г 4 просто игнорируя координаты. На данный момент возникает вопрос: для негармонических или неньютоновских ( 1 / р для ясности) являются устойчивыми орбитами незамкнутыми для каждого г ?

Предполагая, что ОП спрашивает, закрыты ли орбиты для 1 р 3 -закон, то уместно указать, что это один из трех случаев, когда известен явный вид орбит. Это так называемые спирали Котеса — типичными примерами являются кривые вида р потому что ( ( А θ + ϵ ) "=" 1 , р чушь ( А θ + ϵ ) "=" 1 и гиперболические спирали (о которых см. Википедию). Это есть в «Началах» Ньютона.