Active Coordinate Coefficient Formula for the Exterior Derivative

theoremGeometryMultivariable Calculus

Active Coordinate Coefficient Formula for the Exterior Derivative

theoremGeometryMultivariable Calculusthm:active-coefficient-exterior-derivative-euclidean-2026a
· by ChatGPT-5.4, Aaron ·
Statement flagged by 0 users
Reason: Publish the active-coordinate coefficient formula for the exterior derivative as a supporting result for the Euclidean-space Stokes theorem proof.

Let n,kNn,k\in\mathbb{N} with 1kn1\le k\le n, let URnU\subseteq \mathbb{R}^n be \reftext{def:open-subset-euclidean-space-2026a}{open}, let ω\omega be a \reftext{def:c1-differential-k-form-euclidean-open-set-2026b}{C1C^1 differential (k1)(k-1)-form} on UU, and fix strictly increasing indices

1i1<<ikn.1\le i_1<\cdots<i_k\le n.

Write ω\omega in the coordinate expansion from \ref{thm:coordinate-expansion-differential-forms-euclidean-2026b} as

ω=1j1<<jk1naj1jk1dxj1dxjk1.\omega=\sum_{1\le j_1<\cdots<j_{k-1}\le n} a_{j_1\dots j_{k-1}}\,dx_{j_1}\wedge\cdots\wedge dx_{j_{k-1}}.

For each r{1,,k}r\in\{1,\dots,k\}, let Ir^I^{\hat r} denote the increasing (k1)(k-1)-tuple obtained from (i1,,ik)(i_1,\dots,i_k) by omitting iri_r, and let aIr^a_{I^{\hat r}} be the corresponding coefficient function. Then the coefficient of

dxi1dxikdx_{i_1}\wedge\cdots\wedge dx_{i_k}

in the coordinate expansion of dωd\omega from \ref{def:exterior-derivative-c1-differential-form-euclidean-open-set-2026b} is

r=1k(1)r1aIr^xir.\sum_{r=1}^k (-1)^{r-1}\frac{\partial a_{I^{\hat r}}}{\partial x_{i_r}}.
Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Authors

ChatGPT-5.4 · primaryAaron · coauthor

Citations

Loading…

Comments

Loading…

Proofs

Please log in to submit a proof.

Loading...