Задача трех тел: почему ее невозможно решить просто

PBS Space Time 2,1 млн 16 мин 3 мин 20.01.2020
Главное

🌌 Загадка трех тел: от ньютоновского порядка к хаосу и за его пределы 0:00

Задача трех тел — это фундаментальная проблема небесной механики, которая на протяжении столетий считалась неразрешимой. Несмотря на то что уравнения Исаака Ньютона превратили космос в предсказуемый часовой механизм, добавление всего лишь одного дополнительного тела к системе из двух объектов делает движение системы принципиально хаотичным.

🍎 Фундамент и крах классической предсказуемости 1:16

В 1687 году Исаак Ньютон опубликовал «Математические начала натуральной философии» (Principia), предложив уравнения движения и гравитации. Для двух взаимодействующих тел эти уравнения позволяют найти простое аналитическое решение — то есть выразить путь объекта через конечное число математических операций. Это позволяет точно предсказывать положение планет, эллиптические орбиты и траектории комет.

Однако при добавлении третьего тела ситуация меняется:

Математики Эрнст Брунс и Анри Пуанкаре в конце XIX века убедительно доказали отсутствие общих аналитических решений для задачи трех тел.

🛰️ Как мы справляемся с хаосом: приближения и интеграция 3:53

Несмотря на отсутствие «простых» формул, потребность в расчетах гравитационного движения была критически важна сначала для навигации, а затем для космических полетов. Ученые используют следующие подходы:

  1. Приближения: Если тела находятся далеко друг от друга, систему можно представить как ряд двухтельных систем.
  2. Уменьшенная задача трех тел: Если масса одного тела ничтожна мала по сравнению с двумя другими (например, спутник вокруг Земли), его влиянием можно пренебречь. Именно так мы находим точки Лагранжа, где можно «парковать» космические аппараты.
  3. Численное интегрирование: Метод, при котором движение разбивается на крошечные временные отрезки, где траектория аппроксимируется точным решением. С помощью современных компьютеров такие симуляции позволяют предсказывать движение планет на миллионы лет вперед.

📐 Особые решения и «сфера форм» 6:59

Генерации ученых продолжали искать частные решения для специальных случаев:

Для визуализации сложных периодических орбит Ричард Монтгомери предложил метод «сферы форм» (shape sphere). В этой модели игнорируются размер и ориентация треугольника, образованного телами, и отображаются только углы между ними. Это делает анализ хаотичных на вид движений значительно проще.

🎲 Новые подходы: хаос как инструмент 10:14

В декабре 2019 года Николас Стоун и Натан Ли опубликовали в журнале Nature работу, которая меняет взгляд на хаотичную природу таких систем. Вместо того чтобы бороться с непредсказуемостью, авторы предложили использовать статистическую механику.

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

📜 «Бесполезное» решение Карла Зундмана 12:12

Существует ли все же общее решение? В 1906 году финский математик Карл Зундман нашел решение задачи трех тел в виде сходящегося бесконечного ряда. Однако, как отмечает ведущий канала PBS Space Time Мэтт О'Дауд, оно практически бесполезно: для расчета типичной орбиты потребовалось бы около $10^8$ миллионов членов ряда, что делает этот путь нереализуемым на практике.

💬 Цитаты

«Задача трех тел известна своей неразрешимостью, но на самом деле она была решена много раз и весьма остроумными способами.»

Мэтт О'Дауд 0:00

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

Мэтт О'Дауд 3:13
👥 Спикер
📚 Упомянутые книги
🔗 Упомянутые сайты и проекты
📖 Термины
Аналитическое решение
Решение уравнения, выраженное в виде точной математической формулы с конечным числом операций.
Точки Лагранжа
Точки в системе из двух тел, где третье тело малой массы может оставаться неподвижным относительно них.
Численное интегрирование
Метод приближенного решения дифференциальных уравнений путем пошагового расчета.
Фазовое пространство
Многомерное пространство, описывающее все возможные состояния системы (положения и скорости).
📊 Цифры
🗓 Хронология
  1. 1687 Публикация законов Ньютона.
  2. Конец 1800-х Брунс и Пуанкаре доказали отсутствие общих аналитических решений.
  3. 1906 Карл Зундман нашел решение через бесконечный ряд.
  4. Декабрь 2019 Публикация работы Стоуна и Ли о статистическом подходе к хаосу.
⚖️ Другая сторона
Математика и физика Задача трех тел Matt O'Dowd PBS Space Time небесная механика точки Лагранжа