Instabilities of naked singularities and black hole interiors in General Relativity
Metrics representing black holes in General Relativity may exhibit naked singularities for certain values of their parameters. This is the case for super-extremal () Kerr and super-extremal () Reissner-Nördstrom spacetimes, and also for the negative mass Schwarzschild spacetime. We review our recent work where we show that these nakedly singular spacetimes are unstable under linear gravitational perturbations, a result that supports the cosmic censorship conjecture, and also that the inner stationary region beyond the inner horizon of a Kerr black hole () is linearly unstable.
PACS numbers: 04.50.+h, 04.20.Jb, 04.90.+e
Consider the Schwarzschild solution for the Einstein’s vacuum equations in the static, spherically symmetric case,
Its generalization to the axially symmetric (rotating) case, obtained by Kerr, is
where and . The generalization of (1) to the spherically symmetric Einstein-Maxwell case is the Reissner-Nördstrom spacetime, with electromagnetic field and metric
, and above arise as integration constants when solving the second order field equations,
and can therefore take any value. We know, however, that is the charge, the mass, and the angular momentum,
and that in (3), as well as in (2), or a negative in
(1), would give a spacetime with a naked singularity. Although not ruled
out by Einstein’s equations, it is believed that a nakedly singular stationary spacetime cannot be the
endpoint of the evolution of “reasonable” evolving matter. Different technical versions of this assertion
are usually referred to as “cosmic censorship”. We have addressed this issue through a series of papers [1, 2, 3, 4]
that analyze the stability under linear gravitational perturbations of these nakedly singular spacetimes, and
found that they are generically unstable, providing further supporting evidence to the cosmic censorship conjecture.
For the Schwarzschild solution, the instability, first analyzed in Ref.5, corresponds to the scalar (even) type  of gravitational perturbations [1, 4]. It was Zerilli  who found that, for the black hole case , the scalar type linear perturbations for the static exterior region of a Schwarzschild black hole can be reduced to a two dimensional wave equation with a space dependent potential
the tortoise radial coordinate, defined as
Eq. (4) admits separable solutions of the form ,
The stability problem then reduces to finding out whether the “Hamiltonian” admits
negative “energy” states or not. In the first case, would grow exponentially
in time, as would do any solution of Zerilli’s equation with initial data projecting non trivially on such a state.
If is positive definite, the separate variable solutions are oscillatory in time,
and generic solutions of (4) are then bounded for all .
There is, however, a number of subtleties in the negative mass case, that were only recently settled
. First note that exterior region of the Schwarzschild black hole gets mapped onto the real line
by (5), whereas the region of interest in the negative mass case maps onto , thus is a “quantum” Hamiltonian on a half axis, with
as as [4, 5] (see [8, 9] for a detailed study of this problem.)
Zerilli’s potential is smooth for and positive , whereas for has a second order pole
at . The half space domain of (4) for , is related to the non global hyperbolicity
of the background spacetime. This requires choosing a boundary condition at the
singularity. As shown in Refs.1,4,5, there is a unique physically motivated choice that guarantees that
(i) first order corrections to metric invariants do not diverge faster than their zeroth order piece as ,
the perturbed solution is globally valid, and (ii) the energy of the perturbation is finite.
The origin of the singularity at is different, and can be traced back to the definition of the Zerilli
function, which happens to be rational function of the perturbed metric components, with an explicit singularity at this point[1, 4].
As a consequence, Zerilli’s function does not belong to , is not
a self adjoint operator on the space of Zerilli functions, and we do not know how to evolve initial data for perturbations. The way out
of this problem is provided by an appropriate intertwining operator[10, 4], carefully constructed
so as to map Zerilli functions onto an space, and onto a self adjoint Hamiltonian operator on this space. The unstable
mode found in Ref.1 gets mapped onto one of the (bound state) eigenfunctions of this Hamiltonian, and is therefore
excited by generic initial data supported away from the singularity. This completes the proof of instability of the negative
mass Schwarzschild black hole.
The unstable mode for Schwarzschild was recognized in Ref.11 to belong to the algebraic special modes (AS) studied by Chandraskhar in the black hole context. This hinted in the right direction to construct unstable modes for the super-extremal Reissner-Nördstrom black hole, which also happened to be of the AS type. Kerr spacetime breaks this pattern, as the AS modes do not satisfy appropriate boundary conditions in the super extremal case. Perturbations of this spacetime are treated using Teukolsky equations, which describe the first order variation of a null tetrad component of the Weyl tensor, of spin weight . Separable solutions exist of the form . The equations they satisfy have the structure
This system is subtly linked: has to be regular on the sphere (these functions on are called spin weighted spheroidal harmonics), has to satisfy appropriate boundary conditions, and the eigenvalue is the same in (6) and (7). Teukolsky equations were used to prove that the exterior stationary region of a Kerr black hole is stable, and to find numerical evidence of an instability in the super-extremal case. A proof of the existence of the unstable modes was recently found, using the results on the form of the spectrum of (6) for large imaginary (corresponding to unstable modes )
together with its low frequency behavior
Here is the harmonic number, and the ones that are relevant for the perturbation problem are . The radial Teukolsky equation can be cast in Hamiltonian form , the prime denoting a derivative with respect to an alternative radial coordinate. For , , with and negative on an interval . This allows to prove that (minus) the lowest eigenvalue of this Hamiltonian behaves, for large enough, as
The above equation, together with (8), (9) and the bound
obtained from the global minimum of imply that, as we increase , we always find
a common eigenvalue in
(6) and (7), for any harmonic number and the fundamental radial mode. Even more interesting is the
fact that, with minor changes, the same argument can be used to prove that, in the extreme () and
sub-extreme () black hole cases, the stationary region beyond the inner horizon, ,
is unstable. The instability found in region III of Kerr space-time, and the fact that
the Reissner-Nörsdtrom charged black hole also has a two horizon
structure with an inner static region , triggers the question of
whether of not this inner static region is stable.
Preliminary work indicates
that this region is unstable.
- R. J. Gleiser and G. Dotti, Class. Quant. Grav. 23, 5063 (2006) [arXiv:gr-qc/0604021].
- G. Dotti, R. Gleiser and J. Pullin, Phys. Lett. B 644, 289 (2007) [arXiv:gr-qc/0607052].
- G. Dotti, R. J. Gleiser, I. F. Ranea-Sandoval and H. Vucetich, arXiv:0805.4306 [gr-qc].
- G. Dotti and R. J. Gleiser, arXiv:0809.3615 [gr-qc].
- Gibbons G W, Hartnoll D and Ishibashi A 2005 Prog.Theor.Phys. 113 963-978, hep-th/0409307.
- H. Kodama and A. Ishibashi, Prog. Theor. Phys. 110, 901 (2003) [arXiv:hep-th/0305185]; Prog. Theor. Phys. 110, 701 (2003) [arXiv:hep-th/0305147]; Phys. Rev. D 62, 064022 (2000) [arXiv:hep-th/0004160].
- F. J. Zerilli, Phys. Rev. D2, 2141 (1970).
- M. Reed and B. Simon, Methods of modern mathematical physics (v. 2: Fourier analysis, self-adjointness), section X, Academic Press (1975).
- K. Meetz, Il Nuovo Cimento 34 690 (1964).
- A. Anderson and R. H. Price, Phys. Rev. D 43, 3147 (1991).
- V. Cardoso and M. Cavaglia, Phys.Rev. D74, 024027 (2006) [arXiv:gr-qc/0604101]
- S. Chandrasekhar Proc. Roy. Soc. Lond. A 392, 1 (1983).
- S. Teukolsky, Astroph. J. 185, 635 (1973)
- B. F. Whiting, J. Math. Phys. 30, 1301 (1989).
- E. Berti, V. Cardoso and M. Casals, Phys. Rev. D 73, 024013 (2006) [Erratum-ibid. D 73, 109902 (2006)] [arXiv:gr-qc/0511111].
- G. Dotti and R.J. Gleiser, work in progress.