A conservative flow for the effective model

20 A conservative flow for the effective model

For current-based existence background see [11]. The three active kinetic operators have positive coefficients. The pointer-linear term has bounded clock coefficients and is infinitesimally bounded relative to the free kinetic plus oscillator operator. Square completion gives a finite lower bound on the potential. Consequently the full operator is self-adjoint on that reference operator's domain.

After odd extension in $r$, the original stock belongs to $D(H^2)$. The writer coefficients vanish on its clock support. Functional calculus therefore gives $\Psi\in C_tD(H^2)$ and $\partial_t\Psi\in C_tD(H)$. The writer potential has the locally bounded weak second derivatives needed for local elliptic regularity: $B_9$ is $C^4$, while its occurrence through $b''$ gives only the required $C^2$ statement. Thus $D(H^2)\subset H^4_{\rm loc}$ and $D(H)\subset H^2_{\rm loc}$. In three active dimensions these imply the local continuity and local Lipschitz velocity needed for a unique nonnodal guiding flow. No unjustified $H^6$ claim for the writer is used.

Energy conservation and $\|H\Psi\|<\infty$ give, on any finite interval,

Stopped partial equivariance and exhaustion exclude finite-time escape and node hitting almost surely. The origin is an odd-extension node. The free centre flow and constant angular factors then restore the two-body Cartesian description. Domination (8) transfers the null exceptional set and transports the same cap along this one flow. The much higher-dimensional interacting finite-field model requires its own existence proof.