Registry · Corollary V.C08 tau-effective formalized

V.C08 — Vacuum source term is finite

Vacuum source term is finite: T_vac = E_bdry/V = (1/V) integral over L of |H_partial[omega_0]|^2 d-sigma, finite and independent of any momentum cutoff; the 10^{120} discrepancy does not arise because no mode sum appears in the tau-Einstein equation.

Book V Part 3 Ch. 25

Dependency Graph

Depends on (5)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.VacuumNoVoid

Symbol: Tau.BookV.Thermodynamics.VacuumSourceTermIsFinite