Registry · Theorem V.T91 tau-effective formalized

V.T91 — Accretion Luminosity Bound

Accretion luminosity L_acc = eta_acc M_dot c^2 <= L_Edd, where the non-spinning accretion efficiency eta_acc ~ iota_tau^2/3 ~ 4% arises from the ratio of Schwarzschild radius to ISCO radius, and the Eddington luminosity bounds the output.

Book V Part 5 Ch. 40

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.AccretionJets

Symbol: Tau.BookV.Astrophysics.AccretionLuminosityBound