Задача трех тел долгое время считалась одной из самых интригующих и неразрешимых загадок физики, способной превратить упорядоченный космос в хаос. В данном материале ведущий научно-популярного канала PBS Space Time вместе с представителем лаборатории Fermilab подробно разбирают, как ученым все же удалось найти изящные частные решения этой проблемы и как хаотическое движение превращается в полезный инструмент. Статья описывает историю математических поисков от Исаака Ньютона до современных компьютерных симуляций и статистических методов.
🌌 От часов Ньютона к хаосу Пуанкаре 0:00
Физика и вся мировая наука навсегда изменились в 1687 году, когда Исаак Ньютон опубликовал свой фундаментальный труд Principia. Предложенные им уравнения движения и всемирного тяготения превратили изменчивый космос в идеально настроенные часы с абсолютной предсказуемостью. Зная текущее положение и скорость небесных тел, уравнения Ньютона позволяли рассчитать их координаты в любой удаленный момент будущего или прошлого. Однако в реальности все оказалось гораздо сложнее. Красивые уравнения Ньютона дают простое решение только для одного изолированного случая — когда два и только два тела вращаются вокруг общего центра масс без какого-либо внешнего гравитационного влияния.
Стоит добавить в систему всего одно дополнительное тело, как в большинстве случаев движение становится фундаментально хаотичным. Для такой системы не существует простого математического решения, и эта дилемма, известная как «задача трех тел», оставалась вызовом для науки на протяжении трех столетий. Найти решение в данном контексте означает получить аналитическое выражение с помощью математического анализа. Это простая формула, состоящая из конечного числа математических операций, в которую достаточно подставить начальные координаты, скорости тел и время, чтобы узнать состояние системы в любой момент. Для двух тел ответом служат уравнения конических сечений: парабола брошенного мяча, окружность или эллипс планетарной орбиты, гипербола межзвездной кометы. Иоганн Кеплер описал эллиптические орбиты планет за 70 лет до того, как Ньютон открыл свои законы.
После публикации Principia математики устремились на поиски аналогичных аналитических решений для трех тел. Но влияние третьего объекта делало точный расчет невозможным, превратив задачу в настоящее навязчивое соображение для величайших умов. В конце 1800-х годов математики Эрнст Брунс и Анри Пуанкаре убедительно доказали, что общего аналитического решения для задачи трех тел не существует. Динамика почти всех начальных конфигураций полностью подчинена хаосу: будущие состояния критически зависят от малейших изменений начальных условий, орбиты выстраиваются в непредсказуемые узоры, а один из объектов почти неизбежно выбрасывается из системы.
📐 Приближенные методы и «ограниченная» задача 3:39
Несмотря на кажущуюся безнадежность, практическая необходимость заставляла ученых искать выходы, ведь предсказание движения Луны и планет было критически важно для морской навигации, а сегодня — для космических полетов. Поскольку полезного общего аналитического выражения не существует, физики научились находить приближенные решения.
Основными методами сближения стали:
- Ряд двухчастичных систем: если гравитирующие тела находятся достаточно далеко друг от друга, систему многих тел можно приближенно представить как совокупность парных систем. Например, каждую планету Солнечной системы можно рассматривать отдельно в паре с Солнцем, что дает кеплеровские эллипсы, хотя со временем эти орбиты все равно смещаются из-за межпланетного взаимодействия.
- Ограниченная задача трех тел: данный подход применим, когда одно из трех тел имеет ничтожно малую массу по сравнению с двумя другими. Микроскопическим гравитационным влиянием малого тела пренебрегают, предполагая, что оно движется в стабильном гравитационном поле двух массивных компаньонов.
Ограниченный метод отлично работает для искусственных спутников Земли, а также для расчета орбит системы Земля — Луна — Солнце или Земля — Солнце — Юпитер. Тем не менее, подобные аппроксимации неидеальны. Даже самые малые планеты обладают массой, а Солнечная система в целом состоит из множества массивных компонентов. Солнце, Юпитер и Сатурн сами по себе образуют массивную систему трех тел, не имеющую аналитического решения, еще до учета влияния Земли.
💻 Численное интегрирование: вычисления вручную и на суперкомпьютерах 5:25
Отсутствие аналитической формулы не означает, что задачу невозможно решить в принципе. Чтобы получить точный прогноз для хаотической системы, траекторию движения разбивают на множество крошечных отрезков и рассчитывают их последовательно. Достаточно малый участок пути можно аппроксимировать точным решением — например, прямой линией или сегментом двухчастичной траектории вокруг центра масс, считая остальные параметры фиксированными на этом шаге.
Если шаг по времени или расстоянию будет ультракоротким, позиции всех тел обновляются шаг за шагом с высокой точностью. Такой метод пошагового решения дифференциальных уравнений называется численным интегрированием, а в применении к физике многих тел — симуляцией N-тел. Современные суперкомпьютеры с помощью подобных симуляций способны предсказывать движение планет на эпохи вперед или моделировать эволюцию целых галактик из миллионов объектов. Примечательно, что изначально эти колоссальные вычисления производились не кремниевыми процессорами, а вручную — силами огромных штатов людей-вычислителей.
🎯 Особые случаи: от Эйлера до «сферы форм» 6:59
Трудоемкость ручных расчетов и легендарный статус задачи трех тел заставляли математиков искать точные аналитические решения хотя бы для специфических сценариев. Первым успеха добился Леонард Эйлер, открывший семейство решений, в которых три тела вращаются вокруг общего центра масс, постоянно оставаясь на одной прямой линии в состоянии вечного затмения. Позже Жозеф Луи Лагранж обнаружил конфигурации, в которых тела образуют равносторонний треугольник.
Для любых двух вращающихся по орбите тел решения Эйлера и Лагранжа задают пять особых точек, где третье тело с малой массой может находиться бесконечно долго, двигаясь синхронно с ними. Сегодня мы называем их точками Лагранжа, и они активно используются как идеальные парковочные места для космических аппаратов и телескопов.
После открытий Эйлера и Лагранжа в этой области наступило затишье. Найти новые специализированные периодические орбиты удалось только с появлением компьютеров, способных перебирать колоссальные массивы данных. Ученые искали системы, которые через сложные траектории возвращаются в исходную конфигурацию. В 1970-х годах Мишель Энон и Роджер Брук открыли семейство решений, где две массы колеблются взад-вперед внутри орбиты третьего тела. В 1990-х годах Крис Мур численно обнаружил стабильную орбиту в виде «восьмерки», по которой двигались три равные массы. Позже эту модель математически доказали Ален Ченсинер и Ричард Монтгомери, что вызвало настоящий бум открытий новых периодических орбит задачи трех тел.
Для визуализации этих невероятно сложных периодических траекторий Ричард Монтгомери предложил изящную концепцию, названную «сферой форм» (shape sphere).
Принцип работы сферы форм устроен следующим образом:
- Три тела в пространстве принимаются за вершины треугольника, центром которого является общий центр масс.
- Динамику системы можно описать через изменение геометрии этого треугольника.
- Масштаб (размер) и ориентация треугольника в пространстве игнорируются, учитываются только его внутренние углы.
- Полученные данные проецируются на двумерную поверхность сферы (двух углов достаточно, так как третий вычисляется автоматически).
На этой сфере экватор представляет собой полностью сплющенный треугольник, где все три тела выстроены в линию, как в решении Эйлера. Полюса сферы соответствуют идеальным равносторонним треугольникам Лагранжа. Любая другая периодическая орбита прокладывает свой собственный замкнутый маршрут на этой сфере. Динамика на сфере форм выглядит значительно проще и понятнее, чем хаотичное переплетение реальных физических траекторий тел. К настоящему времени открыты сотни стабильных орбит, хотя, по замечанию ведущего, за исключением точек Эйлера и Лагранжа, они вряд ли встречаются в дикой природе, поэтому их практическая польза ограничена.
📊 Статистический хаос и забытое решение Сундмана 10:14
В декабре 2019 года в журнале Nature было опубликовано исследование Николаса Стоуна и Натана Ли, предложивших революционный взгляд на проблему. Они решили превратить хаотичный характер гравитационного взаимодействия из помехи в полезный инструмент. Суть хаоса в том, что со временем состояние системы перемешивается случайным образом. Хотя каждое мгновение движения строго детерминировано, на длинных интервалах поведение системы выглядит псевдослучайным.
Это позволяет применить аппарат статистической механики для расчета вероятности нахождения системы в той или иной точке фазового пространства (пространства всех возможных положений и скоростей). Известно, что почти все хаотические системы трех тел рано или поздно выбрасывают один объект, оставляя стабильную бинарную пару. Стоун и Ли смогли определить области фазового пространства, где наиболее вероятен выброс тела. Благодаря этому они составили карту наиболее вероятных орбитальных свойств двойных систем, остающихся после распада. По оценке исследователей, данный метод будет невероятно полезен для понимания эволюции плотных регионов Вселенной, где постоянно формируются и разрушаются тройные системы звезд или черных дыр.
В завершение исторического экскурса ведущий упомянул, что категоричное утверждение Анри Пуанкаре о невозможности общего решения задачи трех тел на самом деле оказалось ошибочным. В 1906 году финский математик Карл Сундман нашел точное решение общей задачи трех тел. Он представил его в виде бесконечного сходящегося ряда с бесконечной цепочкой слагаемых. Сходимость означала, что каждый последующий член уменьшался до ничтожно малых величин, и теоретически формулу можно было выписать на бумаге. Однако на практике сходимость ряда Сундмана оказалась настолько медленной, что для выполнения стандартного астрономического расчета потребовалось бы сложить порядка $10^{8\,000\,000}$ слагаемых. Такое количество бумаги невозможно уместить во Вселенной. Таким образом, задача трех тел решена абсолютно точно, но бесполезно для практики, в то время как приближенные методы и компьютерное моделирование успешно закрывают все прикладные нужды человечества.
🧪 Бонус: нейтринные тайны от Fermilab 13:18
В финале выпуска слово взял представитель национальной лаборатории Fermilab, рассказавший о совместном проекте и ответивший на вопросы подписчиков канала PBS Space Time о физике элементарных частиц.
Ответы на ключевые вопросы аудитории распределились следующим образом:
- Память о рождении (ароматы нейтрино): зритель Sanskar Gine поинтересовался, что означает связь нейтрино с конкретным лептоном (электроном, мюоном или тау-лептоном). Выяснилось, что на коротких расстояниях, пока нейтрино еще не успели осциллировать (изменить свой тип в полете), они «помнят», как были созданы. Нейтрино, рожденные в ядерных реакторах вместе с электронами, при последующем взаимодействии могут породить только электроны. Частицы из пучков ускорителей, созданные с мюонами, рождают только мюоны. Данное фундаментальное наблюдение 1962 года доказало существование разных типов нейтрино и принесло ученым Нобелевскую премию по физике в 1988 году.
- Зачем детекторам жидкий аргон: пользователь Gooda G спросил о причинах использования аргона в установках Fermilab. Физик пояснил, что детекторы строят из самых разных веществ — от воды и металла до чистящей жидкости и детского масла с добавлением сцинтилляторов. Аргон же выбран потому, что он чрезвычайно легко ионизируется. Когда нейтрино сталкивается с атомом аргона, исследователи могут детально увидеть и восстановить трехмерные треки родившихся вторичных частиц, что позволяет досконально изучить параметры столкновения.
- Материя против антиматерии: подписчик Nexus Void спросил, как ученые определят, с чем нейтрино «предпочитают» взаимодействовать — с материей или антиматерией. Исследователь уточнил, что задача стоит немного иначе: ученые хотят проверить, меняют ли нейтрино и антинейтрино свою идентичность (осциллируют) с разной скоростью. Для этого эксперимент сначала проводят с чистым пучком нейтрино, а затем повторяют с пучком антинейтрино. Если в результатах обнаружится асимметрия, это станет ключом к разгадке тайн мироздания. Подробно этот механизм описан в ролике о лептогенезе на YouTube-канале Fermilab.
Собеседники отметили, что, несмотря на первую личную встречу на съемках, они чувствуют себя родственными душами, объединенными страстью к передовой науке и созданию увлекательных видео для широкой аудитории.
