Registry · Definition V.D268 tau-effective formalized

V.D268 — Transition Radius

Transition Radius: r_tr = √(GM/a₀), where g_N = a₀ (base = fiber channels equal). NGC 3198: r_tr ≈ 4.2 kpc ≈ 1.6 R_d. DDO 154: r_tr ≈ 0.25 kpc << R_d. Dwarfs and LSB galaxies have r_tr << R_d — entirely fiber-dominated.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.transitionRadius