Registry · Theorem V.T232 tau-effective formalized

V.T232 — Jet Collimation from Hoop Stress

Toroidal B_φ hoop stress P = B_φ²/(4πr) collimates jet. Equilibrium: sin(θ_jet) ≤ B_z/B_φ = ι_τ ≈ 0.341, recovering Jet Collimation Theorem from purely magnetic argument. Independent derivation of θ_jet ≤ 20°.

Book V Part 5 Ch. 40

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.AccretionJets

Symbol: Tau.BookV.Astrophysics.jet_collimation_from_hoop_stress