Manuscript X-E@1 · X-E.tex · lemma · 293fae6a

Lemma: De Donder configurations dress only through the layer

E3: the quadratic operator, its inverse, and the residual algebra › Residual algebra and the action of · lines 1121–1132 · proof included or linked

X-E@1#lem:layer

If $C^{μ} [h] = 0$ , then

X_{1}^{μ} [h] = - E_{0}^{R} (σ_{ε}^{'} a^{0 μ} [h]),

a functional of $h$ on $0 < t < ε$ alone.

Proof. $- \partial_{ν} (σ_{ε} a^{ν μ}) = - σ_{ε}^{'} a^{0 μ} + σ_{ε} C^{μ} [h]$ .

Displayed formulas in this passage