# Initial Data for Numerical Relativity

- 1.7k Downloads
- 153 Citations

## Abstract

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 coalescence.

## 1 Introduction

The goal of numerical relativity is to study spacetimes that cannot be studied by analytic means. The focus is therefore primarily on dynamical systems. Numerical relativity has been applied in many areas: cosmological models, critical phenomena, perturbed black holes and neutron stars, and the coalescence of black holes and neutron stars, for example. In any of these cases, Einstein’s equations can be formulated in several ways that allow us to evolve the dynamics. While Cauchy methods have received a majority of the attention, characteristic and Reggi calculus based methods have also been used. All of these methods begin with a snapshot of the gravitational fields on some hypersurface, the *initial data*, and evolve these data to neighboring hypersurfaces.

The focus of this review is on the initial data needed for Cauchy evolutions of Einstein’s equations. These initial data cannot be freely specified in their entirety. Rather they are subject to certain constraints which must be satisfied. Because of the nonlinearity of Einstein’s equations, there is no unique way of choosing which pieces of the initial data can be freely specified and which are constrained. In Section 2, I will look at the various formalisms that exist for expressing the initial-value equations. I will use the 3 + 1 (or ADM) decomposition of Einstein’s equations throughout and I begin the review with a brief introduction of this in Section 2.1. In Section 2.2, Section 2.3, and Section 2.4, I will explore the most important and widely used decompositions that have been developed.

In the remainder of the review, I will focus on initial data for black holes and neutron stars. Section 3 deals with black-hole initial data, which has received considerable attention over the years. The evolution of black-hole spacetimes is of particular importance because it allows for the study of pure geometro-dynamics. The spacetime is either pure vacuum or any matter can be hidden behind an event horizon. Thus, black-hole spacetimes allow us to study the dynamics of gravity alone. In Section 3.1, I begin with a review of some of the classic analytic solutions of the initial-data equations. Section 3.2 covers current methods for constructing general multi-black-hole initial data sets and also explores some of the limitations of these data sets. Section 3.3 deals with a class of black-hole initial data that has received little attention until recently and which I feel may play an important role in future work on constructing black-hole initial data. Finally, Section 3.4 examines the issue of constructing black-hole initial data for quasiequilibrium binaries.

This last topic is of extreme importance. Several laser interferometer gravitational wave detectors will become operational in the near future (cf. Ref. [89] for a Living Review on this topic) and the coalescence of black-hole binaries is considered to be one of the strongest candidates for detection by the earliest generation of detectors. The chances of detecting these events and then unraveling the information contained in the gravitational wave signals will be greatly increased if we have accurate numerical simulations of black-hole binary coalescence. While post-Newtonian techniques can be used to simulate the inspiral of a compact binary system, the final plunge and coalescence must be simulated numerically. Astrophysically realistic initial data will be needed before these simulations can provide reliable results.

The final plunge and coalescence of neutron-star binaries must also be simulated numerically. Section 4 examines the construction of neutron-star initial data. The major difference between black-hole and neutron-star initial data is the need to deal with the neutron star’s matter. In this section, I will deal with the neutron star matter in general, without considering any particular equation of state. In Section 4.1, I look at the issue of hydrostatic equilibrium of matter. Section 4.2 takes a brief look at constructing equilibrium initial data for isolated neutron stars. Finally, Section 4.3 examines the issues involved in constructing quasiequilibrium neutron-star binary initial data. In particular, we look at recent advances in constructing irrotational fluid models.

This article is far from a complete review of all the work that has been done on initial data for numerical relativity. I offer my apologies to all whose work I have not included. In particular, I have not covered any of the issues associated with existence and uniqueness of solutions to the constraint equations, nor dealt extensively with the issue of asymptotic falloff rates. I welcome correspondence on topics that you feel should be covered in this review, references that you think should be included, and the inevitable typographical errors.

### 1.1 Conventions

*g*

_{μν}with signature (-, +, +, +). Following the MTW [79] conventions, I define the Riemann tensor as

*γ*

_{ij}and the Riemann and Ricci tensors associated with it will be defined by (1) and (2). Four-dimensional indices will be denoted by Greek letters, while 3-dimensional indices will be denoted by Latin letters.

To avoid confusion, the covariant derivative and Ricci tensor associated with *γ*_{ij} will be written with over-bars - *̄∇*_{j} and *̄R*_{ij}. I will also frequently deal with an auxiliary 3-dimensional space with a metric that is conformally related to the metric *γ*_{ij} of the physical space. The metric for this space will be denoted *̃γ*_{ij}. The covariant derivative and Ricci tensor associated with this metric will be written with tildes - *̄∇*_{j} and *̄R*_{ij}. Other quantities that have a conformal relationship to quantities in the physical space will also be written with a tilde over them.

## 2 The Initial-Value Equations

*G*

_{μν}= 8

*πGT*μν, represent ten independent equations. Since there are ten equations and ten independent components of the 4-metric

*g*

_{μν}, it seems that we have the same number of equations as unknowns. From the definition of the Einstein tensor (3), we see that these ten equations are linear in the second derivatives and quadratic in the first derivatives of the metric. We might expect that these ten second-order equations represent evolution equations for the ten components of the metric. However, a close inspection of the equations reveals that only six of the ten involve second time-derivatives of the metric. The remaining four equations are not evolution equations. Instead, they are constraint equations. The full system of equations is still well posed, however, because of the Bianchi identities

If we consider Einstein’s equations as a Cauchy problem^{1}, we find that the ten equations separate into a set of four constraint or initial-value equations, and six evolution or dynamical equations. If the four initial-value equations are satisfied on some spacelike hypersurface, which we can label with *t* = 0, then the Bianchi identities (4) guarantee that the evolution equations preserve the constraints on neighboring spacelike hypersurfaces.

### 2.1 Initial Data

*t*or, more simply, each slice of the 4-dimensional manifold is a

*t*= constant hypersurface. Following the standard 3 + 1 decomposition [6, 111, 37], we let

*n*

^{μ}be the future-pointing timelike unit normal to the slice, with

*lapse function*(frequently denoted

*N*in the literature). The scalar lapse function sets the proper interval measured by observers as they move between slices on a path that is normal to the hypersurface (so-called normal observers):

*α*

^{μ}is called the

*shift vector*(frequently denoted

*N*

^{μ}in the literature).

*α*

^{μ}has only three independent components and is a spatial vector, tangent to the hypersurface on which it resides. At this point, it is convenient to introduce a coordinate system adapted to the foliation {Σ}. Let

*x*

^{i}be the spatial coordinates in the slice. The fourth coordinate,

*t*, is the parameter labeling each slice. With this adapted coordinate system, we find that 3-dimensional coordinate values remain constant as we move between slices along the

*t*

^{μ}direction (8). The four parameters,

*α*and

*β*

^{i}, are a manifestation of the 4-dimensional coordinate invariance, or gauge freedom, in Einstein’s theory. If we let

*γ*

_{ij}represent the metric of the spacelike hypersurfaces, then we can rewrite the interval (5) as

*γ*

_{ij}is regarded as the fundamental variable and values for its components must be given as part of a well-posed initial-value problem. Since Einstein’s equations are second order, we must also specify something like a time derivative of the metric. For this, we use the second fundamental form, or extrinsic curvature, of the slice,

*K*

_{ij}, defined

^{2}by

*n*

^{μ}direction.

*γ*

_{ij}and

*K*

_{ij}are the minimal set of initial data that must be specified for a Cauchy evolution of Einstein’s equations. The metric

*γ*

_{ij}on a hypersurface is induced on that surface by the 4-metric

*g*

_{μν}. This means that the values

*γ*

_{ij}receives depend on how Σ is embedded in the full spacetime. In order for the foliation of slices {Σ} to fit into the higher-dimensional space, they must satisfy the Gauss-Codazzi-Ricci conditions. Combining these conditions with Einstein’s equations, and using (10), the six evolution equations become

_{i}is the spatial covariant derivative compatible with

*γ*

_{ij},

*̄R*

_{ij}is the Ricci tensor associated with

*γ*

_{ij},

*K*=

*K*

_{ i}

^{ i},

*ρ*is the matter energy density,

*S*

_{ij}is the matter stress tensor, and

*S*=

*S*

_{ i}

^{ i}.

^{3}We have also used the fact that in our adapted coordinate system, \({{\mathcal L}_t} \equiv {\partial _t}\). The set of second-order evolution equations is completed by rewriting the definition of the extrinsic curvature (11) as

*γ*

_{ij}and

*K*

_{ij}. However, the data cannot be freely specified in their entirety. The four constraint equations, following the same procedure outlined above for the evolution equations, become

*̄R*=

*̄R*

_{ i}

^{ i}and

*j*

^{i}is the matter momentum density. Equation (14) is referred to as the Hamiltonian or scalar constraint, while (15) are referred to as the momentum or vector constraints. Valid initial data for the evolution equations (12) and (13) must satisfy this set of constraints. And, as mentioned earlier, the Bianchi identities (4) guarantee that the evolution equations will preserve the constraints on future slices of the evolution.

As we will see below, the Hamiltonian constraint (14) most naturally constrains the 3-metric *γ*_{ij}, while the momentum constraints (15) naturally constrain the extrinsic curvature *K*_{ij}. Taking the constraints into consideration, it seems that the 3-metric has five degrees of freedom remaining, while the extrinsic curvature has three. But we know that the gravitational field in Einstein’s theory has two dynamical degrees of freedom, so we expect that both *γ*_{ij} and *K*_{ij} should each have only two free components. The answer to this problem is, once again, the coordinate invariance of Einstein’s theory. This seems strange at first, because we have already used the coordinate invariance of the theory to narrow our scope from the ten components of the 4-metric to the six components of the 3-metric. However, the lapse and shift do not completely specify the coordinate gauge. Rather, they specify how an initial choice of gauge will evolve with the foliation. The metric on a given hypersurface retains full 3-dimensional coordinate invariance, reducing the number of freely specifiable components to two [107, 108]. There also remains one degree of gauge freedom associated with the time coordinate which must be fixed. Each hypersurface represents a *t* = const. slice of the spacetime, so how the initial hypersurface is embedded in the full 4-dimensional manifold represents our temporal gauge choice. There is no unique way to specify this choice, but it is often convenient to let the trace of the extrinsic curvature *K* represent this temporal gauge choice [108]. Thus, we find that we are*108* allowed to choose freely five components of the 3-metric and three components of the extrinsic curvature. However, only *two* of the components for each field represent dynamical degrees of freedom, the remainder are gauge degrees of freedom.

The four constraint equations, (14) and (15), represent conditions which the 3-metric and extrinsic curvature must satisfy. But, they do not specify which components (or combination of components) are constrained and which are freely specifiable. In the weak field limit where Einstein’s equations can be linearized, there are clear ways to determine which components are dynamic, which are constrained, and which are gauge. However, in the full nonlinear theory, there is no unique decomposition. In this case, one must choose a method for decomposing the constraint equations. The goal is to transform the equations into standard elliptic forms which can be solved given appropriate boundary conditions [80, 82, 111]. Each different decomposition yields a unique set of elliptic equations to be solved *and* a unique set of freely specifiable parameters which must be fixed somehow. Seemingly similar sets of assumptions applied to different decompositions can lead to physically different initial conditions.

### 2.2 York-Lichnerowicz Conformal Decompositions

For general initial-data configurations, the most widely used class of constraint decompositions are the York-Lichnerowicz conformal decompositions. At their heart are a conformal decomposition of the metric and certain components of the extrinsic curvature, together with a transverse-traceless decomposition of the extrinsic curvature.

*ψ*multiplying an auxiliary 3-metric [68, 107, 108]:

*̃γ*

_{ij}is often called the conformal or background 3-metric, and it carries five degrees of freedom. Its natural definition is given by

*̃γ*= 1, but we are free to choose any normalization for

*̃γ*. Using (16), we can rewrite the Hamiltonian constraint (14) as

^{2}= ̃∇

^{i}̃∇

_{i}is the scalar Laplace operator, and ̃∇

_{i}and

*̃R*are the covariant derivative and Ricci scalar associated with

*̃γ*

_{ij}. Equation (18) is a quasilinear elliptic equation for the conformal factor ψ, and we see that the Hamiltonian constraint naturally constrains the 3-metric.

*T*

^{ij}is a symmetric, transverse-traceless tensor (i. e., ∇

_{j}

*T*

^{ij}= 0 and

*T*

_{ i}

^{ i}= 0) and

*A*

_{ij}. However, the conformal decomposition of the metric leaves us with at least two ways to proceed.

The goal of the decomposition is to produce a coupled set of elliptic equations to be solved with some prescribed boundary conditions. We have already reduced the Hamiltonian constraint to an elliptic equation being solved on a *background* space in terms of differential operators that are compatible with the conformal 3-metric. In the end, we want to reduce the momentum constraints to a set of elliptic equations based on differential operators that are compatible with the same conformal 3-metric. But, the longitudinal operator (21) can be defined with respect to *any* metric space. In particular, it is natural to consider decompositions with respect to both the physical and conformal 3-metrics.

#### 2.2.1 Conformal Transverse-Traceless Decomposition

*A*

^{ij}with respect to the conformal 3-metric [111, 116]. As we will see, when certain assumptions are made, this decomposition has the advantage of producing a simpler set of elliptic equations that must be solved. The first step is to define the conformal tracefree extrinsic curvature

*̃A*

^{ij}by

*̃Q*

^{ij}are both defined with respect to covariant derivatives compatible with

*̃γ*

_{ij}.

*̃Q*

^{ij}is transverse (i. e.

*̃v∇*

_{j}

*̃Q*

^{ij}= 0). However, in general, we will not know if a given symmetric tracefree tensor, say

*̃M*

^{ij}, is transverse. By using (20) we can obtain its transverse-traceless part

*̃Q*

^{ij}via

*̃Q*

^{ij}is transverse, we find

*constructing*the required symmetric transverse-traceless tensor from a general symmetric traceless tensor.

*V*

^{i}, we can combine the steps of decomposing

*̃M*

^{ij}with that of solving the momentum constraints.

In the decomposition given by (32), we are free to specify a symmetric tensor *̃γ*_{ij} as the conformal 3-metric, a symmetric tracefree tensor *̃M*^{ij}, and a scalar function *K*. Then, with given matter energy and momentum densities, *ρ* and *j*^{i}, and appropriate boundary conditions, the coupled set of constraint equations for *ψ* and *V*^{i} are solved. Finally, given the solutions, we can construct the physical initial data, *γ*_{ij} and *K*^{ij}.

The decomposition outlined above has the interesting property that if we choose *K* to be constant and if the momentum density vanishes^{4}, then the momentum constraint equations fully decouple from the Hamiltonian constraint. As we will see later, this simplification has proven to be useful.

#### 2.2.2 Physical Transverse-Traceless Decomposition

*A*

^{ij}with respect to the physical 3-metric [81, 82, 83]. We decompose the extrinsic curvature as

*Q*

^{ij}are both defined with respect to covariant derivatives compatible with

*γ*

_{ij}.

*Q*

^{ij}from a general symmetric tracefree tensor

*̃M*

^{ij}by using (20). In this case, we take

*Q*

^{ij}is transverse, to obtain

*M*

^{ij}and solving the momentum constraints. We obtain the following full decomposition, which I will list together here for convenience

^{5}:

In the decomposition given by (39), we are again free to specify a symmetric tensor *̃γ*_{ij} as the conformal 3-metric, a symmetric tracefree tensor *̃M*^{ij}, and a scalar function *K*. Then, with given matter energy and momentum densities, *ρ* and *j*^{i}, and appropriate boundary conditions, the coupled set of constraint equations for *ψ* and *V*^{i} are solved. Finally, given the solutions, we can construct the physical initial data, *γ*_{ij} and *K*^{ij}.

Notice that, while very similar to the decomposition from Section 2.2.1, the sets of equations are distinctly different. In general, if we make the same choices for the freely specifiable data in both decompositions (i. e., we choose *̃γ*_{ij}, *̃M*^{ij}, and *K* the same), we will produce two different sets of initial data. Both will be equally valid solutions of the constraint equations, but they will have distinct physical properties.

*γ*

_{ij}and

*K*

_{ij}, which satisfies the constraint equations (14) and (15). For any everywhere-positive function Ψ we define our freely specifiable data as follows:

*ψ*= Ψ and

*V*

^{i}= 0, which yields the original data as the solution for each decomposition.

### 2.3 Conformal Thin-Sandwich Decomposition

The two general initial-value decompositions outlined in Section 2.2.1 and Section 2.2.2 require identical freely specified data (*̃γ*_{ij}, *̃M*^{ij}, and *K*), yet they usually produce different physical initial data. One shortcoming of these approaches is that they provide no direct insight into how to choose the freely specifiable data. All of the data are determined by schemes that involve only a single spacelike hypersurface. The resulting constraint equations are independent of the kinematical variables *α* and *β*^{i} that govern how the coordinates move through spacetime, and thus there is no connection to dynamics. York’s conformal thin-sandwich decomposition [115] takes a different approach by considering the evolution of the metric between two neighboring hypersurfaces (the thin sandwich). This decomposition is very similar to an approach originated by Wilson [104, 46], but is somewhat more general. Perhaps the most attractive feature of this decomposition is the insight it yields into the choice of the freely specifiable data.

*t*and

*t*′, with

*t*′ =

*t*+

*δt*, then =

*′γ*

_{ij}=

*γ*

_{ij}+ (

*∂*

_{t}

*γ*

_{ij})

*δt*. We would like to specify how the 3-metric evolves, but we do not have full freedom to do this. We know we can freely specify only the conformal 3-metric, and similarly, we are free to specify only the evolution of the conformal 3-metric. We make the following definitions:

*ψ*,

*̃γ*

_{ij}, and

*ũ*

_{ij}as regular scalars and tensors instead of as scalar- and tensor-densities within this thin-sandwich formalism.

*u*

_{ij}follows directly from (16), (41), (42), (43), and the identity that, for any small perturbation,

*δ*ln

*γ*=

*γ*

^{ij}δ

*γ*

_{ij}. The result is

^{6}

*̃γ*

_{ij}as the conformal 3-metric, a symmetric tracefree tensor

*ũ*

^{ij}, a scalar function

*K*,

*and*the scalar function

*̃α*. Solving this set of equations with appropriate boundary conditions yields initial data

*γ*

_{ij}and

*K*

_{ij}on a

*single*hypersurface. However, we also know the following:

*If*we chose to use the shift vector obtained from solving (50) and the lapse from (48) via our choice of

*̃α*and our solution to the Hamiltonian constraint, then the rate of change of the physical 3-metric is given by

### 2.4 Stationary Solutions

When there is sufficient symmetry present, it is possible to construct initial data that are in true equilibrium. These solutions possess at least two Killing vectors, one that is timelike at large distances and one that is spatial, representing an azimuthal symmetry. When these symmetries are present, solving for the initial data produces a global solution of Einstein’s equations and the solution is said to be *stationary*. The familiar Kerr-Neumann solution for rotating black holes is an example of a stationary solution in vacuum. Stationary configurations supported by matter are also possible, but the matter sources must also satisfy the Killing symmetries, in which case the matter is said to be in hydrostatic equilibrium [8].

*any*stationary spacetime. Notice that the lapse is related to the conformal factor by

*ψ*,

*β*

^{ϕ},

*A*, and

*B*are functions of

*r*and

*θ*only.

*and*the evolution equations (12) and (13). For the evolution equations, we use the fact that

*∂*

_{t}

*γ*

_{ij}= 0 and

*∂*

_{t}

*K*

_{ij}= 0. The metric evolution equation (13) defines the extrinsic curvature in terms of derivatives of the shift

*K*= 0 and the divergence of the shift also vanishes. This means we can write the tracefree part of the extrinsic curvature as

*ũ*

^{ij}=

*K*≡ 0 and

*̃α*=

*ψ*

^{-8}. Only one of the momentum constraint equations is non-trivial, and we find that the constraints yield elliptic equations for

*ψ*and

*β*

^{ϕ}. What remains unspecified as yet are

*A*and

*B*(i. e., the conformal 3-metric).

The conformal 3-metric is determined by the evolution equations for the traceless part of the extrinsic curvature. Of these five equations, one can be written as an elliptic equation for *B*, and two yield complementary equations that can each be solved by quadrature for *A*. The remaining equations are redundant as a result of the Bianchi identities.

Of course, the clean separation of the equations I have suggested above is an illusion. All four equations must be solved simultaneously, and clever combinations of the four metric quantities can greatly simplify the task of solving the system of equations. This accounts for the numerous different systems used for solving for stationary solutions.

## 3 Black Hole Initial Data

In this section, we will look at Cauchy initial data that represent one or more black holes in an asymptotically flat spacetime. The majority of these will be either vacuum solutions or solutions of the Einstein-Maxwell equations. With no matter to support the gravitational field, we find that we must usually use a spacetime with a non-trivial topology, although a black hole can be supported by a compact gravitational wave [2]. It is certainly possible to construct black-hole solutions supported by matter [90, 91, 5], but it is often desirable to avoid the complications of matter sources.

This raises a point about solutions of Einstein’s equations which we have not yet mentioned. When constructing solutions of Einstein’s initial-value equations, we are free to specify the topology of the initial-data hypersurface. Einstein’s equations of general relativity place no constraints on the topology of the spacetime they describe or of spacelike hypersurfaces that foliate it. For astrophysical black holes (i. e., black holes in an asymptotically flat spacetime), the freedom in the choice of the topology has relatively minor consequences. The primary effects of different topology choices are hidden within the black hole’s event horizon.

In the sections below, we will explore many of the existing black-hole solutions and the schemes for generating them.

### 3.1 Classic Solutions

#### 3.1.1 Schwarzschild

*K*

_{ij}= 0), and so exist on a “maximally embedded” spacelike hypersurface (

*K*= 0). These choices fix the foliation {Σ}. Spherical symmetry fixes two of the three spatial gauge choices. If we choose an “areal-radial coordinate”

^{7}, then the interval is written as

*M*represents the mass of the black hole as measured at spacelike infinity. Both of these solutions exist on the same foliation of

*t*= const. slices. But, notice that the 3-geometry of the slice associated with (60) is conformally flat, while the 3-geometry associated with (59) is not.

*K*

_{ij}= 0, which eliminates the need to solve the momentum constraints. If we choose the conformal 3-geometry to be given by a flat metric (in spherical coordinates in this case), then the vacuum Hamiltonian constraint (18) becomes

^{2}is the flat-space Laplace operator. For the solution

*ψ*to yield an asymptotically flat physical 3-metric, we have the boundary condition that

*ψ*(

*̃r*→ ∞) = 1. The simplest solution of this equation is

*M*.

*K*vanish. For the case of

*K*= 0, this yields the so-called maximal slicing equation which, for the current situation, takes the form

*α*(

*̃r*=

*M*/2) = 0) and goes to one at infinity, we find that the solution is

If we now choose *β*^{i} = 0, we find that the left-hand sides of the evolution equations (12) and (13) vanish identically, and we have found the static solution of Einstein’s equations given in (60). We can, of course, recover the usual Schwarzschild coordinate solution (59) by using the purely spatial coordinate transformation \(r = \tilde r{\left( {1 + \frac{M}{{2\tilde r}}} \right)^2}\).

*̃r*= 0. However, even here, the solution is well behaved. The 3-geometry is invariant under the coordinate transformation

*̃r*= 0 is simply an image of infinity in the other universe [31].

Given our choice for the lapse (64), which is frozen on the event horizon, we find that the solution can cover only the exterior of the black hole. To cover any of the interior with the lapse pinned to zero at the horizon would require we use a slice that is not spacelike everywhere. This is exactly what happens when the usual Schwarzschild areal-radial coordinate is used. At the event horizon, *r* = 2*M*, there is a coordinate singularity, and inside this radius the *t* = const. hypersurface is no longer spacelike. It is impossible to perform a Cauchy evolution interior to the event horizon using the areal-radial coordinate and the given time slicing.

We find that a Cauchy evolution, using the usual Schwarzschild time slicing that is frozen at the horizon, is capable of evolving only the region exterior to the black hole’s event horizon. Portions of the interior of the black hole can be covered by an evolution that begins with data on a standard Schwarzschild time slice, but the result is not a time-independent solution. As we will see later, there are other slicings of the Schwarzschild spacetime that cover the interior of the black hole and yield time-independent solutions.

#### 3.1.2 Time-Symmetric Multi-Hole Solutions

As we saw in Section 3.1.1, the simplest approach for generating initial data is to assume time symmetry and let the conformal 3-geometry be flat. We could have generated the exterior solution for Schwarzschild with the areal-radial coordinate by a clever choice for the conformal 3-geometry. The Hamiltonian constraint is still linear, even if *̃γ*_{ij} is not flat. But there is no obvious motivation for the correct *̃γ*_{ij} that would yield the desired solution.

**x**-

**C**

_{σ}| is a coordinate distance from the point

**C**

_{σ}in the Euclidean conformal space, and the

*μ*

_{σ}are constants related to the masses of the black holes. Assuming the points

**C**

_{σ}are sufficiently far apart, this solution of the initial-value equations represents

*N*black holes momentarily at rest in “our” asymptotically flat universe. As was the case for a single black hole, each singular point in the solution,

**x**=

**C**

_{σ}, represents infinity in a different, causally disconnected universe. In fact, each black hole connects “our” universe to a different universe, so that there are

*N*+1 asymptotically flat hypersurfaces connected together at the throats of

*N*black holes. While we started with a 3-dimensional Euclidean manifold, the requirement that we delete the singular points,

**C**

_{σ}, results in a manifold that is not simply connected. This solution is often referred to as having a topology with

*N*+1 “sheets”.

Brill-Lindquist initial data are very similar to the Schwarzschild initial data in isotropic coordinates except for one major difference: The solution does not represent two identical universes that have been joined together. The coordinate transformation (65) can still be used to show that each pole in the solution corresponds to infinity on an asymptotically flat hypersurface. But, the solution has *N* +1 different asymptotically flat universes connected together, not two, and “our” universe containing *N* black holes cannot be isometric to any of the other universes which contain just one. Interestingly, Misner [78] found that it is possible to construct a solution of the vacuum, time-symmetric Hamiltonian constraint (61) that has two isometric asymptotically flat hypersurfaces connected by *N* black holes. The case of two black holes that satisfies this isometry condition (often called inversion symmetry) is usually referred to as “Misner initial data”. It has an analytic representation in terms of an infinite series expansion. The construction is tedious, and there are several representations of the solution [93, 38]^{8}. Like the Brill-Lindquist data, the non-simply connected topology of the full manifold is represented on a Euclidean 3-manifold by the presence of singular points that must be removed. Brill-Lindquist data have *N* singular points, each representing an *image* of infinity as seen through the throat of the black hole connecting our universe to that hole’s other universe. Misner’s data contain an infinite number of singular points for each black hole, each representing an image of one of two asymptotic infinities. The result is seen to represent two identical asymptotically flat universes joined by *N* black holes. The two universes join together at the throats of the *N* black holes, with each throat being a coordinate 2-sphere in the conformal space. Data at any point in one universe are related to data at the corresponding point in the alternate universe via the same isometry condition (65) found in the Schwarzschild case. And, as in the Schwarzschild case, the 2-sphere throat of each black hole forms a fixed-point set of the isometry condition.

Both the Brill-Lindquist data and Misner’s data represent *N* black holes at a moment of time-symmetry (i. e., all the black holes are momentarily at rest). Both are conformally flat and the difference in the topology of the two solutions is hidden from an observer outside the black holes. Yet solutions where the holes are chosen to have the same size and separation yield similar, but physically distinct, solutions [36, 3].

### 3.2 General Multi-Hole Solutions

Time-symmetric black-hole solutions of the constraint equations such as those described in Section 3.1 are useful as test cases because they have analytic representations. However, they have very little physical relevance. General time-asymmetric solutions are needed to represent black holes that are moving and spinning^{9}. A few approaches for generating general multi-hole solutions have been explored and, below, we will look at the two approaches which are direct generalizations of the Misner and Brill-Lindquist data. Generalizing these two approaches was the most natural first step toward constructing general multi-hole solutions.

The first approach to be developed generalized the Misner approach [78]. It was attractive because an isometry condition relating the two asymptotically flat universes provides two useful things. First, because the two universes are identical, finding a solution in one universe means that you have the full solution. Second, because the throats are fixed-point sets of the isometry, we can construct boundary conditions on any quantity there. This allows us to excise the region interior to the spherical throats from one of the Euclidean background spaces and solve for the initial data in the remaining volume.

The generalization of the Misner approach seemed preferable to trying to solve the constraints on *N* +1 Euclidean manifolds stitched together smoothly at the throats of *N* black holes. However, Brandt and Brügmann [27] realized it was possible to factor out analytically the behavior of the singular points in the Euclidean manifold of the *N* + 1 sheeted approach. Referred to as the “puncture” method, this approach allows us to rewrite the constraint equations for functions on an *N* + 1 sheeted manifold as constraint equations for new functions on a simple Euclidean manifold.

Another approach tried, which we will not discuss in detail, avoided the issue of the topology of the initial-data slice entirely. Developed by Thornburg [100], this approach was based on the idea that only the domain exterior to the apparent horizon of a black hole is relevant. The equation describing the location of an apparent horizon can be rewritten in a form that can be used as a boundary condition for the conformal factor in the Hamiltonian constraint equation. Thus, given a compatible solution to the momentum constraints, this boundary condition can be used to construct a solution of the Hamiltonian constraint in the domain exterior to the apparent horizons of any black holes, with no reference at all to the topology of the full manifold.

#### 3.2.1 Bowen-York Data

*f*

_{ij}represents a flat metric in any suitable coordinate system. The assumption of conformal flatness means that the differential operators in the constraints are the familiar flat-space operators. More importantly, if we use the conformal transverse-traceless decomposition (32), we find that in vacuum the momentum constraints completely decouple from the Hamiltonian constraint.

*̃M*

^{ij}= 0, then the momentum constraints (31) become

*P*

^{i}and

*S*

^{i}are vector parameters,

*r*is a coordinate radius, and

*n*

^{i}is the outward-pointing unit normal of a sphere in the flat conformal space (

*n*

^{i}=

*x*

^{i}/

*r*).

*∊*

^{ijk}is the 3-dimensional Levi-Civita tensor.

*ξ*

_{( k)}

^{ i}is a Killing vector of the 3-metric

*γ*

_{ij}

^{10}. Since we are not likely to have true Killing vectors, we make use of the asymptotic translational and rotational Killing vectors of the flat conformal space. We find from (71), (70), and (67) that the

*physical*linear momentum of the initial-data hypersurface is

*P*

^{i}and the

*physical*angular momentum of the slice is

*S*

^{i}. Furthermore, because the momentum constraints are linear, we can add any number of solutions of the form of Eq. (70) to represent a collection of linear and angular momentum sources. The total physical linear momentum of the initial-data slice will simply be the vector sum of the individual linear momenta. The total physical angular momentum cannot be obtained by simply summing the individual spins because this neglects the orbital angular momentum of the various sources. However, the total angular momentum can still be computed without having to solve the Hamiltonian constraint [114].

The Bowen-York solution for the extrinsic curvature is the starting point for all the general multi-hole initial-data sets we have discussed in Section 3.2. However, this solution is not *inversion symmetric*. That is, it does not satisfy the isometry condition that any field must satisfy to exist on a two-sheeted manifold like that of Misner’s solution. Fortunately, there is a method of images, similar to that used in electrostatics but applicable to tensors, that can be used to make any tensor inversion symmetric [78, 25, 66, 65, 113].

*a*is the radius of the coordinate 2-sphere that is the throat of the black hole. Of course, this coordinate 2-sphere is the fixed-point set of the isometry and is the surface on which we can impose boundary conditions. Notice that this radius enters the solutions only when we make it inversion symmetric.

When the extrinsic curvature represents more than one black hole, the process for making the solution inversion symmetric is rather complex and results in an infinite-series solution. However, in most cases of interest, the solution converges rapidly and it is straightforward to evaluate the solution numerically [38].

*n*

_{ σ}

^{ i}is the outward-pointing unit-normal vector to the

*σ*

^{th}throat and

*a*

_{σ}is the coordinate radius of that throat. This condition can be used as a boundary condition when solving (73) in the region exterior to the throats.

*E*is the total ADM energy content of the initial-data hypersurface. Equation (75) can be used to construct appropriate boundary conditions either at infinity or at a large, but finite, distance from the black holes [116].

#### 3.2.2 Puncture Data

The generalization of the Brill-Lindquist data developed by Brandt and Brügmann [27] begins with the same set of assumptions (67) as the conformal-imaging approach outlined in Section 3.2.1. We immediately have Eq. (70) from the solution of the momentum constraints, and we must solve the Hamiltonian constraint, which again takes the form of Eq. (73). At this point, however, the method of solution differs from the conformal-imaging approach.

*u*is sufficiently smooth, (76) implies that the manifold will have the topology of

*N*+1 asymptotically flat regions just as in the Brill-Lindquist solution. In this case, asymptotic flatness requires that \(u = 1 + {\mathcal O}({r^{ - 1}})\).

*χ*≈ |

**x**-

**C**

_{σ}|. From (70), we see that AjAjj behaves no worse than

*Ã*

_{ij}

*Ã*

^{ij}behaves no worse than |

**x**-

**C**

_{σ}|

^{-6}, so

*η*vanishes at the punctures at least as fast as |

**x**-

**C**

_{σ}|.

With this behavior, Brandt and Brügmann [27] have shown the existence and uniqueness of *C*^{2} solutions of the modified Hamiltonian constraint (77). The resulting scheme for constructing multiple black hole initial data is very simple. The mass and position of each black hole are parameterized by *μ*_{σ} and *C*_{σ}, respectively. Their linear momenta and spin are parameterized by **P**_{σ} and **S**_{σ} in the conformal extrinsic curvature (70) used for each hole. Finally, the solution for *u* is found on a simple Euclidean manifold, with no need for any inner boundaries to avoid singularities. This is a great simplification over the conformal-imaging approach, where proper handling of the inner boundary is the most difficult aspect of solving the Hamiltonian constraint numerically [41].

#### 3.2.3 Problems with These Data

Both the conformal-imaging and puncture methods for generating multiple black hole initial data allow for completely general configurations of the relative sizes of the black holes, as well as their linear and angular momenta. This does not mean that these schemes allow for the generation of *all* desired black-hole initial data. The two schemes rely on specific assumptions about the freely specifiable gravitational data. In particular, they assume *K* = 0, *̃M*^{ij} = 0, and, most importantly, that the 3-geometry is conformally flat.

*K*= 0 time slice [28]. Let

*r*denote the usual Boyer-Lindquist radial coordinate and make the standard definitions

*̃r*can be defined via

We see immediately that the 3-geometry associated with a *t* = const. hypersurface of (81) is not conformally flat. In fact, Garat and Price [54] have shown that in general there is no spatial slicing of the Kerr spacetime that is axisymmetric, conformally flat, and smoothly goes to the Schwarzschild solution as the spin parameter *a* → 0.

Since the Kerr solution is stationary, the inescapable conclusion is that conformally flat initial data for a single rotating black hole must also contain some nonvanishing dynamical component. When we evolve such data, the system will emit gravitational radiation and eventually settle down to the Kerr geometry [25, 29]. But, it cannot be the Kerr geometry initially, and it is unlikely that the spurious gravitational radiation content of the initial data has any desirable physical properties. Conformally flat initial data for spinning holes contain some amount of unphysical “junk” radiation. A similar conclusion is reached for conformally flat data for a single black hole with linear momentum [112].

The choice of a conformally flat 3-geometry was originally made for convenience. Combined with the choice of maximal slicing, these simplifying assumptions allowed for an analytic solution of the momentum constraints which vastly simplified the process of constructing black-hole initial data. Yet there has been much concern about the possible adverse physical effects that these choices (especially the choice of conformal flatness) will have in trying to study black-hole spacetimes [40, 70, 87, 60, 86]. While these conformally flat data sets may still be useful for tests of black-hole evolution codes, it is becoming widely accepted that the unphysical initial radiation will significantly contaminate any gravitational waveforms extracted from evolutions of these data. In short, these data are not astrophysically realistic.

The various initial-data decompositions outlined in Section 2.2 and Section 2.3 are all capable of producing completely general black-hole initial data sets. The only limitation of these schemes is our understanding of what choices to make for the freely specifiable data *and* the boundary conditions to apply when solving the sets of elliptic equations. All these choices will have a critical impact on the astrophysical significance of the data produced. It is also important to remember that similar choices for the freely specifiable data will result in physically different solutions when applied to the different schemes.

The first studies of black-hole initial data that are not conformally flat were carried out by Abrahams *et al*. [1]. They looked at the superposition of a gravitational wave and a black hole. Using a form of the conformal metric that allows for so-called Brill waves, they constructed time-symmetric initial data that were not conformally flat and yet satisfied the isometry condition (65) used in the conformal-imaging method of Section 3.2.1. These data were further generalized by Brandt and Seidel [30] to include rotating black holes with a superimposed gravitational wave. In this case, the data are no longer time-symmetric yet they satisfy a generalized form of the isometry condition so that the solution is still represented on two isometric, asymptotically flat hypersurfaces.

Matzner *et al*. [77] have begun to move beyond conformally flat initial data for binary black holes Their proposal is to use boosted versions of the Kerr metric written in the Kerr-Schild form to represent each black hole. Thus, an isolated black hole will have no spurious radiation content in the initial data. To construct solutions with multiple black holes, they propose, essentially, to use a linear combination of the single-hole solutions. The resulting metric can be used as the *conformal* 3-metric, the trace of the resulting extrinsic curvature can be used for *K*, and the tracefree part of the resulting extrinsic curvature can be used for *̃M*^{ij}. Their scheme uses York’s conformal transverse-traceless decomposition outlined in Section 2.2.1, with the boundary conditions of *ψ* = 1 and *V*^{i} = 0 on the horizons of the black holes and conditions appropriate for asymptotic flatness at large distances from the holes. A related method has been proposed by Bishop *et al*. [15], but their approach is much different and outside the current scope of this review.

The approach outlined by Matzner should certainly yield “cleaner” data than the conformally flat data currently available. For the task of specifying data for astrophysical black-hole binaries in nearly circular orbits, it is still true that these new data will not contain the correct initial gravitational wave content. Because the black holes are in orbit, they must be producing a continuous wave-train of gravitational radiation. This radiation will not be included in the method proposed by Matzner *et al*. Also, it is clear that the boundary conditions being used do not correctly account for the tidal distortion of each black hole by its companion. When the black holes are sufficiently far apart, the radiation from the orbital motion can be computed using post-Newtonian techniques. One possibility for producing astrophysically realistic, binary black-hole initial data is to use information from these post-Newtonian calculations to obtain better guesses for *̃γ*_{ij}, *̃M*^{ij}, and *K*.

### 3.3 Horizon-Penetrating Solutions

We noted in Section 3.1.1 that the time-independent maximal slicing of Schwarzschild with isotropic coordinates covers only the exterior of the black hole. This is because the time independence of this gauge requires that the lapse vanish on the horizon. It is possible to evolve into the black hole’s interior when starting from initial data constructed in this gauge, but it requires a choice for the lapse that yields a time-dependent solution [94]. The time dependence of such a solution is purely gauge, of course, since the spacetime is static.

*ρ*and Δ are defined by Eq. (79), and

*̃V*is the ingoing-null coordinate. This metric is regular at \(r = {r_ \pm } \equiv M \pm \sqrt {{M^2} - {a^2} - {Q^2}} \), where

*r*

_{+}and

*r*

_{-}are the locations of the event horizon and the Cauchy horizon, respectively.

*f*and

*g*are suitably chosen functions of the radial coordinate

*r*. There are a few particularly significant solutions for the general Kerr-Newman geometry, and I will outline these below, listing the nonzero components of the metric in the standard 3+1 format.

#### 3.3.1 Kerr-Schild Coordinates

*r*from

*r*> 0 and

*r*= 0 on the disk described by

*z*= 0 and

*x*

^{2}+

*y*

^{2}≤

*a*

^{2}.

#### 3.3.2 Harmonic Coordinates

*t*= 0, which can be written

*t*= const. hypersurface is spacelike only outside the Cauchy horizon at

*r*>

*r*

_{-}.

*x*

^{μ}= 0) can be defined when Cartesian spatial coordinates are used by employing a variation of the standard Kerr-Schild coordinate transformations [42]

*r*from

#### 3.3.3 Generalized Painlevé-Gullstrand Coordinates

The Painlevé-Gullstrand gauge choice for the Schwarzschild geometry has been rediscovered many times because of its simple form (cf. Refs. [85, 59, 88, 64, 67]). It is another time-independent solution, but the 3-geometry is completely flat (not simply conformally flat). The lapse is one in this gauge, and all of the information regarding the curvature of spacetime is contained in the shift. The Painlevé-Gullstrand gauge also has an intuitive physical interpretation [74]. An observer starting at rest at infinity and freely falling will trace out a world line that is everywhere orthogonal to the *t* = const. hypersurfaces in Painlevé-Gullstrand coordinates.

*a*and

*Q*vanish, this solution reduces to the Painlevé-Gullstrand gauge. The coordinate transformation is written most easily as

*t*= const. slice of the generalized Painlevé-Gullstrand gauge remains spacelike for all

*r*≥ 0.

### 3.4 Quasicircular Binary Data

One of the primary driving forces behind the development of black-hole initial data has been the two-body problem of general relativity: the inspiral and coalescence of a pair of black holes. This problem is of fundamental importance. Not only is the relativistic two-body problem the most fundamental dynamical problem of general relativity, it is also considered one of the most likely candidates for observation with the upcoming generation of gravitational wave laser interferometers. Because of the circularizing effects of gravitational radiation damping, we expect the orbits of most tight binary systems to have small eccentricities. It is therefore desirable to have a method that can discern which data sets, within the very large parameter space of binary black-hole initial-data sets, correspond to black-hole binaries in a nearly circular (quasicircular) orbit.

Currently, only one approach has been developed for locating quasicircular orbits in a parameter space of binary black-hole initial data [39]. It is based on the fact that minimizing the energy of a binary system while keeping the orbital angular momentum fixed will yield a circular orbit in Newtonian gravity. The idea does not hold strictly for general relativistic binaries since they emit gravitational radiation and cannot be in equilibrium. However, for orbits outside the innermost stable circular orbit, the gravitational radiation reaction time scale is much longer than the orbital period. Thus it is a good approximation to treat such binaries as an equilibrium system. Called an “effective potential method”, this approach was used originally to find the quasicircular orbits and innermost stable circular orbit (ISCO) for equal-sized nonspinning black holes [39]. In this work, the initial data for binary black holes were computed using the conformal-imaging approach outlined in Section 3.2.1. The approach was also applied to binary black-hole data computed using the puncture method [10], where similar results were found. Configurations containing a pair of equal-sized black holes with spin also have been examined [86]. In this case, the spins of the black holes are equal in magnitude, but are aligned either parallel to, or anti-parallel to, the direction of the orbital angular momentum.

*E*

_{ADM}is the total ADM energy of the system measured at infinity, and

*M*

_{1}and

*M*

_{2}are the masses of the individual black holes. Quasicircular orbital configurations are obtained by minimizing the effective potential (defined as the nondimensional binding energy

*E*

_{b}/

*μ*(where

*μ*=

*M*

_{1}

*M*

_{2}/(

*M*

_{1}+

*M*

_{2})) as a function of separation, while keeping the ratio of the masses of the black holes

*M*

_{1}/

*M*

_{2}, the spins of the black holes

**S**

_{1}/

*M*

_{ 1}

^{ 2}and

**S**

_{2}/

*M*

_{ 2}

^{ 2}, and the total angular momentum

*J*/(

*M*

_{1}

*M*

_{2}) constant.

This approach is limited primarily by the ambiguity in defining the individual masses of the black holes, *M*_{1} and *M*_{2}. There is no rigorous definition for the mass of an individual hole in a binary configuration and some approximation must be made here. There is also no rigorous definition for the individual spins of holes in a binary configuration. The problem of defining the individual masses becomes particularly pronounced when the holes are very close together (see Ref. [86]). The limiting choice of conformal flatness for the 3-geometry also has proven to be problematic. The effects of this choice have been clearly seen in the case of quasicircular orbits of spinning black holes [86], but it is also believed to be a serious problem for any binary configuration because binary configurations are not conformally flat at the second post-Newtonian order [87].

To date, the results of the effective-potential method have not matched well to the best result from post-Newtonian approximations [47]^{11}. It will be interesting to see if the results from post-Newtonian approximations and numerical initial-data sets converge, especially when the approximation of conformal flatness is eliminated.

## 4 Neutron-Star Initial Data

The construction of initial data for neutron stars requires that the state of the neutron-star matter be specified before the gravitational data can be determined. Of course, a solution of the gravitational constraint equations can be found in principal for any given energy density *ρ* and momentum density *j*^{i}. But, with neutron-star solutions, we are usually interested in situations where the matter is in (or nearly in) hydrostatic equilibrium and the gravitational fields are also in (or nearly in) equilibrium.

### 4.1 Hydrostatic Equilibrium

*u*

^{μ}must be a linear combination of these two Killing vectors. If we use coordinates as defined in (53) with the angular Killing vector in the

*ϕ*direction, then

*u*

^{t}and Ω are functions of

*r*and

*θ*only. Ω is the angular velocity of the matter as measured at infinity.

*v*as the relative velocity between the matter and a normal observer (often called a zero angular momentum observer) so that

*v*is then fixed by the normalization condition

*u*

^{μ}

*u*

_{μ}= -1.

*ε*and

*P*are the total energy density and pressure, respectively, as measured in the rest frame of the fluid. The vanishing of the divergence of the stress-energy tensor yields the equation of hydrostatic equilibrium (often referred to as the relativistic Bernoulli equation). In differential form, this is

^{12}, then we can define the relativistic enthalpy as

*h*

_{0},

*u*

_{0}

^{ t}, and Ω

_{0}are the values their respective quantities have at some reference point, often taken to be the surface of the neutron star at the axis of rotation. When uniform rotation is assumed (dΩ = 0), Eq. (118) is rather easy to solve. The case of differential rotation is somewhat more complicated. An integrability condition of (116) requires that

*u*

^{t}

*u*

_{ϕ}be expressible as a function of Ω, so

*F*(Ω) is a specifiable function of Ω which determines the rotation law that the neutron star must obey [35].

### 4.2 Isolated Neutron Stars

*r*≤

*R*, where

*R*is the radius of the surface of the star. Here,

*r*is an areal radius and

*m*(

*r*) is the mass inside radius r. Exterior to the surface of the star, the metric is the standard Schwarzschild metric as in Eq. (59) with

*M*=

*m*(

*R*). Interior to the surface of the star, the metric is

*m*(0) = 0,

*ε*(0) is some chosen constant

*ε*

_{0}, and \(\alpha (R) = \sqrt {1 - 2M/R} \). The solutions of this equation form a one-parameter family, parameterized by

*ε*

_{0}which determines how relativistic the system is. A method for solving these equations in both the areal coordinate

*r*and an isotropic radial coordinate

*̃r*can be found in Ref. [32].

More generally, isolated neutron stars will be rotating. If the neutron stars are uniformly rotating, then, for any given equation of state, the solutions form a two-parameter family. These models can be parameterized by their central density, which determines how relativistic they are, and by the amount of rotation. If the models are allowed to have differential rotation, then some rotation law must be chosen.

To construct a neutron-star model, the equations for a stationary solution of Einstein’s equations outlined in Section 2.4 must be solved self-consistently with the equations for hydrostatic equilibrium of the matter outlined above in Section 4.1. The equations that must be solved depend on the form of the metric chosen, and numerous formalisms and numerical schemes have been used. An incomplete list of references to work on constructing neutron-star models include [103, 22, 34, 32, 35, 33, 52, 62, 63, 43, 45, 44, 98, 21, 56, 16, 19]. Further review information on neutron-star models can be found in Refs. [97, 51, 50].

### 4.3 Neutron-Star Binaries

Neutron-star binaries, like any relativistic binary system, cannot exist in a true equilibrium configuration since they must emit gravitational radiation. But, as is true for black-hole binary data, for orbits outside the innermost stable circular orbit, the gravitational radiation reaction time scale is much longer than the orbital period and it is a reasonable approximation to consider the stars to be in a quasiequilibrium state.

*t*′

^{μ}is a Killing vector and it is related to the time vector in the rest frame of the binary

*t*

^{μ}by

*ξ*

^{μ}is a generator of rotations about the rotation axis

^{13}. Bonazzola

*et al.*[18] refer to

*t**

^{μ}as a

*helicoidal*Killing vector.

Two equilibrium states for the matter have been explored in the literature. The simplest case is that of *co*-rotation, where the 4-velocity of the matter is proportional to *t*′^{μ}. In this case, the matter is at rest in the frame of reference rotating with the binary system, the *corotating reference frame*. The second equilibrium state is that of *counter*-rotation, where there is no rotation in the *rest frame of the binary*. We will explore these two cases further below.

*t*′

^{μ}. To make the transition back to the rest frame of the binary as easy as possible, we write the shift vector of our 3+1 decomposition as

*β*

^{i}remains as the shift vector of the 3+1 decomposition made with respect to the rest frame of the binary system.

*γ*

_{ij}is flat, the initial-data slice is maximal so that

*K*= 0, and

*ũ*

^{ij}= 0. We see from (42) that the last assumption implies that the conformal 3-geometry is

*instantaneously*stationary as seen in the corotating reference frame. The final choice that must be made is for the conformally rescaled lapse

*̃μ*. An elliptic equation for the lapse can be obtained by demanding that the trace of the extrinsic curvature

*K*also be instantaneously stationary in the corotating reference frame. This is the so-called

*maximal slicing*condition on the lapse. For the particular assumptions we have made here, this equation can be written

*If* we choose the matter so that it is in hydrostatic equilibrium with respect to the pseudo-Killing vector *t*′^{μ}, then these equations for the gravitational fields will yield data that are in quasiequilibrium in the sense that *̃γ*_{ij} and *K* are both *instantaneously* stationary.

For corotating binaries, the matter is at rest in the corotating reference frame of the binary. It is *rigidly* rotating and hydrostatic equilibrium is specified by solving the relativistic Bernoulli equation (118), with dΩ = 0, self-consistently with the equations for the gravitational fields.

*irrotational flow*[99, 92]. As long as the flow is

*isentropic*, we can express the enthalpy (117) as

^{14}

*ρ*

_{0}is the rest-mass density. For irrotational flow, the vorticity of the fluid (cf. Ref. [99]) is zero. Combining this with the Euler equation, we find that the 4-velocity of the fluid can be expressed as

*φ*is the velocity potential, or flow field. Equation (127), together with the normalization condition

*u*

^{μ}

*u*

_{μ}= -1, automatically satisfies the Euler equation and we are left with the continuity equation which must be satisfied,

*C*is a positive constant. Now, in terms of the 3+1 decomposition with

*B*

^{i}as the shift vector (see Eq. (123)), we find that the Bernoulli equation is written as

*φ*must satisfy

^{15}at the surface of the flow,

As mentioned above, the earliest work on neutron-star binaries was carried out by Wilson and Mathews [104, 105]. Wilson *et al*. [106] describe their approach for generating initial data for equilibrium neutron-star binaries. In these early works, the equation of hydrostatic equilibrium was not used. Rather, an initial guess for the density profile was chosen and the full hydrodynamic system was evolved with viscous damping until equilibrium was reached. During each step of the hydrodynamic evolution, the equations for the gravitational fields were resolved. The resulting data represented neither strictly co- nor counter-rotating binary neutron stars. This work led to the controversial result [75] that each neutron star in the binary may become radially unstable and collapse prior to the merger of the pair of stars. While an error was found in this work [49, 76] with the result that the signature of collapse is significantly weaker, the controversy has not yet been completely resolved.

The first use of corotating hydrostatic equilibrium with the Wilson-Mathews approach for specifying the gravitational fields was by Cook *et al*. [46] for the test case of an isolated neutron star. This approach was then used to study corotating neutron-star binaries by Baumgarte *et al*. [11, 12] and by Marronetti *et al*. [71]. Interestingly, turning-point methods for detecting *secular* instabilities [95, 96, 53] can be applied to the case of corotating binaries [13].

Corotating binary configurations are relatively easy to construct. However, it is believed that the viscosity of neutron-star matter is not large enough to allow for synchronization of the spin with the orbit [61, 14]. But if the initial spins of the neutron stars are not too large, close binaries should be well approximated by irrotational models. Bonazzola *et al*. [18] (as corrected by Asada [7]) developed the first approach for constructing counterrotating binary configurations. However, simpler formulations of irrotational flow were developed independently by Teukolsky [99] and Shibata [92], and Gourgoulhon [55] showed that all three approaches were equivalent. Numerical solutions of the equations for irrotational flow coupled to the equations for the gravitational fields are more difficult to construct than those for corotation because of the boundary condition (133) on the flow field that must be applied on the surface of each neutron star. This boundary condition is particularly difficult to implement because the location of the surface of the star is not known *a priori*, and will move as the equations are being solved. The first models of irrotational binary neutron stars were constructed by Bonazzola *et al*. [20], Marronetti *et al*. [72], and Uryū and collaborators [101, 102]. A description of the numerical methods used by Bonazzola *et al*. can be found in Refs. [57, 58].

## Footnotes

- 1.
We could also formulate Einstein’s equations as a characteristic initial-value problem, but we will not pursue that approach in this paper.

- 2.
A different sign choice for defining the extrinsic curvature is sometimes found in the literature.

- 3.
The stress-energy tensor is decomposed as

*T*_{μν}=*S*_{μν}+*n*_{μ}*j*_{ν}+*n*_{ν}*j*_{μ}+*n*_{μ}*n*_{ν}*ρ*or, equiv-alently,*S*_{ij}≡ ⊥*T*_{ij},*j*_{i}≡ - ⊥*n*^{μ}*T*_{iμ}, and ρ =*n*^{μ}*n*^{ν}*T*_{μν}where ⊥ denotes the operation of projection onto the spatial hypersurface and it acts on all free indices. Note that the matter terms in Eqs. (12), (14), and (15) are defined with respect to a normal observer. This is in contrast to the usual definition of ρ with respect to the rest frame of the fluid in hydrodynamics. - 4.
Or, if we solve the momentum constraint in terms of a background momentum density

*̃j*^{i}=*ψ*^{10}*j*^{i}, the momentum constraint decouples with nonvanishing*̃j*^{i}. - 5.
- 6.
- 7.
Spheres at constant areal-radial coordinate

*r*have proper area 4*πr*^{2}. - 8.
In Ref. [38], Eq. (B7), the line “1 for n = 1” should read “

*α*^{-1}for*n*= 1”. - 9.
Time-asymmetric solutions are also needed to represent time-independent solutions that cover the interior of a black hole.

- 10.
- 11.
- 12.
For a barytropic fluid, the entropy per baryon and the fractional abundances of the different nuclear species are determined uniquely by the distribution of baryons. In this case, the total energy density

*ε*can be expressed as a function of the pressure*P*(cf. Ref. [35]). - 13.
In spherical coordinates,

*⃗ξ*=*∂*/*∂ϕ*. In Cartesian coordinates, rotation about the*z*axis would be represented by*ξ*^{μ}= (0, -*y*,*x*, 0). - 14.
For isentropic flow, the thermodynamic identity reduces to d

*h*= 1/*ρ*_{0}· d*P*. - 15.
This boundary condition comes from the fact that the fluid motion at the surface of the star must be tangent to the surface,

*u*^{μ}∇_{μ}*ρ*_{0}= 0.

## Notes

### Acknowledgments

This work was supported by NSF grant PHY-9988581 to Wake Forest University. I am especially indebted to James York, Saul Teukolsky, and Stuart Shapiro for their support over the years. I would also like to thank Andrew Abrahams, Thomas Baumgarte, and Mark Scheel for innumerable helpful discussions.

## References

- [1]Abrahams, A.M., Bernstein, D., Hobill, D., Seidel, E., and Smarr, L., “Numerically generated black-hole spacetimes: Interaction with gravitational waves”,
*Phys. Rev. D*,**45**(10), 3544–3558, (May, 1992). 3.2.3ADSMathSciNetGoogle Scholar - [2]Abrahams, A.M., and Evans, C.R., “Critical Behavior and Scaling in Vacuum Axisymmetric Gravitational Collapse”,
*Phys. Rev. Lett.*,**70**(20), 2980–2983, (May, 1993). 3ADSGoogle Scholar - [3]Abrahams, A.M., and Price, R.H., “Black-hole collisions from Brill-Lindquist initial data: Predictions of perturbation theory”,
*Phys. Rev. D*,**53**(4), 1972–1976, (February, 1996). For a related online version see: A.M. Abrahams, et al., “Black-hole collisions from Brill-Lindquist initial data: predictions of perturbation theory”, (September, 1995), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9509020. 8ADSGoogle Scholar - [4]Anderson, A., and York Jr., J.W., “Hamiltonian Time Evolution for General Relativity”,
*Phys. Rev. Lett.*,**81**(6), 1154–1157, (August, 1998). For a related online version see: A. Anderson, et al., “Hamiltonian Time Evolution for General Relativity”, (July, 1998), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9807041. 6ADSMathSciNetzbMATHGoogle Scholar - [5]Arbona, A., Bona, C., Carot, J., Mas, L., Massò, J., and Stella, J., “Stuffed black holes”,
*Phys. Rev. D*,**57**(4), 2397–2402, (February, 1998). For a related online version see: A. Arbona, et al., “Stuffed Black Holes”, (October, 1997), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9710111. 3ADSMathSciNetGoogle Scholar - [6]Arnowitt, R., Deser, S., and Misner, C.W., “The dynamics of general relativity”, in Witten, L., ed.,
*Gravitation: An Introduction to Current Research*, 227–265, (Wiley, New York, 1962). 2.1Google Scholar - [7]Asada, H., “Formulation for the internal motion of quasiequilibrium configurations in general relativity”,
*Phys. Rev. D*,**57**(12), 7292–7298, (June, 1998). For a related online version see: H. Asada, “Formulation for the internal motion of quasi-equilibrium configurations in general relativity”, (April, 1998), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9804003. 15ADSMathSciNetGoogle Scholar - [8]Bardeen, J.M., “A Variational Principle for Rotating Stars in General Relativity”,
*Astrophys. J.*,**162**(1), 71–95, (October, 1970). 2.4ADSMathSciNetGoogle Scholar - [9]Bardeen, J.M., and Wagoner, R.V., “Relativistic Disks. I. Uniform Rotation”,
*Astrophys. J.*,**167**(3), 359–423, (August, 1971). 2.4ADSMathSciNetGoogle Scholar - [10]Baumgarte, T.W., “Innermost stable circular orbit of binary black holes”,
*Phys. Rev. D*,**62**(2), 024018/1–8, (July, 2000). For a related online version see: T.W. Baumgarte, “The Innermost Stable Circular Orbit of Binary Black Holes”, (April, 2000), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/0004050. 3.4ADSMathSciNetGoogle Scholar - [11]Baumgarte, T.W., Cook, G.B., Scheel, M.A., Shapiro, S.L., and Teukol-sky, S.A., “Binary Neutron Stars in General Relativity: Quasi-Equilibrium Models”,
*Phys. Rev. Lett.*,**79**(7), 1182–1185, (August, 1997). For a related online version see: T.W. Baumgarte, et al., “Binary Neutron Stars in General Relativity: Quasi-Equilibrium Models”, (April, 1997), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9704024. 13, 15ADSGoogle Scholar - [12]Baumgarte, T.W., Cook, G.B., Scheel, M.A., Shapiro, S.L., and Teukolsky, S.A., “General Relativistic Models of Binary Neutron Stars in Quasiequilibrium”,
*Phys. Rev. D*,**57**(12), 7299–7311, (June, 1998). For a related online version see: T.W. Baumgarte, et al., “General Relativis-tic Models of Binary Neutron Stars in Quasiequilibrium”, (September, 1997), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9709026. 13, 15ADSMathSciNetGoogle Scholar - [13]Baumgarte, T.W., Cook, G.B., Scheel, M.A., Shapiro, S.L., and Teukolsky, S.A., “The Stability of Relativistic Neutron Stars in Binary Orbit”,
*Phys. Rev. D*,**57**(10), 6181–6184, (May, 1998). For a related online version see: T.W. Baumgarte, et al., “The Stability of Relativistic Neutron Stars in Binary Orbit”, (May, 1997), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9705023. 15ADSGoogle Scholar - [14]Bildsen, L., and Cutler, C., “Tidal Interaction of Inspiralling Compact Binaries”,
*Astrophys. J.*,**400**(1), 175–180, (November, 1992). 15ADSGoogle Scholar - [15]Bishop, N.T., Isaacson, R., Maharaj, M., and Winicour, J., “Black hole data via a Kerr-Schild approach”,
*Phys. Rev. D*,**57**(10), 6113–6118, (May, 1998). For a related online version see: N.T. Bishop, et al., “Black Hole Data via a Kerr-Schild Approach”, (November, 1997), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9711076. 3.2.3ADSMathSciNetGoogle Scholar - [16]Bocquet, M., Bonazzola, S., Gourgoulhon, E., and Novak, J., “Rotating Neutron Star Models With Magnetic Field”,
*Astron. Astrophys.*,**301**(3), 757–775, (September, 1995). For a related online version see: M. Bocquet, et al., “Rotating Neutron Star Models With Magnetic Field”, (March, 1995), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9503044. 4.2ADSGoogle Scholar - [17]Bona, C., and Massò, J., “Harmonic synchronizations of spacetime”,
*Phys. Rev. D*,**38**(8), 2419–2422, (October, 1988). 3.3.2ADSMathSciNetGoogle Scholar - [18]Bonazzola, S., Gourgoulhon, E., and Marck, J.-A., “A relativistic formalism to compute quasi-equilibrium configurations of non-synchronized neutron star binaries”,
*Phys. Rev. D*,**56**(12), 7740–7749, (December, 1997). For a related online version see: S. Bonazzola, et al., “A relativistic formalism to compute quasi-equilibrium configurations of non-synchronized neutron star binaries”, (October, 1997), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9710031. 13, 15ADSGoogle Scholar - [19]Bonazzola, S., Gourgoulhon, E., and Marck, J.-A., “Numerical approach for high precision 3-D relativistic star models”,
*Phys. Rev. D*,**58**(10), 104020/1–14, (November, 1998). For a related online version see: S. Bonazzola, et al., “Numerical approach for high precision 3-D relativis-tic star models”, (March, 1998), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/astro-ph/9803086. 4.2ADSGoogle Scholar - [20]Bonazzola, S., Gourgoulhon, E., and Marck, J.-A., “Numerical models of irrotational binary neutron stars in general relativity”,
*Phys. Rev. Lett.*,**82**(5), 892–895, (February, 1999). For a related online version see: S. Bonazzola, et al., “Numerical models of irrotational binary neutron stars in general relativity”, (October, 1998), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9810072. 15ADSzbMATHGoogle Scholar - [21]Bonazzola, S., Gourgoulhon, E., Salgado, M., and Marck, J.-A., “Axisym-metric rotating relativistic bodies: a new numerical approach for ‘exact’ solutions”,
*Astron. Astrophys.*,**278**(2), 421–443, (November, 1993). 2.4, 4.2ADSGoogle Scholar - [22]Bonazzola, S., and Schneider, J., “An Exact Study of Rigidly and Rapidly Rotating Stars in General Relativity with Application to the Crab Pulsar”,
*Astrophys. J.*,**191**(1), 273–286, (July, 1974). 2.4, 4.2ADSGoogle Scholar - [23]Bowen, J.M., “General form for the longitudinal momentum of a spherically symmetric source”,
*Gen. Relativ. Gravit.*,**11**(3), 227–231, (October, 1979). 3.2.1, 3.2.1ADSzbMATHGoogle Scholar - [24]Bowen, J.M., “General solution for flat-space longitudinal momentum”,
*Gen. Relativ. Gravit.*,**14**(12), 1183–1191, (December, 1982). 3.2.1, 3.2.1ADSMathSciNetzbMATHGoogle Scholar - [25]Bowen, J.M., and York Jr., J.W., “Time-asymmetric initial data for black holes and black-hole collisions”,
*Phys. Rev. D*,**21**(8), 2047–2056, (April, 1980). 3.2.1, 3.2.1, 10, 10, 10, 3.2.3ADSGoogle Scholar - [26]Bowen, J.W., Rauber, J., and York Jr., J.W., “Two black holes with axisymmetric parallel spins: Initial data”,
*Class. Quantum Grav.*,**1**(5), 591–610, (September, 1984). 3.2.1ADSMathSciNetGoogle Scholar - [27]Brandt, S., and Brügmann, B., “A simple construction of initial data for multiple black holes”,
*Phys. Rev. Lett.*,**78**(19), 3606–3609, (May, 1997). For a related online version see: S. Brandt, et al., “A simple construction of initial data for multiple black holes”, (March, 1997), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9703066. 9, 3.2.2, 3.2.2ADSGoogle Scholar - [28]Brandt, S.R., and Seidel, E., “Evolution of distorted rotating black holes. I: Methods and tests”,
*Phys. Rev. D*,**52**(2), 856–869, (July, 1995). For a related online version see: S.R. Brandt, et al., “The Evolution of Distorted Rotating Black Holes I: Methods and Tests”, (December, 1994), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9412072. 3.2.3ADSMathSciNetGoogle Scholar - [29]Brandt, S.R., and Seidel, E., “Evolution of distorted rotating black holes. II: Dynamics and analysis”,
*Phys. Rev. D*,**52**(2), 870–886, (July, 1995). For a related online version see: S.R. Brandt, et al., “The Evolution of Distorted Rotating Black Holes II: Dynamics and Analysis”, (December, 1994), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9412073. 3.2.3ADSMathSciNetGoogle Scholar - [30]Brandt, S.R., and Seidel, E., “Evolution of distorted rotating black holes. III: Initial data”,
*Phys. Rev. D*,**54**(2), 1403–1416, (July, 1996). For a related online version see: S.R. Brandt, et al., “The Evolution of Distorted Rotating Black Holes III: Initial Data”, (January, 1996), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9601010. 3.2.3ADSMathSciNetGoogle Scholar - [31]Brill, D.R., and Lindquist, R.W., “Interaction energy in geometrostatics”,
*Phys. Rev.*,**131**(1), 471–476, (July, 1963). 7, 3.1.2ADSMathSciNetzbMATHGoogle Scholar - [32]Butterworth, E.M., “On the Structure and Stability of Rapidly Rotating Fluid Bodies in General Relativity. II. The Structure of Uniformly Rotating Pseudopolytropes”,
*Astrophys. J.*,**204**(2), 561–572, (March, 1976). 4.2ADSMathSciNetGoogle Scholar - [33]Butterworth, E.M., “On the Structure and Stability of Rapidly Rotating Fluid Bodies in General Relativity. III. Beyond the Angular Velocity Peak”,
*Astrophys. J.*,**231**(1), 219–223, (July, 1979). 4.2ADSMathSciNetGoogle Scholar - [34]Butterworth, E.M., and Ipser, J.R., “Rapidly Rotating Fluid Bodies in General Relativity”,
*Astrophys. J. Lett.*,**200**(2), L103–L106, (September, 1975). 2.4, 4.2ADSGoogle Scholar - [35]Butterworth, E.M., and Ipser, J.R., “On the Structure and Stability of Rapidly Rotating Fluid Bodies in General Relativity. I. The Numerical Method for Computing Structure and Its Application to Uniformly Rotating Homogeneous Bodies”,
*Astrophys. J.*,**204**(1), 200–233, (February, 1976). 4.1, 12, 12, 4.2ADSMathSciNetGoogle Scholar - [36]Cantor, M., and Kulkarni, A.D., “Physical distinctions between normalized solutions of the two-body problem of general relativity”,
*Phys. Rev. D*,**25**(10), 2521–2526, (May, 1982). 8ADSMathSciNetGoogle Scholar - [37]Choquet-Bruhat, Y., and York Jr., J.W., “The Cauchy problem”, in Held, A., ed.,
*General Relativity and Gravitation: One Hundred Years After the Birth of Albert Einstein*, volume 1, 99–172, (Plenum, New York, 1980). 2.1ADSGoogle Scholar - [38]Cook, G.B., “Initial data for axisymmetric black-hole collisions”,
*Phys. Rev. D*,**44**(10), 2983–3000, (November, 1991). 3.1.2, 8, 3.2.1, 10ADSMathSciNetGoogle Scholar - [39]Cook, G.B., “Three-dimensional initial data for the collision of two black holes II: Quasicircular orbits for equal mass black holes”,
*Phys. Rev. D*,**50(8)**, 5025–5032, (October, 1994). For a related online version see: G.B. Cook, “Three-dimensional initial data for the collision of two black holes II: Quasicircular orbits for equal mass black holes”, (April, 1994), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9404043. 3.4, 11ADSMathSciNetGoogle Scholar - [40]Cook, G.B., and Abrahams, A.M., “Horizon structure of initial-data sets for axisymmetric two-black-hole collisions”,
*Phys. Rev. D*,**46**(2), 702–713, (July, 1992). 3.2.3ADSMathSciNetGoogle Scholar - [41]Cook, G.B., Choptuik, M.W., Dubal, M.R., Klasky, S., Matzner, R.A., and Oliveira, S.R., “Three-dimensional initial data for the collision of two black holes”,
*Phys. Rev. D*,**47**(4), 1471–1490, (February, 1993). 3.2.2ADSMathSciNetGoogle Scholar - [42]Cook, G.B., and Scheel, M.A., “Well-behaved harmonic time slices of a charged, rotating, boosted black hole”,
*Phys. Rev. D*,**56**(8), 4775–4781, (October, 1997). 3.3.1, 3.3.2, 3.3.2ADSMathSciNetGoogle Scholar - [43]Cook, G.B., Shapiro, S.L., and Teukolsky, S.A., “Spin-up of a rapidly rotating star by angular momentum loss: Effects of general relativity”,
*Astrophys. J.*,**398**(1), 203–223, (October, 1992). 4.2ADSGoogle Scholar - [44]Cook, G.B., Shapiro, S.L., and Teukolsky, S.A., “Rapidly rotating neutron stars in general relativity: Realistic equations of state”,
*Astrophys. J.*,**424**(2), 823–845, (April, 1994). 4.2ADSGoogle Scholar - [45]Cook, G.B., Shapiro, S.L., and Teukolsky, S.A., “Rapidly rotating polytropes in general relativity”,
*Astrophys. J.*,**422**(1), 227–242, (February, 1994). 4.2ADSGoogle Scholar - [46]Cook, G.B., Shapiro, S.L., and Teukolsky, S.A., “Testing a Simplified Version of Einstein’s Equations for Numerical Relativity”,
*Phys. Rev. D*,**53**(10), 5533–5540, (May, 1996). For a related online version see: G.B. Cook, et al., “Testing a Simplified Version of Einstein’s Equations for Numerical Relativity”, (December, 1995), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9512009. 2.3, 15ADSMathSciNetGoogle Scholar - [47]Damour, T., Jaranowski, P., and Schäfer, G., “Determination of the last stable orbit for circular general relativistic binaries at the third post-Newtonian approximation”,
*Phys. Rev. D*,**62**(8), 084011/1–21, (October, 2000). For a related online version see: T. Damour, et al., “On the determination of the last stable orbit for circular general relativis-tic binaries at the third post-Newtonian approximation”, (May, 2000), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/0005034. 3.4, 11ADSGoogle Scholar - [48]Doran, C., “A new form of the Kerr solution”,
*Phys. Rev. D*,**61**(6), 067503/1–4, (March, 2000). For a related online version see: C. Doran, “A new form of the Kerr solution”, (October, 1999), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9910099. 3.3.3MathSciNetGoogle Scholar - [49]Flanagan, E.E., “Possible Explanation for Star-Crushing Effect in Binary Neutron Star Simulations”,
*Phys. Rev. Lett.*,**82**(7), 1354–1357, (February, 1999). For a related online version see: E.E. Flanagan, “Possible explanation for star-crushing effect in binary neutron star simulations”, (November, 1998), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/astro-ph/9811132. 15ADSGoogle Scholar - [50]Friedman, J.L., and Ipser, J.R., “Errata: “Rapidly rotating relativistic stars””,
*Philos. Trans. R. Soc. London, Ser. A*,**341**(1662), 561, (December, 1992). 4.2MathSciNetzbMATHGoogle Scholar - [51]Friedman, J.L., and Ipser, J.R., “Rapidly rotating relativistic stars”,
*Philos. Trans. R. Soc. London, Ser. A*,**340**(1658), 391–422, (September, 1992). 4.2ADSMathSciNetzbMATHGoogle Scholar - [52]Friedman, J.L., Ipser, J.R., and Parker, L., “Rapidly Rotating Neutron Star Models”,
*Astrophys. J.*,**304**(1), 115–139, (May, 1986). 4.2ADSGoogle Scholar - [53]Friedman, J.L., Ipser, J.R., and Sorkin, R.D., “Turning-Point Method for Axisymmetric Stability of Rotating Relativistic Stars”,
*Astrophys. J.*,**325**(2), 722–274, (February, 1988). 15ADSGoogle Scholar - [54]Garat, A., and Price, R.H., “Nonexistence of conformally flat slices of the Kerr spacetime”,
*Phys. Rev. D*,**61**(12), 124011/1–4, (June, 2000). For a related online version see: A. Garat, et al., “Nonexistence of conformally flat slices of the Kerr spacetime”, (February, 2000), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/0002013. 3.2.3ADSMathSciNetGoogle Scholar - [55]Gourgoulhon, E., “Relations between three formalisms for irrotational binary neutron stars in general relativity”, (April, 1998), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9804054. 15
- [56]Gourgoulhon, E., and Bonazzola, S., “Noncircular axisymmetric stationary spacetimes”,
*Phys. Rev. D*,**48**(6), 2635–2652, (September, 1993). 4.2ADSMathSciNetGoogle Scholar - [57]Gourgoulhon, E., Grandclèment, P., Taniguchi, K., Marck, J.-A., and Bonazzola, S., “Quasiequilibrium sequences of synchronized and irrota-tional binary neutron stars in general relativity. I. Method and tests”, (July, 2000), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/0007028. Submitted to Phys. Rev. D. 15
- [58]Grandclèment, P., Bonazzola, S., Gourgoulhon, E., and Marck, J.-A., “A multi-domain spectral method for scalar and vectorial Poisson equations with non-compact sources”, (March, 2000), [Online Los Alamos Archive Preprint]: cited on 25 October 2000, http://xxx.lanl.gov/abs/gr-qc/0003072. Submitted to J. Comp. Phys. 15
- [59]
- [60]Kley, W., and Schäfer, G., “Relativistic dust disks and the Wilson-Mathews approach”,
*Phys. Rev. D*,**60**(2), 027501/1–4, (July, 1999). For a related online version see: W. Kley, et al., “Relativistic dust disks and the Wilson-Mathews approach”, (December, 1998), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9812068. 3.2.3ADSGoogle Scholar - [61]Kochanek, C.S., “Coalescing Binary Neutron Stars”,
*Astrophys. J.*,**398**(1), 234–247, (October, 1992). 15ADSGoogle Scholar - [62]Komatsu, H., Eriguchi, Y., and Hachisu, I., “Rapidly rotating general relativistic stars—I. Numerical method and its application to uniformly rotating polytropes”,
*Mon. Not. R. Astron. Soc.*,**237**(2), 355–379, (March, 1989). 2.4, 4.2ADSzbMATHGoogle Scholar - [63]Komatsu, H., Eriguchi, Y., and Hachisu, I., “Rapidly rotating general rela-tivistic stars—II. Differentially rotating polytropes”,
*Mon. Not. R. Astron. Soc.*,**239**(1), 153–171, (July, 1989). 4.2ADSzbMATHGoogle Scholar - [64]Kraus, P., and Wilczek, F., “Some applications of a simple stationary line element for the Schwarzschild geometry”,
*Mod. Phys. Lett. A*,**9**(40), 37133719, (December, 1994). For a related online version see: P. Kraus, et al., “A simple stationary line element for the Schwarzschild geometry, and some applications”, (June, 1994), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9406042. 3.3.3MathSciNetzbMATHGoogle Scholar - [65]Kulkarni, A.D., “Time-asymmetric initial data for the
*N*black hole problem in general relativity”,*J. Math. Phys.*,**25**(4), 1028–1034, (April, 1984). 3.2.1, 10ADSMathSciNetGoogle Scholar - [66]Kulkarni, A.D., Shepley, L.C., and York Jr., J.W., “Initial data for
*N*black holes”,*Phys. Lett. A*,**96**(5), 228–230, (July, 1983). 3.2.1, 10ADSMathSciNetGoogle Scholar - [67]Lake, K., “A class of quasi-stationary regular line elements for the Schwarzschild geometry”, (July, 1994), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9407005. 3.3.3
- [68]Lichnerowicz, A., “L’integration des équations de la gravitation relativiste et le problème des
*n*corps”,*J. Math. Pures Appl.*,**23**, 37–63, (1944). 2.2MathSciNetzbMATHGoogle Scholar - [69]Lindquist, R.W., “Initial-Value Problem on Einstein-Rosen Manifolds”,
*J. Math. Phys.*,**4**(7), 938–950, (July, 1963). 3.1.2ADSMathSciNetzbMATHGoogle Scholar - [70]Lousto, C.O., and Price, R.H., “Improved initial data for black hole collisions”,
*Phys. Rev. D*,**57**(2), 1073–1083, (June, 1998). For a related online version see: C.O. Lousto, et al., “Improved initial data for black hole collisions”, (August, 1997), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9708022. 3.2.3ADSMathSciNetGoogle Scholar - [71]Marronetti, P., Mathews, G.J., and Wilson, J.R., “Binary neutron-star systems: From the Newtonian regime to the last stable orbit”,
*Phys. Rev. D*,**58**(10), 107503/1–4, (November, 1998). For a related online version see: P. Marronetti, et al., “Binary Neutron-Star Systems: From the Newtonian Regime to the Last Stable Orbit”, (March, 1998), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9803093. 15ADSGoogle Scholar - [72]Marronetti, P., Mathews, G.J., and Wilson, J.R., “Irrotational binary neutron stars in quasiequilibrium”,
*Phys. Rev. D*,**60**(8), 087301/1–4, (October, 1999). For a related online version see: P. Marronetti, et al., “Irrotational binary neutron stars in quasiequilibrium”, (June, 1999), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9906088. 15ADSGoogle Scholar - [73]Marsa, R.L., and Choptuik, M.W., “Black-hole-scalar-field interactions in spherical symmetry”,
*Phys. Rev. D*,**54**(8), 4929–4943, (October, 1996). For a related online version see: R.L. Marsa, et al., “Black Hole-Scalar Field Interactions in Spherical Symmetry”, (July, 1996), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9607034. 3.3.1ADSMathSciNetGoogle Scholar - [74]Martel, K., and Poisson, E., “Regular coordinate systems for Schwarzschild and other spherical spacetimes”,
*Am. J. Phys.*,**69**(4), 476480, (April, 2001). For a related online version see: K. Martel, et al., “Regular coordinate systems for Schwarzschild and other spherical space-times”, (January, 2000), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/0001069. 3.3.3Google Scholar - [75]Mathews, G.J., Marronetti, P., and Wilson, J.R., “Relativistic hydrodynamics in close binary systems: Analysis of neutron-star collapse”,
*Phys. Rev. D*,**58**(4), 043003/1–13, (August, 1998). For a related online version see: G.J. Mathews, et al., “Relativistic Hydrodynamics in Close Binary Systems: Analysis of Neutron-Star Collapse”, (October, 1997), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9710140. 15ADSGoogle Scholar - [76]Mathews, G.J., and Wilson, J.R., “Revised relativistic hydrodynamical model for neutron-star binaries”,
*Phys. Rev. D*,**61**(12), 127304/14, (June, 2000). For a related online version see: G.J. Mathews, et al., “Revised Relativistic Hydrodynamical Model for Neutron-Star Binaries”, (November, 1999), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9911047. 15ADSGoogle Scholar - [77]Matzner, R.A., Huq, M.F., and Shoemaker, D., “Initial Data and Coordinates for Multiple Black Hole Systems”,
*Phys. Rev. D*,**59**(2), 024015/1–6, (January, 1999). For a related online version see: R.A. Matzner, et al., “Initial Data and Coordinates for Multiple Black Hole Systems”, (May, 1998), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9805023. 3.2.3ADSMathSciNetGoogle Scholar - [78]Misner, C.W., “The Method of Images in Geometrostatics”,
*Ann. Phys. (N. Y.)*,**24**, 102–117, (October, 1963). 3.1.2, 9, 10ADSMathSciNetzbMATHGoogle Scholar - [79]Misner, C.W., Thorne, K.S., and Wheeler, J.A.,
*Gravitation*, (W. H. Freeman and Company, New York, New York, 1973). 1.1, 3.3.1Google Scholar - [80]Ó Murchadha, N., and York Jr., J.W., “Existence and uniqueness of solutions of the Hamiltonian constraint of general relativity on compact manifolds”,
*J. Math. Phys.*,**14**(11), 1551–1557, (November, 1973). 3ADSMathSciNetzbMATHGoogle Scholar - [81]Ó Murchadha, N., and York Jr., J.W., “Initial-value problem of general relativity. I. General formulation and physical interpretation”,
*Phys. Rev. D*,**10**(2), 428–436, (July, 1974). 2.2.2ADSMathSciNetGoogle Scholar - [82]Ó Murchadha, N., and York Jr., J.W., “Initial-value problem of general relativity. II. Stability of solution of the initial-value equations”,
*Phys. Rev. D*,**10**(2), 437–446, (July, 1974). 3, 2.2.2ADSMathSciNetGoogle Scholar - [83]Ó Murchadha, N., and York Jr., J.W., “Gravitational Potentials: A Constructive Approach to General Relativity”,
*Gen. Relativ. Gravit.*,**7**(3), 257–261, (March, 1976). 2.2.2ADSGoogle Scholar - [84]Oppenheimer, J.R., and Volkoff, G., “On massive neutron cores”,
*Phys. Rev.*,**55**(4), 374–381, (February, 1939). 4.2ADSzbMATHGoogle Scholar - [85]
- [86]Pfeiffer, H.P., Teukolsky, S.A., and Cook, G.B., “Quasi-circular Orbits for Spinning Binary Black Holes”, (June, 2000), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/0006084. 3.2.3, 3.4, 3.4
- [87]Rieth, R., “On the validity of Wilson’s approach to general relativity”, in Królak, A., ed.,
*Mathematics of Gravitation. Part II. Gravitational Wave Detection*, 71–74, (Polish Academy of Sciences, Institute of Mathematics, Warsaw, 1997). Proceedings of the Workshop on Mathematical Aspects of Theories of Gravitation held in Warsaw, February 29–March 30, 1996. 3.2.3, 3.4zbMATHGoogle Scholar - [88]Robertson, H.P., and Noonan, T.W.,
*Relativity and Cosmology*, (Saunders, London, 1968). 3.3.3zbMATHGoogle Scholar - [89]Rowan, S., and Hough, J., “Gravitational Wave Detection by Interfer-ometry (Ground and Space)”, (June, 2000), [Article in Online Journal Living Reviews in Relativity]: cited on 31 October 2000, http://www.livingreviews.org/Articles/Volume3/2000-3hough. 1
- [90]Shapiro, S.L., and Teukolsky, S.A., “Gravitational Collapse to Neutron Stars and Black Holes: Computer Generation of Spherical Spacetimes”,
*Astrophys. J.*,**235**(1), 199–215, (January, 1980). 3ADSGoogle Scholar - [91]Shapiro, S.L., and Teukolsky, S.A., “Gravitational collapse of rotating spheroids and the formation of naked singularities”,
*Phys. Rev. D*,**45**(6), 2006–2012, (March, 1992). 3ADSMathSciNetGoogle Scholar - [92]Shibata, M., “A relativistic formalism for computation of irrotational binary stars in quasiequilibrium states”,
*Phys. Rev. D*,**58**(2), 024012/1–5, (July, 1998). For a related online version see: M. Shibata, “A relativistic formalism for computation of irrotational binary stars in quasi-equilibrium states”, (March, 1998), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9803085. 13, 15ADSGoogle Scholar - [93]Smarr, L., Čadež, A., DeWitt, B., and Eppley, K., “Collision of two black holes: Theoretical framework”,
*Phys. Rev. D*,**14**(10), 2443–2452, (November, 1976). 3.1.2ADSGoogle Scholar - [94]Smarr, L., and York Jr., J.W., “Kinematical conditions in the construction of spacetime”,
*Phys. Rev. D*,**17**(10), 2529–2551, (May, 1978). 3.3ADSMathSciNetGoogle Scholar - [95]Sorkin, R.D., “A Criterion for the Onset of Instabilities at a Turning Point”,
*Astrophys. J.*,**249**(1), 254–257, (October, 1981). 15ADSMathSciNetGoogle Scholar - [96]Sorkin, R.D., “A Stability Criterion for Many-Parameter Equilibrium Families”,
*Astrophys. J.*,**257**(2), 847–854, (June, 1982). 15ADSMathSciNetGoogle Scholar - [97]Stergioulas, N., “Rotating Stars in Relativity”, (June, 1998), [Article in Online Journal Living Reviews in Relativity]: cited on 18 July 2000, http://www.livingreviews.org/Articles/Volume1/1998-8stergio. 4.2
- [98]Stergioulas, N., and Friedman, J.L., “Comparing Models of Rapidly Rotating Relativistic Stars Constructed by Two Numerical Methods”,
*Astrophys. J.*,**444**(1), 306–311, (May, 1995). For a related online version see: N. Stergioulas, et al., “Comparing Models of Rapidly Rotating Rel-ativistic Stars Constructed by Two Numerical Methods”, (November, 1994), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/astro-ph/9411032. 4.2ADSGoogle Scholar - [99]Teukolsky, S.A., “Irrotational Binary Neutron Stars in Quasiequilibrium in General Relativity”,
*Astrophys. J.*,**504**(1), 442–449, (September, 1998). For a related online version see: S.A. Teukolsky, “Irrotational Binary Neutron Stars in Quasiequilibrium in General Relativity”, (March, 1998), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9803082. 13, 14, 15ADSGoogle Scholar - [100]Thornburg, J., “Coordinate and boundary conditions for the general relativistic initial data problem”,
*Class. Quantum Grav.*,**4**(5), 1119–1131, (September, 1987). 9ADSMathSciNetGoogle Scholar - [101]Uryū, K., and Eriguchi, Y., “New numerical method for constructing quasiequilibrium sequences of irrotational binary neutron stars in general relativity”,
*Phys. Rev. D*,**61**(12), 124023/1–19, (June, 2000). For a related online version see: K. Uryū, et al., “A new numerical method for constructing quasi-equilibrium sequences of irrotational binary neutron stars in general relativity”, (August, 1999), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9908059. 15ADSGoogle Scholar - [102]Uryū, K., Shibata, M., and Eriguchi, Y., “Properties of general relativistic, irrotational binary neutron stars in close quasiequilibrium orbits: Polytropic equations of state”,
*Phys. Rev. D*,**62**(10), 104015/115, (November, 2000). For a related online version see: K. Uryū, et al., “Properties of general relativistic, irrotational binary neutron stars in close quasiequilibrium orbits: Polytropic equations of state”, (July, 2000), [Online Los Alamos Archive Preprint]: cited on 25 October 2000, http://xxx.lanl.gov/abs/gr-qc/0007042. 15ADSGoogle Scholar - [103]Wilson, J.R., “Models of Differentially Rotating Stars”,
*Astrophys. J.*,**176**(1), 273–286, (August, 1972). 4.2ADSGoogle Scholar - [104]Wilson, J.R., and Mathews, G.J., “Relativistic Hydrodynamics”, in Evans, C.R., Finn, L.S., and Hobill, D.W., eds.,
*Frontiers in Numerical Relativity*, 306–314, (Cambridge University Press, Cambridge, England, 1989). 2.3, 13, 15Google Scholar - [105]Wilson, J.R., and Mathews, G.J., “Instabilities in close neutron star binaries”,
*Phys. Rev. Lett.*,**75**(23), 4161–4164, (December, 1995). 13, 15ADSGoogle Scholar - [106]Wilson, J.R., Mathews, G.J., and Marronetti, P., “Relativistic Numerical Method for Close Neutron Star Binaries”,
*Phys. Rev. D*,**54**(2), 13171331, (July, 1996). For a related online version see: J.R. Wilson, et al., “Relativistic Numerical Method for Close Neutron Star Binaries”, (January, 1996), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9601017. 13, 15Google Scholar - [107]York Jr., J.W., “Gravitational degrees of freedom and the initial-value problem”,
*Phys. Rev. Lett.*,**26**(26), 1656–1658, (June, 1971). 3, 2.2ADSMathSciNetGoogle Scholar - [108]York Jr., J.W., “Role of conformal three-geometry in the dynamics of gravitation”,
*Phys. Rev. Lett.*,**28**(16), 1082–1085, (April, 1972). 3, 2.2ADSGoogle Scholar - [109]York Jr., J.W., “Conformally invariant orthogonal decomposition of symmetric tensors on Riemannian manifolds and the initial-value problem of general relativity”,
*J. Math. Phys.*,**14**(4), 456–464, (April, 1973). 2.2ADSMathSciNetzbMATHGoogle Scholar - [110]York Jr., J.W., “Covariant decompositions of symmetric tensors in the theory of gravitation”,
*Ann. Inst. Henri Poincare, A*,**21**(4), 319–332, (1974). 2.2ADSMathSciNetzbMATHGoogle Scholar - [111]York Jr., J.W., “Kinematics and Dynamics of General Relativity”, in Smarr, L.L., ed.,
*Sources of Gravitational Radiation*, 83–126, (Cambridge University Press, Cambridge, England, 1979). 2.1, 3, 2.2.1Google Scholar - [112]York Jr., J.W., “Energy and Momentum of the Gravitational Field”, in Tipler, F.J., ed.,
*Essays in General Relativity*, 39–58, (Academic, New York, 1980). 3.2.1, 3.2.3Google Scholar - [113]York Jr., J.W., “Initial data for
*N*black holes”,*Physica (Utrecht)*,**124A**(1-3), 629–637, (March, 1984). 3.2.1, 10ADSMathSciNetGoogle Scholar - [114]York Jr., J.W., “Initial Data for Collisions of Black Holes and Other Gravitational Miscellany”, in Evans, C.R., Finn, L.S., and Hobill, D.W., eds.,
*Frontiers in Numerical Relativity*, 89–109, (Cambridge University Press, Cambridge, England, 1989). 10Google Scholar - [115]York Jr., J.W., “Conformal ‘thin-sandwich’ data for the initial-value problem of general relativity”,
*Phys. Rev. Lett.*,**82**(7), 1350–1353, (February, 1999). For a related online version see: J.W. York Jr., “Conformal ‘thin-sandwich’ data for the initial-value problem of general relativity”, (October, 1998), [Online Los Alamos Archive Preprint]: cited on 18 July 2000, http://xxx.lanl.gov/abs/gr-qc/9810051. 2.3ADSMathSciNetzbMATHGoogle Scholar - [116]York Jr., J.W., and Piran, T., “The Initial Value Problem and Beyond”, in Matzner, R.A., and Shepley, L.C., eds.,
*Spacetime and Geometry*, 147–176, (University of Texas, Austin, 1982). 2.2.1, 10Google Scholar

## Copyright information

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.