Strong cosmic censorship in spherical symmetry for two-ended asymptotically flat initial data II. The exterior of the black hole region

Abstract

This is the second and last paper of a two-part series in which we prove the $C^2$-formulation of the strong cosmic censorship conjecture for the Einstein-Maxwell-(real)-scalar-field system in spherical symmetry for two-ended asymptotically flat data. In the first paper (arXiv:1702.05715), we showed that the maximal globally hyperbolic future development of an admissible asymptotically flat Cauchy initial data set is $C^2$-future-inextendible provided that an $L^2$-averaged (inverse) polynomial lower bound for the derivative of the scalar field holds along each horizon. In this paper, we show that this lower bound is indeed satisfied for solutions arising from a generic set of Cauchy initial data. Roughly speaking, the generic set is open with respect to a (weighted) $C^1$ topology and is dense with respect to a (weighted) $C^\infty$ topology. The proof of the theorem is based on extensions of the ideas in our previous work on the linear instability of Reissner-Nordstr\"om Cauchy horizon, as well as a new large data asymptotic stability result which gives good decay estimates for the difference of the radiation fields for small perturbations of an arbitrary solution.