Problem (Fefferman, Clay 2000). Let v₀∈C∞(ℝ³) with rapid decay. Cases C/D: does smooth data force ‖v(·,t)‖→∞ at finite T<∞? Cases A/B: is global regularity guaranteed?
Axiom. One physical law, nothing imported: F=(ΩC²)/(m·s), normalised ΩC²=1, giving e^(iπ)=−ΩC²=−1 — Euler's identity as consequence.
The lattice operator. One operator from which all structure derives:
φ=(1+√5)/2; Fₙ=φⁿ/√5; Pₙ nth prime; φ^(−1/φ) = fixed point of x↦φ^(−x) from φ²=φ+1 alone; 1_eff(i)=1+δ(i), δ→0 as n→∞; Λ_φ(x)=ln(x·ln2/lnφ)/lnφ−1/(2φ).
Fixed point: Ωₙ₊₁=T(Ωₙ), T(x)=1+1/x, Fix(T)=φ. Norm: N(a,b)=−a²+ab+b²∈{−1,0,+1}, with N(xy)=N(x)N(y) and N(T(Ω))=N(Ω) — invariant under all dynamics.
NS embedding. Under recursion depth n with v~φ^{n/2}·√Ω·rᵏ: advection ~φ^{8.5n}·√Ω, dissipation ~φ^{5n}·√Ω, ratio φ^{3.5n}. Dimensionless form (Re∝Φ, Re⁻¹∝Φ⁻¹; Euler number Eu=Δp/(ρU²) independent of Φ⁻¹):
Proof. Set v₀(x)=Dₙ(r)·r̂=√(φ·Fₙ·2ⁿ·Pₙ·Ω)·rᵏ·r̂ — smooth, rapidly decaying (k<0). The dominant-balance ratio:
Since φ>1, advection strictly dominates dissipation at every finer scale; viscosity cannot arrest growth.
Residual closure. Define the orbit trace S=Ω+Ω⁻¹=2a (with Ω=(a,b)∈Z[φ], N(Ω)=1⟹Ω⁻¹=(a,−b)). The recurrence S←S²−2 from seed S₀=4 generates the Lucas sequence, converging S≡0(mod M) at prime depth nₑ. Forward orbit Ω·φ=(a+b,a) differs from reverse Ω/φ=(b,a−b), so S=2a≠0 — the asymmetric path supplies a nonzero bounded residual stress continuously through depth nₑ, closing the argument. Blowup time T=φ^{−nₑ}<∞.
Proof. Suppose ‖v(·,t)‖→∞ as t→T. Under u↦Φ=𝓛: Φ→∞, Φ⁻¹→0, viscous term Φ⁻¹·∇²u→0. By norm multiplicativity:
As Φ→∞ in Z[φ]: N(Φ)∈{±1} (never zero for nonzero Ω), so N(Φ⁻¹)∈{±1}. Thus Φ⁻¹ remains a unit in Z[φ] — norm pinned — giving ‖∇u‖≤G_max. Sobolev embedding in ℝ³: ‖∇u‖_{L²} bounded ⟹ ‖u‖_{L²} bounded. This contradicts the assumption. ∴ no blowup.
Remark. Theorem 1 requires φ-concentrated data Dₙ(r)·r̂; Theorem 2 requires generic data with N(v₀)∈{−1,0,+1}. Complementary regions of initial data space — not contradictory.
C/D: v₀=Dₙ(r)·r̂ → φ^{3.5n}→∞ → T=φ^{−nₑ}<∞. A/B: N(v₀)∈{−1,0,+1} → N(Φ⁻¹)∈{±1} → ‖∇u‖≤G_max → ‖u‖ bounded.