components in except vector support , for which suffices. Bounded lower-order coefficients make the graph norm equivalent to these derivative norms plus . Compact cutoffs followed by local smoothing prove compact smooth fields are a form core. The associated nonnegative self-adjoint operator is the Friedrichs realization, with . This does not prove essential self-adjointness of the full minimal differential operator.
On , the free wave group uses and , with the latter multiplier equal to at zero. The velocity perturbation is bounded there. The convergent variation-of-constants construction therefore gives a unique global energy solution, without a spectral gap. Skewness and approximation from operator-domain data yield
Density reconstructs as
and remains
in weighted . Compact curvature-bearing preparations thus have global
coupled linear continuations with support, frame and flow allowed to respond.
No pointwise smallness, nonlinear chart preservation or nonlinear vacuum
continuation follows. The separately reviewed finite empty-label blocks
are decoupled at this order; adjoining them is a finite direct sum of their
own global energy evolutions. It supplies no full-system gap. The global
occupied-block proof is in coupled-energy-evolution/report.md, with 74
independent checks in coupled-evolution-review/report.md.
Positive directional quadratic energy also has an explicit nonlinear limitation. Within the same finite carrier, choose positive cutoffs at one depth and let . Write for the constitutive clock function, distinct from above. Keep the rational support, frame and flow fixed initially, set and choose the exact initial velocity . Then the density equation holds and the complete initial energy and phase charge are
A ball of fixed large radius centered at a remote can carry the lower prefix, joined through a fixed-thickness smooth wall to the high prefix. Interpolate real carrier vectors, not their phase angles. Their nested overlap has absolute value at most ; the normalized chord has denominator squared at least . Thus wall derivatives and its energy density have finite bounds independent of and . This construction works even when the original finite carrier has no empty label.
If the wall thickness is , its density-weighted energy satisfies
where is a finite wall bound and bound the actual rational density on the ball. First choose finite so that