В этом и следующем параграфах мы исследуем поведение координатных функций в задаче трех тел при предположении, что в сингулярности все три частицы сталкиваются. Хотя в общем случае это приводит к существенным особенностям в координатных функциях, тем не менее можно описать все траектории тройного столкновения в терминах подходящих разложений в ряды. Для последующего изложения удобно заменить на переменную и обозначить последнюю снова как , а соответственно обозначить как . Исходные уравнения тем самым остаются неизменными. Таким образом, мы предполагаем, что девять координатных функций точек являются регулярными на интервале , открытом слева, и мы желаем определить их поведение при . Так же, как в и , выражение
играет важную роль в этом исследовании. Снова предполагаем, что центр масс системы трех частиц покоится в начале системы координат.
Поскольку соответствует тройному столкновению, когда монотонно убывает до нуля, положительная функция стремится к 0 , в то время как стремится к . Ввиду , это означает, что в достаточно малом интервале функция монотонно убывает совместно с и ее производная . Далее из следует, что
где значения при . Поскольку , левая часть (2) ограничена сверху, а согласно подынтегральная функция в первом слагаемом справа неотрицательна. Константа во втором слагаемом, однако, может быть отрицательной. В любом случае, чтобы установить сходимость первого интеграла вплоть до , достаточно доказать, что второй интеграл сходится при , и для этого мы введем оценку снизу.
Пусть обозначает самую малую из трех масс , из неравенства Шварца следует, что
и поэтому
при всех достаточно малых . Следовательно,
откуда, дважды интегрируя от 0 до , получаем
Из этого сходимость вышеупомянутого интеграла становится очевидной.
Дополнительно (2) теперь показывает, что функция стремится к конечному пределу при , и поэтому
вместе с (3) влечет
Кроме того,
Вышеуказанная асимптотическая формула для уточняет асимптотическую формулу для , данную в (4), и формально может быть выведена из нее с помощью дифференцирования. Далее будет показано, что остается верной даже следующая формула
согласно , это эквивалентно
Если мы введем функцию
и воспользуемся и (6) совместно с (5), наше утверждение (7) сводится к тому, что
Ввиду получаем, что . Чтобы доказать (9), воспользуемся уже полученной сходимостью первого интеграла в (2) вплоть до , что совместно с (4) и (5) также влечет сходимость
Поэтому неотрицательная функция должна удовлетворять
Теперь, если бы (9) было ложным, то, поскольку непрерывна в интервале , существовали бы достаточно маленькое положительное число и последовательность , монотонно убывающая к 0 , такая, что
Следовательно, на каждом из этих интервалов функция будет возрастать на величину . Чтобы прийти к противоречию, оценим производную
сверху.
Во-первых, (4), (5) и (6) показывают, что
Поэтому, объединив (8) и (10), получим
так что ввиду каждая координата удовлетворяет оценке
и также
и
все это верно при . Из этих оценок вместе с (10) и (11) видно, что
для некоторой положительной константы .
Из (10) и (12) теперь получаем
что при суммировании по противоречит сходимости интеграла . Это доказывает утверждение (9) и (7) и, в свою очередь, приводит к оценкам
которые до этого момента были известны только на интервалах при .
Важным следствием и является асимптотическая формула
верная для любых двух координат и . Это, в частности, еще раз доказывает, что в случае тройного столкновения все три константы угловых моментов равны нулю.
Поскольку согласно (1) и (4)
удобно ввести
Тогда
и (14) переходит в
В общем случае, когда — однородная функция степени по координатам , пусть обозначает соответствующую функцию по переменным , такую, что
Тогда из (4) и (6)
в то время как с другой стороны
поэтому (15), (16) и (17) дают
Таким образом, для каждой координаты получим
В дополнение к треугольнику , образованному (5) тремя частицами , рассмотрим треугольник , вершины которого , соответствуют координатам . Таким образом, новый треугольник получается из исходного расширением в отношении 1 к . При тройном столкновении вырождается к точке начала координат, в то время как в конце будет показано, что большой треугольник также имеет определенное предельное положение при . Сначала мы покажем, что длины всех трех сторон имеют положительные пределы, которые также будут вычислены. Для этого рассмотрим уравнения движения
и выразим их в терминах вместо .
При объединении соотношений
получаем
Теперь вычислим среднее значение для обеих частей этого дифференциального уравнения на интервале от до , где . Проведенное с помощью (18) интегрирование по частям приводит к оценке
в то время как для также
Чтобы оценить среднее значение функции , воспользуемся соотношением
и согласно (13) и (18) тогда получим
Таким образом, (19) вместе с (20) и (21) приводят к формуле
Разумеется, это уже не дифференциальное уравнение, а скорее алгебраическое соотношение, которому асимптотически удовлетворяют координаты .
В §6 уже было показано, что в случае тройного столкновения, три частицы движутся в фиксированной плоскости, которую можно принять за плоскость , поэтому тождественно равны 0 и нужно рассматривать только шесть координат . С помощью взятия производных или с помощью прямых вычислений получаем, что соответствующие шесть уравнений (23) инвариантны при произвольных вращениях координатных осей в плоскости . Теперь введем новые координаты вместо с тем же началом координат, как и раньше, но с новой осью абсцисс, которая всегда параллельна направлению вектора . В этой новой движущейся системе координат , а (23) приводит к трем уравнениям
и к трем аналогичным уравнениям для . Согласно (15) все шесть координат остаются ограниченными при . Рассмотрим произвольную последовательность значений для , по которой эти координаты стремятся к определенным пределам . Тогда расстояния тоже имеют пределы , которые ввиду (22) все положительны. Так как , вычитание третьего уравнения в (24) из первого приводит к соотношению
Следовательно, либо , либо .
Если , тогда и, поскольку также и , следовательно, для всех трех ординат. Таким образом, в этом случае при по рассматриваемой последовательности три точки стремятся к предельным положениям на оси абсцисс новой системы координат. В другом случае в то время как предыдущий анализ, повторенный относительно системы координат с осью абсцисс, параллельной , показывает, что также . Поэтому предельное положение во втором случае является равносторонним треугольником. Таким образом, мы видим, что при по выбранной последовательности либо все три угла треугольника стремятся к , либо один угол стремится к и два других к 0 . Кроме того, поскольку при углы являются непрерывными функциями от , их предельные значения не зависят от выбора последовательности . Две возможные конфигурации в дальнейшем будем называть равносторонним случаем и коллинеарным случаем. Дополнительно, положим
Пусть для равностороннего случая . Тогда из (24) получим
и поскольку не все равны нулю, из этого следует, что
Таким образом, имеет вполне определенное значение, и из (7) также получим
Если, дополнительно, ориентация системы координат выбрана так, чтобы при прохождении треугольника в положительном направлении вершины проходили в таком порядке, тогда
В коллинеарном случае обозначим самую длинную сторону , таким образом , где . Тогда соответствующие уравнения (24) для абсцисс имеют вид
и при вычитании дают
Исключение приводит к уравнению пятой степени по
Если записать это уравнение в виде
то можно увидеть, что на интервале левая часть как функция от монотонно убывает от 1 до 0 , а правая часть в то же время монотонно возрастает от 0 до 1 . Следовательно, (28) имеет в точности одно положительное решение , и тогда из (27) однозначно определяется длина . Из уравнения (7) теперь следует, что
а координаты задаются соотношениями
Эти значения соответствуют случаю, когда при точка лежит между и . Две другие ситуации в коллинеарном случае получаются из этой циклической перестановкой .
Таким образом, мы доказали, что в равностороннем и в коллинеарном случае координаты точек имеют вполне определенные предельные значения, которые не зависят от рассматриваемой изначально последовательности . Следовательно, относительно движущейся системы косрдинат, треугольник стремится к предельному положению, которое в обоих случаях зависит только от значений .
В этом параграфе мы вывели те результаты Зундмана [1], которые относятся к тройному столкновению; в частности, теорему о том, что при расширении в отношении 1 к стороны треугольника имеют определенные пределы, которые соответствуют либо равностороннему, либо коллинеарному случаю. Однако из этого не следует, что старые координаты точек сами имеют предельные значения. Чтобы доказать это, осталось показать, что при угол между старой и новой системами координат также стремится к пределу. Кроме того, полностью аналогично случаю простого столкновения в этом случае можно получить подходящие разложения в ряды для координат и тем самым определить в совокупности все возможные траектории тройного столкновения. Все это будет получено в следующем параграфе.