Manuscript Em02-E@1 · Em02-E-v1.tex · proposition · f3795050
Proposition: Background and clock
Einstein–scalar theory and an explicit inflationary background › Fixed background · lines 324–359 · proof included or linked
Em02-E@1#prop:background
The pair solves (eq:Einstein)–(eq:KG). It is expanding and accelerating, and its scalar clock is nondegenerate on every compact subinterval of .
Proof. For a spatially flat homogeneous background, the equations obtained from (eq:Einstein)–(eq:KG) are
Substitution gives
which proves the first equation. The second follows from . Writing , the third equation has terms
whose sum is zero.
Finally, , , and has a positive lower bound on each compact time interval.
Displayed formulas in this passage
unlabeled · line 335
unlabeled · line 343
unlabeled · line 351