We find new classes of exact solutions of the initial momentum constraint for vacuum Einstein's equations. Considered data are either invariant under a continuous symmetry or they are assumed to have the exterior curvature tensor of a simple form. In general the mean curvature $H$ is non-constant and $g$ is not conformally flat. In the generic case with the symmetry we obtain general solution in an explicit form. In other cases solutions are given up to quadrature. We also find a class of explicit solutions without symmetries which generalizes data induced by the Kerr metric or other metrics related to the Ernst equation. The conformal method of Lichnerowicz, Choquet-Bruhat and York is used to prove solvability of the Hamiltonian constraint if $H$ vanishes. Existence of marginally outer trapped surfaces in initial manifold is discussed.
We find initial data for numerical relativity simulations of inhomogeneous cosmologies. This involves treating an exceptional case of the general relativity constraint equations. We devise analytic and numerical methods to treat this exceptional case. We apply the analytic method to the standard case of cosmology with a single scalar field. The numerical method is applied to the two-field ekpyrotic cosmology.
Initial data are the starting point for any numerical simulation. In the case of numerical relativity, Einstein's equations constrain our choices of these initial data. We will examine several of the formalisms used for specifying Cauchy initial data in the 3+1 decomposition of Einstein's equations. We will then explore how these formalisms have been used in constructing initial data for spacetimes containing black holes and neutron stars. In the topics discussed, emphasis is placed on those issues that are important for obtaining astrophysically realistic initial data for compact binary coale…
A hypersurface composed of two null sheets, or "light fronts", swept out by the two congruences of future null normal geodesics emerging from a spacelike 2-disk can serve as a Cauchy surface for a region of spacetime. Already in the 1960s free (unconstrained) initial data for vacuum general relativity were found for hypersurfaces of this type. Here the Poisson brackets of such free initial data are calculated from the Hilbert action. The brackets obtained can form the starting point for a constraint free canonical quantization of general relativity and may be relevant to holographic entropy bo…
Given a collection of N asymptotically Euclidean ends with zero scalar curvature, we construct a Riemannian manifold with zero scalar curvature and one asymptotically Euclidean end, whose boundary has a neighborhood isometric to the disjoint union of a specified collection of sub-regions of the given ends. An application is the construction of time-symmetric solutions of the constraint equations which model N-body initial data.
The conformal method for constructing initial data for Einstein's equations is presented in both the Hamiltonian and Lagrangian picture (extrinsic curvature decomposition and conformal thin sandwich formalism, respectively), and advantages due to the recent introduction of a weight-function in the extrinsic curvature decomposition are discussed. I then describe recent progress in numerical techniques to solve the resulting elliptic equations, and explore innovative approaches toward the construction of astrophysically realistic initial data for binary black hole simulations.
Numerical relativity became a powerful tool to investigate the dynamics of binary problems with black holes or neutron stars as well as the very structure of General Relativity. Although public numerical relativity codes are available to evolve such systems, a proper understanding of the methods involved is quite important. Here we focus on the numerical solution of elliptic partial differential equations. Such equations arise when preparing initial data for numerical relativity, but also for monitoring the evolution of black holes. Because such elliptic equations play an important role in man…
We construct initial data for several black holes with arbitrary momenta and spins by a new method that is based on a compactification of Brill-Lindquist wormholes. When treated numerically, the method leads to a significant simplification over the conventional approach which is based on throats and an isometry condition.
This lecture is devoted to the problem of computing initial data for the Cauchy problem of 3+1 general relativity. The main task is to solve the constraint equations. The conformal technique, introduced by Lichnerowicz and enhanced by York, is presented. Two standard methods, the conformal transverse-traceless one and the conformal thin sandwich, are discussed and illustrated by some simple examples. Finally a short review regarding initial data for binary systems (black holes and neutron stars) is given.
The initial-value problem is posed by giving a conformal three-metric on each of two nearby spacelike hypersurfaces, their proper-time separation up to a multiplier to be determined, and the mean (extrinsic) curvature of one slice. The resulting equations have the {\it same} elliptic form as does the one-hypersurface formulation. The metrical roots of this form are revealed by a conformal ``thin sandwich'' viewpoint coupled with the transformation properties of the lapse function.
We show that there exist asymptotically flat almost-smooth initial data for Einstein-perfect fluid's equation that represent an isolated liquid-type body. By liquid-type body we mean that the fluid energy density has compact support and takes a strictly positive constant value at its boundary. By almost-smooth we mean that all initial data fields are smooth everywhere on the initial hypersurface except at the body boundary, where tangential derivatives of any order are continuous at that boundary. PACS: 04.20.Ex, 04.40.Nr, 02.30.Jr
The production of numerical relativity waveforms that describe quasicircular binary black hole mergers requires high-quality initial data, and an algorithm to iteratively reduce residual eccentricity. To date, these tools remain closed source, or in commercial software that prevents their use in high performance computing platforms. To address these limitations, and to ensure that the broader numerical relativity community has access to these tools, herein we provide all the required elements to produce high-quality numerical relativity simulations in supercomputer platforms, namely: open sour…
Maximally dissipative boundary conditions are applied to the initial-boundary value problem for Einstein's equations in harmonic coordinates to show that it is well-posed for homogeneous boundary data and for boundary data that is small in a linearized sense. The method is implemented as a nonlinear evolution code which satisfies convergence tests in the nonlinear regime and is robustly stable in the weak field regime. A linearized version has been stably matched to a characteristic code to compute the gravitational waveform radiated to infinity.
We apply recent results in the theory of PDE, specifically in problems with two different time scales, on Einstein's equations near their Newtonian limit. The results imply a justification to Postnewtonian approximations when initialization procedures to different orders are made on the initial data. We determine up to what order initialization is needed in order to detect the contribution to the quadrupole moment due to the slow motion of a massive body as distinct from initial data contributions to fast solutions and prove that such initialization is compatible with the constraint equations.…
With the goal of taking a step toward the construction of astrophysically realistic initial data for numerical simulations of black holes, we for the first time derive a family of fully general relativistic initial data based on post-2-Newtonian expansions of the 3-metric and extrinsic curvature without spin. It is expected that such initial data provide a direct connection with the early inspiral phase of the binary system. We discuss a straightforward numerical implementation, which is based on a generalized puncture method. Furthermore, we suggest a method to address some of the inherent am…
The subject of this work is the formation of black holes in pure general relativity, by the focusing of incoming gravitational waves. The theorems established in this monograph constitute the first foray into the long time dynamics of general relativity in the large, that is, when the initial data are no longer confined to a suitably small neighborhood of Minkowskian data. The theorems are general, no symmetry conditions on the initial data being imposed.
The Arnowitt-Deser-Misner (ADM) equations are deeply intertwined with discrete spectral resolutions of an elliptic operator of Laplace type associated with the spacelike hypersurfaces which foliate the space-time manifold, and the non-linearities of the four-dimensional hyperbolic theory are mapped into the potential term occurring in this operator. The ADM equations are here re-expressed as a coupled first-order system for the induced metric and the trace-free part of the extrinsic-curvature tensor, and their formulation in terms of integral equations is studied.
We consider the initial boundary value problem for free-evolution formulations of general relativity coupled to a parametrized family of coordinate conditions that includes both the moving puncture and harmonic gauges. We concentrate primarily on boundaries that are geometrically determined by the outermost normal observer to spacelike slices of the foliation. We present high-order-derivative boundary conditions for the gauge, constraint violating and gravitational wave degrees of freedom of the formulation. Second order derivative boundary conditions are presented in terms of the conformal va…
Construction of astrophysically realistic initial data remains a central problem when modelling the merger and eventual coalescence of binary black holes in numerical relativity. The objective of this paper is to provide astrophysically realistic freely specifiable initial data for binary black hole systems in numerical relativity, which are in agreement with post-Newtonian results. Following the approach taken by Blanchet, we propose a particular solution to the time-asymmetric constraint equations, which represent a system of two moving black holes, in the form of the standard conformal deco…
In numerical relativity simulations with non-trivial matter configurations, one must solve the Hamiltonian and momentum constraints of the ADM formulation for the metric variables in the initial data. We introduce a new scheme based on the standard Conformal Transverse-Traceless (CTT) decomposition, in which instead of solving the Hamiltonian constraint as a 2nd order elliptic equation for a choice of mean curvature $K$, we solve an algebraic equation for $K$ for a choice of conformal factor. By doing so, we evade the existence and uniqueness problem of solutions of the Hamiltonian constraint …
Computational techniques which establish the stability of an evolution-boundary algorithm for a model wave equation with shift are incorporated into a well-posed version of the initial-boundary value problem for gravitational theory in harmonic coordinates. The resulting algorithm is implemented as a 3-dimensional numerical code which we demonstrate to provide stable, convergent Cauchy evolution in gauge wave and shifted gauge wave testbeds. Code performance is compared for Dirichlet, Neumann and Sommerfeld boundary conditions and for boundary conditions which explicitly incorporate constraint…
Spacetime is foliated by spatial hypersurfaces in the 3+1 split of General Relativity. The initial value problem then consists of specifying initial data for all relevant fields on one such a spatial hypersurface. These fields are the 3-metric and extrinsic curvature together with matter fields such as fluid velocity, energy density and rest mass density. There is a lot of freedom in choosing such initial data. This freedom corresponds to the physical state of the system at the initial time. At the same time the initial data have to satisfy the Hamiltonian and momentum constraint equations of …
We present a 2+1 decomposition of the vacuum initial conditions in general relativity. For a constant mean curvature one of the momentum constraints decouples in quasi isotropic coordinates and it can be solved by quadrature. The remaining momentum constraints are written in the form of the tangential Cauchy-Riemann equation. Under additional assumptions its solutions can be written in terms of integrals of known functions. We show how to obtain initial data with a marginally outer trapped surface. A generalization of the Kerr data is presented.
We look for physically realistic initial data in numerical relativity which are in agreement with post-Newtonian approximations. We propose a particular solution of the time-symmetric constraint equation, appropriate to two momentarily static black holes, in the form of a conformal decomposition of the spatial metric. This solution is isometric to the post-Newtonian metric up to the 2PN order. It represents a non-linear deformation of the solution of Brill and Lindquist, i.e. an asymptotically flat region is connected to two asymptotically flat (in a certain weak sense) sheets, that are the im…
We present a multi-domain spectral method to compute initial data of binary systems in General Relativity. By utilizing adapted conformal coordinates, the vacuum region exterior to the gravitational sources is divided up into two subdomains within which the spectral expansion of the field quantities is carried out. If a component of the binary is a neutron star, a further subdomain covering the star's interior is added. As such, the method can be used to construct arbitrary initial data corresponding to binary black holes, binary neutron stars or mixed binaries. In particular, it is possible t…
The existence of singularities in a closed FRW universe depends on the assumption that general relativity is valid for distances less than the Planck length. However, stationary state wave functions of the Schrodinger equation for a closed radiation-dominated FRW universe derived by Elbaz et al (General Relativity and Gravitation 29, 481, 1997) are zero at zero radius of curvature. Thus, even if general relativity is assumed valid at distances less than the Planck length, quantum mechanics seems to forbid singularities in a closed FRW universe.
We discuss results that have been obtained from the implementation of the initial round of testbeds for numerical relativity which was proposed in the first paper of the Apples with Apples Alliance. We present benchmark results for various codes which provide templates for analyzing the testbeds and to draw conclusions about various features of the codes. This allows us to sharpen the initial test specifications, design a new test and add theoretical insight.
Given a collection of N solutions of the (3+1) vacuum Einstein constraint equations which are asymptotically Euclidean, we show how to construct a new solution of the constraints which is itself asymptotically Euclidean, and which contains specified sub-regions of each of the N given solutions. This generalizes earlier work which handled the time-symmetric case, thus providing a construction of large classes of initial data for the many body problem in general relativity.
We present the numerical evolution of a family of conformally-flat, infinite, expanding cubic black-hole lattices. We solve for the initial data using an initial-data prescription presented recently, along with a new multigrid solver developed for this purpose. We then apply the standard tools of numerical relativity to calculate the time development of this initial dataset and derive quantities of cosmological relevance, such as the scaling of proper lengths. Similarly to the case of S3 lattices, we find that the length scaling remains close to the analytical solution for Friedmann-Lemaitre-R…
A hypersurface formed of two null sheets, or "light fronts", swept out by the future null normal geodesics emerging from a common spacelike 2-disk can serve as a Cauchy surface for a region of spacetime. Already in the 1960s free (unconstrained) initial data for general relativity were found for such hypersurfaces. Here an expression is obtained for the symplectic 2-form of vacuum general relativity in terms of such free data. This can be done, even though variations of the geometry do not in general preserve the nullness of the initial hypersurface, because of the diffeomorphism gauge invaria…
Asymptotically flat, time-symmetric, axially symmetric and conformally flat initial data for vacuum general relativity are studied numerically on $R^3$ with the interior of a standard torus cut out. By the choice of boundary condition the torus is marginally outer trapped, and thus a surface of minimal area. Apart from pure scaling the standard tori are parameterized by a radius $a\in [0,1]$, where $a=0$ corresponds to the limit where the boundary torus degenerates to a circle and $a=1$ to a torus that touches the axis of symmetry. Noting that these tori are the orbits of a $U(1)\times U(1)$ c…
We discuss relations between the initial boundary value problem (IBVP) and quasi-local Hamiltonians in GR. The latter have traditionally been based on Dirichlet boundary conditions, which however are shown here to be ill-posed for the IBVP. We present and analyse several other choices of boundary conditions which are better behaved with respect to the IBVP and carry out a corresponding Hamiltonian analysis, using the framework of the covariant phase space method.
In this article we describe applications of Discrete Differential Forms in computational GR. In particular we consider the initial value problem in vacuum space-times that are spherically symmetric. The motivation to investigate this method is mainly its manifest coordinate independence. Three numerical schemes are introduced, the results of which are compared with the corresponding analytic solutions. The error of two schemes converges quadratically to zero. For one scheme the errors depend strongly on the initial data.
We establish an optimal gluing construction for general relativistic initial data sets. The construction is optimal in two distinct ways. First, it applies to generic initial data sets and the required (generically satisfied) hypotheses are geometrically and physically natural. Secondly, the construction is completely local in the sense that the initial data is left unaltered on the complement of arbitrarily small neighborhoods of the points about which the gluing takes place. Using this construction we establish the existence of cosmological, maximal globally hyperbolic, vacuum space-times wi…
A new numerical code for computing stationary axisymmetric rapidly rotating stars in general relativity is presented. The formulation is based on a fully constrained-evolution scheme for 3+1 numerical relativity using the Dirac gauge and maximal slicing. We use both the polytropic and MIT bag model equations of state to demonstrate that the code can construct rapidly rotating neutron star and strange star models. We compare numerical models obtained by our code and a well-established code, which uses a different gauge condition, and show that the two codes agree to high accuracy.
The Teukolsky formalism of black hole perturbation theory describes weak gravitational radiation generated by a mildly dynamical hole near equilibrium. A particular null tetrad of the background Kerr geometry, due to Kinnersley, plays a singularly important role within this formalism. In order to apply the rich physical intuition of Teukolsky's approach to the results of fully non-linear numerical simulations, one must approximate this Kinnersley tetrad using raw numerical data, with no a priori knowledge of a background. This paper addresses this issue by identifying the directions of the tet…
Using a constrained formalism for Einstein equations in Dirac gauge, we propose to compute excised quasistationary initial data for black hole spacetimes in full general relativity. Vacuum spacetime settings are numerically constructed by using the isolated horizon formalism; we especially tackle the conformal metric part of our equations, assuming global stationarity. We show that a no-boundary treatment can be used on the horizon for the equation related to the conformal metric. We relate this finding to previous suggestions in the literature, and use our results to assess the widely used co…
We discuss head-on collisions of neutron stars and disks of dust ("galaxies") following the ideas of equilibrium thermodynamics, which compares equilibrium states and avoids the description of the dynamical transition processes between them. As an always present damping mechanism, gravitational emission results in final equilibrium states after the collision. In this paper we calculate selected final configurations from initial data of colliding stars and disks by making use of conservation laws and solving the Einstein equations. Comparing initial and final states, we can decide for which ini…
Numerical relativity has traditionally been pursued via finite differencing. Here we explore pseudospectral collocation (PSC) as an alternative to finite differencing, focusing particularly on the solution of the Hamiltonian constraint (an elliptic partial differential equation) for a black hole spacetime with angular momentum and for a black hole spacetime superposed with gravitational radiation. In PSC, an approximate solution, generally expressed as a sum over a set of orthogonal basis functions (e.g., Chebyshev polynomials), is substituted into the exact system of equations and the residua…
Beetle and Burko recently introduced a background--independent scalar curvature invariant for general relativity that carries information only about the gravitational radiation in generic spacetimes, in cases where such radiation is incontrovertibly defined. In this paper we adopt a formalism that only uses spatial data as they are used in numerical relativity and compute the Beetle--Burko radiation scalar for a number of analytical examples, specifically linearized Einstein--Rosen cylindrical waves, linearized quadrupole waves, the Kerr spacetime, Bowen--York initial data, and the Kasner spac…
This article, written to appear as a chapter in "The Springer Handbook of Spacetime", is a review of the initial value problem for Einstein's gravitational field theory in general relativity. Designed to be accessible to graduate students who have taken a first course in general relativity, the article first discusses how to reformulate the spacetime fields and spacetime covariant field equations of Einstein's theory in terms of fields and field equations compatible with a 3+1 foliation of spacetime with spacelike hypersurfaces. It proceeds to discuss the arguments which show that the initial …
The initial singularity problem in standard general relativity is treated on the light of a viewpoint asserting that this formulation of Einstein's theory and its conformal formulations are physically equivalent. We show that flat Friedmann-Robertson-Walker universes and open dust-filled and radiation-filled universes are singularity free when described in terms of the formulation of general relativity conformal to the canonical one.
GRTresna: An open-source code to solve the initial data constraints in numerical relativity
Massachusetts Institute of Technology（麻省理工学院）；Queen Mary University of London（伦敦大学玛丽女王学院）；KU Leuven（荷语鲁汶大学）；Leuven Gravity Institute, KU Leuven（荷语鲁汶大学引力研究所）；University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）；King’s College London（伦敦国王学院）；University of Basque Country, UPV/EHU（巴斯克大学）；Stony Brook University（石溪大学）
This talk describes some recent results [16] regarding the problem of uniqueness in the large (also known as strong cosmic censorship) for the initial value problem in general relativity. In order to isolate the essential analytic features of the problem from the complicated setting of gravitational collapse in which it arises, some familiarity with conformal properties of certain celebrated special solutions of the theory of relativity will have to be developed. This talk is an attempt to present precisely these features to an audience of non-specialists, in a way which will hopefully fully m…
We treat the calculation of gravitational radiation using the mixed timelike-null initial value formulation of general relativity. The determination of an exterior radiative solution is based on boundary values on a timelike worldtube $Γ$ and on characteristic data on an outgoing null cone emanating from an initial cross-section of $Γ$. We present the details of a 3-dimensional computational algorithm which evolves this initial data on a numerical grid, which is compactified to include future null infinity as finite grid points. A code implementing this algorithm is calibrated in the quasisphe…
We suggest that a satellite with a stable atomic clock on board be sent through the Earth-Sun gravitational saddle point to experimentally determine whether Nature prefers static solutions of the field equations of General Relativity, such as the standard Schwarzschild solution, or whether Nature prefers equivalent non-static solutions. This is a test of the boundary conditions of General Relativity rather than of the field equations. The fractional difference in clock rates between the two possibilities is a part in a hundred million. This is a large and easily measurable effect.
We present a unified description of spherical discontinuity surfaces in General Relativity based on two parameters: mass function and surface permeability. The surfaces considered are: \textit{Impulsive fronts}, massive permeable layer; \textit{Surface layers}, massive impermeable layer; \textit{Shock fronts}, massless permeable surface; and \textit{Boundary surfaces}, massless impermeable surface. We derive the exact jump conditions for the physical variables across all these surfaces. Finally, we discuss the quasi-static approximation from studying slow hydrodynamic processes involving disco…
We present a systematic study of galaxy bias in the presence of primordial non-Gaussianity in General Relativity (GR) at second order in perturbation theory. The non-linearity of the Poisson equation in GR and primordial non-Gaussianity are consistently included. We show that the inclusion of non-local primordial non-Gaussianity in addition to local non-Gaussianity is important to show the absence of the modulation of small scale clustering by the long-wavelength mode in the single field slow-roll inflation. We study the bispectrum of the relativistic galaxy density in several gauges and ident…
Some standard results on the initial value problem of general relativity in matter are reviewed. These results are applied first to show that in a well defined sense, finite perturbations in the gravitational field travel no faster than light, and second to show that it is impossible to construct a warp drive as considered by Alcubierre (1994) in the absence of exotic matter.
We use post-Newtonian (PN) approximations to determine the initial orbital and spin parameters of black hole binaries that lead to low-eccentricity inspirals when evolved with numerical relativity techniques. In particular, we seek initial configurations that lead to very small eccentricities at small separations, as is expected for astrophysical systems. We consider three cases: (i) quasicircular orbits with no radial velocity, (ii) quasicircular orbits with an initial radial velocity determined by radiation reaction, and (iii) parameters obtained form evolution of the PN equations of motion …
