Дифференциальные формы и теорема Стокса в общей форме

Единство за многообразием

Теорема Ньютона–Лейбница, теорема Грина, теорема Стокса, теорема Гаусса–Остроградского — выглядят как четыре разные теоремы о четырёх разных видах интегралов. На самом деле это одна теорема в разных измерениях: интеграл внешней производной по многообразию равен интегралу исходной формы по его границе. Язык, позволяющий это выразить — дифференциальные формы.

Дифференциальные формы появились в конце XIX века в работах Пуанкаре, Карлемана, Картана. Они объединяют анализ, топологию и геометрию и являются правильным языком для общей теории интегрирования на многообразиях — от классической механики до общей теории относительности.

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

0-форма на ℝⁿ — это просто гладкая функция f: ℝⁿ → ℝ. Её «интеграл» по точке — значение функции.

1-форма — выражение ω = P₁ dx₁ + P₂ dx₂ + ... + Pₙ dxₙ, где Pᵢ — гладкие функции, а dx₁,...,dxₙ — «базисные формы». Интеграл 1-формы по кривой — это криволинейный интеграл второго рода.

2-форма — выражение ω = Σᵢ<ⱼ Pᵢⱼ dxᵢ ∧ dxⱼ, где ∧ — внешнее произведение (антикоммутативное: dxᵢ ∧ dxⱼ = −dxⱼ ∧ dxᵢ, dxᵢ ∧ dxᵢ = 0). В ℝ³: ω = P dy∧dz + Q dz∧dx + R dx∧dy. Интеграл 2-формы по поверхности — поверхностный интеграл.

k-форма — кососимметричная k-линейная форма на касательных векторах. В ℝⁿ k-форм ровно C(n,k) базисных штук.

Смысл антикоммутативности. dxᵢ ∧ dxⱼ — это «ориентированная площадь» в плоскости (xᵢ, xⱼ). Смена порядка меняет ориентацию (знак). Это согласуется с ориентацией поверхности при вычислении потока.

Внешнее произведение

Для форм α (степени p) и β (степени q): α ∧ β — форма степени p+q.

Правила:

Ассоциативность: (α ∧ β) ∧ γ = α ∧ (β ∧ γ).
Антикоммутативность: α ∧ β = (−1)^{pq} β ∧ α.
Линейность по каждому аргументу.

Пример в ℝ³. Пусть α = dx + 2dy (1-форма), β = dy ∧ dz + dz ∧ dx (2-форма).

α ∧ β = (dx + 2dy) ∧ (dy∧dz + dz∧dx) = dx∧dy∧dz + dx∧dz∧dx + 2dy∧dy∧dz + 2dy∧dz∧dx.

Учитывая dz∧dx = −dx∧dz и dx∧dx = 0, dy∧dy = 0:

= dx∧dy∧dz − 0 + 0 + 2dy∧dz∧dx = dx∧dy∧dz + 2 dx∧dy∧dz = 3 dx∧dy∧dz.

Внешний дифференциал

Оператор d переводит k-формы в (k+1)-формы и является обобщением градиента, ротора и дивергенции.

На 0-формах (функциях): d(f) = Σᵢ (∂f/∂xᵢ) dxᵢ — это градиент. В ℝ³: df = fx dx + fy dy + fz dz.

На 1-формах в ℝ³. Если ω = P dx + Q dy + R dz:

dω = dP∧dx + dQ∧dy + dR∧dz = (Ry − Qz)dy∧dz + (Pz − Rx)dz∧dx + (Qx − Py)dx∧dy — это ротор!

На 2-формах в ℝ³. Если ω = P dy∧dz + Q dz∧dx + R dx∧dy:

dω = (Px + Qy + Rz) dx∧dy∧dz — это дивергенция!

Ключевое свойство: d² = 0. Для любой формы ω: d(dω) = 0. Это обобщение того факта, что rot(grad f) = 0 и div(rot F) = 0.

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

Теорема: Пусть M — ориентированное компактное многообразие с краем ∂M размерности m, ω — гладкая (m−1)-форма. Тогда:

∫_{∂M} ω = ∫_M dω.

Это одна формула, объединяющая всё:

M	ω	∂M	dω	Результат
Отрезок [a,b]	f (0-форма)	{a, b}	df = f'dx (1-форма)	∫ₐᵇ f'dx = f(b)−f(a) — Ньютон–Лейбниц
Область в ℝ²	P dx+Q dy (1-форма)	Контур ∂D	(Qx−Py)dx∧dy	∮P dx+Q dy = ∬(Qx−Py)dA — Грин
Поверхность в ℝ³	1-форма	Контур ∂S	ротор	∮F·dr = ∬rot F·n dS — Стокс
Объём V	2-форма	Поверхность ∂V	дивергенция	∬∂V F·n dS = ∭ div F dV — Гаусс

Замкнутые и точные формы. Когомологии де Рама

Форма ω называется замкнутой, если dω = 0. Форма называется точной, если ω = dη для некоторой η.

Из d² = 0: точность ⟹ замкнутость. Обратное не всегда верно — и именно это различие улавливает топологию пространства.

Лемма Пуанкаре: В выпуклой (более общо — стягиваемой) области любая замкнутая форма точна.

Классический пример. Форма ω = (−y dx + x dy)/(x² + y²) на ℝ² {0}. Проверим: dω = 0 (замкнута). Но ∮_{окружность} ω = 2π ≠ 0 → ω не точна! Препятствие — «дырка» в области ℝ² {0}.

Когомологии де Рама H^k(M) = (замкнутые k-формы)/(точные k-формы) измеряют топологические «дыры» в M. Например, H¹(ℝ² {0}) ≅ ℝ (одна «дыра»), H¹(ℝ²) = 0 (дыр нет).

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

В общей теории относительности метрика — это симметричная 2-форма. Тензор электромагнитного поля F = dA — это точная 2-форма, а уравнения Максвелла записываются как dF = 0 (замкнутость) и d*F = J (источники). Механика Гамильтона работает с симплектической 2-формой ω = Σ dpᵢ ∧ dqᵢ. Уравнения Гамильтона — это условие, что гамильтоново векторное поле сохраняет ω.

Вопрос для размышления: объясните, почему условие dω = 0 для электромагнитного тензора F соответствует закону Фарадея и отсутствию магнитных монополей. Как из теоремы Стокса следует закон сохранения электрического заряда?