Manuscript X-D@3 · X-D-v3.tex · section · b7774529
Release and the three endings
Release and the three endings · lines 287–310
Three endings are available:
Constructed. Explicit limiting tests exist in a named topology and identify the limiting prescription.
Proved obstructed. For fixed input a named seminorm diverges, or the proposed representative limit leaves the declared test space.
Unresolved. The topology, boundary-layer estimate, propagation, or identification is unfinished.
The ending reached is (1).
The question is formal in . It concerns convergence of coefficient tests, not convergence of a numerical perturbation series. A crude upper bound is not a divergence theorem. The moving edge witness is not fixed input. Neither argument is used to decide the limit.