# An approach to stability analyses in general relativity via symplectic geometry

- 44 Downloads

## Abstract

We begin with a review of the statements of non-linear, linear and mode stability of autonomous dynamical systems in classical mechanics, using symplectic geometry. We then discuss what the Arnowitt–Deser–Misner (ADM) phase space and the ADM Hamiltonian of general relativity are, what constitutes a dynamical system, and subsequently present a nascent attempt to draw a formal analogy between the notions of stability in these two theories. We wish to note that we have not discussed here the construction of the reduced phase space by forming the quotient space of the constrained phase space with the gauge orbits. Our approach here is pedagogical and geometric, and the motivation is to unify and simplify a formal understanding of the statements regarding the stability of stationary solutions of general relativity. That is, typically the governing equations of motion of a Hamiltonian dynamical system are simply the flow equations of the associated symplectic Hamiltonian vector field, defined on phase space, and the non-linear stability analysis of its critical points have simply to do with the divergence of its flow there. Further, the linear stability of a critical point is related to the properties of the tangent flow of the Hamiltonian vector field. In the second half of this work, we posit that a study of the genericity of a particular black hole or naked singularity spacetime forming as an endstate of gravitational collapse is equivalent to an inquiry of how sensitive the orbits of the symplectic Hamiltonian vector field of general relativity are to changes in initial data. We demonstrate this by conducting a restricted non-linear stability analysis of the formation of a Schwarzschild black hole, working in the usual initial value formulation of general relativity.

## Mathematics Subject Classification

53D05 37M15 65P10 53D20 83C05 83C57 83C75## 1 Introduction

In the framework of general relativity (GR), spacetime is modelled by a 3 + 1-dimensional Lorentzian manifold equipped with a metric, which is a smooth, non-degenerate, symmetric two-tensor field. The governing dynamical equations of GR are the Einstein field equations (EFEs), which relate the local spacetime curvature, characterized by the metric tensor, with the local energy and momentum within that spacetime, described by a stress–energy tensor. Various well-known stationary solutions of the EFEs describe geometries of spacetimes that contain curvature singularities [68, 73, 82, 101, 102, 103, 113, 121, 129], and are of interest here. Depending on whether or not they are completely shielded from an asymptotic observer by an event horizon, these spacetimes are classified as containing either a black hole or a (globally visible) naked singularity, respectively [75]. Understanding how such novel objects form from gravitational collapse (existence), the genericity of their occurrence, their stability when they form and what observational features these objects would exhibit have been long standing sources of intrigue in the theoretical GR community. While black hole spacetimes possess a plethora of interesting physical features like event horizons, ergoregions, photon spheres, etc., the existence of a globally visible naked singularity represents the unique possibility of an observable extremely high-curvature, strong-gravity region. Naturally, such compact objects are sources of great astrophysical interest as well, with various large-scale astronomy missions like the Laser Interferometer Gravitational-Wave Observatory (LIGO), the Event Horizon Telescope (EHT; [2]), the Square Kilometre Array (SKA; [27]) and Fermi [15] actively looking to detect and study them.

Various instances of black holes and naked singularities forming as a result of gravitational collapse have been reported [26, 56, 81, 87, 104, 131, 133], and questions regarding the genericity of their occurrence have been explored extensively. Results like the Birkhoff theorem [24] and various other analytical [53, 54, 60, 61, 88, 98, 115, 120, 123] and numerical studies [18, 91, 99, 119, 140] have bolstered our expectation that black holes do, in fact, form as generic endstates of continual gravitational collapse. However, despite various important efforts [33, 38, 39, 40, 41, 46, 67, 76, 105, 106, 122], the genericity of evolutions of regular configurations of matter to naked singularities is less clear. That is, even if naked singularities do form for some particular choice of initial data of gravitational collapse *d* in the space of all allowed initial data \(\mathcal {D}\), do they also form for other arbitrary initial data chosen within an infinitesimal neighbourhood of *d* in \(\mathcal {D}\)? Further, how is this space of all allowed initial data \(\mathcal {D}\) partitioned into regions that produce black holes versus those that generate naked singularities? These are fundamental open questions in GR and are related to the cosmic censorship hypotheses [42, 71, 72, 108, 109, 110], which roughly require a positive or negative statement regarding whether the set of initial data that eventually lead to naked singularities make up a ‘sufficiently significant’ portion of the space of all allowed initial data. In Sect. 4, we will argue that when one inquires about the genericity of the formation of black holes or naked singularities (or any other astrophysical objects), one is in fact concerned about the non-linear stability of their formation processes against changes in initial data. This statement will become clear in Sect. 4.3 when we consider the evolution of different initial configurations of pressureless fluids to either black holes or naked singularities via the the Lemaître–Tolman–Bondi [26, 87, 131] collapse solutions of GR.

The study of the stability of these objects when they do form is naturally of fundamental importance in GR and theoretical astrophysics. For example, unless small ‘disturbances’ constrained to the exterior of a black hole or a naked singularity oscillate around the background metric without causing significant deviations in it, in the same way a mechanical system oscillates around a local minimum configuration of its potential energy, these solutions of GR would be astrophysically uninteresting (since they would imply that these objects are short-lived and therefore difficult to observe). One can also ask, in similar vein, whether more exotic objects like Bose stars [84], preon stars [66] or superspinars [65] can be stable.

Recognizing the importance of stability analyses of spacetimes in general relativity, a study of mode stability from the point of view of metric perturbations was attempted in a seminal paper by Regge and Wheeler [112]. Since the Kruskal–Szekeres extension of the Schwarzschild spacetime [86, 127] was not yet discovered at the time, the coordinate singularity at the Schwarzschild horizon made it difficult to ascertain whether or not divergences exhibited by perturbation at this surface were real. This study was eventually completed by Vishveshwara [134], who showed that the Schwarzschild spacetime is indeed mode stable. Zerilli [141] unified the discussion of stability analyses for Regge–Wheeler’s even and odd parity perturbations by discovering a transformation that connected the potentials for these two classes and a gauge-invariant formulation of metric perturbations was later provided by Moncrief [94]. An alternative approach via the Newman–Penrose [100] formalism was set up by Bardeen and Press [19] for the mode analysis of the Schwarzschild spacetime, which was later extended to the Kerr family by Teukolsky [130], and the celebrated result regarding the mode stability of Kerr black holes was obtained in the seminal paper of Whiting [137]. Various authors have since studied the stability of Kerr naked singularities [59], Kerr superspinars [97, 107] and other objects [4, 5, 6, 20, 21, 23, 31, 48, 49, 50, 83, 132].

Statements regarding the various notions of stability in GR are typically made in the initial value formulation of GR and there are several excellent review articles in the literature on the same [43, 51, 55, 114, 116, 117]. We propose here that restating these notions using symplectic geometry earns us substantial insight since one can then draw formal analogies between the seemingly abstruse notions of stability of spacetimes in general relativity and the more familiar notions of stability in classical Galilei–Newton mechanics.

The organization of this paper is as follows. In Sect. 2, we begin with a review of the phase space of classical mechanics (CM), how Hamiltonian flows defined on it and the notions of stability of classical mechanical systems. In Sect. 3, we begin by discussing the initial value formulation of general relativity and how valid initial data sets are defined. Then we briefly touch upon what the phase space and Hamiltonian of GR are, and attempt to draw a formal analogy to discuss the notions of stability of spacetimes in GR. As mentioned above, in Sect. 4 we demonstrate how, reverting back to the usual initial value formulation of GR, a typical non-linear stability analysis proceeds in GR. There we consider the class of Lemaître–Tolman–Bondi [26, 87, 131] dust collapse models, of which the Oppenheimer–Snyder–Datt (OSD, [56, 104]) collapse model is a member. The significance of this particular study is that the OSD collapse process terminates in the formation of a Schwarzschild black hole, and we are essentially analysing how changes in the initial data from which the collapse evolves (under Einstein’s field equations) affect its formation.

## 2 A geometric approach to stability in classical mechanics

In this section, we review the formal statements of non-linear, linear and mode stability of dynamical systems in classical Galilei–Newton mechanics. We begin with a quick summary of Hamilton’s equations and in Sect. 2.1, we restate their dynamical content in the language of symplectic geometry. In specific, Hamilton’s equations can equivalently be thought of as being the flow equations of an appropriately defined symplectic Hamiltonian vector field, with trajectories in phase space corresponding to flows of this vector field. We present the construction of the phase space of a classical mechanical system, which is a symplectic manifold, discuss what constitutes a Hamiltonian system and introduce the concept of the flow of the aforementioned Hamiltonian vector field. Since our eventual aim is to discuss the various formulations of stability analyses of such dynamical systems, we will also define ‘tangent (to the Hamiltonian vector field) flows’. In Sect. 2.2, we discuss the various notions of stability and it will become apparent that this geometric approach supplies valuable insight. In Sect. 3, we will transport the geometric intuition acquired here into the context of general relativity via a formal analogy.

Our discussions here will be limited to autonomous or time-independent Hamiltonian dynamical systems, whose descriptions on symplectic manifolds is well established [1, 3, 9, 29, 62, 63, 74, 89]. We take the view that a discussion of non-autonomous Hamiltonian systems does not add substantial additional insight towards our primary goal of highlighting the analogy between the notions of stability in CM and GR. Further, noting that non-autonomous Hamiltonian dynamical systems can, in various settings, be replaced by autonomous Hamiltonian dynamical systems defined on ‘extended phase space’ (see for example [125, 126]), we shall conveniently omit a review of such systems.

*n*-degrees of freedom is characterized by specifying its generalized coordinates \((q^1, q^2, \ldots , q^n)\) and momenta \((p_1, p_2, \ldots , p_n)\). The collection of all such possible states is called its phase space. Then, given a Hamiltonian function \(H(q^1, q^2, \ldots , q^n, p_1, p_2, \ldots , p_n)\) defined over phase space, the governing dynamical equations are the Hamilton equations given as,

### 2.1 Dynamics using symplectic geometry

The instantaneous configuration of an autonomous dynamical system, in classical mechanics, is described by the values of the *n*-generalized coordinates \((q^1, q^2, \ldots , q^n)\) and corresponds to a particular point *q* in configuration space *Q*. An element in the cotangent bundle \(T^*Q\) of configuration space consists of a 1-form defined in the cotangent space \(T_q^*Q\) at every point \(q\in Q\), and such a form is given by its *n*-components \((p_1, p_2, \ldots , p_n)\), which characterize the instantaneous generalized momentum of the system of interest (see for example Ch. 8 of [9]). These 2*n* numbers, denoted succinctly by \(z^a \equiv (q^1, q^2, \ldots , q^n, p_1, p_2, \ldots , p_n)\), with the index *a* running from 1 to 2*n*, form a collection of local coordinates for points in \(T^*Q\), which can then immediately be identified as the momentum phase space (henceforth, just phase space) of the dynamical system under consideration.

*n*-dimensional zero and identity matrices, we find \(X_H \equiv \Omega ~\text {d}H\). And in local coordinates we can write,

*H*is called a Hamiltonian function and \(X_H\) is the associated symplectic Hamiltonian vector field.

*t*. It is apparent now that Hamilton’s equations (1) are just the local flow equations of the symplectic Hamiltonian vector field \(X_H\) and \(\phi ^t_H(z_0)\) is the unique trajectory or future development in phase space of the Hamiltonian system with initial data \(z_0\). Finally, we define a Hamiltonian system itself as being given by the triple \((\Pi , \omega , X_H)\). We also note that while we have used local coordinates here, all of the above can be stated in a coordinate-independent manner, making it explicitly symplectomorphism-invariant.

### 2.2 Stability in classical mechanics

In classical mechanics, given a particular Hamiltonian system \((\Pi , \omega , X_H)\), equilibrium corresponds to a stationary state for variables describing such a system. This means that if a system has initial data \(z_0 = z_\star \), and under Hamiltonian evolution one finds a stationary solution \(z^a(t) = z^a_\star \), then \(z_\star \in \Pi \) is an equilibrium point of the dynamical system. It is clear from the flow equations (5) that the Hamiltonian vector field must have a critical point there, i.e. we have \(X_H(z_\star ) = 0\). One can now inquire after the nature of the stability of \(z_\star \). Such questions are typically concerned with the nature of future developments of initial data ‘close’ to it; i.e. under a ‘moderate’ change in initial data near a critical point, does the trajectory change drastically?

Alternate notions of stability of mechanical systems exist (see for example [57]). For example, the Kolmogorov–Arnold–Moser theory [7, 8, 85, 95] is an example of a framework within which stability of flows against moderate changes in the Hamiltonian function *H* itself are dealt with. This sort of a *structural* stability analysis is important in various scenarios [10, 96, 136]. Here however we shall purely concern ourselves with stability of future time evolutions against changes in initial data. To qualify the nature of the stability of equilibrium points, we provide below the formal definitions of the notions of non-linear (or Lyapunov), linear and mode (or spectral) stability. There exist other closely related notions of stability, namely of asymptotic or of exponential stability, but we will not go into these here (see Sect. 1 of [52] for a description of these ideas, in the context of general relativity).

### Definition 2.1

A critical point \(z_\star \in \Pi \) of a Hamiltonian system \((\Pi , \omega , X_H)\) is non-linearly stable (Lyapunov stable) if for every neighbourhood \(U \subset \Pi \) of \(z_\star \) there is a neighbourhood \(V \subset U\) of \(z_\star \) such that for every \(z \in V\) the corresponding orbit of the Hamiltonian vector field \(\phi ^t_H(z)\) remains in *U* for all \(t \ge 0\). Further, if \(z_\star \) is not stable, it is unstable.

A non-linear stability analysis of a critical point of a dynamical system is, in general, highly non-trivial since for arbitrary Hamiltonian functions, the associated vector field could define a non-linear flow and one is forced to look for solutions to complicated non-linear differential equations. Therefore, the extent of the stability (the size of the region of attraction and the behaviour of transients as they approach the equilibrium, for instance) is typically determined by the non-linearities of the system. However, due to the complexities involved in a non-linear stability analysis, as a preliminary measure, one considers the relatively simpler notions of linear stability.

*infinitesimal*neighbourhood \(\delta U_\star \subset \Pi \) of the equilibrium point \(z_\star \), and whether or not they converge to \(z_\star \) at late times \(t \rightarrow \infty \). For \(z \in \delta U_\star \), we now introduce \(\xi ^a(t) \equiv z^a(t) - z^a_\star \). Then since \(|\xi ^a(0)| \ll 1\), the Hamiltonian flow equations (5) can be rewritten as,

*H*. \(L_{H\star }\) is a constant Hamiltonian matrix, i.e. it satisfies \(L_{H\star }^T \Omega + \Omega L_{H\star } = 0\). Then, the equation of motions near a critical point, to leading order in \(|\xi ^a|\), are given as,

### Definition 2.2

A critical point \(z_\star \in \Pi \) of a Hamiltonian system \((\Pi , \omega , X_H)\) is linearly stable if all orbits of the tangent flow are bounded for all forward time.

*i*to match the usual convention in physics, and our discussion henceforth will be in terms of \(\sigma \). It is not difficult to show that the eigenvalues of a Hamiltonian matrix come in ± pairs [9]. Consequently, (9) has exponentially growing or decaying terms unless all \(\sigma \) lie on the real axis. When \(L_{H\star }\) is singular, to perform a linear stability analysis, one must naturally look at flows of the first non-singular higher-order symplectic derivative of the Hamiltonian function at the critical point \(\partial _{c_1}\partial _{c_2}\ldots \partial _{c_n}\Omega ^{ab}\partial _b H(z_\star )\).

However, studying the forward time boundedness of *every* solution \(\xi (t)\) of the linearized equations of motion is a demanding prospect, and a more tractable endeavour is to carefully examine the distribution of the eigenvalues of the Hamiltonian matrix \(L_{H\star }\), to find which eigenvectors represent stable and unstable directions in phase space. Now, the weakest statement (though still extremely useful) that can be made regarding the stability of a dynamical system is then as follows.

### Definition 2.3

A critical point \(z_\star \in \Pi \) of a Hamiltonian system \((\Pi , \omega , X_H)\) is mode stable (spectrally stable) if all eigenvalues of its corresponding linearization \(L_{H\star }\) lie in the left-half plane (or equivalently when all \(\sigma \) lie in the upper-half plane).

Then, eigenvectors corresponding to real \(\sigma \) are called normal modes and the eigenvalues \(\sigma \) themselves are called normal frequencies. Normal modes are the fundamental oscillatory modes of any conservative system. Similarly, eigenvectors corresponding to \(\sigma \) with non-zero imaginary parts are called quasi-normal modes (QNMs) and the corresponding eigenvalues \(\sigma \) are called quasi-normal frequencies (QNFs). These are the fundamental oscillatory modes of every dissipative system and the QNF is a complex number with two pieces of information: its real part corresponds to the temporal oscillation and its imaginary part captures the temporal rate of growth or decay. Therefore, from the properties of the linearization \(L_{H\star }\), one can identify the local stable and unstable manifolds of the critical point, denoted by \(E_{\star s}\) and \(E_{\star u}\), which are linear subspaces of \(T_{z_\star }\Pi \), of dimensions given by the number of stable (\(\text {Im}(\sigma ) \ge 0\)) and unstable eigenvalues, respectively, and spanned by the relevant eigenvectors and (in the degenerate case) generalized eigenvectors [58].

We note here a well-known comment regarding the relation between mode and linear stability. Mode stability excludes a particular type of exponentially growing solution; it does not rule out exponential growth in general let alone show that solutions are bounded or decay. The latter would correspond to full linear stability. The precise relation between the two, for autonomous Hamiltonian systems, is that an equilibrium is linearly stable if and only if it is mode stable and all the Jordan blocks of the associated linearization matrix \(L_{H\star }\) are one-dimensional [1, 11].

In summary, when examining the stability of a critical point, the first useful thing to do is to work in the linear approximation. However, for real applications, sometimes just a linear stability analysis can be very misleading and one must therefore pursue a study of the full non-linear stability of equilibria. Thus, non-linear stability \(\Rightarrow \) linear stability \(\Rightarrow \) mode stability. Hamiltonian systems that exhibit resonance are classic examples of dynamical systems whose equilibrium configurations are mode stable but linearly unstable (see for example p. 33 of [89]). An example of a Hamiltonian system that has a critical point that is linearly stable but non-linearly unstable is the famous Cherry [32].

Following [92], we now introduce the notions of a dynamical attractor and its basin of attraction; their use will become apparent in Sect. 3 when we discuss the stability of spacetimes in GR, and families of spacetimes. A critical point \(z_\star \) of a dynamical system is called an attractor if points in some strictly positive measure neighbourhood \(\rho (z_\star ) \subset \Pi \), called its realm of attraction, flow to \(z_\star \) in forward asymptotic time, i.e. for every \(z \in \rho (z_\star )\), \(\lim _{t \rightarrow \infty } \phi _H^t(z) \rightarrow z_\star \). If additionally the realm of attraction of such an attractor has the topology of an open set in \(\Pi \), then it is typically called a basin of attraction, which we shall denote by \(B(z_\star )\). Now, clearly, such an attractor corresponds to a linearly stable critical point, since \(B(z_\star )\) contains within it an infinitesimal open neighbourhood of the attractor \(\delta U_\star \). Further, the size of the basin of attraction of such an attractor is indicative of the extent of its non-linear (or Lyapunov) stability. If instead \(\rho (z_\star )\) is a lower dimensional smooth manifold, then it is generally called the stable manifold of the attractor, akin to \(E_{\star s}\) introduced above (note however that \(E_{\star s}\) has been defined to be a *local* stable manifold). Such types of attractors were first discussed in [16, 45, 90].

Further, when a dynamical system admits a compact set of critical points in phase space, one can introduce the notion of a compact invariant set \(C \subset \Pi \). Such sets *C* may be regarded as being generalizations of critical points [16]. If points in some strictly positive definite measure neighbourhood of *C*, which we will denote by \(\rho (C)\) and call the realm of attraction of *C*, flow to *C*, i.e. \(C = \bigcup \phi _H^t(z)\) for \(z \in \rho (C)\), then *C* is called a dynamical attractor. Completely analogous criterion for when a compact invariant set is an attractor with a basis of attraction are discussed in [92], and the size of its basis of attraction determines the extent of its non-linear stability.

## 3 Stability in general relativity

We begin with a brief review of the initial value formulation of general relativity, which is the typical setting of stability analyses in general relativity [51, 55]. To translate the statements regarding stability into the framework of symplectic geometry, one needs to discuss what the phase space [13], the symplectic structure [47] and the Hamiltonian [12] of GR are, thus forming the Hamiltonian system of interest \((\Pi , \omega , X_H)\). Then, by analogy with the analysis for classical mechanics presented earlier, it will become clear how one can think about the usual notions of stability of a given spacetime. We will also discuss the Cauchy problem of the Einstein field equations [43, 114, 116, 117] to indicate *when* one can use symplectic geometry to discuss stability. In our discussion here, we shall concern ourselves primarily with spacetimes devoid of matter, i.e. the only degrees of freedom of such a system are purely gravitational and the sole dynamical entity is the metric tensor *g*. At the end of this section, we will mention how one could carry this analogy through to include matter.

*R*is the associated Ricci scalar and we have used geometrized units, \(16\pi G = c = 1\). With the introduction of the associated Christoffel connections \(\Gamma ^\mu _{\ \rho \sigma } = \frac{1}{2}g^{\mu \alpha }\left( 2 g_{\alpha (\rho ,\sigma )} - g_{\rho \sigma ,\alpha }\right) \), the Riemann tensor \(R^{\rho }_{\ \mu \sigma \nu } = 2\left( \Gamma ^\rho _{\ \alpha [\mu }\Gamma ^\alpha _{\ \nu ]\sigma } - \Gamma ^\rho _{\ \sigma [\mu ,\nu ]}\right) \) and the Ricci tensor \(R_{\mu \nu } = R^{\rho }_{\ \mu \rho \nu }\), the Ricci scalar is given as \(R = g^{\mu \nu }R_{\mu \nu }\). Then the governing Euler–Lagrange equations of motion are,

*g*that satisfy these equations are called the vacuum solutions of GR. We will now first discuss what forms a valid initial data set for these dynamical equations.

*q*a Riemannian metric and

*K*a symmetric 2-tensor field, both on \(\Sigma \), forms a valid initial data set for the vacuum Einstein field equations (11) if the geometry initial data fields \(d_g \equiv (q, K)\) satisfy certain constraint equations. Given such an initial data set, one expects to generate a 4-dimensional spacetime \((\mathcal {M}, g)\) and a one-parameter family of embeddings \(\theta : \Sigma \times \mathbb {R} \rightarrow \mathcal {M}\) such that

*g*satisfies the EFEs (11), \(\theta (\Sigma )\) forms a Cauchy hypersurface in \(\mathcal {M}\), and the fields

*q*and

*K*are the first and second fundamentals, respectively of \(\Sigma \) in \((\mathcal {M}, g)\) (see for example p. 226 of [68]). The constraint equations mentioned above are simply the mathematical consequences of the desire that \(\Sigma \) ‘fit properly’ into \(\mathcal {M}\), i.e. \(d_g\) satisfies what are called the Gauss and Codazzi–Mainardi equations, which govern the embeddings of hypersurfaces into manifolds. In the context of GR, these are usually called the Einstein Hamiltonian and momentum constraint equations and are given, respectively, as (see for example [25]),

*q*. For insight into the structure of the constraint differential equations we direct the reader towards [114, 116, 117]. This property that initial data fields cannot be freely specified, but must satisfy certain constraint equations is not characteristic to GR and, for example, is also a feature of Maxwell’s equations for electromagnetism, where the constraint equation is the Gauss law [69].

Technically, \((\mathcal {M}, \theta , g)\) is called a development of \((\Sigma , d_g)\) and the evolution or Cauchy problem in GR refers to the construction of the former from the latter. The Cauchy problem of a given field theory is well-posed if for any valid choice of initial data, there exists a solution which is consistent with that data, and the map from the space of initial data to solutions is continuous [117]. Choquet-Bruhat [34, 35, 36] showed that the Cauchy problem in GR is indeed well-posed. Further, Choquet-Bruhat and Geroch [37] showed that each such initial data set has a unique maximal future development \((\mathcal {M}, g)\), namely a development which extends every other development of the same initial data set.^{1} Geroch [64] subsequently showed that for any such development \((\mathcal {M}, g)\), the manifold \(\mathcal {M}\) is diffeomorphic to \(\Sigma \times \mathbb {R}\), and such spacetimes are called globally hyperbolic spacetimes. These fundamental results are critical to argue the existence of solutions in GR and to set up the Hamiltonian formulation of GR.

In this context, the stability of a spacetime \((\mathcal {M}, g)\) is understood as follows. First one finds the initial data \(d_g\) whose evolution under the Einstein field equations yields \((\mathcal {M}, g)\). Then, in the space of all allowed initial data, one considers neighbourhoods around \(d_g\) and checks whether their future developments yield metrics \(g^\prime \) such that “\(g^\prime \approx g\)”, in some sense. Depending on whether or not the neighbourhoods under consideration are infinitesimal or not, one is conducting then either a linear or non-linear stability analysis, respectively. For example, the Kerr family of spacetimes (\(\mathcal {M}, g_{M, a}\)) is a 2-parameter family of solutions of the Einstein field equations and contains the 1-parameter family of Schwarzschild solutions denoted by \(g_{M, 0}\). Within this family is also the Minkowski metric for which the metric can be represented as \(g_{0,0}\). Therefore, if a particular member \(g_{M, a}\) were generated by some initial data \(d_{M, a}\) and one considers another initial data within an infinitesimal neighbourhood of \(d_{M, a}\), which let us denote by \(d_{M + \delta M, a + \delta a}\), then if the future development of the latter \(g_{M + \delta M, a + \delta a}\) is such that \(|g_{M + \delta M, a + \delta a} - g_{M, a}| \ll 1\), then one can say that the spacetime \(g_{M, a}\) is linearly stable. If such a statement holds for all *M*, *a*, then one can argue that the family of Kerr spacetimes is linearly stable. To find the full extent of stability of a particular solution \(g_{M, a}\), one must conduct a non-linear stability analysis which requires one examine to the future developments of initial data chosen within arbitrary, non-infinitesimal neighbourhoods of \(d_{M, a}\). These issues of stability are extremely important, both from theoretical and astrophysical standpoints, and difficult to examine and thus far, significant progress has been made and the non-linear stability of the Minkowski spacetime [44] and the linear stability of the Schwarzschild spacetime [52] has been established, and it has also been shown that the Kerr family of spacetimes are mode stable [137]. For more detailed and excellent discussions on stability see [51].

Now, to restate all of these notions in the language of symplectic geometry, we need to define the conjugate momentum to *q* and identify the phase space of GR. For this, one requires an explicit notion of time, which has the implication that one can only consider spacetimes that are topologically of the form \(\Sigma \times \mathbb {R}\), where \(\Sigma \) is a 3-dimensional manifold of arbitrary, fixed topology and \(\mathbb {R}\) is time. Due to the discussion presented above, this restriction is typically not considered a strong limitation. However, it is useful to remember that not all solutions of the Einstein field equations are globally hyperbolic. For example, the maximally extended Reissner–Nordstrom solution, representing the spacetime for a spherically symmetric charged particle, has a Cauchy horizon, i.e. there is a region from which there exist past directed causal curves that do not pass through any candidate Cauchy surface. Generally such solutions are discarded as being physically unrealistic since a desirable quality of physical theories is that they be deterministic and that there exist a one-to-one map between the initial state of motion and its trajectory (‘a continuous dependence of the evolution on initial data’). However, it is still unclear whether only globally hyperbolic spacetimes should be considered in GR [138]. Here however we will restrict ourselves to a discussion of the stability of only globally hyperbolic spacetimes.

*q*,

*K*) that belongs to the space of valid initial data, one can define the corresponding element (

*q*,

*p*) of the phase space of general relativity \(\Pi \) via (see for example Sect. 20 of [25]),

*p*, the momentum conjugate to

*q*, is a symmetric 2-tensor. Then, we can write the Hamiltonian density function as [25],

*q*,

*p*. The variation w.r.t the dynamical degrees of freedom

^{2}

*q*,

*p*now gives the Hamilton equations for GR,

It is clear that the Minkowski metric \(g_{0,0}\), a stationary solution of the Einstein field equations, is a critical point in the phase space of the ADM Hamiltonian dynamical system. Similarly, it can be seen then that the Schwarzschild one-parameter family of solutions \(g_{M,0}\) is a compact invariant set and the Kerr two-parameter family of metrics \(g_{M,a}\) forms an even larger compact invariant set in phase space. Now, the results of Christodoulou and Klainerman [44] imply that the Minkowski solution is a dynamical (critical point) attractor in phase space and the results of Dafermos, Holzegel and Rodnianski [52] indicate that the Schwarzschild family of solutions is also an (compact invariant set) attractor in phase space. The basin of attraction of the Schwarzschild attractor remains to be completely characterized, and we make a restricted attempt to address this in Sect. 4.3. Now, we can express one of the most important aims of stability studies in general relativity, with significant implications for observational astrophysics, as being to show that the full Kerr family of solutions is an attractor, and a complete characterization of its basin of attraction will conclude a non-linear stability analysis of the Kerr family of spacetimes.

*g*and \(\phi _i\). These equations and relations can be constructed from the appropriate classical field theory describing the matter model of interest, scalar or electromagnetic fields or hydrodynamic fluids, etc. (see for example [68, 117]). The initial data then for the associated Cauchy problem will is given by \(d = d_g \cup d_m\), where \(d_m\) denotes the initial data for the matter sector.

In the following section, we demonstrate a typical non-linear stability analysis in general relativity, in the setting of a simplistic spherically symmetric collapse model. We will take our matter model to be that of a fluid with vanishing pressure since for such systems, the mass contained within a shell of arbitrary comoving radius is conserved throughout the collapse, leading to substantial simplifications in the dynamical equations, making a purely analytical approach tractable.

## 4 Stability in gravitational collapse: a demonstration

Armed now with an understanding of the formal notions of stability of dynamical systems, in this section we will argue that the study of the genericity of formation of particular black hole or naked singularity stationary solutions, from the gravitational collapse of regular matter, is essentially a characterization of their realms of attraction. Our approach here will be to revert back to the usual initial value formulation of GR, to provide a demonstration of this statement by analysing the extent of the basin of attraction of the Schwarzschild attractor solution. This can equivalently be thought of as a study of the divergence of the flow of the symplectic Hamiltonian vector field of GR (coupled to matter fields) near the initial data of the collapse process that terminates in a Schwarzschild black hole (a non-linear stability analysis).

*f*(

*r*). In Sect. 4.3, we perform a preliminary non-linear stability analysis of the marginally bound (\(f = 0\)) OSD collapse processes against a

*specific*class of deformations from homogeneity in the initial density profile. What we mean by this is that we will consider initial density profiles \(\rho (0,r)\) of the form,

Now, since it is known that the marginally bound OSD collapse processes sit as a one-parameter (\(\rho _0\)) subclass of the marginally bound Lemaître–Tolman–Bondi (LTB [26, 87, 131]) solutions, which have an entire square integrable-function’s worth of freedom (corresponding to the initial density profile of the matter \(\rho (0, r)\)) that can be freely prescribed, the evolutions of the initial data corresponding to the inhomogeneous initial density profiles given in (20) are already known. We avoid the term proportional to *r* to avoid density cusps at the centre of the collapsing cloud (see Sect. 4.2 below). Now, following [76], we analyse the structure of the singularity that forms in the class of marginally bound LTB collapse models with initial density profiles given as (20). A more exhaustive non-linear stability analysis of the formation of a Schwarzschild black hole as an end-state of the Oppenheimer–Snyder–Datt (OSD) collapse process incorporating recent results [77, 78, 79, 128] will be reported elsewhere.

### 4.1 Dynamics of dust collapse

*r*and

*R*is the proper radius of a shell of collapsing matter present at a comoving radius

*r*and time

*t*, and

*f*characterizes the binding energy profile of the collapsing cloud [75]. In anticipation of its immediate use, we now introduce the Misner–Sharp mass function

*F*(

*t*,

*r*) which measures the amount of mass contained within a shell of comoving radius

*r*at a time

*t*is given as [30, 93],

*g*is the metric tensor obtained from (21). Since this metric only describes a portion of the spacetime (\(0 \le r \le r_{\text {B}}\)), if one wants to consider the collapse of matter that has compact support on the initial spacelike hypersurface \(t=0\), to complete the spacetime one must match this interior collapsing metric at the boundary with an appropriate exterior metric, which via Birkhoff’s theorem [24], must necessarily be the Schwarzschild metric.

*g*contains an apparent horizon, which is the marginally trapped surface, if the radial null expansion scalar, defined as [111]

*F*,

*f*are no longer dynamical functions. Further, \(\nu \) does not depend on

*r*and \(\nu = \nu (t)\), i.e. by rescaling time for the interior metric, we can set \(\nu = 0\). Then the governing EFEs, \(\mathbb {G}^\mu _{\ \nu } = T^\mu _{\ \nu }\), for the evolution of such a fluid are given as,

Also, throughout the collapse process we shall require that the weak energy condition is satisfied everywhere, i.e. \(T_{\mu \nu }v^\mu v^\nu \ge 0\) for all non-spacelike vectors \(v^\mu \). This implies that the energy density is everywhere positive \(\rho \ge 0\), including near \(r=0\). Singularities are points of spacetime where the usual differentiability and manifold structures break down. They are characterized by divergences in the matter energy density or curvature invariants constructed from the Riemann curvature tensor, like the Kretschmann scalar \(\kappa \equiv R_{\mu \nu \rho \sigma }R^{\mu \nu \rho \sigma }\). As can be seen from (27), the energy density diverges when \(R=0\) or when \(R^\prime = 0\). The latter condition corresponds to the collision of different radial shells of matter, which cause what are known as ‘shell-crossing singularities’. These types of singularities are weak singularities and are removable by a suitable change of coordinates (see for example Sect. 6.8 of [75] for further discussion; also see [77]). Therefore, we shall also require that *R* satisfy \(R^\prime \ne 0\). Further, for the weak energy condition to hold on the initial epoch \(\rho (0,r) \ge 0\) from which the collapse begins, we require that \(F^\prime \ge 0\) from (29). Now, for collapse processes of interest here we have \(F = F(r)\) which means that for the energy condition to hold at all times \(\rho (t, r) \ge 0\), we require specifically from (27) that \(R^\prime > 0\). Finally, \(R(t_{\text {s}}(r), r) = 0\) are genuine spacetime singularities, also called shell-focusing singularities, and \(t_{\text {s}}(r)\) is called the singularity curve, i.e. it is the time at which the shell at comoving radius *r* reaches the singularity. Therefore the coordinate time runs from \(-\infty< t < t_{\text {s}}(r)\).

### 4.2 Initial data

We now discuss how one sets valid initial data, \(d = \{R(0,r), f(r), \dot{R}(0,r), \rho (0, r), F(r), \dot{\rho }(0,r)\}\). We can partition this set of initial data heuristically into geometry \(d_g = \{R(0,r), f(r), \dot{R}(0,r)\}\) and matter \(d_m = \{\rho (0, r), F(r), \dot{\rho }(0,r)\}\) initial data. By valid initial data, we mean that the set of functions listed in *d* must be chosen such that they respect the Hamiltonian and momentum constraints, are smooth and are such that no singularity or apparent horizon is present on the Cauchy surface, \(t=0\).

*F*(

*r*) from (27) as,

*f*(

*r*) fixes \(\dot{R}(0,r)\) from (23) and \(\dot{\rho }(0,r)\) is set then from (27). In summary, one is free only to pick three functions independently on the Cauchy surface \(t=0\), which here will be \(R(0,r), f(r), \rho (0, r)\). The remaining initial data \(\{\dot{R}(0,r), F(r), \dot{\rho }(0,r)\}\) are then fixed from the constraint equations.

*F*is at least \(O(r^3)\) near \(r=0\). Also, since realistically the centre of the collapsing cloud has non-zero density, i.e. \(\rho (0,0) > 0\), we have also \(F^{\prime \prime \prime }(0) > 0\). Moreover, for \(\dot{R}(0, r)\) to be regular, we shall require that

*f*to be \(O(r^2)\) near \(r=0\). If we choose the usual scaling \(R(0,r) = r\), then the remaining freely specifiable initial data (\(f(r), \rho (0,r)\)) will be assumed to be at least square integrable. We will also require that there be no cusps at the centre of the cloud and so, we will impose the restriction that \(f(r), \rho (0,r)\) not have terms that are odd powers of

*r*near \(r=0\) [80]. Further, for no trapped surfaces to exist on the Cauchy surface \(t=0\), we require \(F(r)/R(0,r) < 1\). Finally, the requirement that there also be no singularity on the Cauchy surface \(t=0\) must be discussed on a case-by-case basis.

### 4.3 Non-linear stability of the Oppenheimer–Snyder–Datt collapse process

*R*analytically as,

*F*is at least \(O(r^3)\) and always non-negative, it is clear from the above equation that \(t_{\text {AH}}(r) < t_{\text {s}}(r)\) for all \(0 < r\). Therefore, outgoing null geodesics emitted from events \((t_{\text {s}}(r), r)\) for \(r \ne 0\) are all trapped. Now, to determine the causal structure of a particular model, namely whether it represents a black hole or a globally visible naked singularity, it is necessary to examine families of radial null geodesics emerging from the event \((t_{\text {s}}(0),0)\). Our analysis closely follows the procedure outlined in [76]. It is evident from (21) that along future-directed radial null geodesics, we have

*R*vanishes as \(t\rightarrow t_{\text {s}}(0), r \rightarrow 0\), if there exists such a geodesic, then one can find a positive constant \(\alpha \) such that along it, near \((t_{\text {s}}(0), 0)\), we can write \(R \sim r^\alpha \). \(\alpha \) is initial data dependent and, if it exists, can be found via the procedure outlined below.

*r*to \(u=r^{\alpha }\) so that along null geodesics we can write,

*H*(

*X*,

*u*) defined as above can be written out as,

*H*(

*X*, 0) is well defined.

*F*), as we discuss below. A singularity is globally visible

*if and only if*there exist families of outgoing null geodesics that emanate from the singularity and have a positive future null expansion. This condition is given as (see Sect. III.C of [76]),

*H*(

*X*,

*u*) around \(u=0\) to leading order for each term in (36) to obtain,

*H*(

*X*, 0) to be well defined, we must set \(\alpha \le 7/3\). However, we obtain a real root \(X_0\) of the ‘root equation’ (38) only for \(\alpha = 7/3\), which is now given as,

*M*of the cloud and its initial radial size \(r_b\). In terms of what we call the initial compactness parameter \(\chi \) for this cloud,

*M*as \(r_{\text {Schw}} = 2M\), then the above equation can also be written as,

## 5 Conclusions

We discussed the stability of equilibria of dynamical systems, in both classical mechanics and general relativity, in the framework of symplectic geometry, and attempt to set up a neat analogy to enable a simple pedagogical discussion of the notions of the stability of a spacetime. We review the Hamiltonian formulation of GR to remember how the governing equations of motion of a Hamiltonian dynamical system are simply the flow equations of the associated symplectic Hamiltonian vector field, defined on phase space. However, since here we have not accounted for gauge degeneracies in the ADM phase space, and the construction of the reduced phase space by forming the quotient space of the constrained phase space with the gauge orbits is not addressed, our results presented here are partial. The eventual goal will be to draw a formal analogy between the notions of stability in classical mechanics to those in general relativity, using its reduced phase space; the non-linear stability analysis of its critical points would simply have to do with the divergence of its flow on reduced phase space. Further, the linear stability of a critical point is concerned with the divergence of the flow of the linearization of the Hamiltonian vector field, otherwise called the tangent flow, at the critical point.

As discussed here, only the set of globally hyperbolic spacetimes can be studied within the Hamiltonian formulation of GR [70], and for such spacetimes one can apply methods of symplectic geometry. Further, there is an isomorphism from the space of all globally hyperbolic solutions of the vacuum Einstein equations to the space of allowed initial data. This is clear heuristically if one thinks of the solutions or 4-dimensional metrics *g* as being given equivalently by a one-parameter family of 3-dimensional Riemannian metrics *q*(*t*) that satisfy the flow equations of the ADM+matter symplectic Hamiltonian vector field (along with the lapse function and the shift vector, of course). Then, if one quotients out the gauge orbits, roughly a collection of all allowed *q*(*t*) would correspond to the space of solutions of the Einstein equations. Since within the class of globally hyperbolic spacetimes, a particular evolution from a particular initial data set depends continuously on it, and trajectories in phase space do not intersect, it is possible to characterize a solution uniquely by its initial data *q*(0). Typically, both these spaces (of solutions *q*(*t*) and of initial data *q*(0)) are equivalent characterizations of the phase space of a physical theory and this is a feature of most typical (deterministic) physical theories like classical mechanics, quantum mechanics, etc. Therefore, studying the stability of a given spacetime *g* (orbital stability) is equivalent to studying the stability (divergence) of the Hamiltonian flow near the initial data *q*(0) that it evolves from. Further, if one shows that a particular critical point \(q_\star \), corresponding to a stationary solution \(q(t) = q_\star \), is an attractor with a basin of attraction in phase space, then \(q_\star \) corresponds to the metric of a linearly stable stationary spacetime. Additionally, the extent of its basin of attraction determines how non-linearly stable it is.

Since this is a nascent study, we have not analysed the potential benefits, from a numerical standpoint, of conducting a stability analysis using symplectic geometry here. One can numerically find the critical points of a Hamiltonian system by flowing along and minimizing the (normal) gradient of its Hamiltonian function. Once such critical points are identified, one could study the properties of the local flow equations of the symplectic gradient of the Hamiltonian function numerically to gain insight into the nature of the stability of these critical points. Already in other contexts, for example, in applications of the theory of chaotic kinematics to oceanographic and atmospheric sciences, condensed matter, particle, accelerator and plasma physics, and also in string theory, symplectic geometry has proven to be a useful tool [14, 17, 22, 118, 135, 139].

It is worth emphasizing here that in general relativity, given an exact solution, obtaining the initial data set that it evolves from is generally a task of great difficulty and the branch of gravitational collapse, for example, is concerned with these issues. One of the few well characterized solutions *q*(*t*) is the collapse process to a Schwarzschild black hole, which allowed us to demonstrate a non-linear stability analysis in the context of GR in Sect. 4.3. As mentioned before, some (non-globally hyperbolic) solutions of the Einstein equations cannot even be found to depend continuously on initial data. Taking advantage of the fact that the evolution of a spherically symmetric, regular cloud of pressureless matter to a Schwarzschild black hole is known to be given by the Oppenheimer–Snyder–Datt collapse, its initial data is well characterized, and the evolutions of nearby initial data are also well understood (determined by the Lemaître–Tolman–Bondi collapse models), we discussed the visibility of the eventual spacetime singularity that forms in these collapse evolutions. In specific, the OSD collapse to a Schwarzschild black hole evolves from homogeneous initial data (\(\rho (0,r) = \rho _0\)) and we considered a 2-parameter open subset of initial data \(\rho (0,r) = \rho _0 - \rho _2 r^2 (\rho _2 \ge 0)\) around it. We showed that the initial compactness \(\chi = M/r_b\) of collapsing cloud (where *M* is the total ADM mass of the cloud and \(r_b\) is its initial radius) governed the nature of the singularity in these models, i.e. when \(\chi \lesssim .44\), the cloud formed a globally visible naked singularity and a black hole otherwise.

## Footnotes

- 1.
Another development \((\mathcal {M}^\prime , \theta ^\prime , g^\prime )\) of \((\Sigma , d_g)\) is called an extension of \(\mathcal {M}\) if there is a diffeomorphism \(\alpha \) of \(\mathcal {M}\) into \(\mathcal {M}^\prime \) such that \(\theta ^\prime (\Sigma ) = (\alpha \circ \theta )(\Sigma )\) and \(\alpha _* g^\prime = g\). In particular, a maximal extension is an extension of any development of \((\Sigma , d_g)\) [68].

- 2.
Note that the lapse function \(\alpha \) and shift vector \(\beta \) are not dynamical because they describe how coordinates move in time from one hypersurface to the next and have to be fixed by four gauge conditions (see for example Sect. 3.9 of [124]). One simple choice corresponds to the Gaussian normal coordinates, for example, where one sets \(\alpha = 1, \beta = 0\).

## Notes

### Acknowledgements

Prashant Kocherlakota thanks Rukmini Dey (ICTS-TIFR, India), Franz Pedit (University of Massachusetts Amherst, USA), Rohan Poojary (CMI, India), Madhusudhan Raman (TIFR, India), Ronak M. Soni (Stanford University, USA) and Amitabh Virmani (CMI, India) for useful comments and discussions.

## References

- 1.Abraham, R.; Marsden, J.E.: Foundations of Mechanics. Benjamin, New York (1978)zbMATHGoogle Scholar
- 2.Akiyama, K.; et al.: First M87 event horizon telescope results. I. The shadow of the supermassive black hole. Astrophys. J.
**875**, L1 (2019)CrossRefGoogle Scholar - 3.Apostol, T.M.: Mathematical Analysis: A Modern Approach to Advanced Calculus. Addison-Wesley, Boston (1974)Google Scholar
- 4.Aretakis, S.: Horizon Instability of Extremal Black Holes (2013). arXiv:1206.6598 [gr-qc]
- 5.Aretakis, S.: Stability and instability of extreme Reissner–Nordström black hole spacetimes for linear scalar perturbations I. Commun. Math. Phys.
**307**, 17 (2011)MathSciNetzbMATHCrossRefGoogle Scholar - 6.Aretakis, S.: Stability and instability of extreme Reissner–Nordström black hole spacetimes for linear scalar perturbations II. Ann. Henri Poincare
**8**, 1491 (2011)MathSciNetzbMATHCrossRefGoogle Scholar - 7.Arnol’d, V.I.: Proof of a theorem of A.N. Kolmogorov on the invariance of quasi-periodic motions under small perturbations of the Hamiltonian. Russ. Math. Surv.
**18**, 13 (1963)CrossRefGoogle Scholar - 8.Arnol’d, V.I.: Small denominators and problems of stability of motion in classical and celestial mechanics. Russ. Math. Surv.
**18**, 85 (1963)MathSciNetzbMATHCrossRefGoogle Scholar - 9.Arnol’d, V.I.: Mathematical Methods of Classical Mechanics. Springer, New York (1980)Google Scholar
- 10.Arnol’d, V.I.; Kozlov, V.V.; Neishtadt, A.I.: Mathematical Aspects of Classical and Celestial Mechanics. Springer, Berlin (2006)CrossRefGoogle Scholar
- 11.Arnold, V.E.; Kozlov, V.V.; Neishtadt, A.: Mathematical Aspects of Classical and Celestial Mechanics. Springer, New York (2006)zbMATHCrossRefGoogle Scholar
- 12.Arnowitt, R.; Deser, S.; Misner, C.W.: The dynamics of general relativity. Gravitation: An Introduction to Current Research. Wiley, New York (1962). [Republication] Gen. Relativ. Gravit.
**40**, 1997 (2008)Google Scholar - 13.Ashtekar, A.; Horowitz, G.T.: Phase space of general relativity revisited: a canonical choice of time and simplification of the Hamiltonian. J. Math. Phys.
**25**, 1473 (1984)MathSciNetzbMATHCrossRefGoogle Scholar - 14.Atiyah, M.; Dijkgraaf, R.; Hitchin, N.: Geometry and physics. Philos. Trans. R. Soc. A
**368**, 913 (2010)MathSciNetzbMATHCrossRefGoogle Scholar - 15.Atwood, W.B.; et al.: The large area telescope on the Fermi Gamma-Ray space telescope mission. Astrophys. J.
**697**, 2 (2009)CrossRefGoogle Scholar - 16.Auslander, J.; Bhatia, N.P.; Seibert, P.: Attractors in dynamical systems. Bol. Soc. Mat. Mex.
**9**, 55 (1964)MathSciNetzbMATHGoogle Scholar - 17.Baez, J.C.; Hoffnung, A.E.; Rogers, C.L.: Categorified symplectic geometry and the classical string. Commun. Math. Phys.
**293**, 701 (2010)MathSciNetzbMATHCrossRefGoogle Scholar - 18.Baiotti, L.; Hawke, I.; Montero, P.J.; Löffler, F.; Rezzolla, L.; Stergioulas, N.; Font, J.A.; Seidel, E.: Three-dimensional relativistic simulations of rotating neutron-star collapse to a Kerr black hole. Phys. Rev. D
**71**, 024035 (2005)CrossRefGoogle Scholar - 19.Bardeen, J.M.; Press, W.H.: Radiation fields in the Schwarzschild background. J. Math. Phys.
**14**, 7 (1973)MathSciNetCrossRefGoogle Scholar - 20.Berti, E.; Cardoso, V.; Lemos, J.P.: Quasinormal modes and classical wave propagation in analogue black holes. Phys. Rev. D
**70**, 124006 (2004)MathSciNetCrossRefGoogle Scholar - 21.Berti, E.; Cardoso, V.; Starinets, A.O.: Quasinormal modes of black holes and black branes. Class. Quantum Gravit.
**26**, 163001 (2009)MathSciNetzbMATHCrossRefGoogle Scholar - 22.Betancourt, M. J.; Byrne, S.; Livingstone, S.; Girolami, M.: The Geometric Foundations of Hamiltonian Monte Carlo (2014). arXiv:1410.5110 [stat.ME]
- 23.Bini, D.; Cherubini, C.; Jantzen, R.T.; Mashhoon, B.: Massless field perturbations and gravitomagnetism in the Kerr–Taub-NUT spacetime. Phys. Rev. D
**67**, 084013 (2003)zbMATHCrossRefGoogle Scholar - 24.Birkhoff, G.D.: Relativity and Modern Physics. Harvard University Press, Cambridge (1923)zbMATHGoogle Scholar
- 25.Blau, M.: Lecture Notes on General Relativity. Lecture Notes. Universität Bern, Bern (2018)Google Scholar
- 26.Bondi, H.: Spherically symmetrical models in general relativity. Mon. Not. R. Astron. Soc.
**107**, 410 (1947)MathSciNetzbMATHCrossRefGoogle Scholar - 27.Braun, R.; Bourke, T.L.; Green, J.A.; Keane, E.F.; Wagg, J.: Advancing astrophysics with the square kilometre array. Proc. Sci.
**215**, 40 (2014)Google Scholar - 28.Bruni, M.; Matarrese, S.; Mollerach, S.; Sonego, S.: Perturbations of spacetime: gauge transformations and gauge invariance at second order and beyond. Class. Quantum Gravit.
**14**, 2585 (1997)MathSciNetzbMATHCrossRefGoogle Scholar - 29.Bryant, R.: An introduction to Lie groups and symplectic geometry. In: Geometry and Quantum Field Theory, Park City (1991)Google Scholar
- 30.Cahill, M.E.; McVittie, G.C.: Spherical symmetry and mass-energy in general relativity. I. General theory. J. Math. Phys.
**11**, 1382 (1970)MathSciNetzbMATHCrossRefGoogle Scholar - 31.Cardoso, V.; Pani, P.; Cadoni, M.; Cavaglià, M.: Instability of hyper-compact Kerr-like objects. Class. Quantum Gravit.
**25**, 19 (2008)MathSciNetzbMATHCrossRefGoogle Scholar - 32.Cherry, T.M.: On periodic solutions of Hamiltonian systems of differential equations. Philos. Trans. R. Soc. A
**227**, 137 (1926)zbMATHCrossRefGoogle Scholar - 33.Choptuik, M.W.: Universality and scaling in gravitational collapse of a massless scalar field. Phys. Rev. Lett.
**70**, 9 (1993)CrossRefGoogle Scholar - 34.Choquet-Bruhat, Y.: Theoreme d’existence pour certain systems d’equations aux derivees partielles nonlineaires. Acta Math.
**88**, 141 (1952). [English Translation] Esposito, G.: Existence theorem for certain systems of nonlinear partial differential equations. Preprint 480, Max Planck Institute for the History of Science (2016)MathSciNetCrossRefGoogle Scholar - 35.Choquet-Bruhat, Y.: The Cauchy problem. Gravitation: An Introduction to Current Research. Wiley, New York (1962)Google Scholar
- 36.Choquet-Bruhat, Y.: Solutions C\(^\infty \) d’équations hyperboliques non linéaires. C. R. Acad. Sci. Paris
**272**, 386 (1968)zbMATHGoogle Scholar - 37.Choquet-Bruhat, Y.; Geroch, R.P.: Global aspects of the Cauchy problem in general relativity. Commun. Math. Phys.
**14**, 329 (1969)MathSciNetzbMATHCrossRefGoogle Scholar - 38.Christodoulou, D.: Violation of cosmic censorship in the gravitational collapse of a dust cloud. Commun. Math. Phys.
**93**, 171 (1984)MathSciNetCrossRefGoogle Scholar - 39.Christodoulou, D.: The problem of a self-gravitating scalar field. Commun. Math. Phys.
**105**, 337 (1986)MathSciNetzbMATHCrossRefGoogle Scholar - 40.Christodoulou, D.: Examples of naked singularity formation in the gravitational collapse of a scalar field. Ann. Math.
**140**, 607 (1994)MathSciNetzbMATHCrossRefGoogle Scholar - 41.Christodoulou, D.: The instability of naked singularities in the gravitational collapse of a scalar field. Ann. Math.
**149**, 183 (1999)MathSciNetzbMATHCrossRefGoogle Scholar - 42.Christodoulou, D.: On the global initial value problem and the issue of singularities. Class. Quantum Gravit.
**16**, A23 (1999)MathSciNetzbMATHCrossRefGoogle Scholar - 43.Christodoulou, D.: The Formation of Black Holes in General Relativity. European Mathematical Society, Zürich (2009)zbMATHCrossRefGoogle Scholar
- 44.Christodoulou, D.; Klainerman, S.: The Global Nonlinear Stability of the Minkowski Space. Princeton University Press, New Jersey (1993)zbMATHGoogle Scholar
- 45.Coddington, E.; Levinson, N.: Theory of Ordinary Differential Equations. McGraw-Hill, New York (1955)zbMATHGoogle Scholar
- 46.Crisford, T.; Santos, J.E.: Violating the weak cosmic censorship conjecture in four-dimensional Anti-de Sitter space. Phys. Rev. Lett.
**118**, 181101 (2017)CrossRefGoogle Scholar - 47.Crnković, C.: Symplectic geometry of the covariant phase space. Class. Quantum Gravit.
**5**, 1557 (1988)MathSciNetzbMATHCrossRefGoogle Scholar - 48.Cunningham, C.T.; Price, R.H.; Moncrief, V.: Radiation from collapsing relativistic stars. I—Linearized odd-parity radiation. Astrophys. J.
**224**, 643 (1978)CrossRefGoogle Scholar - 49.Cunningham, C.T.; Price, R.H.; Moncrief, V.: Radiation from collapsing relativistic stars. II—Linearized even-parity radiation. Astrophys. J.
**230**, 870 (1979)CrossRefGoogle Scholar - 50.Cunningham, C.T.; Price, R.H.; Moncrief, V.: Radiation from collapsing relativistic stars. III—Second order perturbations of collapse with rotation. Astrophys. J.
**236**, 674 (1980)CrossRefGoogle Scholar - 51.Dafermos, M.: The mathematical analysis of black holes in general relativity. Proc. ICM, Seoul (2014)Google Scholar
- 52.Dafermos, M.; Holzegel, G.; Rodnianski, I.: The Linear Stability of the Schwarzschild Solution to Gravitational Perturbations (2016). arXiv:1601.06467 [gr-qc]
- 53.Dafermos, M.; Rodnianski, I.: Decay for Solutions of the Wave Equation on Kerr Exterior spacetimes I-II: The Cases \(|a| \ll M\) or axisymmetry (2010). arXiv:1010.5132 [gr-qc]
- 54.Dafermos, M.; Rodnianski, I.; Shlapentokh-Rothman, Y.: Decay for Solutions of the Wave Equation on Kerr Exterior Spacetimes III: The Full Subextremal Case \(|a| < M\) (2014). arXiv:1402.7034 [gr-qc]
- 55.Dafermos, M.; Rodnianski, I.: Lectures on black holes and linear waves. Clay Math. Proc.
**17**, 97 (2013)MathSciNetzbMATHGoogle Scholar - 56.Datt, S.: Über eine Klasse von Lösungen der Gravitationsgleichungen der Relativität. Zs. Phys.
**108**, 314 (1938)zbMATHCrossRefGoogle Scholar - 57.de Oliveira, C.R.: (In)stability in classical mechanics. Rev. Bras. Ens. Fis.
**21**, 22 (1999)Google Scholar - 58.Dettmann, C.: Global Dynamics. Lecture Notes. University of Bristol, Bristol (2017)Google Scholar
- 59.Dotti, G.; Gleiser, R.J.; Ranea-Sandoval, I.F.; Vucetich, H.: Gravitational instabilities in Kerr spacetimes. Class. Quantum Gravit.
**25**, 245012 (2008)MathSciNetzbMATHCrossRefGoogle Scholar - 60.Düztaş, K.: Stability of event horizons against neutrino flux: the classical picture. Class. Quantum Gravit.
**32**, 075003 (2015)MathSciNetzbMATHCrossRefGoogle Scholar - 61.Düztaş, K.; Semiz, I.: Cosmic censorship, black holes and integer-spin test fields. Phys. Rev. D
**88**, 064043 (2013)CrossRefGoogle Scholar - 62.Farantos, S.: Nonlinear Hamiltonian Mechanics Applied to Molecular Dynamics. Springer, London (2014)zbMATHCrossRefGoogle Scholar
- 63.Frankel, T.: The Geometry of Physics. Cambridge University Press, Cambridge (2001)Google Scholar
- 64.Geroch, R.P.: Domain of dependence. J. Math. Phys.
**11**, 437 (1970)MathSciNetzbMATHCrossRefGoogle Scholar - 65.Gimon, E.G.; Hořava, P.: Astrophysical violations of the Kerr bound as a possible signature of string theory. Phys. Lett. B.
**672**, 299 (2009)MathSciNetCrossRefGoogle Scholar - 66.Hansson, J.; Sandin, F.: Preon stars: a new class of cosmic compact objects. Phys. Lett. B.
**616**, 1 (2005)CrossRefGoogle Scholar - 67.Harada, T.; Iguchi, H.; Nakao, K.-I.: Physical processes in naked singularity formation. Prog. Theor. Phys.
**107**, 449 (2002)MathSciNetzbMATHCrossRefGoogle Scholar - 68.Hawking, S.W.; Ellis, G.F.R.: The Large Scale Structure of Space Time. Cambridge University Press, Cambridge (1973)zbMATHCrossRefGoogle Scholar
- 69.Henneaux, M.; Teitelboim, C.: Quantization of Gauge Systems. Princeton University Press, New Jersey (1992)zbMATHGoogle Scholar
- 70.Inglima, S.: Topics in Canonical Gravity. M.Sc. Thesis, Imperial College London (2012)Google Scholar
- 71.Israel, W.: Does a cosmic censor exist? Found. Phys.
**14**, 1049 (1984)MathSciNetCrossRefGoogle Scholar - 72.Israel, W.: The formation of black holes in nonspherical collapse and cosmic censorship. Can. J. Phys.
**64**, 120 (1986)MathSciNetzbMATHCrossRefGoogle Scholar - 73.Janis, A.I.; Newman, E.T.; Winicour, J.: Reality of the Schwarzschild singularity. Phys. Rev. Lett.
**20**, 878 (1968)CrossRefGoogle Scholar - 74.Jośe, J.V.; Saletan, E.J.: Classical Dynamics. Cambridge University Press, Cambridge (1998)zbMATHCrossRefGoogle Scholar
- 75.Joshi, P.S.: Global Aspects in Gravitation and Cosmology. Oxford University Press, Oxford (1993)zbMATHGoogle Scholar
- 76.Joshi, P.S.; Dwivedi, I.H.: Naked singularities in spherically symmetric inhomogeneous Tolman–Bondi dust cloud collapse. Phys. Rev. D
**47**, 5357 (1993)CrossRefGoogle Scholar - 77.Joshi, P.S.; Malafarina, D.: Recent developments in gravitational collapse and spacetime singularities. Int. J. Mod. Phys. D
**20**, 2641 (2011)MathSciNetzbMATHCrossRefGoogle Scholar - 78.Joshi, P.S.; Malafarina, D.: Instability of black hole formation in gravitational collapse. Phys. Rev. D.
**83**, 024009 (2011)CrossRefGoogle Scholar - 79.Joshi, P.S.; Malafarina, D.: All black holes in Lemaître–Tolman–Bondi inhomogeneous dust collapse. Class. Quantum Gravit.
**32**, 145004 (2015)zbMATHCrossRefGoogle Scholar - 80.Joshi, P.S.; Singh, T.P.: Role of initial data in the gravitational collapse of inhomogeneous dust. Phys. Rev. D
**51**, 6778 (1995)CrossRefGoogle Scholar - 81.Joshi, P.S.; Malafarina, D.; Narayan, R.: Equilibrium configurations from gravitational collapse. Class. Quantum Gravit.
**28**, 235018 (2011)MathSciNetzbMATHCrossRefGoogle Scholar - 82.Kerr, R.P.: Gravitational field of a spinning mass as an example of algebraically special metrics. Phys. Rev. Lett.
**11**, 237 (1963)MathSciNetzbMATHCrossRefGoogle Scholar - 83.Kokkotas, K.D.; Schmidt, B.G.: Living Rev. Relativ.
**2**, 2 (1999)CrossRefGoogle Scholar - 84.Kolb, E.W.; Tkachev, I.I.: Axion miniclusters and Bose stars. Phys. Rev. Lett.
**71**, 3051 (1993)CrossRefGoogle Scholar - 85.Kolmogorov, A.N.: On conservation of conditionally periodic motions for a small change in Hamilton’s function. Dokl. Akad. Nauk. SSR
**98**, 527 (1954). [English Translation]*in*Lecture Notes in Physics**93**, 5. Springer, Berlin (1979)MathSciNetGoogle Scholar - 86.Kruskal, M.D.: Maximal extension of Schwarzschild metric. Phys. Rev.
**119**, 1743 (1960)MathSciNetzbMATHCrossRefGoogle Scholar - 87.Lemaître, G.: L’Univers en expansion. Ann. Soc. Sci. Brux.
**A53**, 51 (1933). [English Translation] MacCallum, M. A. H.: The expanding universe. Gen. Relativ. Gravit.**29**, 641 (1997)zbMATHGoogle Scholar - 88.Lucietti, J.; Reall, H.: Gravitational instability of an extreme Kerr black hole. Phys. Rev. D
**86**, 104030 (2012)CrossRefGoogle Scholar - 89.Marsden, J.E.; Ratiu, T.S.: Introduction to Mechanics and Symmetry. Springer, New York (1999)zbMATHCrossRefGoogle Scholar
- 90.Mendelson, P.: On unstable attractors. Bol. Soc. Mat. Mex.
**5**, 270 (1960)MathSciNetzbMATHGoogle Scholar - 91.Miller, J.C.; Motta, S.: Computations of spherical gravitational collapse using null slicing. Class. Quantum Gravit.
**6**, 185 (1989)MathSciNetCrossRefGoogle Scholar - 92.Milnor, J.: On the concept of attractor. Commun. Math. Phys.
**99**, 177 (1985). [Erratum] Correction and remarks: “On the concept of attractor”. Commun. Math. Phys.**102**, 517 (1985)MathSciNetzbMATHCrossRefGoogle Scholar - 93.Misner, C.W.; Sharp, D.H.: Relativistic equations for adiabatic, spherically symmetric gravitational collapse. Phys. Rev.
**136**, 2B (1964)MathSciNetzbMATHCrossRefGoogle Scholar - 94.Moncrief, V.: Gravitational perturbations of spherically symmetric systems. I. The exterior problem. Ann. Phys.
**88**, 323 (1975)MathSciNetCrossRefGoogle Scholar - 95.Moser, J.K.: On invariant curves of area-preserving mappings of an annulus. Nach. Akad. Wiss. Göttingen Math. Phys. Kl. II
**1**, 1 (1962)MathSciNetzbMATHGoogle Scholar - 96.Moser, J.K.: Stable and Random Motions in Dynamical Systems. Princeton University Press, New Jersey (1974)Google Scholar
- 97.Nakao, K.-I.; Joshi, P.S.; Guo, J.-Q.; Kocherlakota, P.; Tagoshi, H.; Harada, T.; Patil, M.; Królak, A.: On the stability of a superspinar. Phys. Lett. B
**780**, 410 (2018)MathSciNetzbMATHCrossRefGoogle Scholar - 98.Natário, J.; Queimada, L.; Vicente, R.: Test fields cannot destroy extremal black holes. Class. Quantum Gravit.
**33**, 175002 (2016)MathSciNetzbMATHCrossRefGoogle Scholar - 99.Nathanail, A.; Most, E.R.; Rezzolla, L.: Gravitational collapse to a Kerr–Newman black hole. Mon. Not. R. Aston. Soc.
**469**, L31 (2017)CrossRefGoogle Scholar - 100.Newman, E.T.; Penrose, R.: An approach to gravitational radiation by a method of spin coefficients. J. Math. Phys.
**3**, 566 (1962)MathSciNetzbMATHCrossRefGoogle Scholar - 101.Newman, E.; Tamburino, L.; Unti, T.: Empty-space generalization of the Schwarzschild metric. J. Math. Phys.
**4**, 915 (1963)MathSciNetzbMATHCrossRefGoogle Scholar - 102.Newman, E.T.; Couch, E.; Chinnapared, K.; Exton, A.; Prakash, A.; Torrence, R.: Metric of a rotating, charged mass. J. Math. Phys.
**6**, 918 (1965)MathSciNetCrossRefGoogle Scholar - 103.Nordström, G.: On the energy of the gravitation field in Einstein’s theory. Koninkl. Ned Akad. Wetenschap. Proc.
**20**, 1238 (1918)Google Scholar - 104.Oppenheimer, J.R.; Snyder, H.: On continued gravitational contraction. Phys. Rev.
**56**, 455 (1939)zbMATHCrossRefGoogle Scholar - 105.Ori, A.; Piran, T.: Naked singularities in self-similar spherical gravitational collapse. Phys. Rev. Lett.
**59**, 2137 (1987)CrossRefGoogle Scholar - 106.Ori, A.; Piran, T.: Naked singularities and other features of self-similar general-relativistic gravitational collapse. Phys. Rev. D
**42**, 1068 (1990)MathSciNetCrossRefGoogle Scholar - 107.Pani, P.; Barausse, E.; Berti, E.; Cardoso, V.: Gravitational instabilities of superspinars. Phys. Rev. D
**82**, 044009 (2010)CrossRefGoogle Scholar - 108.Penrose, R.: Gravitational collapse and space-time singularities. Phys. Rev. Lett.
**14**, 57 (1965)MathSciNetzbMATHCrossRefGoogle Scholar - 109.Penrose, R.: Gravitational collapse: the role of general relativity. Riv. Nuovo Cimento
**1**, 252 (1969). [Republication] Gen. Relat. Gravit.**34**, 7 (2002)Google Scholar - 110.Penrose, R.: Singularities and time-asymmetry. General Relativity: An Einstein Centenary Survey. Cambridge University Press, Cambridge (1979)Google Scholar
- 111.Poisson, E.: A Relativist’s Toolkit. Cambridge University Press, Cambridge (2004)zbMATHCrossRefGoogle Scholar
- 112.Regge, T.; Wheeler, J.A.: Stability of a Schwarzschild singularity. Phys. Rev.
**108**, 1063 (1957)MathSciNetzbMATHCrossRefGoogle Scholar - 113.Reissner, H.: Über die Eigengravitation des elektrischen Feldes nach der Einsteinschen Theorie. Ann. Phys.
**355**, 106 (1916)CrossRefGoogle Scholar - 114.Rendall, A.D.: Theorems on existence and global dynamics for the Einstein equations. Living Rev. Relativ.
**8**, 6 (2005)zbMATHCrossRefGoogle Scholar - 115.Richartz, M.: Quasinormal modes of extremal black holes. Phys. Rev. D
**93**, 064062 (2016)MathSciNetCrossRefGoogle Scholar - 116.Ringström, H.: The Cauchy Problem in General Relativity. European Mathematical Society, Zürich (2009)zbMATHCrossRefGoogle Scholar
- 117.Rodnianski, I.: The Cauchy Problem in General Relativity. Proc. ICM, Madrid (2006)Google Scholar
- 118.Rosensteel, G.; Rowe, D.J.: Collective rotational states in the symplectic shell model. Phys. Rev. Lett.
**46**, 1119 (1981)CrossRefGoogle Scholar - 119.Sasaki, M.; Nakamura, T.: Gravitational radiation from a Kerr black hole. I. Formulation and a method for numerical analysis. Progress Theor. Phys.
**67**, 6 (1982)MathSciNetzbMATHGoogle Scholar - 120.Sasaki, M.; Nakamura, T.: Gravitational radiation from an extreme Kerr black hole. Gen. Relat. Gravit.
**22**, 12 (1990)MathSciNetCrossRefGoogle Scholar - 121.Schwarzschild, K.: Über das Gravitationsfeld eines Massenpunktes nach der Einsteinschen Theorie. Sitzungsber. K. Preuss. Akad. Wiss
**1**, 189 (1916). [English Translation] Antoci, S.; Loinger, A.: On the gravitational field of a mass point according to Einstein’s theory. arXiv:physics/9905030 [physics.hist-ph] (1999).zbMATHGoogle Scholar - 122.Shapiro, S.L.; Teukolsky, S.A.: Black holes, star clusters, and naked singularities: numerical Solution of Einstein’s Equations. Philos. Trans. R. Soc. Lond. A
**340**, 365 (1992)MathSciNetzbMATHCrossRefGoogle Scholar - 123.Shlapentokh-Rothman, Y.: Quantitative mode stability for the wave equation on the Kerr spacetime. Ann. Henri Poincaré
**16**, 289 (2015)MathSciNetzbMATHCrossRefGoogle Scholar - 124.Straumann, N.: General Relativity. Springer, New York (2013)zbMATHCrossRefGoogle Scholar
- 125.Struckmeier, J.: Hamiltonian dynamics on the symplectic extended phase space for autonomous and non-autonomous systems. J. Phys. A Math. Gen.
**38**, 1257 (2005)MathSciNetzbMATHCrossRefGoogle Scholar - 126.Struckmeier, J.; Riedel, C.: Exact invariants for a class of three-dimensional time-dependent classical Hamiltonians. Phys. Rev. Lett.
**85**, 3830 (2000)CrossRefGoogle Scholar - 127.Szekeres, G.: On the singularities of a Riemannian manifold. Publ. Mat. Debrecen
**7**, 285 (1960). [Republication] Gen. Relat. Gravit.**34**, 11 (2002)MathSciNetzbMATHGoogle Scholar - 128.Szekeres, P.: A class of inhomogeneous cosmological models. Commun. Math. Phys.
**41**, 55 (1975)MathSciNetzbMATHCrossRefGoogle Scholar - 129.Taub, A.H.: Empty space-times admitting a three parameter group of motions. Ann. Math.
**53**, 3 (1951)MathSciNetzbMATHCrossRefGoogle Scholar - 130.Teukolsky, S.A.: Perturbations of a rotating black hole. I. Fundamental equations for gravitational, electromagnetic, and neutrino-field perturbations. Astrophys. J.
**185**, 635 (1973)MathSciNetCrossRefGoogle Scholar - 131.Tolman, R.C.: Evolution of the expanding universe. Proc. Natl. Acad. Sci. USA
**20**, 12 (1934)CrossRefGoogle Scholar - 132.Tóth, G.Z.: Weak cosmic censorship, dyonic Kerr–Newman black holes and Dirac fields. Class. Quantum Gravit.
**33**, 115012 (2016)MathSciNetzbMATHCrossRefGoogle Scholar - 133.Vaidya, P.C.: An analytical solution for gravitational collapse with radiation. Astrophys. J.
**144**, 943 (1966)MathSciNetCrossRefGoogle Scholar - 134.Vishveshwara, C.V.: Scattering of gravitational radiation by a Schwarzschild black-hole. Nature
**227**, 936 (1970)CrossRefGoogle Scholar - 135.Weinstein, A.: Symplectic geometry. Bull. AMS
**5**, 1 (1981)MathSciNetzbMATHCrossRefGoogle Scholar - 136.Whiteman, K.J.: Invariants and stability in classical mechanics. Rep. Prog. Phys.
**40**, 1033 (1977)CrossRefGoogle Scholar - 137.Whiting, B.F.: Mode stability of the Kerr black hole. J. Math. Phys.
**30**, 1301 (1989)MathSciNetzbMATHCrossRefGoogle Scholar - 138.Witten, E.: Light Rays, Singularities, and All That (2019). arXiv:1901.03928 [hep-th]
- 139.Xie, H.-B.; Guo, T.; Sivakumar, B.; Liew, A.W.-C.; Dokos, S.: Symplectic geometry spectrum analysis of nonlinear time series. Proc. R. Soc. A
**470**, 20140409 (2014)MathSciNetCrossRefGoogle Scholar - 140.Yo, H.-J.; Baumgarte, T.W.; Shapiro, S.L.: Improved numerical stability of stationary black hole evolution calculations. Phys. Rev. D
**66**, 084026 (2002)MathSciNetCrossRefGoogle Scholar - 141.Zerilli, F.J.: Effective potential for even-parity Regge–Wheeler gravitational perturbation equations. Phys. Rev. Lett.
**24**, 737 (1970)CrossRefGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.