Contents · Previous · Next

It is a stable center of the reduced fixed-action two-mode dynamics at every maintained depth. This projected model has nonzero leakage under the full unprojected local quartic law, so it is not a solved full spatial particle. Its lock also fails equal bare modal energy: it requires I1/J>1/2I_1/J>1/2, whereas equal energies with ν1>ν0\nu_1>\nu_0 require I1/J<1/2I_1/J<1/2. The complete energy identity is ΩJ=H2+2H4\Omega J=H_2+2H_4, not H=ΩJH=\Omega J. Thus locking and equal energy must be solved together in a future action.

The Kernel Is a Trace, With a Precise Spatial Profile

For the ball weight w=1−r2w=\sqrt{1-r^2}, put Wd=∫w dxW_d=\int w\,dx, λ=(d+1)/2\lambda=(d+1)/2, and let KNK_N be the reproducing kernel in the unnormalized measure w dxw\,dx. The exact identity is

w2KN(x,x)=DN+1+DN−CN+1λ(2r2−1)−CNλ(2r2−1)2(d+1)Wd. w^2K_N(x,x)=\frac{D_{N+1}+D_N- C_{N+1}^{\lambda}(2r^2-1)-C_N^{\lambda}(2r^2-1)}{2(d+1)W_d}.

Here CnλC_n^\lambda denotes a Gegenbauer polynomial. Integrating the auxiliary spherical addition kernel over its three-coordinate fibre derives the identity; those auxiliary coordinates are not physical dimensions. Independent separated Jacobi sums verify it. With cd=[(d+1)Wd]−1c_d=[(d+1)W_d]^{-1},

w2KNDNcd=1+d2(N+1)−CN+1λ(2r2−1)+CNλ(2r2−1)2DN. \frac{w^2K_N}{D_Nc_d}=1+\frac d{2(N+1)}- \frac{C_{N+1}^{\lambda}(2r^2-1)+C_N^{\lambda}(2r^2-1)}{2D_N}.

At fixed interior radius this tends to one. At the center it is exactly one for odd NN, and (N+d+1)/(N+1)(N+d+1)/(N+1) for even NN. At every finite cutoff it vanishes at the rim. The limiting inverse-weight trace density therefore has a boundary layer; it cannot be imposed uniformly to the edge. If utrace=εwKNu_{\rm trace}=\varepsilon wK_N, then utracewu_{\rm trace}w tends to an interior constant after normalization by DND_N. Energy divided by material density instead scales as 1/w21/w^2, not a constant.

A coherent field does not automatically realize this trace. For coefficients a(t)a(t), its averaged quadratic density is u(x)T⟨aaT⟩u(x)u(x)^T\langle aa^T\rangle u(x). Equal diagonal modal energies do not fix the cross correlations. One common-frequency scalar field has covariance rank at most two; isotropic covariance in an arbitrary larger band does not follow. Distinct deterministic integer frequencies can produce an exactly diagonal cycle average while retaining instantaneous beats. This concerns real field motion, not random particle positions.

Nor is the trace automatically the complete local energy. For the positive local derivative-energy representative of the ball action, writing P(L)=∑bmLmP(L)=\sum b_mL^m, Qodd(z)=∑m oddbmzm−1Q_{\rm odd}(z)=\sum_{m\text{ odd}}b_mz^{m-1}, and degree-shell kernels K[k]K_{[k]}, diagonal averaging gives

uderiv=εw[KN−14L∑k=0NQodd(λk)P(λk)K[k]]. u_{\rm deriv}=\varepsilon w\left[K_N- \frac14L\sum_{k=0}^N\frac{Q_{\rm odd}(\lambda_k)}{P(\lambda_k)}K_{[k]}\right].

The correction integrates to zero but can change the local density. Material backreaction must be varied from the action, including its kinetic measure.

Supporting Energy and the Static Load

For generalized modes Kaj=ωj2MajKa_j=\omega_j^2Ma_j, aiTMaj=δija_i^TMa_j=\delta_{ij}, a slow conservative support variation at fixed actions gives

δEsupport+∑jIj2ωjajT(δK−ωj2δM)aj=0. \delta E_{\rm support}+\sum_j\frac{I_j}{2\omega_j} a_j^T(\delta K-\omega_j^2\delta M)a_j=0.

At an equal-energy reference this wave term is ε δlog⁡∏jωj\varepsilon\,\delta\log\prod_j\omega_j. The complete material pullback is statically isospectral, so this load vanishes for its admitted static deformations. A nonconstant trace density alone does not contradict that cancellation. Dynamical carrier beats remain a separate source.

A conditional scale model illustrates complete energy accounting. Let U(L)=aLpU(L)=aL^p, ωj(L)=vjL−q\omega_j(L)=v_jL^{-q}, with positive a,p,qa,p,q. At fixed actions, H=aLp+BL−qH=aL^p+BL^{-q}, B=∑IjvjB=\sum I_jv_j, so equilibrium requires pU=qEwavepU=qE_{\rm wave}. If each wave mode has energy ε\varepsilon there, then

L∗p=qDεpa,Etotal=(1+q/p)Dε,L∗2H′′(L∗)=p(p+q)aL∗p>0. L_*^p=\frac{qD\varepsilon}{pa},\quad E_{\rm total}=(1+q/p)D\varepsilon,\quad L_*^2H''(L_*)=p(p+q)aL_*^p>0.

Contents · Previous · Next