Contents · Previous · Next

components in H1H^1 except vector support ζZ\zeta_Z, for which W∇ζZ∈L2W\nabla\zeta_Z\in L^2 suffices. Bounded lower-order coefficients make the graph norm equivalent to these derivative norms plus ∥u∥2\|u\|^2. Compact cutoffs followed by local smoothing prove compact smooth fields are a form core. The associated nonnegative self-adjoint operator AA is the Friedrichs realization, with D(A1/2)=VD(A^{1/2})=\mathcal V. This does not prove essential self-adjointness of the full minimal differential operator.

On V×L2\mathcal V\times L^2, the free wave group uses cos⁡(tA)\cos(t\sqrt A) and sin⁡(tA)/A\sin(t\sqrt A)/\sqrt A, with the latter multiplier equal to tt at zero. The velocity perturbation (u,p)↦(0,−Gp)(u,p)\mapsto(0,-Gp) 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

E2(t)=12(∥u˙(t)∥2+q[u(t)])=E2(0),∥u(t)∥≤∥u(0)∥+∣t∣2E2(0). E_2(t)=\tfrac12(\|\dot u(t)\|^2+q[u(t)])=E_2(0),\qquad \|u(t)\|\le\|u(0)\|+|t|\sqrt{2E_2(0)}.

Density reconstructs as hr=2npeaks+u˙θ/βhr=2\sqrt{n_{\rm peak}}s+\dot u_\theta/\sqrt\beta and remains in weighted L2L^2. 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 1≤NL<NH≤M1\le N_L<N_H\le M at one depth and let Δ=μd[(NH+dd)−(NL+dd)]>0\Delta=\mu_d[\binom{N_H+d}{d}-\binom{N_L+d}{d}]>0. Write hclock=m+(v∗2/κ)(1+κ2∣a∣2/v∗2−1)h_{\rm clock}=m+(v_*^2/\kappa)(\sqrt{1+\kappa^2|a|^2/v_*^2}-1) for the constitutive clock function, distinct from h=ρh=\sqrt\rho above. Keep the rational support, frame and flow fixed initially, set n=ρn=\rho and choose the exact initial velocity et=(hclock+γV)Jee_t=(h_{\rm clock}+\gamma V)Je. Then the density equation holds and the complete initial energy and phase charge are

E=∫ρ[hclock+γV+ϵ8∑i∣Ri∣2]dx,Q=∫ρ dx. E=\int\rho\left[h_{\rm clock}+\gamma V+\frac\epsilon8\sum_i|R_i|^2\right]dx, \qquad Q=\int\rho\,dx.

A ball of fixed large radius aa centered at a remote XX 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 c=DL/DH<1c=\sqrt{D_L/D_H}<1; the normalized chord has denominator squared at least (1−c)/2(1-c)/2. Thus wall derivatives and its energy density have finite bounds independent of XX and aa. This construction works even when the original finite carrier has no empty label.

If the wall thickness is ww, its density-weighted energy satisfies

EX−EH≤−Δρ−V10a10+Cρ+V10[(a+w)10−a10],V10=π5/120, E_X-E_H\le-\Delta\rho_-V_{10}a^{10} +C\rho_+V_{10}[(a+w)^{10}-a^{10}], \quad V_{10}=\pi^5/120,

where CC is a finite wall bound and ρ±\rho_\pm bound the actual rational density on the ball. First choose finite aa so that

Contents · Previous · Next