Registry · Definition V.D313 tau-effective formalized

V.D313 — Coronal Heating Flux

F_τ = ρ·v_A·v_conv²·(1-exp(-ι_τ²·L/λ_A)). For L/λ~10: F_τ≈2.1×10⁵ erg/cm²/s. Required: ~3×10⁵.

Book V Part 4 Ch. 32

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauAlfven

Symbol: Tau.BookV.FluidMacro.CoronalHeatingFlux