Registry · Definition IV.D76 tau-effective formalized

IV.D76 — Energy as CR-Tension

Energy of a CR-function f on τ³ is the holomorphic tension integral E[f] = ∫_{τ³} |∂̄_b f|² dμ. Measures the structural cost of maintaining a CR-compatible address.

Book IV Part 3 Ch. 22

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.EnergyAsCrtension