Внешняя производная¶

Внешняя производная — это линейный дифференциальный оператор на дифференциальных формах, обобщающий понятия градиента, дивергенции, ротора и классической производной на многомерные многообразия. Внешняя производная отображает дифференциальную форму степени \(k\) в форму степени \(k+1\) и является фундаментальным инструментом дифференциальной геометрии, топологии и математической физики, в частности, в теории интегрирования на многообразиях и формулировке законов сохранения.

¶Определение

Пусть \(M\) — гладкое многообразие (например, \(\mathbb{R}^n\) или его область), а \(\Omega^k(M)\) — пространство дифференциальных \(k\)-форм на \(M\). Внешняя производная — это линейный оператор \[ d: \Omega^k(M) \to \Omega^{k+1}(M), \] удовлетворяющий следующим аксиомам:

1. Линейность: \(d(\alpha + \beta) = d\alpha + d\beta\) для любых форм \(\alpha, \beta\).
2. Правило Лейбница (градуированное): \(d(\alpha \wedge \beta) = d\alpha \wedge \beta + (-1)^k \alpha \wedge d\beta\), где \(\alpha\) — \(k\)-форма.
3. Нильпотентность: \(d(d\alpha) = 0\) для любой формы \(\alpha\) (то есть \(d^2 = 0\)).
4. Согласование с дифференциалом функции: для \(0\)-формы (функции) \(f\) \(df\) — это обычный дифференциал, то есть \(df = \sum_{i=1}^n \frac{\partial f}{\partial x^i} dx^i\).

В локальных координатах \((x^1, \dots, x^n)\) на \(\mathbb{R}^n\) внешняя производная \(k\)-формы \[ \omega = \sum_{1 \le i_1 < \dots < i_k \le n} a_{i_1 \dots i_k}(x) \, dx^{i_1} \wedge \dots \wedge dx^{i_k} \] вычисляется как \[ d\omega = \sum_{i_1 < \dots < i_k} \sum_{j=1}^n \frac{\partial a_{i_1 \dots i_k}}{\partial x^j} \, dx^j \wedge dx^{i_1} \wedge \dots \wedge dx^{i_k}. \]

¶Свойства

¶Нильпотентность и точные/замкнутые формы

Ключевое свойство \(d^2 = 0\) означает, что повторное применение внешней производной всегда даёт нуль. Форма \(\omega\) называется замкнутой, если \(d\omega = 0\). Форма \(\omega\) называется точной, если существует форма \(\eta\) такая, что \(\omega = d\eta\). Из нильпотентности следует, что всякая точная форма замкнута. Обратное утверждение (всякая замкнутая форма локально точна) составляет содержание леммы Пуанкаре, которая верна для звездообразных областей в \(\mathbb{R}^n\).

¶Связь с классическими операторами

В трёхмерном евклидовом пространстве \(\mathbb{R}^3\) внешняя производная обобщает три основных оператора векторного анализа:

• Градиент: если \(f\) — \(0\)-форма (функция), то \(df\) — \(1\)-форма, соответствующая векторному полю \(\nabla f\).
• Ротор: если \(\omega\) — \(1\)-форма, соответствующая векторному полю \(\mathbf{F}\), то \(d\omega\) — \(2\)-форма, соответствующая \(\nabla \times \mathbf{F}\).
• Дивергенция: если \(\omega\) — \(2\)-форма, соответствующая векторному полю \(\mathbf{F}\), то \(d\omega\) — \(3\)-форма, соответствующая \(\nabla \cdot \mathbf{F}\).

Таким образом, внешняя производная объединяет все три оператора в единый формализм, не зависящий от выбора метрики.

¶Коммутирование с обратным образом

Внешняя производная коммутирует с обратным образом (pullback) гладких отображений: для любого гладкого отображения \(\varphi: M \to N\) и формы \(\omega\) на \(N\) выполняется \[ \varphi^(d\omega) = d(\varphi^ \omega). \] Это свойство делает внешнюю производную естественным дифференциальным оператором на многообразиях.

¶История

Понятие внешней производной восходит к работам Эли Картана (конец XIX — начало XX века), который развил теорию дифференциальных форм и внешних дифференциальных систем. Картан ввёл оператор \(d\) как часть своего «исчисления внешних форм», обобщив идеи Грассмана и Пуанкаре. В середине XX века, с развитием дифференциальной топологии и теории де Рама, внешняя производная стала центральным объектом в когомологиях де Рама.

¶Применение

¶Интегральные теоремы

Внешняя производная является основой обобщённой теоремы Стокса, которая гласит, что для ориентируемого многообразия \(M\) с краем \(\partial M\) и дифференциальной формы \(\omega\) выполняется \[ \int_M d\omega = \int_{\partial M} \omega. \] Из этой теоремы как частные случаи следуют классические теоремы Грина, Гаусса — Остроградского и Стокса (в трёхмерном пространстве). В России и странах бывшего СССР теорема Гаусса — Остроградского часто изучается в курсах математического анализа и математической физики.

¶Когомологии де Рама

Внешняя производная определяет комплекс де Рама: \[ 0 \to \Omega^0(M) \xrightarrow{d} \Omega^1(M) \xrightarrow{d} \Omega^2(M) \xrightarrow{d} \dots \xrightarrow{d} \Omega^n(M) \to 0. \] Когомологии де Рама \(H^k_{\text{dR}}(M) = \ker d_k / \operatorname{im} d_{k-1}\) являются топологическими инвариантами многообразия и связывают дифференциальную геометрию с алгебраической топологией. Например, для \(\mathbb{R}^n\) все когомологии де Рама тривиальны, кроме \(H^0 \cong \mathbb{R}\), что отражает стягиваемость пространства.

¶Уравнения Максвелла

В электродинамике внешняя производная позволяет компактно записать уравнения Максвелла. В четырёхмерном пространстве-времени Минковского электромагнитное поле описывается 2-формой \(F = dA\), где \(A\) — 1-форма потенциала. Уравнения Максвелла в вакууме принимают вид: \[ dF = 0, \quad d F = J, \] где \(*\) — оператор Ходжа, а \(J\) — 3-форма тока. Первое уравнение (\(dF = 0\)) выражает закон Фарадея и отсутствие магнитных монополей, а второе — законы Гаусса и Ампера.

¶Механика и теория поля

В лагранжевой механике на многообразиях внешняя производная используется для определения симплектической структуры и скобок Пуассона. В калибровочных теориях (например, в квантовой хромодинамике) поля Янга — Миллса описываются как кривизны связностей, а внешняя производная обобщается до ковариантной производной.

¶Примеры

¶Пример 1: Внешняя производная 1-формы в \(\mathbb{R}^3\)

Пусть \(\omega = P(x,y,z) dx + Q(x,y,z) dy + R(x,y,z) dz\). Тогда \[ d\omega = \left( \frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z} \right) dy \wedge dz + \left( \frac{\partial P}{\partial z} - \frac{\partial R}{\partial x} \right) dz \wedge dx + \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dx \wedge dy. \] Это соответствует компонентам ротора векторного поля \((P,Q,R)\).

¶Пример 2: Внешняя производная 2-формы в \(\mathbb{R}^3\)

Пусть \(\omega = A dy \wedge dz + B dz \wedge dx + C dx \wedge dy\). Тогда \[ d\omega = \left( \frac{\partial A}{\partial x} + \frac{\partial B}{\partial y} + \frac{\partial C}{\partial z} \right) dx \wedge dy \wedge dz, \] что соответствует дивергенции векторного поля \((A,B,C)\).

¶Пример 3: В \(\mathbb{R}^4\) с координатами \((t,x,y,z)\)

Рассмотрим 1-форму \(A = \phi dt + A_x dx + A_y dy + A_z dz\). Её внешняя производная \(F = dA\) даёт компоненты электрического и магнитного полей: \[ F = E_x dt \wedge dx + E_y dt \wedge dy + E_z dt \wedge dz + B_x dy \wedge dz + B_y dz \wedge dx + B_z dx \wedge dy, \] где \(E_i = -\partial_i \phi - \partial_t A_i\), \(B_i = \varepsilon_{ijk} \partial_j A_k\).

¶Связь с другими операторами

Внешняя производная тесно связана с производной Ли и ковариантной производной, но отличается от них тем, что не зависит от метрики или связности. В римановой геометрии с помощью оператора Ходжа \(\) определяется кодифференциал \(\delta = d *\), который вместе с \(d\) образует лапласиан Ходжа \(\Delta = d\delta + \delta d\), играющий центральную роль в теории гармонических форм.

¶Источники

• Картан, Э. Внешние дифференциальные системы и их геометрические приложения. — М.: Мир, 1962.
• Спивак, М. Математический анализ на многообразиях. — М.: Мир, 1968.
• Уорнер, Ф. Основы дифференциальной геометрии и теории групп Ли. — М.: Мир, 1987.
• де Рам, Ж. Дифференцируемые многообразия. — М.: ИЛ, 1956.
• Дубровин, Б. А., Новиков, С. П., Фоменко, А. Т. Современная геометрия: методы и приложения. — М.: Наука, 1986.