Registry · Definition V.D259 conjectural formalized

V.D259 — Linearized Capacity Gap

Linearized Capacity Gap: v_T85/v_screen = (c²ℓ_τ/(2GM))^{1/4} ≈ 2000 for NGC 3198. The c² factor in V.T85 requires the full nonlinear τ-Einstein equation with metric coupling g_μν. The linearized scalar capacity perturbation produces only GM/(2ℓ_τ), not GMc²/(2ℓ_τ). Key open problem: nonlinear PDE solution.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.linearizedCapacityGap