
F
Collisionless matter
evolution in axisymmetry:
basic equations
Here we list the key equations describing a mean-field, particle simulation scheme that can treat
the evolution of collisionless matter in axisymmetry according to general relativity.
1
The scheme
is a generalization of the one described in Chapter 8.2 for spherical systems and employs the
standard ADM form of the field equations as listed in Box 2.1. We adopt spherical polar space-
time coordinates (t, r,θ,φ), assume axisymmetry and specialize to the case where there is no
net angular momentum.
2
In axisymmetry all quantities are functions only of (t, r,θ). We also
impose maximal slicing and quasi-isotropic spatial coordinates as our gauge conditions.
3
This
spatial gauge condition reduces to isotropic coordinates for Schwarzschild geometry.
4
The field
equations listed below constitute a fully constrained approach to solving the Einstein field equa-
tions for this problem, i.e., one which solves all of the constraint equations in lieu of integrating
evolution equations for some of the variables. Fully constraint schemes have the advantage over
unconstrained schemes that the constraints are guaranteed to be satisfied at all times, which may
in some cases also eliminate some instabilities associated with the evolution equations. Their
disadvantage is that the constraints constitute elliptic equations, which typically require more
computational resources to solve than explicit time evolution equations. This disadvantage is not
so severe, however, in 1 +1or2+ 1 spacetimes. A similar set of variables and field equations to
the ones summarized below has been used to simulate the gravitational collapse of hydrodynamic
fluids
5
and vacuum gravitational waves
6
in nonrotating, axisymmetric spacetimes, as well as the
head-on collision of neutron stars.
7
Gravitational field equations
The metric is written as
ds
2
=−α
2
dt
2
+ A
2
(dr + β
r
dt)
2
+ A
2
r
2
(dθ + β
θ
dt)
2
+ B
2
r
2
sin
2
θdφ
2
. (F.1)
Here we used the fact that the absence of axial rotation demands invariance with respect to all
changes φ →−φ, which implies β
φ
= 0 = γ
rφ
= γ
θφ
. The simplified quasi-isotropic form of
1
Shapiro and Teukolsky (1991b, 1992a,b).
2
Evans (1984). For extension to rotating spacetimes, see Abrahams et al. (1994).
3
See Chapter 4 for a discussion.
4
For an alternative radial gauge choice, which reduces to Schwarzschild (areal) coordinates, see Bardeen and Piran
(1983) and Chapter 4.
5
See, e.g., Evans (1986).
6
Abrahams and Evans (1993).
7
Abrahams and Evans (1992).
629