Registry · Proposition V.P35 tau-effective formalized

V.P35 — Conduction is near-field B-sector transport

Conduction is near-field B-sector transport: thermal conduction in a lattice is mediated by near-field B-sector boundary characters with wavelength comparable to the lattice spacing; conductivity kappa_th = (1/3) c_V v_s l_mfp, where all three quantities are B-sector readouts.

Book V Part 3 Ch. 24

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.HeatEM

Symbol: Tau.BookV.Thermodynamics.ConductionIsNearfieldBsectorTransport