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.
In the Spatially flat FLRW metric, neglect metric perturbations and write . The kinetic invariant is then exactly quadratic in field derivatives:
Subtracting gives the second-order expansion
In the derivative-dominated approximation, with treated as slowly varying. Thus and
This uses the linear flat-to-comoving slicing relation. Differentiating its slowly varying coefficient would add terms involving undifferentiated ; it is not an exact nonlinear gauge transformation, and those neglected terms do not alter the leading pure coefficient computed here.
Only and contribute to the requested three-time-derivative term. Therefore the directly evaluated cubic coefficient is
This is the derivative-cubic coefficient of a noncanonical scalar. For a physical scalar field theory, differentiating at fixed gives . Its sound speed is consequently
The minus sign printed in the denominator of reverses the asserted coefficient identity; it must be a plus. The printed background equation also lacks a power: it is in the stated reduced-Planck units. A stable propagating scalar has positive time-kinetic coefficient and positive gradient coefficient , as summarized by noncanonical scalar kinetic stability.
The unfactored expression for stays meaningful if , although separately then need not exist. For a canonical kinetic term with no higher kinetic derivatives, . The cubic curvature action for a P(X, phi) scalar field can include other vertices and gravitational terms; they are outside this requested derivative coefficient.
In cosmic time, all three Friedmann-Lemaitre-Robertson-Walker metrics can be written
where
The closed spatial slice is a three-sphere of radius , so
The complete flat and open spatial slices are noncompact and have
For a homogeneous fluid in the Spatially flat FLRW metric, the equations in part (a) reduce to the cosmological perfect-fluid continuity equation
while homogeneity makes the spatial relativistic Euler equation automatic. The Einstein field equations give the flat Friedmann equation and Friedmann acceleration equation,
equivalently .
A suitable Spatially flat FLRW metric is
Both source and detector are comoving, so cosmological redshift stretches the wave period in proportion to the scale factor. If is the local source frequency at emission and is the frequency measured in Earth's local frame, then
The same relation applies to gravitational waves propagating on the FLRW background in the geometric-optics regime.