Registry · Theorem V.T63 tau-effective formalized

V.T63 — alpha governs macroscopic energy transport

Alpha governs macroscopic energy transport: the transport rate between any two macroscopic E1 configurations is proportional to the fine-structure constant alpha, as Gamma_transport propto alpha Delta E / Delta x^2; all three heat transfer modes scale linearly with alpha.

Book V Part 3 Ch. 24

Dependency Graph

Depends on (4)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.HeatEM

Symbol: Tau.BookV.Thermodynamics.AlphaGovernsMacroscopicEnergyTransport