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

Back to manuscript

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

Nearby in this section