Эффективные методы численного моделирования околопланетной орбитальной динамики тема автореферата и диссертации по астрономии, 01.03.01 ВАК РФ
Авдюшев, Виктор Анатольевич
АВТОР
|
||||
доктора физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Томск
МЕСТО ЗАЩИТЫ
|
||||
2009
ГОД ЗАЩИТЫ
|
|
01.03.01
КОД ВАК РФ
|
||
|
САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
На правах рукописи
ЭФФЕКТИВНЫЕ МЕТОДЫ ЧИСЛЕННОГО МОДЕЛИРОВАНИЯ ОКОЛОПЛАНЕТНОЙ ОРБИТАЛЬНОЙ
ДИНАМИКИ
Специальность 01.03.01 - Астрометрия и небесная механика
Автореферат диссертации на соискание ученой степени доктора физико-математических наук
Санкт-Петербург - 2009
003489466
Работа выполнена в ОСП НИИ прикладной математики и механики Томского государственного университета
Научный консультант:
доктор физико-математических наук, профессор Бордовицына Татьяна Валентиновна.
Официальные оппоненты:
доктор физико-математических наук Соколов Леонид Леонидович,
Санкт-Петербургский государственный университет;
доктор физико-математических наук, старший научный сотрудник
Чернетенко Юлия Андреевна,
Институт прикладной астрономии РАН;
доктор физико-математических наук, профессор
Шапорев Сергей Дмитриевич,
Балтийский государственный технический университет.
Ведущая организация: Институт астрономии РАН.
Защита состоится 16 марта 2010 г. в 15 ч. 30 м. на заседании совета Д 212.232.15 по защите докторских и кандидатских диссертаций при Санкт-Петербургском государственном университете по адресу: 198504, Санкт-Петербург, Старый Петергоф, Университетский пр., 28, ауд. 2143 (мате-матико-механический факультет).
С диссертацией можно ознакомиться в библиотеке СПбГУ.
Общая характеристика работы Актуальность исследования
Появление новых астрометрических средств наблюдения за последние десятилетия вызвало небывалое повышение точности и стремительное увеличение количества наблюдательной информации о движении как уже известных, так и постоянно открываемых небесных тел, что к настоящему моменту естественным образом ставит перед специалистами теоретической астрономии актуальную проблему о пересмотре существующих и разработке новых математических моделей, интерпретирующих наблюдательный материал. В связи с широким использованием в астрономии вычислительных технологий математические модели сейчас все чаще реализуются на компьютерах посредством соответствующих численных методов. Таким образом, для обработки современных наблюдений от численно реализуемых математических моделей требуется беспрецедентно высокая эффективность.
Эффективность численного моделирования характеризуется точностью вычисляемых результатов, а также быстродействием их получения. Центральными результатами моделирования орбитального движения являются векторы динамического состояния исследуемого небесного тела: в прямых задачах это — прогнозируемые векторы на заданные моменты времени, получаемые на основе начальных, тогда как в обратных это — начальные векторы динамического состояния, получаемые на основе сопоставления результатов моделирования прямой задачи с наблюдениями. В этом смысле построение численной модели по наблюдениям можно рассматривать как процесс совместного решения прямой и обратной задач, что предусматривает использование самых разнообразных методов для повышения точности и быстродействия вычислений. Говоря об эффективных методах численного моделирования, обычно имеют в виду такие методы, которые повышают либо точность при сохранении быстродействия на несколько порядков и выше, либо быстродействие при сохранении точности в несколько раз и более, либо, в лучшем случае, обе характеристики эффективности одновременно.
А \
Эффективность численного моделирования определяется следующими основными факторами: 1) решаемой задачей (особенностью значений параметров, их точностью, налагаемыми условиями); 2) принятой математической моделью для ее решения; 3) методом компьютерной реализации модели; а также 4) архитектурой процессора, на котором выполняются вычисления, и ошибками компьютерной арифметики. Трудности моделирования, вызываемые как раз первыми двумя из перечисленных факторов, ставят сейчас перед небесными механиками ряд насущных проблем, для разрешения которых необходимы конструктивные подходы.
Уникальность параметрических значений в исследуемой задаче определяет различные особенности моделируемой динамики: конфигурацию орбиты, регулярность и скорость движения небесного тела и т.д., что, разумеется, непосредственно влияет на эффективность моделирования, основанного на численном интегрировании дифференциальных уравнений как формализации орбитальной динамики. В этом случае эффективность численного моделирования может быть повышена путем выбора более удачной формализации орбиты. Различные варианты дифференциальных уравнений движения в небесной механики предоставляют так называемые методы теории специальных возмущений, преобразующие классические уравнения к лучшему виду с точки зрения их численного интегрирования, что в результате позволяет повысить методическую и вычислительную точность, а также быстродействие численного моделирования.
Период развития методов теории специальных возмущений насчитывает уже несколько столетий. Первые методы были предложены еще в XIX веке (например, метод Эике или метод вариации произвольных постоянных Лаграпжа). По понятным причинам изначально они разрабатывались и применялись в теориях общих возмущений. Бурное развитие и появление оригинальных методов теории специальных возмущений приходится на 60 70 гг. прошлого века, что, очевидно, было вызвано широким использованием в небесно-механической практике компьютерных технологий. Несмотря на то, что с тех пор прошло довольно много времени и по методам вышло множество работ, обзоры которых можно найти в (Херрик, 1977; Рой, 1981; АагзйЬ, 1988), фактически не было ни одной, где бы проводился сравнительный анализ разнотипных методов и давались четкие рекомендации по их использованию.
Численный подход к решению задач орбитальной динамики остро ставит проблему интегрирования короткопсриодичсских возмущений. Эта проблема связана с таким явлением, когда в правых частях дифференциальных уравнений движения присутствуют быстроосциллирующие члены, частота которых существенно превышает среднее движение небесного тела. Даже если эти члены по величине меньше кеплеровского, задаваемого центральной силой, быстродействие численного интегрирования, тем не менее, будет определяться именно короткопериодическими членами, несмотря на то, что их вклад в решение может быть ничтожно малым. Как нетрудно заметить, подобные особенности возникают при численном интегрировании плохообусловленных (жестких) дифференциальных уравнений (Miranker, 1981).
Проблема короткопсриодичсских возмущений в небесной механике типично имеет место в задачах, где моделируется орбита медленного (внешнего) объекта под гравитационным влиянием быстрых (внутренних), как, например, в задачах о движении далеких астероидов и спутников (Авдю-шев, 200Ga; Авдюшев, 2007), где учитываются влияния соответственно от планет земной группы и от близких массивных спутников типа галилсевых.
В случае малого вклада короткопсриодичсских возмущений в исследуемую орбиту для разрешения вышеуказанной проблемы, как правило, прибегают к огрублению формализации движения путем включения возмущающих масс в центральную. Если же вклад короткопериодических возмущающих сил достаточно большой с точки зрения представления наблюдательных данных, обращаются к усреднению Гаусса (Дубошин, 1961; Jacobson, 2000; Emelyanov, 2005), что также приводит к упрощению динамической модели, но она оказывается все же точнее, нежели ее аналог с увеличенной центральной массой. Впрочем, второй подход имеет серьезную брешь, выраженную в том, что усреднение Гаусса не учитывает остаточные вековые эффекты в орбитальной долготе, которые на длительных интервалах времени могут привести к большим отклонениям моделируемых положений небесного тела относительно действительных.
В численном исследовании астероидных орбит наблюдается существенная потеря вычислительной точности в положении объекта при каждом его тесном сближении с большой планетой. Для разрешения этой трудности обычно прибегают к различного рода регуляризирующим преобразовани-
ям дифференциальных уравнений движения (Stiefel, Scheifele, 1971; Heggic, 1974; Aarseth, Zare, 1974). Однако недостаток такого подхода главным образом связан со значительным усложнением формализации орбитального движения, в то время как существуют другие более простые способы повышения вычислительной точности (Авдюшев, 2000; Авдюшев, 2003b), которые изложены в содержательной части данной диссертационной работы.
Параметры орбитальной модели, как правило, определяются из наблюдений в рамках задачи наименьших квадратов. Если ошибки наблюдательных данных носят случайный характер, то параметрическая точность будет зависеть не только от точности наблюдений, но также и от их количества: при одинаковой дисперсии случайных ошибок наблюдений точность параметров повышается с увеличением объема измерительной информации. Важным этапом в определении орбитальных параметров является оценивание параметрической точности, что обычно выполняется в контексте линейной задачи наименьших квадратов. В то же время использование линейных оценок не всегда обосновано, в особенности когда ошибки параметров достаточно большие, поскольку связь между орбитальными параметрами и представляемыми моделью положениями небесного тела, вообще говоря, нелинейна.
Обычно используемый на практике стандартный подход для оценивания параметрической точности состоит в построении границы доверительной области, определяющей вероятностный разброс параметрических ошибок, в соответствии с заданной изоповерхностью целевой функции (Press et al, 1987). Однако, если даже часто изоповерхпость достаточно хорошо описывает границу доверительной области, то указать вероятность накрытия ею реальных значений параметров в нелинейном случае оказывается невозможным (Draper, Smith, 1981).
Для нелинейного оценивания параметрической точности вообще нет универсальных методов (Draper, Smith, 1981; Демиденко, 1981; Bates, Watts, 1988), однако специфика исследуемой задачи порой все же позволяет сконструировать подходящие методы, пригодные для практического использования. Подобные методы в небесной механике предлагаются, например, в работах (Milani, 1999; Virtancn et al., 2001; Muinonen et al., 2006). Эффективный подход для нелинейного оценивания реализован (впрочем, без всякого обоснования) на сайте www.projectpluto.com, который вполне при-
емлем в тех случаях, когда внутренняя нелинейность (Beale, 1960) подпространства оцениваемых параметров в пространстве измеряемых равна нулю, хотя в практических задачах это условие не выполняется.
Параметрические ошибки могут быть вызваны не только ошибками наблюдений, но и особенностями обратной задачи, имеющей атрибуты некорректности. Обратная задача орбитальной динамики, как правило, сводится к минимизации некоторой целевой функции, которая выражает степень близости наблюдаемых и моделируемых положений объекта. Вообще говоря, совершенно нет никаких оснований полагать, что целевая функция имеет единственный минимум. Напротив, в большинстве обратных задач благодаря главным образом периодичности орбитального движения гиперповерхность целевой функции в пространстве определяемых параметров имеет довольно сложную структуру с многочисленными минимумами, что очень часто имеет место в нелинейных обратных задачах. Обычно не возникает затруднений в выборе минимума, соответствующего наилучшим оценкам орбитальных параметров, и таким минимумом является абсолютный, в котором значение целевой функции существенно меньше, нежели в других минимумах. Однако ситуация с выбором не всегда складывается столь благоприятно: в некоторых задачах (Авдюшев, Баныцикова, 2008) минимумы целевой функции могут быть почти равнозначными и тогда критерий качества по абсолютному минимуму не может рассматриваться как безусловный. Проблема множественности минимумов часто имеет место в обратных задачах близких спутников и, насколько нам известно, она еще здесь совершенно не изучена.
Кроме того, в обратных задачах орбитальной динамики близких спутников существует также проблема поиска решения. Дело в том, что ввиду сложности целевой функции используемые для поиска решения квазиньютоновские итерационные методы типа Гаусса-Ньютона порой оказываются неэффективными: последовательные приближения искомых параметров, получаемые итерационно, часто медленно сходятся, либо расходятся вовсе, и тогда следует прибегать к более изощренным подходам.
Цели и задачи исследования
С учетом сформулированных выше проблем при выполнении данной диссертационной работы была поставлена цель разработать методы для повышения эффективности численного моделирования орбит, исследовать возможности методов в задачах околопланетной орбитальной динамики, а также получить с их помощью результаты, имеющие прикладное значение для динамической астрономии.
Для достижения поставленной цели были решены следующие задачи.
1. Разработаны оригинальные методы теории специальных возмущений для повышения методической и вычислительной точности, а также быстродействия численного моделирования (интегрирования) орбит. В частности, предложен метод сглаживания для эффективного интегрирования астероидных орбит, а также методы так называемой стабилизации по времени и стабилизации почти кругового движения. Кроме того, получены различные эффективные модификации метода Энке применительно к интегрированию орбит в пространстве Кустаанхеймо-Штифеля.
2. Теоретически обоснованы предложенные и уже существующие и широко используемые на практике методы теории специальных возмущений применительно к характерным задачам орбитальной околопланетной динамики.
3. Проведен численный эксперимент с целью исследовать возможности методов теории специальных возмущений в задачах динамики спутников и астероидов, имеющих тесные сближения с большими планетами; выполнен сравнительный анализ эффективности методов; выработаны рекомендации по их использованию.
4. Исследована проблема короткопсриодических возмущений в рассматриваемых задачах и разработаны эффективные подходы для ее решения на основе огрубления численных моделей.
5. Теоретически обосновано применение так называемых гравицентри-ческих координатных систем для повышения вычислительной точности численного интегрирования в астероидных задачах, исследованы
особенности их применения, а также получены оценки эффективности применения соответствующих алгоритмов.
6. Исследованы особенности обратных задач динамики близких спутников Юпитера, получены оценки их орбитальных параметров по имеющимся наблюдениям объектов, а также изучена состоятельность оценок с точки зрения их использования для адекватного моделирования спутниковых орбит.
7. Разработаш,I эффективные алгоритмы для решения обратных задач динамики близких спутников на основе комплексного использования известных итерационных методов теории оптимизации, а именно Гаусса-Ньютона и градиентного спуска, совместно с так называемым проекционным методом.
8. Разработан эффективный метод для нелинейного оценивания параметрической точности динамических моделей. Метод основан на имитации статистики Фишера и реализуется путем многократного решения нелинейной задачи наименьших квадратов при различных выборках генерируемых наблюдений, получаемых путем внесения соответствующих случайных возмущений в моделируемые положения небесного тела. Оценены параметрические неопределенности в моделируемых орбитах близких и новых далеких спутников Юпитера.
Объект и предмет исследования
Объектом исследования в работе является орбитальная околопланетная динамика, тогда как предметом исследования — методы, предназначенные для повышения эффективности численного моделирования околопланетной динамики. Таким образом, в ходе выполнения диссертационной работы предполагалось разработать новые и усовершенствовать уже существующие методы для повышения эффективности численного моделирования околопланетной динамики, исследовать их возможности, а также получить с их помощью результаты, имеющие прикладное значение для динамической астрономии.
Наш интерес, к задачам околопланетной динамики вызван, прежде всего, следующими обстоятельствами: 1) спутниковые системы планет предоставляют широкий спектр орбит, на примере которых можно всесторонне исследовать возможности рассматриваемых методик; 2) движение в околопланетном пространстве с точки зрения численного моделирования усложнено рядом характерных особенностей, а именно высокими скоростями близких спутников и астероидов, тесно сближающихся с планетой; гравитационным влиянием Солнца на движение далеких спутников, приводящим к значительным изменениям их орбит, а также короткопериодиче-скими гравитационными возмущениями от близких массивных спутников типа галилеевых; 3) за последнее время в спутниковых системах открыто много новых объектов, что естественным образом привлекает к ним особое внимание. Наконец, отметим, что несмотря на принятые ограничения, применяемые методики могут быть также весьма полезны и для численного решения иных задач, не рассматриваемых в работе, например, астероидных или планетных, которые в плане моделирования имеют тесное родство с задачами околопланетной динамики.
Научная новизна исследования
Новизна диссертационной работы может быть охарактеризована следующими результатами, полученными соискателем.
1. Предложены новые методы и оригинальные модификации существующих методов теории специальных возмущений для повышения эффективности численного моделирования околопланетных орбит.
2. Проведен численный эксперимент по выявлению возможностей представленных методов применительно к задачам околопланетной динамики и па основе полученных численных результатов выполнен сравнительный анализ эффективности методов, а также выработаны четкие рекомендации по их использованию.
3. Сформулирована и исследована проблема короткопериодических возмущений, возникающая при численном интегрировании орбит далеких (медленных) объектов под гравитационном влиянием близких
(быстрых); предложены оригинальные способы эффективного решения проблемы.
4. Выявлена одна из важнейших причин существенной потери вычислительной точности при интегрировании орбит астероидов на моменты их тесных сближений с большими планетами; предложен так называемый метод синхронного слежения для повышения точности моделирования астероидного движения во время тесных сближений.
5. Сформулирована и детально исследована проблема неоднозначного определения орбит в обратных задачах динамики близких спутников.
С. Представлен оригинальный составной подход для эффективного численного поиска решения обратной задачи в случае моделирования орбит близких спутников.
7. Построена новая высокоточная численная модель спутникового движения применительно к спутниковой системе Юпитера на основе новой версии интегратора Гаусса Эверхарта в редакции автора диссертации.
8. Используя построенную модель, получены новые оценки орбитальных параметров для всех новых далеких и внутренних спутников Юпитера.
9. Предложен новый подход типа Монте-Карло для нелинейного оценивания неопределенностей в орбитальных параметрах, получаемых из наблюдений.
10. Впервые получены оценки точности орбитальных параметров для новых спутников Юпитера.
Следует заметить, что результаты по пп. 5, 7, 8, 10 были получены при совместном участии Баныциковой М.А., где однако ее вклад имеет отношение лишь к экспериментальной части работы, которая в то же время выполнялась под руководством автора данной диссертации. Впрочем, нельзя не отметить, что по п. 5 соавтором экспериментально была обнаружена
важная с прикладной точки зрения особенность в обратных задачах динамики близких спутников, проявляющаяся в неоднозначном определении спутниковых орбит по нескольким группам наблюдений, тогда как впоследствии автор диссертационной работы дал теоретическое объяснение этому явлению.
Результаты, представленные в диссертации, также опубликованы в ряде статей с другими соавторами, однако их вклад выпадает за рамки научной работы соискателя.
Практическая значимость работы
Представленные в работе методы, а также разработанное на их основе программно-математическое обеспечение может быть использовано для повышения эффективности численного моделирования орбит в околопланетном пространстве, например, с целью идентификации и планирования наблюдений небесных тел. Как уже отмечалось, применяемые методики вполне приемлемы и для численного исследования иных задач, Fie рассматриваемых в работе, которые в плане моделирования имеют сходство с задачами околопланетной динамики. В частности, методы нелинейного оценивания параметрической точности могут быть весьма полезными в задачах астероидной опасности для оценки вероятности столкновения объектов с Землей, особенно в тех случаях, когда астероидная орбита определяется по немногочисленным наблюдениям на очень короткой дуге и потому имеет большие параметрические ошибки.
Некоторые предложенные автором методики, имеющие отношение к прямым задачам орбитальной динамики, применялись для решения ряда прикладных задач динамической астрономии в рамках следующих работ:
1. НИР по базовому финансированию «Исследование движения, распределения и эволюции орбит малых тел Солнечной системы по наблюдениям с Земли и из космоса» (ТГУ 3.5.96Ф, 1996-2000 гг., рук. проф. Т.В. Бордовицына);
2. НИР по базовому финансированию «Математическое моделирование движения, распределения и орбитальной эволюции малых тел
Солнечной системы по результатам измерений» (ТГУ 3.4.01Ф, 20012005 гг., рук. проф. Т.В. Бордовицына);
3. НИР по базовому финансированию «Исследование динамики больших популяций малых тел Солнечной системы» (ТГУ 1.36.06Ф, 20062010 гг., рук. проф. Т.В. Бордовицына);
4. Федеральная целевая научно-техническая программа Минпромнауки РФ «Исследования и разработки по приоритетным направлениям развития пауки и техники» по теме «Исследование миграции малых тел Солнечной системы и развитие методов обнаружения потенциально опасных небесных тел, включая фрагменты космического мусора» (40.022.1.1.1108, 2002-2004 гг.);
5. Федеральная целевая научно-техническая программа Минпромнауки РФ «Исследования и разработки по приоритетным направлениям развития науки и техники», раздел «Фундаментальные исследования в области физических наук» по теме «Исследование возможностей использования радиоастрономической сети «КВАЗАР-КВО» для решения задач астрогеодинамики и фундаментального координатно-временного обеспечения России» (40.022.1.2.1109, 2002-2004 гг.).
Апробация результатов исследования
По результатам исследований опубликовано более 40 работ, из которых 5 в зарубежных изданиях (ВогсЬуНвупа et а1., 1997; АуёуивЬеУ, ВогсЬуИзупа, 2000; Т^агспко а1., 2000; Вогскл^упа ^ а!., 2001; АуауивЬеу, 2003с); 12 в российских изданиях (Авдюшев, 1999а; Авдюшев, 2003а; Авдюшсв, 2003Ь; Авдюшев, 2004; Авдюшев, 2006а; Авдюшев, 2006Ь; Авдюшев, Бордовицына, 2006; Баныцикова, Авдюшев, 2006Ь; Авдюшев, 2007; Авдюшев, Баныцикова, 2007Ь; Авдюшев, Баныцикова, 2008; Авдюшев, 2009), входящих в перечень ведущих рецензируемых научных изданий, в которых должны быть опубликованы основные научные результаты диссертации на соискание ученой степени доктора наук; а также 15 статей в других изданиях (Авдюшев, 1997; Авдюшев, 1998; Бордовицына и др., 1998а; Бордовицына и др., 1998Ь; Авдюшев, 1999Б; Васильченко, Авдюшев, 1999; Авдюшев,
2000; Бордовицына, Авдюшев, 2001; Баньщикова, Авдюшев, 2002; Миш-кии и др., 2002; Козаногина, Авдюшев, 2002; Авдюшев, 2005; Авдюшев, 2006с; Баньщикова, Авдюшев, 2006а; Авдюшев, 2008).
Во всех работах, выполненных, в частности, совместно с Т.В. Бордо-вицыной, вклад соавторов касался либо постановочной части, либо экспериментальной, что, впрочем, не имеет непосредственного отношения к теме данной диссертации. В других совместных работах соавторы принимали участие лишь в проведении численных экспериментов, некоторые результаты которых (а именно полученные совместно с М.А. Баныцико-вой) приводятся в диссертации. Между тем вклад соискателя как соавтора непосредственно касался разработки методов моделирования орбитального движения, причем к этой части работы другие соисполнители не привлекались.
Результаты исследований также докладывались и обсуждались на 22 конференциях различного уровня. Кроме того, некоторые результаты прошли апробацию экспертов по работам, финансируемым РФФИ (96-02-17999-а; 98-02-16491-а; 01-02-17266-а; 02-02-06888-мас; 05-02-17043-а; 08-02-00359-а) и КЦФЕ (Е02-11.0-6), в которых соискатель участвовал и как соисполнитель, и как руководитель.
Основные положения и результаты, выносимые на защиту
Соискатель выносит на защиту следующие положения и результаты.
1. Новые методы и оригинальные модификации существующих методов теории специальных возмущений для повышения эффективности численного моделирования околопланетных орбит.
2. Результаты сравнительного анализа эффективности методов теории специальных возмущений в задачах околопланетной динамики, а также рекомендации по их использованию.
3. Предложенные соискателем способы для эффективного решения проблемы короткопериодических возмущений.
4. Обоснование к применению гравицсптрических координатных систем в астероидных и спутниковых задачах.
5. Результаты исследования проблемы неоднозначного определения орбит в обратных задачах динамики близких спутников.
6. Оригинальный составной подход для эффективного численного поиска решения обратной задачи в случае моделирования орбит близких спутников.
7. Новый подход типа Монте-Карло для нелинейного оценивания неопределенностей в орбитальных параметрах, получаемых из наблюдений.
Краткое содержание диссертационной работы
Диссертация состоит из введения, пяти глав, заключения, списка литературы (172 наименования) и шести приложений, содержит 71 рисунок и 16 таблиц. Общий объем работы составляет 210 страниц.
Во введении обосновывается актуальность проблем, решаемых в диссертации; формулируются цели и задачи исследования; перечисляются результаты, характеризующие новизну и определяющие практическую значимость научной работы; представляются основные положения и результаты, выносимые на защиту; описывается структура диссертации.
Первая глава посвящена исследованию широкоприменяемых в небесной механике методов теории специальных возмущений. В частности, рассматриваются методы линеаризации и регуляризации, сглаживающие преобразования, метод вариации координат (Энке) и постоянных (Лагранжа), численную стабилизацию Баумгарта и Накози. Помимо этого соискателем предлагаются новые методы теории специальных возмущений, преобразующие дифференциальные уравнения орбитального движения к лучшему виду с точки зрения численного интегрирования. В частности, предлагаются метод консервативной стабилизации по времени и метод стабилизации для почти круговых орбит, а также метод, основанный на сглаживающем временном преобразовании для численного интегрирования орбит астероидов, имеющих тесные сближения с большими планетами.
Стабилизация по времени основана на том факте, что вследствие ляпу-новской неустойчивости методическая ошибка развивается главным образом вдоль орбиты. Таким образом, получаемое численное решение можно рассматривать как отнесенное не па заданный момент времени а па некоторый близкий к нему момент 1\ и чтобы после интегрирования получить стабилизированное решение, отнесенное ко времени необходимо производить сдвиг численного решения вдоль орбиты на время £—В соответствии с оценками влияния неустойчивости на численное решение связь между 4 и I выражается через дифференциальное соотношение
где /г — опорное (точное) значение кеплеровской энергии, а Н — се аналог, вычисляемый по интегрируемым переменным х и х, содержащим методические ошибки. Между тем формально численное решение будет описываться исходными уравнениями движения, но относительно переменной Ь.
Для установления соответствия между старой и новой независимыми переменными (фактическим временем и фиктивным) систему необходимо дополнить уравнениями энергии и времени
Здесь Е и Р — центральная и возмущающая силы.
Идея стабилизации для почти круговых орбит фактически состоит в том, что радиус-вектору |х| придается статус самостоятельной переменной и о,е уравнение интегрируется совместно с уравнениями движения. В круговом движении радиус-вектор постоянен и будет интегрироваться без методических ошибок, а уравнения движения тогда становятся уравнениями гармонического осциллятора, которые, как известно, устойчивы по Ляпунову. Собственно, за счет этого свойства и достигается стабилизирующий эффект для почти круговых орбит.
Вообще полученная система уравнений орбитального движения вместе с уравнением для радиус-вектора не является устойчивой, однако при малых эксцентриситетах «остаточная» неустойчивость после стабилизации
будет малой в сравнении с устраняемой неустойчивостью. Впрочем, несмотря на простоту предложенного подхода, прибегать к нему имеет смысл только в случае, когда е < 0.002.
Предложенное сглаживающее преобразование для исследования движения астероидов, сближающихся с большими планетами, имеет вид временного преобразования
-1
I сЬ = рсЬ,
где а — фиктивное время; N -- число планет; М, и X; — соответственно масса и положение г-й планеты, причем масса Солнца Мо = 1, а Хо = 0. Как видно из формулы, при тесном сближении с к-й планетой |х — —» 0 и р ~ |х — поэтому сглаживающее преобразование вырождается в преобразование Сундмана, записанное относительно планеты.
В первой главе также приводятся полученные автором уравнения движения Энке в переменных Кустаанхеймо -Штифеля и Шперлинга-Боде с классическим (кеплеровская орбита) и улучшенным (с учетом сжатия центрального тела) опорным решением. В частности, в спутниковой задаче принимая за опорное решение
и = асоэ<уЗ + /Зетср, ср = у Е, из = и>0, г = - + г0,
где а и /3 — векторные постоянные, определяемые из начальных условий, получаем уравнения Энке в КЗ-переменных (и, из, т, Е)
с12<5и 1,, . л |и|2тТ 1 dw du 1 / du т
, +-(1+4£Жи = fiu-f-^I/ Р——-г^. -гтт = тт; - L р
dЕ2 4 ' 8из2 u>dEdE' dЕ 2из \dЕ
d<5r _ 1 d Е ~ 8из3
ß
где L — матрица координатного преобразования Кустаанхеймо-Штифеля (Stiefel, Scheifele, 1971): х = Lu; U3j — опорный аналог величины из, а П — малый параметр, характеризующий сжатие центральной планеты с гравитационным параметром fi и второй зональной гармоникой J:
2^ • 17
После описания методов формулируется и исследуется проблема короткопериодических возмущений, возникающая при численном интегрировании орбит далеких (медленных) объектов под гравитационном влиянием близких (быстрых). Представлены теоретические оценки, указывающие на критические условия задачи, связанные с наличием короткопериодических возмущений, при которых использование методов теории специальных возмущений оказывается неэффективным. Так, если система координат связана с центральным телом, то критические условия в ограниченной задаче трех тел возникают при
I/ = > 1,
где а = ар/а, /} = цр/{ц + Цр), а р — порядок интегратора. Индексом Р обозначены переменные для второго тела, близкого и быстрообращающе-гося около центрального тела. Например, проблема короткопериодических возмущений возникает при моделировании движения далеких спутников Юпитера, находящихся под гравитационным влиянием быстрых и массивных галилесвых спутников.
Описываются и анализируются результаты численного эксперимента по исследованию возможностей методов теории специальных возмущений в задачах динамики спутников и астероидов, имеющих тесные сближения с большими планетами. Даются рекомендации по их использованию. В частности, экспериментально показано, что в задачах динамики близких спутников необходимо использовать уравнения в элементах Роя, где в качестве быстрой переменной выступает средняя долгота; тогда как в астероидных задачах наиболее эффективными оказываются методы КЗ-теории, в особенности, когда моделируемые орбиты сильноэксцентричны.
В конце главы кратко излагается общая теория интегратора Эверхарта, который использовался в течение всей исследовательской работы для численного решения дифференциальных уравнений орбитального движения. Описывается алгоритм интегратора с коррективами, внесенными соискателем для улучшения вычислительного процесса.
Во второй главе детально исследуется проблема короткопериодических возмущений в задачах динамики внешних спутников, находящихся под влиянием внутренних массивных типа галилсевых. На практике для разрешения этой проблемы прибегают к одному из двух способов. Первый способ
состоит в том, что массы близких спутников включаются в массу планеты, во втором способе влияние от массивных спутников моделируется с помощью так называемых гауссовых колец (Jacobson, 2000; Emelyanov, 2005). Оба способа приводят к упрощенным уравнениям движения: в первом это — возмущенные уравнения задачи двух тел с модифицированным гравитационным параметром, во втором — уравнения, усредненные по быстрым аномалиям массивных спутников (Дубошин, 1961). Последние представляют орбитальное движение далеких спутников точнее, нежели первые, хотя в то же время усредненные уравнения гораздо сложнее.
Как известно, высокая точность представления орбитального движения с помощью усредненных уравнений достигается главным образом за счет того, что они учитывают вековые возмущения (первого порядка) в орбитальных элементах, вызванные короткопериодическими возмущающими силами. Однако после усреднения остаются еще неучтенными довольно большие вековые эффекты в быстрой переменной, которая определяет положение далекого спутника на орбите. Этот недостаток становится значительным в тех задачах, где орбиты внутреннего и внешнего спутников достаточно близки как, например, для Каллисто и Гималии, спутников Юпитера. Причем усредненные уравнения будут настолько плохо представлять реальную орбиту, что их использование может оказаться совершенно неоправданным па фоне простых уравнений с модифицированным гравитационным параметром.
В настоящей главе на примере динамики далеких спутников Юпитера исследуется влияние этих остаточных вековых эффектов на точность представления орбитального движения, а также предлагается метод для их устранения. Метод фактически состоит в том, что для компенсирования остаточных вековых эффектов в правые части уравнений движения вводится множитель 1 + 5. В круговой и плоской задаче получены формульные оценки коэффициента 5. В более сложном случае коэффициент оценивается путем предварительной подгонки на коротком интервале времени упрощенной модели к более точной, где учитываются движения быстрых массивных спутников.
Численно показано, что использование упрощенных моделей позволяет повысить быстродействие численного интегрирования орбиты далекого спутника почти на порядок при сохранении высокой точности вычисляе-
мых орбиталып.1х положений объекта, достаточной для представления современных наблюдений.
В третьей главе излагается концепция комплексных гравицентрических координатных систем применительно к астероидным задачам для повышения вычислительной точности численного моделирования тесных сближений объектов с большими планетами. Гравицентрической называется система координат с началом в притягивающем центре. Использование комплексных гравицентрических систем координат фактически предполагает численное моделирование астероидного движения либо последовательно относительно систем координат с разными центрами (Солнце планета -Солнце), либо одновременно относительно гелиоцентрической и плаието-цсптрической систем. Например, уравнения движения астероида в рамках ограниченной задачи трех тел относительно двух систем координат будут
(1x5 Х5 Ху
а*2 МЛ|Х5Р ^ Н3 М'|С/5|3
а2х7 х./ Хя CSJ
а £2 ^|Х5|3
Здесь Х£, х,у — гелиоцентрический и планетоцентрический векторы положения астероида; с./5 = —csJ — гелиоцентрический вектор положения планеты, а //5 и цу — гравитационные параметры массивных тел, Солнца и планеты. Преимущество системы (1) над гелиоцентрической состоит в том, что планетоцентрический вектор х./ рассматривается как самостоятельный, тогда как в гелиоцентрической системе он вычисляется как разность XJ = х^—ху5, что при сближении сопряжено с достаточно большими для малого Ху ошибками округления, которые к тому же в правой части уравнений усиливаются сингулярностью в Ху = 0.
В ограниченной плоской задаче трех тел (Солнце - планета - астероид) оценивается эффективность использования различных гравицентрических систем при различных сближениях гшп |х./| астероида с планетой (рисунок 1). Показано, что применение комплексных гравицентрических координатных систем позволяет повысить вычислительную точность на несколько порядков. Впрочем, прибегать к комплексным гравицептрическим системам имеет смысл только в том случае, если методические (или какие-либо другие) ошибки в векторе положения планеты CJs значительно меньше вычислительных.
Грав. сфера
к Солнцу
-0.2
0.6
Ч
А
Рис. 1: Сближение астероида с планетой
В конце главы приводятся оценки влияния методических ошибок в положении планеты на точность определения движения сближающегося астероида. В частности, показано, что после тесного сближения (после прохождения объекта через гравитационную сферу планеты) в моделируемую астероидную орбиту вносится ошибка порядка той, что содержится в положении планеты.
Четвертая глава посвящена численному моделированию движения близких спутников. Формулируется проблема неоднозначного определения орбит близких спутников, которая связанна с многочисленными и равнозначными минимумами принятой целевой функции обратной задачи, что фактически имеет место, когда орбита спутника определяется по ряду разрозненных наблюдений, распределенных на длительном интервале времени порядка десятка тысяч оборотов спутника и более.
На примере круговой двухпараметрической задачи исследована проблема множества решений и показано, что поведение целевой функции обратной задачи в окрестности точных параметрических значений хорошо описывается функцией:
Л/
3 = 1
где
C = ^n(iM-ti), h = (j=0,...,M),
А 1м — h
а — относительная вариация большой полуоси (первый параметр); ß — вариация аномалии в эпоху (второй параметр); М — число групп наблюдений; kj = Nj/N — вес j-группы, определяемый числом наблюдений в группе Nj при общем количестве Лг; а tj — дата группы наблюдений, выбираемая как одно из значений t j-группы (при этом предполагается, что t\ <tC ¿2 ■.. <С £м)- Таким образом, величины 1о и lj € [0,1] (j = 1,..., М) представляют собой нормированное временное распределение соответственно начальной эпохи и групп наблюдений относительно первой группы. Как видно, функция F 27Г-периодична по ß и при фиксированном а имеет единственный минимум на полуинтервале [ßo — т, ßo + ) для любых ßo 6 (—оо, +оо), поэтому область исследования F по ß можно ограничить до любого полуинтервала длиной в 27г. Наличие тригонометрических составляющих в (2) выявляет сложное поведение целевой функции, имеющей множество минимумов.
Для удобства исследования целевой функции на предмет множества решений в работе также введена безразмерная характеристика Ф, минимумы которой однозначно соответствуют минимумам F на любой полосе а € (—оо, +оо) и ß 6 [ßo — тг,ßo + 7г). Функция Ф имеет вид:
ф(0= min F((,ß) = l-Vc2 + s2, (3)
N N
с = kj cos{IjQ, s = ^ kj sin(IjQ. j=i j=i
Например, для двух групп наблюдений одинакового веса (спутник Ад-растея) функция Ф(£) имеет множество равнозначных минимумов, что говорит о существованиии проблемы выбора правильного решения, наилучшим образом представляющего действительную спутниковую орбиту.
В данной главе на примере круговой задачи также показано, что овраж-ность минимизируемой функции (обусловленность матрицы аппроксимирующей квадратичной формы) непосредственно зависит от суммы квадра-тических отклонений моментов наблюдений относительно начальной эпохи. Отсюда наименьшая степень овражности (наилучшая обусловленность)
достигается при выборе в качестве начальной эпохи среднеарифметической величины всех моментов наблюдений.
Применительно к орбитальной модели Адрастеи, основанной на формулах задачи двух тел, исследуются возможности метода Гаусса- Ньютона, широко используемого для решения обратных задач орбитальной динамики. В результате многочисленных экспериментов показано, что метод в рассматриваемых обратных задачах малоэффективен: в частности, область сходимости итерационной схемы Гаусса-Ньютона настолько мала, что с прикладной точки зрения применение схемы часто оказывается совершенно бесполезным. Низкая эффективность метода, прежде всего, вызвана сложным поведением целевой функции, которая, кроме того, является овражной в силу специфики обратной задачи. (Следует заметить, что вдоль оврага частота обращения спутника почти постоянна как, впрочем, и другие энергетические переменные.) В этой связи рассмотрены другие альтернативные методы, а именно: демпфированный метод Гаусса-Ньютона, метод Левенберга-Марквардта (в том числе с переменным шагом), а также предложенный соискателем составной метод с использованием известного метода градиентного спуска и так называемого проекционного метода совместно с методом Гаусса Ньютона.
Реализация составного метода выполняется в три этапа: на первом этапе применяется метод градиентного спуска, обеспечивающий быструю сходимость итерационного процесса на дно оврага целевой функции; на втором этапе применяется метод Гаусса-Ньютона, но с поправкой решения па каждой итерации за его отклонение от энергетической поверхности, что позволяет возвращать решение на дно оврага; наконец, на третьем этапе, когда решение оказывается в малой окрестности минимума целевой функции, итерационный процесс завершается по оригинальной схеме Гаусса Ньютона без дополнительных поправок.
Сравнительный анализ скорости сходимости методов показал, что наилучшим по быстродействию является составной метод. Даже при грубых начальных данных он позволяет получить решение обратной задачи всего за несколько десятков итераций, в то время как для других методов требуется не менее 800.
Далее описывается численная модель орбитального движения близких спутников (она же используется при исследовании движения далеких спут-
ников в пятой главе), где учитываются основные возмущающие факторы: несферичность гравитационного поля Юпитера (до шестой зональной гармоники), притяжение от галилсевых спутников, Солнца и больших планет, а также релятивистские эффекты в рамках задачи Шварцшильда.
Приводятся полученные по имеющимся наблюдательным данным оценки орбитальных параметров спутников (Амальтеи, Тебы, Адрастеи и Методы), а также соответствующие ковариационные матрицы, характеризующие распределение параметрических ошибок. Исследуются смежные оценки орбитальных параметров Адрастеи и Метиды на предмет их принадлежности к потенциально приемлемым для описания спутниковых орбит. Ввиду того, что Адрастея имеет всего две группы наблюдений, оказывается невозможным получить уверенные оценки орбитальных параметров спутника. В то же время, несмотря на то, что спутник Метида также наблюдался не столь часто, численное исследование смежных оценок показало, что изначально полученные оценки орбитальных параметров являются наилучшими и могут быть рекомендованы для моделирования спутниковой орбиты.
Пятая глава включает в себя результаты исследования неопределенностей в спутниковых орбитах, моделируемых на основе наблюдений. Формулируется проблема нелинейности при оценивании точности орбитальных параметров. Предлагается метод статистического моделирования возможных значений параметров для сильно нелинейных случаев. Метод основан на имитации статистики Фишера, используемой для определения доверительной области, и реализуется путем многократного решения нелинейной задачи наименьших квадратов при различных выборках моделируемых наблюдений, получаемых путем соответствующих случайных вариаций.
Для обратной задачи с целевой функцией 5 и оцениваемыми параметрами q (/^-мерный вектор) по наблюдениям р° (./-мерный вектор) схема метода имеет вид
ям параметров я и я соответственно, ¿р — вектор случайных нормально распределенных величин с дисперсией а (оценка дисперсии ошибок наблю-
Метод тестируется в задаче спутниковой динамики для построения вероятностной области, сильно деформируемой нелинейностью. Результаты показывают, что нерегулярная вероятностная область, в отличие от моделируемой па основе оценок линейной задачи, существенно точнее представляет вероятностный разброс возможных параметров (рисунок 2).
Для того чтобы определить, можно ли использовать оценки линейной задачи наименьших квадратов для моделирования областей возможных движений в нелинейной задаче, вводится так называемый коэффициент нелинейности выражающий степень влияния нелинейности на распределение параметрических ошибок:
где S - - значения целевой функции на поверхности доверительного эллипсоида (линеаризированной задачи) с вероятностью a (Draper, Smith, 1981), S — ожидаемые значения целевой функции в линейном случае, S — значение целевой функции в оценке, J-k,j-k,o — оквантиль функция вероятности Фишера со степенями свободы К и J — К. Данный коэффициент (5) позволяет в нелинейном случае приближенно оценить степень отклонения уровенной поверхности от эллипсоидальной. На практике достаточно оценить значения я лишь в нескольких точках и в качестве таковых, как правило, выбирают вершины доверительного эллипсоида линеаризированной задачи, а максимальное среди значений ус в них рассматривают как показатель нелинейности задачи. Основываясь на собственном опыте, мы можем констатировать: если максимум х превышает 0.1, то нелинейностью нельзя пренебрегать и в этом случае необходимо прибегать к нелинейному оцениванию.
С использованием линейного и нелинейного подходов для построения областей возможных параметров новых и внутренних спутников Юпитера исследуются неопределенности в спутниковых орбитах, определяемых по наблюдениям. Полученные результаты, в частности, показывают, что среди новых спутников имеются такие (S/2003 J02, S/2003 J03, S/2003 J04, S/2003 J10, S/2003 J12, S/2003 J23), орбиты которых еще не могут быть определены с приемлемой для планирования наблюдений точностью ввиду недостаточного количества наблюдательной информации. Орбиты этих
-0.09 -0.088 -0.086 -0.084
х, (а.е.)
Рис. 2: Возможные положения спутника 8/2003 Л04 на координатной плоскости, построенные по линейным (ссрые точки) и нелинейным (черные точки) оценкам, в окрестности истинного решения в разных масштабах. Проекция истинного решения обозначена черным крестиком, проекция я — серым.
объектов определяются настолько неуверенно, что их прогнозируемые положения (уже через оборот) могут содержать довольно большие ошибки, соизмеримые с размерами самих орбит. Такой прогноз для наведения телескопа на спутник (даже с широким полем сканирования) в действительности оказывается малонадежным, поскольку велика вероятность, что объект просто не попадет в сканируемый телескопом участок неба. Экспериментально также показано, что нелинейность используемых моделей для близких (внутренних) спутников Юпитера настолько значительна, что ковариационные матрицы, строго говоря, оказываются совершенно бесполезными для вероятностного описания распределений параметрических ошибок и в данном случае следует прибегать к нелинейному оцениванию.
Для статистического оценивания вероятности попадания объекта в малый объем заданного пространства на заданный момент времени, удаленный от начального, предлагаются основанные на линейных преобразованиях быстрые отображения, которые могут быть полезны в задачах астероидной опасности для оценки вероятности столкновения астероида с Землей, либо при планировании наблюдений объекта в будущем для оценки вероятности появления объекта на наблюдаемом малом участке неба.
Численные результаты показывают, что к быстрым отображениям целесообразно прибегать либо для приближенного оценивания вероятности попадания объекта в заданный малый объем, либо для предварительного отбора решений с последующей их проверкой на попадание при использовании численной модели орбитального движения. Применение быстрых отображений в таком качестве значительно уменьшает объем вычислений, что позволяет повысить быстродействие вычислительного процесса на несколько порядков и более.
В заключении перечисляются основные результаты исследовательской работы, а также выводы и соответствующие рекомендации.
Список опубликованных работ по теме диссертации1
Авдюшев В.А. Численные алгоритмы типа Энке в регуляризирующих элементах // Исследования по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 1997. Т. 1. Р. 121-125. Авдюшев В.А. Построение численной теории движения галилеевых спутников Юпитера // Астрон. и геод. Томск: Изд-во ТГУ, 1998. Вып. 16. С. 89-97.
Авдюшев В.А. Численное моделирование движения галилеевых спутников Юпитера // Астрон. вест. 1999а. Т. 33. Вып. 3. С. 332-337. Авдюшев В.А. Новая промежуточная орбита в задаче о движении близкого спутника сжатой планеты // Исследования по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 1999Ь. Т. 3. С. 126-127. Авдюшев В.А. Метод синхронного слежения // Матер, всеросс. конф. «Фундаментальные и прикладные проблемы современной механики». Томск, 6-8 июня 2000 г. Томск: Изд-во ТГУ, 2000. С. 117-118. Авдюшев В.А. Новый метод стабилизации уравнений слабовозмущенного кеплеровского движения // Всеросс. астрон. конф. Тез. докл. С.Петербург, 6-12 августа 2001 г. СПб: Изд-во АИ СпбГУ. С. 5-6. Авдюшев В.А. Определение оптимального стабилизирующего параметра в методе Баумгарта для моделирования почти круговых орбит // Изв. вузов. Физика. 2003а. Приложение. Т. 46. Вып. 12. С. 5-12. Авдюшев В.А. Метод синхронного слежения в ограниченной задаче трех тел // Изв. вузов. Физика. 2003Ь. Приложение. Т. 46. Вып. 12. С. 13-15. Авдюшев В.А. Новая система начальных параметров для численного моделирования движения галилеевых спутников Юпитера // Астрон. вест. 2004. Т. 38. Вып. 3. С. 273-276. Авдюшев В.А. Методы теории специальных возмущений в небесной механик // Тр. 34-й междунар. студ. науч. конф. «Физика космоса». Екатеринбург, 31 января-4 февраля 2005 г. Екатеринбург: Изд-во УрГУ, 2005. С. 23-31.
'Работы, в которых фамилия соискателя выделена жирным шрифтом, опубликованы в изданиях, входящих в перечень ведущих рецензируемых научных изданий, в которых должны быть опубликованы основные научные результаты диссертации на соискание ученой степени доктора наук
Авдюшев В.А. О численном интегрировании орбит с короткопериодичс-скими возмущениями // Изв. вузов. Физика. 2006а. Приложение. Т. 49. Вып. 2. С. 31-43.
Авдюшев В.А. Методы теории специальных возмущений. I. Принципы построения и обоснование к применению // Изв. вузов. Физика. 2006Ь. Т. 49. Вып. 12. С. 73 80.
Авдюшев В.А. Интегратор Гаусса-Эверхарта. Новый фортран-код // Матер. всеросс. конф. «Фундаментальные и прикладные проблемы современной механики». Томск, 3-5 октября 2006 г. Томск: Изд-во ТГУ, 2006с. С. 411-412.
Авдюшев В. А. Методы теории специальных возмущений. II. Сравнительный анализ численной эффективности // Изв. вузов. Физика. 2007. Т. 50. Вып. 1. С. 78-86.
Авдюшев В.А. Актуальные проблемы в определении спутниковых орбит // Тр. 37-й междунар. студ. науч. конф. «Физика космоса». Екатеринбург, 28 января-1 февраля 2008 г. Екатеринбург: Изд-во УрГУ, 2008. С. 21-35.
Авдюшев В.А. Новый метод для статистического моделирования возможных значений параметров в обратных задачах орбитальной динамики // Астрой, вест. 2009. Т. 43. N 5. С. 401-409.
Авдюшев В.А., Баньщикова М.А. Особенности в решении обратных задач динамики близких спутников // Тр. всеросс. астрон. конф. «ВАК - 2007». Казань, 17 22 сентября 2007 г. Казань: Изд-во КГУ, 2007а. С. 3-4.
Авдюшев В.А., Баньщикова М.А. Области возможных движений новых спутников Юпитера // Астрон. вест. 2007Ь. Т. 41. N 5. С. 446 452.
Авдюшев В.А., Баньщикова М.А. Определение орбит близких спутников Юпитера // Астрон. вест. 2008. Т. 42. N 4. С. 317-340.
Авдюшев В.А., Бордовицына Т.В. Алгоритмы численного моделирования движения спутников больших планет Солнечной системы // Тез. докл. конф. «Астрометрия, геодинамика и небесная механика на пороге XXI века». С.-Петербург, 19 23 июня 2000 г. СПб.: ИПА РАН, 2000. С. 4-5.
Авдюшев В.А., Бордовицына Т.В. Развитие теории преобразований Шперлинга-Боде // Изв. вузов. Физика. 2006. Приложение. Т. 49. Вып. 2. С. 27-30.
Авдюшев В.А., Чсрницов A.M. Влияние методических ошибок в положении планеты на точность определения движения сближающегося астероида // Тез. докл. всеросс. астрой, конф. ВАК — 2004 «Горизонты вселенной». Москва, ГАИШ МГУ, 3-10 июня 2004 г. М.: Изд-во ГАИШ МГУ, 2004. С. 219.
Баныцикова М.А., Авдюшев В.А. Уравнения Энке в переменных Шперлинга-Боде и их применение в задачах спутниковой динамики // Исследования по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 2002. Т. 5. С. 111-112.
Баныцикова М.А., Авдюшев В.А. Численное моделирование движения Амальтеи и Тебы, близких спутников Юпитера // Матер, всеросс. конф. «Фундаментальные и прикладные проблемы современной механики». Томск, 5 7 октября 2004 г. Томск. С. 333-334.
Баныцикова М.А., Авдюшев В.А. Исследование областей возможных движений новых далеких спутников Юпитера // Матер, всеросс. конф. «Фундаментальные и прикладные проблемы современной механики». Томск, 3-5 октября 2006 г. Томск: Изд-во ТГУ, 2006а. С. 413-414.
Баныцикова М.А., Авдюшев В.А. Численное моделирование динамики спутников Юпитера // Изв. вузов. Физика. 2006b. Приложение. Т. 49. Вып. 2. С. 74-82.
Баныцикова М.А., Авдюшев В.А. Исследование областей возможных движений далеких спутников Юпитера // Тр. всеросс. астрон. конф. «ВАК - 2007». Казань, 17-22 сентября 2007 г. Казань: Изд-во КГУ, 2007. С. 46-47.
Бордовицына Т.В., Авдюшев В.А. Алгоритмы высокоточного численного моделирования движения ИСЗ для задач определения параметров вращения Земли // Матер, конф., посвященной 70-летию Астрономической обсерватории ИГУ. Иркутск. 20-23 ноября 2001 г. Иркутск: Изд-во ИГУ. С. 91-93.
Бордовицына Т.В., Авдюшев В.А., Титаренко В.П. Численное моделирование общей задачи трех тел // Исследование по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 1998а. Вып. 2. С. 164-168.
Бордовицына Т.В., Быкова JI.E., Авдюшев В.А. Проблемы применения ре-гуляризирующих и стабилизирующих преобразований в задачах дина-
мики спутников планет и астероидов // Астрон. и геод. Томск: Изд-во ТГУ, 19981). Вып. 16. С. 33-57.
Бордовицына Т.В., Галушина Т.Ю., Авдюшев В.А. Стабилизирующие и регуляризирующие преобразования в задаче численного моделирования движения особых астероидов // Изв. вузов. Физика. 2003. Приложение. T. 4G. Вып. 12. С. 23-34.
Бордовицына Т.В., Галушина Т.Ю., Авдюшев В.А. Исследование применения KS-прсобразования в задачах динамики АСЗ // Матер, всеросс. конф. «Фундаментальные и прикладные проблемы современной механики». Томск, 5-7 октября 2004 г. Томск. С. 329-332.
Бордовицына Т.В., Титаренко Е.Ю., Авдюшев В.А. Численное моделирование движения спутников Марса на интервале времени, охваченном наблюдениями // Всеросс. астрон. конф. Тез. докл. С.-Петербург, 6 12 августа 2001 г. СПб: Изд-во АИ СпбГУ, 2001. С. 173.
Васильченко О.И., Авдюшев В.А. Алгоритмы типа Энке в переменных Кустаанхеймо-Штифеля в задачах динамики ИСЗ // Исследования по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 1999. Т. 3. С. 138-139.
Козаногина Е.В., Авдюшев В.А. Стабилизация типа Баумгарта в ограниченной круговой задаче трех тел // Исследования по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 2002. Т. 5. С. 130 131.
Мишкин А.В., Бордовицына Т.В., Авдюшев В.А. Моделирование эволюции фрагментов распада геостационарного спутника на больших интервалах времени // Исследования по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 2002. Т. 5. С. 130-131.
Avdyushcv V. Numerical Stabilization of Orbital Motion // IAA Transactions. No. 8. Celestial Mechanics, St. Petersburg, 2002. P. 13 -14.
Avdyushev V. Numerical Stabilization of Orbital Motion // Celest. Mech. 2003c. V. 87. I. 4. P. 383-409.
Avdyushcv V. A Method of Pcrturbed Observations for Building the Régions of Possible Parameters in Orbital Dynamics Inverse Problems // Proc. Internat. Astron. Conf. «Dynamics of Solar System Bodies», Tomsk, July 27-August 1, 2008. P. 17.
Avdyushcv V., Bordovitsyna T. Algorithms of Numerical Simulation of the Motion of Satellites // Proc. of US/European Celestial Mechanics Workshop, 3-7 July 2000. Poznan, Poland. 2000. P. 223-224. Bordovitsyna Т., Avdyushev V., Chernitsov A. New Trends in Numerical Simulation of the Motion of Small Bodies of the Solar System // Celest. Mech. 2001. V. 80. I. 3. P. 227 247. Bordovitsyna Т., Avdyushev V., Chernitsov A. Two Trends in the Development of Numerical Algorithms of Celestial Mechanics // IAA Transactions. No. 8. Celestial Mechanics, St. Petersburg, 2002. P. 31-32. Bordovitsyna T.V., Bykova L.E., Avdyushev V.A. Encke-Type Algorithms in Regularizing and Stabilizing Kustaanheimo Stiefel Variables // Proc. of Fourth international workshop on positional astronomy and celestial mechanics. October 7-11, 1996. Penyscola, Spain. 1997. P. 267-270. Titarenko E.Yu., Bordovitsyna T.V., Avdyushev V.A. Numerical Simulation of the Motion of Martian Satellites // Proc. of US/European celestial mechanics workshop, July 3-7, 2000. Poznan, Poland. 2000. P. 225-226.
Список цитируемой литературы
Демиденко Е.З. Линейная и нелинейная регрессии. М.: Фин. и стат., 1981. 302 с.
Дубошин Г.Н. Теория притяжения. М.: Изд-во физ.-мат. лит., 1961. 286 с.
Рой А.Е. Движение по орбитам. М.: Мир, 1981. 544 с.
Херрик С. Астродинамика. М.: Мир, 1977. Т. 2. 263 с.
Aarseth S.J., Zare К. A Regularization of the Three-Body Problem // Celest.
Mech. 1974. V. 10. P. 185-205. Aarseth S.J. Integration Methods for Small N-body Systems // The Few Body Problem / M.J. Valtonen (ed.). Kluwer Academic Publishers, 1988. P. 287307.
Bates D.M., Watts D.G. Nonlinear Regression Analysis and Its Applications.
John Wiley & Sons, Inc. 1988. 365 p. Beale E.M.L. Confidence Regions in Non-Linear Estimation // J. R. Statist.
Soc. 1960. V. 22. N 1. P. 41-88. Draper N.R., Smith H. Applied Regression Analysis. John Wiley and Sons Ltd. 1981. 709 p.
Emelyanov N.V. Ephemerides of the Outer Jovian Satellites // Astron.
Astrophys. 2005. V. 435. P. 1173-1179. Heggie D.C. A Global Regularization of the Gravitational N-body Problem //
Cclcst. Mech. 1974. V. 10. P. 217-242. Jacobson R.A. The Orbits of the Outer Jovian Satellites // Astron. J. 2000.
V. 120. P. 2G79 2686. Milani A. The Identification Problem I: Recovery of Lost Asteroids // Icarus.
1999. V. 137. P. 269 292. Miranker W.L. Numerical Methods for Stiff Equations and Singular
Perturbation Problems. Reidel Publishing Company. 1981. 202 p. Muinonen K., Virtanen J., Granvik M., Laakso T. Asteroid Orbits Using PhaseSpace Volumes of Variation // Mon. Not. R. Astron. Soc. 2006. V. 368. P. 809-818.
Press W.H., Flannery B.P., Teukolsky S.A., Vettcrling W.T. Numerical Recipes: The Art of Scientific Computing. Cambridge: University Press, 1987. 499 p. Stiefel E.L., Scheifele G. Linear and Regular Celestial Mechanics. SpringerVerlag, Berlin; Heidelberg; New York. 1971. 301 p. Virtanen J., Muinonen K., Bowell E. Statistical Ranging of Asteroid Orbits // Icarus. 2001. V. 154. P. 412-431.
Подписано к печати 28.10.09. Формат 60 х 84 \ . Бумага офсетная. Гарнитура Тайме. Печать цифровая. Печ. л. 2,00. Тираж 100 экз. Заказ 4536.
Отпечатано в Отделе оперативной полиграфии химического факультета СПбГУ 198504, Санкт-Петербург, Старый Петергоф, Университетский пр., 26 Тел : (812) 428-4043, 428-6919
ВВЕДЕНИЕ
1 МЕТОДЫ ТЕОРИИ СПЕЦИАЛЬНЫХ ВОЗМУЩЕНИЙ В ЗАДАЧАХ
ОКОЛОПЛАНЕТНОЙ ДИНАМИКИ
1.1 Линеаризация и регуляризация.
1.1.1 Основные принципы методов линеаризации и регуляризации
1.1.2 Системы уравнений Шперлиига-Боде и Кустаанхеймо-Штифеля
1.2 Сглаживающие преобразования.
1.3 Численная стабилизация.
1.3.1 Неустойчивость кеплеровского движения.
1.3.2 Диссипативный метод Баумгарта.
1.3.3 Консервативный метод Баумгарта.
1.3.4 Стабилизация по времени.
1.3.5 Метод Накози.
1.3.6 Стабилизация в случае почти кругового движения.
1.4 Метод вариации постоянных.
1.5 Метод Энке.
1.5.1 Основные прииципы метода Энке.
1.5.2 Классический метод Энке
1.5.3 Уравнения Энке в КЗ-переменных.
1.5.4 Метод Энке для приведения систем к стандартному вид}'.
1.5.5 Улучшение опорпой орбиты
1.6 Проблема короткопериодических возмущений.
1.7 Сравнительный анализ эффективности методов.
1.7.1 Численный эксперимент
1.7.2 Выбранные объекты.
1.7.3 Интегратор Эверхарта
1.7.4 Характеристики эффективности численного интегрирования
1.7.5 Численные результаты
1.8 Интегратор Гаусса-Эверхарта для численного решения дифференциальных уравнений первого порядка.
1.8.1 Основные формулы.
1.8.2 Интегрирование на шаге.
1.8.3 Формулы интегратора как одно из представлений неявного метода Рунге-Кутты.
1.8.4 Повышение порядка интегратора.
1.8.5 Выбор шага.
2 МЕТОДЫ СГЛАЖИВАНИЯ ОРБИТ
С КОРОТКОПЕРИОДИЧЕСКИМИ ВОЗМУЩЕНИЯМИ
В ЗАДАЧАХ ДИНАМИКИ ДАЛЕКИХ СПУТНИКОВ ПЛАНЕТ
2.1 Возмущенный гармоиический осциллятор.
2.2 Ограниченная круговая задача трех тел.
2.3 Преобразования уравнений.
2.4 Усредненные уравнения.
2.5 Уравнение энергии и его решение в круговом случае.
2.6 Модифицированные усредненные уравнения движения.
2.7 Приближенная численная оценка остаточных вековых эффектов.
2.8 Моделирование притяжения гауссова кольца в пространственном случае.
2.9 Численные результаты
3 ГРАВИЦЕНТРИЧЕСКИЕ СИСТЕМЫ КООРДИНАТ
В ЗАДАЧАХ СПУТНИКОВОЙ И АСТЕРОИДНОЙ ДИНАМИКИ
3.1 Ошибки округления в кеплеровских членах. Задача двух тел.
3.2 Ограниченная задача трех тел. Астероидная задача.
3.3 Временные ошибки
3.4 Метод синхронного слежения
3.5 Исследование эффективности интегрирования при использовании гравицентрических координатных систем.
3.6 Влияние методических ошибок в положении планеты на точность определения движения сближающегося астероида
4 МЕТОДЫ РЕШЕНИЯ ОБРАТНЫХ ЗАДАЧ ДИНАМИКИ
БЛИЗКИХ СПУТНИКОВ. ОСОБЕННОСТИ И ИХ ИССЛЕДОВАНИЕ
4.1 Проблема неоднозначного определения орбит.
4.2 Круговая задача.
4.3 Обратная задача орбитальной динамики.
4.4 Методы решения обратной задачи.
4.4.1 Метод Гаусса-Ньютона.
4.4.2 Демпфированный метод Гаусса-Ньютона.
4.4.3 Метод Левенберга-Марквардта.
4.4.4 Метод Гельфанда-Цетлина.
4.4.5 Составной метод.
4.5 Задача двух тел. Исследование эффективности методов для решения обратной задачи.
4.6 Модель спутникового движения.
4.7 Наблюдения спутников.
4.8 Определение орбитальных параметров.
4.9 Другие оценки.
4.10 Сравнение с эфемеридами Л1Р
4.11 Условие неоднозначности в определении орбит близких спутников
5 МЕТОДЫ ОЦЕНИВАНИЯ ТОЧНОСТИ ОРБИТАЛЬНЫХ
ПАРАМЕТРОВ В ОБРАТНЫХ ЗАДАЧАХ ОКОЛОПЛАНЕТНОЙ
ДИНАМИКИ. ОСОБЕННОСТИ И ИХ ИССЛЕДОВАНИЕ
5.1 Методы статистического моделирования возможных значений параметров для исследования точности орбит.
5.1.1 Задача наименьших квадратов и доверительные области
5.1.2 Метод возмущенных наблюдений.
5.1.3 Метод возмущенных оценок.
5.1.4 Случай неравноточных наблюдений.
5.1.5 Бутстрэп метод
5.1.6 Численный пример
5.2 Общее описание ошибок в определяемых спутниковых орбитах.
5.3 Построение областей возможных значений параметров для новых спутников Юпитера
5.3.1 Размеры начальных вероятностных областей.
5.3.2 Вероятностные области через оборот.
5.3.3 Зависимость между временными интервалами наблюдаемости спутников и размерами вероятностных областей.
5.3.4 Нелинейное оценивание.
5.3.5 Э/2003 Л02: спутник или астероид?.
5.4 Особенности в оценивании точности орбитальных параметров для близких спутников.
5.5 Быстрые отображения для статистического оценивания вероятности попадания объекта в малый объем
5.5.1 Несингулярный случай.
5.5.2 Сингулярный случай
Актуальность исследования
Появление новых астрометрических средств наблюдения за последние десятилетия вызвало небывалое повышение точности и стремительное увеличение количества наблюдательной информации о движении как уже известных, так и постоянно открываемых небесных тел, что к настоящему моменту естественным образом ставит перед специалистами теоретической астрономии актуальную проблему о пересмотре существующих и разработке новых математических моделей, интерпретирующих наблюдательный материал. В связи с широким использованием в астрономии вычислительных технологий математические модели сейчас все чаще реализуются на компьютерах посредством соответствующих численных методов. Таким образом, для обработки современных наблюдений от численно реализуемых математических моделей требуется беспрецедентно высокая эффективность.
Эффективность численного моделирования характеризуется точностью вычисляемых результатов, а также быстродействием их получения. Центральными результатами моделирования орбитального движения являются векторы динамического состояния исследуемого небесного тела: в прямых задачах это — прогнозируемые векторы на заданные моменты времени, получаемые на основе начальных, тогда как в обратных это — начальные векторы динамического состояния, получаемые на основе сопоставления результатов моделирования прямой задачи с наблюдениями. В этом смысле построение численной модели по наблюдениям можно рассматривать как процесс совместного решения прямой и обратной задач, что предусматривает использование самых разнообразных методов для повышения точности и быстродействия вычислений. Говоря об эффективных методах численного моделирования, обычно имеют в виду такие методы, которые повышают либо точность при сохранении быстродействия на несколько порядков и выше, либо быстродействие при сохранении точности в несколько раз и более, либо, в лучшем случае, обе характеристики эффективности одновременно.
Эффективность численного моделирования определяется следующими основными факторами: 1) решаемой задачей (особенностью значений параметров, их точностью, налагаемыми условиями); 2) принятой математической моделью для ее решения; 3) методом компьютерной реализации модели; а также 4) архитектурой процессора, на котором выполняются вычисления, и ошибками компьютерной арифметики. Трудности моделирования, вызываемые как раз первыми двумя из перечисленных факторов, ставят сейчас перед небесными механиками ряд насущных проблем, для разрешения которых необходимы конструктивные подходы.
Уникальность параметрических значений в исследуемой задаче определяет различные особенности моделируемой динамики: конфигурацию орбиты, регулярность и скорость движения небесного тела и т.д., что, разумеется, непосредственно влияет на эффективность моделирования, основанного на численном интегрировании дифференциальных уравнений как формализации орбитальной динамики. В этом случае эффективность численного моделирования может быть повышена путем выбора более удачной формализации орбиты. Различные варианты дифференциальных уравнений движения в небесной механики предоставляют так называемые методы теории специальных возмущений, преобразующие классические уравнения к лучшему виду с точки зрения их численного интегрирования, что в результате позволяет повысить методическую и вычислительную точность, а также быстродействие численного моделирования.
Период развития методов теории специальных возмущений насчитывает уже несколько столетий. Первые методы были предложены еще в XIX веке (например, метод Энке или метод вариации произвольных постоянных Лагранжа). По понятным причинам изначально они разрабатывались и применялись в теориях общих возмущений. Бурное развитие и появление оригинальных методов теории специальных возмущений приходится на 60-70 гг. прошлого века, что, очевидно, было вызвано широким использованием в небесно-механической практике компьютерных технологий. Несмотря на то, что с тех пор прошло довольно много времени и по методам вышло множество работ, обзоры которых можно найти в (Херрик, 1977; Рой, 1981; Aarseth, 1988), фактически не было ни одной, где бы проводился сравнительный анализ разнотипных методов и давались четкие рекомендации по их использованию.
Численный подход к решению задач орбитальной динамики остро ставит проблему интегрирования короткопериодических возмущений. Эта проблема связана с таким явлением, когда в правых частях дифференциальных уравнений движения присутствуют быстроосциллирующие члены, частота которых существенно превышает среднее движение небесного тела. Даже если эти члены по величине меньше кеплеровского, задаваемого центральной силой, быстродействие численного интегрирования, тем не менее, будет определяться именно короткопериодическими членами, несмотря на то, что их вклад в решение может быть ничтожно малым. Как нетрудно заметить, подобные особенности возникают при численном интегрировании плохообусловленных (жестких) дифференциальных уравнений (Miranker, 1981).
Проблема короткопериодических возмущений в небесной механике типично имеет место в задачах, где моделируется орбита медленного (внешнего) объекта под гравитационным влиянием быстрых (внутренних), как, например, в задачах о движении далеких астероидов и спутников (Авдюшев, 2006а; Авдюшев, 2007), где учитываются влияния соответственно от планет земной группы и от близких массивных спутников типа галилеевых.
В случае малого вклада короткопериодических возмущений в исследуемую орбиту для разрешения вышеуказанной проблемы, как правило, прибегают к огрублению формализации движения путем включения возмущающих масс в центральную. Если же вклад короткопериодических возмущающих сил достаточно большой с точки зрения представления наблюдательных данных, обращаются к усреднению Гаусса (Дубошин, 1961; Jacobson, 2000; Emelyanov, 2005), что также приводит к упрощению динамической модели, но она оказывается все же точнее, нежели ее аналог с увеличенной центральной массой. Впрочем, второй подход имеет серьезную брешь, выраженную в том, что усреднение Гаусса не учитывает остаточные вековые эффекты в орбитальной долготе, которые на длительных интервалах времени могут привести к большим отклонениям моделируемых положений небесного тела относительно действительных.
В численном исследовании астероидных орбит наблюдается существенная потеря вычислительной точности в положении объекта при каждом его тесном сближении с большой планетой. Для разрешения этой трудности обычно прибегают к различного рода регуляризирующим преобразованиям дифференциальных уравнений движения (Stiefel, Scheifele, 1971; Heggie, 1974; Aarseth, Zare, 1974). Однако недостаток такого подхода главным образом связан со значительным усложнением формализации орбитального движения, в то время как существуют другие более простые способы повышения вычислительной точности (Авдюшев, 2000; Авдюшев, 2003b), которые будут изложены в содержательной части данной диссертационной работы.
Параметры орбитальной модели, как правило, определяются из наблюдений в рамках задачи наименьших квадратов. Если ошибки наблюдательных данных носят случайный характер, то параметрическая точность будет зависеть не только от точности наблюдений, но также и от их количества: при одинаковой дисперсии случайных ошибок наблюдений точность параметров повышается с увеличением объема измерительной информации. Важным этапом в определении орбитальных параметров является оценивание параметрической точности, что обычно выполняется в контексте линейной задачи наименьших квадратов. В то же время использование линейных оценок не всегда обосновано, в особенности когда ошибки параметров достаточно большие, поскольку связь между орбитальными параметрами и представляемыми моделью положениями небесного тела, вообще говоря, нелинейна.
Обычно используемый на практике стандартный подход для оценивания параметрической точности состоит в построении границы доверительной области, определяющей вероятностный разброс параметрических ошибок, в соответствии с заданной изоповерх-ностью целевой функции (Press et al., 1987). Однако, если даже часто изоповерхность достаточно хорошо описывает границу доверительной области, то указать вероятность накрытия ею реальных значений параметров в нелинейном случае оказывается невозможным (Draper, Smith, 1981).
Для нелинейного оценивания параметрической точности вообще нет универсальных методов (Draper, Smith, 1981; Демиденко, 1981; Bates, Watts, 1988), однако специфика исследуемой задачи порой все же позволяет сконструировать подходящие методы, пригодные для практического использования. Подобные методы в небесной механике предлагаются, например, в работах (Milani, 1999; Virtanen et al., 2001; Muinonen et al., 2006). Эффективный подход для нелинейного оценивания реализован (впрочем, без всякого обоснования) на сайте www.projcctpluto.com, который вполне приемлем в тех случаях, когда внутренняя нелинейность (Beale, 1960) подпространства оцениваемых параметров в пространстве измеряемых равна нулю, хотя в практических задачах это условие не выполняется.
Параметрические ошибки могут быть вызваны не только ошибками наблюдений, но и особенностями обратной задачи, имеющей атрибуты некорректности. Обратная задача орбитальной динамики, как правило, сводится к минимизации некоторой целевой функции, которая выражает степень близости наблюдаемых и моделируемых положений объекта. Вообще говоря, совершенно нет никаких оснований полагать, что целевая функция имеет единственный минимум. Напротив, в большинстве обратных задач благодаря главным образом периодичности орбитального движения гиперповерхность целевой функции в пространстве определяемых параметров имеет довольно сложную стрз'ктуру с многочисленными минимумами, что очень часто имеет место в нелинейных обратных задачах. Обычно не возникает затруднений в выборе минимума, соответствующего наилучшим оценкам орбитальных параметров, и таким минимумом является абсолютный, в котором значение целевой функции существенно меньше, нежели в других минимумах. Однако ситуация с выбором не всегда складывается столь благоприятно: в некоторых задачах (Авдюшев, Баньщикова, 2008) минимумы целевой функции могут быть почти равнозначными и тогда критерий качества по абсолютному минимуму не может рассматриваться как безусловный. Проблема множественности минимумов часто имеет место в обратных задачах близких спутников и, насколько нам известно, она еще здесь совершенно не изучена.
Кроме того, в обратных задачах орбитальной динамики близких спутников существует также проблема поиска решения. Дело в том, что ввиду сложности целевой функции используемые для поиска решения квазиныотоновские итерационные методы типа Гаусса-Ньютона порой оказываются неэффективными: последовательные приближения искомых параметров, получаемые итерационно, часто медленно сходятся, либо расходятся вовсе, и тогда следует прибегать к более изощренным подходам.
Цели и задачи исследования
С учетом представленных выше проблем при выполнении данной диссертационной работы была поставлена цель разработать методы для повышения эффективности численного моделирования орбит, исследовать возможности методов в задачах околопланетной орбитальной динамики, а также получить с их помощью результаты, имеющие прикладное значение для динамической астрономии.
Для достижения поставленной цели были решены следующие задачи.
1. Разработаны оригинальные методы теории специальных возмущений для повышения методической и вычислительной точности, а также быстродействия численного моделирования (интегрирования) орбит. В частности, предложен метод сглаживания для эффективного интегрирования астероидных орбит, а также методы так называемой стабилизации по времени и стабилизации почти кругового движения. Кроме того, получены различные эффективные модификации метода Энке применительно к интегрированию орбит в пространстве Кустаанхеймо-Штифеля.
2. Теоретически обоснованы предложенные и уже существующие и широко используемые на практике методы теории специальных возмущений применительно к характерным задачам орбитальной околопланетной динамики.
3. Проведен численный эксперимент с целью исследовать возможности методов теории специальных возмущений в задачах динамики спутников и астероидов, имеющих тесные сближения с большими планетами; выполнен сравнительный анализ эффективности методов; выработаны рекомендации по их использованию.
4. Исследована проблема короткопериодических возмущений в рассматриваемых задачах и разработаны эффективные подходы для ее решения на основе огрубления численных моделей.
5. Теоретически обосновано применение так называемых гравицентрических координатных систем для повышения вычислительной точности численного интегрирования в астероидных задачах, исследованы особенности их применения, а также получены оценки эффективности применения соответствующих алгоритмов.
6. Исследованы особенности обратных задач динамики близких спутников Юпитера, получены оценки их орбитальных параметров по имеющимся наблюдениям объектов, а также изучена состоятельность оценок с точки зрения их использования для адекватного моделирования спутниковых орбит.
7. Разработаны эффективные алгоритмы для решения обратных задач динамики близких спутников на основе комплексного использования известных итерационных методов теории оптимизации, а именно Гаусса-Ньютона и градиентного спуска, совместно с так называемым проекционным методом.
8. Разработан эффективный метод для нелинейного оценивания параметрической точности динамических моделей. Метод основан на имитации статистики Фишера и реализуется путем многократного решения нелинейной задачи наименьших квадратов при различных выборках генерируемых наблюдений, получаемых путем внесения соответствующих случайных возмущений в моделируемые положения небесного тела. Оценены параметрические неопределенности в моделируемых орбитах близких и новых далеких спутников Юпитера.
Объект и предмет исследования
Объектом исследования в работе является орбитальная околопланетная динамика, тогда как предметом исследования — методы, предназначенные для повышения эффективности численного моделирования околопланетной динамики. Таким образом, в ходе выполнения диссертационной работы предполагалось разработать новые и усовершенствовать уже существующие методы для повышения эффективности численного моделирования околопланетной динамики, исследовать их возможности, а также получить с их помощью результаты, имеющие прикладное значение для динамической астрономии.
Наш интерес к задачам околопланетной динамики вызван, прежде всего, следующими обстоятельствами: 1) спутниковые системы планет предоставляют широкий спектр орбит, на примере которых можно всесторонне исследовать возможности рассматриваемых методик; 2) движение в околопланетном пространстве с точки зрения численного моделирования усложнено рядом характерных особенностей, а именно высокими скоростями близких спутников и астероидов, тесно сближающихся с планетой; притяжением Солнца далеких спутников, приводящим к значительным изменениям их орбит, а также короткопериодическими гравитационными возмущениями от близких массивных спутников типа галилеевых; 3) за последнее время в спутниковых системах открыто много новых объектов, что естественным образом привлекает к ним особое внимание. Наконец, отметим, что несмотря на принятые ограничения, применяемые методики могут быть также весьма полезны и для численного решения иных задач, не рассматриваемых в работе, например, астероидных или планетных, которые в плане моделирования имеют тесное родство с задачами околопланетной динамики.
Научная новизна исследования
Новизна диссертационной работы может быть охарактеризована следующими результатами, полученными соискателем.
1. Предложены новые методы и оригинальные модификации существующих методов теории специальных возмущений для повышения эффективности численного моделирования околопланетных орбит.
2. Проведен численный эксперимент по выявлению возможностей представленных методов применительно к задачам околопланетной динамики и на основе полученных численных результатов выполнен сравнительный анализ эффективности методов, а также выработаны четкие рекомендации по их использованию.
3. Сформулирована и исследована проблема короткопериодических возмущений, возникающая при численном интегрировании орбит далеких (медленных) объектов под гравитационном влиянием близких (быстрых); предложены оригинальные способы эффективного решения проблемы.
4. Выявлена одна из важнейших причин существенной потери вычислительной точности при интегрировании орбит астероидов на моменты их тесных сближений с большими планетами; предложен так называемый метод синхронного слежения для повышения точности моделирования астероидного движения во время тесных сближений.
5. Сформулирована и детально исследована проблема неоднозначного определения орбит в обратных задачах динамики близких спутников.
6. Представлен оригинальный составной подход для эффективного численного поиска решения обратной задачи в случае моделирования орбит близких спутников.
7. Построена новая высокоточная численная модель спутникового движения (применительно к спутниковой системе Юпитера) на основе новой версии интегратора Гаусса-Эверхарта в редакции автора диссертации.
8. Используя построенную модель, получены новые оценки орбитальных параметров для всех новых далеких и внутренних спутников Юпитера.
9. Предложен новый подход типа Монте-Карло для нелинейного оценивания неопределенностей в орбитальных параметрах, получаемых из наблюдений.
10. Впервые получены оценки точности орбитальных параметров для новых спутников Юпитера.
Следует заметить, что результаты по пп. 5, 7, 8, 10 были получены при совместном участии Баныциковой М.А., где однако ее вклад имеет отношение лишь к экспериментальной части работы, которая в то же время выполнялась под руководством автора данной диссертации. Впрочем, нельзя не отметить, что по п. о соавтором экспериментально была обнаружена важная с прикладной точки зрения особенность в обратных задачах динамики близких спутников, проявляющаяся в неоднозначном определении спутниковых орбит по нескольким группам наблюдений, тогда как впоследствии автор диссертационной работы дал теоретическое объяснение этому явлению.
Результаты, представленные в диссертации, также опубликованы в ряде статей с другими соавторами, однако их вклад выпадает за рамки научной работы соискателя.
Практическая значимость работы
Представленные в работе методы, а также разработанное на их основе программно-математическое обеспечение может быть использовано для повышения эффективности численного моделирования орбит в околопланетном пространстве, например, с целью идентификации и планирования наблюдений небесных тел. Как уже отмечалось, применяемые методики вполне приемлемы и для численного исследования иных задач, не рассматриваемых в работе, которые в плане моделирования имеют сходство с задачами околопланетной динамики. В частности, методы нелинейного оценивания параметрической точности могут быть весьма полезными в задачах астероидной опасности для оценки вероятности столкновения объектов с Землей, особенно в тех случаях, когда астероидная орбита определяется по немногочисленным наблюдениям на очень короткой дуге и потому имеет большие параметрические ошибки.
Некоторые предложенные автором методики, имеющие отношение к прямым задачам орбитальной динамики, применялись для решения ряда прикладных задач динамической астрономии в рамках следующих работ:
1. НИР по базовому финансированию «Исследование движения, распределения и эволюции орбит малых тел Солнечной системы по наблюдениям с Земли и из космоса» (ТГУ 3.5.96Ф, 1996-2000 гг., рук. проф. Т.В. Бордовицына);
2. НИР по базовому финансированию «Математическое моделирование движения, распределения ц орбитальной эволюции малых тел Солнечной системы по результатам измерений» (ТГУ 3.4.01Ф, 2001-2005 гг., рук. проф. Т.В. Бордовицына);
3. НИР по базовому финансированию «Исследование динамики больших популяций малых тел Солнечной системы» (ТГУ 1.36.06Ф, 2006-2010 гг., рук. проф. Т.В. Бордовицына);
4. Федеральная целевая научно-техническая программа Минпромнауки РФ «Исследования и разработки по приоритетным направлениям развития науки и техники» по теме «Исследование миграции малых тел Солнечной системы н развитие методов обнаружения потенциально опасных небесных тел, включая фрагменты космического мусора» (40.022.1.1.1108, 2002-2004 гг.);
5. Федеральная целевая научно-техническая программа Минпромнауки РФ «Исследования и разработки по приоритетным направлениям развития науки и техники», раздел «Фундаментальные исследования в области физических наук» по теме «Исследование возможностей использования радиоастрономической сети «КВАЗАР-КВО» для решения задач астрогеодинамики и фундаментального координатно-временного обеспечения России» (40.022.1.2.1109, 2002-2004 гг.).
Апробация результатов исследования
По результатам исследований опубликовано более 40 работ, из которых 5 в зарубежных изданиях (Вогйоу^упа а1., 1997; Аус^иэИеу, Вогс^у^эупа, 2000; Т^агепко et а1., 2000; ВогсЬэу^эупа е! а1., 2001; АуёуизЬеу, 2003с); 12 в российских изданиях (Авдю-шев, 1999а; Авдюшев, 2003а; Авдюшев, 2003Ь; Авдюшев, 2004; Авдюшев, 2006а; Ав-дюшев, 2006Ь; Авдюшев, Бордовицына, 2006; Баньщикова, Авдюшев, 2006Ь; Авдюшев, 2007; Авдюшев, Баньщикова, 2007; Авдюшев, Баньщикова, 2008; Авдюшев, 2009), входящих в перечень ведущих рецензируемых научных изданий, в которых должны быть опубликованы основные научные результаты диссертации на соискание ученой степени доктора наук; а также 15 статен в других изданиях (Авдюшев, 1997; Авдюшев, 1998; Бордовицына и др., 1998а; Бордовицына и др., 1998Ь; Авдюшев, 1999Ь; Василь-ченко, Авдюшев, 1999; Авдюшев, 2000; Бордовицына, Авдюшев, 2001; Баньщикова, Авдюшев, 2002; Мишкин и др., 2002; Козаногина, Авдюшев, 2002; Авдюшев, 2005; Авдюшев, 2006с; Баньщикова, Авдюшев, 2006а; Авдюшев, 2008).
Во всех работах, выполненных, в частности, совместно с Т.В. Бордовицыной, вклад соавторов касался либо постановочной части, либо экспериментальной, что, впрочем, не имеет непосредственного отношения к теме данной диссертации. В других совместных работах соавторы принимали участие лишь в проведении численных экспериментов, некоторые результаты которых (а именно полученные совместно с М.А. Баныциковой) приводятся в диссертации. Между тем вклад соискателя как соавтора непосредственно касался разработки методов моделирования орбитального движения, причем к этой части работы другие соисполнители не привлекались.
Результаты исследований также докладывались и обсуждались на 22 конференциях различного уровня. Кроме того, некоторые результаты прошли апробацию экспертов по работам, финансируемым РФФИ (96-02-17999-а; 98-02-16491-а; 01-02-17266-а; 02-02-06888-мас; 05-02-17043-а; 08-02-00359-а) и КЦФЕ (Е02-11.0-6), в которых соискатель участвовал и как соисполнитель, и как руководитель.
Основные положения и результаты, выносимые на защиту-Соискатель выносит на защиту следующие положения и результаты.
1. Новые методы и оригинальные модификации существующих методов теории специальных возмущений для повышения эффективности численного моделирования околопланетных орбит.
2. Результаты сравнительного анализа эффективности методов теории специальных возмущений в задачах околопланетной динамики, а также рекомендации по их использованию.
3. Предложенные соискателем способы для эффективного решения проблемы корот-копериодических возмущений.
4. Обоснование к применению гравицентрических координатных систем в астероидных и спутниковых задачах. о. Результаты исследования проблемы неоднозначного определения орбит в обратных задачах динамики близких спутников.
6. Оригинальный составной подход для эффективного численного поиска решения обратной задачи в случае моделирования орбит близких спутников.
7. Новый подход типа Монте-Карло для нелинейного оценивания неопределенностей в орбитальных параметрах, получаемых из наблюдений.
Краткое содержание диссертационной работы
Диссертация состоит из введения, пяти глав, заключения, списка литературы (172 наименования) и шести приложений, содержит 71 рисунок и 16 таблиц. Общий объем работы составляет 210 страниц.
ЗАКЛЮЧЕНИЕ
В заключение перечислим основные результаты исследовательской работы.
1. Представлены новые методы теории специальных возмущений, преобразующие дифференциальные уравнения орбитального движения к лучшему виду с точки зрения численного интегрирования. В частности, предлагаются метод консервативной стабилизации по времени и метод стабилизации для почти круговых орбит, а также метод, основанный на сглаживающем временном преобразовании для численного интегрирования орбит астероидов, имеющих тесные сближения с большими планетами. После применения синтеза и модификаций известных методов теории специальных возмущений, получены оригинальные уравнения движения, а именно: уравнения Энке в переменных Кустаанхеймо-Штифеля и Шперлинга-Боде с классическим (кеплеровская орбита) и улучшенным (с учетом сжатия центрального тела) опорным решением. Дается обоснование к использованию методов теории специальных возмущений в тех или иных задачах околопланетной динамики в зависимости от особенностей их условий. Сформулирована и исследована проблема короткопериодических возмущений, возникающая при численном интегрировании орбит далеких (медленных) объектов под гравитационном влиянием близких (быстрых). Получены теоретические оценки, указывающие на критические условия задачи, связанные с наличием короткопериодических возмущений, при которых использование методов теории специальных возмущений оказывается неэффективным. Проведен численный эксперимент с целью исследования возможностей методов теории специальных возмущений в задачах динамики спутников и астероидов, имеющих тесные сближения с большими планетами. Выполнен сравнительный анализ эффективности методов. Даются рекомендации по их использованию. В частности, экспериментально показано, что в задачах динамики близких спутников необходимо использовать уравнения в элементах Роя, где в качестве быстрой переменной выступает средняя долгота; тогда как в астероидных задачах наиболее эффективными оказываются методы КЗ-теории, в особенности, когда моделируемые орбиты сильноэксцентричны.
2. Исследована проблема короткопериодических возмущений в случае численного моделирования динамики далеких спутников, находящихся под влиянием близких (быстрых) массивных спутников типа галилеевых. Для решения проблемы предложены упрощенные модели влияния быстрых объектов, а именно модифицированная модель гравитационного гауссова кольца, а также многоточечная модель. Численно показано, что использование упрощенных моделей позволяет повысить быстродействие численного интегрирования орбиты далекого спутника почти на порядок при сохранении высокой точности вычисляемых орбитальных положений объекта, достаточной для представления современных наблюдений.
3. Изложена концепция комплексных гравицентрических координатных систем применительно к астероидным задачам для повышения вычислительной точности численного моделирования тесных сближений объектов с большими планетами. В ограниченной задаче трех тел (Солнце-планета-астероид) оценена эффективность использования различных гравицентрических систем. Показано, что применение комплексных гравицентрических координатных систем позволяет повысить вычислительную точность на несколько порядков.
4. Оценено влияние методических ошибок в положении планеты на точность определения движения сближающегося астероида. В частности, показано, что после тесного сближения (после прохождения объекта через гравитационную сферу планеты) в моделируемую астероидную орбиту вносится ошибка порядка содержащейся в положении планеты.
5. Сформулирована проблема неоднозначного определения орбит, которая часто возникает в обратных задачах динамики близких спутников, когда их орбиты определяются по нескольким группам наблюдений, распределенным на достаточно длительных временных интервалах. Проблема неоднозначного определения орбит детально исследована на примере круговой задачи двух тел. В частности, показано, что рассматриваемая неприятная особенность в обратных задачах становится наиболее актуальной в случае двух групп наблюдений, моменты которых рассредоточены на концах длительного интервала времени: в данных условиях целевая функция имеет множество почти равнозначных минимумов и выбор наилучших решений среди тех, в которых достигаются минимумы, становится практически невозможным, в особенности, когда-наблюдений очень мало и они содержат большие ошибки. Проблема также может иметь место при так называемом резонансном распределении групп наблюдении, что является одним из благоприятных условий для появления почти равнозначных минимумов целевой функции. Введена характеристика Ф, наглядно демонстрирующая приближенное распределение минимумов целевой функции по параметру, непосредственно связанному с частотой обращения спутника. Характеристика удобна для исследования обратных задач на предмет наличия множества решений. На примере круговой задачи также показано, что овражность минимизируемой функции (обусловленность матрицы аппроксимирующей квадратичной формы) непосредственно зависит от суммы квадратических отклонений моментов наблюдений относительно начальной эпохи. Отсюда наименьшая степень овражности (наилучшая обусловленность) достигается при выборе в качестве начальной эпохи среднеарифметической величины всех моментов наблюдений.
6. Применительно к динамической модели, основанной на формулах задачи двух тел, исследованы возможности метода Гаусса-Ньютона. В результате многочисленных экспериментов показано, что метод в рассматриваемых обратных задачах малоэффективен: в частности, область сходимости итерационной схемы Гаусса-Ньютона настолько мала, что с прикладной точки зрения применение схемы часто оказывается совершенно бесполезным. В этой связи нами предложен составной подход для определения орбитальных параметров, который позволяет достаточно быстро получать минимум целевой функции даже при весьма грубых начальных приближениях. Данный подход предполагает использование известного метода градиентного спуска и так называемого проекционного метода для модификации схемы Гаусса-Ньютона.
7. Построена численная модель орбитального движения близких спутников, где учитываются основные возмущающие факторы: несферичность гравитационного поля Юпитера (до шестой зональной гармоники), притяжение от галилеевых спутников, Солнца и больших планет, а также релятивистские эффекты в рамках задачи Шварцшильда.
8. По имеющимся наблюдательным данным спутников (Амальтеи, Тебы, Адрастеи и Метиды) получены оценки Pix орбитальных параметров, а также соответствующие ковариационные матрицы, характеризующие распределение параметрических ошибок. Исследованы смежные оценки орбитальных параметров Адрастеи и Метиды на предмет их принадлежности к потенциально приемлемым для описания спутниковых орбит. Ввиду того, что Адрастея имеет всего две группы наблюдений, оказывается невозможным получить уверенные оценки орбитальных параметров спутника. В то же время, несмотря на то, что спутник Метида также наблюдался не столь часто, численное исследование смежных оценок показало, что изначально полученные оценки орбитальных параметров являются наилучшими и могут быть рекомендованы для моделирования спутниковой орбиты.
9. Представлен метод построения областей возможных орбитальных параметров для нелинейных задач. Метод основан на имитации статистики Фишера, используемой для определения доверительной области, и реализуется путем многократного решения нелинейной задачи наименьших квадратов при различных выборках генерируемых наблюдений, получаемых путем внесения соответствующих случайных возмущений в моделируемые положения небесного тела. Метод опробован в задаче спутниковой динамики для построения вероятностной области, сильно деформируемой нелинейностью. Результаты показывают, что нерегулярная вероятностная область, в отличие от моделируемой на основе оценок линейной задачи, существенно точнее представляет вероятностный разброс возможных параметров. Введен показатель х, характеризующий степень нелинейности орбитальной модели, используемой в контексте заданных условий обратной задачи.
10. С использованием линейного и нелинейного подходов для построения областей возможных параметров новых и внутренних спутников Юпитера исследованы неопределенности в спутниковых орбитах, определяемых по наблюдениям. Полученные результаты, в частности, показывают, что среди новых спутников имеются такие (8/2003 Л02, 3/2003 ЛОЗ, Э/2003 Л04, 3/2003 Л10, Э/2003 Л12, Э/2003 Л23), орбиты которых еще не могут быть определены с приемлемой для планирования наблюдений точностью ввиду недостаточного количества наблюдательной информации. Орбиты этих объектов определяются настолько неуверенно, что их прогнозируемые положения (уже через оборот) могут содержать довольно большие ошибки, соизмеримые с размерами самих орбит. Такой прогноз для наведения телескопа на спутник (даже с широким полем сканирования) в действительности оказывается малонадежным, поскольку велика вероятность, что объект просто не попадет в сканируемый телескопом участок неба. Экспериментально также показано, что нелинейность используемых моделей для близких (внутренних) спутников Юпитера настолько значительна, что ковариационные матрицы, строго говоря, оказываются совершенно бесполезными для вероятностного описания распределений параметрических ошибок и в данном случае следует прибегать к нелинейному оцениванию.
11. Для статистического оценивания вероятности попадания объекта в малый объем заданного пространства на заданный момент времени, удаленный от начального, предложены быстрые отображения, которые могут быть полезны в задачах астероидной опасности для оценки вероятности столкновения астероида с Землей, либо при планировании наблюдений объекта в будущем для оценки вероятности появления объекта на наблюдаемом малом участке неба. Численные результаты показали, что к быстрым отображениям целесообразно прибегать либо для приближенного оценивания вероятности попадания объекта в заданный малый объем, либо для предварительного отбора решений с последующей их проверкой на попадание при использовании численной модели орбитального движения. Применение быстрых отображений в таком качестве существенно уменьшает объем вычислений, что позволяет повысить быстродействие вычислительного процесса на несколько порядков и более.
12. Все численные результаты в работе получены с использованием переписанного автором фортран-процедуры интегратора Гаусса-Эверхарта.
1. Авдюшев В.А. Численные алгоритмы типа Энке в регуляризирующих элементах // Исследования по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 1997. Т. 1. Р. 121-125.
2. Авдюшев В.А. Построение численной теории движения галилеевых спутников Юпитера // Астрон. и геод. Томск: Изд-во ТГУ, 1998. Вып. 16. С. 89-97.
3. Авдюшев В.А. Численное моделирование движения галилеевых спутников Юпитера // Астрон. вест. 1999а. Т. 33. Выи. 3. С. 332-337.
4. Авдюшев В.А. Новая промежуточная орбита в задаче о движении близкого спутника сжатой планеты // Исследования по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 1999Ь. Т. 3. С. 126-127.
5. Авдюшев В.А. Метод синхронного слежения // Матер, всеросс. конф. «Фундаментальные и прикладные проблемы современной механики». Томск, 6-8 июня 2000 г. Томск: Изд-во ТГУ, 2000. С. 117-118.
6. Авдюшев В.А. Определение оптимального стабилизирующего параметра в методе Ба-умгарта для моделирования почти круговых орбит // Изв. вузов. Физика. 2003а. Приложение. Т. 46. Вып. 12. С. 5-12.
7. Авдюшев В.А. Метод синхронного слежения в ограниченной задаче трех тел // Изв. вузов. Физика. 2003Ь. Приложение. Т. 46. Вып. 12. С. 13-15.
8. Авдюшев В.А. Новая система начальных параметров для численного моделирования движения галилеевых спутников Юпитера // Астрон. вест. 2004. Т. 38. Вып. 3. С. 273-276.
9. Авдюшев В.А. Методы теории специальных возмущений в небесной механик // Тр. 34-й междунар. студ. науч. конф. «Физика космоса». Екатеринбург, 31 января-4 февраля 2005 г. Екатеринбург: Изд-во УрГУ, 2005. С. 23-31.
10. Авдюшев В.А. О численном интегрировании орбит с короткопериодическими возмущениями // Изв. вузов. Физика. 2006а. Приложение. Т. 49. Вып. 2. С. 31-43.
11. Авдюшев В.А. Методы теории специальных возмущений. I. Принципы построения и обоснование к применению // Изв. вузов. Физика. 2006Ь. Т. 49. Вып. 12. С. 73-80.
12. Авдюшев В.А. Интегратор Гаусса-Эверхарта. Новый фортран-код // Матер, всеросс. конф. «Фундаментальные и прикладные проблемы современной механики». Томск, 3-5 октября 2006 г. Томск: Изд-во ТГУ, 2006с. С. 411-412.
13. Авдюшев В.А. Методы теории специальных возмущений. И. Сравнительный анализ численной эффективности // Изв. вузов. Физика. 2007. Т. 50. Вып. 1. С. 78-86.
14. Авдюшев В.А. Актуальные проблемы в определении спутниковых орбит // Тр. 37-й междунар. студ. науч. конф. «Физика космоса». Екатеринбург, 28 января-1 февраля 2008 г. Екатеринбург: Изд-во УрГУ, 2008. С. 21-35.
15. Авдюшев В.А. Новый метод для статистического моделирования возможных значений параметров в обратных задачах орбитальной динамики // Астрон. вест. 2009. Т. 43. N 5. С. 401-409.
16. Авдюшев В.А., Баныцикова М.А. Области возможных движений новых спутников Юпитера // Астрон. вест. 2007. Т. 41. N 5. С. 446-452.
17. Авдюшев В.А., Баныцикова М.А. Определение орбит близких спутников Юпитера // Астрон. вест. 2008. Т. 42. N 4. С. 317-340.
18. Авдюшев В.А., Бордовицына Т.В. Развитие теории преобразований Шперлинга-Боде // Изв. вузов. Физика. 2006. Приложение. Т. 49. Вып. 2. С. 27-30.
19. Айвазян С.А., Енюков И.С., Мешалкин Л.Д. Прикладная статистика. Основы моделирования и первичная обработка данных. Спр. изд. М.: Фин. и стат., 1983. 471 с.
20. Аксенов Е.П. Теория движения искусственных спутников Земли. М.: Наука. 360 с.
21. Андронов A.M., Копытов Е.А., Гринглаз Л.Я. Теория вероятностей и математическая статистика. СПб.: Питер, 2004. 464 с.
22. Аразов Г.Т. Аналитическая теория движения пятого спутника Юпитера // Изв. АН АзССР. Серия физ.-тех. и мат. наук. 1972. Т. 2. С. 75-81.
23. Аттетков A.B., Галкин С.В., Зарубин B.C. Методы оптимизации. М: Изд-во МГТУ, 2001. 439 с.
24. Баныцикова М.А., Авдюшев В.А. Уравнения Энке в переменных Шперлинга-Боде и их применение в задачах спутниковой динамики // Исследования по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 2002. Т. 5. С. 111-112.
25. Баныцикова М.А., Авдюшев В.А. Численное моделирование динамики спутников Юпитера // Изв. вузов. Физика. 2006b. Приложение. Т. 49. Вып. 2. С. 74-82.
26. Бард Й. Нелинейное оценивание параметров. М.: Статистика, 1979. 349 с.
27. Батраков Ю.В., Макарова E.H. Обобщенный метод Энке для изучения возмущенного движения // Бюлл. PITA АН СССР. Л.: Наука, 1979. Т. 14. С. 397-401.
28. Батраков Ю.В. Промежуточные орбиты, аппроксимирующие начальный участок возмущенного движения // Бюлл. ИТА АН СССР. Л.: Наука, 1981. Т. 15. С. 1-5.
29. Бертсекас Д. Условная оптимизация и методы множителей Лагранжа. М.: Радио и связь, 1987. 400 с.
30. Боголюбов H.H., Митропольский Ю.А. Асимптотические методы в теории нелинейных колебаний. М.: Физматгиз. 1963. 412 с.
31. Бордовицына Т.В. Современные численные методы в задачах небесной механики. М.: Наука. 1984. 136 с.
32. Бордовицына Т.В., Авдюшев В.А., Титаренко В.П. Численное моделирование общей задачи трех тел // Исследование по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 1998а. Вып. 2. С. 164-168.
33. Бордовицына Т.В., Быкова Л.Е. Теория движения и эфемериды VI и VII спутников Юпитера на 1979-2000 годы. Томск: Изд-во ТГУ. 1978. 120 с.
34. Бордовицына Т.В., Быкова Л.Е., Бороненко Т.С., Тамаров В.А., Шарковский H.A., Шмидт Ю.Б. Численные и численно-аналитические алгоритмы прогнозирования движения ИСЗ. Томск: Изд-во ТГУ, 1991. 156 с.
35. Бордовицына Т.В., Быкова Л.Е., Авдюшев В.А. Проблемы применения регуляризиру-югцих и стабилизирующих преобразований в задачах динамики спутников планет и астероидов // Астрон. и геод. Томск: Изд-во ТГУ, 1998b. Вып. 16. С. 33-57.
36. Бордовицына Т.В., Галушпна Т.Ю., Авдюшев В.А. Стабилизирующие и регуляризиру-ющие преобразования в задаче численного моделирования движения особых астероидов // Изв. вузов. Физика. 2003. Приложение. Т. 46. Вып. 12. С. 23-34.
37. Бордовицына Т.В., Сухоилюева Л.Е. Исследование эффективности численных алгоритмов, использующих стабилизирующие преобразования // Бюлл. инст. теор. астрон. Л.: Изд-во ИТА АН СССР, 1980. Т. 10. Вып. 163. С. 591-596.
38. Бордовицына Т.В., Шарковский H.A. Эффективные алгоритмы численного моделирования движения Фобоса, спутника Марса // Изв. вузов. Физика. Томск: Изд-во ТГУ, 1994. Т. 37. С. 8-12.
39. Бэттин Р. Наведение в космосе. М.: Машиностроение, 1966. 448 с.
40. Васильченко О.И., Авдюшев В.А. Алгоритмы типа Энке в переменных Кустаанхеймо-Штифеля в задачах динамики ИСЗ // Исследования по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 1999. Т. 3. С. 138-139.
41. Вержбицкий В.М. Численные методы. Линейная алгебра и нелинейные уравнения. М.: ОНИКС 21 век. 2005. 432 с.
42. Витязев В.В. Анализ неравномерных временных рядов: Учеб. пособие. СПб.: Изд-во СПбГУ, 2001. 68 с.
43. Брумберг В.А. Релятивистская небесная механика. М: Наука. 1972. 382 с.
44. Гельфанд И.М., Цетлин М.Л. О некоторых способах управления сложными системами // УМН. 1962. Т. 17. Вып. 1 (103). С. 3-25.
45. Гилл Ф., Мюррей У., Райт М. Практическая оптимизация. М: Мир. 1985. 509 с.
46. Демиденко Е.З. Линейная и нелинейная регрессии. М.: Фин. и стат., 1981. 302 с.
47. Демиденко Е.З. Оптимизация и регрессия. М.: Наука, 1989. 296 с.
48. Дубошин Г.Н. Теория притяжения. М.: Изд-во физ.-мат. лит., 1961. 286 с.
49. Дубошин Г.Н. Небесная механика. Аналитические и качественные методы. М.: Наука, 1964. 560 с.
50. Дубошин Г.Н. Небесная механика. Основные задачи и методы. М.: Наука, 1968. 800 с.
51. Емельянов Н.В., Арло Ж.Ю., Варфоломееев М.И. и др. Создание теорий движения, эфемерид и баз данных для естественных спутников планет // Космич. исслед. 2006. Т. 44. С. 136-145.
52. Железнов Н.Б. Исследование вероятности столкновения астероида с Землей методом Монте-Карло // Тр. 37-й междунар. студ. науч. конф. «Физика космоса». Екатеринбург, 28 января-1 февраля 2008 г. Екатеринбург: Изд-во УрГУ, 2008. С. 258.
53. Кирюшенков В.Н. Аналитическая теория движения пятого спутника Юпитера // Дисс. канд. физ.-мат. наук. М.: МГУ, 1969.
54. Кислик М.Д. Сферы влияния больших планет и Луны // Космич. исслед. 1964. Т. 2. Вып. 6. С. 853-858.
55. Козаногина Е.В., Авдюшев В.А. Стабилизация типа Баумгарта в ограниченной круговой задаче трех тел // Исследования по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 2002. Т. 5. С. 130-131.
56. Ланс Дж.Н. Численные методы для быстродействующих вычислительных машин. М.: Изд-во ин. лит-ры, 1962. 208 с.
57. Ледовская И.В., Йокерс К., Карпов Н.В., Сергеев A.B. Астрометрические ПЗС-наблюдения спутников Юпитера Тебы и Амальтеи и спутника Сатурна Фебы в 1998 г. // Кинем, и физ. небес, тел. 1999. Т. 15. N 6. С. 483-488.
58. Мишкин A.B., Бордовицына Т.В., Авдюшев В.А. Моделирование эволюции фрагментов распада геостационарного спутника на больших интервалах времени // Исследования по баллистике и смежным вопросам механики. Томск: Изд-во ТГУ, 2002. Т. 5. С. 130-131.
59. Никифоров И.И. Моделирование закона вращения плоской подсистемы и определение расстояния до центра Галактики: анализ данных о газовых комплексах // Астрон. журн. 1999. Т. 76. N 6. С. 403-418.
60. Ортега Дж., Рейнболдт В. Итерационные методы решения нелинейных систем уравнений со многими неизвестными. М: Мир, 1975. 560 с.
61. Полещиков С.М., Холопов A.A. Теория L-матриц и регуляризация уравнений движения в небесной механике. Сыктывкар: Изд-во СЛИ, 1999. 255 с.
62. Рой А.Е. Движение по орбитам. М.: Мир, 1981. 544 с.
63. Себехей В. Теория орбит. М.: Наука, 1982. 656 с.
64. Сорокин H.A. Дифференциальные уравнения движения ИСЗ в задаче двух неподвижных центров и их численное интегрирование // Научн. информации. М.: Изд-во ИА АН СССР, 1991. Т. 69. С. 114-123.
65. Субботин М.Ф. Введение в теоретическую астрономию. М.: Наука, 1968. 800 с.
66. Херрик С. Астродинамика. М.: Мир, 1977. Т. 2. 263 с.
67. Херрик С. Астродинамика. М.: Мир, 1978. Т. 3. 360 с.
68. Холшевников К.В. Даламберовские функции в небесной механике // Астрон. журн. 1997. Т. 74. Вып. 1. С. 146-153.
69. Черницов A.M. Анализ некоторых упрощенных схем определения оценок параметров движения небесных тел // Астрон. и геод. Вып. 5. Томск: Изд-во ТГУ, 1975. С. 6-19.
70. Черницов A.M., Батурин А.П., Тамаров В.А. Анализ некоторых методов определения вероятностной эволюции движения малых тел Солнечной системы // Астрон. вест. 1998. Т. 32. N 5. С. 459-467.
71. Черницов A.M., Дубае О.М., Тамаров В.А. Способы уменьшения нелинейности задачи наименьших квадратов при построении областей возможных движений астероидов // Изв. вузов. Физика. 2006. Приложение. Т. 49. Вып. 2. С. 44-51.
72. Шапорев С.Д. Оценка корреляционной функции ошибок наблюдений статистическими методами бутстрепа и складного ножа // Препринт ИТА РАН. СПб.: ИТА РАН, 1996. N 62. 25 с.
73. Шефер В.А. Алгоритм численного исследования движения особых малых планет, основанный на двойной регуляризации уравнений движения // Астрон. и геод. Томск: Изд-во ТГУ, 1980. Вып. 8. С. 81-91.
74. Шефер В.А. Влияние временных преобразований на эффективность численного интегрирования регуляризированных уравнений движения // Анализ движения тел Солнечной системы и их наблюдения / Отв. ред. Л. Лауцениекс. Рига: ЛГУ им. П. Стучки, 1986. С. 103-125.
75. Шефер В.А. Линеаризация и регуляризация уравнений кеплеровского движения с помощью интегралов. // Астрон. журн. 1991. Т. 68. С. 197-205.
76. Шефер В.А. Обобщенные методы Энке для исследования возмущенного движения // Астрон. и геод. Томск: Изд-во ТГУ, 1998. Вып. 16. С. 149-171.
77. Эфрон Б. Нетрадиционные методы многомерного статистического анализа. М.: Фин. и стат., 1988. 263 с.
78. Aarseth S.J. Integration Methods for Small N-body Systems // The Few Body Problem / M.J. Valtonen (ed.). Kluwer Academic Publishers, 1988. P. 287-307.
79. Aarseth S.J., Zare K. A Regularization of the Three-Body Problem // Celest. Mech. 1974. V. 10. P. 185-205.
80. Ascher U.M., Chin H., Petzold L., Reich S. Stabilization of Constrained Mechanical Systems with DAEs and Invariant Manifolds //J. Mech. Struct. Machines. 1995. V. 23. P. 135138.
81. Avdyushev V. Numerical Stabilization of Orbital Motion // Celest. Mech. 2003c. V. 87.1. 4. P. 383-409.
82. Avdyushev V., Bordovitsyna T. Algorithms of Numerical Simulation of the Motion of Satellites // Proc. of US/European Celestial Mechanics Workshop, 3-7 July 2000. Poznan, Poland. 2000. P. 223-224.
83. Avni Y. Energy Spectra of X-ray Clusters of Galaxies // Astrophys. J. 1976. V. 210. P. 642646.
84. Barnard E.E. Discovery and Observations of a Fifth Satellite to Jupiter // Astron. J. 1892. V. 12. I. 11. P. 81-85.
85. Bates D.M., Watts D.G. Relative Curvature Measures of Nonlinearity // J. R. Statist. Soc. 1980. V. 42. N 1. P. 1-25.
86. Bates D.M., Watts D.G. Nonlinear Regression Analysis and Its Applications. John Wiley &1. Sons, Inc. 1988. 365 p.
87. Baumgarte J. Stabilization of Constraints and Integrals of Motion in Dynamical Systems //
88. Comp. Math. Appl. Mech. Eng. 1972. V. 1. P. 1-16. Baumgarte J. Numerical Stabilization of the Differential Equations of Keplerian Motion //
89. Celest. Mech. 1973. V. 5. I. 4. P. 490-501. Baumgarte J. Stabilized Kepler Motion Connected with Analytic Step Adaptation // Celest.
90. Beale E.M.L. Confidence Regions in Non-Linear Estimation // J. R. Statist. Soc. 1960. V. 22. N 1. P. 41-88.
91. Bjoerck A., Dahlquist G. Numerical Mathematics and Scientific Computation. Siam,
92. Philadelphia, 1999. Vols. 2, 3. 467 c. Bordovitsyna T., Avdyushev V., Chernitsov A. New Trends in Numerical Simulation of the Motion of Small Bodies of the Solar System // Celest. Mech. 2001. V. 80. I. 3. P. 227247.
93. Brumberg E.V. Length of Arc as Independent Argument for Highly Eccentric Orbits //
94. Celest. Mech. 1992. V. 53. P. 323-328. Box G.E.P., Coutie G.A. Application of Digital Computers in the Exploration of Functional
95. Relationships // Proc. I.E.E. 1956. V. 103. N 1. P. 100-107. Burdet C.A. Theory of Kepler Motion: the General Perturbed Two Body Problem // Z.
96. Angew. Math. Phys. 1968. I. 19. P. 345-368. Butcher J.C. Implicit Runge-Kutta Processes // Math. Comput. 1964. V. 18. P. 50-64. Charlier C.V.L. On Multiple Solutions in the Determination of Orbits from Three
97. Observations // Mon. Notic. Roy. Astron. Soc. 1910. V. 71. P. 120-124. Chin H. Stabilization Methods for Simulations of Constrained Multibody Dynamics // PhD thesis, Institute of Applied Mathematics, University of British Columbia, Canada. 1995. 179 p.
98. Cohn F. Bestimmung der Bahnelemente des V. Jupitersmondes // Astron. Nachr. 1897. V. 142. P. 289-338.
99. Conté S.P. The Computation of Satellite Orbit Trajectories // Adv. in Comp. New York:
100. Academic Press Inc., 1962. V. 3. P. 1-76. Crawford R.T. Application of Leuschner's Method Solution of Orbits of Disturbed Bodies
101. Publications of Lick Observatory. V. 7. P. 485-503. Dambis A.K., Mel'nik A.M., Rastorguev A.S. Rotation Curve of the System of Classical Cepheids and the Distance to the Galactic Center // Astron. Letters. 1995. V. 21. N. 3. P. 291-307.
102. Encke J.F. Uber eine neue Methode der Berechung der Planetenstorungen // Astr. Nach.1852. V. 33. P. 377-398. Escobal P. Methods of Orbit Determination. New York-London-Sydney: John Wiley and Sons, Inc. 1965. 463 p.
103. Everhart E. A New Method for Integrating Orbits // Bulletin of the American Astronomical
104. Society. 1973. V. 5. P. 389. Everhart E. Implicit Single Sequence Methods for Integrating Orbits // Celest. Mech. 1974. V. 10. P. 35-55.
105. Problems // Springer Series in Computational Mathematics. Springer. 1993. 544 p. Hartley H.O. Exact Confidence Regions for the Parameters in Non-Linear Regression Laws // Biometrika. 1964. V. 51. N. 3/4. P. 347-353.
106. Planets. I The Galilean Satellites in 1977 // Astron. J. 1979. V. 84. P. 429-435. Jacobson R.A. Revised Ephemerides of the Inner Jovian Satellites // JPL IOM. 1994. V. 314. P. 10-101.
107. Jacobson R.A. The Orbits of the Outer Jovian Satellites // Astron. J. 2000. V. 120. P. 26792686.
108. Jewitt D.C., Danielson G.E., Synnott S.P. Discovery of a New Jupiter Satellite // Science. 1979. V. 206. P. 951.
109. Kulyk I., Jockers K., Karpov N., Sergeev A. Astrometric CCD Observations of the Inner
110. Jovian Satellites in 1999-2000 // Astron. Astrophys. 2002. V. 383. P. 724-728. Kustaanheimo P., Stiefel E. Perturbation Theory of Kepler Motion Based on Spinor
111. Jupiter. II. Fitting the Observations // Astron. Astrophys. 2004. V. 427. P. 371-376. Levenberg K. A Method for the Solution of Certain Problems in Least Squares. Quart. Appl.
112. Mallama A., Aelion M., Mallama C.A. Jovian Satellite Positions from Hubble Space
113. Telescope Images // Icarus. 2004. V. 167. I. 2. P. 320-329. Marquardt D. An Algorithm for Least-Squares Estimation of Nonlinear Parameters. SIAM
114. J. Appl. Math. 1963. V. 11. P. 431-441. Mikkola S. A Practical and Regular Formulation of the N-body Equations // Mon. Notic.
115. Roy. Astron. Soc. 1985. V. 215. P. 171-177. Mikkola S., Aarseth S.J. A Chain Regularization Method for the Few-Body Problem //
116. Celest. Mech. 1990. V. 47. P. 375-390. Milani A. The Identification Problem I: Recovery of Lost Asteroids // Icarus. 1999. V. 137. P. 269-292.
117. Miranker W.L. Numerical Methods for Stiff Equations and Singular Perturbation Problems. Reidel Publishing Company. 1981. 202 p.
118. Muinonen K., Virtanen J., Granvik M., Laakso T. Asteroid Orbits Using Phase-Space
119. Orbits // Astron. J. 1989. V. 97. I. 5. P. 1496-1509. Nacozy P.E. The Use of Integrals in Numerical Integrations of the N-Body Problem //
120. Astrophys. Space Sci. 1971. V. 14. P. 40-51. Nicholson P.D., Matthews K. Near-infrared Observations of the Jovian Ring and Small
121. Scientific Computing. Cambridge: University Press, 1987. 499 p. Rocher P., Chapront J. Observations and Ephemerides of the Faint Satellites of Jupiter //
122. Astron. Astrophys. 1996. V. 311. P. 710-714. Rohlfs K., Boehme R., Chini R., Wink J.E. The Rotation Curve of the Galaxy // Astron.
123. Astronaut. Acta. 1966. V. 12. P. 207-211. Sheppard S.S., Jewitt D.C., Ivleyna J., Marsden B.G., Jacobson R. Satellites of Jupiter //
124. U Circ., 7900, 1 (2002). Edited by Green, D. W. E. Silver M. A Short Derivation of the Sperling-Burdet Equations // Celest. Mech. 1975. V. 11. P. 39-41.
125. Sperling H.J. The Collision Singularity in a Perturbed Two-Body Problem // Celest. Mech. 1969. V. 1. P. 213-221.
126. Standish E.M. JPL Planetary and Lunar Ephemerides, DE405/LE405 // Interoffice
127. Memorandum. 1998. V. 312. F-98-048. P. 1-18. Stiefel E., Rossler M., Waldvogel J., Burdet C.A. Methods of Regularization for Computing
128. Orbits in Celestial Mechanics. Washington. 1967. 124 p. Stiefel E.L., Scheifele G. Linear and Regular Celestial Mechanics. Springer-Verlag, Berlin;
129. Tisserand M.F. Sur le mouvement du cinquieme satellite de Jupiter // Academie des sciences (France). Comptes rendus hebdomadaires des seances de 1'Academie des sciences. 1893. V. 117. P. 1024-1027.
130. Astron. Astrophys. 2005. V. 437. I. 3. P. 1147-1150. Virtanen J., Muinonen K., Bowell E. Statistical Ranging of Asteroid Orbits // Icarus. 2001. V. 154. P. 412-431.
131. Williams I.P., Ryabova G.O., Baturin A.P., Chernitsov A.M. Are asteroid 2003 EH1 and comet C/1490 Y1 dynamically related? // Earth, Moon, and Planets. 2005. V. 95. P. 11-18.
132. Zhu J., Wu X. A Comparison between the Stabilization Method and the Post-stabilization Method // Chin. Astron. and Astrophys. 2007. V. 31. P. 45-56.