A localized field profile and translation symmetry do not by themselves establish particle inertia or a moving solution. For the Gaussian-window pattern action, a uniform phase gradient has a positive restricted kinetic response, yet the complete field equation excludes the corresponding differentiable Gaussian traveling family. Two explicit changed phase actions supply exact motion. The second follows a branch's actual positive stationary frequency and includes the full functional response of that frequency.

These are classical fields on ordinary shared R10\mathbb R^{10}. Density is squared field amplitude, not position probability; amplitude and phase are variables of one field, not additional physical dimensions or exchanged particles. An internal profile and its moving center remain distinct, including for an electron with a literal deterministic trajectory in six ordinary spatial dimensions. All ten center-motion directions are permitted independently of the pattern's active-depth classification. Neither observed-particle identification nor a local Lorentz-covariant field theory follows from the results below.

Canonical Signs and the Gaussian Branch

For ψ=aeiθ\psi=a e^{i\theta}, a>0a>0, ρ=a2\rho=a^2, the canonical integrand is

i2(ψ∗ψ˙−ψ˙∗ψ)=−ρθ˙. \frac i2(\psi^*\dot\psi-\dot\psi^*\psi)=-\rho\dot\theta.

Thus S=∫dt[−∫ρθ˙−H]S=\int dt[-\int\rho\dot\theta-H] gives ρ˙=δH/δθ\dot\rho=\delta H/\delta\theta, θ˙=−δH/δρ\dot\theta=-\delta H/\delta\rho. If the phase derivative is −∇⋅(ρv)-\nabla\cdot(\rho v), the continuity equation has sign ρ˙+∇⋅(ρv)=0\dot\rho+\nabla\cdot(\rho v)=0. A relative equilibrium ψ=e−iωvtU(y−vt)\psi=e^{-i\omega_vt}U(y-vt) must solve

G[U]=ωvU−iv⋅∇U.(1) G[U]=\omega_vU-i v\cdot\nabla U. \tag{1}

Write cc for the positive speed parameter. GC-R1 has

HGC=μN+Cχ−1∫nxηx(hx−μ)dx,iψt=GGC[ψ],dH[v]=2Re⁡⟨v,GGC⟩. H_{\rm GC}=\mu N+C_\chi^{-1}\int n_x\eta_x(h_x-\mu)dx, \quad i\psi_t=G_{\rm GC}[\psi],\quad dH[v]=2\operatorname{Re}\langle v,G_{\rm GC}\rangle.

Use the windows, moments, centroid cap and full variation defined in the linked note. For any rank-dd spatial projector PP, d∈{2,3,4,5,6,10}d\in\{2,3,4,5,6,10\}, its positive centered ground amplitude is

B′=b1P+b0(I−P),B=B′−αI>0,Bin=B(I−σ2B)−1,σ2B<I, B'=b_1P+b_0(I-P),\quad B=B'-\alpha I>0,\quad B_{\rm in}=B(I-\sigma^2B)^{-1},\quad \sigma^2B<I, a0(y)=Ae−yTBiny/2,u0(y)=Adet⁡(I+σ2Bin)−1/2e−yTBy/2,A>0.(2) a_0(y)=A e^{-y^TB_{\rm in}y/2},\qquad u_0(y)=A\det(I+\sigma^2B_{\rm in})^{-1/2}e^{-y^TBy/2},\qquad A>0. \tag{2}

Then GGC[a0]=μa0G_{\rm GC}[a_0]=\mu a_0, and N=A2π5/det⁡BinN=A^2\pi^5/\sqrt{\det B_{\rm in}} remains uncalibrated. Define

Q=(I+σ2Bin)−1=I−σ2B,S=B(B′)−1,Xx=(B′)−1αx,cx=−Sx,e(x)=θ(∣Sx∣2/Lc). Q=(I+\sigma^2B_{\rm in})^{-1}=I-\sigma^2B,\quad S=B(B')^{-1},\quad X_x=(B')^{-1}\alpha x,\quad c_x=-Sx, \quad e(x)=\theta(|Sx|^2/L_c).

For the following GC trial calculation, assume the other moment caps are flat one near the ground moments and the considered small momenta. The centroid cap is nonnegative, compact in anchor space, and positive near zero. No assumption that it is constant is made.

Original GC-R1: Complete Residual and Restricted Inertia

For ψp=eip⋅ya0\psi_p=e^{ip\cdot y}a_0, exact Gaussian convolution gives

Jσψp=e−σ2p⋅Qp/2ei(Qp)⋅yu0(y). J_\sigma\psi_p=e^{-\sigma^2p\cdot Qp/2}e^{i(Qp)\cdot y}u_0(y).

Local centroid and centered covariances are unchanged; the local momentum is ps=Qpp_s=Qp, and h=μ2+c2∣ps∣2h=\sqrt{\mu^2+c^2|p_s|^2}. The complete source, including centroid variation, is

GGC[ψp]=μψp+Cχ−1Jσ∫gxdx, G_{\rm GC}[\psi_p]=\mu\psi_p+C_\chi^{-1}J_\sigma\int g_xdx, gx=χx2up{e(x)(h−μ)+ie(x)c2hps⋅B′(y−Xx)+(h−μ)(∂cxη)⋅(y−Xx)}.(3) g_x=\chi_x^2u_p\left\{ e(x)(h-\mu)+i e(x)\frac{c^2}{h}p_s\cdot B'(y-X_x) +(h-\mu)(\partial_{c_x}\eta)\cdot(y-X_x)\right\}. \tag{3}

The last term is essential at finite pp. The normalized oscillator part annihilates the phase-removed Gaussian; the other moment-cap derivatives vanish only under the stated flat-cap assumption. A trial translated field eip⋅y−iΩta0(y−vt)e^{ip\cdot y-i\Omega t}a_0(y-vt) requires source Ωψp−ieip⋅yv⋅∇a0\Omega\psi_p-i e^{ip\cdot y}v\cdot\nabla a_0, which must be compared with all of (3).

The restricted energy is exactly

Htrial(p)=Nμ+NκBe−σ2p⋅Qp[μ2+c2∣Qp∣2−μ],κB=(NCχ)−1∫nx(0)e(x)dx.(4) H_{\rm trial}(p)=N\mu+N\kappa_Be^{-\sigma^2p\cdot Qp} [\sqrt{\mu^2+c^2|Qp|^2}-\mu],\quad \kappa_B=(NC_\chi)^{-1}\int n_x(0)e(x)dx. \tag{4}

Strict positivity and the finite nontrivial centroid cap give 0<κB<∥u0∥2/N=det⁡Q<10<\kappa_B<\|u_0\|^2/N=\sqrt{\det Q}<1. Hence

Htrial=Nμ+NκBc22μpTQ2p+O(∣p∣4),X˙=κBc2μQ2p+O(∣p∣3),P=Np, H_{\rm trial}=N\mu+\frac{N\kappa_Bc^2}{2\mu}p^TQ^2p+O(|p|^4), \quad \dot X=\frac{\kappa_Bc^2}{\mu}Q^2p+O(|p|^3),\quad \mathcal P=Np, Mtrial=NμκBc2Q−2.(5) M_{\rm trial}=\frac{N\mu}{\kappa_Bc^2}Q^{-2}. \tag{5}

The positive tensor is the response of the restricted Gaussian family. It is not established complete-field inertia of GC-R1.

Why the Gaussian Phase Tangent Does Not Translate

Let LL be the real fixed-direction linearization of GGC−μIG_{\rm GC}-\mu I at a0a_0. Put

A(y)=Cχ−1∫χx(y)2e(x)dx,V(y)=ByA(y)−12∇A(y). \mathcal A(y)=C_\chi^{-1}\int\chi_x(y)^2e(x)dx,\qquad \mathcal V(y)=By\mathcal A(y)-\tfrac12\nabla\mathcal A(y).

Differentiation of the complete residual (3) at p=0p=0 gives

L[i(p⋅y)a0]=ic2μJσ[(Qp)⋅V u0].(6) L[i(p\cdot y)a_0]=i\frac{c^2}{\mu}J_\sigma[(Qp)\cdot\mathcal V\,u_0]. \tag{6}

Terms proportional to h−μh-\mu start at second order, and Cχ−1∫χx2eB′(y−Xx)dx=ByA−∇A/2C_\chi^{-1}\int\chi_x^2 e B'(y-X_x)dx=By\mathcal A-\nabla\mathcal A/2. The right side of (6) is not a constant translation tangent.

A tail comparison proves this even when quadratic Gaussian exponents coincide. In coordinates diagonalizing BB, set C=B+2αIC=B+2\alpha I, D0=(I+σ2C)−1D_0=(I+\sigma^2C)^{-1}, R=CD0R=CD_0. For each anchor,

Jσ[u0χx2](y)=positive constant e−yTRy/2e2αyTD0xe−α∣x∣2+2σ2α2xTD0x. J_\sigma[u_0\chi_x^2](y)=\text{positive constant}\, e^{-y^TRy/2}e^{2\alpha y^TD_0x} e^{-\alpha|x|^2+2\sigma^2\alpha^2x^TD_0x}.

Inserting B′(z−Xx)B'(z-X_x) multiplies this by B′D0y+α(2σ2B′D0−I)xB'D_0y+\alpha(2\sigma^2B'D_0-I)x. Choose a coordinate jj with (Qp)j≠0(Qp)_j\ne0, and take y=tejy=t e_j, t→+∞t\to+\infty. Its inserted leading polynomial has fixed sign uniformly on the compact positive anchor support. Elementary upper/lower bounds on the positive anchor integral give

log⁡∣Jσ[(Qp)⋅V u0](tej)∣=−Rjt2/2+ℓjt+o(t),ℓj=2α(D0)jsup⁡{xj:e(x)>0}>0.(7) \log|J_\sigma[(Qp)\cdot\mathcal V\,u_0](te_j)| =-R_jt^2/2+\ell_jt+o(t),\qquad \ell_j=2\alpha(D_0)_j\sup\{x_j:e(x)>0\}>0. \tag{7}

The lower bound integrates over an open positive-measure set arbitrarily near that support supremum. A nonzero translation tangent on the same ray has logarithm −Bin,jt2/2+O(log⁡t)-B_{{\rm in},j}t^2/2+O(\log t); if its jj-velocity vanishes, the tangent vanishes there. Either the quadratic rates differ or the strictly positive linear rate in (7) still prevents equality. For the common check parameters b1=1,b0=4,α=1/4,σ2=1/16b_1=1,b_0=4,\alpha=1/4,\sigma^2=1/16, input widths are 48/61,240/4948/61,240/49, while response widths are 80/69,272/8180/69,272/81.

This excludes a differentiable traveling Gaussian family generated by uniform linear phase. Chirp tangents are even, width changes are real, and symmetry tangents cannot repair the odd imaginary equation. It does not exclude an odd non-Gaussian phase/shape deformation. There is no exceptional depth-five result, including in comparison with depth ten.

For a genuine differentiable branch Uv=a0+ηv+o(∣v∣)U_v=a_0+\eta_v+o(|v|), equation (1) requires

Lηv=δω a0−iv⋅∇a0.(8) L\eta_v=\delta\omega\,a_0-i v\cdot\nabla a_0. \tag{8}

Since La0=0La_0=0, self-adjointness gives δω=0\delta\omega=0. The norm condition is 2Re⁡⟨a0,ηv⟩=02\operatorname{Re}\langle a_0,\eta_v\rangle=0; phase, translation and orientation zero tangents can be fixed by orthogonality. If constrained solutions ηj\eta_j of Lηj=−i∂ja0L\eta_j=-i\partial_ja_0 exist, their full momentum response would be Mij=2Re⁡⟨−i∂ia0,ηj⟩M_{ij}=2\operatorname{Re}\langle-i\partial_i a_0,\eta_j\rangle. It is symmetric and nonnegative because LL is self-adjoint and nonnegative at a homogeneous minimizer. These are conditional statements, not a solved inverse problem.

At this Gaussian, LL is a bounded nonnegative self-adjoint directional Hessian. Its nonzero coefficients have compact anchor support, where the base window norm has a positive lower bound. Gaussian-smoothed differential kernels then have square-integrable spatial kernels, making LL compact. This supplies neither a gap nor a bounded inverse on the infinite-dimensional symmetry complement. Moreover the GC C1,1C^{1,1} theorem asserts a Lipschitz source, not a Fréchet derivative. Translated small packets explain the distinction: homogeneity and source clustering can leave an order-ϵ\epsilon nonlinear response near ϵτLb\epsilon\tau_Lb, while compact LL sends τLb\tau_Lb to zero. The remainder need not be o(ϵ)o(\epsilon). Ordinary implicit-function arguments with a Fréchet derivative are therefore unavailable. A deformed moving GC branch remains open.

A Changed Phase Action with Exact Gaussian Motion

Call the first changed law PM-R1. With j=Im⁡(ψ∗∇ψ)=ρ∇θj=\operatorname{Im}(\psi^*\nabla\psi)=\rho\nabla\theta, define

HPM[ψ]=HGC[a]−μN+∫μ2ρ2+c2∣j∣2 dy.(9) H_{\rm PM}[\psi]=H_{\rm GC}[a]-\mu N+ \int\sqrt{\mu^2\rho^2+c^2|j|^2}\,dy. \tag{9}

The current integrand is zero at ρ=j=0\rho=j=0. It is finite on H1H^1, since its excess above μρ\mu\rho is at most c∣j∣c|j| and ∫∣j∣≤∥ψ∥2∥∇ψ∥2\int|j|\le\|\psi\|_2\|\nabla\psi\|_2. The differential equation is asserted on admissible smooth nowhere-zero profiles. Arbitrary-node evolution needs a separate proof.

This law retains phase, translation, rotation and amplitude symmetries. It replaces GC's phase dependence, including phase-sensitive smoothing, while agreeing with its energy on real nonnegative amplitudes. It uses no extra interaction field. Write ga=GGC[a]g_a=G_{\rm GC}[a], real on real amplitudes, and h(q)=μ2+c2∣q∣2h(q)=\sqrt{\mu^2+c^2|q|^2}, v(q)=c2q/h(q)v(q)=c^2q/h(q), q=∇θq=\nabla\theta. Complete variation gives

ρt+∇⋅(ρv(q))=0,θt=−ga/a−[h(q)−μ], \rho_t+\nabla\cdot(\rho v(q))=0,\qquad \theta_t=-g_a/a-[h(q)-\mu], GPM[ψ]=eiθ{ga+a[h(q)−μ]−i2a∇⋅[a2v(q)]}.(10) G_{\rm PM}[\psi]=e^{i\theta}\left\{g_a+a[h(q)-\mu] -\frac{i}{2a}\nabla\cdot[a^2v(q)]\right\}. \tag{10}

The current variation supplies the advection term. Since ga=μa0g_a=\mu a_0, this complete equation has exact solutions

ψ(y,t)=eip⋅y−iΩta0(y−X0−vt),Ω=μ2+c2∣p∣2,v=c2p/Ω.(11) \psi(y,t)=e^{ip\cdot y-i\Omega t}a_0(y-X_0-vt),\qquad \Omega=\sqrt{\mu^2+c^2|p|^2},\quad v=c^2p/\Omega. \tag{11}

Their complete energy, momentum and rest response are

E=NΩ,P=Np,E2−c2∣P∣2=N2μ2,∂P∂v∣v=0=Nμc2I.(12) \mathcal E=N\Omega,\qquad\mathcal P=Np,\qquad \mathcal E^2-c^2|\mathcal P|^2=N^2\mu^2,\qquad \left.\frac{\partial\mathcal P}{\partial v}\right|_{v=0}=\frac{N\mu}{c^2}I. \tag{12}

At finite speed the positive tensor is (Nμ/c2)[γI+γ3vvT/c2](N\mu/c^2)[\gamma I+\gamma^3vv^T/c^2], γ=(1−∣v∣2/c2)−1/2\gamma=(1-|v|^2/c^2)^{-1/2}. The comoving frequency in (1) is ωv=Ω−p⋅v=μ2/Ω\omega_v=\Omega-p\cdot v=\mu^2/\Omega; the laboratory phase factor in (11) uses Ω\Omega.

These are full-field quantities for the changed law, whose prescribed square-root current term supplies the relation. They are not a derivation from original GC internal oscillation dynamics. No profile contraction has been imposed; the energy relation alone proves no local Lorentz covariance. This gives count-one motion at all maintained depths, without a depth-five exception, excited clocks or perturbative persistence.

A General Frequency-Following Mobility Law

Let E[ρ]E[\rho] be real, translation and rotation invariant, and homogeneous of degree one in a positive classical density. Assume an admissible first derivative w[ρ]=δE/δρw[\rho]=\delta E/\delta\rho, a differentiable derivative in the variations being used, and the required integrability and adjoints. An admissible nodeless stationary branch obeys

w[ρ∗](y)=ω>0. w[\rho_*](y)=\omega>0.

Define the changed frequency-following law FL by

HFL[ρ,θ]=E[ρ]+∫ρ[w[ρ]2+c2∣∇θ∣2−∣w[ρ]∣]dy.(13) H_{\rm FL}[\rho,\theta]=E[\rho]+ \int\rho\left[\sqrt{w[\rho]^2+c^2|\nabla\theta|^2}-|w[\rho]|\right]dy. \tag{13}

On a positive-ww domain, write q=∇θq=\nabla\theta, h=w2+c2∣q∣2h=\sqrt{w^2+c^2|q|^2}. Its complete variations are

δHFLδρ=h+(Dw)∗[ρ(w/h−1)],δHFLδθ=−∇⋅(ρc2q/h).(14) \frac{\delta H_{\rm FL}}{\delta\rho}=h+(Dw)^*[\rho(w/h-1)],\qquad \frac{\delta H_{\rm FL}}{\delta\theta}=-\nabla\cdot(\rho c^2q/h). \tag{14}

The adjoint term cannot be dropped by holding ww fixed. Euler homogeneity and its full differential give

E=∫ρw,δE=∫w δρ=∫w δρ+∫ρDw[δρ],(Dw)∗ρ=0.(15) E=\int\rho w,\quad \delta E=\int w\,\delta\rho=\int w\,\delta\rho+\int\rho Dw[\delta\rho], \quad (Dw)^*\rho=0. \tag{15}

At ρ∗\rho_* and uniform q=pq=p, both w=ωw=\omega and Ω=ω2+c2∣p∣2\Omega=\sqrt{\omega^2+c^2|p|^2} are spatially constant. The coefficient ω/Ω−1\omega/\Omega-1 in (14) is constant, so (15) cancels the entire Hessian-response term. The density derivative is exactly Ω\Omega, and translation covariance supplies

ψ(y,t)=eip⋅y−iΩtρ∗(y−X0−vt),v=c2p/Ω,E=NΩ,P=Np,Mrest=Nωc2I.(16) \psi(y,t)=e^{ip\cdot y-i\Omega t}\sqrt{\rho_*(y-X_0-vt)},\quad v=c^2p/\Omega,\quad \mathcal E=N\Omega,\quad\mathcal P=Np, \quad M_{\rm rest}=\frac{N\omega}{c^2}I. \tag{16}

Thus one changed functional follows each admitted positive stationary frequency without separate inertia tuning. Homogeneity retains amplitude freedom. It does not construct the stationary branches or derive their count spectrum. The underlying ww may be nonlocal. Nodes, zeros or sign changes of ww, and functional differentiability require their own analysis; the absolute value in (13) does not prove differentiability at w=0w=0. A signed nodal shell cannot be replaced by its modulus while retaining its branch equation.

All Compact Field Variations for the Actual GC Gaussian

The Gaussian tends to zero at infinity, and a local perturbation can change the nonlocal GC source's sign in distant tails. There is no asserted positive-ww open L2L^2 neighborhood. Nevertheless the actual positive GC Gaussian gives an exact variational weak solution of FL against every compact smooth complex field variation. The following amplitude proof establishes that scope directly.

On real amplitudes, write

Ea[a]=HGC[a],g[a]=GGC[a],dEa[η]=2∫g[a]η,Ea[a]=∫ag[a]. E_a[a]=H_{\rm GC}[a],\quad g[a]=G_{\rm GC}[a],\quad dE_a[\eta]=2\int g[a]\eta,\quad E_a[a]=\int a g[a].

For a>0a>0, E[ρ]=HGC[ρ]E[\rho]=H_{\rm GC}[\sqrt\rho] has w=g[a]/aw=g[a]/a. Therefore (13) is algebraically identical to

HFL[a,θ]=Ea[a]+C(a,g[a],a∇θ),C(a,g,b)=∫a[g2+c2∣b∣2−∣g∣].(17) H_{\rm FL}[a,\theta]=E_a[a]+\mathcal C(a,g[a],a\nabla\theta),\qquad \mathcal C(a,g,b)=\int a[\sqrt{g^2+c^2|b|^2}-|g|]. \tag{17}

This introduces no change where a>0a>0, and removes division by aa from the energy. Products are integrable for a,g,b∈L2a,g,b\in L^2 by Cauchy–Schwarz; for nonnegative aa, 0≤C≤c∫a∣b∣0\le\mathcal C\le c\int a|b|. Bounded phase gradient is sufficient, including the Gaussian and its small compact smooth variations. Defining an energy at a=0a=0 would not itself prove differentiability through nodes.

At a0a_0, GC has a strong fixed-direction derivative

g[a0+ϵη]=μa0+ϵDG[a0]η+oL2(ϵ).(18) g[a_0+\epsilon\eta]=\mu a_0+\epsilon DG[a_0]\eta+o_{L^2}(\epsilon). \tag{18}

To justify it, use the bounded window analysis map A\mathcal A from the GC regularity proof. Every base Gaussian window is nonzero, so its local perspective functional is smooth near Axa0\mathcal A_xa_0. Its Hessian applied to Axη\mathcal A_x\eta converges pointwise in anchor and is dominated by 2C∗∥Axη∥2C_*\|\mathcal A_x\eta\|. Dominated convergence in squared anchor norm, followed by bounded synthesis A∗\mathcal A^*, gives (18). This is a strong derivative for each fixed direction, not a Fréchet derivative uniform over all L2L^2 directions.

The integrated Hessian is self-adjoint. Degree-two amplitude homogeneity gives DG[a0]a0=g[a0]=μa0DG[a_0]a_0=g[a_0]=\mu a_0. Thus, for L=DG[a0]−μIL=DG[a_0]-\mu I,

La0=0,∫a0Lη=0.(19) La_0=0,\qquad \int a_0L\eta=0. \tag{19}

Consider the candidate (16) at ω=μ\omega=\mu and a smooth compact spacetime perturbation ζ\zeta. The Gaussian has a positive minimum on the compact moving test region over its finite time interval. For sufficiently small ϵ\epsilon, ψ0+ϵζ\psi_0+\epsilon\zeta is nowhere zero and admits smooth amplitude/phase variables. Their tangents are

η=Re⁡(e−iθ0ζ),ξ=Im⁡(e−iθ0ζ)/a0. \eta=\operatorname{Re}(e^{-i\theta_0}\zeta),\qquad \xi=\operatorname{Im}(e^{-i\theta_0}\zeta)/a_0.

Both are compact smooth functions, and conversely arbitrary such η,ξ\eta,\xi arise from ζ=eiθ0(η+ia0ξ)\zeta=e^{i\theta_0}(\eta+i a_0\xi). These are all local field directions, not only Gaussian collective-coordinate variations.

The amplitude path satisfies aϵ=a0+ϵη+oL2(ϵ)a_\epsilon=a_0+\epsilon\eta+o_{L^2}(\epsilon). GC Lipschitzness and (18) imply g[aϵ]=μa0+ϵk+oL2(ϵ)g[a_\epsilon]=\mu a_0+\epsilon k+o_{L^2}(\epsilon), k=DG[a0]ηk=DG[a_0]\eta. The tangent of bϵ=aϵ∇θϵb_\epsilon=a_\epsilon\nabla\theta_\epsilon is ηp+a0∇ξ\eta p+a_0\nabla\xi. The Euclidean norm and absolute value in (17) are Lipschitz. At the base, a0>0a_0>0 and g=μa0>0g=\mu a_0>0 almost everywhere, so their directional derivatives exist almost everywhere. Difference quotients are controlled by integrable L2L^2 products, including a0(∣k∣+c∣ηp+a0∇ξ∣)a_0(|k|+c|\eta p+a_0\nabla\xi|). Dominated convergence handles exact tangent lines, and Lipschitz/product bounds handle the oL2o_{L^2} remainders. Sign changes of the perturbed source in distant tails therefore cause no problem for this derivative.

The complete correction variation is

δC=2(Ω−μ)∫a0η+(μ/Ω−1)∫a0(k−μη)+∫a02c2pΩ⋅∇ξ. \delta\mathcal C=2(\Omega-\mu)\int a_0\eta +(\mu/\Omega-1)\int a_0(k-\mu\eta) +\int a_0^2\frac{c^2p}{\Omega}\cdot\nabla\xi.

Equation (19) cancels the middle term. Adding δEa=2μ∫a0η\delta E_a=2\mu\int a_0\eta gives

δHFL=2Ω∫a0η+∫ρ0v⋅∇ξ,v=c2p/Ω.(20) \delta H_{\rm FL}=2\Omega\int a_0\eta+\int\rho_0v\cdot\nabla\xi, \qquad v=c^2p/\Omega. \tag{20}

Since δρ=2a0η\delta\rho=2a_0\eta, this is the full density/phase derivative at the branch. The traveling history obeys θt=−Ω\theta_t=-\Omega, ρt+∇⋅(ρv)=0\rho_t+\nabla\cdot(\rho v)=0; spacetime integration by parts makes δS=0\delta S=0 for every compact smooth complex field variation. Translation covariance and the Gaussian's positive minimum on the compact test region make the estimates uniform over the test's finite time interval.

Every positive GC Gaussian at depths two, three, four, five, six and ten therefore gives a global explicit traveling history that is a variational weak solution of the changed FL action, with arbitrary positive amplitude, translation and orientation, finite complete energy and momentum, and positive rest response (12). PM has the same compact-variation property by its simpler direct amplitude variation.

This exceeds ansatz stationarity, but is weaker than a neighborhood evolution theorem. Neither PM nor FL inherits GC's global L2L^2 C1,1C^{1,1} or Cauchy result. Continuity of their vector fields on an open field domain, uniqueness, perturbative persistence, arbitrary-node evolution, clustering for their changed laws, excited positive branches and occupied-state selection remain open. The exact Gaussian ground solutions do not establish inherited signed or nodal Hermite shells, observed charge or spin, or the maintained mass family.

The mobility checker and independent review checker retain finite algebraic controls for modulation, complete PM residuals, canonical conventions and homogeneous Hessian cancellation. Their executed source calculations reported 76 and 20 exact checks respectively. A separate finite two-density example has stationary frequencies two and three under one homogeneous shape law and positive ratio-mode curvatures; it illustrates the full Euler cancellation without constructing a spatial count spectrum. The continuum and compact-variation arguments above carry the actual existence scope.