Registry · Definition V.D266 tau-effective formalized

V.D266 — Two-Channel Acceleration Decomposition

Two-Channel Acceleration Decomposition: on τ³ = τ¹ ×_f T², the total gravitational acceleration decomposes as g² = g_base² + g_fiber² = g_N² + g_N·a₀ (Pythagorean sum). Base channel (τ¹): g_base = g_N = GM/r². Fiber channel (T²): g_fiber = √(g_N·a₀). Equivalently g = g_N·√(1 + a₀/g_N).

Book V Part 5 Ch. 37

Dependency Graph

Depends on (3)

Depended on by (8)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.twoChannelDecomposition