Manuscript XX-E@1 · XX-E.tex · theorem · cf7a8f40
Theorem: Local convergence does not determine Newton composition
Refinement non-determination and why removal is not entered › An identical-prescription escaping-source example · lines 1394–1464 · proof included or linked
XX-E@1#thm:escaping, XX-E@1#eq:escapinglimit
The inputs converge to zero in the compact-local smooth topology, but
smoothly on compact sets, where
Each finite- rod is the decaying original Newton solution.
There are fixed compact and a fixed compact lapse input for which
Consequently compact-local convergence to the same classical input does not determine the limit of this nonlocal Hessian operation.
Proof. The source annulus has radius between and , so the input and all derivatives vanish on each fixed compact set for sufficiently large .
Changing variables in the rod formula gives
On the fixed source annulus the kernel is smooth for compact and large . All compact-set derivatives converge by direct differentiation and dominated convergence. This proves (eq:escapinglimit).
Moreover
The other entries vanish by oddness. Each finite source is compact, so its native rod is smooth and decays at infinity.
Take to have only . The local polarized expression with vanishes, and , leaving
Choose with nonzero first spatial derivative on an open region and choose there with a sign and time support detecting . The resulting limit is nonzero.
Displayed formulas in this passage
XX-E@1#eq:escapinglimit · line 1398
unlabeled · line 1404
unlabeled · line 1413
unlabeled · line 1431
unlabeled · line 1444
unlabeled · line 1456