Дифференциальная геометрия
Общая теория относительности как дифференциальная геометрия
GPS работает только потому, что его инженеры знают ОТО - часы на спутниках идут иначе из-за кривизны пространства-времени. Дифференциальная геометрия буквально в каждом вашем навигаторе.
- **GPS:** Гравитационное замедление времени на спутниках (~45 мкс/день) и специально-релятивистское ускорение (~7 мкс/день) корректируются уравнениями ОТО. Без поправок ошибка навигации ~10 км/день.
- **Гравитационные волны:** LIGO детектирует слияния чёрных дыр через рябь метрики - решение нелинейных уравнений Эйнштейна.
- **Чёрные дыры:** Изображение M87* (Event Horizon Telescope, 2019) - тень геодезических вблизи горизонта событий метрики Керра.
Предварительные знания
Пространство-время как псевдоримановое многообразие
GPS-навигация iPhone (Apple, 2024) корректирует прецессию Меркурия в метрике Шварцшильда: 38 микросекунд/день - иначе ошибка 11 км/день. Спутник GPS требует поправки по ОТО в 38 микросекунд/сутки - без учёта кривизны пространства-времени ошибка позиционирования составила бы 10 км/день. В ОТО **пространство-время** - это четырёхмерное псевдориманово многообразие (M, g) с сигнатурой (−,+,+,+). Гравитация - не сила, а **кривизна** этого многообразия. Свободно падающие тела движутся по геодезическим.
Ключевое отличие: метрика имеет отрицательное собственное значение в временно́м направлении. Это позволяет интервалу ds² быть отрицательным (времениподобные) или нулевым (световые). Геодезические для разных типов - траектории массивных частиц, фотонов и массивных.
Что отличает псевдориманнову метрику пространства-времени от обычной римановой?
Уравнения Эйнштейна
**Уравнения Эйнштейна** связывают геометрию (кривизну) с материей (тензором энергии-импульса): G_μν = 8πG/c⁴ · T_μν. Здесь G_μν = R_μν − ½Rg_μν - тензор Эйнштейна, построенный из тензора Римана.
Левая часть: чистая геометрия - кривизна многообразия. Правая часть: физика - распределение энергии и импульса. Уравнения говорят: "материя говорит пространству, как изгибаться; пространство говорит материи, как двигаться" (Дж. Уилер).
Что означает R_μν = 0 (уравнения Эйнштейна в вакууме)?
Метрика Шварцшильда
**Метрика Шварцшильда** - первое точное решение уравнений Эйнштейна (1916). Описывает сферически симметричное вакуумное поле вокруг массивного тела. При радиусе r = r_s = 2GM/c² (гравитационный радиус) возникает горизонт событий.
Метрика Шварцшильда - единственная сферически симметричная вакуумная метрика (теорема Биркгофа). Это аналог теоремы Гаусса: все сферически симметричные решения статичны снаружи. Следствие: гравитационные волны не излучаются при сферически симметричных колебаниях.
Что происходит с собственным временем τ вблизи горизонта чёрной дыры (r → rs)?
Геодезические как траектории: уравнение движения
В ОТО свободно падающие частицы движутся по **времениподобным геодезическим** (массивные) или **световым геодезическим** (фотоны). Это уравнение геодезической с символами Кристоффеля метрики. "Гравитационная сила" - лишь кривизна, а не настоящая сила.
Смещение перигелия Меркурия на 43'' за 100 лет точно предсказывается геодезическими Шварцшильда. Отклонение света звёзд вблизи Солнца (1.75'') было измерено Эддингтоном в 1919 - первое подтверждение ОТО. Оба эффекта - следствие геодезических уравнений.
Почему планеты движутся по эллиптическим орбитам в ньютоновской физике, а в ОТО орбиты прецессируют?
Ключевые идеи
- **Пространство-время** - псевдориманово многообразие (M, g) с сигнатурой (−,+,+,+)
- **Уравнения Эйнштейна** G_μν = 8πG/c⁴ T_μν - кривизна = материя
- **Метрика Шварцшильда** - точное вакуумное решение; r_s = 2GM/c² - горизонт событий
- **Геодезические = траектории:** свободное падение = движение по кратчайшей в искривлённом пространстве-времени
Связанные темы
ОТО - кульминация дифференциальной геометрии в физике:
- Тензор кривизны Римана — Тензор Эйнштейна G_μν строится из тензора Римана через свёртку; кривизна = источник гравитации
- Геодезические линии — Траектории частиц в ОТО-времениподобные геодезические метрики g_μν; уравнение то же самое
- Теорема Гаусса-Бонне — Обобщение Гаусса-Бонне на 4D (теорема Гаусса-Бонне-Хирцебруха) связано с топологией пространства-времени
Вопросы для размышления
- Гравитация - это сила или кривизна геометрии? Как принцип эквивалентности переводит одно в другое?
- Почему сингулярность r=0 в метрике Шварцшильда "физическая", а r=rs - лишь координатная? Как это понять геометрически?
- Уравнения Эйнштейна нелинейны. Что это означает физически? Почему гравитация "гравитирует"?