Геодезические линии

Маршруты самолётов выглядят кривыми на плоской карте, но это кратчайшие пути на сфере-геодезические. GPS навигация использует геодезические на эллипсоиде Земли. В ML оптимизация на матричных многообразиях движется по геодезическим-это геодезический градиентный спуск.

• **Авиация:** маршруты самолётов-большие окружности (геодезические на сфере), минимизирующие расстояние
• **Riemannian optimization:** обновление параметров x_{n+1} = exp_{x_n}(−α·grad f)-шаг по геодезической вместо евклидова сдвига
• **3D-меши:** геодезическое расстояние на поверхности объекта (алгоритм Дейкстры на графе или FMM)-ключевой дескриптор формы

Предварительные знания

• Gauss's Theorema Egregium

Геодезические: определение и примеры

**Геодезическая**-кривая на поверхности, которая локально минимизирует длину: любые два достаточно близкие точки на ней соединены кратчайшим путём вдоль поверхности. Эквивалентно: нормальная составляющая ускорения равна нулю, то есть кривая 'не поворачивает' внутри поверхности.

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

**Геодезическая кривизна** k_g = 0 характеризует геодезические: касательная вращается только из-за кривизны поверхности, но не 'по своей воле'. Нормальная кривизна может быть ненулевой (поверхность изогнута вдоль геодезической).

Уравнение геодезической и символы Кристоффеля

Геодезическая γ(t) = (u(t), v(t)) удовлетворяет системе ОДУ: d²uᵏ/dt² + Σᵢⱼ Γᵏᵢⱼ (duⁱ/dt)(duʲ/dt) = 0, где **символы Кристоффеля** Γᵏᵢⱼ выражаются через производные метрики gᵢⱼ = {E,F,G}.

Символы Кристоффеля: Γᵏᵢⱼ = (1/2) gᵏˡ (∂gᵢˡ/∂xʲ + ∂gⱼˡ/∂xⁱ − ∂gᵢⱼ/∂xˡ). Они не тензоры, но определяют, как 'поворачивает' геодезическая из-за кривизны поверхности.

**Символы Кристоффеля = 0 на плоскости** (в декартовых координатах). Тогда уравнение геодезической: d²x/dt² = 0, d²y/dt² = 0-прямые линии. На поверхности с кривизной Γ ≠ 0 и геодезические 'гнутся' под действием метрики.

Экспоненциальное отображение и геодезическая полнота

**Экспоненциальное отображение** expₓ: TₓM → M отображает касательный вектор v ∈ TₓM в точку γ(1), где γ-единственная геодезическая с γ(0) = x, γ'(0) = v. Это 'стрельба' по заданному направлению.

**Геодезическая полнота** (теорема Хопфа-Ринова): Риманово многообразие полно (любые две точки соединяются геодезической, реализующей расстояние) тогда и только тогда, когда оно полно как метрическое пространство (любая фундаментальная последовательность сходится).

В оптимизации на многообразиях (Riemannian optimization) экспоненциальное отображение используется для обновления параметров: x_{n+1} = exp_{x_n}(-α · grad_x_n f). Это аналог шага градиентного спуска, адаптированного к геометрии многообразия.

Ключевые идеи

• **Геодезическая**-локально кратчайший путь: нулевая геодезическая кривизна k_g = 0. На сфере-большие окружности
• **Уравнение геодезической:** d²uᵏ/dt² + Γᵏᵢⱼ (duⁱ/dt)(duʲ/dt) = 0. Символы Кристоффеля Γ-производные метрики
• **Экспоненциальное отображение** expₓ(v) = γ(1) 'стреляет' геодезической из x в направлении v на единичное время
• **Теорема Хопфа-Ринова:** полное риманово многообразие ↔ любые две точки соединены кратчайшей геодезической

Связанные темы

Геодезические-центральный объект римановой геометрии:

• Связности и ковариантная производная — Геодезические-это кривые с нулевым ковариантным ускорением: ∇_{γ'} γ' = 0
• Гладкие многообразия — Геодезические определяются на произвольных гладких многообразиях с метрикой
• Дифференциальная геометрия в ML — Riemannian SGD и ADAM используют экспоненциальное отображение для шагов оптимизации

Вопросы для размышления

• На торе (цилиндр, свёрнутый в кольцо) меридианы и окружности-геодезические? Нарисуйте мысленно развёртку тора. Какими прямыми они становятся на плоскости?
• Два соседних геодезических на поверхности могут сближаться или расходиться. Как это связано с гауссовой кривизной K в области между ними?
• В задаче оптимизации на многообразии SO(3) (вращения) градиентный спуск по геодезической даёт точно вращение вдоль оси. Почему обычный евклидов шаг был бы некорректен?

Связанные уроки

• alg-14-dijkstra
• calc-19-gradient