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

This is the first and main 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. For this model, it is known through the works of Dafermos and Dafermos-Rodnianski that the maximal globally hyperbolic future development of any admissible two-ended asymptotically flat Cauchy initial data set possesses a non-empty Cauchy horizon, across which the spacetime is C-0-future-extendible. (In particular, the C-0-formulation of the strong cosmic censorship conjecture is false.) Nevertheless, the main conclusion of the present series of papers is that for a generic (in the sense of being open and dense relative to appropriate topologies) class of such data, the spacetime is future-inextendible with a Lorentzian metric of higher regularity (specifically, C-2). In this paper, we prove that the solution is C-2-future-inextendible under the condition that the scalar field obeys an L-2-averaged polynomial lower bound along each of the event horizons. This, in particular, improves upon a previous result of Dafermos, which required instead a pointwise lower bound. Key to the proof are appropriate stability and instability results in the interior of the black hole region, whose proofs are in turn based on ideas from the work of Dafermos-Luk on the stability of the Kerr Cauchy horizon (without symmetry) and from our previous paper on linear instability of the Reissner-Nordstrom Cauchy horizon. In the second paper of the series, which concerns analysis in the exterior of the black hole region, we show that the L-2-averaged polynomial lower bound needed for the instability result indeed holds for a generic class of admissible two-ended asymptotically flat Cauchy initial data.