Manuscript Em02-E@1 · Em02-E-v1.tex · proposition · f3795050
Proposition: Constructed harmonic-coordinate coefficients
Clock slices and harmonic spatial labels › The spatial inverse and its boundary condition · lines 604–641 · proof included or linked
Em02-E@1#prop:rods, Em02-E@1#eq:Y
The unique decaying coefficients are
They are smooth. On compact time intervals, and at spatial infinity.
Proof. The harmonic equation at the two successive orders is
All coefficients of have spatially compact support. Hence both sources are smooth and compactly supported, and (eq:Coulomb) constructs the solutions.
Any difference is a smooth harmonic function tending to zero at infinity. The maximum principle on successively larger balls gives zero, proving uniqueness.
The second estimate is the usual direct bound for the displayed compact-source integral. For the first, (eq:B) is a spatial divergence, so its integral vanishes. Subtract from the kernel in (eq:Coulomb) outside a ball containing the source. The remaining kernel is . The same estimates are uniform on compact time intervals.
Displayed formulas in this passage
Em02-E@1#eq:Y · line 607
unlabeled · line 620