Conserved scalar-field energy in a static spacetime (source code)

= Conserved scalar-field energy in a static spacetime

The <stress-energy current from a Killing vector> associated with the static time translation gives a positive conserved energy for a massive real scalar. Its hypersurface independence follows from current conservation and the divergence theorem.