Дифференциальная геометрия
Дифференциальные формы
Уравнения Максвелла, теорема Стокса, законы сохранения в физике-всё это элегантно записывается на языке дифференциальных форм. В компьютерной графике дискретная внешняя производная-основа discrete differential geometry, позволяющей моделировать течение жидкостей, электромагнитные поля и упругость на мешах.
- **Электродинамика:** уравнения Максвелла-dF = 0 и d★F = J. Две строки вместо четырёх уравнений
- **Дискретная геометрия:** PyDEC и другие библиотеки реализуют дифференциальные формы на мешах для симуляции физических полей
- **Теорема Стокса:** ∫_M dω = ∫_{∂M} ω объединяет теорему Гаусса, Грина и классическую Стокса в одной формуле
Предварительные знания
1-формы и котангентное пространство
**1-форма** ω в точке x-это линейный функционал на касательном пространстве TₓM: ω: TₓM → R. Котангентное пространство T*ₓM = (TₓM)*-двойственное к TₓM. Базис в координатах (x¹,...,xⁿ): {dx¹, ..., dxⁿ}, где dxⁱ(∂/∂xʲ) = δᵢⱼ (δ Кронекера).
**Дифференциал функции** df-это 1-форма: df(v) = v(f) для любого касательного вектора v. В координатах: df = Σᵢ (∂f/∂xⁱ) dxⁱ. Это обобщение градиента на многообразия без метрики.
**Ключевое различие:** градиент-векторное поле (требует метрики: grad f = g⁻¹ df), дифференциал df-1-форма (не требует метрики). На многообразии без метрики df определён, а grad f-нет.
1-форма ω = y dx − x dy вычислена на векторе v = (1, 2) в точке (3, 4). Результат?
k-формы и внешнее произведение
**k-форма** ω-это антисимметричный (k,0)-тензор: ω(v₁,...,vₖ) меняет знак при перестановке любых двух аргументов. Пространство k-форм: Ωᵏ(M). Важные частные случаи: 0-формы = функции, 1-формы, 2-формы (аналог плотности потока), n-формы (подынтегральное выражение).
**Внешнее произведение** ∧: Ωᵏ × Ωˡ → Ωᵏ⁺ˡ. Свойства: антикоммутативность α ∧ β = (−1)ᵏˡ β ∧ α, ассоциативность. В базисе: dxⁱ ∧ dxʲ(v, w) = det([[dxⁱ(v), dxⁱ(w)], [dxʲ(v), dxʲ(w)]]) = vⁱwʲ − vʲwⁱ.
**Интерпретация:** 2-форма ω(u,v) измеряет ориентированную площадь параллелограмма, натянутого на u и v (в соответствующей проекции). 3-форма-ориентированный объём. n-форма на n-мерном многообразии-подынтегральное выражение для интеграла.
Почему dx ∧ dx = 0 для любой 1-формы dx?
Внешняя производная и теорема Стокса
**Внешняя производная** d: Ωᵏ → Ωᵏ⁺¹-обобщение дифференциала. Аксиомы: 1. d(df) = 0 для функций (d² = 0) 2. правило Лейбница d(α∧β) = dα∧β + (−1)ᵏα∧dβ 3. в координатах dω = dωᵢ∧dxⁱ (суммирование).
**Ключевое свойство d² = 0.** Это алгебраическое следствие смешанных производных: d(df) = 0. Форма ω **замкнута**, если dω = 0. Форма **точна**, если ω = dα для некоторой формы α. Точная ⟹ замкнутая (d² = 0), обратное-не всегда.
**Уравнения Максвелла как дифференциальные формы:** F = E∧dt + B-2-форма. dF = 0-два из четырёх уравнений Максвелла. d*F = J-другие два. Вся электродинамика выражается двумя компактными уравнениями на формах.
1-форма ω = x dy − y dx. Вычислите dω в R².
Ключевые идеи
- **1-форма**-линейный функционал на TₓM. Базис: {dx¹,...,dxⁿ}. Дифференциал df = Σ(∂f/∂xⁱ)dxⁱ-обобщение градиента
- **k-форма**-антисимметричный тензор. Внешнее произведение ∧ антикоммутативно: α∧β = (−1)ᵏˡ β∧α
- **Внешняя производная** d: Ωᵏ → Ωᵏ⁺¹. Главное свойство: d² = 0. Замкнутая (dω=0) ⊇ Точная (ω=dα)
- **Теорема Стокса:** ∫_M dω = ∫_{∂M} ω-обобщает теоремы Гаусса, Грина и классическую Стокса
Связанные темы
Дифференциальные формы-язык современной математической физики:
- Теорема Стокса — ∫_M dω = ∫_{∂M} ω-полное доказательство и специальные случаи
- Связности и ковариантная производная — Связность как локальная 1-форма со значениями в алгебре Ли; кривизна = d²-аналог
- Гладкие многообразия — Дифференциальные формы определяются на касательном расслоении многообразия
Вопросы для размышления
- 1-форма ω = y dx − x dy замкнута (dω = 2dx∧dy ≠ 0, ой-нет). Проверьте: является ли ω = (x dy − y dx)/(x²+y²) замкнутой на R²\{0}? Точной? Что это означает топологически?
- В теории Янга-Миллса (стандартная модель физики) связность-это 1-форма со значениями в алгебре Ли, кривизна-её внешняя производная. Как d² = 0 связано с тождеством Бьянки?
- Когомологии де Рама H^k(M) = ker(d: Ωᵏ → Ωᵏ⁺¹)/im(d: Ωᵏ⁻¹ → Ωᵏ)-топологический инвариант. Как размерность H¹(S¹) = 1 связана с тем, что 1-форма dθ не является точной?