Einstein's equations and equivalent hyperbolic dynamical systems

We discuss several explicitly causal hyperbolic formulations of Einstein’s dynamical 3 + 1 equations in a coherent way, emphasizing throughout the fundamental role of the “slicing function,” α—the quantity that relates the lapse N to the determinant of the spatial metric \( \bar g \) through N = \( \bar g^{1/2} \alpha \) . The slicing function allows us to demonstrate explicitly that every foliation of spacetime by spatial time-slices can be used in conjunction with the causal hyperbolic forms of the dynamical Einstein equations. Specifically, the slicing function plays an essential role (1) in a clearer form of the canonical action principle and Hamiltonian dynamics for gravity and leads to a recasting (2) of the Bianchi identities ∇β G β α ≡ 0 as a well-posed system for the evolution of the gravitational constraints in vacuum, and also (3) of ∇β T β α e 0 as a well-posed system for evolution of the energy and momentum components of the stress tensor in the presence of matter, (4) in an explicit rendering of four hyperbolic formulations of Einstein’s equations with only physical characteristics, and (5) in providing guidance to a new “conformal thin sandwich” form of the initial value constraints.