-
Well-posed constrained evolution of 3+1 formulations of General Relativity
Authors:
V. Paschalidis,
A. M. Khokhlov,
I. D. Novikov
Abstract:
We present an analysis of well-posedness of constrained evolution of 3+1 formulations of GR. In this analysis we explicitly take into account the energy and momentum constraints as well as possible algebraic constraints on the evolution of high-frequency perturbations of solutions of Einstein's equations. In this respect, our approach is principally different from standard analyses of well-posed…
▽ More
We present an analysis of well-posedness of constrained evolution of 3+1 formulations of GR. In this analysis we explicitly take into account the energy and momentum constraints as well as possible algebraic constraints on the evolution of high-frequency perturbations of solutions of Einstein's equations. In this respect, our approach is principally different from standard analyses of well-posedness of free evolution in general relativity. Our study reveals the existence of subsets of the linearized Einstein's equations that control the well-posedness of constrained evolution. It is demonstrated that the well-posedness of ADM, BSSN and other 3+1 formulations derived from ADM by adding combinations of constraints to the right-hand-side of ADM and/or by linear transformation of the dynamical ADM variables depends entirely on the properties of the gauge. For certain classes of gauges we formulate conditions for well-posedness of constrained evolution. This provides a new basis for constructing stable numerical integration schemes for a classical Arnowitt--Deser--Misner (ADM) and many other 3+1 formulations of general relativity.
△ Less
Submitted 20 December, 2006; v1 submitted 14 November, 2005;
originally announced November 2005.
-
Exponential stretch-rotation (ESR) formulation of general relativity
Authors:
A. M. Khokhlov,
I. D. Novikov
Abstract:
We study a tensorial exponential transformation of a three-dimensional metric of space-like hypersurfaces embedded in a four-dimensional space-time, $γ_{ij} = e^{ε_{ikm}θ_m} e^{φ_k} e^{-ε_{jkn}θ_n}$, where $φ_k$ are logarithms of the eigenvalues of $γ_{ij}$, $θ_k$ are rotation angles, and $ε_{ijk}$ is a fully anti-symmetric symbol. Evolution part of Einstein's equations, formulated in terms of…
▽ More
We study a tensorial exponential transformation of a three-dimensional metric of space-like hypersurfaces embedded in a four-dimensional space-time, $γ_{ij} = e^{ε_{ikm}θ_m} e^{φ_k} e^{-ε_{jkn}θ_n}$, where $φ_k$ are logarithms of the eigenvalues of $γ_{ij}$, $θ_k$ are rotation angles, and $ε_{ijk}$ is a fully anti-symmetric symbol. Evolution part of Einstein's equations, formulated in terms of $φ_k$ and $θ_k$, describes time evolution of the metric at every point of a hyper-surface as a continuous stretch and rotation of a local coordinate system in a tangential space. The exponential stretch-rotation (ESR) transformation generalizes particular exponential transformations used previously in cases of spatial symmetry. The ESR 3+1 formulation of Einstein's equations may have certain advantages for long-term stable integration of these equations.
△ Less
Submitted 18 March, 2003;
originally announced March 2003.
-
A scalar hyperbolic equation with GR-type non-linearity
Authors:
A. M. Khokhlov,
I. D. Novikov
Abstract:
We study a scalar hyperbolic partial differential equation with non-linear terms similar to those of the equations of general relativity. The equation has a number of non-trivial analytical solutions whose existence rely on a delicate balance between linear and non-linear terms. We formulate two classes of second-order accurate central-difference schemes, CFLN and MOL, for numerical integration…
▽ More
We study a scalar hyperbolic partial differential equation with non-linear terms similar to those of the equations of general relativity. The equation has a number of non-trivial analytical solutions whose existence rely on a delicate balance between linear and non-linear terms. We formulate two classes of second-order accurate central-difference schemes, CFLN and MOL, for numerical integration of this equation. Solutions produced by the schemes converge to exact solutions at any fixed time $t$ when numerical resolution is increased. However, in certain cases integration becomes asymptotically unstable when $t$ is increased and resolution is kept fixed. This behavior is caused by subtle changes in the balance between linear and non-linear terms when the equation is discretized. Changes in the balance occur without violating second-order accuracy of discretization. We thus demonstrate that a second-order accuracy and convergence at finite $t$ do not guarantee a correct asymptotic behavior and long-term numerical stability.
Accuracy and stability of integration are greatly improved by an exponential transformation of the unknown variable.
△ Less
Submitted 19 March, 2003; v1 submitted 18 March, 2003;
originally announced March 2003.
-
Gauge stability of 3+1 formulations of General Relativity
Authors:
A. M Khokhlov,
I. D. Novikov
Abstract:
We present a general approach to the analysis of gauge stability of 3+1 formulations of General Relativity (GR). Evolution of coordinate perturbations and the corresponding perturbations of lapse and shift can be described by a system of eight quasi-linear partial differential equations. Stability with respect to gauge perturbations depends on a choice of gauge and a background metric, but it do…
▽ More
We present a general approach to the analysis of gauge stability of 3+1 formulations of General Relativity (GR). Evolution of coordinate perturbations and the corresponding perturbations of lapse and shift can be described by a system of eight quasi-linear partial differential equations. Stability with respect to gauge perturbations depends on a choice of gauge and a background metric, but it does not depend on a particular form of a 3+1 system if its constrained solutions are equivalent to those of the Einstein equations. Stability of a number of known gauges is investigated in the limit of short-wavelength perturbations. All fixed gauges except a synchronous gauge are found to be ill-posed. A maximal slicing gauge and its parabolic extension are shown to be ill-posed as well. A necessary condition is derived for well-posedness of metric-dependent algebraic gauges. Well-posed metric-dependent gauges are found, however, to be generally unstable. Both instability and ill-posedness are associated with perturbations of physical accelerations of reference frames.
△ Less
Submitted 13 December, 2001; v1 submitted 7 November, 2001;
originally announced November 2001.