3 Black Hole Initial Data2 The Initial-Value Equations2.3 Conformal Thin-Sandwich Decomposition

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 [8Jump To The Next Citation Point In The Article].

The basic approach for finding stationary solutions begins by simplifying the metric to take into account the symmetries. Many different forms have been used for the metric (cf. Refs. [8, 9, 22Jump To The Next Citation Point In The Article, 34Jump To The Next Citation Point In The Article, 62Jump To The Next Citation Point In The Article, 21Jump To The Next Citation Point In The Article]). I will use a decomposition that makes comparison with the previous decompositions straightforward. First, define the interval as

  equation762

This form of the metric can describe any stationary spacetime. Notice that the lapse is related to the conformal factor by

  equation773

and that the shift vector has only one component

  equation777

I have used the usual conformal decomposition of the 3-metric (16Popup Equation) and have written the conformal 3-metric with two parameters as

  equation781

The four functions tex2html_wrap_inline3107, tex2html_wrap_inline3297, A, and B are functions of r and tex2html_wrap_inline3305 only.

The equations necessary to solve for these four functions are derived from the constraint equations (14Popup Equation) and (15Popup Equation), and the evolution equations (12Popup Equation) and (13Popup Equation). For the evolution equations, we use the fact that tex2html_wrap_inline3307 and tex2html_wrap_inline3309 . The metric evolution equation (13Popup Equation) defines the extrinsic curvature in terms of derivatives of the shift

  equation796

With the given metric and shift, we find that K =0 and the divergence of the shift also vanishes. This means we can write the tracefree part of the extrinsic curvature as

  equation801

We find that the Hamiltonian and momentum constraints take on the forms given by the conformal thin-sandwich decomposition (51Popup Equation) with tex2html_wrap_inline3313 and tex2html_wrap_inline3315 . Only one of the momentum constraint equations is non-trivial, and we find that the constraints yield elliptic equations for tex2html_wrap_inline3107 and tex2html_wrap_inline3297 . 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 Data2 The Initial-Value Equations2.3 Conformal Thin-Sandwich Decomposition

image Initial Data for Numerical Relativity
Gregory B. Cook
http://www.livingreviews.org/lrr-2000-5
© Max-Planck-Gesellschaft. ISSN 1433-8351
Problems/Comments to livrev@aei-potsdam.mpg.de