LRR 2009 1
LRR 2009 1
LRR 2009 1
Jér^ome Novak
Laboratoire Univers et Théories
UMR 8102 du C.N.R.S., Observatoire de Paris
F-92195 Meudon Cedex, France
email: [email protected]
http://www.luth.obspm.fr/minisite.php?nom=Novak
Abstract
Equations arising in general relativity are usually too complicated to be solved analytically
and one must rely on numerical methods to solve sets of coupled partial differential equations.
Among the possible choices, this paper focuses on a class called spectral methods in which,
typically, the various functions are expanded in sets of orthogonal polynomials or functions.
First, a theoretical introduction of spectral expansion is given with a particular emphasis on the
fast convergence of the spectral approximation. We then present different approaches to solving
partial differential equations, first limiting ourselves to the one-dimensional case, with one or
more domains. Generalization to more dimensions is then discussed. In particular, the case of
time evolutions is carefully studied and the stability of such evolutions investigated. We then
present results obtained by various groups in the field of general relativity by means of spectral
methods. Work, which does not involve explicit time-evolutions, is discussed, going from
rapidly-rotating strange stars to the computation of black-hole–binary initial data. Finally,
the evolution of various systems of astrophysical interest are presented, from supernovae core
collapse to black-hole–binary mergers.
Because a Living Reviews article can evolve over time, we recommend to cite the article as follows:
The date given as <date> then uniquely identifies the version of the article you are referring to.
Article Revisions
Living Reviews supports two ways of keeping its articles up-to-date:
Fast-track revision A fast-track revision provides the author with the opportunity to add short
notices of current research results, trends and developments, or important publications to
the article. A fast-track revision is refereed by the responsible subject editor. If an article
has undergone a fast-track revision, a summary of changes will be listed here.
Major update A major update will include substantial changes and additions and is subject to
full external refereeing. It is published with a new publication number.
For detailed documentation of an article’s evolution, please refer to the history document of the
article’s online version at http://www.livingreviews.org/lrr-2009-1.
23 January 2012: Corrected typos in Equations (62) and (64). Added DOIs and updated
format of references, thereby reducing PDF page numbers from 107 to 103.
Page 27: Typos in Equations (62) and (64): corrected 1 + 𝑥2 to 1 + 𝑒2 .
Contents
1 Introduction 7
1.1 About spectral methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Spectral methods in physics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 A simple example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3 Multidimensional Cases 35
3.1 Spatial coordinate systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.1.1 Mappings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.1.2 Spatial compactification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.1.3 Patching in more than one dimension . . . . . . . . . . . . . . . . . . . . . 38
3.2 Spherical coordinates and harmonics . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.2.1 Coordinate singularities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.2.2 Spherical harmonics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.2.3 Tensor components . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.3 Going further . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.3.1 More than three spatial dimensions . . . . . . . . . . . . . . . . . . . . . . . 44
4 Time-Dependent Problems 46
4.1 Time discretization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.1.1 Method of lines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.1.2 Stability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.1.3 Spectrum of simple spatial operators . . . . . . . . . . . . . . . . . . . . . . 49
4.1.4 Semi-implicit schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.2 Imposition of boundary conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.2.1 Strong enforcement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.2.2 Penalty approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.3 Discretization in space: stability and convergence . . . . . . . . . . . . . . . . . . . 54
4.3.1 Lax–Richtmyer theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.3.2 Energy estimates for stability . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.3.3 Examples: heat equation and advection equation . . . . . . . . . . . . . . . 56
4.4 Fully-discrete analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.4.1 Strong stability-preserving methods . . . . . . . . . . . . . . . . . . . . . . 60
4.5 Going further: High-order time schemes . . . . . . . . . . . . . . . . . . . . . . . . 60
7 Conclusions 87
7.1 Strengths and weaknesses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
7.2 Combination with other methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
7.3 Future developments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
References 89
Spectral Methods for Numerical Relativity 7
1 Introduction
Einstein’s equations represent a complicated set of nonlinear partial differential equations for which
some exact [30] or approximate [31] analytical solutions are known. But these solutions are not
always suitable for physically or astrophysically interesting systems, which require an accurate
description of their relativistic gravitational field without any assumption on the symmetry or with
the presence of matter fields, for instance. Therefore, many efforts have been undertaken to solve
Einstein’s equations with the help of computers in order to model relativistic astrophysical objects.
Within this field of numerical relativity, several numerical methods have been experimented with
and a large variety are currently being used. Among them, spectral methods are now increasingly
popular and the goal of this review is to give an overview (at the moment it is written or updated)
of the methods themselves, the groups using them and the results obtained. Although some of the
theoretical framework of spectral methods is given in Sections 2 to 4, more details can be found
in the books by Gottlieb and Orszag [94], Canuto et al. [56, 57, 58], Fornberg [79], Boyd [48] and
Hesthaven et al. [117]. While these references have, of course, been used for writing this review,
they may also help the interested reader to get a deeper understanding of the subject. This review
is organized as follows: hereafter in the introduction, we briefly introduce spectral methods, their
usage in computational physics and give a simple example. Section 2 gives important notions
concerning polynomial interpolation and the solution of ordinary differential equations (ODE) with
spectral methods. Multidomain approach is also introduced there, whereas some multidimensional
techniques are described in Section 3. The cases of time-dependent partial differential equations
(PDE) are treated in Section 4. The last two sections then review results obtained using spectral
methods: for stationary configurations and initial data (Section 5), and for the time evolution
(Section 6) of stars, gravitational waves and black holes.
A relatively simple case is, for instance, when 𝑓 (𝑥) is a periodic function of period two, and the
Φ2𝑖 (𝑥) = cos(𝜋𝑖𝑥), Φ2𝑖+1 (𝑥) = sin(𝜋𝑖𝑥) are trigonometric functions. Equation (2) is then nothing
but the truncated Fourier decomposition of 𝑓 . In general, derivatives can be computed from the
𝑐𝑖 ’s, with the knowledge of the expression for each derivative Φ′𝑖 (𝑥) as a function of {Φ𝑖 }𝑖=0...𝑁 .
The decomposition (2) is approximate in the sense that {Φ𝑖 }𝑖=0...𝑁 represent a complete basis
of some finite-dimensional functional space, whereas 𝑓 usually belongs to some other infinite-
dimensional space. Moreover, the coefficients 𝑐𝑖 are computed with finite accuracy. Among the
major advantages of using spectral methods is the rapid decay of the error (faster than any power
of 1/𝑁 , and in practice often exponential 𝑒−𝑁 ), for well-behaved functions (see Section 2.4.4); one,
therefore, has an infinite-order scheme.
In a more formal and mathematical way, it is useful to work within the methods of weighted
residuals (MWR, see also Section 2.5). Let us consider the PDE
where 𝐿 is a linear operator, 𝐵 the operator defining the boundary conditions and 𝑠 is a source
term. A function 𝑢 ¯ is said to be a numerical solution of this PDE if it satisfies the boundary
conditions (4) and makes “small” the residual
𝑢 − 𝑠.
𝑅 = 𝐿¯ (5)
If the solution is searched for in a finite-dimensional subspace of some given Hilbert space (any
relevant 𝐿2𝑈 space) in terms of the expansion (2), then the functions {Φ𝑖 (𝑥)}𝑖=0...𝑁 are called trial
functions and, in addition, the choice of a set of test functions {𝜉𝑖 (𝑥)}𝑖=0...𝑁 defines the notion of
smallness for the residual by means of the Hilbert space scalar product
Within this framework, various numerical methods can be classified according to the choice of the
trial functions:
∙ Finite differences: the trial functions are overlapping local polynomials of fixed order
(lower than 𝑁 ).
∙ Finite elements: the trial functions are local smooth functions, which are nonzero, only on
subdomains of 𝑈 .
Various choices of the test functions define different types of spectral methods, as detailed in
Section 2.5. Usual choices for the trial functions are (truncated) Fourier series, spherical harmonics
or orthogonal families of polynomials.
two or three-dimensional simulations of fluid flows, because of their reasonable computer memory
requirements. Many applications of spectral methods in fluid dynamics have been discussed by
Canuto et al. [56, 58], and the techniques developed in that field are of some interest to numerical
relativity.
From pure fluid-dynamics simulations, spectral methods have rapidly been used in connected
fields of research: geophysics [189], meteorology and climate modeling [216]. In this last research
category, global circulation models are used as boundary conditions to more specific (lower-scale)
models, with improved micro-physics. In this way, spectral methods are only a part of the global
numerical model, combined with other techniques to bring the highest accuracy, for a given compu-
tational power. A solution to the Maxwell equations can, of course, also be obtained with spectral
methods and therefore, magneto-hydrodynamics (MHD) have been studied with these techniques
(see, e.g., Hollerbach [119]). This has been the case in astrophysics too, where, for example, spectral
three-dimensional numerical models of solar magnetic dynamo action realized by turbulent con-
vection have been computed [52]. And Kompaneet’s equation, describing the evolution of photon
distribution function in a plasma bath at thermal equilibrium within the Fokker-Planck approxi-
mation, has been solved using spectral methods to model the X-ray emission of Her X-1 [33, 40].
In simulations of cosmological structure formation or galaxy evolution, many N-body codes rely
on a spectral solver for the computation of the gravitational force by the particle-mesh algorithm.
The mass corresponding to each particle is decomposed onto neighboring grid points, thus defining
a density field. The Poisson equation giving the Newtonian gravitational potential is then usually
solved in Fourier space for both fields [118].
To our knowledge, the first published result of the numerical solution of Einstein’s equations,
using spectral methods, is the spherically-symmetric collapse of a neutron star to a black hole
by Gourgoulhon in 1991 [95]. He used spectral methods as they were developed in the Meudon
group by Bonazzola and Marck [44]. Later studies of quickly-rotating neutron stars [41] (station-
ary axisymmetric models), the collapse of a neutron star in tensor-scalar theory of gravity [156]
(spherically-symmetric dynamic spacetime), and quasiequilibrium configurations of neutron star
binaries [39] and of black holes [110] (three-dimensional and stationary spacetimes) have grown
in complexity, up to the three-dimensional time-dependent numerical solution of Einstein’s equa-
tions [37]. On the other hand, the first fully three-dimensional evolution of the whole Einstein
system was achieved in 2001 by Kidder et al. [127], where a single black hole was evolved to
𝑡 ≃ 600 𝑀 – 1300 𝑀 using excision techniques. They used spectral methods as developed in the
Cornell/Caltech group by Kidder et al. [125] and Pfeiffer et al. [171]. Since then, they have focused
on the evolution of black-hole–binary systems, which has recently been simulated up to merger
and ring down by Scheel et al. [185]. Other groups (for instance Ansorg et al. [10], Bartnik and
Norton [21], Frauendiener [81] and Tichy [219]) have also used spectral methods to solve Einstein’s
equations; Sections 5 and 6 are devoted to a more detailed review of these works.
Δ𝜑 = 𝜎, (7)
where Δ is the Laplace operator (93) expressed in spherical coordinates (𝑟, 𝜃, 𝜙) (see also Sec-
tion 3.2). We want to solve Equation (7) in the domain where 0 < 𝑅min ≤ 𝑟 ≤ 𝑅max , 𝜃 ∈
[0, 𝜋], 𝜙 ∈ [0, 2𝜋). This Poisson equation naturally arises in numerical relativity when, for exam-
ple, solving for initial conditions or the Hamiltonian constraint in the 3+1 formalism [97]: the
linear part of these equations can be cast in form (7), and the nonlinearities put into the source 𝜎,
with an iterative scheme on 𝜑.
First, the angular parts of both fields are decomposed into a (finite) set of spherical harmonics
{𝑌ℓ𝑚 } (see Section 3.2.2):
ℓ∑︁
max 𝑚=ℓ
∑︁
𝜎(𝑟, 𝜃, 𝜙) ≃ 𝑠ℓ𝑚 (𝑟)𝑌ℓ𝑚 (𝜃, 𝜙), (8)
ℓ=0 𝑚=−ℓ
with a similar formula relating 𝜑 to the radial functions 𝑓ℓ𝑚 (𝑟). Because spherical harmonics are
eigenfunctions of the angular part of the Laplace operator, the Poisson equation can be equivalently
solved as a set of ordinary differential equations for each couple (ℓ, 𝑚), in terms of the coordinate
𝑟:
𝑑2 𝑓ℓ𝑚 2 𝑑𝑓ℓ𝑚 ℓ(ℓ + 1)𝑓ℓ𝑚
∀(ℓ, 𝑚), 2
+ − = 𝑠ℓ𝑚 (𝑟). (9)
𝑑𝑟 𝑟 𝑑𝑟 𝑟2
We then map
and decompose each field in a (finite) basis of Chebyshev polynomials {𝑇𝑖 }𝑖=0...𝑁 (see Section 2.4.3):
𝑁
∑︁
𝑠ℓ𝑚 (𝜉) = 𝑐𝑖ℓ𝑚 𝑇𝑖 (𝜉),
𝑖=0
𝑁
∑︁
𝑓ℓ𝑚 (𝜉) = 𝑎𝑖ℓ𝑚 𝑇𝑖 (𝜉). (11)
𝑖=0
Each function 𝑓ℓ𝑚 (𝑟) can be regarded as a column-vector 𝐴ℓ𝑚 of its 𝑁 + 1 coefficients 𝑎𝑖ℓ𝑚 in this
basis; the linear differential operator on the left-hand side of Equation (9) being, thus, a matrix
𝐿ℓ𝑚 acting on the vector:
𝐿ℓ𝑚 𝐴ℓ𝑚 = 𝑆ℓ𝑚 , (12)
with 𝑆ℓ𝑚 being the vector of the 𝑁 + 1 coefficients 𝑐𝑖ℓ𝑚 of 𝑠ℓ𝑚 (𝑟). This matrix can be computed
from the recurrence relations fulfilled by the Chebyshev polynomials and their derivatives (see
Section 2.4.3 for details).
The matrix 𝐿 is singular because problem (7) is ill posed. One must indeed specify boundary
conditions at 𝑟 = 𝑅min and 𝑟 = 𝑅max . For simplicity, let us suppose
To impose these boundary conditions, we adopt the tau methods (see Section 2.5.2): we build the
¯ taking 𝐿 and replacing the last two lines by the boundary conditions, expressed in terms
matrix 𝐿,
of the coefficients from the properties of Chebyshev polynomials:
𝑁
∑︁ 𝑁
∑︁
∀(ℓ, 𝑚), (−1)𝑖 𝑎𝑖ℓ𝑚 = 𝑎𝑖ℓ𝑚 = 0. (14)
𝑖=0 𝑖=0
Equations (14) are equivalent to boundary conditions (13), within the considered spectral ap-
¯ which can now be inverted and give the
proximation, and they represent the last two lines of 𝐿,
coefficients of the solution 𝜑.
If one summarizes the steps:
1. Setup an adapted grid for the computation of spectral coefficients (e.g., equidistant in the
angular directions and Chebyshev–Gauss–Lobatto collocation points; see Section 2.4.3).
2. Get the values of the source 𝜎 on these grid points.
3. Perform a spherical-harmonics transform (for example, using some available library [151]),
followed by the Chebyshev transform (using a Fast Fourier Transform (FFT), or a Gauss–
Lobatto quadrature) of the source 𝜎.
4. For each couple of values (ℓ, 𝑚), build the corresponding matrix 𝐿¯ with the boundary condi-
tions, and invert the system (using any available linear-algebra package) with the coefficients
of 𝜎 as the right-hand side.
5. Perform the inverse spectral transform to get the values of 𝜑 on the grid points from its
coefficients.
A numerical implementation of this algorithm has been reported by Grandclément et al. [109],
who have observed that the error decayed as 𝑒−ℓmax · 𝑒−𝑁 , provided that the source 𝜎 was smooth.
Machine round-off accuracy can be reached with ℓmax ∼ 𝑁 ∼ 30, which makes the matrix inversions
of step 4 very cheap in terms of CPU and the whole method affordable in terms of memory usage.
These are the main advantages of using spectral methods, as shall be shown in the following
sections.
This means that, for any continuous function 𝑓 of [−1, 1], there exists a sequence of polynomials
(𝑝𝑖 ) , 𝑖 ∈ N that converges uniformly towards 𝑓 :
lim ‖𝑓 − 𝑝𝑖 ‖∞ = 0. (16)
𝑖→∞
This theorem shows that it is probably a good idea to approximate continuous functions by poly-
nomials.
Given a continuous function 𝑓 , the best polynomial approximation of degree 𝑁 , is the polyno-
mial 𝑝⋆𝑁 that minimizes the norm of the difference between 𝑓 and itself:
Chebyshev alternate theorem states that for any continuous function 𝑓 , 𝑝⋆𝑁 is unique (theo-
rem 9.1 of [178] and theorem 23 of [149]). There exist 𝑁 + 2 points 𝑥𝑖 ∈ [−1, 1] such that the error
is exactly attained at those points in an alternate manner:
𝑖+𝛿
𝑓 (𝑥𝑖 ) − 𝑝⋆𝑁 (𝑥𝑖 ) = (−1) ‖𝑓 − 𝑝⋆𝑁 ‖∞ , (18)
N=2
0.8
0.6
y
0.4
3 3
f=cos (πx/2) +(x+1) /8
0.2
Best approximant
-0.2
-1 -0.5 0 0.5 1
x
Figure 1: Function 𝑓 = cos3 (𝜋𝑥/2) + (𝑥 + 1)3 /8 (black curve) and its best approximation of degree 2
(red curve). The blue arrows denote the four points where the maximum error is attained.
Let us consider a continuous function 𝑓 and a family of grids 𝑋 with 𝑁 + 1 nodes 𝑥𝑖 . Then,
𝑋
there exists a unique polynomial of degree 𝑁 , 𝐼𝑁 𝑓 , that coincides with 𝑓 at each node:
𝑋
𝐼𝑁 𝑓 (𝑥𝑖 ) = 𝑓 (𝑥𝑖 ) 0 ≤ 𝑖 ≤ 𝑁. (19)
𝑋 𝑋
𝐼𝑁 𝑓 is called the interpolant of 𝑓 through the grid 𝑋. 𝐼𝑁 𝑓 can be expressed in terms of the
Lagrange cardinal polynomials:
𝑁
∑︁
𝑋
𝐼𝑁 𝑓= 𝑓 (𝑥𝑖 ) ℓ𝑋
𝑖 (𝑥) , (20)
𝑖=0
where ℓ𝑋 𝑋
𝑖 are the Lagrange cardinal polynomials. By definition, ℓ𝑖 is the unique polynomial of
degree 𝑁 that vanishes at all nodes of the grid 𝑋, except at 𝑥𝑖 , where it is equal to one. It is easy
to show that the Lagrange cardinal polynomials can be written as
𝑁
∏︁ 𝑥 − 𝑥𝑗
ℓ𝑋
𝑖 (𝑥) = . (21)
𝑥𝑖 − 𝑥𝑗
𝑗=0,𝑗̸=𝑖
Figure 2 shows some examples of Lagrange cardinal polynomials. An example of a function and
its interpolant on a uniform grid can be seen in Figure 3.
Thanks to Chebyshev alternate theorem, one can see that the best approximation of degree
𝑁 is an interpolant of the function at 𝑁 + 1 nodes. However, in general, the associated grid
is not known. The difference between the error made by interpolating on a given grid 𝑋 can
be compared to the smallest possible error for the best approximation. One can show that (see
Prop. 7.1 of [178]):
𝑋 ⃦
𝑓 ∞ ≤ (1 + Λ𝑁 (𝑋)) ‖𝑓 − 𝑝⋆𝑁 ‖∞ ,
⃦ ⃦
⃦𝑓 − 𝐼𝑁 (22)
i=3
3 i=7
1
y
-1
-2
-3
-1 -0.5 0 0.5 1
x
N=4
0.8
0.6
y
0.4
3 3
f=cos (πx/2)+(x+1) /8
0.2
Interpolant (uniform grid)
-0.2
-1 -0.5 0 0.5 1
x
Figure 3: Function 𝑓 = cos3 (𝜋𝑥/2)+(𝑥 + 1)3 /8 (black curve) and its interpolant (red curve)on a uniform
grid of five nodes. The blue circles show the position of the nodes.
N=4 N=13
1 1
0.5 0.5
y
y
0 0
2 2
f = 1/(1+16x ) f=1/(1+16x )
Uniform interpolant Uniform interpolant
-0.5 -0.5
1
Figure 4: Function 𝑓 = (black curve) and its interpolant (red curve) on a uniform grid of five
1 + 16𝑥2
nodes (left panel) and 14 nodes (right panel). The blue circles show the position of the nodes.
A theorem by Erdös [72] states that, for any choice of grid 𝑋, there exists a constant 𝐶 > 0
such that:
2
Λ𝑁 (𝑋) > ln (𝑁 + 1) − 𝐶. (24)
𝜋
It immediately follows that Λ𝑁 → ∞ when 𝑁 → ∞. This is related to a result from 1914 by
Faber [73] that states that for any grid, there always exists at least one continuous function 𝑓 ,
whose interpolant does not converge uniformly to 𝑓 . An example of such failure of convergence is
1
show in Figure 4, where the convergence of the interpolant to the function 𝑓 = is clearly
1 + 16𝑥2
nonuniform (see the behavior near the boundaries of the interval). This is known as the Runge
phenomenon.
Moreover, a theorem by Cauchy (theorem 7.2 of [178]) states that, for all functions 𝑓 ∈ 𝒞 (𝑁 +1) ,
the interpolation error on a grid 𝑋 of 𝑁 + 1 nodes is given by
𝑋 𝑓 𝑁 +1 (𝜖) 𝑋
𝑓 (𝑥) − 𝐼𝑁 𝑓 (𝑥) = 𝑤 (𝑥) , (25)
(𝑁 + 1)! 𝑁 +1
𝑋
where 𝜖 ∈ [−1, 1]. 𝑤𝑁 +1 is the nodal polynomial of 𝑋, being the only polynomial of degree 𝑁 + 1,
with a leading coefficient of 1, and that vanishes on the nodes of 𝑋. It is then easy to show that
𝑁
∏︁
𝑋
𝑤𝑁 +1 (𝑥) = (𝑥 − 𝑥𝑖 ) . (26)
𝑖=0
In Equation (25), one has a priori no control on the term involving 𝑓 𝑁 +1 . For a given function,
it can be rather large and⃒ this is ⃒indeed the case for the function 𝑓 shown in Figure 4 (one can
check, for instance, that ⃒𝑓 𝑁 +1 (1)⃒ becomes larger and larger). However, one can hope to minimize
the interpolation error by choosing a grid such that the nodal polynomial is as small as possible.
N=4 N=13
1 1
0.5 0.5
y
y
0 0
2 2
f = 1/(1+16x ) f=1/(1+16x )
Chebyshev interpolant Chebyshev interpolant
-0.5 -0.5
Figure 5: Same as Figure 4 but using a grid based on the zeros of Chebyshev polynomials. The Runge
phenomenon is no longer present.
A theorem by Chebyshev states that this choice is unique and is given by a grid, whose nodes
are the zeros of the Chebyshev polynomial 𝑇𝑁 +1 (see Section 2.3 for more details on Chebyshev
polynomials). With such a grid, one can achieve
⃦𝑤𝑁 +1 ⃦ = 1 ,
⃦ 𝑋 ⃦
∞
(27)
2𝑁
which is the smallest possible value (see Equation (18), Section 4.2, Chapter 5 of [122]). So, a grid
based on nodes of Chebyshev polynomials can be expected to perform better that a standard uni-
form one. This is what can be seen in Figure 5, which shows the same function and its interpolants
as in Figure 4, but with a Chebyshev grid. Clearly, the Runge phenomenon is no longer present.
One can check that, for this choice of function
⃦ 𝑋 ⃦𝑓 , the uniform convergence 𝑁of+1the interpolant to the
function is recovered. This is because ⃦𝑤𝑁 +1 ∞ decreases faster than 𝑓
⃦ / (𝑁 + 1)! increases.
Of course, Faber’s result implies that this cannot be true for all the functions. There still must
exist some functions for which the interpolant does not converge uniformly to the function itself
(it is actually the class of functions that are not absolutely continuous, like the Cantor function).
A basis of 𝑃N is then a set of 𝑁 + 1 polynomials {𝑝𝑛 }𝑛=0...𝑁 . 𝑝𝑛 is of degree 𝑛 and the polynomials
are orthogonal: (𝑝𝑖 , 𝑝𝑗 )𝑤 = 0 for 𝑖 ̸= 𝑗.
The projection 𝑃𝑁 𝑓 of a function 𝑓 on this basis is then
𝑁
∑︁
𝑃𝑁 𝑓 = 𝑓^𝑛 𝑝𝑛 , (29)
𝑛=0
N=4 N=8
1 1
0.8 0.8
0.6 0.6
y
y
0.4 0.4
3 3 3 3
f=cos (πx/2)+(x+1) /8 f=cos (πx/2)+(x+1) /8
0.2 0.2
PNf PNf
0 0
-0.2 -0.2
-1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1
x x
Figure 6: Function 𝑓 = cos3 (𝜋𝑥/2) + (𝑥 + 1)3 /8 (black curve) and its projection on Chebyshev polyno-
mials (red curve), for 𝑁 = 4 (left panel) and 𝑁 = 8 (right panel).
(𝑓, 𝑝𝑛 )
𝑓^𝑛 = . (30)
(𝑝𝑛 , 𝑝𝑛 )
The difference between 𝑓 and its projection goes to zero when 𝑁 increases:
‖𝑓 − 𝑃𝑁 𝑓 ‖∞ → 0 when 𝑁 → ∞. (31)
3
Figure 6 shows the function 𝑓 = cos3 (𝜋𝑥/2) + (𝑥 + 1) /8 and its projection on Chebyshev poly-
nomials (see Section 2.4.3) for 𝑁 = 4 and 𝑁 = 8, illustrating the rapid convergence of 𝑃𝑁 𝑓
to 𝑓 .
At first sight, the projection seems to be an interesting means of numerically representing a
function. However, in practice this is not the case. Indeed, to determine the projection of a
function, one needs to compute the integrals (30), which requires the evaluation of 𝑓 at a great
number of points, making the whole numerical scheme impractical.
The 𝑤𝑛 are called the weights and the 𝑥𝑛 are the collocation points. The integer 𝛿 can take several
values depending on the exact quadrature considered:
∙ Gauss quadrature: 𝛿 = 1.
N=4 N=6
1 1
0.8 0.8
0.6 0.6
y
y
0.4 0.4
3 3 3 3
f=cos (πx/2)+(x+1) /8 f=cos (πx/2)+(x+1) /8
0.2 0.2
INf INf
0 0
-0.2 -0.2
-1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1
x x
Figure 7: Function 𝑓 = cos3 (𝜋𝑥/2) + (𝑥 + 1)3 /8 (black curve) and its interpolant 𝐼𝑁 𝑓 on Chebyshev
polynomials (red curve), for 𝑁 = 4 (left panel) and 𝑁 = 6 (right panel). The collocation points are
denoted by the blue circles and correspond to Gauss–Lobatto quadrature.
Gauss quadrature is the best choice because it applies to polynomials of higher degree but
Gauss–Lobatto quadrature is often more useful for numerical purposes because the outermost
collocation points coincide with the boundaries of the interval, making it easier to impose matching
or boundary conditions. More detailed results and demonstrations about those quadratures can
be found for instance in [57].
As already stated in 2.3.1, the main drawback of projecting a function in terms of orthogonal
polynomials comes from the difficulty to compute the integrals (30). The idea of spectral methods
is to approximate the coefficients of the projection by making use of Gaussian quadratures. By
doing so, one can define the interpolant of a function 𝑓 by
𝑁
∑︁
𝐼𝑁 𝑓 = 𝑓˜𝑛 𝑝𝑛 (𝑥) , (33)
𝑛=0
where
𝑁 𝑁
1 ∑︁ ∑︁
𝑓˜𝑛 = 𝑓 (𝑥𝑖 ) 𝑝𝑛 (𝑥𝑖 ) 𝑤𝑖 and 𝛾𝑛 = 𝑝2𝑛 (𝑥𝑖 ) 𝑤𝑖 . (34)
𝛾𝑛 𝑖=0 𝑖=0
The 𝑓˜𝑛 exactly coincides with the coefficients 𝑓^𝑛 , if the Gaussian quadrature is applicable for
computing Equation (30), that is, for all 𝑓 ∈ P𝑁 +𝛿 . So, in general, 𝐼𝑁 𝑓 ̸= 𝑃𝑁 𝑓 and the difference
between the two is called the aliasing error. The advantage of using 𝑓˜𝑛 is that they are computed
by estimating 𝑓 at the 𝑁 + 1 collocation points only.
One can show that 𝐼𝑁 𝑓 and 𝑓 coincide at the collocation points: 𝐼𝑁 𝑓 (𝑥𝑖 ) = 𝑓 (𝑥𝑖 ) so that 𝐼𝑁
interpolates 𝑓 on the grid, whose nodes are the collocation points. Figure 7 shows the function
3
𝑓 = cos3 (𝜋/2) + (𝑥 + 1) /8 and its spectral interpolation using Chebyshev polynomials, for 𝑁 = 4
and 𝑁 = 6.
∙ in the configuration space, if the function is described by its value at the 𝑁 + 1 collocation
points 𝑓 (𝑥𝑖 );
∙ in the coefficient space, if one works with the 𝑁 + 1 coefficients 𝑓˜𝑖 .
There is a bijection between both spaces and the following relations enable us to go from one
to the other:
∙ the coefficients can be computed from the values of 𝑓 (𝑥𝑖 ) using Equation (34);
∙ the values at the collocation points are expressed in terms of the coefficients by making use
of the definition of the interpolant (33):
𝑁
∑︁
𝑓 (𝑥𝑖 ) = 𝑓˜𝑛 𝑝𝑛 (𝑥𝑖 ) . (35)
𝑛=0
Depending on the operation one has to perform on a given function, it may be more clever to
work in one space or the other.
√︀ For instance, the square root of a function is very easily given
in the collocation space by 𝑓 (𝑥𝑖 ), whereas the derivative can be computed in the coefficient
space if, and this is generally the case, the derivatives of the basis polynomials are known, by
𝑁
∑︁
𝑓 ′ (𝑥) = 𝑓˜𝑛 𝑝′𝑛 (𝑥).
𝑛=0
on the interval [−1, 1]. 𝑝, 𝑞 and 𝑤 are real-valued functions such that:
The solutions are then the eigenvalues 𝜆𝑖 and the eigenfunctions 𝑢𝑖 (𝑥). The eigenfunctions are
orthogonal with respect to the measure 𝑤:
∫︁ 1
𝑢𝑚 (𝑥) 𝑢𝑛 (𝑥) 𝑤 (𝑥) d𝑥 = 0 for 𝑚 ̸= 𝑛. (37)
−1
Singular Sturm–Liouville problems are particularly important for spectral methods. A Sturm–
Liouville problem is singular if and only if the function 𝑝 vanishes at the boundaries 𝑥 = ±1. One
can show, that if the functions of the spectral basis are chosen to be the solutions of a singular
Sturm–Liouville problem, then the convergence of the function to its interpolant is faster than any
power law of 𝑁 , 𝑁 being the order of the expansion (see Section 5.2 of [57]). One talks about
spectral convergence. Let us be precise in saying that this does not necessarily imply that the
convergence is exponential. Convergence properties are discussed in more detail for Legendre and
Chebyshev polynomials in Section 2.4.4.
Conversely, it can be shown that spectral convergence is not ensured when considering solutions
of regular Sturm–Liouville problems [57].
In what follows, two usual types of solutions of singular Sturm–Liouville problems are consid-
ered: Legendre and Chebyshev polynomials.
Starting from 𝑃0 = 1 and 𝑃1 = 𝑥, the successive polynomials can be computed by the following
recurrence expression:
Among the various properties of Legendre polynomials, one can note that i) 𝑃𝑛 has the same
𝑛
parity as 𝑛. ii) 𝑃𝑛 is of degree 𝑛. iii) 𝑃𝑛 (±1) = (±1) . iv) 𝑃𝑛 has exactly 𝑛 zeros on [−1, 1]. The
first polynomials are shown in Figure 8.
The weights and locations of the collocation points associated with Legendre polynomials de-
pend on the choice of quadrature.
2
∙ Legendre–Gauss: 𝑥𝑖 are the nodes of 𝑃𝑁 +1 and 𝑤𝑖 = ]︀2 .
(1 − 𝑥2𝑖 ) 𝑃𝑁′ +1 (𝑥𝑖 )
[︀
These values have no analytic expression, but they can be computed numerically in an efficient
way.
Some elementary operations can easily be performed on the coefficient space. Let us assume
𝑁
∑︁
that a function 𝑓 is given by its coefficients 𝑎𝑛 so that 𝑓 = 𝑎𝑛 𝑃𝑛 . Then, the coefficients 𝑏𝑛 of
𝑛=0
𝑁
∑︁
𝐻𝑓 = 𝑏𝑛 𝑃𝑛 can be found as a function of 𝑎𝑛 , for various operators 𝐻. For instance,
𝑛=0
0.5
-0.5
-1
-1 -0.5 0 0.5 1
x
Figure 8: First Legendre polynomials, from 𝑃0 to 𝑃5 .
∙ if 𝐻 is multiplication by 𝑥 then:
𝑛 𝑛+1
𝑏𝑛 = 𝑎𝑛−1 + 𝑎𝑛+1 (𝑛 ≥ 1) ; (41)
2𝑛 − 1 2𝑛 + 3
∙ if 𝐻 is the derivative:
𝑁
∑︁
𝑏𝑛 = (2𝑛 + 1) 𝑎𝑝 ; (42)
𝑝=𝑛+1,𝑝+𝑛 odd
These kind of relations enable one to represent the action of 𝐻 as a matrix acting on the vector
of 𝑎𝑛 , the product being the coefficients of 𝐻𝑓 , i.e. the 𝑏𝑛 .
0.5
-0.5
-1
-1 -0.5 0 0.5 1
x
Figure 9: First Chebyshev polynomials, from 𝑇0 to 𝑇5 .
Given that 𝑇0 = 1 and 𝑇1 = 𝑥, the higher-order polynomials can be obtained by making use of the
recurrence
𝑇𝑛+1 (𝑥) = 2𝑥𝑇𝑛 (𝑥) − 𝑇𝑛−1 (𝑥) . (46)
This implies the following simple properties: i) 𝑇𝑛 has the same parity as 𝑛; ii) 𝑇𝑛 is of degree 𝑛;
𝑛
iii) 𝑇𝑛 (±1) = (±1) ; iv) 𝑇𝑛 has exactly 𝑛 zeros on [−1, 1]. The first polynomials are shown in
Figure 9.
Contrary to the Legendre case, both the weights and positions of the collocation points are
given by analytic formulae:
(2𝑖 + 1) 𝜋 𝜋
∙ Chebyshev–Gauss: 𝑥𝑖 = cos and 𝑤𝑖 = .
2𝑁 + 2 𝑁 +1
2𝜋𝑖 𝜋
∙ Chebyshev–Gauss–Radau: 𝑥𝑖 = cos . The weights are 𝑤0 = and 𝑤𝑖 =
2𝑁 + 1 2𝑁 + 1
2𝜋
.
2𝑁 + 1
𝜋𝑖 𝜋 𝜋
∙ Chebyshev–Gauss–Lobatto: 𝑥𝑖 = cos . The weights are 𝑤0 = 𝑤𝑁 = and 𝑤𝑖 = .
𝑁 2𝑁 𝑁
As for the Legendre case, the action of various linear operators 𝐻 can be expressed in the
coefficient space. This means that the coefficients 𝑏𝑛 of 𝐻𝑓 are given as functions of the coefficients
𝑎𝑛 of 𝑓 . For instance,
∙ if 𝐻 is multiplication by 𝑥:
1
𝑏𝑛 = [(1 + 𝛿0 𝑛−1 ) 𝑎𝑛−1 + 𝑎𝑛+1 ] (𝑛 ≥ 1) ; (47)
2
∙ if 𝐻 is the derivative:
𝑁
2 ∑︁
𝑏𝑛 = 𝑝𝑎𝑝 ; (48)
(1 + 𝛿0 𝑛 )
𝑝=𝑛+1,𝑝+𝑛 odd
One of the main advantages of spectral methods is the very fast convergence of the interpolant
𝐼𝑁 𝑓 to the function 𝑓 , at least for smooth enough functions. Let us consider a 𝒞 𝑚 function 𝑓 ; one
can place the following upper bounds on the difference between 𝑓 and its interpolant 𝐼𝑁 𝑓 :
∙ For Legendre:
𝑚 ⃦
𝐶1 ∑︁ ⃦
⃦ (𝑘) ⃦
‖𝐼𝑁 𝑓 − 𝑓 ‖𝐿2 ≤ . (50)
𝑁 𝑚−1/2
⃦𝑓 ⃦
𝐿2
𝑘=0
∙ For Chebyshev:
𝑚
𝐶2 ∑︁ ⃦ ⃦
⃦ (𝑘) ⃦
‖𝐼𝑁 𝑓 − 𝑓 ‖𝐿2 ≤ ⃦ 2 . (51)
𝑁𝑚
𝑤
⃦𝑓
𝐿𝑤
𝑘=0
𝑚 ⃦
𝐶3 ∑︁ ⃦
⃦ (𝑘) ⃦
‖𝐼𝑁 𝑓 − 𝑓 ‖∞ ≤ . (52)
𝑁 𝑚−1/2
⃦𝑓 ⃦
𝐿2𝑤
𝑘=0
The 𝐶𝑖 are positive constants. An interesting limit of the above estimates concerns a 𝒞 ∞
function. One can then see that the difference between 𝑓 and 𝐼𝑁 𝑓 decays faster than any power of
𝑁 . This is spectral convergence. Let us be precise (︁in saying that this does not necessarily imply that
√ )︁
the error decays exponentially (think about exp − 𝑁 , for instance). Exponential convergence
is achieved only for analytic functions, i.e. functions that are locally given by a convergent power
series.
An example of this very fast convergence is shown in Figure 10. The error clearly decays
exponentially, the function being analytic, until it reaches the level of machine precision, 10–14
(one is working in double precision in this particular case). Figure 10 illustrates the fact that, with
spectral methods, very good accuracy can be reached with only a moderate number of coefficients.
If the function is less regular (i.e. not 𝒞 ∞ ), the error only decays as a power law, thus making
the use of spectral method less appealing. It can easily be seen in the worst possible case: that
of a discontinuous function. In this case, the estimates (50-52) do not even ensure convergence.
Figure 11 shows a step function and its interpolant for various values of 𝑁 . One can see that the
maximum difference between the function and its interpolant does not go to zero even when 𝑁 is
increasing. This is known as the Gibbs phenomenon.
Finally, Equation (52) shows that, if 𝑚 > 0, the interpolant converges uniformly to the function.
Continuous functions that do not converge uniformly to their interpolant, whose existence has been
shown by Faber [73] (see Section 2.2), must belong to the 𝒞 0 functions. Indeed, for the case 𝑚 = 0,
Equation (52) does not prove convergence (neither do Equations (50) or (51)).
0
10
-3
10
-6
maxΛ |INf -f|
10
-9
10
-12
10
-15
10
0 5 10 15 20 25 30
N
Figure 10: Maximum difference between 𝑓 = cos3 (𝜋𝑥/2) + (𝑥 + 1)3 /8 and its interpolant 𝐼𝑁 𝑓 , as a
function of 𝑁 .
N=5
1 N=9
N = 17
0.8
0.6
0.4
0.2
-0.2
-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
x
Figure 11: Step function (black curve) and its interpolant, for various values of 𝑁 .
The Fourier transform is known to converge rather rapidly to the function itself, if 𝑓 is peri-
∫︁ 2𝜋
odic. However, the coefficients 𝑎𝑛 and 𝑏𝑛 are given by integrals of the form 𝑓 (𝑥) cos (𝑛𝑥) d𝑥,
0
that cannot easily be computed (as was the case for the projection of a function on orthogonal
polynomials in Section 2.3.1).
The solution to this problem is also very similar to the use of the Gaussian quadratures. Let us
introduce 𝑁 + 1 collocation points 𝑥𝑖 = 2𝜋𝑖/(𝑁 + 1). Then the discrete Fourier coefficients with
respect to those points are:
𝑁
1 ∑︁
𝑎
˜0 = 𝑓 (𝑥𝑘 ) , (54)
𝑁
𝑘=1
𝑁
2 ∑︁
𝑎
˜𝑛 = 𝑓 (𝑥𝑘 ) cos (𝑛𝑥𝑘 ) , (55)
𝑁
𝑘=1
𝑁
˜𝑏𝑛 = 2
∑︁
𝑓 (𝑥𝑘 ) sin (𝑛𝑥𝑘 ) (56)
𝑁
𝑘=1
The approximation made by using discrete coefficients in place of real ones is of the same
nature as the one made when computing coefficients of projection (30) by means of the Gaussian
quadratures. Let us mention that, in the case of a discrete Fourier transform, the first and last
collocation points lie on the boundaries of the interval, as for a Gauss-Lobatto quadrature. As
for the polynomial interpolation, the convergence of 𝐼𝑁 𝑓 to 𝑓 is spectral for all periodic and 𝒞 ∞
functions.
where 𝐿 is a linear second-order differential operator. The problem admits a unique solution once
appropriate boundary conditions are prescribed at 𝑥 = 1 and 𝑥 = −1. Typically, one can specify
i) the value of 𝑢 (Dirichlet-type) ii) the value of its derivative 𝜕𝑥 𝑢 (Neumann-type) iii) a linear
combination of both (Robin-type).
As for the elementary operations presented in Section 2.4.2 and 2.4.3, the action of 𝐿 on 𝑢 can
be expressed by a matrix 𝐿𝑖𝑗 . If the coefficients of 𝑢 with respect to a given basis are the 𝑢
˜𝑖 , then
the coefficients of 𝐿𝑢 are
𝑁
∑︁
𝐿𝑖𝑗 𝑢
˜𝑗 . (59)
𝑗=0
Usually, 𝐿𝑖𝑗 can easily be computed by combining the action of elementary operations like the
second derivative, the first derivative, multiplication or division by 𝑥 (see Sections 2.4.2 and 2.4.3
for some examples).
A function 𝑢 is an admissible solution to the problem if and only if i) it fulfills the boundary
conditions exactly (up to machine accuracy) ii) it makes the residual 𝑅 = 𝐿𝑢 − 𝑆 small. In the
weighted residual method, one considers a set of 𝑁 + 1 test functions {𝜉𝑛 }𝑛=0...𝑁 on [−1, 1]. The
smallness of 𝑅 is enforced by demanding that
(𝑅, 𝜉𝑘 ) = 0, ∀𝑘 ≤ 𝑁. (60)
As 𝑁 increases, the obtained solution gets closer and closer to the real one. Depending on the
choice of the test functions and the way the boundary conditions are enforced, one gets various
solvers. Three classical examples are presented below.
the unknowns being the 𝑢 ˜𝑖 . However, as such, this system does not admit a unique solution, due
to the homogeneous solutions of 𝐿 (i.e. the matrix associated with 𝐿 is not invertible) and one has
to impose boundary conditions. In the tau method, this is done by relaxing the last two equations
(61) (i.e. for 𝑛 = 𝑁 − 1 and 𝑛 = 𝑁 ) and replacing them by the boundary conditions at 𝑥 = −1
and 𝑥 = 1.
The tau method thus ensures that 𝐿𝑢 and 𝑆 have the same coefficients, excepting the last ones.
If the functions are smooth, then their coefficients should decrease in a spectral manner and so
the “forgotten” conditions are less and less stringent as 𝑁 increases, ensuring that the computed
solution converges rapidly to the real one.
N=4 N=8
0.5 0.5
Exact solution Exact solution
Numerical solution (Tau) Numerical solution (Tau)
0.4 0.4
0.3 0.3
0.2 0.2
0.1 0.1
0 0
-1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1
x x
Figure 12: Exact solution (64) of Equation (62) (blue curve) and the numerical solution (red curve)
computed by means of a tau method, for 𝑁 = 4 (left panel) and 𝑁 = 8 (right panel).
Let us note that, even if the collocation method imposes that 𝐿𝑢 and 𝑆 coincide at each
collocation point, the unknowns of the system written in the form (66) are the coefficients 𝑢
˜𝑛 and
N=4 N=8
0.5 0.5
Exact solution Exact solution
Numerical solution (colloc) Numerical solution (colloc)
0.4 0.4
0.3 0.3
0.2 0.2
0.1 0.1
0 0
-1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1
x x
Figure 13: Exact solution (64) of Equation (62) (blue curve) and the numerical solution (red curve)
computed by means of a collocation method, for 𝑁 = 4 (left panel) and 𝑁 = 8 (right panel).
not 𝑢 (𝑥𝑛 ). As for the tau method, system (66) is not invertible and boundary conditions must
be enforced by additional equations. In this case, the relaxed conditions are the two associated
with the outermost points, i.e. 𝑛 = 0 and 𝑛 = 𝑁 , which are replaced by appropriate boundary
conditions to get an invertible system.
Figure 13 shows both the exact and numerical solutions for Equation (62).
More generally, the Galerkin basis relates to the usual ones by means of a transformation matrix
𝑁
∑︁
𝐺𝑖 = 𝑀𝑗𝑖 𝑇𝑗 , ∀𝑖 ≤ 𝑁 − 2. (69)
𝑗=0
Let us mention that the matrix 𝑀 is not square. Indeed, to maintain the same degree of approx-
imation, one can consider only 𝑁 − 1 Galerkin polynomials, due to the two additional conditions
they have to fulfill (see, for instance, Equations (67-68)). One can also note that, in general, the
𝐺𝑖 are not orthogonal polynomials.
The solution 𝑢 is sought in terms of the coefficients 𝑢˜𝐺
𝑖 on the Galerkin basis:
𝑁
∑︁−2
𝑢 (𝑥) = ˜𝐺
𝑢𝑘 𝐺𝑘 (𝑥) . (70)
𝑘=0
N=4 N=8
0.5 0.5
Exact solution Exact solution
Numerical solution (Galerkin) Numerical solution (Galerkin)
0.4 0.4
0.3 0.3
0.2 0.2
0.1 0.1
0 0
-1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1
x x
Figure 14: Exact solution (64) of Equation (62) (blue curve) and the numerical solution (red curve)
computed by means of the Galerkin method, for 𝑁 = 4 (left panel) and 𝑁 = 8 (right panel).
˜𝐺
By making use of Equations (59) and (69) one can express 𝐿𝑢 in terms of 𝑢𝑖 :
𝑁
∑︁−2 𝑁 ∑︁
∑︁ 𝑁
𝐿𝑢 (𝑥) = ˜𝐺
𝑢𝑘 𝑀𝑗𝑘 𝐿𝑖𝑗 𝑇𝑖 (𝑥) . (71)
𝑘=0 𝑖=0 𝑗=0
The test functions used in the Galerkin method are the 𝐺𝑖 themselves, so that the residual
system reads:
(𝐿𝑢, 𝐺𝑛 ) = (𝑆, 𝐺𝑛 ) , ∀𝑛 ≤ 𝑁 − 2, (72)
where the left-hand side is computed by means of Equation (71) and by expressing the 𝐺𝑖 in terms
of the 𝑇𝑖 with Equation (69). Concerning the right-hand side, the source itself is not expanded in
terms of the Galerkin basis, given that it does not fulfill the boundary conditions. Putting all the
pieces together, the Galerkin system reads:
𝑁
∑︁−2 ∑︁ 𝑁
𝑁 ∑︁ 𝑁
∑︁
˜𝐺
𝑢 𝑘 𝑀𝑖𝑛 𝑀𝑗𝑘 𝐿𝑖𝑗 (𝑇𝑖 |𝑇𝑖 ) = 𝑀𝑖𝑛 𝑠˜𝑖 (𝑇𝑖 |𝑇𝑖 ) , ∀𝑛 ≤ 𝑁 − 2. (73)
𝑘=0 𝑖=0 𝑗=0 𝑖=0
The solution obtained by the application of this method to Equation (62) is shown in Figure 14.
10
-2 Tau
Collocation
-4 Galerkin
10 Interpolation
-6
10
Error
-8
10
-10
10
-12
10
-14
10
-16
10 5 10 15 20 25
N
Figure 15: The difference between the exact solution (64) of Equation (62) and its interpolant (black
curve) and between the exact and numerical solutions for i) the tau method (green curve and circle symbols)
ii) the collocation method (blue curve and square symbols) iii) the Galerkin method (red curve and triangle
symbols).
In general, optimality is difficult to check because both 𝑢exact and its interpolant are unknown.
However, for the test problem proposed in Section 2.5.2 this can be done. Figure 15 shows the
maximum relative difference between the exact solution (64) and its interpolant and the various
numerical solutions. All the curves behave in the same manner as 𝑁 increases, indicating that the
three methods previously presented are optimal (at least for this particular case).
would then only be used for matching the solution across the various domains. The algorithm of
Section 2.6.4 is well adapted to such purposes.
In the following, four different multidomain methods are presented to solve an equation of the
type 𝐿𝑢 = 𝑆 on [−1, 1]. 𝐿 is a second-order linear operator and 𝑆 is a given source function.
Appropriate boundary conditions are given at the boundaries 𝑥 = −1 and 𝑥 = 1.
For simplicity the physical space is split into two domains:
𝑁
∑︁
If 𝑥 ≤ 0, a function 𝑢 is described by its interpolant in terms of 𝑥1 : 𝐼𝑁 𝑢 (𝑥) = ˜1𝑖 𝑇𝑖 (𝑥1 (𝑥)).
𝑢
𝑖=0
The same is true for 𝑥 ≥ 0 with respect to the variable 𝑥2 . Such a set-up is obviously appropriate
to deal with problems where discontinuities occur at 𝑥 = 0, that is 𝑥1 = 1 and 𝑥2 = −1.
∙ 2 boundary conditions,
∙ 2 matching conditions,
for a total of 2𝑁 + 2 equations. The unknowns are the coefficients of 𝑢 in both domains (i.e. the
˜1𝑖 and the 𝑢
𝑢 ˜2𝑖 ), that is 2𝑁 + 2 unknowns. The system is well posed and admits a unique solution.
𝐿𝑖𝑗 being the matrix representation of the operator and 𝑥1𝑛 the 𝑛th collocation point in the first
domain. As for the one-domain case, one relaxes the two equations corresponding to the boundaries
of the domain, keeping only 𝑁 − 1 equations. The same is done in the second domain.
Two supplementary equations are enforced to ensure that the boundary conditions are fulfilled.
Finally, the operator 𝐿 being second order, one needs to ensure that the solution and its first
derivative are continuous at the interface 𝑥 = 0. This translates to a set of two additional equations
involving the coefficients in both domains.
So, one considers
∙ 2 boundary conditions,
∙ 2 matching conditions,
for a total of 2𝑁 + 2 equations. The unknowns are the coefficients of 𝑢 in both domains (i.e. the
˜1𝑖 and the 𝑢
𝑢 ˜2𝑖 ), that is 2𝑁 + 2 unknowns. The system is well posed and admits a unique solution.
The test functions are the same as the ones used for the collocation method, i.e. functions being
zero at all but one collocation point, in both domains (𝑑 = 1, 2): 𝜉𝑖 (𝑥𝑑𝑗 ) = 𝛿𝑖𝑗 . By making use of
the Gauss quadratures, the various parts of Equation (79) can be expressed as (𝑑 = 1, 2 indicates
the domain):
∫︁ 𝑁
∑︁ 𝑁 ∑︁
∑︁ 𝑁
𝜉𝑛′ 𝑢′ d𝑥 = 𝜉𝑛′ (𝑥𝑑𝑖 ) 𝑢′ (𝑥𝑑𝑖 ) 𝑤𝑖 = 𝐷𝑖𝑗 𝐷𝑖𝑛 𝑤𝑖 𝑢 (𝑥𝑑𝑗 ) , (80)
𝑖=0 𝑖=0 𝑗=0
∫︁ 𝑁
∑︁ 𝑁
∑︁
𝜉𝑛 (𝐻𝑢) d𝑥 = 𝜉𝑛 (𝑥𝑑𝑖 ) (𝐻𝑢) (𝑥𝑑𝑖 ) 𝑤𝑖 = 𝑤𝑛 𝐻𝑛𝑖 𝑢 (𝑥𝑑𝑖 ) , (81)
𝑖=0 𝑖=0
∫︁ 𝑁
∑︁
𝜉𝑛 𝑆d𝑥 = 𝜉𝑛 (𝑥𝑑𝑖 ) 𝑆 (𝑥𝑑𝑖 ) 𝑤𝑖 = 𝑆 (𝑥𝑑𝑛 ) 𝑤𝑛 , (82)
𝑖=0
where 𝐷𝑖𝑗 (or 𝐻𝑖𝑗 , respectively) represents the action of the derivative (or of 𝐻, respectively) in
the configuration space
𝑁
∑︁
𝑔 ′ (𝑥𝑑𝑘 ) = 𝐷𝑘𝑗 𝑔 (𝑥𝑑𝑗 ) , (83)
𝑗=0
𝑁
∑︁
(𝐻𝑔) (𝑥𝑑𝑘 ) = 𝐻𝑘𝑗 𝑔 (𝑥𝑑𝑗 ) . (84)
𝑗=0
For points strictly inside each domain, the integrated term [𝜉𝑢′ ] of Equation (79) vanishes and
one gets equations of the form:
𝑁 ∑︁
∑︁ 𝑁 𝑁
∑︁
− 𝐷𝑖𝑗 𝐷𝑖𝑛 𝑤𝑖 𝑢 (𝑥𝑑𝑗 ) + 𝑤𝑛 𝐻𝑛𝑖 𝑢 (𝑥𝑑𝑖 ) = 𝑆 (𝑥𝑑𝑛 ) 𝑤𝑛 . (85)
𝑖=0 𝑗=0 𝑖=0
This is a set of 𝑁 − 1 equations for each domains (𝑑 = 1, 2). In the above form, the unknowns are
the 𝑢 (𝑥𝑑𝑖 ), i.e. the solution is sought in the configuration space.
As usual, two additional equations are provided by appropriate boundary conditions at both
ends of the global domain. One also gets an additional condition by matching the solution across
the boundary between the two domains.
The last equation of the system is the matching of the first derivative of the solution. However,
instead of writing it “explicitly”, this is done by making use of the integrated term in Equation (79)
and this is actually the crucial step of the whole method. Applying Equation (79) to the last point
𝑥1𝑁 of the first domain, one gets:
𝑁 ∑︁
∑︁ 𝑁 𝑁
∑︁
𝑢′ (𝑥1 = 1) = 𝐷𝑖𝑗 𝐷𝑖𝑁 𝑤𝑖 𝑢 (𝑥1𝑗 ) − 𝑤𝑁 𝐻𝑁 𝑖 𝑢 (𝑥1𝑖 ) + 𝑆 (𝑥1𝑁 ) 𝑤𝑁 . (86)
𝑖=0 𝑗=0 𝑖=0
The same can be done with the first point of the second domain to get 𝑢′ (𝑥2 = −1), and the last
equation of the system is obtained by demanding that 𝑢′ (𝑥1 = 1) = 𝑢′ (𝑥2 = −1) and relates the
values of 𝑢 in both domains.
Before finishing with the variational method, it may be worthwhile to explain why Legendre
polynomials are used. Suppose one wants to work with Chebyshev polynomials instead. The
1
measure is then 𝑤 (𝑥) = √ . When one integrates the term containing 𝑢′′ by parts, one gets
1 − 𝑥2
∫︁ ∫︁
−𝑢′′ 𝑓 𝑤d𝑥 = [−𝑢′ 𝑓 𝑤] + 𝑢′ 𝑓 ′ 𝑤′ d𝑥. (87)
Because the measure is divergent at the boundaries, it is difficult, if not impossible, to isolate the
term in 𝑢′ . On the other hand, this is precisely the term that is needed to impose the appropriate
matching of the solution.
-4 Tau method
10 Homogeneous
Variational
Collocation method
-8
10
Error
-12
10
-16
10
5 10 15 20 25 30
N
d2 𝑢
Figure 16: Difference between the exact and numerical solutions of the following test problem. +4𝑢 =
d𝑥2
𝑆, with 𝑆 (𝑥 < 0) = 1 and 𝑆 (𝑥 > 0) = 0. The boundary conditions are 𝑢 (𝑥 = −1) = 0 and 𝑢 (𝑥 = 1) = 0.
The black curve and circles denote results from the multidomain tau method, the red curve and squares
from the method based on the homogeneous solutions, the blue curve and diamonds from the variational
one, and the green curve and triangles from the collocation method.
3 Multidimensional Cases
In principle, the generalization to more than one dimension is rather straightforward if one uses the
tensor product. Let us first take an example, with the spectral representation of a scalar function
𝑓 (𝑥, 𝑦) defined on the square (𝑥, 𝑦) ∈ [−1, 1] × [−1, 1] in terms of Chebyshev polynomials. One
simply writes
𝑀 ∑︁
∑︁ 𝑁
𝑓 (𝑥, 𝑦) = 𝑎𝑖𝑗 𝑇𝑖 (𝑥)𝑇𝑗 (𝑦), (88)
𝑖=0 𝑗=0
with 𝑇𝑖 being the Chebyshev polynomial of degree 𝑖. The partial differential operators can also be
generalized as being linear operators acting on the space P𝑀 ⊗P𝑁 . Simple linear partial differential
equations (PDE) can be solved by one of the methods presented in Section 2.5 (Galerkin, tau or
collocation), on this 𝑀 𝑁 -dimensional space. The development (88) can of course be generalized
to any dimension. Some special PDE and spectral basis examples, where the differential equation
decouples for some of the coordinates, will be given in Section 3.2.
∙ Cartesian (rectangular) coordinates are of course the simplest and most straightforward
to implement; the line element reads 𝑑𝑠2 = 𝑑𝑥2 + 𝑑𝑦 2 + 𝑑𝑧 2 . These coordinates are regular
in all space, with vanishing connection, which makes them easy to use, since all differential
operators have simple expressions and the associated triad is also perfectly regular. They
are particularly well adapted to cube-like domains, see for instance [167, 171] and [81] in the
case of toroidal topology.
∙ Circular cylindrical coordinates have a line element 𝑑𝑠2 = 𝑑𝜌2 + 𝜌2 𝑑𝜑2 + 𝑑𝑧 2 and exhibit
a coordinate singularity on the 𝑧-axis (𝜌 = 0). The associated triad being also singular for
𝜌 = 0, regular vector or tensor fields have components that are multivalued (depending on 𝜑)
at any point of the 𝑧-axis. As for the spherical coordinates, this can be handled quite easily
with spectral methods. This coordinate system can be useful for axisymmetric or rotating
systems, see [10].
∙ Spherical (polar) coordinates will be discussed in more detail in Section 3.2. Their line
element reads 𝑑𝑠2 = 𝑑𝑟2 +𝑟2 𝑑𝜃2 +𝑟2 sin2 𝜃 𝑑𝜙2 , showing a coordinate singularity at the origin
(𝑟 = 0) and on the axis for which 𝜃 = 0, 𝜋. They are very useful in numerical relativity for
the numerous sphere-like objects under study (stars, black hole horizons) and have mostly
been implemented for shell-like domains [40, 109, 167, 219] and for spheres including the
origin [44, 109].
∙ Prolate spheroidal coordinates consist of a system of confocal ellipses and hyperbo-
lae, describing an (𝑥, 𝑧)-plane, and an angle 𝜙 giving the (︀position as a rotation with )︀re-
spect to the focal axis [131]. The line element is 𝑑𝑠2 = 𝑎2 sinh2 𝜇 + sin2 𝜈 𝑑𝜇2 + 𝑑𝜈 2 +
)︀ (︀
𝑎2 sinh2 𝜇 sin2 𝜈 𝑑𝜙2 . The foci are situated at 𝑧 = ±𝑎 and represent coordinate singularities
for 𝜇 = 0 and 𝜈 = 0, 𝜋. These coordinates have been used in [8] with black-hole–puncture
data at the foci.
∙ Bispherical coordinates are obtained by the rotation of bipolar coordinates around the
−2 (︀
𝑑𝜂 2 + 𝑑𝜒2 + sin2 𝜒𝑑𝜙2 . As with
)︀
focal axis, with a line element 𝑑𝑠2 = 𝑎2 (cosh 𝜂 − cos 𝜒)
prolate spheroidal coordinates, the foci situated at 𝑧 = ±𝑎 (𝜂 → ±∞, 𝜒 = 0, 𝜋) and more
generally, the focal axis, exhibit coordinate singularities. Still, the surfaces of constant 𝜂 are
spheres situated in the 𝑧 > 0(< 0) region for 𝜂 > 0(< 0), respectively. Thus, these coordinates
are very well adapted for the study of binary systems and in particular for excision treatment
of black hole binaries [6].
3.1.1 Mappings
Choosing a smart set of coordinates is not the end of the story. As for finite elements, one would
like to be able to cover some complicated geometries, like distorted stars, tori, etc. . . or even to be
able to cover the whole space. The reason for this last point is that, in numerical relativity, one
often deals with isolated systems for which boundary conditions are only known at spatial infinity.
A quite simple choice is to perform a mapping from numerical coordinates to physical coordinates,
generalizing the change of coordinates to [−1, 1], when using families of orthonormal polynomials
or to [0, 2𝜋] for Fourier series.
An example of how to map the [−1, 1] × [−1, 1] domain can be taken from Canuto et al. [56],
and is illustrated in Figure 17: once the mappings from the four sides (boundaries) of Ω ^ to the four
sides of Ω are known, one can construct a two-dimensional regular mapping Π, which preserves
orthogonality and simple operators (see Chapter 3.5 of [56]).
The case where the boundaries of the considered domain are not known at the beginning of the
computation can also be treated in a spectral way. In the case where this surface corresponds to
the surface of a neutron star, two approaches have been used. First, in Bonazzola et al. [38], the
Π
Ω Ω
star (and therefore the domain) is supposed to be “star-like”, meaning that there exists a point
from which it is possible to reach any point on the surface by straight lines that are all contained
inside the star. To such a point is associated the origin of a spherical system of coordinates, so
that it is a spherical domain, which is regularly deformed to coincide with the shape of the star.
This is done within an iterative scheme, at every step, once the position of the surface has been
determined. Then, another approach has been developed by Ansorg et al. [10] using cylindrical
coordinates. It is a square in the plane (𝜌, 𝑧), which is mapped onto the domain describing the
interior of the star. This mapping involves an unknown function, which is itself decomposed in
terms of a basis of Chebyshev polynomials, so that its coefficients are part of the global vector of
unknowns (as the density and gravitational field coefficients).
In the case of black-hole–binary systems, Scheel et al. [188] have developed horizon-tracking
coordinates using results from control theory. They define a control parameter as the relative
drift of the black hole position, and they design a feedback control system with the requirement
that the adjustment they make on the coordinates be sufficiently smooth that they do not spoil
the overall Einstein solver. In addition, they use a dual-coordinate approach, so that they can
construct a comoving coordinate map, which tracks both orbital and radial motion of the black
holes and allows them to successfully evolve the binary. The evolutions simulated in [188] are found
to be unstable, when using a single rotating-coordinate frame. We note here as well the work of
Bonazzola et al. [42], where another option is explored: the stroboscopic technique of matching
between an inner rotating domain and an outer inertial one.
This inverse mapping for spherical “shells” has also been used by Kidder and Finn [125], Pfeif-
fer et al. [171, 167], and Ansorg et al. in cylindrical [10] and spheroidal [8] coordinates. Many
more elaborated techniques are discussed in Chapter 17 of Boyd [48], but to our knowledge, none
have been used in numerical relativity yet. Finally, it is important to point out that, in general,
the simple compactification of spatial infinity is not well adapted to solving hyperbolic PDEs and
the above mentioned examples were solving only for elliptic equations (initial data, see Section 5).
For instance, the simple wave equation (127) is not invariant under the mapping (89), as has been
shown, e.g., by Sommerfeld (see [201], Section 23.E). Intuitively, it is easy to see that when com-
pactifying only spatial coordinates for a wave-like equation, the distance between two neighboring
grid points becomes larger than the wavelength, which makes the wave poorly resolved after a
finite time of propagation on the numerical grid. For hyperbolic equations, is is therefore usually
preferable to impose physically and mathematically well-motivated boundary conditions at a finite
radius (see, e.g., Friedrich and Nagy [83], Rinne [179] or Buchman and Sarbach [53]).
Figure 18: Two sets of spherical domains describing a neutron star or black hole binary system. Each
set is surrounded by a compactified domain of the type (89), which is not displayed
A now typical problem in numerical relativity is the study of binary systems (see also Sec-
tions 5.5 and 6.3) for which two sets of spherical shells have been used by Gourgoulhon et al. [100],
as displayed in Figure 18. Different approaches have been proposed by Kidder et al. [128], and used
by Pfeiffer [167] and Scheel et al. [188] where spherical shells and rectangular boxes are combined
together to form a grid adapted to black hole binary study. Even more sophisticated setups to
model fluid flows in complicated tubes can be found in [144].
Multiple domains can thus be used to adapt the numerical grid to the interesting part (manifold)
of the coordinate space; they can be seen as a technique close to the spectral element method [166].
Moreover, it is also a way to increase spatial resolution in some parts of the computational domain
where one expects strong gradients to occur: adding a small domain with many degrees of freedom
z
er
M eϕ
θ r
ez eθ
ey y
Ο
ex
ϕ
Figure 19: Definition of spherical coordinates (𝑟, 𝜃, 𝜙) of a point 𝑀 and associated triad (⃗𝑒𝑟 , ⃗𝑒𝜃 , ⃗𝑒𝜙 ), with
respect to the Cartesian ones.
When the numerical grid does not extend to infinity, e.g., when solving for a hyperbolic PDE,
the boundary defined by 𝑟 = const is a smooth surface, on which boundary conditions are much
easier to impose. Finally, spherical harmonics, which are strongly linked with these coordinates,
can simplify a lot the solution of Poisson-like or wave-like equations. On the other hand, there
are some technical problems linked with this set of coordinates, as detailed hereafter, but spectral
methods can handle them in a very efficient way.
𝜋, and 𝜙 cannot be defined. Among the consequences is the singularity of some usual differential
operators, like, for instance, the Laplace operator
𝜕2 𝜕2 1 𝜕2
(︂ )︂
2 𝜕 1 1 𝜕
Δ= 2 + + + + . (93)
𝜕𝑟 𝑟 𝜕𝑟 𝑟2 𝜕𝜃2 tan 𝜃 𝜕𝜃 sin2 𝜃 𝜕𝜙2
Here, the divisions by 𝑟 at the center, or by sin 𝜃 on the 𝑧-axis look singular. On the other hand,
the Laplace operator, expressed in Cartesian coordinates, is a perfectly regular one and, if it is
applied to a regular function, should give a well-defined result. The same should be true if one uses
spherical coordinates: the operator (93) applied to a regular function should yield a regular result.
This means that a regular function of spherical coordinates must have a particular behavior at the
origin and on the axis, so that the divisions by 𝑟 or sin 𝜃 appearing in regular operators are always
well defined. If one considers an analytic function in (regular) Cartesian coordinates 𝑓 (𝑥, 𝑦, 𝑧), it
can be expanded as a series of powers of 𝑥, 𝑦 and 𝑧, near the origin
∑︁
𝑓 (𝑥, 𝑦, 𝑧) = 𝑎𝑛𝑝𝑞 𝑥𝑛 𝑦 𝑝 𝑧 𝑞 . (94)
𝑛,𝑝,𝑞
With some transformations of trigonometric functions in 𝜃, one can express the angular part in
terms of spherical harmonics 𝑌ℓ𝑚 (𝜃, 𝜙), see Section 3.2.2, with ℓ = |𝑚| + 2𝑝 + 𝑞 and obtain the two
following regularity conditions, for a given couple (ℓ, 𝑚):
In addition, the 𝑟-dependence translates into a Taylor series near the origin, with the same parity
as ℓ . More details in the case of polar (2D) coordinates are given in Chapter 18 of Boyd [48].
If we go back to the evaluation of the Laplace operator (93), it is now clear that the result is
always regular, at least for ℓ ≥ 2 and 𝑚 ≥ 2. We detail the cases of ℓ = 0 and ℓ = 1, using the
fact that spherical harmonics are eigenfunctions of the angular part of the Laplace operator (see
Equation (103)). For ℓ = 0 the scalar field 𝑓 is reduced to a Taylor series of only even powers of
𝑟, therefore the first derivative contains only odd powers and can be safely divided by 𝑟. Once
decomposed on spherical harmonics, the angular part of the Laplace operator (93) acting on the
ℓ = 1 component reads −2/𝑟2 , which is a problem only for the first term of the Taylor expansion.
On the other hand, this term cancels with the 2𝑟 𝜕𝑟 𝜕
, providing a regular result. This is the general
behavior of many differential operators in spherical coordinates: when applied to a regular field,
the full operator gives a regular result, but single terms of this operator may give singular results
when computed separately, the singularities canceling between two different terms.
As this may seem an argument against the use of spherical coordinates, let us stress that
spectral methods are very powerful in evaluating such operators, keeping everything finite. As an
example, we use Chebyshev polynomials in 𝜉 for the expansion of the field 𝑓 (𝑟 = 𝛼𝜉), 𝛼 being a
positive constant. From the Chebyshev polynomial recurrence relation (46), one has
where ℓ ≥ 0 and |𝑚| ≤ ℓ. 𝑃ℓ𝑚 (cos 𝜃) are the associated Legendre functions defined by
Since the harmonics are regular, they automatically take care of the coordinate singularity on the
𝑧-axis. Then, they are eigenfunctions of the angular part of the Laplace operator (noted here as
Δ𝜃𝜙 ):
very easy to solve (see Section 1.3). If the source 𝜎 and the unknown 𝜑 are decomposed into
spherical harmonics, the equation transforms into a set of ordinary differential equations for the
coefficients (see also [109]):
37]. Nevertheless, there are systems in general relativity in which spherical components of tensors
can be useful:
∙ When doing excision for the simulation of black holes, the boundary conditions on the excised
sphere for elliptic equations (initial data) may be better formulated in terms of spherical
components for the shift or the three-metric [62, 104, 123]. In particular, the component
that is normal to the excised surface is easily identified with the radial component.
∙ Still, in the 3+1 approach, the extraction of gravitational radiation in the wave zone is made
easier if the perturbation to the metric is expressed in spherical components, because the
transverse part is then straightforward to obtain [218].
Problems arise because of the singular nature of the basis itself, in addition to the spherical
coordinate singularities. The consequences are first that each component is a multivalued function
at the origin 𝑟 = 0 or on the 𝑧-axis, and then that components of a given tensor are not independent
from one another, meaning that one cannot, in general, specify each component independently or
set it to zero, keeping the tensor field regular. As an example, we consider the gradient 𝑉 𝑖 = ∇𝑖 𝜑 of
the scalar field 𝜑 = 𝑥, where 𝑥 is the usual first Cartesian coordinate field. This gradient expressed
in Cartesian components is a regular vector field 𝑉 𝑥 = 1, 𝑉 𝑦 = 0, 𝑉 𝑧 = 0. The spherical
components of V read
𝑉 𝑟 = sin 𝜃 cos 𝜙,
𝑉 𝜃 = cos 𝜃 cos 𝜙,
𝑉 𝜙 = − sin 𝜙, (106)
which are all multidefined at the origin, and the last two on the 𝑧-axis. In addition, if 𝑉 𝜃 is set
to zero, one sees that the resulting vector field is no longer regular: for example the square of its
norm is multidefined, which is not a good property for a scalar field. As for the singularities of
spherical coordinates, these difficulties can be properly handled with spectral methods, provided
that the decomposition bases are carefully chosen.
The other drawback of spherical coordinates is that the usual partial differential operators
mix the components. This is due to the nonvanishing connection coefficients associated with the
spherical flat metric [37]. For example, the vector Laplace operator (∇𝑗 ∇𝑗 𝑉 𝑖 ) reads
𝜕2𝑉 𝑟 2 𝜕𝑉 𝑟 𝜕𝑉 𝜃 𝑉𝜃 2 𝜕𝑉 𝜙
(︂ )︂
1 𝑟 𝑟
+ + 2 Δ𝜃𝜙 𝑉 − 2𝑉 − 2 −2 − (107)
𝜕𝑟2 𝑟 𝜕𝑟 𝑟 𝜕𝜃 tan 𝜃 sin 𝜃 𝜕𝜙
𝜕2𝑉 𝜃 2 𝜕𝑉 𝜃 𝜕𝑉 𝑟 𝑉𝜃 cos 𝜃 𝜕𝑉 𝜙
(︂ )︂
1 𝜃
+ + Δ 𝜃𝜙 𝑉 + 2 − − 2 (108)
𝜕𝑟2 𝑟 𝜕𝑟 𝑟2 𝜕𝜃 sin2 𝜃 sin2 𝜃 𝜕𝜙
𝜕2𝑉 𝜙 2 𝜕𝑉 𝜙 2 𝜕𝑉 𝑟 cos 𝜃 𝜕𝑉 𝜃 𝑉𝜙
(︂ )︂
1 𝜙
+ + Δ 𝜃𝜙 𝑉 + + 2 − , (109)
𝜕𝑟2 𝑟 𝜕𝑟 𝑟2 sin 𝜃 𝜕𝜙 sin2 𝜃 𝜕𝜙 sin2 𝜃
with Δ𝜃𝜙 defined in Equation (103). In particular, the 𝑟-component (107) of the operator involves
the other two components. This can make the resolution of a vector Poisson equation, which nat-
urally arises in the initial data problem [61] of numerical relativity, technically more complicated,
and the technique using scalar spherical harmonics (Section 3.2.2) is no longer valid. One possibil-
ity can be to use vector, and more generally tensor [146, 239, 218, 51], spherical harmonics as the
decomposition basis. Another technique might be to build from the spherical components regular
scalar fields, which can have a similar physical relevance to the problem. In the vector case, one
can think of the following expressions
Θ = ∇𝑖 𝑉 𝑖 , 𝜒 = 𝑟𝑖 𝑉 𝑖 , 𝜇 = 𝑟𝑖 𝜖𝑖𝑗𝑘 ∇𝑗 𝑉 𝑘 , (110)
where r = 𝑟e𝑟 denotes the position vector and 𝜖𝑖𝑗𝑘 the third-rank fully-antisymmetric tensor.
These scalars are the divergence, 𝑟-component and curl of the vector field. The reader can verify
that a Poisson equation for 𝑉 𝑖 transforms into three equations for these scalars, expandable in
terms of scalar spherical harmonics. The reason that these fields may be more interesting than
Cartesian components is that they can have more physical or geometric meaning.
The four-dimensional flat Laplace operator appearing in constraint equations [199] reads
𝜕 2 𝜑 3 𝜕𝜑 1 𝜕2𝜑
(︂ )︂
2 𝜕𝜑 1
Δ4 𝜑 = + + 2 + + Δ𝜃𝜙 𝜑 , (112)
𝜕𝑟2 𝑟 𝜕𝑟 𝑟 𝜕𝜉 2 tan 𝜉 𝜕𝜉 sin2 𝜉
where Δ𝜃𝜙 is the two-dimensional angular Laplace operator (103). As in the three-dimensional
case, it is convenient to use the eigenfunctions of the angular part, which are here
with 𝑘, ℓ, 𝑚 integers such that |𝑚| ≤ ℓ ≤ 𝑘. 𝑃ℓ𝑚 (𝑥) are the associated Legendre functions defined
by Equation (100). 𝐺ℓ𝑘 (𝑥) are the associated Gegenbauer functions
(see Section 2.4.1). The 𝐺𝑘 (𝑥) fulfill recurrence relations that make them easy to implement as a
spectral decomposition basis, like the Legendre polynomials. These eigenfunctions are associated
with the eigenvalues −𝑘(𝑘 + 2):
Δ4 𝐺ℓ𝑘 (cos 𝜉)𝑃ℓ𝑚 (cos 𝜃)𝑒𝑖𝑚𝜙 = −𝑘(𝑘 + 2)𝐺ℓ𝑘 (cos 𝜉)𝑃ℓ𝑚 (cos 𝜃)𝑒𝑖𝑚𝜙 .
(︀ )︀
(115)
So, as in 3+1 dimensions, after decomposing in such a basis, the Poisson equation turns into a
collection of ODEs in the coordinate 𝑟. This type of construction might be generalized to even
higher dimensions, with a choice of the appropriate type of Jacobi polynomials for every new
introduced angular coordinate.
4 Time-Dependent Problems
From a relativistic point of view, the time coordinate could be treated in the same way as spatial
coordinates and one should be able to achieve spectral accuracy for the time representation of a
spacetime function 𝑓 (𝑡, 𝑥, 𝑦, 𝑧) and its derivatives. Unfortunately, this does not seem to be the
case and we are neither aware of any efficient algorithm dealing with the time coordinate, nor of
any published successful code solving any of the PDEs coming from Einstein’s equations, with the
recent exception of the 1+1 dimensional study by Hennig and Ansorg [113]. Why is time playing
such a special role? It is not easy to find in the literature on spectral methods a complete and
comprehensive study. A first standard explanation is the difficulty, in general, of predicting the
exact time interval on which one wants to study the time evolution. In addition, time discretization
errors in both finite difference techniques and spectral methods are typically much smaller than
spatial ones. Finally, one must keep in mind that, contrary to finite difference techniques, spectral
methods store all global information about a function over the whole time interval. Therefore,
one reason may be that there are strong memory and CPU limitations to fully three-dimensional
simulations; it is already very CPU and memory consuming to describe a complete field depending
on 3+1 coordinates, even with fewer degrees of freedom, as is the case for spectral methods. But
the strongest limitation is the fact that, in the full 3+1 dimensional case, the matrix representing
a differential operator would be very big; it would therefore be very time consuming to invert it in
a general case, even with iterative methods.
More details on the standard, finite-difference techniques for time discretization are given in
Section 4.1. Due to the technical complexity of a general stability analysis, we restrict the discussion
of this section to the eigenvalue stability (Section 4.1) with the following approach: the eigenvalues
of spatial operator matrices must fall within the stability region of the time-marching scheme.
Although this condition is only a necessary one and, in general, is not sufficient, it provides very
useful guidelines for selecting time-integration schemes. A discussion of the imposition of boundary
conditions in time-dependent problems is given in Section 4.2. Section 4.3 then details the stability
analysis of spatial discretization schemes, with the examples of heat and advection equations, before
the details of a fully-discrete analysis are given for a simple case (Section 4.4).
In practice, to integrate time-dependent problems one can use spectral methods to calculate spatial
derivatives and standard finite-difference schemes to advance in time.
which is first order and for which, as for any explicit schemes, the timestep is limited by the CFL
condition. The imposition of boundary conditions is discussed in Section 4.2. With an implicit
𝐽+1
scheme one must solve for a boundary value problem in term of 𝑈𝑁 at each timestep: it can be
performed in the same way as for the solution of the elliptic equation (62) presented in Section 2.5.2.
The simplest example is the backward Euler method :
𝐽+1 𝐽 𝐽+1
𝑈𝑁 = 𝑈𝑁 + Δ𝑡𝐿𝑁 𝑈𝑁 , (119)
𝐽+1
which can be re-written as an equation for the unknown 𝑈𝑁 :
𝐽+1 𝐽
(𝐼 + Δ𝑡𝐿𝑁 ) 𝑈𝑁 = 𝑈𝑁 ,
where 𝐼 is the identity operator. Both schemes have different stability properties, which can be
analyzed as follows. Assuming that 𝐿𝑁 can be diagonalized in the sense of the definition given in
(4.1.3), the stability study can be reduced to the study of the collection of scalar ODE problems
𝜕𝑈𝑁
= 𝜆𝑖 𝑈𝑁 , (120)
𝜕𝑡
where 𝜆𝑖 is any of the eigenvalues of 𝐿𝑁 in the sense of Equation (124).
4.1.2 Stability
The basic definition of stability for an ODE integration scheme is that, if the timestep is lower
𝐽
than some threshold, then ‖𝑈𝑁 ‖ ≤ 𝐴𝑒𝐾𝐽Δ𝑡 , with constants 𝐴 and 𝐾 independent of the timestep.
This is perhaps not the most appropriate definition, since in practice one often deals with bounded
functions and an exponential growth in time would not be acceptable. Therefore, an integration
𝐽
scheme is said to be absolutely stable (or asymptotically stable), if ‖𝑈𝑁 ‖ remains bounded, ∀𝐽 ≥ 0.
This property depends on a particular value of the product 𝜆𝑖 × Δ𝑡. For each time integration
scheme, the region of absolute stability is the set of the complex plane containing all the 𝜆𝑖 Δ𝑡 for
which the scheme is absolutely stable.
Finally, a scheme is said to be 𝐴-stable if its region of absolute stability contains the half complex
plane of numbers with negative real part. It is clear that no explicit scheme can be 𝐴-stable due to
0.5 AB1
AB2
AB3
AB4
Imaginary part
0
-2 -1.5 -1 -0.5 0 0.5 1
-0.5
-1
Real part
Figure 20: Regions of absolute stability for the Adams–Bashforth integration schemes of order one to
four.
the CFL condition. It has been shown by Dahlquist [66] that there is no linear multistep method
of order higher than two, which is 𝐴-stable. Thus implicit methods are also limited in timestep
size, if more than second-order accurate. In addition, Dahlquist [66] shows that the most accurate
second-order 𝐴-stable scheme is the trapezoidal one (also called Crank–Nicolson, or second-order
Adams–Moulton scheme)
𝐽+1 𝐽 Δ𝑡 (︀ 𝐽+1 𝐽
)︀
𝑈𝑁 = 𝑈𝑁 + 𝐿𝑁 𝑈𝑁 + 𝐿𝑁 𝑈𝑁 . (121)
2
Figures 20 and 21 display the absolute stability regions for the Adams–Bashforth and Runge–
Kutta families of explicit schemes (see, for instance, [56]). For a given type of spatial linear
operator, the requirement on the timestep usually comes from the largest (in modulus) eigenvalue
of the operator. For example, in the case of the advection equation on [−1, 1], with a Dirichlet
boundary condition,
𝜕𝑢
𝐿𝑢 = ,
𝜕𝑥
∀𝑡, 𝑢(1, 𝑡) = 0, (122)
and using a Chebyshev-tau method, one can see that the largest eigenvalue of 𝐿𝑁 grows in modulus
as 𝑁 2 . Therefore, for any of the schemes considered in Figures 20 and 21, the timestep has a
restriction of the type
Δ𝑡 . 𝑂(𝑁 −2 ), (123)
which can be related to the usual CFL condition by the fact that the minimal distance between
two points of a (𝑁 -point) Chebyshev grid decreases like 𝑂(𝑁 −2 ). Due to the above mentioned
Second Dahlquist barrier [66], implicit time marching schemes of order higher than two also have
such a limitation.
RK2
RK3
RK4
2 RK5
Imaginary part
0
-4 -3 -2 -1 0 1 2 3 4
-2
-4
Real part
Figure 21: Regions of absolute stability for the Runge–Kutta integration schemes of order two to five.
Note that the size of the region increases with order.
As an example, let us consider the case of the advection equation (first-order spatial derivative)
with a Dirichlet boundary condition, solved with the Chebyshev-tau method (122). Because of
the definition of the problem (124), there are 𝑁 − 1 “eigenvalues”, which can be computed, after
a small transformation, using any standard linear algebra package. For instance, it is possible,
making use of the boundary condition, to express the last coefficient as a combination of the other
ones
𝑁 −1
∑︁
𝑐𝑁 = − 𝑐𝑗 . (125)
𝑗=1
One is thus left with the usual eigenvalue problem for an (𝑁 − 1) × (𝑁 − 1) matrix. Results are
displayed in Figure 22 for three values of 𝑁 . Real parts are all negative: the eigenvalue that is not
displayed lies on the negative part of the real axis and is much larger in modulus (it is growing as
𝑂(𝑁 2 )) than the 𝑁 − 1 others.
This way of determining the spectrum can be, of course, generalized to any linear spatial
operator, for any spectral basis, as well as to the collocation and Galerkin methods. Intuitively
from CFL-type limitations, one can see that in the case of the heat equation (𝐿𝑢 = 𝜕 2 𝑢/𝜕𝑥2 ),
explicit time-integration schemes (or any scheme that is not 𝐴-stable) will have a severe timestep
200
N=17
N=33
N=65
100
Imaginary part
-100
-200
Real part
Figure 22: Eigenvalues of the first derivative-tau operator (124) for Chebyshev polynomials. The largest
(in modulus) eigenvalue is not displayed; this one is real, negative and goes as 𝑂(𝑁 2 ).
for both a Chebyshev or Legendre decomposition basis. Finally, one can decompose a higher-order-
in-time PDE into a first-order system and then use one of the above proposed schemes. In the
particular case of the wave equation,
𝜕2𝑢 𝜕2𝑢
= , (127)
𝜕𝑡2 𝜕𝑥2
it is possible to write a second-order Crank-Nicolson scheme directly [157]:
(︃ )︃
𝐽+1 𝐽−1
𝐽+1 𝐽 𝐽−1 Δ𝑡2 𝜕 2 𝑈𝑁 𝜕 2 𝑈𝑁
𝑈𝑁 = 2𝑈𝑁 − 𝑈𝑁 + + . (128)
2 𝜕𝑥2 𝜕𝑥2
Since this scheme is 𝐴-stable, there is no limitation on the timestep Δ𝑡, but for explicit or higher-
order schemes this limitation would be Δ𝑡 . 𝑂(𝑁 −2 ), as for the advection equation. The solution
of such an implicit scheme is obtained as that of a boundary value problem at each timestep.
It is sometimes possible to use a combination of implicit and explicit schemes to loosen a timestep
restriction of the type (123). Let us consider, as an example, the advection equation with noncon-
stant velocity on [−1, 1],
𝜕𝑢 𝜕𝑢
= 𝑣(𝑥) , (129)
𝜕𝑡 𝜕𝑥
with the relevant boundary conditions, which shall in general depend on the sign of 𝑣(𝑥). If, on
the one hand, the stability condition for explicit time schemes (123) is too strong, and on the
other hand an implicit scheme is too lengthy to implement or to use (because of the nonconstant
coefficient 𝑣(𝑥)), then it is interesting to consider the semi-implicit two-step method (see also [94])
𝐽+1/2 Δ𝑡 − 𝐽+1/2 Δ𝑡 (︀
𝐽
𝐿𝑁 − 𝐿−
)︀ 𝐽
𝑈𝑁 − 𝐿𝑁 𝑈𝑁 = 𝑈𝑁 + 𝑁 𝑈𝑁 ,
2 2
𝐽+1 Δ𝑡 + 𝐽+1 𝐽+1/2 Δ𝑡 (︀ )︀ 𝐽+1/2
𝑈𝑁 − 𝐿𝑁 𝑈𝑁 = 𝑈𝑁 + 𝐿𝑁 − 𝐿+𝑁 𝑈𝑁 , (130)
2 2
−
where 𝐿+ 𝑁 and 𝐿𝑁 are respectively the spectral approximations to the constant operators −𝑣(1)𝜕/𝜕𝑥
and −𝑣(−1)𝜕/𝜕𝑥, together with the relevant boundary conditions (if any). This scheme is abso-
lutely stable if
1
Δ𝑡 . . (131)
𝑁 max |𝑣(𝑥)|
With this type of scheme, the propagation of the wave at the boundary of the interval is treated
implicitly, whereas the scheme is still explicit in the interior. The implementation of the implicit
part, for which one needs to solve a boundary-value problem, is much easier than for the initial
operator (129) because of the presence of only constant-coefficient operators. This technique is
quite helpful in the case of more severe timestep restrictions (126), for example for a variable
coefficient heat equation.
where the value at the boundary (𝑥 = 1) is directly set to be the boundary condition.
𝐽
In the tau method, the vector 𝑈𝑁 (︀ is composed
)︀ of the 𝑁 + 1 coefficients {𝑐𝑖 (𝐽 × Δ𝑡)}𝑖=0...𝑁
𝐽 𝐽
at the 𝐽-th timestep. If we denote by 𝐿𝑁 𝑈𝑁 𝑖
the 𝑖-th coefficient of 𝐿𝑁 applied to 𝑈𝑁 , then the
vector of coefficients {𝑐𝑖 }𝑖=0...𝑁 is advanced in time through the system:
𝐽
(︀ )︀
∀𝑖 = 0 . . . 𝑁 − 1, 𝑐𝑖 ((𝐽 + 1) × Δ𝑡) = 𝑐𝑖 (𝐽 × Δ𝑡) + Δ𝑡 𝐿𝑁 𝑈𝑁 𝑖
(134)
𝑁
∑︁−1
𝑐𝑁 ((𝐽 + 1) × Δ𝑡) = 𝑏 ((𝐽 + 1)Δ𝑡) − 𝑐𝑘 ,
𝑘=0
the last equality ensures the boundary condition in the coefficient space.
d𝑢
= sin(𝑥 − 1), and 𝑢(1) = 0, (135)
d𝑥
where 𝑢(𝑥) is the unknown function. Using a standard Chebyshev relation (161)collocation method
(see Section 2.5.3), we look for an approximate solution 𝑢𝑁 as a polynomial of degree 𝑁 verifying
d𝑢𝑁
∀𝑖 = 0 . . . 𝑁 − 1, (𝑥𝑖 ) = sin(𝑥𝑖 − 1),
d𝑥
d𝑢𝑁
(𝑥𝑁 = 1) = 0,
d𝑥
where {𝑥𝑖 }𝑖=0...𝑁 are the Chebyshev–Gauss–Lobatto collocation points.
N=8
3e-07
2.5e-07
2e-07
error (max)
1.5e-07
1e-07
5e-08
0
10 100 1000
τ
Figure 23: Behavior of the error in the solution of the differential equation (135), as a function of the
parameter 𝜏 entering the numerical scheme (136).
We now adopt another procedure that takes into account the differential equation at the bound-
ary as well as the boundary condition, with 𝑢𝑁 verifying (remember that 𝑥𝑁 = 1):
d𝑢𝑁
∀𝑖 = 0 . . . 𝑁 − 1, (𝑥𝑖 ) = sin(𝑥𝑖 − 1), (136)
d𝑥
d𝑢𝑁
(𝑥𝑁 ) − 𝜏 𝑢𝑁 (𝑥𝑁 ) = sin(𝑥𝑁 − 1),
d𝑥
where 𝜏 > 0 is a constant; one notices when taking the limit 𝜏 → +∞, that both systems
become equivalent. The discrepancy between the numerical and analytical solutions is displayed
in Figure 23, as a function of that parameter 𝜏 , when using 𝑁 = 8. It is clear from that figure that
there exists a finite value of 𝜏 (𝜏min ≃ 70) for which the error is minimal and, in particular, lower
than the error obtained by the standard technique. Numerical evidence indicates that 𝜏min ∼ 𝑁 2 .
This is a simple example of weakly imposed boundary conditions, with a penalty term added to the
system. The idea of imposing boundary conditions up to the order of the numerical scheme was
first proposed by Funaro and Gottlieb [85] and can be efficiently used for time-dependent problems,
as illustrated by the following example. For a more detailed description, we refer the interested
reader to the review article by Hesthaven [115].
Let us consider the linear advection equation
𝜕𝑢 𝜕𝑢
∀𝑥 ∈ [−1, 1], ∀𝑡 ≥ 0, = (137)
𝜕𝑡 𝜕𝑥
∀𝑡 ≥ 0, 𝑢(1, 𝑡) = 𝑓 (𝑡), (138)
where 𝑓 (𝑡) is a given function. We look for a Legendre collocation method to obtain a solution, and
define the polynomial 𝑄− (𝑥), which vanishes on the Legendre–Gauss–Lobatto grid points, except
at the boundary 𝑥 = 1:
(1 + 𝑥)𝑃𝑁′ (𝑥)
𝑄− (𝑥) = .
2𝑃𝑁′ (1)
Thus, the Legendre collocation penalty method uniquely defines a polynomial 𝑢𝑁 (𝑥, 𝑡) through its
values at Legendre–Gauss–Lobatto collocation points {𝑥𝑖 }𝑖=0...𝑁
⃒ ⃒
𝜕𝑢𝑁 ⃒⃒ 𝜕𝑢𝑁 ⃒⃒
∀𝑖 = 0 . . . 𝑁, = − 𝜏 𝑄− (𝑥𝑖 ) (𝑢𝑁 (1, 𝑡) − 𝑓 (𝑡)) , (139)
𝜕𝑡 ⃒𝑥=𝑥𝑖 𝜕𝑥 ⃒𝑥=𝑥𝑖
where 𝜏 is a free parameter as in Equation (136). For all the grid points, except the boundary one,
this is the same as the standard Legendre collocation method (∀𝑖 = 0 . . . 𝑁 − 1, 𝑄− (𝑥𝑖 ) = 0). At
the boundary point 𝑥 = 𝑥𝑁 = 1, one has a linear combination of the advection equation and the
boundary condition. Contrary to the case of the simple integration (136), the parameter 𝜏 here
cannot be too small: in the limit 𝜏 → 0, the problem is ill posed and the numerical solution diverges.
On the other hand, we still recover the standard (strong) imposition of boundary conditions when
𝜏 → +∞. With the requirement that the approximation be asymptotically stable, we get for the
discrete energy estimate (see the details of this technique in Section 4.3.2) the requirement
𝑁 ⃒
1 d ∑︁ 𝜕𝑢𝑁 ⃒⃒
‖𝑢𝑁 (𝑡)‖2 = 𝑢𝑁 (𝑥𝑖 , 𝑡) 𝑤𝑖 − 𝜏 𝑢2𝑁 (𝑡, 𝑥𝑁 )𝑤𝑁 ≤ 0.
2 d𝑡 𝑖=0
𝜕𝑥 ⃒
𝑥=𝑥𝑖
Using the property of Gauss–Lobatto quadrature rule (with the Legendre–Gauss–Lobatto weights
𝑤𝑖 ), and after an integration by parts, the stability is obtained if
1 𝑁 (𝑁 + 1)
𝜏≥ ≥ . (140)
2𝑤𝑁 4
It is also possible to treat more complex boundary conditions, as described in Hesthaven and
Gottlieb [116] in the case of Robin-type boundary conditions (see Section 2.5.1 for a definition).
Specific conditions for the penalty coefficient 𝜏 are derived, but the technique is the same: for each
boundary, a penalty term is added, which is proportional to the error on the boundary condition
at the considered time. Thus, nonlinear boundary operators can also be incorporated easily (see,
e.g., the case of the Burgers equation in [115]). The generalization to multidomain solutions is
straightforward: each domain is considered as an isolated one, which requires boundary conditions
at every timestep. The condition is imposed through the penalty term containing the difference
between the junction conditions. This approach has very strong links with the variational method
presented in Section 2.6.5 in the case of time-independent problems. A more detailed discussion
of the weak imposition of boundary conditions is given in Canuto et al. (Section 3.7 of [57] and
Section 5.3 of [58] for multidomain methods).
∙ stability: with the formal notations of Equation (117), an approximation to the PDE (116)
is stable if
‖𝑒𝐿𝑁 𝑡 𝑣‖𝐿2𝑤
∀𝑁, ‖𝑒𝐿𝑁 𝑡 ‖ = sup ≤ 𝐶(𝑡), (143)
𝑣 ‖𝑣‖𝐿2𝑤
where 𝐶(𝑡) is independent of 𝑁 and bounded for 𝑡 ∈ [0, 𝑇 ].
and obtain, after integration, (the dependence on the space coordinate 𝑥 is skipped)
∫︁ 𝑡
𝑢(𝑡) − 𝑢𝑁 (𝑡) = 𝑒𝐿𝑁 𝑡 [𝑢(0) − 𝑢𝑁 (0)] + 𝑒𝐿𝑁 (𝑡−𝑠) [𝐿𝑢(𝑠) − 𝐿𝑁 𝑢(𝑠)] d𝑠. (145)
0
Using the stability property (143), the norm (𝐿2𝑤 ) of this equation implies
∫︁ 𝑡
‖𝑢(𝑡) − 𝑢𝑁 (𝑡)‖ ≤ 𝐶(𝑡)‖𝑢(0) − 𝑢𝑁 (0)‖ + 𝐶(𝑡 − 𝑠)‖𝐿𝑢(𝑠) − 𝐿𝑁 𝑢(𝑠)‖d𝑠. (146)
0
Since the spatial approximation scheme is consistent and 𝐶(𝑡) is a bounded function independent
of 𝑁 , for a given 𝑡 ∈ [0, 𝑇 ] the left-hand side goes to zero as 𝑁 → ∞, which proves the convergence.
Conversely, to show that convergence implies stability, we use the triangle inequality to get
0 ≤ ⃒⃦𝑒𝐿𝑁 𝑡 𝑢⃦ − ⃦𝑒𝐿𝑡 𝑢⃦⃒ ≤ ⃦𝑒𝐿𝑁 𝑡 𝑢 − 𝑒𝐿𝑡 𝑢⃦ → 0.
⃒⃦ ⃦ ⃦ ⃦⃒ ⃦ ⃦
From the well-posedness ‖𝑒𝐿𝑡 𝑢‖ is bounded and therefore ‖𝑒𝐿𝑁 𝑡 𝑢‖ is bounded as well, independent
of 𝑁 .
The simplest stability criterion is the von Neumann stability condition: if we define the adjoint
𝐿* of the operator 𝐿, using the inner product, with weight 𝑤 of the Hilbert space
∀(𝑢, 𝑣) ∈ ℋ, (𝑢, 𝐿𝑣)𝑤 = (𝐿* 𝑢, 𝑣)𝑤 ,
then the matrix representation 𝐿*𝑁 of 𝐿* is also the adjoint of the matrix representation of 𝐿𝑁 .
The operator 𝐿𝑁 is said to be normal if it commutes with its adjoint 𝐿*𝑁 . The von Neumann
stability condition states that, for normal operators, if there exists a constant 𝐾 independent of
𝑁 , such that
∀𝑖, 1 ≤ 𝑖 ≤ 𝑁, Re(𝜆𝑖 ) < 𝐾, (147)
with (𝜆𝑖 ) being the eigenvalues of the matrix 𝐿𝑁 , then the scheme is stable. This condition pro-
vides an operational technique for checking the stability of normal approximations. Unfortunately,
spectral approximations using orthogonal polynomials have, in general, strongly non-normal ma-
trices 𝐿𝑁 and therefore, the von Neumann condition cannot be applied. Some exceptions include
Fourier-based spectral approximations for periodic problems.
As an illustration, we now consider a Galerkin method applied to the solution of Equation (116),
in which the operator 𝐿 is semibounded, following the definition (148). The discrete solution 𝑢𝑁
is such that the residual (60) estimated on the approximate solution 𝑢𝑁 itself verifies
(︂ )︂
𝜕𝑢𝑁
− 𝐿𝑢𝑁 , 𝑢𝑁 = 0. (153)
𝜕𝑡 𝑤
which gives stability and therefore convergence, provided that the approximation is consistent
(thanks to the Lax–Richtmyer theorem).
𝜕𝑢 𝜕2𝑢
∀𝑘 = 1 . . . 𝑁 − 1, (𝑥𝑘 , 𝑡) − (𝑥𝑘 , 𝑡) = 0, (159)
𝜕𝑡 𝜕𝑥2
which are time ODEs (discussed in Section 4.1) with the initial conditions
∀𝑘 = 0 . . . 𝑁, 𝑢𝑁 (𝑥𝑘 , 0) = 𝑢0 (𝑥𝑘 ). (160)
We will now discuss the stability of such a scheme, with the computation of the energy bound to
the solution. Multiplying the 𝑘-th equation of the system (159) by 𝑢𝑁 (𝑥𝑘 , 𝑡)𝑤𝑘 , where {𝑤𝑘 }𝑘=0...𝑁
are the discrete weights of the Chebyshev–Gauss–Lobatto quadrature (Section 2.4.3), and summing
over 𝑘, one gets:
𝑁 ∑︁ 𝜕 2 𝑢𝑁 𝑁
1 d ∑︁ 2
(𝑢𝑁 (𝑥𝑘 , 𝑡)) 𝑤𝑘 − (𝑥𝑘 , 𝑡)𝑢𝑁 (𝑥𝑘 , 𝑡)𝑤𝑘 = 0. (161)
2 d𝑡 𝜕𝑥2
𝑘=0 𝑘=0
Boundary points (𝑘 = 0, 𝑁 ) have been included in the sum since 𝑢𝑁 is zero there due to boundary
conditions. The product 𝑢𝑁 × 𝜕 2 𝑢𝑁 /𝜕𝑥2 is a polynomial of degree 2𝑁 − 2, so the quadrature
formula is exact
𝑁 ∫︁ 1 2
∑︁ 𝜕 2 𝑢𝑁 𝜕 𝑢𝑁
2
(𝑥 𝑘 , 𝑡)𝑢𝑁 (𝑥𝑘 , 𝑡)𝑤𝑘 = 2
(𝑥𝑘 , 𝑡)𝑢𝑁 (𝑥𝑘 , 𝑡)𝑤(𝑥)d𝑥, (162)
𝜕𝑥 −1 𝜕𝑥
𝑘=0
The left-hand side represents the discrete norm of 𝑢𝑁 (𝑡)2 , but since this is a polynomial of de-
gree 2𝑁 , one cannot apply the Gauss–Lobatto rule. Nevertheless, it has been shown (see, e.g.,
Section 5.3 of Canuto et al. [57]) that discrete and 𝐿2𝑤 -norms are uniformly equivalent, therefore:
∫︁ 1
2
(𝑢𝑁 (𝑥, 𝑡)) 𝑤(𝑥) ≤ 2 max |𝑢0 (𝑥)|2 , (168)
−1 𝑥∈[0,1]
which proves the stability of the Chebyshev collocation method for the heat equation. Convergence
can again be deduced from the Lax–Richtmyer theorem, but a detailed analysis cf. Section 6.5.1
of Canuto et al. [57]) shows that the numerical solution obtained by the method described here
converges to the true solution and one can obtain the convergence rate. If the solution 𝑢(𝑥, 𝑡) is
𝑚-times differentiable with respect to the spatial coordinate 𝑥 (see Section 2.4.4) the energy norm
of the error decays as 𝑁 1−𝑚 . In particular, if the solution is 𝒞 ∞ , the error decays faster than any
power of 𝑁 .
𝜕𝑢 𝜕𝑢
+ = 0, with − 1 < 𝑥 < 1, 𝑡 > 0, (169)
𝜕𝑡 𝜕𝑥
with homogeneous Dirichlet boundary condition
∀𝑡 ≥ 0, 𝑢(−1, 𝑡) = 0, (170)
𝜕𝑢𝑁 𝜕𝑢𝑁
+ = 𝜏𝑁 (𝑡)𝑃𝑁 (𝑥). (172)
𝜕𝑡 𝜕𝑥
Equating coefficients of 𝑃𝑁 on both sides of (172), we get
d𝑎𝑁
𝜏𝑁 = .
d𝑡
Applying the 𝐿2𝑤 scalar product with 𝑢𝑁 to both sides of Equation (172), we obtain
∫︁ 1
1 𝜕 (︀ 𝜕𝑢𝑁 1
‖𝑢𝑁 ‖2 − 𝑎2𝑁 = − d𝑥 = − 𝑢2𝑁 (1) ≤ 0,
)︀
𝑢
2 𝜕𝑡 −1 𝜕𝑥 2
Finally, 𝑎𝑁 (𝑡) is bounded because it is determined in terms of {𝑎𝑖 }𝑖=0...𝑁 −1 from the boundary
condition (170), and thus, stability is proved. In the same way as before, for the heat equation,
it is possible to derive a bound for the error ‖𝑢(𝑥, 𝑡) − 𝑢𝑁 (𝑥, 𝑡)‖, if the solution 𝑢(𝑥, 𝑡) is 𝑚-times
differentiable with respect to the spatial coordinate 𝑥; the energy norm of the error decays like
𝑁 1−𝑚 (see also Section 6.5.2 of Canuto et al. [57]). In particular, if the solution is 𝒞 ∞ , the error
decays faster than any power of 𝑁 .
equation (169), using a Legendre collocation method in space and a forward Euler scheme in time.
Using the notation of Section 4.1
𝐽 𝐽 ⃒
⃒
𝐽+1 𝐽 𝜕𝑈𝑁 𝜕𝑈𝑁 𝑃𝑁 +1 (𝑥)
∀𝑥 ∈ [−1, 1], 𝑈𝑁 (𝑥) = 𝑈𝑁 (𝑥) − Δ𝑡 + Δ𝑡 ⃒ , (174)
𝜕𝑥 𝜕𝑥 ⃒𝑥=−1 𝑃𝑁 +1 (−1)
𝐽
where the last term imposes the boundary condition ∀𝐽, 𝑈𝑁 (𝑥 = −1) = 0. We consider this
relation at the Legendre–Gauss collocation points ({𝑥𝑖 }𝑖=0...𝑁 ), which are zeros of 𝑃𝑁 +1 (𝑥); the
square of this expression taken at these collocation points gives
(︃ )︃2
𝐽 ⃒ 𝐽 ⃒
⃒ ⃒
(︀ 𝐽+1 )︀2 (︀ 𝐽 )︀2 𝜕𝑈𝑁 𝜕𝑈𝑁
∀𝑖 ∈ [0, 𝑁 ], 𝑈𝑁 (𝑥𝑖 ) = 𝑈𝑁 (𝑥𝑖 ) + Δ𝑡2 ⃒ − 2Δ𝑡 𝑈𝑁
𝐽
(𝑥𝑖 ) ⃒ .
𝜕𝑥 ⃒𝑥=𝑥𝑖 𝜕𝑥 ⃒𝑥=𝑥𝑖
We multiply by (1 − 𝑥𝑖 )𝑤𝑖 , where {𝑤𝑖 }𝑖=0...𝑁 are the Legendre–Gauss weights, and sum over 𝑖 to
obtain
𝑁 𝑁 𝑁 𝐽 ⃒
⃒
∑︁ (︀ 𝐽+1 )︀2 ∑︁ (︀ 𝐽 )︀2 ∑︁
𝐽 𝜕𝑈𝑁
(1 − 𝑥𝑖 ) 𝑈𝑁 (𝑥𝑖 ) 𝑤𝑖 = (1 − 𝑥𝑖 ) 𝑈𝑁 (𝑥𝑖 ) 𝑤𝑖 − 2Δ𝑡 (1 − 𝑥𝑖 )𝑈𝑁 (𝑥𝑖 )𝑤𝑖 ⃒
𝑖=0 𝑖=0 𝑖=0
𝜕𝑥 ⃒𝑥=𝑥𝑖
𝑁
(︃ )︃2
𝐽 ⃒
⃒
2
∑︁ 𝜕𝑈𝑁
+ Δ𝑡 ⃒ (1 − 𝑥𝑖 )𝑤𝑖 .
𝑖=0
𝜕𝑥 ⃒𝑥=𝑥𝑖
𝐽
For stability we require that a certain discrete energy of 𝑈𝑁 be bounded in time:
𝑁 𝑁
∑︁ (︀ 𝐽+1 )︀2 ∑︁ (︀ 𝐽 )︀2
(1 − 𝑥𝑖 ) 𝑈𝑁 (𝑥𝑖 ) 𝑤𝑖 ≤ (1 − 𝑥𝑖 ) 𝑈𝑁 (𝑥𝑖 ) 𝑤𝑖 , (175)
𝑖=0 𝑖=0
With the exactness of the Legendre–Gauss quadrature rule for polynomials of degree lower than
2𝑁 + 1, we have
𝑁
(︃ )︃2 ∫︁ 1 (︂ 𝐽 )︂2
𝐽 ⃒
⃒
∑︁ 𝜕𝑈𝑁 𝜕𝑈𝑁
⃒ (1 − 𝑥 𝑖 )𝑤𝑖 = (1 − 𝑥)d𝑥,
𝑖=0
𝜕𝑥 ⃒𝑥=𝑥𝑖 −1 𝜕𝑥
The stability condition obtained from energy analysis translates into an upper bound for the
timestep, which can be seen as an accurate estimate of the CFL restriction on the timestep:
∫︀ 1 (︀ 𝐽 )︀2
𝑈𝑁 (𝑥) d𝑥
(︂ )︂
−1 1
Δ𝑡 ≤ ∫︀ (︁ 𝐽 )︁2 ≃𝒪 . (176)
1 𝜕𝑈𝑁 𝑁2
−1 𝜕𝑥 (1 − 𝑥) d𝑥
Δ𝑡 ≤ Δ𝑡𝐹 𝐸 . (178)
and see that, as long as 𝛼𝑖,𝑘 ≥ 0 and 𝛽𝑖,𝑘 ≥ 0, all of the intermediate stages are simply convex
combinations of forward Euler operators. If this method is strongly stable for 𝐿𝑁 , under the
condition (178), then the intermediate stages can be bounded and the Runge–Kutta scheme is
stable under the CFL condition
𝛼𝑖,𝑘
Δ𝑡 ≤ 𝑐Δ𝑡𝐹 𝐸 , 𝑐 = min . (179)
𝑖,𝑘 𝛽𝑖,𝑘
In the same manner, one can devise strong stability-preserving explicit multistep methods of
the form
𝑠
∑︁
𝐽+1 𝐽+1−𝑖 𝐽+1−𝑖
(︀ )︀
𝑈𝑁 = 𝛼𝑖 𝑈𝑁 + Δ𝑡 𝛽𝑖 𝐿𝑁 𝑈𝑁 ,
𝑖=1
which can also be cast into convex combinations of forward Euler steps and, therefore, these
multistep methods are also stable, provided that
𝛼𝑖
Δ𝑡 ≤ 𝑐Δ𝑡𝐹 𝐸 , 𝑐 = min . (180)
𝑖 𝛽𝑖
Examples of useful coefficients for Runge–Kutta and multistep strong stability-preserving methods
can be found in [200, 117]. The best of these methods are those for which the CFL coefficient 𝑐 is
as large as possible.
Some tentative studies are being undertaken in order to represent the time interval by spectral
methods as well [113]. In their spherically-symmetric study of the wave equation in Minkowski
spacetime, Hennig and Ansorg have applied spectral methods to both spatial and time coordinates.
Moreover, they have used a conformal compactification of Minkowski spacetime, making the wave
equation singular at null infinity. They have obtained nicely accurate and spectrally convergent
solutions, even to a nonlinear wave equation. If these techniques can be applied in general three-
dimensional simulations, it would really be a great improvement.
Nevertheless, there are other, more sophisticated and accurate time-integration techniques that
are currently being investigated for several stiff PDEs [124], including Korteweg–de Vries and non-
linear Schrödinger equations [129]. Many such PDEs share the properties of being stiff (very differ-
ent time scales/characteristic frequencies) and combining low-order nonlinear terms with higher-
order linear terms. Einstein’s evolution equations can also be written in such a way [37]. Let us
consider a PDE
𝜕𝑢
= 𝐿𝑢 + 𝒩 𝑢, (181)
𝜕𝑡
using the notation of Section 4.1.1 and 𝒩 as a nonlinear spatial operator. Following the same
notation and within spectral approximation, one recovers
𝜕𝑈𝑁
= 𝐿𝑁 𝑈𝑁 + 𝒩𝑁 𝑈𝑁 . (182)
𝜕𝑡
We will now describe five methods of solving this type of ODE (see also [124]):
∙ Implicit-explicit techniques use an explicit multistep scheme to advance the nonlinear part
𝒩𝑁 , and an implicit one for the linear part.
∙ Split-step techniques are effective when the equation splits into two equations, which can
be directly integrated (see [129] for examples with the nonlinear Schrödinger and Korteweg–
de Vries equations).
∙ Integrating factor is a change of variable that allows for the exact solution of the linear
part
𝑉𝑁 = 𝑒−𝐿𝑁 𝑡 𝑈𝑁 , (183)
and explicit multistep method for the integration of the new nonlinear part
𝜕𝑉𝑁
= 𝑒−𝐿𝑁 𝑡 𝒩𝑁 𝑒𝐿𝑁 𝑡 𝑉𝑁 . (184)
𝜕𝑡
∙ Sliders can be seen as an extension of the implicit-explicit method described above. In
addition to splitting the problem into a linear and nonlinear part, the linear part itself is
split into two or three regions (in Fourier space), depending on the wavenumber. Then,
different numerical schemes are used for different groups of wavenumbers: implicit schemes
for high wavenumbers and explicit high-order methods for low wavenumbers. This method
is restricted to Fourier spectral techniques in space.
∙ Exponential time-differencing techniques have been known for some time in computa-
tional electrodynamics. These methods are similar to the integrating factor technique, but
one considers the exact equation over one timestep
∫︁ Δ𝑡
𝐽+1
𝑈𝑁 = 𝑒 𝐿𝑁 Δ𝑡 𝐽
𝑈𝑁 + 𝑒 𝐿𝑁 Δ𝑡
𝑒−𝐿𝑁 𝜏 𝒩𝑁 (𝑈𝑁 (𝑁 Δ𝑡 + 𝜏 ), 𝑁 Δ𝑡 + 𝜏 )𝑑𝜏. (185)
0
Various orders for these schemes come from the approximation order of the integral. For ex-
ample Kassam and Trefethen [124] consider a fourth-order Runge–Kutta type approximation
to this integral, where the difficulty comes from the accurate computation of functions, that
suffer from cancellation errors.
5.2.1 Formalisms
The first computation of models of relativistic rotating stars in general relativity, by means of
spectral methods, is presented in [41]. The equations are solved in spherical coordinates (see
Section 3.2). Doing so, the fields only depend on the azimuthal angle 𝜃 and on the radius 𝑟. The
fields are expanded in terms of spherical harmonics with respect to the angle and in Chebyshev
polynomials with respect to 𝑟. The use of spherical harmonics is a natural way of dealing with
the coordinate singularity on the 𝑧-axis. In [41] the whole space is divided into two spherical
domains, the outer one extending up to infinity by making use of the compactification in 1/𝑟 seen
in Section 3.1.2. With such a setting, Einstein’s equations reduce to a set of four elliptic equations
with sources extending up to infinity that are solved using a version of the algorithm based on
matching with the homogeneous solutions (presented in Section 2.6.4) for each spherical harmonic.
The system is complete once a description of the matter is given. The simplest choice is to consider
a polytropic fluid, with or without a magnetic field. The system is solved by iteration.
In [41], a particular emphasis is put on various methods to measure the accuracy of the code.
For nonrotating stars, the error is found to decrease exponentially, as the number of coefficients
increases (see Figures 5 and 6 of [41]). However, for fast-rotating configurations, the error only
decays as a power law (see Figure 7 of [41]). This comes from the fact that quantities like the
energy density are no longer 𝒞 ∞ across the star’s surface. Nevertheless, the results are in good
agreement (to 0.1%) with those obtained by other numerical methods, as can be seen in [160].
Spectral convergence can be recovered by using surface-adapted coordinates as first done in [36].
A regular mapping of the numerical coordinates to the physical ones is introduced, so that the
surface of the star lies at the boundary between two domains (see Section 3.1.1). For polytropes
with 𝛾 < 2, this is sufficient to recover spectral convergence (see Figures 5 and 6 of [38]). However,
for 𝛾 > 2, some quantities are still diverging at the surface but the convergence can be made closer
and closer to the spectral one by analytically regularizing the density (see Section IV of [38]).
Doing so, the error decreases as a power law, but the decrease can be made arbitrary fast at the
cost of increasing the number of operations and so the computational time.
Up until 2006, neutron stars were computed using quasi-isotropic coordinates. However, in
order to use these configurations as initial data for evolutionary codes, it may be useful to allow
for other choices. Among the possible gauges, Dirac’s is one of the most promising [37]. In [134]
models of rotating neutron stars in the Dirac gauge are computed for both polytropic and realistic
equations of state. Contrary to the quasi-isotropic coordinates, the use of this new gauge implies
that one must solve one tensor-like Poisson equation. Configurations obtained with the two different
formalisms are shown to be in very good agreement.
technique as in [34, 35] to determine the onset of instability. It appears that the critical value of
𝑇 / |𝑊 | can be almost twice as high as for uniformly rotating stars.
Using a multidomain approach, strange stars with a crust can also be computed [236], one
domain describing the interior of the star and another the crust. It is shown that the presence of
the crust could change the value of the QPO by up to 20%.
In this section, objects in more exotic configurations are presented. This is an illustration of both
the complexity of neutron stars physics and the ability of spectral methods to deal with complicated
systems.
The observation of glitches in isolated pulsars is consistent with the presence of a superfluid
interior. The simplest model considers two fluids, one composed of neutrons and the other of
protons and electrons, both components being superfluids. However, these two components could
have different velocities, in particular different rotation rates. Such configurations are computed
in [177]. A multidomain setting is crucial to be able to follow the two different fluids because the
components do not have the same shape. Among the various results obtained, let us mention the
confirmation of the existence of prolate-oblate configurations.
Neutron stars are usually assumed to be at zero temperature. However, this approximation
is known to no longer be true for newborn neutron stars just after the supernova. Models of
newborn neutron stars in uniform rotations are constructed in [106] using an extension of the code
developed in [41]. Various hypothesis about the interior (different lepton numbers, isothermal
versus isentropic) are considered. Sequences of fixed baryon mass and angular momentum are
constructed. Such sequences approximate the evolution of the protoneutron star into a cold neutron
star. The results have been extended to differentially-rotating protoneutron stars in [107].
The effect of finite temperature is also investigated in [226]. The authors found that newborn
neutron stars are unlikely to undergo bar mode instability, but that the secular ones could take
place and result in a significant emission of gravitational waves. Another interesting result of [226]
is the existence of toroidal-like configurations, which appear for a broad range of parameters and
before the mass-shedding limit. In such cases, the surface of the star is highly deformed and
surface-fitting coordinates are required.
Axisymmetric rotating neutron stars have also been computed by a code developed by An-
sorg et al. [9, 10] . This code is based on Lewis–Papapetrou coordinates (𝜌, 𝜉), which are closely
related to the usual cylindrical coordinates. Typically, space is decomposed into two domains:
one for the interior of the star and another for the exterior, which extends up to spatial infinity.
Compactification of space and surface-fitting mappings are used. Both variables are expanded in
terms of Chebyshev polynomials. Instead of solving the equations harmonic by harmonic and then
iterating, as is done by the Meudon group, the equations are written with a collocation method
(see Section 2.5.3) and solved as one single system. The price to pay is that the size of the system
is somewhat larger (i.e. in 𝑚2 , 𝑚 being the total number of coefficients for each coordinate). The
system is solved by means of the Newton–Raphson method. At each step, the linear system is
solved using iterative techniques with preconditioning. With this method, impressive accuracy is
reached.
The coordinates used in [9, 10] are more general than the ones used by the Meudon group,
especially with respect to their surface-fitting capabilities. They can account for more complicated
configurations and, in particular, highly-distorted matter distribution can be obtained. This is
shown in [12, 11], where relativistic axisymmetric toroidal configurations of matter, known as the
Dyson rings, are computed. Such rings are obtained up to the mass-shedding limit. Transition to
the limit of an extreme Kerr black hole is also discussed.
The matter is assumed to be a perfect fluid. To solve the equations, space is divided into five
computational domains. One of them describes the ring itself, another one the region around the
black hole and another extends up to infinity. The two other domains are used to connect these
regions. One of the difficulties is that the surface of the ring is not know a priori and so the
domains must be dynamically adapted to its surface. Cylindrical-type coordinates are used and,
in each domain, are mapped onto squares of numerical coordinates. The actual mappings depend
on the domain and can be found in Section IV of [13].
Numerical coordinates are expanded in terms of Chebyshev polynomials. The system to be
solved is obtained by writing Einstein’s equations in collocation space including regularity condi-
tions on the axis and appropriate boundary conditions on both the horizon of the black hole and at
spatial infinity. As in [9, 10], the system is solved iteratively, using the Newton–Raphson method.
Both the Newtonian and relativistic configurations are computed. The ratio between the mass
of the black hole and the mass of the ring is varied from zero (no black hole) to 144. The inner
mass shedding of the ring can be obtained. One of the most interesting results is the existence of
configurations for which the ratio 𝐽𝑐 /𝑀𝑐2 of the black hole angular momentum and the square of
its mass exceeds one, contrary to what can be achieved for an isolated black hole.
Systems consisting of two compact objects are known to emit gravitational waves. Due to this
emission, no closed orbits can exist and the objects follow a spiral-like trajectory. This implies that
such systems have no symmetries that can be taken into account and full time evolutions should
be made. However, when the objects are relatively far apart, the emission of gravitational waves is
small and the inspiral slow. In this regime, one can hope to approximate the real trajectory with
a sequence of closed orbits. Moreover, the emission of gravitational waves is known to efficiently
circularize eccentric orbits so that only circular orbits are usually considered.
So, a lot of effort has been devoted to the computation of circular orbits in general relativity.
This can be done by demanding that the system admit a helical Killing vector 𝜕𝑡 + Ω𝜕𝜙 , Ω being
the orbital angular velocity of the system. Roughly speaking, this means that advancing in time
is equivalent to turning the system around its axis. Working in the corotating frame, one is left
with a time-independent problem.
Additional approximations must be made in order to avoid any diverging quantities. Indeed,
when using helical symmetry, the system has an infinite lifetime and can fill the whole space with
gravitational waves, thus causing quantities like the total mass to be infinite. To deal with that,
various techniques can be used, the simplest one consisting of preventing the appearance of any
gravitational waves. This is usually done by demanding that the spatial metric be conformally
flat. This is not a choice of coordinates but a true approximation that has a priori no reason to
be verified. Indeed, even for a single rotating black hole, one can not find coordinates in which
the spatial three-metric is conformally flat, so that we do not expect it to be the case for binary
systems. However, comparisons with post-Newtonian results or non–conformally-flat results tend
to indicate that this approximation is relatively good.
Under these assumptions, Einstein’s equations reduce to a set of five elliptic equations for the
lapse, the conformal factor and the shift vector. These equations encompass both the Hamiltonian
and momentum constraint equations and the trace of the evolution equations. To close the system,
one must provide a description of the matter. It is commonly admitted that the fluid is irrotational,
the viscosity in neutron stars being too small to synchronize the motion of the fluid with the orbital
motion. It follows that the motion of the fluid is described by an additional elliptic equation for
the potential of the flow. The matter terms entering the equations via the stress-energy tensor can
then be computed, once an equation of state is given. An evolutionary sequence can be obtained
by varying the separation between the stars.
and irrotational binaries. The nature of the end point of the sequences is discussed and similar
behavior to the Newtonian regime is observed. The existence of a configuration of maximum
binding energy is also discussed. Such existence could have observational implications because
it could be an indication of the onset of a dynamic instability. Sequences of polytropes with
various indexes ranging from 1.8 to 2.2 are discussed in [214]. In particular, the authors are lead
to conjecture that, if a configuration of maximum binding energy is observed in the Newtonian
regime, it will also be observed in conformal relativity for the same set of parameters.
In [76] the authors derive from the sequences computed in [213] a method to constrain the
compactness of the stars from the observations. Indeed, from the results in [213] one can eas-
ily determine the energy emitted in gravitational waves per interval of frequency (i.e. the power
spectrum of the signal). For large separation, that is, for small frequencies, the curves follow the
Newtonian. However, there is a break frequency at the higher end (see Figure 2 of [76]). The
location of this frequency depends mainly on the compactness of the stars. More precisely, the
more compact the stars are, the higher the break frequency is. Should such frequency be observed
by the gravitational wave detectors, this could help to put constraints on the compactness of the
neutron stars and, thus, on the equation of state of such objects.
5.5.4 Extensions
The framework of [100] is applied to more realistic neutron stars in [26]. In this work, the equations
of state are more realistic than simple polytropes. Indeed, three different equations are considered
for the interior, all based on different microscopic models. The crust is also modeled. For all the
models, the end point of the evolution seems to be given by the mass shedding limit. However,
the frequency at which the shedding occurs depends rather strongly on the EOS. The results are
in good agreement with post-Newtonian ones, until hydrodynamic effects begin to be dominant.
This occurs at frequencies in the range of 500 – 1000 Hz, depending on the EOS.
Sequences of strange star binaries have also been computed [133]. Contrary to the neutron
star case, matter density does not vanish at the surface of the stars and one really needs to use
surface-fitting domains to avoid any Gibbs phenomenon that would spoil the convergence of the
overall procedure. Sequences are computed for both synchronized and irrotational binaries and a
configuration of maximum binding energy is attained in both cases. This is not surprising: strange
stars are more compact than neutron stars and are less likely to be tidally destroyed before reaching
the extremum of energy, making it easier to attain dynamic instability. More detailed results on
both neutron star and strange star binaries are discussed in [87, 91].
All the work presented above was done in the conformal flatness approximation. As already
stated in Section 5.5.1, this is only an approximation and one expects that the true conformal
three-metric will depart from flatness. However, in order to maintain asymptotic flatness of space-
time, one needs to get rid of the gravitational wave content. One such waveless approximation
is presented in [195] and implemented in [223]. Two independent codes are used, one of them
being an extension of the work described in [100]. The number of equations to be solved is then
greater than in conformal flatness (one has to solve for the conformal metric), but the algorithms
are essentially the same. It turns out that the deviation from conformal flatness is rather small.
The new configurations are slightly further from post-Newtonian results than the conformally-flat
ones, which is rather counter-intuitive and might be linked to a difference in the definition of the
waveless approximations.
More recently, two other spectral codes have been developed in the context of black hole binaries
and successfully applied to address some of the issues raised by the work of [98, 110].
One of these codes comes from the Caltech/Cornell group of Pfeiffer et al. and is described
extensively in [171, 167]. The code is multidomain and two main types of domains are used i) square
domains in which each Cartesian-like coordinate is expanded in terms of Chebyshev polynomials
and ii) spherical domains in which spherical harmonics are used for the angles (𝜃, 𝜙) and Chebyshev
polynomials for the radial coordinate. Space can be compactified by standard use of the variable
1/𝑟. The two types of domains can be set up in various manners to accommodate the desired
geometry. When using both square and spherical domains, there are regions of space that belong
to more than one domain. This is to be contrasted with work by the Meudon group in which
different domains are only touching but not overlapping. The algorithm of [171] solves differential
equations by using a multidimensional collocation method. The size of the resulting system is
roughly equal to the number of collocation points. It is then solved iteratively via a Newton–
Raphson algorithm with a line search. At each step of the Newton–Raphson method, the linear
system is solved by means of an iterative scheme (typically GMRES). This inner iterative solver
requires careful preconditioning to work properly. Various tests are passed by the code in [171], in
which elliptic equations and systems are solved in either spherical or bispherical topologies. In the
cases presented, the error decays spectrally.
In [169] the code is used to investigate different ways of solving the constraint equations.
Three different decompositions are used: the conformal TT one, the physical TT one and the
thin-sandwich decomposition. When solving for the constraint equations only, one must also
choose some freely specifiable variables, which describe the physical state of the system. In [169],
these specifiable variables are fixed using a superposition of two Kerr–Schild black holes. The net
result of [169] is that global quantities, like the total energy, are very sensitive to the choice of
decomposition. The variation of total energy can be as large as 5%, which is the order of the
energy released by gravitational waves. It is also shown that the choice of extrinsic curvature
tensor is more crucial than the one of conformal metric, in accordance with an underlying result
of [110]. Let us point out that the equations derived form the helical Killing vector approach
in [98, 110] are equivalent to the ones obtained by making use of the thin-sandwich decomposition
of the constraints. The freely specifiable variables are obtained by both the imposition of the
helical Killing symmetry and by solving an additional equation for the lapse function (resulting in
the extended thin-sandwich formalism).
In [63] the boundary conditions based on the apparent horizon formalism [62] are implemented
and tested numerically in the case of one and two black holes. In the latter case, the main difference
from [110] lies in the use of more elaborate and better boundary conditions on the horizons of the
black holes. By allowing for a nonvanishing lapse on the horizons, the authors of [63] solve the
constraint equations exactly. This is to be contrasted with [110], where the momentum constraint
equation is only solved up to a small correction. Both results show rather good agreement. This is
not surprising as the correction used by the Meudon group was known to be small (see Figures 10
and 11 of [110]). More results are presented in [59], for both corotating and irrotational black
holes. An important result of [59] is the comparison of the two criteria for determining the orbital
angular velocity Ω. They indeed show that the effective potential method first introduced in [60]
and the method based on the virial theorem proposed in [98] are in very good agreement.
By slightly extending the boundary conditions used in [59], the authors of [168] propose to
reduce the eccentricity of the black-hole–binary configurations. This is done by giving the black
holes a small radial velocity by modifying the boundary condition on the shift vector. The code
and other equations are the same as in [59]. Time evolution of the obtained initial data does show
that this technique can reduce the eccentricity of the binary. However, the effect on the emitted
in [208]. The main approximation is to consider that the black hole is not influenced by the
neutron star. Technically, this means that Einstein’s equations are split into two parts (i.e. as
for neutron star binaries 5.5.2). However, the part of the fields associated with the black hole is
fixed to its analytical value. As the fields are not solved for the black-hole part, the results should
depend on the actual splitting, the equations being nonlinear. The part of the fields associated
with the neutron star are solved using the standard setting for the Meudon group. Of course, this
whole procedure is only valid if the black hole is much more massive than the neutron star and
this is why [208] is limited to mass ratios of 10. In this particular case, it is shown that the results
depend, to the level of a few percent, on the choice of splitting, which is a measure of the reached
accuracy. It is also shown that the state of rotation of the star (i.e. synchronized or irrotational)
has little influence on the results.
In [209] the equations of the extended thin-sandwich formulation are solved consistently. As for
the neutron-star–binary case, two sets of spherical coordinates are used, one centered around each
object. The freely specifiable variables are derived from the Kerr–Schild approach. Configurations
are obtained with a moderate mass ratio of five. However, the agreement with post-Newtonian
results is not very good and the data seem to be rather noisy (especially the deformation of the
star).
Quasiequilibrium configurations based on a helical Killing vector and conformal flatness have
been obtained independently by [108] and [210]. Both codes are based on the Lorene library [99]
and use two sets of spherical coordinates. They differ mainly in their choice of boundary conditions
for the black hole. However, it is shown in the erratum of [108] that the results match pretty well
and are in very good agreement with post-Newtonian results. Mass ratios ranging from 1 to 10
are obtained in [210] and the emitted energy spectra are estimated. The work of [210] has been
extended in [211], where the parameter space of the binary is extensively explored. In particular,
the authors determine whether the end point of the sequences is due to an instability or to the
mass-shedding limit. It turns out that the star is more likely to reach the mass-shedding limit if it
is less compact and if the mass ratio between the black hole and the star is important, as expected.
More recently, the Caltech/Cornell group has applied the spectral solver of [171, 167] in or-
der to compute black-hole–neutron-star configurations [80]. Some extensions have been made to
enable the code to deal with matter by making use of surface-fitting coordinates. Thanks to the
domain decomposition used (analogous to the one of [171, 167]), the authors of [80] can reach an
estimated accuracy 5 × 10−5 , which is better than the precision of previous works (by roughly an
order of magnitude). Configurations with one spinning black hole and configurations with reduced
eccentricity are also presented, along the lines of [168].
spacetime to get hyperboloidal data. With such a setting, at infinity spacetime is foliated by
light cones instead of spatial hypersurfaces, which makes the extraction of gravitational waves, in
principle, easier.
In [81], Frauendiener is interested in generating hyperboloidal initial-data sets from data in
physical space. The technique proceeds in two steps. First a nonlinear partial differential equation
(the Yamabe equation) must be solved to determine the appropriate conformal factor 𝜔. Then, the
data are constructed by dividing some quantities by this 𝜔. This second step involves an additional
difficulty: 𝜔 vanishes at infinity but the ratios are finite and smooth. It is demonstrated in [81]
that spectral methods can deal with these two steps. Some symmetry is assumed so that the
problem reduces to a two-dimensional one. The first variable is periodic and expanded in terms of
a Fourier series, whereas Chebyshev polynomials are used for the other. The Yamabe equation is
solved using an iterative scheme based on Richardson’s iteration procedure. The construction of
the fields, and hence the division by a field vanishing at infinity, is then handled by making use of
the nonlocal nature of the spectral expansion (i.e. by working in the coefficient space; see Section 4
of [81] for more details).
collapse in the central region and generating a strong shock. This mechanism has long been
thought to be a powerful source of gravitational radiation, but recent simulations show that the
efficiency is much lower than previously estimated [70, 195]. The first numerical study of this
problem was the spherically-symmetric approach by May and White [148] using artificial viscosity
to damp the spurious numerical oscillations caused by the presence of shock waves in the flow so-
lution. Currently, state-of-the-art codes use more sophisticated High-Resolution Shock-Capturing
(HRSC) schemes or High-Resolution Central (HRC) schemes (for details on these techniques, see
the review by Font [77]). The first axisymmetric fully (general) relativistic simulations of the
core collapse scenario were done by Shibata [191] and Shibata and Sekiguchi [195], which used
HRSC schemes and a parametric equation of state. More recently, magnetohydrodynamic effects
have been taken into account in the axisymmetric core collapse by Shibata et al. [193] using HRC
schemes. Three-dimensional core collapse simulations, including a more realistic equation of state
and deleptonization scheme have been performed within the cactus-carpet-whisky [217, 17]
framework by Ott et al. [164, 163]. These simulations have been compared with those of the Co-
CoNuT code (see [68, 69] and later in this section). A more detailed historical presentation can
be found in the Living Review by Fryer and New [84].
The appearance of a strong hydrodynamic shock is, in principle, a serious problem to numerical
models using spectral methods. Nevertheless, a first preliminary study in spherical symmetry and
the Newtonian theory of gravity was undertaken in 1986 by Bonazzola and Marck [43], with the
use of “natural” viscosity. The authors show a mass conservation to a level better than 10–4
using one domain with only 33 Chebyshev polynomials. In 1993, the same authors performed the
first three-dimensional simulation (still in Newtonian theory) of the pre-bounce phase [46], giving
a computation of the gravitational wave amplitude, which was shown to be lower than standard
estimates. Moreover, they showed that for a given mass, the gravitational wave amplitude depends
only on the deformation of the core. These three-dimensional simulations were made possible
thanks to the use of spectral methods, particularly for the solution of the Poisson equation for the
gravitational potential.
Thus, shock waves pose a problem to spectral codes and have either been smoothed with spectral
vanishing viscosity [112] or ignored by the code stopping before their appearance. Another idea
developed first between the Meudon and Valencia groups was to use more appropriate techniques
for the simulation of shock waves: namely the High-Resolution Shock-Capturing techniques, also
known as Godunov methods (see the Living Reviews by Martı́ and Müller [145] and by Font [77]).
On the other hand, one wants to keep the fewest degrees of freedom required by spectral methods
for an accurate-enough description of functions, in particular for the solution of elliptic equations
or for the representation of more regular fields, such as gravitational ones. Indeed, even in the
case where a hydrodynamic shock is present, since it only appears as a source for the metric
in Einstein’s equations, the resulting gravitational field is at least 𝒞 1 and the spectral series do
converge, although slower than in the smooth case. Moreover, in a multidomain approach, if the
shock is contained within only one such domain, it is then necessary to increase resolution in only
this particular domain and it is still possible to keep the overall number of coefficients lower than
the number of points for the HRSC scheme. The combination of both types of methods (HRSC
and spectral) was first achieved in 2000 by Novak and Ibáñez [158]. They studied a spherically-
symmetric core collapse in tensor-scalar theory of gravity, which is a more general theory than
general relativity and allows a priori for monopolar gravitational waves. The system of PDEs to
be solved resembles that of general relativity, with the addition of a scalar nonlinear wave equation
for the monopolar dynamic degree of freedom. It was solved by spectral methods, whereas the
relativistic hydrodynamics equations were solved by Godunov techniques. Two grids were used,
associated to each numerical technique, and interpolations between the two were done at every
timestep. Although strong shocks were present in this simulation, they were sharply resolved
with HRSC techniques and the gravitational field represented through spectral methods did not
exhibit any Gibbs-like oscillations. Monopolar gravitational waveforms could, thus, be given. In
collaboration with the Garching relativistic hydrodynamics group, this numerical technique was
extended in 2005 to three dimensions, but in the conformally-flat approximation of general relativity
(see Sections 5.5 and 5.6) by Dimmelmeier et al. [69]. This approach using spectral methods for
the gravitational field computation is now sometimes referred to as the “Marriage des Maillages”
(French for “grid wedding”) and is currently employed by the core-collapse code CoCoNuT of
Dimmelmeier et al. [68, 69] to study general relativistic simulations of protoneutron stars, with a
microphysical equation of state as well as an approximate description of deleptonization [70].
Stellar collapse to a black hole has been widely studied, starting with spherically-symmetric com-
putations; in the case of dust (matter with no pressure), an analytical solution by Oppenheimer
and Snyder [162] was found in 1939. Pioneering numerical works by Nakamura and Sato [153, 154]
studied the axisymmetric general relativistic collapse to a black hole; Stark and Piran [203] gave the
gravitational wave emission from such a collapse in the formalism of Bardeen and Piran [19]. Fully
general relativistic collapse simulations in axisymmetry have also been performed by Shibata [190],
and the first three-dimensional calculations of gravitational-wave emission from the collapse of ro-
tating stars to black holes was done by Baiotti et al. [17]. Recently, Stephens et al. [204] developed
an evolution code for the coupled Einstein–Maxwell-MHD equations, with application to the col-
lapse to a black hole of a magnetized, differentially-rotating neutron star.
To our knowledge, all studies of the collapse to a black hole, which use spectral methods are
currently restricted to spherical symmetry. However, in this case and contrary to the core-collapse
scenario, there is a priori no shock wave appearing in the evolution of the system and spectral
methods are highly accurate at modeling the hydrodynamics as well. Thus, assuming spherical
symmetry, the equations giving the gravitational field are very simple, first because of Birkhoff’s
theorem, which gives the gravitational field outside the star, and then from the absence of any
dynamic degree of freedom in the gravitational field. For example, when choosing the radial
(Schwarzschild) gauge and polar slicing, Einstein’s equations, expressed within 3+1 formalism,
turn into two first-order constraints, which are simply solved by integrating with respect to the
radial coordinate (see [95]).
In the work of Gourgoulhon [95] a Chebyshev-tau method is used. The evolution equations
for the relativistic fluid variables are integrated with a semi-implicit time scheme and a quasi-
Lagrangian grid: the boundary of the grid is comoving with the surface of the star, but the grid
points remain the usual Gauss–Lobatto collocation points (Section 2.3.2). Due to the singularity-
avoiding gauge choice, the collapsing star ends in the “frozen-star” state, with the collapse of the
lapse. This induces strong gradients on the metric potentials, but the code is able to follow the
collapse down to very small values of the lapse, at less than 10–6 . The code is very accurate at
determining whether a star at equilibrium is unstable, by triggering the physical instability from
numerical noise at very low level. This property was later used by Gourgoulhon et al. [102] to
study the stability of equilibrium configurations of neutron stars near the maximal mass, taking
into account the effect of weak interaction processes. The addition of an inward velocity field to the
initial equilibrium configurations enabled Gourgoulhon [96] to partially answer the question of the
minimal mass of black holes: can the effective mass-energy potential barrier associated with stable
equilibrium states be penetrated by stars with substantial inward radial kinetic energy? In [96],
Gourgoulhon was able to form a black hole with a starting neutron star that was 10% less massive
than the usual maximal mass.
The spectral numerical code developed by Gourgoulhon [95] has been extended to also simulate
the propagation of neutrinos, coming from the thermal effect and nonequilibrium weak interaction
processes. With this tool, Gourgoulhon and Haensel [101] have simulated the neutrino bursts
coming from the collapse of neutron stars, with different equations of state. Another modification
of this spectral code has been done by Novak [156], extending the theory of gravity to tensor-
scalar theories. This allowed for the simulation of monopolar gravitational waves coming from
the spherically-symmetric collapse of a neutron star to a black hole [156]. From a technical point
of view, the solution of a nonlinear wave equation on curved spacetime has been added to the
numerical model. It uses an implicit second-order Crank–Nicolson scheme for the linear terms and
an explicit scheme for the nonlinear part. In addition, as for the hydrodynamics, the wave equation
is solved on a grid, partly comoving with the fluid. The evolution of the scalar field shows that the
collapsing neutron star has “expelled” all of its scalar charge before the appearance of the black
hole.
Oscillations of relativistic stars are often studied as a time-independent, linear eigenvalue prob-
lem [130]. Nevertheless, numerical approaches via time evolutions have proved to bring interesting
results, as obtained by Font et al. [78] for the first quasiradial mode frequencies of rapidly-rotating
stars in full general relativity. Nonlinear evolution of the gravitational-radiation–driven instabil-
ity in the 𝑟-modes of neutron stars has been studied by many authors (for a presentation of the
physical problem, see Section 13 of [5]). In particular, the first study of nonlinear 𝑟-modes in
rapidly-rotating relativistic stars, via three-dimensional general-relativistic hydrodynamic evolu-
tions has been done by Stergioulas and Font [206]. Different approaches to numerical hydrodynamic
simulations in Newtonian gravity have been attempted by Lindblom et al. [139], with an additional
braking term, as by Villain and Bonazzola [224] (see the following).
Because of their very high accuracy, spectral methods are able to track dynamic instabilities in
the evolution of equilibrium neutron star configurations, as shown in section 6.1.2 by the work of
Gourgoulhon et al. [95, 102]. In this work, when the initial data represents a stable neutron star,
some oscillations appear, which corresponds to the first fundamental mode of the star. As another
illustration of the accuracy, let us mention the work of Novak [155], who followed the dynamic
evolution of unstable neutron stars in the tensor-scalar theory of gravity. The instability is linked
with the possibility for these stars of undergoing some “spontaneous scalarization”, meaning that
they could gain a very high scalar charge, whereas the scalar field would be very weak (or even
null) outside the star. Thus, for a given number of baryons, there would be three equilibria for
a star: two stable ones with high scalar charges (opposite in sign) and an unstable one with a
weak scalar charge. Starting from this last one, the evolution code described in [156] was able to
follow the transition to a stable equilibrium, with several hundreds of damped oscillations for the
star. This damping is due to the emission of monopolar gravitational waves, which carry away the
star’s kinetic energy. The final state corresponds to the equilibrium configuration, independently
computed by a simple code solving the generalized Tolman–Oppenheimer–Volkoff system with a
scalar field, up to 1% error, after more than 50,000 timesteps. These studies could be undertaken
with spectral methods because in these scenarios the flow remains subsonic and one does not expect
any shock to be formed.
It is therefore quite natural to try and simulate stellar pulsations using spectral methods.
Unfortunately, there have been only a few such studies, which are detailed in the following. Lock-
itch et al. [142] have studied the inertial modes of slowly-rotating stars in full general relativity.
They wrote down perturbation equations in the form of a system of ordinary differential equations,
thanks to a decomposition into vector and tensor spherical harmonics. This system is then a non-
linear eigenvalue problem for the dimensionless mode frequency in the rotating frame. Equilibrium
and perturbation variables are then expanded in terms of a basis of Chebyshev polynomials, taking
into account the coordinate singularity at the origin and parity requirements. The authors were
therefore able to determine the values of the mode frequency, making the whole system singular
and looked for eigenfunctions, through their spectral decomposition. They found that inertial
modes were slightly stabilized by relativistic effects.
A different and maybe more natural approach, namely the time integration of the evolution
equations, has been undertaken by Villain et al. [224, 225] with a spectral magnetohydrodynamics
code in spherical coordinates. The code solves the linearized Euler or Navier–Stokes equations,
with the anelastic approximation. This approximation, which is widely used in other fields of
astrophysics and atmospheric physics, consists in neglecting acoustic waves by assuming that time
derivatives of the pressure and the density perturbations are negligible. It allows for a characteristic
time, which is not set by acoustic propagation time, but is much longer and the timestep can be
chosen so as to follow the inertial modes themselves. In their 2002 paper [224], Villain et al. study
inertial modes (i.e. modes whose restoring force is the Coriolis force, among which the 𝑟-modes [5])
in slowly rotating polytropes with 𝛾 = 2 in the linear regime. First, this is done in the framework
of Newtonian gravity, where the anelastic approximation implies that the Eulerian perturbations
of the gravitational potential do not play any role in the velocity perturbations. Second, they
study the relativistic case, but with the Cowling approximation, meaning again that the metric
perturbations are discarded. In both regimes and trying different boundary conditions for the
velocity field at the surface of the star, they note the appearance of a polar part of the mode and
the “concentration of the motion” near the surface, showing up in less than 15 periods of the linear
𝑟-mode. A more recent work [225] deals with the study of gravity modes, in addition to inertial
modes, in neutron stars. The interesting point of this work is the use of a quite realistic equation
of state for nuclear matter, which is valid even when beta equilibrium is broken. The authors were,
thus, able to show that the coupling between polar and axial modes is increasing with the rotation
of the star, and that the coupling of inertial modes with gravity modes in nonbarotropic stars can
produce fast energy exchanges between polar and axial parts of the fluid motion. From a numerical
point of view, one of the key ingredients is the solution of the vector heat equation, coming from
the Euler or Navier–Stokes equations. This is done by a poloidal-toroidal [47] decomposition of the
velocity field into two scalar potentials, which is very natural in spectral methods. Moreover, to
ensure correct analytical behavior at the origin, all scalar quantities are projected at each timestep
to a modified Legendre function basis.
More recently, a complete nonlinear study of rotating star pulsations has been set by Dim-
melmeier et al. [71]. They used the general relativistic code CoCoNuT (see above, Section 6.1.1)
in axial symmetry, with an HRSC hydrodynamic solver, and spectral methods for the simplified
Einstein equations (conformally-flat three metric). They noted that the conformal flatness condi-
tion did not have much effect on the dynamics when comparing with the Cowling approximation.
Nevertheless, they found that differential rotation was shifting the modes to lower frequencies and
they confirmed the existence of the mass-shedding–induced damping of pulsations.
harmonic gauge requires constraint damping terms; and a particular method suited for harmonic
evolution, which was proposed by Gundlach et al. [111], enabled Pretorius to evolve black hole
spacetimes [176, 175].
It is, therefore, a crucial step to devise such a stable formulation, and more particularly with
spectral methods, because they add very little numerical dissipation and thus, even the smallest
instability is not dissipated away and can grow to an unacceptable level. The situation becomes
even more complicated with the setup of an artificial numerical boundary at a finite distance from
the source, needing appropriate boundary conditions to control the physical wave content, and
possibly to limit the growth of unstable modes. All these points have been extensively studied
since 2000 by the Caltech/Cornell groups and their pseudospectral collocation code SpEC [125,
127, 187, 186, 138, 120, 126, 137, 49]; they were followed in 2004 by the Meudon group [37] and in
2006 by Tichy [219].
Next, it is necessary to be able to evolve black holes. Successful simulations of black hole binaries
have been performed using the black-hole puncture technique [55, 18]. Unfortunately, the dynamic
part of Einstein fields are not regular at the puncture points and it seems difficult to regularize
them so as to avoid any Gibbs-like phenomenon using spectral methods. Therefore, punctures
are not generally used for spectral implementations; instead the excision technique is employed,
removing part of the coordinate space inside the apparent horizon. There is no need for boundary
conditions on this new artificial boundary, provided that one uses a free-evolution scheme [187],
solving only hyperbolic equations. In the considered scheme, and for hydrodynamic equations as
well, one does not need to impose any boundary condition, nor do any special treatment on the
excision boundary, contrary to finite difference techniques, where one must construct special one-
sided differencing stencils. On the other hand, with a constrained scheme, elliptic-type equations
are to be solved [37] and, as for initial data (see Sections 5.3 and 5.6), boundary conditions must
be provided, e.g., on the apparent horizon, from the dynamic horizon formalism [105].
Finally, good outer boundary conditions, which are at the same time mathematically well posed,
consistent with the constraints and prevent as much as possible reflections of outgoing waves, must
be devised. In that respect, quite complete boundary conditions have been obtained by Buchman
and Sarbach [53].
equations for the two physical dynamic degrees of freedom of the gravitational field, and to solve
for the four constraint equations: this is a constrained evolution [37].
The advantages of the free evolution schemes are that they usually allow one to write Einstein’s
equations in the form of a strongly- or symmetric-hyperbolic system, for which there are many
mathematical theorems of existence and well-posedness. In addition, it is possible to analyze such
systems in terms of characteristics, which can give very clear and easy-to-implement boundary
conditions [126]. Using finite-difference numerical methods, it is also very CPU-time consuming
to solve for constraint equations, which are elliptic in type, but this is not the case with spectral
methods. On the other hand, constrained evolution schemes have, by definition, the advantage
of not being subject to constraint-violation modes. Besides, the equations describing stationary
spacetimes are usually elliptic and are naturally recovered when taking the steady-state limit of
such schemes. Finally, elliptic PDEs usually do not exhibit instabilities and are known to be well
posed. To be more precise, constrained evolution using spectral methods has been implemented
by the Meudon group [37], within the framework of the BSSN formulation. Free-evolution schemes
have been used by Tichy [219] (with the BSSN formulation) and by the Caltech/Cornell group,
which has developed their Kidder–Scheel–Teukolsky (KST) scheme [127] and have later used the
Generalized-Harmonic (GH) scheme [137]. The KST scheme is, in fact, a 12-parameter family of
hyperbolic formulations of Einstein’s equations, which can be fine tuned in order to stabilize the
evolution of, e.g., black hole spacetimes [187].
Even when doing so, constraint-violating modes grow exponentially and three ways of control-
ling their growth have been studied by the Caltech/Cornell group. First, the addition of multiples
of the constraints to the evolution system in order to minimize this growth. The parameters linked
with these additional terms are then adjusted to control the evolution of the constraint norm. This
generalized version of the dynamic constraint control method used by Tiglio et al. [221] has been
presented by Lindblom et al. [138] and tested on a particular representation of the Maxwell equa-
tions. Second, Lindblom et al. [138] devised constraint preserving boundary conditions from those
of Calabrese et al. [54], where the idea was to get maximally dissipative boundary conditions on the
constraint evolution equations [138, 126]. This second option appeared to be more efficient, but still
did not completely eliminate the instabilities. Finally, bulk constraint violations cannot be con-
trolled by constraint-preserving boundary conditions alone, so Holst et al. [120] derived techniques
to project at each timestep the solution of the dynamic equations onto the constraint submani-
fold of solutions. This method necessitates the solution of a covariant inhomogeneous Helmholtz
equation to determine the optimal projection. Nevertheless, the most efficient technique seems
to be the use of the GH formulation, which also incorporates multiples of the constraints, thus
exponentially suppressing bulk constraint violation, together with constraint-preserving boundary
conditions [137].
Boundary conditions are not only important for the control of the constraint-violation modes
in free evolutions. Because they cannot be imposed at spatial infinity (see Section 3.1.2), they
must be completely transparent to gravitational waves and prevent any physical wave from en-
tering the computational domain. A first study of interest for numerical relativity was done by
Novak and Bonazzola [157], in which gravitational waves are considered in the wave zone, as
perturbations of flat spacetime. The specificity of gravitational waves is that they start at the
quadrupole level (ℓ = 2) in terms of spherical harmonics expansion. Standard radiative boundary
conditions (known as Sommerfeld boundary conditions [201]) being accurate only for the ℓ = 0
component, a generalization of these boundary conditions has been done to include quadrupolar
terms [157]. They strongly rely on the spectral decomposition of the radiative field in terms of
spherical harmonics and on spherical coordinates. More specific boundary conditions for the Ein-
stein system, in order to control the influx of the radiative part of the Weyl tensor, have been
devised by Kidder et al. [126] for the KST formulation, generalizing earlier work by Stewart [207]
and Calabrese et al. [54]. They were then adapted to the GH formulation by Lindblom et al. [137].
Rinne [179] has studied the well-posedness of the initial-boundary–value problem of the GH formu-
lation of Einstein’s equations. He has considered first-order boundary conditions, which essentially
control the incoming gravitational radiation through the incoming fields of the Weyl tensor. He has
also tested the stability of the whole system with a collocation pseudospectral code simulating a
Minkowski or Schwarzschild perturbed spacetime. Generalizing previous works, a hierarchy of ab-
sorbing boundary conditions has been introduced by Buchman and Sarbach [53], which have then
been implemented in the Caltech/Cornell SpEC code by Ruiz et al. [181], together with new sets
of absorbing and constraint-preserving conditions in the generalized harmonic gauge. Ruiz et al.
have shown that their second-order conditions can control the incoming gravitational radiation,
up to a certain point. In addition, they have analyzed the well-posedness of the initial-boundary–
value problems arising from these boundary conditions. Rinne et al. [180] have compared various
methods for treating outer boundary conditions. They have used the SpEC code to estimate the
reflections caused by the artificial boundary, as well as the constraint violation it can generate.
¯ 𝑖 𝛾˜ 𝑖𝑗 = 0.
𝐷 (187)
The time coordinate is set by the standard maximal slicing condition. These conditions turn out
to be dynamic gauge conditions: the lapse and the shift are determined through the solution of
elliptic PDEs at each timestep. With this setting, Bonazzola et al. have studied the propagation
of a three-dimensional gravitational wave, i.e. the solution of the fully nonlinear Einstein equations
in vacuum. Their multidomain spectral code based on the Lorene library [99] was able to follow
the wave using spherical coordinates, including the (coordinate) singular origin, and to let it out
of the numerical grid with transparent boundary conditions [157]. Evolution was performed with
a second-order semi-implicit Crank–Nicolson time scheme, and the elliptic system of constraint
equations was solved iteratively. Since only two evolution equations were solved (out of six), the
others were used as error indicators and proved the awaited second-order time convergence. A
preliminary analysis of the mathematical structure of the evolution part of this formalism done by
Cordero et al. [64] has shown that the choice of Dirac’s gauge for the spatial coordinates guarantees
the strongly hyperbolic character of that system as a system of conservation laws.
quadrupole formulae. The code has passed many tests and, in particular, it has evolved several
quasiequilibrium binary configurations without adding the radiation reaction force with resulting
orbits that were nearly circular (change in separation lower than 4%). The code was thus able to
follow irrotational neutron star binaries, including radiation reaction effects, up to the merger and
the formation of a differentially rotating remnant, which is stable against immediate gravitational
collapse for reasonably stiff equations of state. All the results agreed pretty well with previous
relativistic calculations.
coordinates dynamically, with a feedback control system that adjusts the moving coordinate frame
to control the location of each apparent horizon center.
The spectral code uses 44 domains of different types (spherical and cylindrical shells, rectangular
blocks) to describe the binary system. Most of the numerical strategy to integrate Einstein’s
equations is taken from the tests on the GH formulation of Lindblom et al. [137] and has already
been detailed in Section 6.2.1. The important technical ingredient detailed by Scheel et al. [188] is
the particular filtering of tensor fields in terms of spherical harmonics. The dual-coordinate-frame
representation can mix the tensor’s spherical harmonic components. So, in their filtering of the
highest-order tensor spherical-harmonic coefficients, Scheel et al. [188] had to take into account
this mixing by transforming spatial tensors into a rotating-frame tensor spherical-harmonic basis
before filtering and then transforming back to an inertial frame basis. This method allowed them
to evolve black-hole–binary spacetimes for more than four orbits, until 𝑡 & 600 𝑀ADM .
However, a central problem has been the capability of the code to follow the merger phase, and
even though the code was able to compute the inspiral quite accurately, it used to fail just before the
black holes merged. The problem was that, when the black holes came close to each other, their
horizons became extremely distorted and strong gradients would develop in the dynamic fields.
This has been explained as a gauge effect, coming from the incapacity of the gauge condition to
react and change the geometry when the two black holes begin to interact strongly, and can be
seen as a coordinate singularity developing close to the merger. Nevertheless, a cure has been
found, as explained in Scheel et al. [185]. The original gauge is kept until some given time and
then smoothly changed to a new one, based on the gauge treatment by Pretorius [176, 175] (for the
lapse): the gauge source function is evolved through a damped, driven wave equation, which drives
the lapse toward unity and the shift vector toward zero near the horizons. Thus, the horizons
expand in coordinate space and the dynamic fields are smoothed out near the horizons, preventing
gauge singularities from developing. With this transition of the gauge condition, the evolution
of the black holes can be tracked until the formation of a common horizon encompassing both
black holes. Then, the evolution of this single-distorted dynamic black hole is achieved by first
interpolating all variables onto a new computational domain containing only one excised region,
then by choosing a new comoving coordinate system, and finally by again modifying the gauge
condition to drive the shift vector to a time-independent state.
These new gauge conditions have allowed Scheel et al. [185] to follow the inspiral during 16 or-
bits, and the merger and ring-down phase of an equal-mass nonspinning black-hole–binary system.
They were able to compute the mass and the spin of the final black hole with very high accuracy
(10–5 and 10–4 relative accuracy for the mass and spin, respectively), and to extract the physical
waveform accurately to 0.01 radians in phase. This is the first spectral numerical simulation of the
full evolution of a black-hole–binary system.
7 Conclusions
We would like to conclude our overview of spectral methods in numerical relativity by pointing
out a few items that we feel are particularly interesting.
Appropriate choice of coordinates is evidently important. However, for binary systems, rather
few results have been obtained using the natural choice of bispherical coordinates. So far, variations
of such coordinates have only been used by Ansorg and collaborators and only in the context
of initial data [8, 6, 7]. We believe that applying these coordinates, or similar coordinates, to
evolutionary codes could lead to interesting results, in terms of both speed and accuracy.
The application of spectral methods to theories more complicated than general relativity is
also imaginable. One of the possible fields of application is the study of branes, where there is an
additional dimension to spacetime. The fact that spectral methods are accurate with relatively few
degrees of freedom makes them a good candidate for simulating systems with extra dimensions.
The addition of gauge fields is also something that could be studied with spectral methods, to
investigate the possibility of “hairy” black holes, for instance. Of course, these are just a few ideas
of what the future applications of spectral methods to the field of relativity might be.
References
[1] Alcubierre, M., Brandt, S., Brügmann, B., Gundlach, C., Massó, J., Seidel, E. and Walker, P., “Test-
beds and applications for apparent horizon finders in numerical relativity”, Class. Quantum Grav.,
17, 2159–2190, (2000). [DOI], [ADS]. (Cited on page 42.)
[2] Alcubierre, M. et al., “Towards standard testbeds for numerical relativity”, Class. Quantum Grav.,
21, 589–613, (2004). [DOI], [ADS]. (Cited on page 82.)
[3] Amsterdamski, P., Bulik, T., Gondek-Rosińska, D. and Kluźniak, W., “Marginally stable orbits
around Maclaurin spheroids and low-mass quark stars”, Astron. Astrophys., 381, L21–L24, (2002).
[DOI], [ADS]. (Cited on page 64.)
[4] Anderson, M., Hirschmann, E.W., Lehner, L., Liebling, S.L., Motl, P.M., Neilsen, D., Palenzuela,
C. and Tohline, J.E., “Simulating binary neutron stars: Dynamics and gravitational waves”, Phys.
Rev. D, 77, 024006, (2008). [DOI], [ADS]. (Cited on page 84.)
[5] Andersson, N. and Comer, G.L., “Relativistic Fluid Dynamics: Physics for Many Different Scales”,
Living Rev. Relativity, 10, lrr-2007-1, (2007). URL (accessed 20 February 2007):
http://www.livingreviews.org/lrr-2007-1. (Cited on pages 78 and 79.)
[6] Ansorg, M., “Double-domain spectral method for black hole excision data”, Phys. Rev. D, 72, 024018,
1–10, (2005). [DOI], [ADS]. (Cited on pages 36, 72, and 88.)
[7] Ansorg, M., “A multi-domain spectral method for initial data of arbitrary binaries in general rela-
tivity”, Class. Quantum Grav., 24, S1–S14, (2007). [DOI], [ADS]. (Cited on pages 72, 87, and 88.)
[8] Ansorg, M., Brügmann, B. and Tichy, W., “Single-domain spectral method for black hole puncture
data”, Phys. Rev. D, 70, 064011, 1–13, (2004). [DOI], [ADS]. (Cited on pages 36, 37, 70, 72, and 88.)
[9] Ansorg, M., Kleinwächter, A. and Meinel, R., “Highly accurate calculation of rotating neutron stars”,
Astron. Astrophys., 381, L49–L52, (2002). [DOI], [ADS]. (Cited on pages 65, 66, 67, and 72.)
[10] Ansorg, M., Kleinwächter, A. and Meinel, R., “Highly accurate calculation of rotating neutron stars:
Detailed description of the numerical methods”, Astron. Astrophys., 405, 711–721, (2003). [DOI],
[ADS]. (Cited on pages 9, 36, 37, 65, 66, 67, and 72.)
[11] Ansorg, M., Kleinwächter, A. and Meinel, R., “Relativistic Dyson Rings and Their Black Hole Limit”,
Astrophys. J. Lett., 582, L87–L90, (2003). [DOI], [ADS]. (Cited on page 65.)
[12] Ansorg, M., Kleinwächter, A. and Meinel, R., “Uniformly rotating axisymmetric fluid configurations
bifurcating from highly flattened Maclaurin spheroids”, Mon. Not. R. Astron. Soc., 339, 515–523,
(2003). [DOI], [ADS]. (Cited on page 65.)
[13] Ansorg, M. and Petroff, D., “Black holes surrounded by uniformly rotating rings”, Phys. Rev. D, 72,
024019, 1–12, (2005). [DOI], [gr-qc/0505060v4]. (Cited on pages 66, 67, and 72.)
[14] Arnowitt, R., Deser, S. and Misner, C.W., “The dynamics of general relativity”, in Witten, L., ed.,
Gravitation: An Introduction to Current Research, pp. 227–265, (Wiley, New York; London, 1962).
[DOI], [ADS], [gr-qc/0405109]. (Cited on page 80.)
[15] Babiuc, M.C., Szilágyi, B., Hawke, I. and Zlochower, Y., “Gravitational wave extraction based on
Cauchy-characteristic extraction and characteristic evolution”, Class. Quantum Grav., 22, 5089–
5107, (2005). [DOI], [ADS]. (Cited on page 42.)
[16] Baiotti, L., Giacomazzo, B. and Rezzolla, L., “Accurate evolutions of inspiraling neutron-star bi-
naries: Prompt and delayed collapse to a black hole”, Phys. Rev. D, 78, 084033, (2008). [DOI],
[arXiv:0804.0594]. (Cited on page 84.)
[17] Baiotti, L., Hawke, I., Montero, P.J., Löffler, F., Rezzolla, L., Stergioulas, N., Font, J.A. and Seidel,
E., “Three-dimensional relativistic simulations of rotating neutron-star collapse to a Kerr black hole”,
Phys. Rev. D, 71, 024035, 1–30, (2005). [DOI], [ADS]. (Cited on pages 76 and 77.)
[18] Baker, J.G., Centrella, J., Choi, D.-I., Koppitz, M. and van Meter, J., “Gravitational-Wave Extrac-
tion from an Inspiraling Configuration of Merging Black Holes”, Phys. Rev. Lett., 96, 111102, (2006).
[DOI]. (Cited on pages 80 and 84.)
[19] Bardeen, J.M. and Piran, T., “General relativistic axisymmetric rotating systems: Coordinates and
equations”, Phys. Rep., 96, 205–250, (1983). [DOI], [ADS]. (Cited on pages 42 and 77.)
[20] Bartnik, R., “Einstein equations in the null quasispherical gauge”, Class. Quantum Grav., 14, 2185–
2194, (1997). [DOI], [ADS]. (Cited on pages 42 and 80.)
[21] Bartnik, R. and Norton, A.H., “Numerical Methods for the Einstein Equations in Null Quasi-
Spherical Coordinates”, SIAM J. Sci. Comput., 22, 917–950, (2000). [DOI]. (Cited on pages 9,
42, 80, and 83.)
[22] Baumgarte, T.W., “Innermost stable circular orbit of binary black holes”, Phys. Rev. D, 62, 024018,
1–8, (2000). [DOI], [ADS]. (Cited on page 70.)
[23] Baumgarte, T.W., Cook, G.B., Scheel, M.A., Shapiro, S.L. and Teukolsky, S.A., “Implementing an
apparent-horizon finder in three dimensions”, Phys. Rev. D, 54, 4849–4857, (1996). [DOI], [ADS].
(Cited on pages 42 and 66.)
[24] 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, 7299–7311, (1998). [DOI],
[ADS]. (Cited on pages 62 and 68.)
[25] Baumgarte, T.W. and Shapiro, S.L., “Numerical integration of Einstein’s field equation”, Phys. Rev.
D, 59, 024007, (1998). [DOI], [ADS], [gr-qc/9810065]. (Cited on pages 79 and 80.)
[26] Bejger, M., Gondek-Rosińska, D., Gourgoulhon, E., Haensel, P., Taniguchi, K. and Zdunik, J.L., “Im-
pact of the nuclear equation of state on the last orbits of binary neutron stars”, Astron. Astrophys.,
431, 297–306, (2005). [DOI], [ADS]. (Cited on page 69.)
[27] Bejger, M., Haensel, P. and Zdunik, J.L., “Rotation at 1122 Hz and the neutron star structure”,
Astron. Astrophys., 464, L49–L52, (2007). [DOI], [ADS]. (Cited on page 64.)
[28] Belczynski, K., Kalogera, V. and Bulik, T., “A Comprehensive Study of Binary Compact Objects
as Gravitational Wave Sources: Evolutionary Channels, Rates, and Physical Properties”, Astrophys.
J., 572, 407–431, (2002). [DOI], [ADS]. (Cited on page 72.)
[29] Ben Belgacem, F. and Bernardi, C., “Spectral Element Discretization of the Maxwell Equations”,
Math. Comput., 68, 1497–1520, (1999). [ADS]. (Cited on page 44.)
[30] Bičák, J., “Einstein equations: exact solutions”, in Françoise, J.-P., Naber, G.L. and Tsou, S.T.,
eds., Encyclopedia of Mathematical Physics, 2, pp. 165–173, (Elsevier, Amsterdam, 2006). [gr-
qc/0604102]. (Cited on page 7.)
[31] Blanchet, L., “Gravitational Radiation from Post-Newtonian Sources and Inspiralling Compact Bi-
naries”, Living Rev. Relativity, 9, lrr-2006-4, (2006). URL (accessed 19 January 2007):
http://www.livingreviews.org/lrr-2006-4. (Cited on pages 7 and 75.)
[32] Bocquet, M., Bonazzola, S., Gourgoulhon, E. and Novak, J., “Rotating neutron star models with a
magnetic field”, Astron. Astrophys., 301, 757–775, (1995). [ADS]. (Cited on page 64.)
[33] Bonazzola, S., “Cyclotron lines in compact X-ray sources”, in Perola, G.C. and Salvati, M., eds., Non-
thermal and very high temperature phenomena in X-ray astronomy, Proceedings of an international
workshop, held in Rome, Italy, December 19 – 20, 1983, pp. 55–75, (Università ‘La Sapienza’, Rome,
1985). (Cited on page 9.)
[34] Bonazzola, S., Frieben, J. and Gourgoulhon, E., “Spontaneous Symmetry Breaking of Rapidly Ro-
tating Stars in General Relativity”, Astrophys. J., 460, 379–389, (1996). [DOI], [ADS]. (Cited on
pages 63 and 64.)
[35] Bonazzola, S., Frieben, J. and Gourgoulhon, E., “Spontaneous symmetry breaking of rapidly rotating
stars in general relativity: influence of the 3D-shift vector”, Astron. Astrophys., 331, 280–290, (1998).
[ADS]. (Cited on pages 63 and 64.)
[36] Bonazzola, S. and Gourgoulhon, E., “Gravitational waves from pulsars: emission by the magnetic-
field-induced distortion”, Astron. Astrophys., 312, 675–690, (1996). [ADS]. (Cited on pages 62
and 64.)
[37] Bonazzola, S., Gourgoulhon, E., Grandclément, P. and Novak, J., “Constrained scheme for the
Einstein equations based on the Dirac gauge and spherical coordinates”, Phys. Rev. D, 70, 104007,
1–24, (2004). [DOI], [ADS]. (Cited on pages 9, 43, 61, 63, 80, 81, and 82.)
[38] Bonazzola, S., Gourgoulhon, E. and Marck, J.-A., “Numerical approach for high presicion 3D rela-
tivistic star models”, Phys. Rev. D, 58, 104020, (1998). [DOI], [ADS]. (Cited on pages 36 and 63.)
[39] Bonazzola, S., Gourgoulhon, E. and Marck, J.-A., “Numerical Models of Irrotational Binary Neutron
Stars in General Relativity”, Phys. Rev. Lett., 82, 892–895, (1999). [DOI], [ADS]. (Cited on page 9.)
[40] Bonazzola, S., Gourgoulhon, E. and Marck, J.-A., “Spectral methods in general astrophysics”, J.
Comput. Appl. Math., 109, 433–473, (1999). [DOI], [ADS]. (Cited on pages 9, 36, 38, and 68.)
[41] Bonazzola, S., Gourgoulhon, E., Salgado, M. and Marck, J.-A., “Axisymmetric rotating relativistic
bodies: A new numerical approach for ‘exact’ solutions”, Astron. Astrophys., 278, 421–443, (1993).
[ADS]. (Cited on pages 9, 37, 62, and 65.)
[42] Bonazzola, S., Jaramillo, J.L. and Novak, J., “A fast stroboscopic spectral method for rotating
systems in numerical relativity”, Class. Quantum Grav., 24, 4037–4051, (2007). [DOI], [ADS]. (Cited
on page 37.)
[43] Bonazzola, S. and Marck, J.-A., “Pseudo-spectral technique applied to numerical solutions for stellar
collapse”, Astron. Astrophys., 164, 300–309, (1986). [ADS]. (Cited on page 76.)
[44] Bonazzola, S. and Marck, J.-A., “Three-dimensional gas dynamics in a sphere”, J. Comput. Phys.,
87, 201–230, (1990). [DOI], [ADS]. (Cited on pages 9, 36, 41, and 42.)
[45] Bonazzola, S. and Marck, J.-A., “A 1D exact treatment of shock waves within spectral methods in
plane geometry”, J. Comput. Phys., 97, 535–552, (1991). [DOI], [ADS]. (Cited on page 75.)
[46] Bonazzola, S. and Marck, J.-A., “Efficiency of gravitational radiation from axisymmetric and 3D
stellar collapse. I. Polytropic case”, Astron. Astrophys., 267, 623–633, (1993). [ADS]. (Cited on
page 76.)
[47] Boronski, P. and Tuckerman, L.S., “Poloidal toroidal decomposition in a finite cylinder. I: Influence
matrices for the magnetohydrodynamic equations”, J. Comput. Phys., 227, 1523–1543, (2007). [DOI],
[ADS]. (Cited on page 79.)
[48] Boyd, J.B., Chebyshev and Fourier Spectral Methods, (Dover Publications, Mineola, N.Y., 2001), 2nd
edition. [Google Books]. (Cited on pages 7, 37, and 40.)
[49] Boyle, M., Lindblom, L., Pfeiffer, H., Scheel, M. and Kidder, L.E., “Testing the Accuracy and
Stability of Spectral Methods in Numerical Relativity”, Phys. Rev. D, 75, 024006, (2007). [DOI],
[gr-qc/0609047]. (Cited on pages 75, 80, and 82.)
[50] Brill, D.R. and Lindquist, R.W., “Interaction Energy in Geometrostatics”, Phys. Rev., 131, 471–476,
(1963). [DOI], [ADS]. (Cited on pages 66 and 70.)
[51] Brizuela, D., Martı́n-Garcı́a, J.M. and Marugán, G.A.M., “Second- and higher-order perturbations
of a spherical spacetime”, Phys. Rev. D, 74, 044039, 1–17, (2006). [DOI], [ADS]. (Cited on page 43.)
[52] Brun, A.S., Miesch, M.S. and Toomre, J., “Global-scale turbulent convection and magnetic dynamo
action in the solar envelope”, Astrophys. J., 614, 1073–1098, (2004). [DOI], [ADS]. (Cited on
page 9.)
[53] Buchman, L.T. and Sarbach, O., “Improved outer boundary conditions for Einstein’s field equations”,
Class. Quantum Grav., 24, S307–S326, (2007). [DOI], [ADS]. (Cited on pages 38, 80, and 82.)
[54] Calabrese, G., Pullin, J., Reula, O., Sarbach, O. and Tiglio, M., “Well Posed Constraint-Preserving
Boundary Conditions for the Linearized Einstein Equations”, Commun. Math. Phys., 240, 377–395,
(2003). [DOI], [ADS]. (Cited on page 81.)
[55] Campanelli, M., Lousto, C.O., Marronetti, P. and Zlochower, Y., “Accurate evolutions of orbiting
black-hole binaries without excision”, Phys. Rev. Lett., 96, 111101, (2006). [DOI], [ADS]. (Cited on
pages 80 and 84.)
[56] Canuto, C., Hussaini, M.Y., Quarteroni, A. and Zang, T.A., Spectral Methods in Fluid Dynamics,
Springer Series in Computational Physics, (Springer, Berlin; New York, 1988). (Cited on pages 7,
9, 36, 38, 48, and 83.)
[57] Canuto, C., Hussaini, M.Y., Quarteroni, A. and Zang, T.A., Spectral Methods: Fundamentals in
Single Domains, Scientific Computation, (Springer, Berlin; New York, 2006). [Google Books]. (Cited
on pages 7, 17, 18, 20, 25, 54, 55, 57, and 58.)
[58] Canuto, C., Hussaini, M.Y., Quarteroni, A. and Zang, T.A., Spectral Methods: Evolution to Complex
Geometries and Applications to Fluid Dynamics, Scientific Computation, (Springer, Berlin; New
York, 2007). [Google Books]. (Cited on pages 7, 9, and 54.)
[59] Caudill, M., Cook, G.B., Grigsby, J.D. and Pfeiffer, H.P., “Circular orbits and spin in black-hole
initial data”, Phys. Rev. D, 74, 064011, (2006). [DOI], [ADS]. (Cited on pages 70, 71, and 72.)
[60] 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, 5025–5032, (1994). [DOI], [ADS]. (Cited on
pages 62, 70, and 71.)
[61] Cook, G.B., “Initial Data for Numerical Relativity”, Living Rev. Relativity, 3, lrr-2000-5, (2000).
URL (accessed 19 January 2007):
http://www.livingreviews.org/lrr-2000-5. (Cited on pages 43 and 62.)
[62] Cook, G.B., “Corotating and irrotational binary black holes in quasicircular orbits”, Phys. Rev. D,
65, 084003, (2002). [DOI], [ADS]. (Cited on pages 43, 66, 70, and 71.)
[63] Cook, G.B. and Pfeiffer, H.P., “Excision boundary conditions for black hole initial data”, Phys. Rev.
D, 70, 104016, (2004). [DOI], [ADS]. (Cited on page 71.)
[64] Cordero-Carrión, I., Ibáñez, J.M., Gourgoulhon, E., Jaramillo, J.L. and Novak, J., “Mathematical
issues in a fully constrained formulation of Einstein equations”, Phys. Rev. D, 77, 084007, 1–13,
(2008). [DOI], [ADS]. (Cited on page 83.)
[65] Courant, R. and Hilbert, D., Methods of Mathematical Physics, (Interscience Publishers, New York,
1953). (Cited on page 12.)
[66] Dahlquist, G.G., “A special stability problem for linear multistep methods”, BIT, 3(1), 27–43, (1963).
[DOI]. (Cited on page 48.)
[67] Damour, T., Gourgoulhon, E. and Grandclément, P., “Circular orbits of corotating binary black
holes: Comparison between analytical and numerical results”, Phys. Rev. D, 66, 024007, 1–15,
(2002). [DOI], [ADS]. (Cited on page 70.)
[68] Dimmelmeier, H., Font, J.A. and Müller, E., “Relativistic simulations of rotational core collapse I.
Methods, initial models, and code tests”, Astron. Astrophys., 388, 917–935, (2002). [DOI], [ADS],
[arXiv:astro-ph/0204288]. (Cited on pages 76 and 77.)
[69] Dimmelmeier, H., Novak, J., Font, J.A., Ibáñez, J.M. and Müller, E., “Combining spectral and
shock-capturing methods: A new numerical approach for 3D relativistic core collapse simulations”,
Phys. Rev. D, 71, 064023, (2005). [DOI], [ADS], [arXiv:astro-ph/0407174]. (Cited on pages 76
and 77.)
[70] Dimmelmeier, H., Ott, C.D., Janka, H.-T., Marek, A. and Müller, E., “Generic gravitational-wave
signals from the collapse of rotating stellar cores”, Phys. Rev. Lett., 98, 251101, (2007). [DOI], [ADS],
[arXiv:astro-ph/0702305]. (Cited on pages 76 and 77.)
[71] Dimmelmeier, H., Stergioulas, N. and Font, J.A., “Non-linear axisymmetric pulsations of rotating
relativistic stars in the conformal flatness approximation”, Mon. Not. R. Astron. Soc., 368, 1609–
1630, (2006). [DOI], [ADS]. (Cited on pages 79 and 87.)
[72] Erdös, P., “Problems and Results on the Theory of Interpolation. II”, Acta Math. Acad. Sci. Hung.,
12, 235–244, (1961). [DOI]. (Cited on page 15.)
[73] Faber, G., “Über die interpolarische Darstellung stetiger Funktionen”, Jahresber. Deutsch. Math.-
Verein., 23, 192–210, (1914). Online version (accessed 13 November 2008):
http://www.digizeitschriften.de/home/services/pdfterms/?ID=514871. (Cited on pages 15
and 23.)
[74] Faber, J.A., Baumgarte, T.W., Shapiro, S.L., Taniguchi, K. and Rasio, F., “Dynamical evolution of
black hole-neutron star binaries in general relativity: Simulations of tidal disruption”, Phys. Rev. D,
73, 024012, (2006). [DOI], [ADS]. (Cited on pages 85 and 87.)
[75] Faber, J.A., Grandclément, P. and Rasio, F.A., “Mergers of irrotational neutron star binaries in
conformally flat gravity”, Phys. Rev. D, 69, 124036, 1–26, (2004). [DOI], [ADS]. (Cited on pages 84
and 87.)
[76] Faber, J.A., Grandclément, P., Rasio, F.A. and Taniguchi, K., “Measuring Neutron-Star Radii with
Gravitational-Wave Detectors”, Phys. Rev. Lett., 89, 231102, 1–4, (2002). [DOI], [ADS]. (Cited on
page 69.)
[77] Font, J.A., “Numerical Hydrodynamics in General Relativity”, Living Rev. Relativity, 6, lrr-2003-4,
(2003). URL (accessed 19 January 2007):
http://www.livingreviews.org/lrr-2003-4. (Cited on pages 75 and 76.)
[78] Font, J.A. et al., “Three-dimensional numerical general relativistic hydrodynamics. II. Long-term
dynamics of single relativistic stars”, Phys. Rev. D, 65, 084024, 1–18, (2002). [DOI], [ADS]. (Cited
on page 78.)
[79] Fornberg, B., Practical Guide to Pseudospectral Methods, Cambridge Monographs on Applied and
Computational Mathematics, (Cambridge University Press, Cambridge; New York, 1995). [Google
Books]. (Cited on pages 7 and 46.)
[80] Foucart, F., Kidder, L.E., Pfeiffer, H.P. and Teukolsky, S.A., “Initial value problem for black hole-
neutron star binaries: a flexible, high-accuracy spectral method”, Phys. Rev. D, 77, 124051, 1–20,
(2008). [DOI], [ADS]. (Cited on page 73.)
[81] Frauendiener, J., “Calculating initial data for the conformal Einstein equations by pseudo-spectral
methods”, J. Comput. Appl. Math., 109, 475–491, (1999). [DOI], [ADS], [gr-qc/9806103]. (Cited on
pages 9, 36, 74, and 87.)
[82] Friedrich, H., “On the hyperbolicity of Einstein’s and other gauge field equations”, Commun. Math.
Phys., 100, 525–543, (1985). [DOI]. (Cited on page 79.)
[83] Friedrich, H. and Nagy, G., “The Initial Boundary Value Problem for Einstein’s Vacuum Field
Equation”, Commun. Math. Phys., 201, 619–655, (1999). [DOI], [ADS]. (Cited on page 38.)
[84] Fryer, C.L. and New, K.C.B., “Gravitational Waves from Gravitational Collapse”, Living Rev. Rel-
ativity, 6, lrr-2003-2, (2003). URL (accessed 19 January 2007):
http://www.livingreviews.org/lrr-2003-2. (Cited on pages 75 and 76.)
[85] Funaro, D. and Gottlieb, D., “A New Method of Imposing Boundary Conditions in Pseudospectral
Approximations of Hyperbolic Equations”, Math. Comput., 51, 599–613, (1988). [DOI]. (Cited on
page 53.)
[86] Garfinkle, D., “Harmonic coordinate method for simulating generic singularities”, Phys. Rev. D, 65,
044029, (2002). [DOI], [ADS]. (Cited on page 79.)
[87] Gondek-Rosińska, D., Bejger, M., Bulik, T., Gourgoulhon, E., Haensel, P., Limousin, F., Taniguchi,
K. and Zdunik, J.L., “The final phase of inspiral of neutron stars: Realistic equations of state”, Adv.
Space Res., 39, 271–274, (2007). [DOI], [ADS]. (Cited on page 69.)
[88] Gondek-Rosińska, D., Bulik, T., Zdunik, J.L., Gourgoulhon, E., Ray, S., Dey, J. and Dey, M.,
“Rapidly rotating compact strange stars”, Astron. Astrophys., 363, 1005–1012, (2000). [ADS].
(Cited on page 64.)
[89] Gondek-Rosińska, D. and Gourgoulhon, E., “Jacobi-like bar mode instability of relativistic rotating
bodies”, Phys. Rev. D, 66, 044021, 1–11, (2002). [DOI], [ADS]. (Cited on page 63.)
[90] Gondek-Rosińska, D., Gourgoulhon, E. and Haensel, P., “Are rotating strange quark stars good
sources of gravitational waves?”, Astron. Astrophys., 412, 777–790, (2003). [DOI], [ADS]. (Cited
on page 64.)
[91] Gondek-Rosińska, D. and Limousin, F., “The final phase of inspiral of strange quark star binaries”,
arXiv, e-print, (2008). [arXiv:0801.4829]. (Cited on page 69.)
[92] Gondek-Rosińska, D., Stergioulas, N., Bulik, T., Kluźniak, W. and Gourgoulhon, E., “Lower limits
on the maximum orbital frequency around rotating strange stars”, Astron. Astrophys., 380, 190–197,
(2001). [DOI], [ADS]. (Cited on page 64.)
[93] González, J.A., Hannam, M., Sperhake, U., Brügmann, B. and Husa, S., “Supermassive Recoil
Velocities for Binary Black-Hole Mergers with Antialigned Spins”, Phys. Rev. Lett., 98, 231101,
(2007). [DOI], [ADS]. (Cited on page 84.)
[94] Gottlieb, D. and Orszag, S.A., Numerical Analysis of Spectral Methods: Theory and Applications,
Regional Conference Series in Applied Mathematics, 26, (SIAM, Philadelphia, 1977). [Google Books].
(Cited on pages 7, 51, and 55.)
[95] Gourgoulhon, E., “Simple equations for general relativistic hydrodynamics in spherical symmetry
applied to neutron star collapse”, Astron. Astrophys., 252, 651–663, (1991). [ADS]. (Cited on
pages 9, 75, 77, and 78.)
[96] Gourgoulhon, E., “1D numerical relativity applied to neutron star collapse”, Class. Quantum Grav.,
9, S117–S125, (1992). [DOI], [ADS]. (Cited on page 77.)
[97] Gourgoulhon, E., “3+1 formalism and Bases of Numerical Relativity”, arXiv, e-print, (2007).
[arXiv:gr-qc/0703035]. (Cited on pages 9 and 80.)
[98] Gourgoulhon, E., Grandclément, P. and Bonazzola, S., “Binary black holes in circular orbits. I. A
global spacetime approach”, Phys. Rev. D, 65, 044020, (2002). [DOI], [ADS]. (Cited on pages 70
and 71.)
[99] Gourgoulhon, E., Grandclément, P., Marck, J.-A. and Novak, J., “LORENE: Langage Objet pour la
RElativité NumériquE”, project homepage, L’Observatoire de Paris. URL (accessed 9 March 2007):
http://www.lorene.obspm.fr. (Cited on pages 42, 66, 73, 82, 84, and 85.)
[100] Gourgoulhon, E., Grandclément, P., Taniguchi, K., Marck, J.-A. and Bonazzola, S., “Quasiequilib-
rium sequences of synchronized and irrotational binary neutron stars in general relativity. Methods
and tests”, Phys. Rev. D, 63, 064029, (2001). [DOI], [ADS]. (Cited on pages 38, 68, 69, and 70.)
[101] Gourgoulhon, E. and Haensel, P., “Upper bounds on the neutrino burst from collapse of a neutron
star into a black hole”, Astron. Astrophys., 271, 187–208, (1993). [ADS]. (Cited on page 77.)
[102] Gourgoulhon, E., Haensel, P. and Gondek, D., “Maximum mass instability of neutron stars and weak
interaction processes in dense matter”, Astron. Astrophys., 294, 747–756, (1995). [ADS]. (Cited on
pages 77 and 78.)
[103] Gourgoulhon, E., Haensel, P., Livine, R., Paluch, E., Bonazzola, S. and Marck, J.-A., “Fast rotation
of strange stars”, Astron. Astrophys., 349, 851–862, (1999). [ADS]. (Cited on page 64.)
[104] Gourgoulhon, E. and Jaramillo, J.L., “A 3+1 perspective on null hypersurfaces and isolated hori-
zons”, Phys. Rep., 423, 159–294, (2006). [DOI], [ADS]. (Cited on page 43.)
[105] Gourgoulhon, E. and Jaramillo, J.L., “Area evolution, bulk viscosity, and entropy principles for
dynamical horizons”, Phys. Rev. D, 74, 087502, 1–4, (2006). [DOI], [ADS], [gr-qc/0607050v2]. (Cited
on page 80.)
[106] Goussard, J.O., Haensel, P. and Zdunik, J.L., “Rapid uniform rotation of protoneutron stars”,
Astron. Astrophys., 321, 822–834, (1997). [ADS]. (Cited on page 65.)
[107] Goussard, J.O., Haensel, P. and Zdunik, J.L., “Rapid differential rotation of protoneutron stars and
constraints on radio pulsars periods”, Astron. Astrophys., 330, 1005–1016, (1998). [ADS]. (Cited
on page 65.)
[108] Grandclément, P., “Accurate and realistic initial data for black hole-neutron star binaries”, Phys.
Rev. D, 74, 124002, (2006). [DOI], [ADS]. (Cited on page 73.)
[109] Grandclément, P., Bonazzola, S., Gourgoulhon, E. and Marck, J.-A., “A multidomain spectral
method for scalar and vectorial poisson equations with noncompact sources”, J. Comput. Phys.,
170, 231–260, (2001). [DOI], [ADS]. (Cited on pages 11, 36, 38, 42, 68, and 72.)
[110] Grandclément, P., Gourgoulhon, E. and Bonazzola, S., “Binary black holes in circular orbits. II.
Numerical methods and first results”, Phys. Rev. D, 65, 044021, 1–18, (2002). [DOI], [ADS]. (Cited
on pages 9, 70, and 71.)
[111] Gundlach, C., Calabrese, G., Hinder, I. and Martı́n-Garcı́a, J.M., “Constraint damping in the Z4
formulation and harmonic gauge”, Class. Quantum Grav., 22, 3767–3773, (2005). [DOI], [ADS].
(Cited on page 80.)
[112] Guo, B.-Y., Ma, H.-P. and Tadmor, E., “Spectral Vanishing Viscosity Method For Nonlinear Con-
servation Laws”, SIAM J. Numer. Anal., 39, 1254–1268, (2001). [DOI]. (Cited on page 76.)
[113] Hennig, J. and Ansorg, M., “A Fully Pseudospectral Scheme for Solving Singular Hyperbolic Equa-
tions on Conformally Compactified Space-Times”, arXiv, e-print, (2008). [arXiv:0801.1455]. (Cited
on pages 46 and 61.)
[114] Herrmann, F., Hinder, I., Shoemaker, D.M., Laguna, P. and Matzner, R.A., “Binary black holes:
Spin dynamics and gravitational recoil”, Phys. Rev. D, 76, 084032, 1–11, (2007). [DOI], [ADS].
(Cited on page 84.)
[115] Hesthaven, J.S., “Spectral penalty methods”, Appl. Numer. Math., 33, 23–41, (2000). [DOI]. (Cited
on pages 53 and 54.)
[116] Hesthaven, J.S. and Gottlieb, D., “A Stable Penalty Method for the Compressible Navier-Stokes
Equations: I. Open Boundary Conditions”, SIAM J. Sci. Comput., 17, 579–612, (1996). [DOI].
(Cited on page 54.)
[117] Hesthaven, J.S., Gottlieb, S. and Gottlieb, D., Spectral Methods for Time-Dependent Problems,
Cambridge Monographs on Applied and Computational Mathematics, 21, (Cambridge University
Press, Cambridge; New York, 2007). [Google Books]. (Cited on pages 7 and 60.)
[118] Hockney, R.W. and Eastwood, J.W., Computer Simulation Using Particles, (McGraw-Hill, New
York, 1981). [Google Books]. (Cited on page 9.)
[119] Hollerbach, R., “A spectral solution of the magneto-convection equations in spherical geometry”,
Int. J. Numer. Meth. Fluids, 32, 773–797, (2000). [DOI], [ADS]. (Cited on page 9.)
[120] Holst, M., Lindblom, L., Owen, R., Pfeiffer, H.P., Scheel, M.A. and Kidder, L.E., “Optimal constraint
projection for hyperbolic evolution systems”, Phys. Rev. D, 70, 084017, 1–17, (2004). [DOI], [ADS].
(Cited on pages 80 and 81.)
[121] Ierley, G., Spencer, B. and Worthing, R., “Spectral Methods in Time for a Class of Parabolic Partial
Differential Equations”, J. Comput. Phys., 102, 88–97, (1992). [DOI], [ADS]. (Cited on page 46.)
[122] Isaacson, E. and Keller, H.B., Analysis of Numerical Methods, (John Wiley and Sons, New York,
1966). [Google Books]. (Cited on page 16.)
[123] Jaramillo, J.L., Ansorg, M. and Limousin, F., “Numerical implementation of isolated horizon bound-
ary conditions”, Phys. Rev. D, 75, 024019, 1–11, (2007). [DOI], [ADS]. (Cited on pages 43 and 66.)
[124] Kassam, A.-K. and Trefethen, L.N., “Fourth-Order Time-Stepping for Stiff PDEs”, SIAM J. Sci.
Comput., 26, 1214–1233, (2005). [DOI]. (Cited on page 61.)
[125] Kidder, L.E. and Finn, L.S., “Spectral methods for numerical relativity: The initial data problem”,
Phys. Rev. D, 62, 084026, 1–13, (2000). [DOI], [ADS]. (Cited on pages 9, 37, 66, and 80.)
[126] Kidder, L.E., Lindblom, L., Scheel, M.A., Buchman, L.T. and Pfeiffer, H.P., “Boundary conditions
for the Einstein evolution system”, Phys. Rev. D, 71, 064020, 1–22, (2005). [DOI], [ADS]. (Cited
on pages 80, 81, and 83.)
[127] Kidder, L.E., Scheel, M.A. and Teukolsky, S.A., “Extending the lifetime of 3D black hole computa-
tions with a new hyperbolic system of evolution equations”, Phys. Rev. D, 64, 064017, 1–13, (2001).
[DOI], [ADS]. (Cited on pages 9, 42, 75, 80, 81, and 83.)
[128] Kidder, L.E., Scheel, M.A., Teukolsky, S.A., Carlson, E.D. and Cook, G.B., “Black hole evolution
by spectral methods”, Phys. Rev. D, 62, 084032, 1–20, (2000). [DOI], [ADS]. (Cited on pages 38,
75, and 83.)
[129] Klein, C., “Fourth-Order Time-Stepping for Low Dispersion Korteweg-de Vries and Nonlinear
Schrödinger Equation”, Electron. Trans. Numer. Anal., 29, 116–135, (2008). URL (accessed 10 June
2008):
http://etna.mcs.kent.edu/vol.29.2007-2008/pp116-135.dir/pp116-135.html. (Cited on
page 61.)
[130] Kokkotas, K.D. and Schmidt, B.G., “Quasi-Normal Modes of Stars and Black Holes”, Living Rev.
Relativity, 2, lrr-1999-2, (1999). URL (accessed 19 January 2007):
http://www.livingreviews.org/lrr-1999-2. (Cited on pages 75 and 78.)
[131] Korn, G.A. and Korn, T.M., in Mathematical Handbook for Scientists and Engineers: Definitions,
Theorems, and Formulas for Reference and Review, 6, pp. 179–186, (McGraw-Hill, New York, 1961).
[Google Books]. (Cited on pages 36 and 44.)
[132] Kudoh, H. and Wiseman, T., “Connecting Black Holes and Black Strings”, Phys. Rev. Lett., 94,
161102, (2005). [DOI], [ADS]. (Cited on page 44.)
[133] Limousin, F., Gondek-Rosińska, D. and Gourgoulhon, E., “Last orbits of binary strange quark stars”,
Phys. Rev. D, 71, 064012, 1–11, (2005). [DOI], [ADS]. (Cited on page 69.)
[134] Lin, L.-M. and Novak, J., “Rotating star initial data for a constrained scheme in numerical relativity”,
Class. Quantum Grav., 23, 4545–4561, (2006). [DOI], [ADS]. (Cited on page 63.)
[135] Lin, L.-M. and Novak, J., “A new spectral apparent horizon finder for 3D numerical relativity”,
Class. Quantum Grav., 24, 2665–2676, (2007). [DOI], [ADS]. (Cited on page 66.)
[136] Lindblom, L., Matthews, K.D., Rinne, O. and Scheel, M.A., “Gauge Drivers for the Generalized
Harmonic Einstein Equations”, Phys. Rev. D, 77, 084001, 1–17, (2008). [DOI], [ADS]. (Cited on
page 82.)
[137] Lindblom, L., Scheel, M.A., Kidder, L.E., Owen, R. and Rinne, O., “A new generalized harmonic
evolution system”, Class. Quantum Grav., 23, S447–S462, (2006). [DOI], [ADS]. (Cited on pages 80,
81, 83, and 86.)
[138] Lindblom, L., Scheel, M.A., Kidder, L.E., Pfeiffer, H.P., Shoemaker, D. and Teukolsky, S.A., “Con-
trolling the growth of constraints in hyperbolic evolution systems”, Phys. Rev. D, 69, 124025, 1–14,
(2004). [DOI], [ADS]. (Cited on pages 80 and 81.)
[139] Lindblom, L., Tohline, J.E. and Vallisneri, M., “Numerical evolutions of nonlinear 𝑟-modes in neutron
stars”, Phys. Rev. D, 65, 084039, 1–15, (2002). [DOI], [ADS], [arXiv:astro-ph/0109352]. (Cited on
page 78.)
[140] Lindquist, R.W., “Initial-Value Problem on Einstein-Rosen Manifolds”, J. Math. Phys., 4, 938–950,
(1963). [DOI], [ADS]. (Cited on page 70.)
[141] Liu, Y.T., Shapiro, S.L., Etienne, Z.B. and Taniguchi, K., “General relativistic simulations of mag-
netized binary neutron star mergers”, Phys. Rev. D, 78, 024012, 1–20, (2008). [DOI], [ADS]. (Cited
on page 84.)
[142] Lockitch, K.H., Friedman, J.L. and Andersson, N., “Rotational modes of relativistic stars: Numerical
results”, Phys. Rev. D, 68, 124010, 1–23, (2003). [DOI], [ADS]. (Cited on page 78.)
[143] Lovelace, G., Owen, R., Pfeiffer, H.P. and Chu, T., “Binary-black-hole initial data with nearly
extremal spins”, Phys. Rev. D, 78, 084017, (2008). [DOI], [ADS], [arXiv:0805.4192]. (Cited on
page 72.)
[144] Løvgren, A.E., Maday, Y. and Rønquist, E.M., “The Reduced Basis Element Method for Fluid
Flows”, in Calgaro, C., Coulombel, J.-F. and Goudon, T., eds., Analysis and Simulation of Fluid
Dynamics, Advances in Mathematical Fluid Mechanics, pp. 129–154, (Birkhäuser, Basel; Boston,
2007). (Cited on page 38.)
[145] Martı́, J.M. and Müller, E., “Numerical Hydrodynamics in Special Relativity”, Living Rev. Relativity,
6, lrr-2003-7, (2003). URL (accessed 20 February 2007):
http://www.livingreviews.org/lrr-2003-7. (Cited on page 76.)
[146] Mathews, J., “Gravitational multipole radiation”, J. Soc. Ind. Appl. Math., 10, 768–780, (1962).
[DOI]. (Cited on page 43.)
[147] Matzner, R.A., Huq, M.F. and Shoemaker, D.M., “Initial value problem and coordinates for multiple
black hole systems.”, Phys. Rev. D, 59, 024015, 1–6, (1998). [DOI], [ADS]. (Cited on page 62.)
[148] May, M.M. and White, R.H., “Hydrodynamic Calculations of General-Relativistic Collapse”, Phys.
Rev., 141, 1232–1241, (1966). [DOI], [ADS]. (Cited on page 76.)
[149] Meinardus, G., Approximation of Functions: Theory and Numerical Methods, Springer Tracts in
Natural Philosophy, 13, (Springer, Berlin; New York, 1967). (Cited on page 12.)
[150] Misner, C.W., “The Method of Images in Geometrostatics”, Ann. Phys. (N.Y.), 24, 102–117, (1963).
[DOI], [ADS]. (Cited on page 70.)
[151] Moore, S., Healy, D., Rockmore, D. and Kostelec, P., “Fast Spherical Harmonic Transforms: Sphar-
monicKit”, project homepage, Dartmouth College. URL (accessed 19 January 2007):
http://www.cs.dartmouth.edu/~geelong/sphere/. (Cited on pages 11 and 42.)
[152] Nakamura, T., Kojima, Y. and Oohara, K., “A method of determining apparent horizons in three-
dimensional numerical relativity”, Phys. Lett. A, 106, 235–238, (1984). [DOI], [ADS]. (Cited on
page 42.)
[153] Nakamura, T. and Sato, H., “General Relativistic Collapse of Rotating Supermassive Stars”, Prog.
Theor. Phys., 66, 2038–2051, (1981). [DOI], [ADS]. (Cited on page 77.)
[154] Nakamura, T. and Sato, H., “General Relativistic Collapse of Non-Rotating, Axisymmetric Stars”,
Prog. Theor. Phys., 67, 1396–1405, (1982). [DOI], [ADS]. (Cited on page 77.)
[155] Novak, J., “Neutron star transition to a strong-scalar-field state in tensor-scalar gravity”, Phys. Rev.
D, 58, 064019, (1998). [DOI], [ADS]. (Cited on page 78.)
[156] Novak, J., “Spherical neutron star collapse toward a black hole in a tensor-scalar theory of gravity”,
Phys. Rev. D, 57, 4789–4801, (1998). [DOI], [ADS]. (Cited on pages 9, 75, and 78.)
[157] Novak, J. and Bonazzola, S., “Absorbing boundary conditions for simulation of gravitational waves
with spectral methods in spherical coordinates”, J. Comput. Phys., 197, 186–196, (2004). [DOI],
[ADS]. (Cited on pages 42, 50, 81, and 83.)
[158] Novak, J. and Ibáñez, J.M., “Gravitational Waves from the Collapse and Bounce of a Stellar Core
in Tensor-Scalar Gravity”, Astrophys. J., 533, 392–405, (2000). [DOI], [ADS]. (Cited on page 76.)
[159] Novak, J. and Marcq, E., “The gyromagnetic ratio of rapidly rotating compact stars in general
relativity”, Class. Quantum Grav., 20, 3051–3060, (2003). [DOI], [ADS]. (Cited on page 64.)
[160] Nozawa, T., Stergioulas, N., Gourgoulhon, E. and Eriguchi, Y., “Construction of highly accurate
models of rotating neutron stars - comparison of three different numerical schemes”, Astron. Astro-
phys. Suppl., 132, 431–454, (1998). [DOI], [ADS]. (Cited on page 62.)
[161] Oechslin, R. and Janka, H.-T., “Gravitational Waves from Relativistic Neutron-Star Mergers with
Microphysical Equations of State”, Phys. Rev. Lett., 99, 121102, (2007). [DOI], [ADS]. (Cited on
page 84.)
[162] Oppenheimer, J.R. and Snyder, H., “On Continued Gravitational Contraction”, Phys. Rev., 56,
455–459, (1939). [DOI], [ADS]. (Cited on page 77.)
[163] Ott, C.D., Dimmelmeier, H., Marek, A., Janka, H.-T., Hawke, I., Zink, B. and Schnetter, E., “3D
Collapse of Rotating Stellar Iron Cores in General Relativity Including Deleptonization and a Nuclear
Equation of State”, Phys. Rev. Lett., 98, 261101, (2007). [DOI], [ADS]. (Cited on page 76.)
[164] Ott, C.D., Dimmelmeier, H., Marek, A., Janka, H.-T., Zink, B., Hawke, I. and Schnetter, E., “Ro-
tating collapse of stellar iron cores in general relativity”, Class. Quantum Grav., 24, S139–S154,
(2007). [DOI], [ADS]. (Cited on pages 76 and 87.)
[165] Pan, Y. et al., “A data-analysis driven comparison of analytic and numerical coalescing binary
waveforms: Nonspinning case”, Phys. Rev. D, 77, 024014, (2008). [DOI], [arXiv:0704.1964]. (Cited
on page 84.)
[166] Patera, A.T., “A spectral element method for fluid dynamics: Laminar flow in a channel expansion”,
J. Comput. Phys., 54, 468–488, (1984). [DOI], [ADS]. (Cited on pages 38 and 44.)
[167] Pfeiffer, H.P., Initial value problem for black hole evolution, Ph.D. Thesis, (Cornell University, Ithaca,
N.Y., 2003). [gr-qc/0510016]. (Cited on pages 36, 37, 38, 71, and 73.)
[168] Pfeiffer, H.P., Brown, D.A., Kidder, L.E., Lindblom, L., Lovelace, G. and Scheel, M.A., “Reducing
orbital eccentricity in binary black hole simulations”, Class. Quantum Grav., 24, S59–S81, (2007).
[DOI], [ADS]. (Cited on pages 71 and 73.)
[169] Pfeiffer, H.P., Cook, G.B. and Teukolsky, S.A., “Comparing initial-data sets for binary black holes”,
Phys. Rev. D, 66, 024047, 1–17, (2002). [DOI], [ADS]. (Cited on page 71.)
[170] Pfeiffer, H.P., Kidder, L.E., Scheel, M.A. and Shoemaker, D.M., “Initial value problem for Einstein’s
equations with superposed gravitational waves”, Phys. Rev. D, 71, 024020, 1–9, (2005). [DOI], [ADS].
(Cited on page 73.)
[171] Pfeiffer, H.P., Kidder, L.E., Scheel, M.A. and Teukolsky, S.A., “A multidomain spectral method for
solving elliptic equations”, Comput. Phys. Commun., 152, 253–273, (2003). [DOI], [ADS]. (Cited
on pages 9, 36, 37, 42, 71, 72, and 73.)
[172] Pfeiffer, H.P., Teukolsky, S.A. and Cook, G.B., “Quasicircular orbits for spinning binary black holes”,
Phys. Rev. D, 62, 104018, (2000). [DOI], [ADS], [gr-qc/0006084]. (Cited on page 70.)
[173] Pollney, D. et al., “Recoil velocities from equal-mass binary black-hole mergers: a systematic
investigation of spin-orbit aligned configurations”, Phys. Rev. D, 76, 124002, (2007). [DOI],
[arXiv:0707.2559]. (Cited on page 84.)
[174] Postnov, K.A. and Yungelson, L.R., “The Evolution of Compact Binary Star Systems”, Living Rev.
Relativity, 9, lrr-2006-6, (2006). URL (accessed 19 January 2007):
http://www.livingreviews.org/lrr-2006-6. (Cited on page 75.)
[175] Pretorius, F., “Evolution of Binary Black-Hole Spacetimes”, Phys. Rev. Lett., 95, 121101, (2005).
[DOI], [ADS]. (Cited on pages 80, 84, and 86.)
[176] Pretorius, F., “Numerical relativity using a generalized harmonic decomposition”, Class. Quantum
Grav., 22, 425–451, (2005). [DOI], [ADS]. (Cited on pages 37, 79, 80, and 86.)
[177] Prix, R., Novak, J. and Comer, G.L., “Relativistic numerical models for stationary superfluid neutron
stars”, Phys. Rev. D, 71, 043005, 1–18, (2005). [DOI], [ADS]. (Cited on page 65.)
[178] Quarteroni, A., Sacco, R. and Saleri, F., Méthodes Numériques: Algorithmes, analyse et applications,
(Springer Italia, Milano, 2007). (Cited on pages 12, 13, and 15.)
[179] Rinne, O., “Stable radiation-controlling boundary conditions for the generalized harmonic Einstein
equations”, Class. Quantum Grav., 23, 6275–6300, (2006). [DOI], [ADS]. (Cited on pages 38 and 82.)
[180] Rinne, O., Lindblom, L. and Scheel, M.A., “Testing outer boundary treatments for the Einstein
equations”, Class. Quantum Grav., 24, 4053–4078, (2007). [DOI], [ADS]. (Cited on page 82.)
[181] Ruiz, M., Rinne, O. and Sarbach, O., “Outer boundary conditions for Einstein’s field equations in
harmonic coordinates”, Class. Quantum Grav., 24, 6349–6377, (2007). [DOI], [ADS]. (Cited on
page 82.)
[182] Saijo, M. and Gourgoulhon, E., “Viscosity driven instability in rotating relativistic stars”, Phys. Rev.
D, 74, 084006, 1–13, (2006). [DOI], [ADS]. (Cited on page 63.)
[183] Salgado, M., Bonazzola, S., Gourgoulhon, E. and Haensel, P., “High precision rotating neutron star
models I. Analysis of neutron star properties”, Astron. Astrophys., 291, 155–170, (1994). [ADS].
(Cited on page 63.)
[184] Salgado, M., Bonazzola, S., Gourgoulhon, E. and Haensel, P., “High precision rotating neutron
star models. II. Large sample of neutron star properties”, Astron. Astrophys. Suppl., 108, 455–459,
(1994). [ADS]. (Cited on page 63.)
[185] Scheel, M.A., Boyle, M., Chu, T., Kidder, L.E., Matthews, K.D. and Pfeiffer, H.P., “High-accuracy
waveforms for binary black hole inspiral, merger, and ringdown”, Phys. Rev. D, 79, 024003, (2009).
[DOI], [arXiv:0810.1767]. (Cited on pages 9, 84, and 86.)
[186] Scheel, M.A., Erickcek, A.L., Burko, L.M., Kidder, L.E., Pfeiffer, H.P. and Teukolsky, S.A., “3D
simulations of linearized scalar fields in Kerr spacetime”, Phys. Rev. D, 69, 104006, 1–11, (2004).
[DOI], [ADS]. (Cited on pages 80 and 83.)
[187] Scheel, M.A., Kidder, L.E., Lindblom, L., Pfeiffer, H.P. and Teukolsky, S.A., “Toward stable 3D
numerical evolutions of black-hole spacetimes”, Phys. Rev. D, 66, 124005, 1–4, (2002). [DOI], [ADS].
(Cited on pages 80, 81, and 83.)
[188] Scheel, M.A., Pfeiffer, H.P., Lindblom, L., Kidder, L.E., Rinne, O. and Teukolsky, S.A., “Solving
Einstein’s equations with dual coordinate frames”, Phys. Rev. D, 74, 104006, 1–13, (2006). [DOI],
[ADS]. (Cited on pages 37, 38, 42, 82, 85, and 86.)
[189] Shen, J., Tachim Medjo, T. and Wang, S., “On a Wind-Driven, Double-Gyre, Quasi-Geostrophic
Ocean Model: Numerical Simulations and Structural Analysis”, J. Comput. Phys., 155, 387–409,
(1999). [DOI], [ADS]. (Cited on page 9.)
[190] Shibata, M., “Axisymmetric Simulations of Rotating Stellar Collapse in Full General Relativity –
Criteria for Prompt Collapse to Black Holes –”, Prog. Theor. Phys., 104, 325–358, (2000). [DOI],
[ADS]. (Cited on page 77.)
[191] Shibata, M., “Axisymmetric general relativistic hydrodynamics: Long-term evolution of neutron
stars and stellar collapse to neutron stars and black holes”, Phys. Rev. D, 67, 024033, 1–24, (2003).
[DOI], [ADS]. (Cited on page 76.)
[192] Shibata, M., “Constraining Nuclear Equations of State Using Gravitational Waves from Hypermas-
sive Neutron Stars”, Phys. Rev. Lett., 94, 201101, (2005). [DOI], [ADS]. (Cited on page 84.)
[193] Shibata, M., Liu, Y.T., Shapiro, S.L. and Stephens, B.C., “Magnetorotational collapse of massive
stellar cores to neutron stars: Simulations in full general relativity”, Phys. Rev. D, 74, 104026, 1–28,
(2006). [DOI], [ADS]. (Cited on page 76.)
[194] Shibata, M. and Nakamura, T., “Evolution of three-dimensional gravitational waves: harmonic slicing
case”, Phys. Rev. D, 52, 5428–5444, (1995). [DOI], [ADS]. (Cited on pages 79 and 80.)
[195] Shibata, M. and Sekiguchi, Y., “Gravitational waves from axisymmetric rotating stellar core collapse
to a neutron star in full general relativity”, Phys. Rev. D, 69, 084024, 1–16, (2004). [DOI], [ADS].
(Cited on pages 69 and 76.)
[196] Shibata, M., Taniguchi, K. and Uryū, K., “Merger of binary neutron stars of unequal mass in full
general relativity”, Phys. Rev. D, 68, 084020, (2003). [DOI], [ADS]. (Cited on page 84.)
[197] Shibata, M. and Uryū, K., “Merger of black hole-neutron star binaries: nonspinning black hole case”,
Phys. Rev. D, 74, 121503(R), (2006). [DOI], [ADS]. (Cited on page 84.)
[198] Shibata, M. and Uryū, K., “Merger of black hole-neutron star binaries in full general relativity”,
Class. Quantum Grav., 24, S125–S137, (2007). [DOI]. (Cited on page 84.)
[199] Shiromizu, T. and Shibata, M., “Black holes in the brane world: Time symmetric initial data”, Phys.
Rev. D, 62, 127502, 1–4, (2000). [DOI], [ADS], [hep-th/0007203]. (Cited on page 44.)
[200] Shu, C.W., “A survey of strong stability preserving high order time discretizations”, in Estep, D.
and Tavener, S., eds., Collected Lectures on the Preservation of Stability under Discretization, pp.
51–65, (SIAM, Philadelphia, 2002). [Google Books]. (Cited on page 60.)
[201] Sommerfeld, A., Partial Differential Equations in Physics, (Academic Press, New York, 1949).
[Google Books]. (Cited on pages 38 and 81.)
[202] Sorkin, E., Kol, B. and Piran, T., “Caged black holes: Black holes in compactified spacetimes. II.
5D numerical implementation”, Phys. Rev. D, 69, 064032, 1–23, (2004). [DOI], [ADS]. (Cited on
page 44.)
[203] Stark, R.F. and Piran, T., “Gravitational-Wave Emission from Rotating Gravitational Collapse”,
Phys. Rev. Lett., 55, 891–894, (1985). [DOI], [ADS]. (Cited on page 77.)
[204] Stephens, B.C., Duez, M.D., Liu, Y.T., Shapiro, S.L. and Shibata, M., “Collapse and black hole
formation in magnetized, differentially rotating neutron stars”, Class. Quantum Grav., 24, S207–
S219, (2007). [DOI], [ADS]. (Cited on page 77.)
[205] Stergioulas, N., “Rotating Stars in Relativity”, Living Rev. Relativity, 6, lrr-2003-3, (2003). URL
(accessed 10 June 2008):
http://www.livingreviews.org/lrr-2003-3. (Cited on page 75.)
[206] Stergioulas, N. and Font, J.A., “Nonlinear 𝑟-modes in rapidly rotating relativistic stars”, Phys. Rev.
Lett., 86, 1148–1151, (2001). [DOI], [ADS], [arXiv:gr-qc/0007086]. (Cited on page 78.)
[207] Stewart, J.M., “The Cauchy problem and the initial boundary value problem in numerical relativity”,
Class. Quantum Grav., 15, 2865–2889, (1998). [DOI], [ADS]. (Cited on page 81.)
[208] Taniguchi, K., Baumgarte, T.W., Faber, J.A. and Shapiro, S.L., “Black hole-neutron star binaries
in general relativity: Effects of neutron star spin”, Phys. Rev. D, 72, 044008, (2005). [DOI], [ADS].
(Cited on page 73.)
[209] Taniguchi, K., Baumgarte, T.W., Faber, J.A. and Shapiro, S.L., “Quasiequilibrium sequences of
black-hole–neutron-star binaries in general relativity”, Phys. Rev. D, 74, 041502(R), (2006). [DOI],
[ADS]. (Cited on pages 73 and 85.)
[210] Taniguchi, K., Baumgarte, T.W., Faber, J.A. and Shapiro, S.L., “Quasiequilibrium black hole-
neutron star binaries in general relativity”, Phys. Rev. D, 75, 084005, (2007). [DOI], [ADS]. (Cited
on page 73.)
[211] Taniguchi, K., Baumgarte, T.W., Faber, J.A. and Shapiro, S.L., “Relativistic black hole-neutron
star binaries in quasiequilibrium: effects of the black hole excision boundary condition”, Phys. Rev.
D, 77, 044003, (2008). [DOI], [ADS]. (Cited on page 73.)
[212] Taniguchi, K. and Gourgoulhon, E., “Equilibrium sequences of synchronized and irrotational binary
systems composed of different mass stars in Newtonian gravity”, Phys. Rev. D, 65, 044027, 1–16,
(2002). [DOI], [ADS]. (Cited on page 68.)
[213] Taniguchi, K. and Gourgoulhon, E., “Quasiequilibrium sequences of synchronized and irrotational
binary neutron stars in general relativity. III. Identical and different mass stars with 𝛾 = 2”, Phys.
Rev. D, 66, 104019, (2002). [DOI], [ADS]. (Cited on pages 68 and 69.)
[214] Taniguchi, K. and Gourgoulhon, E., “Various features of quasiequilibrium sequences of binary neu-
tron stars in general relativity”, Phys. Rev. D, 68, 124025, (2003). [DOI], [ADS]. (Cited on pages 68,
69, and 70.)
[215] Taniguchi, K., Gourgoulhon, E. and Bonazzola, S., “Quasiequilibrium sequences of synchronized
and irrotational binary neutron stars in general relativity. II. Newtonian limits”, Phys. Rev. D, 64,
064012, 1–19, (2001). [DOI], [ADS]. (Cited on page 68.)
[216] Temperton, C., “On scalar and vector transform methods for global spectral models”, Mon. Weather
Rev., 119, 1303–1307, (1991). (Cited on page 9.)
[217] “The Cactus Code”, project homepage, Max Planck Institute for Gravitational Physics. URL (ac-
cessed 15 April 2008):
http://www.cactuscode.org/. (Cited on page 76.)
[218] Thorne, K.S., “Multipole expansions of gravitational radiation”, Rev. Mod. Phys., 52, 299–339,
(1980). [DOI], [ADS]. (Cited on page 43.)
[219] Tichy, W., “Black hole evolution with the BSSN system by pseudospectral methods”, Phys. Rev. D,
74, 084005, 1–10, (2006). [DOI], [ADS]. (Cited on pages 9, 36, 42, 80, 81, and 83.)
[220] Tichy, W. and Marronetti, P., “Binary black hole mergers: Large kicks for generic spin orientations”,
Phys. Rev. D, 76, 061502, 1–5, (2007). [DOI], [ADS]. (Cited on page 84.)
[221] Tiglio, M., Lehner, L. and Neilsen, D., “3D simulations of Einstein’s equations: Symmetric hyperbol-
icity, live gauges, and dynamic control of the constraints”, Phys. Rev. D, 70, 104018, 1–22, (2004).
[DOI], [ADS]. (Cited on page 81.)
[222] Uryū, K. and Eriguchi, Y., “New numerical method for constructing quasiequilibrium sequences of
irrotational binary neutron stars in general relativity.”, Phys. Rev. D, 61, 124023, 1–19, (2000).
[DOI], [ADS]. (Cited on pages 62 and 68.)
[223] Uryū, K., Limousin, F., Friedman, J.L., Gourgoulhon, E. and Shibata, M., “Binary Neutron Stars:
Equilibrium Models beyond Spatial Conformal Flatness”, Phys. Rev. Lett., 97, 171101, (2006). [DOI],
[ADS]. (Cited on page 69.)
[224] Villain, L. and Bonazzola, S., “Inertial modes in slowly rotating stars: An evolutionary description”,
Phys. Rev. D, 66, 123001, 1–25, (2002). [DOI], [ADS]. (Cited on pages 78 and 79.)
[225] Villain, L., Bonazzola, S. and Haensel, P., “Inertial modes in stratified rotating neutron stars: An
evolutionary description”, Phys. Rev. D, 71, 083001, 1–26, (2005). [DOI], [ADS]. (Cited on page 79.)
[226] Villain, L., Pons, J.A., Cerdá-Durán, P. and Gourgoulhon, E., “Evolutionary sequences of rotating
protoneutron stars”, Astron. Astrophys., 418, 283–294, (2004). [DOI], [ADS]. (Cited on page 65.)
[227] Wilson, J.R., Mathews, G.J. and Marronetti, P., “Relativistic numerical model for close neutron-star
binaries”, Phys. Rev. D, 54, 1317–1331, (1996). [DOI], [ADS]. (Cited on page 84.)
[228] Winicour, J., “Characteristic Evolution and Matching”, Living Rev. Relativity, 8, lrr-2005-10, (2005).
URL (accessed 19 January 2007):
http://www.livingreviews.org/lrr-2005-10. (Cited on page 42.)
[229] York Jr, J.W., “Kinematics and Dynamics of General Relativity”, in Smarr, L.L., ed., Sources of
Gravitational Radiation, Proceedings of the Battelle Seattle Workshop, July 24 – August 4, 1978, pp.
83–126, (Cambridge University Press, Cambridge; New York, 1979). [ADS], [Google Books]. (Cited
on page 80.)
[230] Yoshino, H., Shiromizu, T. and Shibata, M., “Close-slow analysis for head-on collision of two black
holes in higher dimensions: Bowen-York initial data”, Phys. Rev. D, 74, 124022, 1–15, (2006). [DOI],
[ADS]. (Cited on page 44.)
[231] Zdunik, J.L., Bejger, M., Haensel, P. and Gourgoulhon, E., “Phase transitions in rotating neutron
stars cores: back bending, stability, corequakes, and pulsar timing”, Astron. Astrophys., 450, 747–
758, (2006). [DOI], [ADS]. (Cited on page 63.)
[232] Zdunik, J.L., Bejger, M., Haensel, P. and Gourgoulhon, E., “Energy release associated with a first-
order phase transition in a rotating neutron star core”, Astron. Astrophys., 465, 533–539, (2007).
[DOI], [ADS]. (Cited on page 63.)
[233] Zdunik, J.L., Bejger, M., Haensel, P. and Gourgoulhon, E., “Strong first-order phase transition in
a rotation neutron star core and the associated energy release”, Astron. Astrophys., 479, 515–522,
(2008). [DOI], [ADS]. (Cited on page 63.)
[234] Zdunik, J.L. and Gourgoulhon, E., “Small strange stars and marginally stable orbit in Newtonian
theory”, Phys. Rev. D, 63, 087501, 1–4, (2001). [DOI], [ADS]. (Cited on page 64.)
[235] Zdunik, J.L., Haensel, P., Gondek-Rosińska, D. and Gourgoulhon, E., “Innermost stable circular
orbits around strange stars and kHz QPOs in low-mass X-ray binaries”, Astron. Astrophys., 356,
612–618, (2000). [ADS]. (Cited on page 64.)
[236] Zdunik, J.L., Haensel, P. and Gourgoulhon, E., “The crust of rotating strange quark stars”, Astron.
Astrophys., 372, 535–543, (2001). [DOI], [ADS]. (Cited on page 65.)
[237] Zdunik, J.L., Haensel, P. and Gourgoulhon, E., “Recycling strange stars to millisecond periods”,
Astron. Astrophys., 381, 933–940, (2002). [DOI], [ADS]. (Cited on page 64.)
[238] Zdunik, J.L., Haensel, P., Gourgoulhon, E. and Bejger, M., “Hyperon softening of the EOS of dense
matter and the spin evolution of isolated neutron stars”, Astron. Astrophys., 416, 1013–1022, (2004).
[DOI], [ADS]. (Cited on page 63.)
[239] Zerilli, F.J., “Tensor Harmonics in Canonical Form for Gravitational Radiation and Other Applica-
tions”, J. Math. Phys., 11, 2203–2208, (1970). [DOI], [ADS]. (Cited on page 43.)