дифференциальная форма

# тег · @ автор · ! учёный

Дифференциальная форма — альтернирующее полилинейное отображение на касательных векторах в каждой точке гладкого многообразия. Форма степени k (k-форма) предназначена для интегрирования по k-мерным подмногообразиям. Внешний дифференциал d повышает степень на 1 и обладает ключевым свойством d² = 0, обобщающим факт «граница границы пуста». Знаменитая теорема Стокса принимает компактный вид: ∫_M dω = ∫_∂M ω. В физике электромагнитный потенциал — 1-форма, напряжённость поля — 2-форма, а уравнения Максвелла записываются как dF = 0, d*F = J.

История

Разработана французским математиком Эли Картаном в начале XX века. Он обобщил идеи векторного анализа и интегральных теорем, поняв, что многие физические законы выглядят гораздо элегантнее на языке дифференциальных форм. Сейчас это основной язык геометрии и современной физики.

Как работает

Вообрази лист жести, изогнутый в пространстве. На нём можно нарисовать координатную сетку. Дифференциальная форма 1-го порядка измеряет, как сильно вектор направлен вдоль одной оси; 2-го порядка — площадь, натянутую на два вектора, и так далее. Она «щупает» пространство, прикладываясь к каждой точке. Интегрирование форм по дугам, поверхностям или объёмам даёт знакомые физические величины: работу, поток, заряд.

💡 Уравнения Максвелла, которые описывают весь классический электромагнетизм, на языке дифференциальных форм умещаются в две короткие строки: dF = 0 и d*F = J. Обычная запись в учебниках занимает четыре громоздких уравнения в частных производных.

Дифференциальная форма — это миниатюрный измерительный прибор. Представь, что ты хочешь узнать, сколько воды протекает через реку. Обычный подход: умножить скорость на площадь поперечного сечения. Но если русло изогнуто, а скорость везде разная, форма делает то же самое, но для каждого бесконечно малого кусочка поверхности отдельно, а затем складывает результаты. Она умеет не только мерить потоки, но и работать в многомерных пространствах, где наши привычные векторы бессильны. (Пояснения: интеграл — суммирование бесконечно малых частей; поток — количество жидкости, пересекающей поверхность за единицу времени.)

История

Как работает

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

Пусть M — гладкое многообразие размерности n. Дифференциальная k-форма ω — гладкое сечение внешней степени кокасательного расслоения: ω ∈ Ω^k(M) = Γ(⋀^k T^*M). Локально ω = Σ ω_{i₁…i_k} dx^{i₁} ∧ … ∧ dx^{i_k}, где ∧ — внешнее произведение, антикоммутирующее по правилу dxⁱ ∧ dxʲ = – dxʲ ∧ dxⁱ. Внешний дифференциал d: Ω^k → Ω^{k+1} действует как dω = Σ (∂ω_{i₁…i_k}/∂xʲ) dxʲ ∧ dx^{i₁} ∧ … ∧ dx^{i_k} и удовлетворяет d² = 0. Интеграл k-формы по k-мерной ориентированной поверхности определяется инвариантно. Теорема Стокса: ∫_M dω = ∫_∂M ω. Связность на векторном расслоении даёт формы со значениями в алгебре Ли; кривизна — 2-форма. В электродинамике 4-потенциал A = A_μ dx^μ, напряжённость F = dA = (1/2) F_μν dx^μ ∧ dx^ν; уравнения Максвелла: dF = 0 (тождество Бианки), d*F = J (здесь * — дуальность Ходжа, J — 3-форма плотности тока). Когомологии де Рама H^k(M) = ker d / im d описывают топологию через формы.

История

Концепция развивалась постепенно. В XIX веке Грин, Стокс и Гаусс дали разрозненные интегральные теоремы. Решающий шаг сделал Эли Картан в 1920-х, введя внешний дифференциал и обобщённую теорему Стокса. В 1931 году Жорж де Рам доказал изоморфизм между когомологиями, построенными по формам, и сингулярными когомологиями, связав анализ и топологию. В дальнейшем дифференциальные формы стали основным языком геометрии и физики, от калибровочных теорий до струн.

Как работает

Форма степени k — функционал, принимающий k касательных векторов и возвращающий число, антисимметричный по аргументам. Это позволяет измерять ориентированные объёмы k-мерных параллелепипедов в касательном пространстве. Интеграл формы по подмногообразию получается разбиением на малые клетки и суммированием значений на них. Внешний дифференциал обобщает ротор, дивергенцию и градиент. Свойство d² = 0 ведёт к законам сохранения: например, в электродинамике из dF = 0 следует отсутствие магнитных зарядов, а из d*F = J — сохранение заряда. Оператор Ходжа *, определяемый метрикой, переводит k-формы в (n–k)-формы, что, например, меняет местами электрическое и магнитное поля в вакууме.

\omega = \sum \omega_{i_1 \dots i_k} dx^{i_1} \wedge \dots \wedge dx^{i_k}

ω_{i₁…i_k} — компоненты формы (функции на многообразии), dx^{i} — базисные 1-формы, ∧ — внешнее произведение: dxⁱ ∧ dxʲ = –dxʲ ∧ dxⁱ.

dF = 0, \quad d\star F = J

F — 2-форма напряжённости электромагнитного поля, d — внешний дифференциал, ⋆ — оператор дуальности Ходжа, J — 3-форма плотности электрического тока и заряда.

\int_{M} d\omega = \int_{\partial M} \omega

M — ориентированное многообразие, ∂M — его граница; ω — дифференциальная форма, dω — её внешний дифференциал. Унифицирует формулы Грина, Гаусса–Остроградского и классическую теорему Стокса.

Открытые проблемы и интересные факты

Интегрирование форм на сингулярных или стратифицированных пространствах требует обобщённых понятий (потоки, распределения).; В квантовой теории поля — построение математически строгой теории интегрирования по пространствам полей (функциональный интеграл).; Связь с некоммутативной геометрией: поиск квантовых аналогов форм и когомологий.

Пока нет статей

дифференциальная форма

История

Как работает

История

Как работает

История

Как работает

Открытые проблемы и интересные факты

Статьи по теме