Registry · Theorem V.T201 conjectural formalized

V.T201 — Capacity Equation Numerical Solution

First-ever numerical solution of the linearized capacity equation (3D screened Poisson). Point-mass: u(r) = (GM/(c²r))·exp(−r/ℓ_τ). Screening term v_screen = √(GM/(2ℓ_τ)) ~ 0.07 km/s for NGC 3198 — correct qualitative behavior (constant at large r) but 4 orders of magnitude below observed ~150 km/s. The c² factor in V.T85 does NOT emerge from the linearized PDE.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.capacity_equation_solution