Manuscript XX-D@1 · XX-D.tex · lemma · c83a526d
Lemma: Native Newton domain and tails
Native classical domain and distributional operation rules › A concrete unsmoothed classical domain · lines 725–764 · proof included or linked
XX-D@1#lem:Newton
For , is smooth and
uniformly on . The map is continuous in the stated seminorms. It is the unique decaying solution of its rod equation. The same conclusions hold for uniformly compact smooth sources.
Proof. The source is spatial Schwartz, with smooth bounded time coefficients on . For compact sources the derivative bounds follow directly from (eq:P) outside twice the source radius.
For Schwartz sources split the integral into and its complement. In the first region the differentiated kernel has the claimed decay and the source has uniform finite moments. In the second region the source decreases to arbitrary order. Near , use local integrability of , transferring derivatives onto the smooth source. Away from that region differentiate the kernel directly. These estimates use finitely many Schwartz seminorms for each desired bound, proving continuity.
The equation follows from . A difference of two smooth decaying solutions is an entire harmonic function tending to zero; the maximum principle makes it zero.
Displayed formulas in this passage
unlabeled · line 728