Improved outer boundary conditions for Einstein's field equations

In a recent article, we constructed a hierarchy B_L of outer boundary conditions for Einstein's field equations with the property that, for a spherical outer boundary, it is perfectly absorbing for linearized gravitational radiation up to a given angular momentum number L. In this article, we generalize B_2 so that it can be applied to fairly general foliations of spacetime by space-like hypersurfaces and general outer boundary shapes and further, we improve B_2 in two steps: (i) we give a local boundary condition C_2 which is perfectly absorbing including first order contributions in 2M/R of curvature corrections for quadrupolar waves (where M is the mass of the spacetime and R is a typical radius of the outer boundary) and which significantly reduces spurious reflections due to backscatter, and (ii) we give a non-local boundary condition D_2 which is exact when first order corrections in 2M/R for both curvature and backscatter are considered, for quadrupolar radiation.Comment: accepted Class. Quant. Grav. numerical relativity special issue; 17 pages and 1 figur

An axisymmetric evolution code for the Einstein equations on hyperboloidal slices

We present the first stable dynamical numerical evolutions of the Einstein equations in terms of a conformally rescaled metric on hyperboloidal hypersurfaces extending to future null infinity. Axisymmetry is imposed in order to reduce the computational cost. The formulation is based on an earlier axisymmetric evolution scheme, adapted to time slices of constant mean curvature. Ideas from a previous study by Moncrief and the author are applied in order to regularize the formally singular evolution equations at future null infinity. Long-term stable and convergent evolutions of Schwarzschild spacetime are obtained, including a gravitational perturbation. The Bondi news function is evaluated at future null infinity.Comment: 21 pages, 4 figures. Minor additions, updated to agree with journal versio

Stable radiation-controlling boundary conditions for the generalized harmonic Einstein equations

This paper is concerned with the initial-boundary value problem for the Einstein equations in a first-order generalized harmonic formulation. We impose boundary conditions that preserve the constraints and control the incoming gravitational radiation by prescribing data for the incoming fields of the Weyl tensor. High-frequency perturbations about any given spacetime (including a shift vector with subluminal normal component) are analyzed using the Fourier-Laplace technique. We show that the system is boundary-stable. In addition, we develop a criterion that can be used to detect weak instabilities with polynomial time dependence, and we show that our system does not suffer from such instabilities. A numerical robust stability test supports our claim that the initial-boundary value problem is most likely to be well-posed even if nonzero initial and source data are included.Comment: 27 pages, 4 figures; more numerical results and references added, several minor amendments; version accepted for publication in Class. Quantum Gra

Numerical Relativity Using a Generalized Harmonic Decomposition

A new numerical scheme to solve the Einstein field equations based upon the generalized harmonic decomposition of the Ricci tensor is introduced. The source functions driving the wave equations that define generalized harmonic coordinates are treated as independent functions, and encode the coordinate freedom of solutions. Techniques are discussed to impose particular gauge conditions through a specification of the source functions. A 3D, free evolution, finite difference code implementing this system of equations with a scalar field matter source is described. The second-order-in-space-and-time partial differential equations are discretized directly without the use first order auxiliary terms, limiting the number of independent functions to fifteen--ten metric quantities, four source functions and the scalar field. This also limits the number of constraint equations, which can only be enforced to within truncation error in a numerical free evolution, to four. The coordinate system is compactified to spatial infinity in order to impose physically motivated, constraint-preserving outer boundary conditions. A variant of the Cartoon method for efficiently simulating axisymmetric spacetimes with a Cartesian code is described that does not use interpolation, and is easier to incorporate into existing adaptive mesh refinement packages. Preliminary test simulations of vacuum black hole evolution and black hole formation via scalar field collapse are described, suggesting that this method may be useful for studying many spacetimes of interest.Comment: 18 pages, 6 figures; updated to coincide with journal version, which includes some expanded discussions and a new appendix with a stability analysis of a simplified problem using the same discretization scheme described in the pape

Towards absorbing outer boundaries in General Relativity

We construct exact solutions to the Bianchi equations on a flat spacetime background. When the constraints are satisfied, these solutions represent in- and outgoing linearized gravitational radiation. We then consider the Bianchi equations on a subset of flat spacetime of the form [0,T] x B_R, where B_R is a ball of radius R, and analyze different kinds of boundary conditions on \partial B_R. Our main results are: i) We give an explicit analytic example showing that boundary conditions obtained from freezing the incoming characteristic fields to their initial values are not compatible with the constraints. ii) With the help of the exact solutions constructed, we determine the amount of artificial reflection of gravitational radiation from constraint-preserving boundary conditions which freeze the Weyl scalar Psi_0 to its initial value. For monochromatic radiation with wave number k and arbitrary angular momentum number l >= 2, the amount of reflection decays as 1/(kR)^4 for large kR. iii) For each L >= 2, we construct new local constraint-preserving boundary conditions which perfectly absorb linearized radiation with l <= L. (iv) We generalize our analysis to a weakly curved background of mass M, and compute first order corrections in M/R to the reflection coefficients for quadrupolar odd-parity radiation. For our new boundary condition with L=2, the reflection coefficient is smaller than the one for the freezing Psi_0 boundary condition by a factor of M/R for kR > 1.04. Implications of these results for numerical simulations of binary black holes on finite domains are discussed.Comment: minor revisions, 30 pages, 6 figure

From Geometry to Numerics: interdisciplinary aspects in mathematical and numerical relativity

This article reviews some aspects in the current relationship between mathematical and numerical General Relativity. Focus is placed on the description of isolated systems, with a particular emphasis on recent developments in the study of black holes. Ideas concerning asymptotic flatness, the initial value problem, the constraint equations, evolution formalisms, geometric inequalities and quasi-local black hole horizons are discussed on the light of the interaction between numerical and mathematical relativists.Comment: Topical review commissioned by Classical and Quantum Gravity. Discussion inspired by the workshop "From Geometry to Numerics" (Paris, 20-24 November, 2006), part of the "General Relativity Trimester" at the Institut Henri Poincare (Fall 2006). Comments and references added. Typos corrected. Submitted to Classical and Quantum Gravit