Hyperboloidal approach for static spherically symmetric spacetimes: a didactical introduction and applications in black-hole physics

This work offers a didactical introduction to the calculations and geometrical properties of a static, spherically symmetric spacetime foliated by hyperboloidal time surfaces. We discuss the various degrees of freedom involved, namely the height function, responsible for introducing the hyperboloidal time coordinate, and a radial compactification function. A central outcome is the expression of the Trautman-Bondi mass in terms of the hyperboloidal metric functions. Moreover, we apply this formalism to a class of wave equations commonly used in black-hole perturbation theory. Additionally, we provide a comprehensive derivation of the hyperboloidal minimal gauge, introducing two alternative approaches within this conceptual framework: the in-out and out-in strategies. Specifically, we demonstrate that the height function in the in-out strategy follows from the well-known tortoise coordinate by changing the sign of the terms that become singular at future null infinity. Similarly, for the out-in strategy, a sign change also occurs in the tortoise coordinate's regular terms. We apply the methodology to the following spacetimes: Singularity-approaching slices in Schwarzschild, higher-dimensional black holes, black hole with matter halo, and Reissner-Nordström-de Sitter. From this heuristic study, we conjecture that the out-in strategy is best adapted for black hole geometries that account for environmental or effective quantum effects. This article is part of a discussion meeting issue 'At the interface of asymptotics, conformal methods and analysis in general relativity'.

Continuum and Discrete Initial-Boundary Value Problems and Einstein's Field Equations

Many evolution problems in physics are described by partial differential equations on an infinite domain; therefore, one is interested in the solutions to such problems for a given initial dataset. A prominent example is the binary black-hole problem within Einstein's theory of gravitation, in which one computes the gravitational radiation emitted from the inspiral of the two black holes, merger and ringdown. Powerful mathematical tools can be used to establish qualitative statements about the solutions, such as their existence, uniqueness, continuous dependence on the initial data, or their asymptotic behavior over large time scales. However, one is often interested in computing the solution itself, and unless the partial differential equation is very simple, or the initial data possesses a high degree of symmetry, this computation requires approximation by numerical discretization. When solving such discrete problems on a machine, one is faced with a finite limit to computational resources, which leads to the replacement of the infinite continuum domain with a finite computer grid. This, in turn, leads to a discrete initial-boundary value problem. The hope is to recover, with high accuracy, the exact solution in the limit where the grid spacing converges to zero with the boundary being pushed to infinity. The goal of this article is to review some of the theory necessary to understand the continuum and discrete initial boundary-value problems arising from hyperbolic partial differential equations and to discuss its applications to numerical relativity; in particular, we present well-posed initial and initial-boundary value formulations of Einstein's equations, and we discuss multi-domain high-order finite difference and spectral methods to solve them.