Задача трёх тел

Основная статья: Взаимодействие многих тел

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

Задача трёх тел — это задача классической механики об определении движения трёх точечных масс из начальных положений и скоростей (или импульсов) в соответствии с законами движения Ньютона и законом всемирного тяготения Ньютона[1]. Она является частным случаем гравитационной задачи n тел. В отличие от задачи двух тел, общего решения в замкнутой форме не существует[1], поскольку результирующая динамическая система проявляет хаотичные свойства для большинства начальных условий^[англ.], и обычно требуется использовать численные методы для её приближённого решения. Эту задачу можно сформулировать используя как методы механики Ньютона, так и альтернативно в виде уравнений Лагранжа, уравнений Гамильтона и других. Упрощённые формулировки задачи трёх тел позволяют найти множество периодических решений. Например, «ограниченная задача трёх тел», когда момент импульса системы равен нулю, позволяет использовать регуляризирующий параметр для описания движения. Также практический интерес представляет «круговая ограниченная задача трёх тел», в которой два массивных тела движутся по окружности, а третье — в создаваемом ими потенциале.

В 1912 году финский математик Карл Зундман показал, что существует общее аналитическое решение задачи в виде рядов, однако использование последних практически невозможно.

Исторически сложилось так, что первой конкретной задачей трёх тел, получившей расширенное изучение, была проблема, связанная с взаимным движением Луны, Земли и Солнца[2]. На современном языке задача трёх тел — это любая задача классической или квантовой механики, моделирующая движение трёх частиц в потенциале специального вида: в виде обратного квадрата, линейного, квадратичного, их комбинаций и других.

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

Математическая постановка задачи трёх тел может быть дана в терминах ньютоновских уравнений движения для радиус-векторов центров масс гравитационно взаимодествующих тел в галилеевской системе координат[3]. Движение ${\displaystyle \mathbf {r_{i}} =(x_{i},y_{i},z_{i})}$ с массами ${\displaystyle m_{i}}$ описывается совокупностью трех дифференциальных уравнений второго порядка

${\displaystyle {\begin{aligned}{\ddot {\mathbf {r} }}_{\mathbf {1} }&=-Gm_{2}{\frac {\mathbf {r_{1}} -\mathbf {r_{2}} }{|\mathbf {r_{1}} -\mathbf {r_{2}} |^{3}}}-Gm_{3}{\frac {\mathbf {r_{1}} -\mathbf {r_{3}} }{|\mathbf {r_{1}} -\mathbf {r_{3}} |^{3}}}\,,\\{\ddot {\mathbf {r} }}_{\mathbf {2} }&=-Gm_{3}{\frac {\mathbf {r_{2}} -\mathbf {r_{3}} }{|\mathbf {r_{2}} -\mathbf {r_{3}} |^{3}}}-Gm_{1}{\frac {\mathbf {r_{2}} -\mathbf {r_{1}} }{|\mathbf {r_{2}} -\mathbf {r_{1}} |^{3}}}\,,\\{\ddot {\mathbf {r} }}_{\mathbf {3} }&=-Gm_{1}{\frac {\mathbf {r_{3}} -\mathbf {r_{1}} }{|\mathbf {r_{3}} -\mathbf {r_{1}} |^{3}}}-Gm_{2}{\frac {\mathbf {r_{3}} -\mathbf {r_{2}} }{|\mathbf {r_{3}} -\mathbf {r_{2}} |^{3}}}\,.\end{aligned}}}$

где ${\displaystyle G}$ — гравитационная постоянная[4][5].

Задачу можно также сформулировать эквивалентно в гамильтоновом формализме, и в этом случае она описывается набором из системы 18-и дифференциальных уравнений первого порядка, по одному для каждой компоненты координат ${\displaystyle \mathbf {r_{i}} }$ и импульсов ${\displaystyle \mathbf {p_{i}} }$[6]:

${\displaystyle {\frac {d\mathbf {r_{i}} }{dt}}={\frac {\partial {\mathcal {H}}}{\partial \mathbf {p_{i}} }},\qquad {\frac {d\mathbf {p_{i}} }{dt}}=-{\frac {\partial {\mathcal {H}}}{\partial \mathbf {r_{i}} }},}$

где ${\displaystyle {\mathcal {H}}}$ — гамильтониан системы, заданный в виде

${\displaystyle {\mathcal {H}}=-{\frac {Gm_{1}m_{2}}{|\mathbf {r_{1}} -\mathbf {r_{2}} |}}-{\frac {Gm_{2}m_{3}}{|\mathbf {r_{3}} -\mathbf {r_{2}} |}}-{\frac {Gm_{3}m_{1}}{|\mathbf {r_{3}} -\mathbf {r_{1}} |}}+{\frac {\mathbf {p_{1}} ^{2}}{2m_{1}}}+{\frac {\mathbf {p_{2}} ^{2}}{2m_{2}}}+{\frac {\mathbf {p_{3}} ^{2}}{2m_{3}}}.}$

В этом случае ${\displaystyle {\mathcal {H}}}$ представляет полную энергию системы в виде суммы гравитационной и кинетической энергий[7][6].

Ограниченная задача трёх тел

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

В ограниченной задаче трёх тел тело незначительной массы («планетоид») движется под действием гравитационной силы двух массивных тел. Имея незначительную массу, планетоид слабо влияет на два массивных тела, и поэтому этим эффектом можно пренебречь. В этом случае, полученную систему можно проанализировать и описать как задачу движения двух тел[4][8]. По отношению к вращающейся системе отсчёта^[англ.] два тела, вращающиеся по одной орбите, неподвижны, а третье тело может также быть неподвижным в точках Лагранжа или двигаться вокруг них, например, по подковообразной орбите. Может оказаться полезным рассмотреть эффективный потенциал^[англ.]. Обычно считается, что это движение двух тел состоит из круговых орбит вокруг центра масс, и предполагается, что планетоид движется в плоскости, определяемой круговыми орбитами[9].

Ограниченную задачу трёх тел легче анализировать теоретически, чем полную задачу, что представляет также практический интерес, поскольку точно описывает многие реальные системы. Наиболее важным примером является система Земля — Луна — Солнце. По этим причинам она сыграла важную роль при историческом развитии в задаче трёх тел.

Математически задача формулируется следующим образом. Пусть ${\displaystyle m_{1,2}}$ — массы двух массивных тел с (плоскими) координатами ${\displaystyle (x_{1},y_{1})}$ и ${\displaystyle (x_{2},y_{2})}$, и ${\displaystyle (x,y)}$ — координаты планетоида. Для простоты выберите такие единицы измерения, чтобы расстояние между двумя массивными телами, а также гравитационная постоянная были равны ${\displaystyle 1}$. Тогда движение планетоида определяется выражением

${\displaystyle {\begin{aligned}{\frac {d^{2}x}{dt^{2}}}=-m_{1}{\frac {x-x_{1}}{r_{1}^{3}}}-m_{2}{\frac {x-x_{2}}{r_{2}^{3}}}\,,\\{\frac {d^{2}y}{dt^{2}}}=-m_{1}{\frac {y-y_{1}}{r_{1}^{3}}}-m_{2}{\frac {y-y_{2}}{r_{2}^{3}}}\,,\end{aligned}}}$

где ${\displaystyle r_{i}={\sqrt {(x-x_{i})^{2}+(y-y_{i})^{2}}}\,.}$ В этой форме уравнения движения имеют явную зависимость от времени через координаты ${\displaystyle x_{i}(t),y_{i}(t)}$. Однако эту временную зависимость можно устранить путём преобразования во вращающуюся систему отсчёта, что упрощает любой последующий анализ.

Решения

Общее решение

В то время как система трёх тел, взаимодействующих гравитационно, является хаотичной, система трёх тел, взаимодействующих упруго, хаотичной не является.

Не существует общего решения задачи трёх тел в замкнутой форме[1], это означает, что не существует общего решения, которое можно выразить с помощью конечного числа стандартных математических операций. При этом движение трёх тел вообще неповторяющееся, за исключением особых случаев[10].

Однако в 1912 году финский математик Карл Фритиоф Сундман доказал, что существует аналитическое решение задачи трёх тел в виде ряда Пюизё, а именно степенного ряда по степеням t^1/3[11]. Этот ряд сходится при всех действительных t, кроме начальных условий, соответствующих нулю момента импульса. На практике последнее ограничение несущественно, поскольку начальные условия с нулевым угловым моментом встречаются редко и имеют нулевую меру Лебега.

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

Столкновения, будь то бинарные или тройные (фактически любое число), несколько маловероятны, поскольку было показано, что они соответствуют набору начальных условий нулевой меры. Однако не известно какого-либо критерия, который можно было бы положить в начальное состояние, чтобы избежать столкновений для соответствующего решения. Итак, стратегия Сундмана состояла из следующих шагов:

1. Использование соответствующей замены переменных для продолжения анализа решения за пределами бинарного столкновения в процессе, известном как регуляризация.
2. Доказательство того, что тройные столкновения происходят только тогда, когда угловой момент L обращается в нуль. Ограничив исходные данные до L ≠ 0, он удалил все вещественные особенности из преобразованных уравнений задачи трёх тел.
3. Показывая, что если L ≠ 0, то не только не может быть тройного столкновения, но и система строго отделена от тройного столкновения. Отсюда следует, используя теорему существования Коши для дифференциальных уравнений, что в полосе (в зависимости от значения L) в комплексной плоскости с центром вокруг вещественной оси нет комплексных особенностей (оттенки Ковалевской).
4. Найти конформное преобразование, которое отображает эту полосу в единичный круг. Например, если s = t^1/3 (новая переменная после регуляризации) и если ${\displaystyle |\ln s|}$≤ β , тогда это отображение даётся формулой

$${\displaystyle \sigma ={\frac {e^{\frac {\pi s}{2\beta }}-1}{e^{\frac {\pi s}{2\beta }}+1}}\,.}$$

Однако соответствующий ряд сходится очень медленно. То есть для получения значения значимой точности требуется так много членов, что это решение не имеет практического применения. Действительно, в 1930 году Дэвид Белоришки подсчитал, что если бы ряд Сундмана использовался для астрономических наблюдений, то в вычислениях потребовалось бы по меньшей мере 10^8 000 000 членов[12].

Решения для особых случаев

Полости Роша для двойной системы (обозначены жёлтым)

В 1767 году Леонард Эйлер нашёл три семейства периодических решений, в которых три массы в каждый момент времени коллинеарны. См. задачу трёх тел Эйлера^[англ.].

В 1772 году Лагранж нашёл семейство решений, в которых три массы в каждый момент времени образуют равносторонний треугольник. Вместе с коллинеарными решениями Эйлера эти решения образуют центральные конфигурации задачи трёх тел. Эти решения справедливы для любых соотношений масс, причём массы движутся по кеплеровским эллипсам. Эти четыре семейства — единственные известные решения, для которых существуют явные аналитические формулы. В частном случае круговой ограниченной задачи трёх тел эти решения, рассматриваемые в системе отсчёта, вращающейся вместе с основными элементами, становятся точками, называемыми L₁, L₂, L₃, L₄ и L₅ и называемыми лагранжевыми точками, где L₄ и L₅ являются симметричными экземплярами решения Лагранжа.

В работе, обобщённой в 1892—1899 годах, Анри Пуанкаре установил существование бесконечного числа периодических решений ограниченной задачи трёх тел, а также методы продолжения этих решений на общую задачу трёх тел.

В 1893 году Мейсель сформулировал то, что сейчас называется пифагорейской задачей трёх тел: три массы в соотношении 3:4:5 покоятся в вершинах прямоугольного треугольника 3:4:5. Буррау[13] продолжил исследование этой проблемы в 1913 году. В 1967 году Виктор Себехей и К. Фредерик Питерс нашли решение этой задачи, используя численное интегрирование, и в то же время нашли ближайшее периодическое решение[14].

Анимация решения задачи трёх тел в виде восьмёрки за один период T ≃ 6,3259[15].

20 примеров периодических решений задачи трёх тел.

В 1970-х годах Р. Бруке^[англ.] (англ. Roger A. Broucke ), М. Хено^[фр.] (фр. Michel Hénon) и Дж. Хаджидеметриу (англ. John D. Hadjidemetriou) нашли набор решений, которые являются частью одного и того же семейства решений: семейства Брука — Энона — Хаджидеметриу. В этом семействе все три объекта имеют одинаковую массу и могут иметь как ретроградную, так и прямую форму. В некоторых решениях Брука два тела следуют по одному и тому же пути[16][17].

В 1993 году физик Крис Мур из Института Санта-Фе численно обнаружил решение с нулевым угловым моментом с тремя равными массами, движущимися вокруг восьмерки[18][19]. Его формальное существование позже было доказано в 2000 году математиками Аленом Ченсинером и Ричардом Монтгомери[20][21]. Численно показано, что решение устойчиво при небольших возмущениях массы и параметров орбиты, что делает возможным наблюдение таких орбит в физической Вселенной. Однако утверждалось, что это событие маловероятно, поскольку область устойчивости мала. Например, вероятность события бинарно-бинарного рассеяния в результате чего орбита в форме восьмёрки, по оценкам, составляет небольшую долю процента[22].

В 2013 году сербские учёные Милован Шуваков и Велько Дмитрашинович из Института физики в Белграде обнаружили 13 новых семейств решений задачи трёх тел с равной массой и нулевым угловым моментом[10][17][23].

В 2015 году физик Ана Худомаль обнаружила 14 новых семейств решений задачи трёх тел с равной массой и нулевым угловым моментом[24].

В 2017 году исследователи Сяомин Ли и Ляо Шицзюнь^[англ.] обнаружили 669 новых периодических орбит задачи трёх тел с равной массой и нулевым угловым моментом[25]. За этим в 2018 году последовало ещё 1223 новых решения для системы неравных масс с нулевым угловым моментом[26].

В 2018 году Ли и Ляо сообщили о 234 решениях задачи трёх тел о «свободном падении» с неравной массой[27]. Формулировка задачи трёх тел в свободном падении начинается с того, что все три тела находятся в состоянии покоя. Из-за этого массы в конфигурации свободного падения не вращаются по замкнутому «кольцу», а перемещаются вперёд и назад по открытой «траектории».

В 2023 году Иван Христов, Радослава Христова, Дмитрашинович и Киётака Таникава опубликовали исследование задачи трёх тел «периодические орбиты свободного падения», ограниченное случаем равной массы, в котором они нашли 12 409 различных решений[28].

Приближённое решение

По всей видимости, сам Вейерштрасс, опираясь на свою знаменитую теорему об аппроксимации произвольной функции полиномами, желал получить выражение для координат тел в виде

${\displaystyle \lim \limits _{n\rightarrow \infty }P_{n}(t)}$,

где ${\displaystyle P_{n}}$ — некоторые полиномы.

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

Обсуждение самой возможности ситуации, описанной в задаче Вейерштрасса, привело к ряду важных выводов:

• Если решение задачи трёх тел является голоморфной функцией ${\displaystyle t}$ в интервале ${\displaystyle [0,t_{0})}$ и перестает быть таковым при ${\displaystyle t=t_{0}}$, то при ${\displaystyle t\rightarrow t_{0}-0}$ или все расстояния между телами стремятся к нулю (тройное соударение тел), или одно из них стремится к нулю, а остальные два — к конечным пределам (простое соударение тел). (Пенлеве, 1897);
• Тройное соударение в задаче трёх тел возможно лишь при условии обращения в нуль момента импульса системы и, следовательно, может иметь место лишь при весьма специальных начальных данных. (Ф. А. Слудский, 1874);
• Если момент импульса системы не равен нулю, то существует так называемый регуляризирующий параметр ${\displaystyle s}$, через который можно выразить координаты и время голоморфным образом в окрестности вещественной оси ${\displaystyle s}$. (Зундман, 1912; короткое доказательство дал в 1967 г. Бурде (Burdet)[29]).

Это подтолкнуло Пуанкаре и Зундмана искать решение не в виде функций от ${\displaystyle t}$, а в виде рядов от некоторого параметра. Именно, координаты трёх тел и время являются голоморфными функциями ${\displaystyle s}$ вдоль всей вещественной оси плоскости ${\displaystyle s}$, то есть существует некоторая область, в которой координаты голоморфны. По теореме Римана эту область можно отобразить на круг единичного радиуса ${\displaystyle |v|<1}$, поэтому координаты трёх тел и время можно представить в виде функций параметра ${\displaystyle v}$, голоморфных в круге единичного радиуса. Такие функции представимы в виде сходящегося во всем круге рядов по положительным степеням ${\displaystyle v}$. Эти ряды были найдены Зундманом в 1912, точнее говоря, был найден алгоритм отыскания их коэффициентов. К несчастью, как показал Д. Белорицкий[30], по крайней мере в случае Лагранжа для нужд вычислительной астрономии в сходящихся рядах Зундмана нужно брать как минимум ${\displaystyle 10^{8\cdot 10^{6}}}$ членов.

Численные подходы

Используя компьютер, задача может быть решена с произвольно высокой точностью с помощью численного интегрирования, хотя высокая точность требует большого количества процессорного времени. Были попытки создания компьютерных программ, которые численно решают задачу трёх тел (и, в более широком смысле, задачу n тел), включающую как электромагнитные, так и гравитационные взаимодействия, а также включающие современные теории физики, такие как специальная теория относительности[31]. Кроме того, используя теорию случайных блужданий, можно вычислить приблизительную вероятность различных исходов[32][33].

История

Задача гравитации трех тёл в её традиционном понимании по существу восходит к 1687 году, когда Исаак Ньютон опубликовал свой труд «Начала»[34]. Учёный пытался выяснить, возможна ли какая-либо долговременная стабильность, особенно системы нашей Земли, Луны и Солнца. Под руководством крупнейших астрономов эпохи Возрождения Николая Коперника, Тихо Браге и Иоганна Кеплера он пришёл к началу гравитационной задачи трёх тел[35]. В предложении 66 первой книги «Начал» и его 22 следствиях И. Ньютон сделал первые шаги в определении и изучении задачи движения трёх массивных тел, подчинённых их взаимно возмущающему гравитационному притяжению. В предложениях 25-35 книги 3 он также сделал первые шаги в применении своих результатов предложения 66 к теории Луны, движения Луны под гравитационным влиянием Земли и Солнца[36]. Позже эта задача была применена и к взаимодействиям других планет с Землёй и Солнцем[35].

К физической проблеме впервые обратился Америго Веспуччи, а затем Галилео Галилей, а также Симон Стевин, но они не осознавали, какой вклад они внесли. Хотя Галилей установил, что скорость падения всех тел изменяется равномерно и одинаково, он не применил это к движению планет[35]. Тогда как в 1499 году Веспуччи использовал знание положения Луны, чтобы определить свое положение в Бразилии[37]. Это приобрело техническое значение в 1720-х годах, поскольку точное решение могло быть применимо к навигации, особенно для определения долготы на море, что было решено на практике благодаря изобретению Джона Харрисона морского хронометра. Однако точность лунной теории была низкой из-за возмущающего воздействия Солнца и планет на движение Луны вокруг Земли.

Жан ле Рон д’Аламбер и Алексис Клеро, между которыми возникло давнее соперничество, оба пытались проанализировать задачу в некоторой степени общности; они представили свои конкурирующие первые исследования в Королевскую академию наук в 1747 году[38]. Именно в связи с их исследованиями, проведёнными в Париже в 1740-х годах, появилось название «задача трёх тел» (фр. Problème des trois Corps) стали широко использоваться. В отчёте, опубликованном в 1761 году Жаном ле Роном д’Аламбером, указывается, что это название впервые было использовано в 1747 году[39].

Относительно общего случая Вейерштрасс предложил такую задачу (1885 г., конкурс на премию шведского короля Оскара II):

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

— Погребысский И. Б. Комментарий к Задаче трёх тел Пуанкаре // Пуанкаре А. Избранные труды. — Т. 2. — М.: Наука, 1979. — С. 967—976.

В конце XIX — начале XX века подход к решению задачи трёх тел с использованием короткодействующих сил притяжения двух тел разрабатывался учёными, которые предложили П. Ф. Бедак, Х.-В. Хаммеру и У. ван Колку пришла идея перенормировать задачу трёх тел ближнего действия, предоставив учёным редкий пример предельного цикла ренормгруппы в начале XXI века[40]. Джордж Уильям Хилл работал над ограниченной задачей в конце XIX века, используя движение Венеры и Меркурия[41].

В начале XX века Карл Сундман подошёл к этой проблеме математически и систематически, предоставив функциональное теоретическое доказательство задачи, справедливое для всех значений времени. Это был первый раз, когда учёные теоретически решили задачу трёх тел. Однако, поскольку не было достаточно качественного решения этой системы, и учёные слишком медленно могли её применять на практике, это решение всё же оставляло некоторые проблемы нерешёнными[42]. В 1970-х годах В. Ефимовым был обнаружен эффект трёх тел от двухчастичных сил, который был назван эффектом Ефимова[43].

В 2017 году Шицзюнь Ляо и Сяомин Ли применили новую стратегию численного моделирования хаотических систем, называемую чистым численным моделированием (CNS), с использованием национального суперкомпьютера, чтобы успешно получить 695 семейств периодических решений системы трёх тел с равными массами[44].

В 2019 году Брин и др. объявила о быстром решении нейронной сети для задачи трёх тел, обученном с использованием числового интегратора[45].

По сообщениям, в сентябре 2023 года было найдено несколько возможных решений задачи[46][47].

Другие задачи, связанные с тремя телами

Термин «задача трёх тел» иногда используется в более общем смысле для обозначения любой физической задачи, связанной с взаимодействием трёх тел.

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

Однако как в классической, так и в квантовой механике существуют нетривиальные законы взаимодействия, помимо силы обратных квадратов, которые действительно приводят к точным аналитическим решениям для трёх тел. Одна из таких моделей состоит из комбинации гармонического притяжения и отталкивающей силы обратного куба[49]. Эта модель считается нетривиальной, поскольку она связана с набором нелинейных дифференциальных уравнений, содержащих особенности (по сравнению, например, с одними только гармоническими взаимодействиями, которые приводят к легко решаемой системе линейных дифференциальных уравнений). В этих двух отношениях она аналогична (неразрешимым) моделям, имеющим кулоновское взаимодействие, и в результате была предложена в качестве инструмента для интуитивного понимания физических систем, таких как атом гелия[49][50].

В рамках модели точечного вихря движение вихрей в двумерной идеальной жидкости описывается уравнениями движения, содержащими производные по времени только первого порядка. То есть в отличие от механики Ньютона, именно скорость, а не ускорение определяется их взаимным расположением. Как следствие, проблема трёх вихрей всё ещё интегрируема[51], хотя для получения хаотического поведения требуется как минимум четыре вихря[52]. Можно провести параллели между движением пассивной частицы-трассера в поле скоростей трёх вихрей и ограниченной задачей трёх тел механики Ньютона[53].

Гравитационная задача трёх тел также изучалась в рамках общей теории относительности. С физической точки зрения релятивистский подход становится необходимым в системах с очень сильными гравитационными полями, например, вблизи горизонта событий чёрной дыры. Однако релятивистская проблема значительно сложнее, чем в механике Ньютона, и требует сложных численных методов. Даже полная задача двух тел (то есть для произвольного соотношения масс) не имеет строгого аналитического решения в общей теории относительности[54].

Задача n тел

Задача трёх тел — это частный случай задачи n тел, которая описывает, как n объектов движутся под действием одной из физических сил, например гравитации. Эти проблемы имеют глобальное аналитическое решение в виде сходящегося степенного ряда, как было доказано Карлом Ф. Сундманом для n = 3 и Цюдуном Вангом для n > 3 (подробности см. В задаче n -тел). Однако ряды Сундмана и Ванга сходятся настолько медленно, что для практических целей они бесполезны[55]; поэтому в настоящее время необходимо аппроксимировать решения путём численного анализа в форме численного интегрирования или, в некоторых случаях, аппроксимации классическими тригонометрическими рядами (см. Моделирование n -тел). Атомные системы, например атомы, ионы и молекулы, можно рассматривать в терминах квантовой задачи n тел. Среди классических физических систем проблема n тел обычно относится к галактике или скоплению галактик; планетарные системы, такие как звёзды, планеты и их спутники, также можно рассматривать как системы n -тел. В некоторых приложениях удобно рассматривать теорию возмущений, в которой система рассматривается как задача двух тел плюс дополнительные силы, вызывающие отклонения от гипотетической невозмущенной траектории двух тел.

Примечания

1. Barrow-Green, June (2008). "The Three-Body Problem". In Gowers,Timothy (ed.). The Princeton Companion to Mathematics. Princeton University Press. pp. 726—728.
2. Historical Notes: Three-Body Problem  (неопр.). Дата обращения: 19 июля 2017. Архивировано 10 декабря 2023 года.
3. Маршал, 2004, с. 26.
4. Barrow-Green, June. Poincaré and the Three Body Problem. — American Mathematical Society, 1997. — P. 8–12. — ISBN 978-0-8218-0367-7.
5. The Three-Body Problem  (неопр.). Дата обращения: 30 марта 2024. Архивировано 26 января 2019 года.
6. Маршал, 2004, с. 39.
7. Маршал, 2004, с. 34.
8. Restricted Three-Body Problem Архивная копия от 28 марта 2024 на Wayback Machine, Science World.
9. Маршал, 2004, с. 78—83.
10. Cartwright, Jon (2013-03-08). "Physicists Discover a Whopping 13 New Solutions to Three-Body Problem". Science Now. Архивировано 20 сентября 2023. Дата обращения: 4 апреля 2013.
11. Barrow-Green, J. (2010). The dramatic episode of Sundman Архивная копия от 25 апреля 2023 на Wayback Machine, Historia Mathematica 37, pp. 164—203.
12. Beloriszky, D. (1930). "Application pratique des méthodes de M. Sundman à un cas particulier du problème des trois corps". Bulletin Astronomique. Série 2. 6: 417—434. Bibcode:1930BuAst...6..417B.
13. Burrau (1913). "Numerische Berechnung eines Spezialfalles des Dreikörperproblems". Astronomische Nachrichten. 195 (6): 113—118. Bibcode:1913AN....195..113B. doi:10.1002/asna.19131950602. Архивировано 3 июня 2023. Дата обращения: 30 марта 2024.
14. Victor Szebehely; C. Frederick Peters (1967). "Complete Solution of a General Problem of Three Bodies". Astronomical Journal. 72: 876. Bibcode:1967AJ.....72..876S. doi:10.1086/110355.
15. Here the gravitational constant G has been set to 1, and the initial conditions are r₁(0) = -r₃(0) = (-0.97000436, 0.24308753); r₂(0) = (0,0); v₁(0) = v₃(0) = (0.4662036850, 0.4323657300); v₂(0) = (-0.93240737, −0.86473146). The values are obtained from Chenciner & Montgomery (2000).
16. Šuvakov, M., Dmitrašinović, V. Three-body Gallery  (неопр.). Дата обращения: 12 августа 2015. Архивировано 16 января 2018 года.
17. Трунин, Д. В задаче трех тел обнаружили более шестисот периодических траекторий : [арх. 7 ноября 2018] // N+1. — 2017. — 12 октября.
18. Сербские физики значительно расширили число известных решений «задачи трёх тел»  (неопр.). Дата обращения: 10 января 2019. Архивировано 11 января 2019 года.
19. Moore, Cristopher (1993). "Braids in classical dynamics" (PDF). Physical Review Letters. 70 (24): 3675—3679. Bibcode:1993PhRvL..70.3675M. doi:10.1103/PhysRevLett.70.3675. PMID 10053934. Архивировано (PDF) 8 октября 2018. Дата обращения: 1 января 2016.
20. Chenciner, Alain; Montgomery, Richard (2000). "A remarkable periodic solution of the three-body problem in the case of equal masses". Annals of Mathematics. Second Series. 152 (3): 881—902. arXiv:math/0011268. Bibcode:2000math.....11268C. doi:10.2307/2661357. JSTOR 2661357. S2CID 10024592.
21. Montgomery, Richard (2001). "A new solution to the three-body problem" (PDF). Notices of the American Mathematical Society. 48: 471—481. Архивировано (PDF) 25 апреля 2023. Дата обращения: 30 марта 2024.
22. Heggie, Douglas C. (2000). "A new outcome of binary–binary scattering". Monthly Notices of the Royal Astronomical Society. 318 (4): L61—L63. arXiv:astro-ph/9604016. Bibcode:2000MNRAS.318L..61H. doi:10.1046/j.1365-8711.2000.04027.x.
23. Физики нашли новые решения ньютоновской задачи трёх тел  (неопр.). Lenta.ru (11 марта 2013). Дата обращения: 17 марта 2013. Архивировано 21 марта 2013 года.
24. Hudomal, Ana (October 2015). "New periodic solutions to the three-body problem and gravitational waves" (PDF). Master of Science Thesis at the Faculty of Physics, Belgrade University. Архивировано (PDF) 10 ноября 2023. Дата обращения: 5 февраля 2019.
25. Li, Xiaoming; Liao, Shijun (December 2017). "More than six hundreds new families of Newtonian periodic planar collisionless three-body orbits". Science China Physics, Mechanics & Astronomy. 60 (12): 129511. arXiv:1705.00527. Bibcode:2017SCPMA..60l9511L. doi:10.1007/s11433-017-9078-5. ISSN 1674-7348. S2CID 84838204.
26. Li, Xiaoming; Jing, Yipeng; Liao, Shijun (August 2018). "The 1223 new periodic orbits of planar three-body problem with unequal mass and zero angular momentum". Publications of the Astronomical Society of Japan. 70 (4). arXiv:1709.04775. doi:10.1093/pasj/psy057.
27. Li, Xiaoming; Liao, Shijun (2019). "Collisionless periodic orbits in the free-fall three-body problem". New Astronomy. 70: 22—26. arXiv:1805.07980. Bibcode:2019NewA...70...22L. doi:10.1016/j.newast.2019.01.003. S2CID 89615142.
28. Hristov, Ivan; Hristova, Radoslava; Dmitrašinović, Veljko; Tanikawa, Kiyotaka (2023). "Three-body periodic collisionless equal-mass free-fall orbits revisited". arXiv:2308.16159 [physics.class-ph].
29. Маршал К. Задача трёх тел. М.-Ижевск, 2004
30. Belorizky, D. Sur la solution du problème des trois corps, donnée par M. Sundman // C. R. 193, 766—768, 1931.
31. 3body simulator (англ.). 3body simulator. Дата обращения: 17 ноября 2022. Архивировано из оригинала 17 ноября 2022 года.
32. Technion (2021-10-06). "A Centuries-Old Physics Mystery? Solved". SciTechDaily. SciTech. Архивировано 27 декабря 2023. Дата обращения: 12 октября 2021.
33. Ginat, Yonadav Barry; Perets, Hagai B. (2021-07-23). "Analytical, Statistical Approximate Solution of Dissipative and Nondissipative Binary-Single Stellar Encounters". Physical Review. 11 (3): 031020. arXiv:2011.00010. Bibcode:2021PhRvX..11c1020G. doi:10.1103/PhysRevX.11.031020. S2CID 235485570. Архивировано 4 апреля 2024. Дата обращения: 12 октября 2021.
34. Маршал, 2004, с. 24.
35. Valtonen, Mauri. The Three-body Problem from Pythagoras to Hawking. — Springer, 2016. — ISBN 978-3-319-22726-9.
36. Newton, Isaac. Philosophiæ naturalis principia mathematica. — London : G. & J. Innys, 1726. — doi:10.14711/spcol/b706487. Архивная копия от 30 мая 2023 на Wayback Machine
37. Amerigo Vespucci (амер. англ.). Biography (23 июня 2021). Дата обращения: 5 октября 2022. Архивировано 3 января 2023 года.
38. The 1747 memoirs of both parties can be read in the volume of Histoires (including Mémoires) of the Académie Royale des Sciences for 1745 (belatedly published in Paris in 1749) (in French):
39. Jean le Rond d’Alembert, in a paper of 1761 reviewing the mathematical history of the problem, mentions that Euler had given a method for integrating a certain differential equation «in 1740 (seven years before there was question of the Problem of Three Bodies)»: see d’Alembert, «Opuscules Mathématiques», vol. 2, Paris 1761, Quatorzième Mémoire («Réflexions sur le Problème des trois Corps, avec de Nouvelles Tables de la Lune …») pp. 329—312, at sec. VI, p. 245.
40. Mohr, R.F.; Furnstahl, R.J.; Hammer, H.-W.; Perry, R.J.; Wilson, K.G. (January 2006). "Precise numerical results for limit cycles in the quantum three-body problem". Annals of Physics. 321 (1): 225—259. arXiv:nucl-th/0509076. Bibcode:2006AnPhy.321..225M. doi:10.1016/j.aop.2005.10.002. ISSN 0003-4916. S2CID 119073191.
41. «Coplanar Motion of Two Planets, One Having a Zero Mass» Архивная копия от 3 октября 2022 на Wayback Machine. Annals of Mathematics, Vol. III, pp. 65-73, 1887.
42. Barrow-Green, June. Poincaré and the Three Body Problem : [англ.]. — Providence, Rhode Island : American Mathematical Society, 1996-10-29. — Vol. 11. — ISBN 978-0-8218-0367-7. — doi:10.1090/hmath/011. Архивная копия от 11 апреля 2024 на Wayback Machine
43. Efimov, V. (1970-12-21). "Energy levels arising from resonant two-body forces in a three-body system". Physics Letters B (англ.). 33 (8): 563—564. Bibcode:1970PhLB...33..563E. doi:10.1016/0370-2693(70)90349-7. ISSN 0370-2693.
44. Liao, Shijun; Li, Xiaoming (2019-11-01). "On the periodic solutions of the three-body problem". National Science Review (англ.). 6 (6): 1070—1071. doi:10.1093/nsr/nwz102. ISSN 2095-5138. PMC 8291409. PMID 34691975. Архивировано 3 октября 2022. Дата обращения: 30 марта 2024.
45. Breen, Philip G.; Foley, Christopher N.; Boekholt, Tjarda; Portegies Zwart, Simon (2020). "Newton versus the machine: Solving the chaotic three-body problem using deep neural networks". Monthly Notices of the Royal Astronomical Society. 494 (2): 2465—2470. arXiv:1910.07291. doi:10.1093/mnras/staa713. S2CID 204734498.
46. Watson. We Just Got 12,000 New Solutions to The Infamous Three-Body Problem (англ.). ScienceAlert (23 сентября 2023). Дата обращения: 23 сентября 2023. Архивировано 24 сентября 2023 года.
47. Hristov, Ivan; Hristova, Radoslava; Dmitrašinović, Veljko; Tanikawa, Kiyotaka (2023-08-31). "Three-body periodic collisionless equal-mass free-fall orbits revisited". arXiv:2308.16159 [physics.class-ph].
48. Griffiths, David J. Introduction to Quantum Mechanics (2nd ed.). — Prentice Hall, 2004. — P. 311. — ISBN 978-0-13-111892-8.
49. Crandall, R.; Whitnell, R.; Bettega, R. (1984). "Exactly soluble two-electron atomic model". American Journal of Physics. 52 (5): 438—442. Bibcode:1984AmJPh..52..438C. doi:10.1119/1.13650.
50. Calogero, F. (1969). "Solution of a Three-Body Problem in One Dimension". Journal of Mathematical Physics. 10 (12): 2191—2196. Bibcode:1969JMP....10.2191C. doi:10.1063/1.1664820.
51. Aref, Hassan (1979-03-01). "Motion of three vortices". The Physics of Fluids. 22 (3): 393—400. Bibcode:1979PhFl...22..393A. doi:10.1063/1.862605. ISSN 0031-9171. Архивировано 27 декабря 2022. Дата обращения: 30 марта 2024.
52. Aref, Hassan; Pomphrey, Neil (1980-08-18). "Integrable and chaotic motions of four vortices". Physics Letters A (англ.). 78 (4): 297—300. Bibcode:1980PhLA...78..297A. doi:10.1016/0375-9601(80)90375-8. ISSN 0375-9601.
53. Neufeld, Z; Tél, T (1997-03-21). "The vortex dynamics analogue of the restricted three-body problem: advection in the field of three identical point vortices". Journal of Physics A: Mathematical and General. 30 (6): 2263—2280. Bibcode:1997JPhA...30.2263N. doi:10.1088/0305-4470/30/6/043. ISSN 0305-4470. Архивировано 27 декабря 2022. Дата обращения: 30 марта 2024.
54. Musielak, Z. E.; Quarles, B. (2014). "The three-body problem". Reports on Progress in Physics. 77 (6): 065901. arXiv:1508.02312. Bibcode:2014RPPh...77f5901M. doi:10.1088/0034-4885/77/6/065901. ISSN 0034-4885. PMID 24913140. S2CID 38140668.
55. Florin Diacu. «The Solution of the n-body Problem» Архивная копия от 4 марта 2016 на Wayback Machine, The Mathematical Intelligencer, 1996.

Литература

• Алексеев В. М. Лекции по небесной механике. — Ижевск: РХД, 2001. — 156 с.
• Зигель К. Л. Лекции по небесной механике. — М.: ИЛ, 1959. — 300 с.
• Маршал К. Задача трёх тел. — М.-Ижевск: Институт компьютерных исследований, 2004. — 640 с. — ISBN 5-93972-387-X.
• Иэн Стюарт. Величайшие математические задачи. — М.: Альпина нон-фикшн, 2016. — 460 с. — ISBN 978-5-91671-507-1.

Ссылки

• Scientists Are Close to Finally Solving the Three-Body Problem  (неопр.). Popular Mechanics (13 мая 2021).
• Chenciner, Alain (2007). "Three body problem". Scholarpedia. 2: 2111. Bibcode:2007SchpJ...2.2111C. doi:10.4249/scholarpedia.2111.
• Physicists Discover a Whopping 13 New Solutions to Three-Body Problem (Science)
• 3body simulator (недоступная ссылка) — an example of a computer program that solves the three-body problem numerically