TheoremBase

Active Coordinate Coefficient Formula for the Exterior Derivative

Statement

Let n,k∈Nn,k\in\mathbb{N} with 1≤k≤n1\le k\le n, let U⊆RnU\subseteq \mathbb{R}^n be open, let ω\omega be a C1C^1 differential (k−1)(k-1)-form on UU, and fix strictly increasing indices

1≤i1<⋯<ik≤n.1\le i_1<\cdots<i_k\le n.

Write ω\omega in the coordinate expansion from Coordinate Expansion of Differential Forms on Euclidean Open Sets as

ω=∑1≤j1<⋯<jk−1≤naj1…jk−1 dxj1∧⋯∧dxjk−1.\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 (k−1)(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

dxi1∧⋯∧dxikdx_{i_1}\wedge\cdots\wedge dx_{i_k}

in the coordinate expansion of dωd\omega from Exterior Derivative of a C^1 Differential Form on a Euclidean Open Set is

∑r=1k(−1)r−1∂aIr^∂xir.\sum_{r=1}^k (-1)^{r-1}\frac{\partial a_{I^{\hat r}}}{\partial x_{i_r}}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…