Use signature , the positive spatial metric , and a future-directed unit normal , so . This fixes the sign of the normal to agree with the specified . The negative normal covector printed in the source would instead give ; its orientation and the displayed derivative cannot both be retained. Use the operational negative-expansion convention for the extrinsic curvature of a spatial hypersurface, , which is the convention giving the requested expanding-universe sign. With this future normal and signature it equals ; the source's identity instead uses its past-pointing normal.
For the scalar-field matter projections, put and . Decomposing the scalar gradient into normal and tangent parts gives . Contracting the Klein-Gordon scalar stress-energy tensor with the normal and the spatial projection tensor therefore yields
In particular, the positive spatial metric raises the indices in ; raising them with the four-metric would reverse that spatial sign. These quantities are the energy density, momentum density and spatial stress in the normal frame.
For the homogeneous Spatially flat FLRW metric, , and . Consequently , , , , and
The intrinsic Ricci scalar is zero and . The Hamiltonian constraint thus gives the scalar-field Friedmann equation:
The momentum constraint is identically satisfied, since its homogeneous spatial derivatives and vanish. The scalar equation reduces to . Substituting and multiplying by gives the background inflaton equation of motion:
No derivation of the supplied gravitational constraints is needed.
Define the stress-energy tensor by metric variation with the scalar held fixed:
Use compactly supported variations to remove boundary terms. The first covariant derivative of a scalar field is an ordinary derivative, so it has no connection variation. Varying the kinetic term and the volume form gives
For the curvature term set . Using part (a), its variation is
Applying integration by parts twice moves each pair of derivatives from the metric variation onto . The result is
where is the Einstein tensor and is the d'Alembert operator. Comparing with the defining variation gives the stress-energy tensor of a nonminimally coupled scalar field:
The factor follows from the action's coupling ; a convention using would instead give in that bracket. At this reduces to the massless Klein-Gordon scalar stress-energy tensor.
Using both metric-variation formulas from part a gives the Klein-Gordon scalar stress-energy tensor
Its divergence is
because the two Hessian terms cancel by symmetry. It vanishes on every solution of the Klein-Gordon equation.
Let and let the future unit normal to be . The conserved Killing energy is the flux
Substitution of the Klein-Gordon scalar stress-energy tensor gives exactly
Apply the divergence theorem to the slab . The spatial-boundary flux vanishes because decays, and makes the two time-slice fluxes equal. Thus this conserved scalar-field energy in a static spacetime is independent of .
For signature and future normal , write and use the positive induced metric for . The Klein-Gordon scalar stress-energy tensor has normal-frame density , momentum and spatial stress . The spatial index convention and normal orientation must be specified.