Интегрирование на многообразиях

Цели урока

• Понять как корректно определить интеграл формы по многообразию через карты и разбиение единицы
• Освоить оператор Ходжа * и его роль в унификации векторного анализа
• Знать объёмную форму и критерий ориентируемости многообразия
• Видеть теорему Нётер как применение теоремы Стокса к замкнутым формам токов

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

• Дифференциальные формы
• Многообразия и карты
• Оператор Лапласа

• Дифференциальные формы

Как вычислить площадь поверхности, которая не умещается в одну систему координат - и почему лента Мёбиуса делает это невозможным?

• Общая теория относительности: кривизна пространства-времени вычисляется как интеграл форм кривизны на 4D-многообразии
• Теорема Нётер в физике частиц: законы сохранения энергии и импульса = теорема Стокса для замкнутых токов-форм на пространстве-времени
• Геометрическое ML: Discrete Exterior Calculus на треугольных мешах - основа геометрических нейросетей для молекулярных структур
• Компьютерная графика: Graph Laplacian для mesh smoothing - дискретный лапласиан Ходжа на симплициальных комплексах

Ходж, Де Рам и рождение современной геометрии

Уильям Ходж (1903-1975) опубликовал теорию гармонических форм в 1941 году. Идея: на компактном ориентированном риманновом многообразии каждый класс когомологий де Рама имеет единственного 'лучшего представителя' - гармоническую форму (Delta omega = 0). Ходж создавал теорию в Кембридже в годы Второй мировой войны. Теорема Ходжа стала мостом между дифференциальной геометрией и алгебраической топологией. В 1950 году Кодайра обобщил её на комплексные многообразия - Hodge decomposition, Hodge numbers. До сих пор Hodge Conjecture - одна из задач тысячелетия с призом в 1 млн долларов.

Интеграл формы на многообразии

Как интегрировать по поверхности, которую нельзя охватить одной картой? Сфера S^2 требует минимум двух. Тор T^2 - тоже. Правильный ответ дают дифференциальные формы: их интеграл корректно определён при смене карты. Именно этот инструмент использует общая теория относительности для вычисления кривизны пространства-времени.

Площадь S^2 радиуса r: интеграл объёмной формы sin(phi) dphi wedge dtheta по S^2 в сферических координатах = integral_0^pi integral_0^{2pi} sin(phi) dtheta dphi = 4*pi*r^2. Стандартная формула - это интеграл 2-формы.

Оператор Ходжа и скалярное произведение форм

Оператор Ходжа * на n-мерном пространстве переводит k-форму в (n-k)-форму. На R^3: *(dx) = dy wedge dz, *(dy wedge dz) = dx. Это дуальность между «объектами» и «их дополнениями». В электромагнетизме: двойственность между электрическим и магнитным полями F и *F. Именно *-оператор позволяет написать уравнения Максвелла как d*F = J.

На R^3: *1 = dx wedge dy wedge dz, *(dx) = dy wedge dz, *(dy) = dz wedge dx, *(dz) = dx wedge dy, *(dx wedge dy) = dz, и так далее. Ходж соединяет 'что-то' с его 'дополнением'.

Объёмная форма и ориентация

Ориентация многообразия - это выбор «сторон». Лента Мёбиуса неориентируема: нельзя выбрать непрерывно «внешнюю» сторону. Сфера ориентируема: есть «внешняя нормаль». Ориентируемость - необходимое условие для корректного интегрирования n-форм по всему многообразию. Без ориентации интеграл не определён.

Теорема Стокса int_M d(omega) = int_{dM} omega требует ориентированного M с согласованной ориентацией на dM. Индуцированная ориентация на dM: внешняя нормаль сначала, потом касательные к dM.

В машинном обучении на графах: discrete exterior calculus (DEC) строит дискретные аналоги оператора d на симплициальных комплексах. Матрица границы d_k - дискретный внешний дифференциал. Graph Laplacian L = d_1 d_1^T - дискретный лапласиан. Spectral GNN - это обработка сигналов через собственные векторы L.

Теорема Стокса на многообразиях: применения

Теорема Стокса на многообразиях - не абстракция. В 1915 году Нётер доказала: каждая непрерывная симметрия физической системы порождает закон сохранения. Техническое ядро доказательства - теорема Стокса на пространстве-времени как многообразии. Сохранение энергии = симметрия по времени. Сохранение импульса = по пространству. Теорема Нётер + Стокс.

Discrete Exterior Calculus (DEC) - дискретизация всего этого на треугольных мешах. Применяется в геометрической обработке данных, физических симуляциях на мешах, графовых нейросетях. Матрицы d_0, d_1 - дискретные внешние дифференциалы. Матрица Ходжа * - на мешах.

Связи с другими темами

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

• Общая теория относительности — Связанная тема
• Теоремы индекса — Связанная тема
• Геометрические нейросети — Связанная тема
• Квантовая теория поля — Связанная тема

Итоги

• Интеграл n-формы по n-многообразию строится через атлас карт и разбиение единицы; результат не зависит от выбора атласа
• Объёмная форма omega_vol = sqrt(det g) dx^1 wedge...dx^n определяет метрику объёма на ориентированном M
• Оператор Ходжа *: Omega^k -> Omega^{n-k}; лапласиан Ходжа Delta = d*d + dd* обобщает обычный лапласиан
• Ориентируемость M <=> существование глобальной нигде-не-нулевой n-формы; теорема Стокса требует ориентации
• Теорема Нётер = теорема Стокса для замкнутых форм-токов: симметрия => dJ=0 => Q = const

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

• Почему лента Мёбиуса неориентируема и что это означает для теоремы Стокса - можно ли её как-то применить даже там?
• Как связаны оператор Ходжа * и операции комплексного сопряжения в комплексном анализе?
• Теорема Нётер: почему симметрия действия => dJ = 0 для тока J - как именно теорема Стокса используется в доказательстве?

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

• calc-27-diff-forms — Формы и внешний дифференциал - основа интегрирования
• calc-29-derham — Когомологии де Рама строятся на интегрировании форм
• calc-26-divergence-theorem — Теорема Гаусса - частный случай интегрирования на многообразии