Registry · Proposition V.P39 tau-effective formalized

V.P39 — Casimir effect from boundary modes

Casimir effect from boundary modes: the Casimir force F_Cas = -pi^2 hbar c / (240 d^4) A is reproduced as the difference in boundary energies between constrained (plates) and unconstrained geometry, without invoking zero-point mode summation.

Book V Part 3 Ch. 25

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.VacuumNoVoid

Symbol: Tau.BookV.Thermodynamics.CasimirEffectFromBoundaryModes