Related papers: Exploiting gauge and constraint freedom in hyperbo…
We find a one-parameter family of variables which recast the 3+1 Einstein equations into first-order symmetric-hyperbolic form for any fixed choice of gauge. Hyperbolicity considerations lead us to a redefinition of the lapse in terms of an…
The Einstein evolution equations have been written in a number of symmetric hyperbolic forms when the gauge fields--the densitized lapse and the shift--are taken to be fixed functions of the coordinates. Extended systems of evolution…
We present three-dimensional simulations of Einstein equations implementing a symmetric hyperbolic system of equations with dynamical lapse. The numerical implementation makes use of techniques that guarantee linear numerical stability for…
We propose a re-formulation of the Einstein evolution equations that cleanly separates the conformal degrees of freedom and the non-conformal degrees of freedom with the latter satisfying a first order strongly hyperbolic system. The…
The generalized harmonic representation of Einstein's equation is manifestly hyperbolic for a large class of gauge conditions. Unfortunately most of the useful gauges developed over the past several decades by the numerical relativity…
A class of gauges for the Einstein vacuum equations is introduced, along with three symmetric hyperbolic systems. The first implies the local realizability of the gauge. The second is the dynamical subset of the field equations. The third…
Outer boundary conditions for strongly and symmetric hyperbolic formulations of 3D Einstein's field equations with a live gauge condition are discussed. The boundary conditions have the property that they ensure constraint propagation and…
We study the properties of a modified version of the Bona-Masso family of hyperbolic slicing conditions. This modified slicing condition has two very important features: In the first place, it guarantees that if a spacetime is static or…
We investigate how the accuracy and stability of numerical relativity simulations of 1D colliding plane waves depends on choices of equation formulations, gauge conditions, boundary conditions, and numerical methods, all in the context of a…
We present two families of first-order in time and second-order in space formulations of the Einstein equations (variants of the Arnowitt-Deser-Misner formulation) that admit a complete set of characteristic variables and a conserved energy…
Well-posedness of the initial (boundary) value problem is an essential property, both of meaningful physical models and of numerical applications. To prove well-posedness of wave-type equations their level of hyperbolicity is an essential…
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,'' $\alpha$---the quantity that relates the lapse…
The evolution equations of Einstein's theory and of Maxwell's theory---the latter used as a simple model to illustrate the former--- are written in gauge covariant first order symmetric hyperbolic form with only physically natural…
We consider gauge theories from the free evolution point of view, in which initial data satisfying constraints of a theory are given. Because the constraints are compatible with the field equations they remain so. We study a model…
We show that well-posed, conformally-decomposed formulations of the 3+1 Einstein equations can be obtained by densitizing the lapse and by combining the constraints with the evolution equations. We compute the characteristics structure and…
In hyperbolic reductions of the Einstein equations the evolution of gauge conditions or constraint quantities is controlled by subsidiary systems. We point out a class of non-linearities in these systems which may have the potential of…
We find a choice of variables for the 3+1 formulation of general relativity which casts the evolution equations into (flux-conservative) symmetric-hyperbolic first order form for arbitrary lapse and shift, for the first time. We redefine…
We give a well posed initial value formulation of the Baumgarte-Shapiro-Shibata-Nakamura form of Einstein's equations with gauge conditions given by a Bona-Masso like slicing condition for the lapse and a frozen shift. This is achieved by…
The causal structure of Einstein's evolution equations is considered. We show that in general they can be written as a first order system of balance laws for any choice of slicing or shift. We also show how certain terms in the evolution…
Bonazzola, Gourgoulhon, Grandcl\'ement, and Novak [Phys. Rev. D {\bf 70}, 104007 (2004)] proposed a new formulation for 3+1 numerical relativity. Einstein equations result, according to that formalism, in a coupled elliptic-hyperbolic…