Математический анализ

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

Цели урока

Понять k-формы как обобщение функций, полей и объёмных элементов в единой структуре
Освоить внешний дифференциал d и его ключевое свойство d^2 = 0
Знать обобщённую теорему Стокса и уметь видеть в ней все частные случаи
Понять pullback форм как функторальную операцию, обобщающую замену переменных

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

Теорема Гаусса
Классическая теорема Стокса
Основы многообразий

Теорема Гаусса - Остроградского

Почему теоремы Грина, Стокса и Гаусса - это одна формула? И можно ли одним оператором заменить градиент, ротор и дивергенцию?

Уравнения Максвелла: dF = 0 и d*F = J - весь электромагнетизм в двух строках вместо двадцати уравнений Максвелла 1865 года
PyTorch autograd: backpropagation - это pullback градиента через слои сети, ровно как F*(domega) = d(F*omega)
Общая теория относительности: уравнения Эйнштейна G = 8piT записываются через дифференциальные формы на 4D-многообразии
Компьютерная графика: операторы дивергенции и лапласиан на треугольных мешах - дискретные версии внешнего дифференциала

Картан и рождение внешнего исчисления

Элиша Картан (1869-1951) провёл значительную часть жизни за пределами академического мейнстрима. Его теория дифференциальных форм и внешнего исчисления долго считалась слишком абстрактной. В 1901 году он ввёл внешний дифференциал d с фундаментальным свойством d^2 = 0. Пуанкаре использовал формы в топологии, Леви-Чивита и Риcci строили тензорное исчисление, но именно Картан объединил всё это. К 1945 году внешнее исчисление стало стандартным языком дифференциальной геометрии. Сегодня это основа теории струн, топологических квантовых теорий поля и machine learning на геометрических данных.

k-формы и внешнее произведение

Анри Картан в 1901 году создал внешнее исчисление. Элиша Картан нашёл способ записать теоремы Стокса, Грина и Гаусса одной строкой. В 1865 году Максвелл записал электромагнетизм в 20 уравнений. С языком форм - четыре: dF = 0, d*F = J. Именно так уравнения Максвелла выглядят сегодня в теоретической физике.

На R^3: 1-форма P dx + Q dy + R dz соответствует полю (P,Q,R). Внешний дифференциал d(P dx + Q dy + R dz) - это 2-форма с коэффициентами ротора. Роторы, градиенты, дивергенции - всё это разные случаи одного оператора d.

Электромагнитная 2-форма Фарадея

Уравнения Максвелла в языке форм

Тензор Фарадея F = E_x dx^dt + E_y dy^dt + E_z dz^dt + B_x dy^dz + B_y dz^dx + B_z dx^dy - 2-форма на 4D пространстве-времени. Уравнение dF = 0 кодирует два уравнения Максвелла: div B = 0 и rot E = -dB/dt. Второй пакет: d*F = J - два оставшихся. Восемь уравнений в двух строках.

Запоминать формулы для градиента, ротора и дивергенции не нужно - они все суть d в разных степенях. На R^3: grad f = df, rot F = *(d F^flat), div F = *(d *(F^flat)). Оператор * - звезда Ходжа, строит дополнение.

2-форма dx wedge dy на R^2 при интегрировании по единичному квадрату [0,1]^2 даёт:

iint_{D} dx wedge dy = iint_D 1 dA = площадь D. Для единичного квадрата = 1.

Внешний дифференциал и d^2 = 0

d^2 = 0 - три символа, за которыми прячется вся топология. Граница границы пуста: partial(partial M) = empty. Это не просто аналогия - это строгий изоморфизм: замкнутые формы (dω=0) и точные формы (ω=dα) отличаются ровно на топологические препятствия - дыры в пространстве. Когомологии де Рама измеряют эту разницу.

Тождество rot(grad f) = 0 на R^3 соответствует:

rot(grad f) = 0 - это d^2 f = 0. Причина: смешанные частные производные второго порядка симметричны (теорема Шварца), поэтому члены попарно сокращаются.

Обобщённая теорема Стокса

Одна формула. Шесть слов. int_M d(omega) = int_{partial M} omega. Это содержит формулу Ньютона-Лейбница, теорему Грина, классическую теорему Стокса, теорему Гаусса. Всё интегральное исчисление - одно предложение. Элиша Картан написал это в 1945 году, и с тех пор математика смотрит на интегрирование иначе.

Обобщённая теорема Стокса требует ориентированного многообразия с краем. Ориентация M и ориентация partial M должны быть согласованы. Неправильная ориентация меняет знак.

Обобщённая теорема Стокса int_M d(omega) = int_{dM} omega при dim omega = n-1 и dim M = n - это:

Обобщённая теорема Стокса - единая формула для всех интегральных теорем. Размерность M и степень формы определяют конкретный случай.

Обратный образ форм и замена переменных

Обратный образ (pullback) - операция, которая делает формы функторальными. Если есть карта F: N -> M и форма на M, то F* тащит форму обратно на N. Это не просто удобство - это единственный способ интегрировать формы на многообразиях без карт. PyTorch autograd делает аналогичное: backpropagation - это функториальность градиентов относительно композиции слоёв.

Нейросетевой backpropagation - это цепное правило, применённое к якобианам. Если рассматривать каждый слой f_i: R^n -> R^m как дифференцируемое отображение, то backward pass вычисляет pullback градиента функции потерь через все слои. Это буквально F*(dL) на каждом слое.

Замена переменных x = phi(u) в интеграле: iint_D f(x,y) dx dy = iint_{phi^{-1}(D)} f(phi(u)) |det J_phi| du. Модуль якобиана - это |det dF| из определения pullback. Знак det определяет ориентацию.

Замена переменных в кратном интеграле x = phi(u) со множителем |det J_phi| - это:

Pullback F*(dx^1 wedge ... wedge dx^n) = (det dF) du^1 wedge ... wedge du^n. Якобиан - это детерминант дифференциала отображения F.

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

Дифференциальные формы - универсальный язык для интегрирования, топологии и физики.

Теоретическая физика — Связанная тема
Топология — Связанная тема
Машинное обучение — Связанная тема
Численные методы — Связанная тема

Итоги

k-форма: антисимметричное k-ковекторное поле; 0-формы = функции, 1-формы = ковекторы, n-формы = объёмные формы
Внешний дифференциал d: Omega^k -> Omega^{k+1}, d^2 = 0 - следствие равенства смешанных производных
На R^3: d на 0-формах = градиент, d на 1-формах = ротор, d на 2-формах = дивергенция
Обобщённая теорема Стокса int_M d(omega) = int_{dM} omega содержит все интегральные теоремы анализа
Pullback F*(omega) тянет формы назад через отображение; F*(d omega) = d(F* omega) - коммутирует с d

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

Почему d^2 = 0 - столь фундаментальное свойство: что стоит за тождеством 'граница границы пуста'?
Как связаны уравнения Коши-Римана (условие аналитичности) с условием d(omega) = 0 для 1-формы в C?
Pullback коммутирует с d: F*(d omega) = d(F* omega). Есть ли аналог этого свойства в машинном обучении - в каком смысле backpropagation 'коммутирует' с чем-то?

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

calc-26-divergence-theorem — Теорема Гаусса - частный случай обобщённой теоремы Стокса
calc-28-manifold-int — Интегрирование форм на многообразиях - следующий шаг
calc-29-derham — Когомологии де Рама строятся на d^2=0