Registry · Definition V.D267 tau-effective formalized

V.D267 — Channel Fraction

Channel Fraction: f_fiber = g_fiber²/g² = a₀/(g_N+a₀) = 1/(1+y) where y = g_N/a₀. Measures fiber contribution to total acceleration squared. NGC 3198 at 30 kpc: f_fiber ≈ 0.98 — fiber channel provides 98% of total gravitational acceleration.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.channelFraction