In this paper we apply KAM theory and the Aubry-Mather theory for twist maps to the study of bound geodesic dynamics of a perturbed blackhole background. The general theories apply mainly to two observable phenomena: the photon shell (unstable bound spherical orbits) and the quasi-periodic oscillations. We discover there is a gap structure in the photon shell that can be used to reveal information of the perturbation.
In this paper, we study the chaotic motion of a massive particle moving in a perturbed Schwarzschild or Kerr background. We discover three novel orbits that do not exist in the unperturbed cases. First, we find zoom-whirl orbits moving around the photon shell which simultaneously exhibits Arnold diffusion: large oscillations of particles angular momentum and energy. Next, we show the existence of oscillating orbits between a bounded region and infinity, analogous to Newtonian three-body problem. Thirdly, we find that in perturbed Kerr, there exists chaotic orbits around the event horizon that escapes the event horizon after approaching it.
We prove an analytic KAM-Theorem, which is used in [1], where the differential part of KAM-theory is discussed. Related theorems on analytic KAM-theory exist in the literature (e. g., among many others, [7], [8], [13]). The aim of the theorem presented here is to provide exactly the estimates needed in [1].
For scalar, electromagnetic, or gravitational wave propagation on a fixed Schwarzschild blackhole background, we describe the exact nonlocal radiation outer boundary conditions (ROBC) appropriate for a spherical outer boundary of finite radius enclosing the blackhole. Derivation of the ROBC is based on Laplace and spherical-harmonic transformation of the Regge-Wheeler equation, the PDE governing the wave propagation, with the resulting radial ODE an incarnation of the confluent Heun equation. For a given angular index l the ROBC feature integral convolution between a time-domain radiation boundary kernel (TDRK) and each of the corresponding 2l+1 spherical-harmonic modes of the radiating wave. The TDRK is the inverse Laplace transform of a frequency-domain radiation kernel (FDRK) which is essentially the logarithmic derivative of the asymptotically outgoing solution to the radial ODE. We numerically implement the ROBC via a rapid algorithm involving approximation of the FDRK by a rational function. Such an approximation is tailored to have relative error epsilon uniformly along the axis of imaginary Laplace frequency. Theoretically, epsilon is also a long-time bound on the relative convolution error. Via study of one-dimensional radial evolutions, we demonstrate that the ROBC capture the phenomena of quasinormal ringing and decay tails. Moreover, carrying out a numerical experiment in which a wave packet strikes the boundary at an angle, we find that the ROBC yield accurate results in a three-dimensional setting. Our work is a partial generalization to Schwarzschild wave propagation and Heun functions of the methods developed for flatspace wave propagation and Bessel functions by Alpert, Greengard, and Hagstrom.
Within the framework of Geodesic Brane Gravity, the deviation from General Relativity is parameterized by the conserved bulk energy. The corresponding geodesic evolution/nucleation of a de-Sitter brane is shown to be exclusively driven by a double-well Higgs potential, rather than by a plain cosmological constant. The (hairy) horizon serves then as the locus of unbroken $Z_{2}$ symmetry. The quartic structure of the scalar potential, singled out on finiteness grounds of the total (including the dark component) energy density, chooses the Hartle-Hawking no-boundary proposal.
We classify radial timelike geodesic motion of the exterior non-extremal Kerr spacetime by performing a taxonomy of inequivalent root structures of the first order radial geodesic equation using a novel compact notation and by implementing the constraints from polar, time and azimuthal motion. Four generic root structures with only simple roots give rise to eight non-generic root structures when either one root becomes coincident with the horizon, one root vanishes or two roots becomes coincident. We derive the explicit phase space of all such root systems in the basis of energy, angular momentum and Carters constant and classify whether each corresponding radial geodesic motion is allowed or disallowed from existence of polar, time and azimuthal motion. The classification of radial motion within the ergoregion for both positive and negative energies leads to 6 distinguished values of the Kerr angular momentum. The classification of null radial motion and near-horizon extremal Kerr radial motion are obtained as limiting cases and compared with the literature. We explicitly parametrize the separatrix describing root systems with double roots as the union of the following three regions that are described by the same quartic respectively obtained when (1) the pericenter of bound motion becomes a double root; (2) the eccentricity of bound motion becomes zero; (3) the turning point of unbound motion becomes a double root.