Дифференциальная геометрия
Субриманова геометрия
Как слепой человек "видит" углы? Как нейрон обрабатывает ориентации? Как машина паркуется? Все эти задачи - субримановы: движение с ограниченными степенями свободы.
- **Робототехника:** Планирование движения для машин, манипуляторов, дронов - субриманова оптимизация с ограничениями на управление.
- **Нейронаука:** Модели коры Хоффмана-Петитто: нейроны V1 обрабатывают ориентации через субриманову геометрию группы Гейзенберга.
- **Квантовое управление:** Квантовые ворота = субримановые геодезические на унитарных группах SU(2ⁿ).
Предварительные знания
Горизонтальные распределения
Mars Rover Perseverance (NASA, 2021) использует sub-Riemannian geometry для оптимального планирования траекторий по неровной местности: 200 метров в день. В нейронауке аксон роста движется по субримановой геометрии: градиент концентрации NGF ограничен 2D-плоскостью роста, что в 10 раз эффективнее случайного поиска. **Субриманова структура** на многообразии M - это пара (D, g), где D ⊂ TM - гладкое распределение (субпространство касательных векторов), а g - метрика на D. Допустимые кривые - только те, чья скорость лежит в D.
Автомобиль на плоскости - субриманова система. Состояние: (x, y, θ) ∈ ℝ² × S¹. Разрешены только движения вперёд и повороты - это горизонтальное распределение. Параллельная парковка - нахождение горизонтальной кривой между двумя точками.
Чем субриманова геометрия отличается от риманновой?
Условие Хёрмандера: связность через коммутаторы
**Условие Хёрмандера (bracket-generating):** Распределение D порождает всё TM через итерированные скобки Ли. Если это выполнено, то любые две точки можно соединить горизонтальной кривой (теорема Чоу-Рашевского) - субриманово расстояние конечно.
Если разрешены только 2 из 3 направлений, как достичь третьего? Через коммутаторы! [X₁,X₂] = X₁X₂ − X₂X₁ - это "прямоугольник" из маленьких горизонтальных шагов. Суммарное смещение - в направлении коммутатора. Так машина паркуется боком.
Что гарантирует теорема Чоу-Рашевского при выполнении условия Хёрмандера?
Принцип максимума Понтрягина
**Принцип максимума Понтрягина (PMP)** - необходимое условие оптимальности для задач оптимального управления. Субримановы геодезические - это траектории гамильтоновой системы на T*M, ограниченной на горизонтальные направления.
Субриманова задача: найти кратчайшую допустимую кривую между двумя точками. PMP переформулирует это как задачу оптимального управления: выбор вектора u(t) ∈ ℝᵏ (компоненты скорости в D), минимизирующего длину. Решение - через гамильтониан на кокасательном расслоении.
Что уникально в субримановых геодезических по сравнению с римановыми?
Субримановы сферы и метрика Карно-Каратеодори
**Метрика Карно-Каратеодори** d_CC(p,q) = infimum длин горизонтальных кривых, соединяющих p и q. Субримановы сферы имеют анизотропную форму: около точки расстояния в вертикальных направлениях убывают как ε¹/² в сравнении с горизонтальными ε.
Гипоэллиптические операторы Хёрмандера L = Σᵢ Xᵢ² - "субримановы лапласианы". Условие Хёрмандера (bracket-generating) гарантирует гипоэллиптичность L. Это используется в теории сингулярных интегралов, теплового уравнения и диффузных процессов.
Чему равна хаусдорфова размерность группы Гейзенберга H³ с метрикой Карно-Каратеодори?
Ключевые идеи
- **Субриманова структура** (D,g) - метрика на горизонтальном распределении D ⊂ TM
- **Условие Хёрмандера** - D bracket-generating ⟹ достижимость всех точек (теорема Чоу-Рашевского)
- **Принцип Понтрягина** - геодезические = экстремали гамильтоновой системы на T*M (+ аномальные!)
- **Метрика Карно-Каратеодори** - анизотропная; хаусдорфова размерность > топологической
Связанные темы
Субриманова геометрия объединяет управление, ПДУ и геометрию:
- Геодезические линии — Субримановы геодезические-обобщение римановых; нормальные экстремали → PMP → гамильтонова система
- Симплектическая геометрия — PMP формулируется на кокасательном расслоении T*M; экстремали-гамильтоновы траектории
- Связности и ковариантная производная — Горизонтальное распределение на расслоении-основа теории связностей; субриманова геометрия обобщает это
Вопросы для размышления
- Почему аномальные геодезические не имеют аналогов в римановой геометрии? В чём их топологический смысл?
- Параллельная парковка - пример субримановой геодезической. Почему оптимальная стратегия парковки выглядит именно так?
- Как условие Хёрмандера для ПДУ связано с достижимостью в задаче управления? Есть ли физическая интуиция?