Registry · Definition V.D123 tau-effective formalized

V.D123 — Galactic Capacity Profile --- V.D56

For a disk galaxy with baryonic surface density Sigma_b(r), the galactic capacity profile is the solution of nabla^2 ln C_D = -(4 pi G/c^2) Sigma_b - (1/ell_tau^2) ln(C_D/C_D^infty), a nonlinear equation with tau-scale length ell_tau.

Book V Part 5 Ch. 37

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.GalacticCapacityProfileVd56