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

Back to manuscript

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

Nearby in this section