Contents · Previous · Next
ztt+Gphyszt+Az=0,A=T∗T≥0,Gphys∗=−Gphys,D(A)=H2(R10),(N2)
with physical Hilbert space L2(dx) and form domain H1. The density
reconstruction is bounded in this phase space. Finite residual energy
alone is a weaker condition than the inhomogeneous physical norm used here.
Exhaustive Static Kernel And The Common-Phase Obstruction
The positive occupied radial and empty forms set u=hl=0 in a static
zero mode. The complete flow square has remainder at least
(223/424)wΩ∣v∣2, so v=0 and ∇χ=0.
Frame-gradient and phase squares then give constant F and
θk(x)=αk+(Fξk)⋅x.(N3)
For η=0 all D constants αk are allowed. For η>0
the phase edges force αk=α0+k⋅ϖ, a space of
dimension d+1. To check the support kernel, put S=W−1/4. Its first
residual gives Z=(L/2)S−5∇S; the other two become
Bsup/W=(L/2)S−5(∇2S−2I/L2),Gsup=S−10(L2∣∇S∣2/4−S+1).
Their linearized zero conditions are
∇2δS=0 and x⋅∇δS−δS=0.
Hence δS is linear with no constant term, exactly
Y=−Dsa for a translation a∈R10. There is no extra
support size or amplitude zero mode. These modes are tangents to the
exact translated, rotated and rephased branch, and their physical H2
norms are finite. All 45 frame rotations are retained, including
rd=(10−d)(9−d)/2 rotations in unused directions. Consequently
dimkerA=55+D(η=0),dimkerA=56+d(η>0).(N4)
The integrated gyro pairing of any two static modes vanishes, but the
gyro itself annihilates only the unused-frame rotations. In particular,
writing αˉ=E[α] and
γ=α−αˉ+(Fξ)⋅x, its covector rows are
(Gk)χ=−a⋅∇w,(Gk)u=−2wγ,(Gk)Y=−w′(W0)αˉeW,(Gk)v=μsDsTDsa−εwBγ.(N5)
The frame and horizontal-phase rows vanish. Integration of the possible
support/common-phase pairing gives ∫∂iwdx=0.
This necessary orthogonality does not imply that −Gphysk lies in
the range of A at its essential zero threshold.
A generalized partner means a finite physical solution
z(t)=tk+z1 with Ak=0 and
Az1=−Gphysk. A nonzero αˉ would require
the independent support equation
KsY=αˉw′(W0)eW. In its exterior,
w′(W0)=2σϵp8L8∣x∣−8[1+O(∣x∣−2)],μs=Csσϵp8[1+O(∣x∣−2)].
Take nonnegative nonzero φ∈Cc∞(1<∣x∣<2),
fR=R−5φ(x/R) and
Contents · Previous · Next