Professional Documents
Culture Documents
0804 0628 PDF
0804 0628 PDF
I. INTRODUCTION simulation
The initial data in a typical moving-puncture simula-
The binary black hole problem is a cornerstone prob- tion represent black holes using a wormhole topology: as
lem in gravitational theory: solving for the inspiral we follow the coordinates toward one of the black holes,
and merger of two black holes in full general relativ- we do not reach the black holes singularity but instead
ity connects the theorys strong-field regime with as- pass through a wormhole to another exterior space, and
trophysics, and connects issues with the mathematical eventually find ourselves once again in an asymptotically
understanding of the theory with the emerging field flat region. Data for N black holes can consist of N + 1
of gravitational-wave astronomy. Solutions of the bi- asymptotically flat regions connected by N wormholes.
nary black hole problem require numerical simulations, In the puncture approach to constructing initial data
but stable, long-term numerical evolutions of orbiting [36, 37, 38, 39] each extra asymptotically flat region
black-hole binaries eluded researchers for four decades. is compactified so that its spatial infinity is transformed
However, after a number of insights and technical de- to a single point (puncture), and the entire N + 1-
velopments two independent methods [1, 2, 3] were wormhole topology can be represented in a single three-
shown in 2005 to allow simulations of the last orbits, dimensional space, R3 . All of the black-hole singularities
merger and ringdown of an equal-mass nonspinning bi- are conveniently avoided in this construction, and there
nary. One of these, the moving puncture method is no need to excise any region when these data are
[2, 3], was quickly adopted by many research groups and used in a numerical simulation.
has since been applied to many, more general, scenar- This use of nontrivial topology to enforce the pres-
ios: unequal-mass binaries [4, 5, 6, 7], spinning binaries ence of horizons can be regarded as a mere trick to con-
[8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23], veniently construct black-hole initial data. It comes at
three-black-hole spacetimes [24, 25] and long simulations the expense of using the entire Kruskal extension to the
of (so far) up to ten orbits [26, 27, 28, 29]. Schwarzschild spacetime, part of which has no physical
At the technical level, the moving-puncture method relevance in typical numerical evolutions. Our analysis
consists of a seemingly small modification of the ear- suggests that a similar trick could be used to construct
lier fixed puncture method [30, 31]. However, in [32] initial data that leave out most of the unphysical region;
(which we will refer to as Paper I), we found that the we will later refer to these as trumpet data.
numerical slices behave in a way radically different from Standard puncture data are smooth over the entire
what was observed in previous fixed-puncture evolutions, space, except for a scalar function, the conformal fac-
and indeed in all previous numerical simulations of black- tor , which diverges as 1/r near each puncture. One of
hole spacetimes. We developed a geometrical picture of the two innovations of the moving-puncture method was
the behavior of moving-puncture simulations, and our re- that it provides a method to stably evolve the conformal
sults suggested a new paradigm for black-hole evolutions, factor. In addition, the method uses gauge conditions
centered around manifestly stationary representations of (variants of 1+log slicing for the lapse function [40]
black-hole spacetimes and asymptotically cylindrical and -freezing for the shift vector [31, 41]) that allow the
slices. This led to further investigations in [33, 34, 35]. punctures to move across the numerical grid. The result
In this paper we expand and discuss in more depth the is that the punctures orbit each other and spiral inwards,
results of Paper I, with particular reference to the asymp- as if the black holes were being represented by point par-
totics of the initial and final states of a moving-puncture ticles, and the plots of the puncture tracks shown in
2
many papers easily match our intuitive picture of ob- totes to (part of) this trumpet. The closer the data points
jects in orbit (see, for example, [2, 3, 26, 28]). Of course, are to the puncture, the more of the trumpet we will fi-
the orbiting punctures are not point particles, they are nally see. Further, we will see only the trumpet there
the asymptotic infinities of wormholes, or at least they are no longer any grid points on the non-stationary part
were in the initial data. Are these two extra copies of of the slice, or any of the slice on the left. We may say
an asymptotically flat region of spacetime orbiting each that the left half of the slice is grossly under-resolved
other on the numerical grid? The answer turns out to be (in fact, it is not resolved at all!), but the nature of the
No, as we explain below. asymptotic 1+log slice is such that a new asymptotics
In Paper I we studied moving-puncture simulations of has formed, and the left half of the slice is causally dis-
a Schwarzschild black hole, and found that the numer- connected from the right: the non-resolution of part of
ical points quickly leave the extra copy of the exterior the slice no longer concerns us.
space. Where the points near the puncture originally ap- An example that closely mimics some of the behaviour
proached a second asymptotically flat end, after a short described above was found in one of the first ever nu-
time the grid points instead asymptote to an infinitely merical simulations of a black-hole spacetime, as early
long cylinder with radius R0 = 1.31M . In addition, we as 1973, by Estabrook et al. [43]. They evolved the
solved the spherically symmetric Einstein equations for Schwarzschild solution with maximal slicing. The slices
a stationary 1+log-sliced spacetime (see also [42]), and were reflection symmetric about a throat. At late times
found that the one solution with a lapse function that is the left and right halves looked approximately station-
non-negative everywhere agrees with that found by the ary. In fact the right half was translated to the right by
numerical code. In other words, there is one regular sta- the Killing vector while the left half was dragged to the
tionary 1+log solution, and the moving-puncture method left. The throat region approximated a cylinder of radius
quickly finds it. Whereas an embedding diagram of the 3M/2, which grew linearly with time.
initial data resembles a wormhole, we will refer to that Two phenomena associated with their simulations
of the late-time slices as a trumpet. This terminology collapse of the lapse and slice stretching were re-
becomes clear in Figures 1 and 2. curring topics in numerical studies of black-hole space-
This seemingly dramatic change in the appearance of times for the next thirty years [44, 45, 46, 47]. How-
the numerical slices is achieved by the gauge conditions. ever, what we consider in this context to be the key fea-
We start with moment-of-time-symmetry initial data for ture of their result, the formation of a cylindrical asymp-
the Schwarzschild solution, choose the initial lapse 1 totics, received little, if any, attention before the work
and propagate using the 1+log condition. So far the con- in Paper I. There we suggested that the existence of a
figuration is symmetric across the throat; we will call time-independent representation of the foliation consis-
this left-right symmetry to be consistent with stan- tent with the new asymptotics, which a numerical code
dard Kruskal and Penrose diagrams, although we mean can find with the aid of an appropriate shift condition,
symmetry with respect to the upper and lower halves of is one of the keys to the success of the moving-puncture
Figure 1. So: the initial configuration is left-right sym- method. We also took the additional intuitive step of re-
metric, and the slicing condition preserves this symme- alizing that this time-independent representation could
try. This means that all the slices of the foliation will be utilized from the outset of a simulation, to allow the
also be left-right symmetric and run from one spacelike construction of fully time-independent trumpet puncture
infinity to the other. As such, there will not be a sta- data.
tionary limiting slice; we will elaborate on this point in In this paper we extend the analysis that we provided
Section II. However, at late times a region of the slice in Paper I. In Section II we discuss standard wormhole
to the right (and a corresponding region to the left) is puncture data, which cannot be time-independent, and
asymptotically stationary. Now we have to consider the trumpet puncture data, which can. The canonical ex-
effect of the -driver shift condition. If we use puncture amples are the maximally sliced solution [43, 48] and
data, this condition generates a very large shift, pointing our stationary 1+log solution. Here we provide a simple
to the right, near the puncture. This has the effect of derivation of the stationary 1+log solution using a height
dragging all the data points near the puncture into the function approach, and illustrate some of its features in
region of the Schwarzschild solution between the hori- a Penrose diagram. We also transform this solution to
zons and finally onto the stationary part of the slicing. isotropic coordinates, providing puncture trumpet data
This happens extremely quickly. The closer the inner- that should be time independent in a moving-puncture
most data point is to the puncture, the longer it takes, simulation.
but it always happens. A description of this phenomenon In Section III we present our numerical method. We
was also given in [34]. start with a brief description of the main features of the
There exists a true stationary 1+log slice through the BSSN/moving-puncture system, and outline a procedure
Schwarzschild spacetime. This is what we call the trum- to construct Penrose diagrams from numerical simula-
pet. This is asymptotically flat at one end and cylindri- tions of the Schwarzschild spacetime. Section IV contains
cal (of radius R 1.31M ) at the other. The asymptot- the first set of numerical results: a detailed study of a
ically stationary part of the wormhole foliation asymp- moving-puncture evolution of wormhole puncture initial
3
data. We show how quickly the numerical data approach sign convention [50, 51], not that given in Wald [52]. It
a trumpet geometry, how they behave during the transi- proves convenient to also split the extrinsic curvature into
tion, and check the accuracy with which they approach its trace K and tracefree part Aij , i.e.,
the analytic stationary solution. It is important to em-
phasize that although the numerical solution is stationary 1
Kij = Aij + ij K. (3)
in the sense of coordinate-independent functions (for ex- 3
ample, a plot of vs R or of Tr(K) vs ), the numerical
coordinates may still exhibit some drift. We further decompose these data with respect to a
This is emphasized in Section V, where we evolve conformal metric, ij , as follows:
the trumpet puncture data produced in Section II. We
demonstrate that these are indeed time independent, up ij = 4 ij , (4)
to small numerical errors. Furthermore, if we alternate Aij = p
Aij , (5)
between two variants of 1+log slicing during an evolu-
tion, we show that the numerical data can alternate be- K = K, (6)
tween two stationary solutions, but that some coordinate i i
= . (7)
drift develops in the process. This drift is minimized by
choosing = 0 in the -driver shift condition. Note that in the standard conformal decomposition of-
Finally, we conclude with some remarks about the po- ten used to solve the constraint equations [49, 53], one
tential usefulness of trumpet puncture initial data for chooses p = 2, but for the BSSN decomposition used
black-hole binaries, which will be the subject of future in the moving-puncture method, p = 4. Note also that
work. the trace of the extrinsic curvature and the contravari-
ant components of the shift vector are unchanged by the
conformal rescaling. The lapse function can also be trans-
II. WORMHOLES AND TRUMPETS: formed, but this is not necessary for the present study.
ANALYTIC TREATMENT We could also have made other choices of the conformal
weights, but we are not interested in those here. The
We begin by summarizing our notation and approach, complete data on one time slice are (ij , Kij ), or equiv-
which is based on the standard 3+1 space+time alently (, ij , Aij , K).
splitting of Einsteins equations [49]. We introduce For the moment we will not worry about the details
the Schwarzschild metric in Schwarzschild coordinates, of the constraint or evolution equations. In this section
progress to isotropic coordinates, which are better we will be interested in finding time-independent repre-
adapted to the standard puncture method, and then sentations of the Schwarzschild solution, for which the
on to a derivation of the trumpet solution previously constraint equations are already satisfied, and the time
introduced in Paper I. Our focus here is on solutions that evolution of the data is trivial (i.e., they do not change in
are time-independent, because even in the black-hole bi- time). Although we will make comments about numeri-
nary problem we want to choose coordinates that min- cal simulations in this section, we will postpone concrete
imize the gauge dynamics; the only dynamics we really details until Section III, when we study numerically the
want to see in a numerical code are physical dynamics. time development of our data.
becomes an infinitely long cylinder of radius 3M/2. This data are. A stationary 1+log solution was found in Pa-
behaviour is illustrated in Figure 2 and we will refer to per I. An earlier result on stationary 1+log slices can be
these data as trumpets. These data, like (11) (14) found in [42], however its exact relation to the present
with (15) and (16), are time independent. discussion of punctures remains to be understood. Here
With the benefit of hindsight we see that, rather than we will present one (of many possible) derivations of the
adopting the wormhole puncture data (11) (14) for nu- solution of Paper I.
merical evolutions, we might be better off transforming
(17) (20) to isotropic-like coordinates (such that r = 0
corresponds to R = 3M/2), and using those data instead. 1. Height function derivation
Such a transformation was calculated numerically in [33],
and it was shown that these data can indeed be evolved We begin with the Schwarzschild metric in
stably, and are time-independent up to (convergent) nu- Schwarzschild coordinates, Eqn. (8), and introduce
merical errors. An analytic transformation to isotropic a new time variable, t, related to Schwarzschild time by
coordinates was given in [57]. a spherically symmetric height function, h(R), as in [60],
t = T h(R). (24)
D. Trumpet solution 1+log slicing
The lapse, shift and future-pointing normal vector in the
new coordinates are
The data (17) (20) are maximally sliced, K = 0. In a s
numerical simulation, we must solve an elliptic equation f
at each time step to find the appropriate lapse function = , (25)
1 f 2 h02
that maintains maximal slicing (for these data we could
assume that the lapse remains constant, but this will not f 2 h0
R = , (26)
be true in general black-hole simulations). This is com- f 2 h02 1
putationally expensive (i.e., slow), and it is therefore cur- n = (, 0, 0, 0) . (27)
rently more practical to choose a slicing condition so that
the lapse can be calculated from an evolution equation Here again f = 1 2M/R, and we have introduced the
in the same way as all of the other dynamical variables. notation h0 = h(R)/R. We note that only the deriva-
One such slicing condition is tive of the height function appears in the new metric.
It is also useful to note that for any stationary spheri-
t = nK, (21) cally symmetric spacetime the extrinsic curvature is given
by
where n is some constant, usually chosen to be n = 2.
We see that if K = 0, then the lapse does not evolve, 0
KRR = , (28)
and this condition will maintain maximal slicing for our 2
trumpet data. This slicing condition is part of a class K = R, (29)
of conditions called 1+log slicing [40]. The condition K = R sin2 , (30)
(21) is actually not a geometric slicing condition in the p
sense that the slicing resulting from this condition also where = i i and 0 = /R, and the trace of the
depends on the shift i , i.e., on the spatial coordinates extrinsic curvature K = Kii is given by
[40, 58]. Furthermore, in binary simulations it has been
found that unphysical gauge modes arise when (21) is 2
K= + 0. (31)
used [59], and a preferred choice is R
For the Schwarzschild solution we also have the relation
(t i i ) = nK. (22)
2M
This is equivalent to 2 2 = 1 . (32)
R
Ln = nK, (23) It will simplify the following calculations if we write h0
in terms of the lapse as
where n is the unit timelike normal to the slice and L is p
the Lie derivative. For the rest of this article, whenever 0 2 f
h = , (33)
we refer to 1+log slicing, we will mean (22). We will f
refer to Eqn. (21) as asymptotically maximal slicing
and the shift is now written as
because, if it leads to a time-independent geometry, then
that geometry will be maximally sliced.
p
R = 2 f , (34)
Since the slicing condition (22) has proven rather ben-
eficial in black-hole simulations, we would like to know where we have chosen the sign of the root to give a non-
what the corresponding time-independent Schwarzschild negative shift.
6
n(3M 2R + 2R2 )
0 = . (37)
R(R 2M + nR R2 ) We now have the 1+log trumpet solution, given by
(39) with (42) and (43) for the lapse, from which we
The solution of this equation is an implicit equation for calculate R from (34) and RR = 1/2 , and the extrinsic
the lapse, curvature is given by (28) (30).
n Three special cases of the constant n deserve immedi-
3 ln R + ln(2M R + R2 ) = constant, (38)
2 ate comment. When n = 2 we have the form of 1+log
slicing commonly used in numerical simulations of black-
or, more conveniently, hole spacetimes. The results presented in [32, 33, 34, 35]
pertain to this case, and we have Rc = 1.54M , C 2 (n) =
2M C(n)2 e2/n 1.55431M 4 , and the location of the throat (the small-
2 = 1 + . (39)
R R4 est real root of (39) with = 0) is R0 = 1.31241M .
The horizon is located at (R = 2M ) = 0.376179, which
We will now determine C(n). The equation (37) is differs by over 20% from the common = 0.3 rule-of-
singular when the denominator is zero. We search for a thumb estimate of the horizon location.
C(n) such that the numerator and denominator are zero In the limit n 0, Eqn. (36) is degenerate, and two
at the same point, and the equation remains regular (the solutions exist. In one, R = 0, and we recover the stan-
singularity in the equation signifies a transition between dard Schwarzschild metric in Schwarzschild coordinates.
an elliptic and a hyperbolic problem as discussed in [35]). In the other, R = 0, and so = 1 everywhere. As we
The numerator is zero when approach n 0, the radius of the throat R0 approaches
r the singularity as R0 e2/(3n) /(25/3 n).
3M
= 1 . (40) The third case of interest is the limit n . Now
2R
the only physically meaningful solution is that K = 0
We want solutions with an everywhere non-negative everywhere,
i.e., maximal slicing. We have C() =
lapse, so we choose the positive root. Substituting this 3 3M 2 /4, and the radius Rc and the throat coincide
into the denominator of (37) we find that the denomina- at Rc = R0 = 3M/2. This is the cylindrical maximal
tor is zero for a particular value of R, slice (17) (20).
3n2 M + 4n2 M 2 + 9n4 M 2
Rc = , (41)
4n2 2. Penrose diagrams
R
=
=
R
2M
solution. In this section, R should always be understood
as this function of , whereas becomes the indepen-
i
L i
R dent variable that parametrizes the spatial dependency.
FIG. 4: The Penrose diagram of the slices defined by the Apart from that our approach is similar to the one used
stationary solution of the 1+log condition with n = 2. Every in [57]. We note that the RR component of the station-
slice approaches i+ L along the curve R = R0 1.31M and
ary 1+log metric can be related to the rr in isotropic
spatial infinity i0R along a curve of constant T . The slices are coordinates by
displayed in time steps of 4M . 2
r
RR = rr (49)
R
value of t in Eqn. (24), which can be interpreted as the 2
constant of integration, expresses the fact that we do not r
= 4 . (50)
calculate a single slice but a foliation of the Schwarzschild R
spacetime. As expected, the slices are related to each
other by sliding along the Killing vector field T . We therefore find that, using R = 2 r and RR = 2 ,
From the coordinates (R, T ) along one slice we trans- r r
form to Kruskal coordinates (u, v) by either = , (51)
R R
r
R T and a relation between the isotropic coordinate r and
u = 1 eR/(4M ) cosh , (44)
2M 4M Schwarzschild R may be found by either
r
R T Z
v = 1 eR/(4M ) sinh , (45) r = exp
1 dR
() d , or (52)
2M 4M R d
for R > 2M or Z 1
ln R
r = R1/ exp 2
d , (53)
r
R R/(4M ) T
u = 1 e sinh , (46)
2M 4M where the last equation is obtained by integration by
r
R R/(4M ) T parts and the upper integration limit is chosen such that
v = 1 e cosh , (47) r R as 1, i.e., towards spatial infinity. Both in-
2M 4M
tegrals (52) and (53) diverge as 0, but (52) diverges
for R < 2M . Compactifying the result via less strongly, and can be integrated numerically to arbi-
trarily small with sufficient accuracy to produce data
u v = tan(U V ), (48)
suitable for a numerical evolution. On the other hand,
where U and V are the abscissa and the ordinate of (53) has the attractive property that as 1 the factor
the Penrose diagram, yields the picture displayed in Fig- R1/ gives the asymptotic behaviour that we wish. In
ure 4. Note that we chose non-negative shift R , which practice, we choose a point s = 0.1, and for < s use
also determines the sign of h (as well as u and v in Eqns. Z s
1 dR
(44) and (45)) . The opposite choice would lead to slices r() = R(s )(1/s ) exp () d C0 ,
that are mirror images of those in Figure 4, connecting R() d
i+ 0 (54)
R to iL .
where
Z 1
ln R()
3. Trumpet data in isotropic coordinates C0 = d. (55)
s 2
We have now derived the stationary 1+log solution. For > s we use
In Paper I we compared this solution with the late-time Z
data from moving-puncture evolutions of wormhole punc- ln R()
r() = R()(1/) exp d C 0 . (56)
ture data, which we will discuss again in Section III. We s 2
8
u0 dr
R
condition [31, 41],
3 i
t i =B, (61) T 0 dr
R
4
T 0 dr
R
t B i = t i B i . (62)
T 0 dr
R
t = const.
This shift condition is crucial to the behaviour of the
moving-puncture system. In black-hole binary simula- R
r=
T dt
tions it generates a shift that moves the punctures around
con
the grid on trajectories that match very well the motion
st.
that would be seen from infinity [27, 32]. This shift also
allows the wormhole puncture data to evolve to the sta-
tionary 1+log geometry, as shown in Paper I, and as we
will see again in Section IV. As we said in the Introduc-
FIG. 6: A sketch of the method we use to obtain T (r, t). The
tion, the approach to the puncture geometry requires lines are drawn from actual data with r0 = 3.25M for the
a dramatic stretching of the coordinate representation of integration in time and t = 10M for the integration in space.
the slices. We will illustrate this extreme behaviour in Only a subset of the grid points is displayed.
detail in the coming sections, but it can be seen most
immediately by calculating the norm of the shift vector,
2 = ij i j , during the first few M of evolution: al-
though i remains finite, and in fact goes to zero as we the horizon during the evolution). As we have already
approach the puncture, 2 diverges. This can also be said, on the initial slice that point has Schwarzschild time
seen analytically [66]. The wormhole slice is stretched T (r0 , 0) = T0 . We use a differential equation for T =
such that all of the numerical points extremely quickly T /t to integrate forward in time through our numerical
leave the part of the slice that cannot be stationary, and data and produce T (r0 , t). Then, on each time slice, t =
the part of the slice in the second copy of the exterior ti , we use a second differential equation, this time for
space, and the points relax onto the stationary 1+log T 0 = T /r, to integrate across the slice and calculate
slice. This could not happen with a zero shift, and of T (r, ti ). The equation we use is badly behaved near the
course would not happen with an arbitrary shift. There horizon, and for a set of five points across the horizon we
may be a large class of shift conditions that produce the integrate instead a differential equation for u0 = u/r,
same effect, but the first to be found, and the one that is where u is the Kruskal coordinate defined by (44) and
standard in moving-puncture simulations, is the -driver (46).
condition (61) (62), and variants.
We derive the required differential equations by consid-
ering the transformation of the spacetime metric between
Schwarzschild and numerical coordinates. A differential
B. Penrose diagrams from numerical data equation for T can be found using the transformation
the spatial part of the metric, IV. THE NUMERICAL TRANSITION FROM A
WORMHOLE TO A TRUMPET
2 2
T R
rr = gT T + gRR (65) A. Setup
r r
02
2 rr R gRR
T0 = (66) Simulations were performed with computational grids
gRR
2 consisting of eight nested cubical boxes. The boxes are
2M 02 2M labeled by l = 0, 1, . . . , 7. Each box contains N 3 points,
= 1 R 1 rr (67)
.
R R and the grid-spacing in each box is hl = H/2l , where
H is the grid-spacing of the largest box. We denote
Note that R and R0 can be readily computed from the hmin = hlmax . The simulations were performed in only
numerical data, since we are dealing with data on one one octant of a three-dimensional Cartesian grid (the
numerical timeslice. In order to integrate (67), we must data in the other octants being easily deduced by exploit-
take a square root and choose the sign such that the slices ing the known spherical symmetry of the Schwarzschild
go smoothly through the horizon, and to define which spacetime). The grid points are staggered across the
ends of the computational domain belong to which side coordinate axes, such that the boundaries of the cubi-
of the Penrose diagram. The result is cal domain are the six planes defined by x = hmin /2,
y = hmin /2, z = hmin /2, x = X, y = Y and z = Z,
2M
1 s
2M
with X = Y = Z = 192M , which define the stan-
0
T = 1 R0 2 1 rr . (68) dard outer boundary of the computational domain.
R R Three simulations were performed to make a convergence
series, with N = 64, 96, 128, and H = 6M, 4M, 3M ,
Equation (68) is integrated along the entire numerical hmin = M/21.33, M/32, M/42.67. Note that these grid
slice, except at the points near the horizon, where T 0 configurations are the same as used for the single black-
is singular. We overcome this difficulty by instead inte- hole tests in [61].
grating the Kruskal coordinate u through five points that The numerical simulations discussed in this section
cross the horizon. A differential equation for u0 can be start with the initial data (11) (14), and initial shift
found by transforming the (r, t) coordinates to (u, R): i = 0 and initial lapse = 1. A number of additional
2 2 simulations were performed with initial lapse = 2
u u R R for comparison.
rr = guu + 2 guR + gRR . (69)
r r r r The results of the numerical evolution are shown in
Figures 7 to 18. The data for these figures were pro-
The metric components guu , guR and gRR can be writ- duced by interpolating numerical data onto the x co-
ten in terms of only u and R by making use of the ordinate axis. The spherical symmetry of the solution
K allows us to analyze the simulation using these data
Schwarzschild metric in Kruskal coordinates, g :
only. The Schwarzschild radial coordinate can be cal-
culated by relating the numerical spatial metric to the
s
R
v = u2 1 eR/(2M ) (v > 0), (70) Schwarzschild metric (8). We know that = R2 ,
2M and because of the spherical symmetry we also have
2
v
u2 32M 3 R/(2M )
= (xi /)(xj /)ij = (xi /)(xj /) 4 ij .
K K
guu = guu + gvv = 1 2 e , Along the x-axis, = /2, and so x/ = y/ = 0
u v R
and z/ = x, and we have
v v K 4u 1
guR = g = 2 ,
u R vv v M R2 |y=z=0 = 4 x2 zz . (73)
2
v K R 1 R/(2M )
gRR = gvv = e . (71)
R 2M v 2
B. Early-time behaviour
Producing an equation for u0 from (69) once again re-
quires the appropriate choice of sign for a square root. Figure 7 illustrates the main global feature of the time
The final result is development of the numerical slices, namely the transi-
tion from wormhole to trumpet asymptotics. The upper
1
q
. figure shows the proper distance of a given point from
0 0 0 2 0 2
u = guR R + (guR R ) + guu rr R gRR
guu the horizon at R = 2M versus that points Schwarzschild
(72) coordinate R. The thick line indicates the t = 0 data.
Once equations (68) and (72) have been integrated along Initially R = 2M is the minimal surface, and the data
a slice, a constant of integration is chosen to give the contain two copies of the space outside the horizon. This
value already calculated at r0 = 3.25M using (64), and is the initial wormhole that we have referred to several
a choice of T0 for the time on the initial slice. times. If we consider a surface of revolution around the
11
FIG. 8: Contour plots showing the behaviour of R(r, t) on the numerical grid for the first 20M of a simulation. The axes of
the figures give r and t in units of M for three different coordinate ranges. The contour-labels and the colours indicate the
value of R. We clearly see that R changes rapidly for a given value of the r-coordinate for the first few M of evolution before
settling down to approximately stationary values at later time. Points with r > M/2 accelerate towards the black hole (R
decreases) before settling down again at some smaller value of R. As the slice moves towards the Schwarzschild singularity, the
horizon, initially at r = M/2 and R = 2M , splits into two copies, and values of R < 2M , which are not present in the initial
data, appear as time progresses. The initial slice covers the interior of the black hole from R = 2M to R = + for r = M/2
to r = 0. This region is quickly squeezed towards zero extent in r, as the lines of constant R in the lower left of the panels
indicate. Note that for given r, the coordinate motion R(r, t) is not monotonic in t, but R(r, t) approaches its asymptotic value
via a damped oscillation, see also Figure 11.
FIG. 10: Time for grid points to pass the inner horizon,
as a function of coordinate r. The innermost grid point is
initially at R = 2031M , and reaches the inner horizon in
T2M = 3.35M .
r
Ra
t = tb
Rb
R0
t = ta
2M
R=
FIG. 14: Logarithm of the deviation of K at the horizon from
FIG. 16: A close-up of the region near the cylinder at
the analytic value K = 0.066811. The deviations are scaled
R0 = 1.31M . Although the time has elapsed from ta 4.5M
assuming fourth-order convergence, and the results indicate
to tb = 13M (with non-negative lapse), R at the innermost
that K converges to the analytic value with fourth-order ac-
gridpoint has increased, Ra < Rb .
curacy.
i+
L R=0 i+
i+
L R=0 i+
R
R
I+ I+
I+ I+
i0L i0R
i0L i0R
2M
2M
R
=
I I
=
R
=
R
I I
2M
=
R
2M
i
L i
R
i
L i
R
FIG. 17: Penrose diagram of an evolution identical to that
FIG. 15: Penrose diagram produced from numerical data. used for Figure 15, except that in this case the shift is zero
We can clearly see the numerical slice retract from the sec- throughout the evolution and the data points are joined in
ond asymptotically flat end. The times shown are t/M = the plot. We see that the numerical slices no longer retract
0, 0.25, 0.75, 1.25, 2.0, 2.5, 3.5, 8. from the second asymptotically flat end, and now penetrate
R0 , and stay there. The times shown are the same as in
Figure 15.
= 0 and R = 1. The data points march along the
slice, some with decreasing R, some with increasing R,
depending on the slice we chose. Thus there is no con- It is difficult to see what happens to the numerical
nection between the change of R and the allowed time points at late times in Figure 15, because all of the points
vectors. bunch up in the upper right corner of the diagram. We
It should also be clear that if we were to run our simu- can change this by choosing T < 0 for the initial slice
lation without a shift, then the slices would penetrate R0 , when constructing the diagram. Figure 18 shows the
but would not be able to retreat to R0 at later times. This slices at numerical times t = 30, 37.25, 40, 50M, with the
is illustrated in Figure 17, which was produced from a nu- initial time chosen as Schwarzschild time T0 = 40M.
merical simulation with i = 0. This behaviour is in di- We see clearly that the slices approach the cylinder at
rect contrast to what happens in the case of true maximal R = 1.31M . In addition the figure shows the analytic
slicing (where the maximal slicing condition is imposed solution evaluated at the same times, and we see that
throughout the evolution, and is not approached only the numerical points lie perfectly on top of the analytic
asymptotically, as with the case of the maximal variant solution, and that since we have reached the stationary
of the 1+log condition, (21)), where the slices approach slice, the numerical and Schwarzschild times coincide.
R0 = 3M/2, but cannot pass through it. Maximal slic-
ing is an elliptic condition and thus generates barriers,
while 1+log slicing is hyperbolic and so no barriers exist. V. NUMERICAL EVOLUTION OF TRUMPET
Note once again that the slices are isometric across the INITIAL DATA
throat, as shown in Figures 15 and 17. The shift only
relabels points within the slices and grid points move In the previous section we evolved wormhole puncture
accordingly, so the figures show identical slices covered data with 1+log slicing and the -driver shift condition,
by different numerical grids. and found that the numerical data quickly evolved from
15
i+
L R=0 i+
R
I+ I+
i0L i0R
2M
R
=
I I
=
R
i
L 2M i
R
FIG. 18: The numerical data at Schwarzschild times t = FIG. 19: The error in xx (i.e., xx 1) after 50M of evo-
30, 37.25, 40, 50M, with the initial time chosen as T0 = 40M. lution of the time-independent trumpet puncture data. The
The analytic solution, evaluated at the same times, is shown errors for simulations at three resolutions are scaled assuming
by a solid grey line. We see that the numerical points lie fourth-order convergence, and we indeed see that the errors
perfectly on the analytic solution. converge to zero at fourth-order.
A. Evolution of time-independent data FIG. 20: The L2 norm of the error in xx over the course of
the evolution. The errors again converge to zero at fourth-
If we evolve the stationary 1+log solution in isotropic order.
coordinates, given in Section II D 3, we expect the data
to be time-independent. This is certainly the case when
we look at the data by eye: the evolution variables do
the outer boundary will have contaminated the solution,
not appear to change at all.
as is clear in Figure 19.
A more systematic test is shown in Figure 19, where
we show the error in xx at t = 50M . The conformal These figures indicate that the data are indeed time
spatial metric is flat in the stationary data, ij = ij , independent, up to small numerical errors that converge
and so we can calculate the error by simply evaluating to zero at the expected rate. Since the analytic value of
xx 1. We see that some error has developed by t = xx is unity, we can easily calculate the percentage error
50M , and it has a peak at around x = 3M . The errors from the figures: we see that at t = 50M the largest error
are scaled consistent with fourth-order convergence, and in ij is 0.12%, for the lowest-resolution simulation. As
we indeed see fourth-order convergence up to around x = such, we see that these data provide an excellent testing
145M . Since the outer boundary is at x = 192M , by ground for the accuracy of a numerical code. This point
t = 50M lower-order errors from the outer boundary will needs to be emphasized. The moving-puncture approach
have propagated to around x = 142M , and so we do not as used here is currently the most popular method for
expect to see fourth-order convergence beyond this point. simulating black-hole binaries. For such a code there is
In Figure 20 we show the L2 norm of the error in xx no analytic black-hole solution that can be used to test
along the x-axis as a function of time. The lines are the code, except for the 1+log and stationary maximal
once again scaled assuming fourth-order convergence to trumpet solutions presented here and in [33, 57]. These
zero. We see reasonably clean fourth-order convergence, analytic solutions could be invaluable not only for test-
which appears to deteriorate slightly near the end of the ing a new code, but also in analysing and reducing the
simulation, although by this time lower-order errors from sources of error in current codes.
16
FIG. 21: The value of K at the horizon, for a simulation FIG. 22: The coordinate location the horizon, for two simu-
where the slicing condition alternates between standard 1+log lations with an alternating slicing condition. The dashed line
and asymptotically maximal 1+log, Eqns. (36) and (21). The is for a simulation with the standard choice of = 2/M . The
dashed horizontal lines indicate the respective analytic values solid line is for a simulation with = 0. In this case, the
of K at the horizon. horizon location almost returns to its original value when the
solution returns to the 1+log stationary geometry.
B. Alternating slices
ure.) This illustrates that, although the numerical slices
We start with 1+log trumpet data, as in the previous quickly approach a stationary geometry, the coordinates
section. We evolve the data for t = 22.5M , and then may still drift. This effect is at least partially due to
switch the slicing evolution equation from (22) to (21), the damping parameter in the -driver shift condition.
i.e., we change to the slicing condition that asymptotes If we repeat the simulation with = 0, we produce the
to maximal slicing. After a further 50M of evolution, at solid line in Figure 22: now the horizon location returns
t = 72.5M , we switch back to the original slicing condi- to its original location to a comparable accuracy that
tion, which, assuming robustness of the method, should coordinate-invariant quantities return to the stationary
asymptote back to the stationary 1+log solution. 1+log solution.
Figure 21 shows the value of K at the horizon for this
simulation. The value is K = 0.0668 on the horizon in the
initial data, and remains at this value for the first 22.5M VI. DISCUSSION
of evolution. Then, when the slicing condition changes,
K quickly evolves towards K = 0. Within about 30M A. Setting wormholes and trumpets in motion
we have K 0. At t = 72.5M , the slicing condition
is changed again, and within another 30M the slice has One of the directions for future work suggested by our
settled back to the stationary 1+log value. Simulations results (and already proposed in Paper I) is the construc-
were performed with the same low, medium and high tion of trumpet (as opposed to wormhole) initial data for
resolutions as the puncture data case in Section IV. At black-hole binaries.
t = 125M , when the simulations ended, the respective Trumpet black-hole binary initial data would have the
values of K on the horizon were 0.0679, 0.0670, 0.0669. advantage that our numerical code would not need to
These results illustrate the robustness of the moving- evolve the fast transition from wormholes to trumpets. In
puncture method to locate the appropriate stationary addition, current binary puncture initial data start with
1+log slice. Potentially more challenging tests have also zero speed across the numerical grid. When the simu-
been performed using excision initial data with the inte- lation begins, the 1+log/-driver gauge conditions both
rior filled in, and the method is again seen to be robust transform the wormholes into trumpets, but also gener-
[68, 69, 70]. ate an advection component to the shift vector, which
In Figure 22 we show the coordinate distance r of moves the trumpets across the grid (Paper I). One could
the horizon from the origin. For the stationary 1+log attempt to choose a better initial shift, so that the
data the horizon is at r = 0.8304M , and deviates by no wormholes move from the outset, but if we begin with
more than 0.0014 % in the first 22M of evolution in the wormhole puncture data, there is no way to prevent this
highest-resolution simulation. When the slicing condi- shift changing nontrivially as the wormholes evolve to
tion is switched to asymptotically maximal 1+log, and trumpets. Although one could produce a best initial
then back to standard 1+log, we see that the horizon shift by some trial-and-error process, a more attractive
does not return to its original position, at least not on proposal would be to start with trumpet data, and hope
the same time scale as the geometry returns to the sta- to find a procedure to choose an initial shift that imbues
tionary 1+log geometry. (See the dashed line in the fig- the boosted trumpets with their appropriate coordinate
17
speeds. We would then hope that, from the outset, almost tionary 1+log slice; the non-stationary part of the slice
all of the evolution of the data would represent the evolu- no longer contains any grid points. The stretching of the
tion of physical quantities (the black holes motions and slice is so extreme that no matter how many numerical
the evolution of their spins, surface geometry, etc.) and points we place near the puncture (so long as there is
mere gauge evolution would be minimised. This might no point on the puncture) that point will quickly move
help reduce the gauge component to the black-hole mo- onto the stationary slice. Even a grid point initially at
tion seen in, for example, the first few hundred M of r = M/8192 and R 2000M on the second copy of the
evolution in Figure 18 in [27]. Further, and more prac- exterior space, passes through R = 2M in less than 3.5M
tically, we would hope that such data would reduce the of evolution, and soon after settles near R = 1.31M .
initial noise in wave quantities (for example, Figures 1, An alternative to wormhole puncture data are trum-
2, 4 and 6 in [27]). pet puncture data. We have transformed the stationary
Before we become too optimistic, however, we should 1+log solution to isotropic coordinates, and shown that
emphasize that the bulk of the initial noise in most nu- these data are indeed time-independent when evolved, up
merical simulations probably comes from the burst of to small numerical errors. In addition, we have shown
junk radiation present in the initial data. For example, that the numerical data can easily change from one sta-
the excision data evolved in [71] already have most of tionary geometry to another, if the 1+log condition is
the properties we have just advertised: the gauge is not changed during the evolution, indicating a certain ro-
expected to evolve significantly in the early stages of the bustness of the method. Finally, we are able to see clearly
simulation, and the initial shift is precisely that which that although the data approach a stationary slice, the
should cause the black holes to follow a quasi-circular in- numerical coordinates may still drift.
spiral. As we would hope, the black-hole motion is indeed The realization that the moving puncture method is
smooth from the outset. Nonetheless, noise still reduces really based on trumpet puncture data, and that this
the accuracy of some wave quantities at early times (see, type of geometry naturally avoids most of the unphys-
for example, Figure 7 of [71]), and the most likely culprit ical regions of spacetime in black hole evolutions, es-
is the junk radiation, which has a similar magnitude to tablishes a new paradigm for the numerical evolution of
that in moving-puncture simulations. We expect that the black holes and suggests many directions of possible fu-
ideal initial data for moving-puncture simulations would ture research. One of the most promising is the con-
produce minimal junk radiation and be in trumpet form. struction of trumpet initial data for black-hole binaries,
as discussed above. Additionally, one may use the sta-
tionary data to make precise tests of numerical codes,
B. Summary for example to improve treatment of mesh-refinement
boundaries and outer boundaries, to determine the res-
We have extended the analysis of the behaviour of the olutions necessary to most accurately resolve black-hole
analytical and numerical slices in moving-puncture sim- spacetimes, and to explore different gauge choices. The
ulations of the Schwarzschild spacetime that we began in stationary solution also provides an ideal background for
Paper I. For a general form of the 1+log slicing condition mathematical studies of the stability properties of the
(36) we have derived the stationary Schwarzschild trum- BSSN/moving-puncture system and other evolution sys-
pet solution: the slice extends from spatial infinity to an tems, that could even be particularly tailored to evolve
infinitely long cylinder, or trumpet, with a throat at some trumpet puncture data.
finite radius R0 . When the parameter n in this condition
is set to n = 2, we obtain the solution given in Paper I
with R0 = 1.31M . In the limit n we recover the
Acknowledgments
maximal trumpet solution [43, 48], with R0 = 1.5M .
For a given choice of the 1+log slicing condition, there
is a unique regular stationary solution. In numerical sim- This work was supported in part by DFG grant
ulations that apply the moving-puncture technique to SFB/Transregio 7 Gravitational Wave Astronomy. In
wormhole puncture Schwarzschild initial data, and use addition, M. Hannam and N. O Murchadha were sup-
the -driver shift condition, the numerical slice quickly ported by SFI grant 07/RFP/PHYF148. S. Husa is a
evolves to the stationary slice. This cannot happen to VESF fellow of the European Gravitational Observatory
the analytic slice: this must remain connected to the two (EGO). We thank the DEISA Consortium (co-funded by
asymptotically flat ends in the wormhole data. It also the EU, FP6 project 508830), for support within the
cannot happen with numerical data if the shift is zero. DEISA Extreme Computing Initiative (www.deisa.org).
However, the -driver shift condition generates a shift Computations were performed at LRZ Munich and the
that stretches the numerical slice such that all of the Doppler and Kepler clusters at the Institute of Theoret-
numerical points extremely quickly move onto the sta- ical Physics of the University of Jena.
18
[1] F. Pretorius, Phys. Rev. Lett. 95, 121101 (2005), gr- arXiv:0706.1305 [gr-qc].
qc/0507014. [28] S. Husa, J. A. Gonzalez, M. Hannam, B. Brugmann, and
[2] M. Campanelli, C. O. Lousto, P. Marronetti, and U. Sperhake (2007), arXiv:0706.0740 [gr-qc].
Y. Zlochower, Phys. Rev. Lett. 96, 111101 (2006), gr- [29] S. Husa, M. Hannam, J. A. Gonzalez, U. Sperhake, and
qc/0511048. B. Brugmann, Phys. Rev. D (2007), arXiv:0706.0904 [gr-
[3] J. G. Baker, J. Centrella, D.-I. Choi, M. Koppitz, and qc].
J. van Meter, Phys. Rev. Lett. 96, 111102 (2006), gr- [30] B. Brugmann, Int. J. Mod. Phys. D 8, 85 (1999).
qc/0511103. [31] M. Alcubierre, B. Brugmann, P. Diener, M. Koppitz,
[4] F. Herrmann, I. Hinder, D. Shoemaker, and P. Laguna, D. Pollney, E. Seidel, and R. Takahashi, Phys. Rev. D
Class. Quantum Gravity pp. S33 S42 (2007). 67, 084023 (2003), gr-qc/0206072.
[5] J. G. Baker, J. Centrella, D.-I. Choi, M. Koppitz, J. van [32] M. Hannam, S. Husa, D. Pollney, B. Brugmann, and
Meter, and M. C. Miller, Astrophys. J. 653, L93 (2006), N. O Murchadha, Phys. Rev. Lett. 99, 241102 (2007),
astro-ph/0603204. gr-qc/0606099.
[6] J. A. Gonzalez, U. Sperhake, B. Brugmann, M. Hannam, [33] M. Hannam, S. Husa, N. O Murchadha, B. Brugmann,
and S. Husa, Phys. Rev. Lett. 98, 091101 (2007), gr- J. A. Gonzalez, and U. Sperhake, Journal of Physics:
qc/0610154. Conference series p. 012047 (2007), arXiv:gr-qc/0612097.
[7] A. Buonanno et al., Phys. Rev. D76, 104049 (2007), [34] J. D. Brown, Phys. Rev. D77, 044018 (2008),
0706.3732. arXiv:0705.1359 [gr-qc].
[8] M. Campanelli, C. O. Lousto, and Y. Zlochower, Phys. [35] D. Garfinkle, C. Gundlach, and D. Hilditch (2007),
Rev. D 74, 041501 (2006), gr-qc/0604012. arXiv:0707.0726 [gr-qc].
[9] M. Campanelli, C. O. Lousto, and Y. Zlochower, Phys. [36] S. Brandt and B. Brugmann, Phys. Rev. Lett. 78, 3606
Rev. D 74, 084023 (2006), gr-qc/0608275. (1997), gr-qc/9703066.
[10] M. Campanelli, C. O. Lousto, Y. Zlo- [37] R. Beig and N. OMurchadha, Class. Quantum Grav. 11,
chower, and D. Merritt (2007), final version, 419 (1994).
http://www.arxiv.org/abs/gr-qc/0701164. [38] S. Dain and H. Friedrich, Comm. Math. Phys. 222, 569
[11] M. Campanelli, C. O. Lousto, Y. Zlochower, B. Krish- (2001), gr-qc/0102047.
nan, and D. Merritt, Phys. Rev. D75, 064030 (2007), [39] R. Beig and S. Husa, Phys. Rev. D 50, 7116 (1994), gr-
gr-qc/0612076. qc/9410003.
[12] F. Herrmann, I. Hinder, D. Shoemaker, P. Laguna, and [40] C. Bona, J. Masso, E. Seidel, and J. Stela, Phys. Rev.
R. Matzner, Ap. J. 661, 430 (2007). Lett. 75, 600 (1995), gr-qc/9412071.
[13] F. Herrmann, I. Hinder, D. M. Shoemaker, P. Laguna, [41] M. Alcubierre, B. Brugmann, D. Pollney, E. Seidel, and
and R. A. Matzner, Phys. Rev. D76, 084032 (2007), R. Takahashi, Phys. Rev. D 64, 061501(R) (2001), gr-
0706.2541. qc/0104020.
[14] J. A. Gonzalez, M. D. Hannam, U. Sperhake, [42] L. T. Buchman and J. M. Bardeen, Phys. Rev. D 72,
B. Brugmann, and S. Husa, Phys. Rev. Lett. 98, 231101 124014 (2005), gr-qc/0508111.
(2007), gr-qc/0702052. [43] F. Estabrook, H. Wahlquist, S. Christensen, B. DeWitt,
[15] M. Hannam, S. Husa, B. Brugmann, J. A. Gonzalez, and L. Smarr, and E. Tsiang, Phys. Rev. D 7, 2814 (1973).
U. Sperhake, Class. Quantum Grav. pp. S15S24 (2007), [44] R. Beig and N. O. Murchadha, Phys. Rev. D 57, 4728
arXiv:gr-qc/0612001. (1998), gr-qc/9706046.
[16] B. Brugmann, J. A. Gonzalez, M. Hannam, S. Husa, and [45] L. Smarr and J. W. York, Jr., Phys. Rev. D 17, 2529
U. Sperhake (2007), arXiv:0707.0135 [gr-qc]. (1978).
[17] M. Koppitz, D. Pollney, C. Reisswig, L. Rezzolla, [46] S. L. Shapiro and S. A. Teukolsky, in Dynamical Space-
J. Thornburg, P. Diener, and E. Schnetter, Phys. Rev. times and Numerical Relativity, edited by J. M. Cen-
Lett. 99, 041102 (2007). trella (Cambridge University Press, Cambridge, England,
[18] D. Pollney et al. (2007), arXiv:0707.2559 [gr-qc]. 1986), pp. 74100.
[19] L. Rezzolla et al. (2007), arXiv:0708.3999 [gr-qc]. [47] B. Reimann, Class. Quantum Grav. 22, 4563 (2005), gr-
[20] L. Rezzolla et al. (2007), arXiv:0710.3345 [gr-qc]. qc/0404118.
[21] M. Hannam, S. Husa, B. Brugmann, and A. Gopakumar [48] B. Reinhardt, J. Math. Phys. 14, 719 (1973).
(2007), arXiv:0712.3787 [gr-qc]. [49] J. W. York, in Sources of gravitational radiation, edited
[22] S. Dain, C. O. Lousto, and Y. Zlochower (2008), by L. L. Smarr (Cambridge University Press, Cambridge,
arXiv:0803.0351 [gr-qc]. UK, 1979), pp. 83126, ISBN 0-521-22778-X.
[23] J. G. Baker et al. (2008), arXiv:0802.0416 [astro-ph]. [50] C. W. Misner, K. S. Thorne, and J. A. Wheeler, Grav-
[24] M. Campanelli, C. O. Lousto, and Y. Zlochower (2007), itation (W. H. Freeman, San Francisco, 1973), ISBN 0-
arXiv:0710.0879 [gr-qc]. 7167-0344-0 (paper).
[25] C. O. Lousto and Y. Zlochower, Phys. Rev. D77, 024034 [51] R. Arnowitt, S. Deser, and C. W. Misner, in Gravitation
(2008), arXiv:0711.1165 [gr-qc]. an introduction to current research, edited by L. Wit-
[26] J. G. Baker, J. Centrella, D.-I. Choi, M. Koppitz, and ten (John Wiley, New York, 1962), pp. 227265, gr-
J. van Meter, Phys. Rev. D 73, 104002 (2006), gr- qc/0405109.
qc/0602026. [52] R. M. Wald, General relativity (The University of
[27] M. Hannam, S. Husa, J. A. Gonzalez, U. Sperhake, Chicago Press, Chicago, 1984), ISBN 0-226-87032-4
and B. Brugmann, Phys. Rev. D 77, 044020 (2008),
19