Как получить истинную аномалию от времени?

Упражнение, которое осталось нерешенным в прошлогоднем классе, дает мне следующее уравнение:

т т п знак равно а 3 мю * ( арксин ( Икс ) е * Икс )
куда :
Икс знак равно 1 е 2 * грех ( в ) 1 + е * потому что ( в ) .
Он использует следующие обозначения:

  • т текущее время на орбите
  • т п время в перигее
  • а является большой полуосью
  • мю - стандартный гравитационный параметр, при этом мю знак равно грамм М
  • е эксцентриситет орбиты
  • в это настоящая аномалия

Чтобы закончить программу, которую я начал писать, мне нужно было извлечь настоящую аномалию, в , зная, что все остальные параметры заданы, но после долгих попыток я так и не понял.

Во-первых, я думаю, что его можно свести к уравнению в виде α * арксин ( Икс ) + β * Икс + γ знак равно 0 но я не смог найти ссылку на решение такого уравнения нигде в Интернете, и WolframAlpha не дает ничего полезного.

Кроме того, я думал, что могу использовать степенной ряд или ряд Тейлора для аппроксимации результата, но похоже, что это приносит больше проблем, чем что-либо решает...

Если у кого есть навыки помогите, буду благодарен! Спасибо


РЕДАКТИРОВАТЬ: Я исправил свою программу, если кому интересно, вот реализация . Спасибо всем, кто помог!

Возможно, использование arcsin в вопросе неверно.
@uhoh - Это правильно. Параметр Икс - синус эксцентрической аномалии Е . Переписав уравнение Кеплера в терминах Икс урожаи М знак равно мю / а 3 ( т т п ) знак равно арксин Икс е Икс , что является первым уравнением. Второе уравнение является правильным выражением синуса эксцентрической аномалии через истинную аномалию.

Ответы (2)

Упражнение, которое осталось нерешенным в прошлогоднем классе, дает мне следующее уравнение:

т т п знак равно а 3 мю * ( арксин ( Икс ) е * Икс )
куда :
Икс знак равно 1 е 2 * грех ( в ) 1 + е * потому что ( в ) .


Это просто уравнение Кеплера М знак равно Е е грех Е , но написано в терминах Икс знак равно грех Е , куда Е эксцентрическая аномалия. У нас нет вывода уравнения Кеплера на этом сайте, так что вот. Начну с картинки.


Изображение, показывающее части эллиптической орбиты тела P вокруг центрального тела F и его описанной окружности с центром, обозначенным как C.

На изображении выше изображено тело п по эллиптической орбите вокруг тела Ф занимающая один из фокусов эллипса. Эллипс имеет большую полуось а вдоль горизонтальной оси и эксцентриситет е . Центр эллипса и описанная им окружность находятся в С . Вертикальная проекция текущего местоположения на описанную окружность обозначается п .

Второй закон Кеплера гласит, что площадь эллиптического сектора Z Ф п является линейной функцией времени: А ( Z Ф п ) знак равно к ( т т п ) , куда А ( Z Ф п ) рассматриваемая область, к некоторая константа, т это время, за которое орбитальный объект достигает положения п , а также т п время прохождения перицентра. На полной орбите площадь, охватываемая этим эллиптическим сектором, равна площади эллипса: А ( 2 π ) знак равно π а б . Таким образом π а б знак равно к Т , куда Т - орбитальный период, или к знак равно π а б Т . Третий закон Кеплера в сочетании с ньютоновской гравитацией, в свою очередь, говорит нам, что 2 π Т знак равно мю а 3 , куда мю - гравитационный коэффициент системы грамм ( М + м ) . Определение н знак равно мю а 3 , у нас есть

(1) А ( Z Ф п ) знак равно 1 2 а б н ( т т п )

Нам нужно выражение для А ( ф ) . Для этого лучше всего ввести понятие эксцентрической аномалии . Это изображено на изображении как угол Е . Это формируется путем проецирования точки п вертикально до пересечения с описанной окружностью, обозначенной п . Учитывая точку Икс , у на описанной окружности, выраженной относительно центра С , соответствующая точка на эллипсе Икс , у результаты путем масштабирования у согласовывать б а : у знак равно б а у . Это масштабирование означает, что площадь эллиптического сектора Z С п площадь кругового сектора Z С п масштабируется одним и тем же масштабным коэффициентом. Так как площадь кругового сектора Z С п является 1 2 а 2 Е с Е выраженная в радианах, площадь эллиптического сектора Z С п является 1 2 а б Е .

Рассматриваемая область, область эллиптического сектора Z Ф п , - площадь эллиптического сектора Z С п меньше площадь треугольника Ф С п . Последнее 1 2 а е б грех Е (1/2 * основание * высота), или 1 2 а б е грех Е . Таким образом А ( Z Ф п ) знак равно 1 2 а б ( Е е грех Е ) . Объединение этого с уравнением (1) дает

(2) Е е грех Е знак равно н ( т т п ) М

Это уравнение Кеплера. Он обеспечивает простой механизм вычисления времени как функции положения. Вычисление положения как функции времени требует инвертирования этой трансцендентной функции двух переменных. Е а также е . Эта обратная функция не может быть выражена через элементарные функции.

Очень простой, гарантированно работающий метод поиска Е данный М а также е заключается в использовании схемы итерации с фиксированной точкой Е н + 1 знак равно М + е грех Е н . Любое начальное предположение Е 0 пойдет, но обычно М используется в качестве начального предположения. Это сходится для всех М и все эксцентриситеты от 0 (включительно) до 1 (исключительно). Сходимость очень медленная, особенно для больших эксцентриситетов. Лучшим подходом является использование метода Ньютона, который демонстрирует квадратичную сходимость , когда он сходится . Для обеспечения сходимости необходимо хорошее начальное предположение для больших эксцентриситетов. Еще лучшие подходы и даже лучшие первоначальные догадки, чем Е 0 знак равно М были найдены на протяжении веков. Уравнение Кеплера является предметом сотен научных работ.

Обращение уравнения Кеплера дает нам эксцентрическую аномалию как функцию времени. А как же настоящая аномалия ф ? Отношение между Е а также ф легко находится по формуле тангенса половины угла, загар 2 Икс 2 знак равно 1 потому что Икс 1 + потому что Икс . Координаты точки п по отношению к фокусу Ф находятся Икс знак равно а ( потому что Е е ) знак равно р потому что ф , у знак равно а 1 е 2 грех Е знак равно р грех ф . Таким образом

загар 2 ф 2 знак равно 1 + е 1 е загар 2 Е 2
(Для этого требуется вывести р знак равно а ( потому что Е е ) , не показано.) Поскольку истинная аномалия и эксцентрическая аномалия всегда находятся на одной стороне Икс оси, тангенсы их половинных углов всегда будут иметь один и тот же знак, что дает
(3) загар ф 2 знак равно 1 + е 1 е загар Е 2


Как насчет использования Икс знак равно грех Е вместо Е , как это сделано в вопросе? Это ситуация типа «тогда не делай этого» (из шутки «Доктор, мне больно, когда я бью себя вот так: 《 bonk 》»). Получается только меньше половины эллипса, а сходимость из арксин Икс е Икс знак равно М ужасно (если вообще сходится). Используйте уравнение Кеплера (уравнение (2)) для решения Е , затем найти истинную аномалию ф (альтернативно пишется как ν или же θ ) по уравнению (3).

редактировать: @DavidHammen только что опубликовал гораздо более подробный и проницательный ответ , который также указывает на некоторые проблемы с применением метода Ньютона к текущей форме.

Я почти уверен, что никогда не было найдено аналитического выражения для решения ν ( т т п ) , но решение с использованием метода Ньютона применительно к

а 3 мю * ( арксин ( Икс ) е * Икс ) ( т т п ) знак равно 0

должны хорошо сходиться к значениям Икс (или конечно ν если делать замену) за полдюжины итераций, хотя бы для эллиптической орбиты.

Я на самом деле не проверял ваши уравнения, просто поверил вам на слово.

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

Что ж, группа студентов на самом деле нашла решение! Жаль, что исправление тогда не раздали... Я написала преподавателю по электронной почте, но она не ответила, должно быть, она очень занята, так как только что закончила писать диссертацию.
@Magix Я думаю, что это было бы действительно большой новостью, если бы они нашли его и проверили.
Я буду держать вас в курсе, если когда-нибудь получу ответ, чтобы мы могли разделить Нобелевскую премию ;-)
Обновление: вот код, который они сделали, но он не работает... gist.github.com/anonymous/07a5f095fd56b62762b25631280d9f76
@Magix, который выглядит так, как будто использует аналитические решения кубических уравнений, и поэтому может пытаться решить приближение , используя только первые несколько членов ряда Тейлора, а не точное решение.
Метод Ньютона будет здесь проблематичным по нескольким причинам. (1) Вы не знаете знак производной. (2) Производная переходит в ± в Икс знак равно ± 1 . (3) И он меняет знак в этих точках. Гораздо лучше использовать саму эксцентрическую аномалию, а не ее синус.
@DavidHammen не стесняйтесь редактировать этот ответ или публиковать другой, если вы так склонны! Если я не увижу никаких изменений в течение следующего дня или двух, я попробую сам, а затем обновлю ответ. Я еще не занимался этим, потому что не был знаком с уравнением. Теперь, когда вы «проверили» его, может быть интересно изучить его. Спасибо за вклад в любом случае!