1. Christodoulou does **not** use Rendall's result to "set up his initial data". What happened in the end of Chapter 2 is that he appealed to Rendall's result to show that, given the initial data he has prescribed on the two initial intersecting cones, there **is** a local solution (in harmonic gauge). Given that a solution does exist, his arguments (the various estimates he proves in the middle part of the paper) guarantees the existence of a double null foliation along which the required boundedness of various fluxes hold. (In other words, once you have a solution, you can start proving a priori estimates, even in the situation when the coordinates relative to which you are trying to prove estimates are dynamic; this is the standard bootstrapping procedure in quasilinear PDEs.) 2. To get a solution that exists for long enough time, it is not sufficient to appeal to simply Rendall's result. So Christodoulou proves an extension theorem in Chapter 16: the proof spans page 559 - 580 on the arXiv version. The local extension theorem works with space-like initial data in harmonic coordinates. The reason that you can use space-like initial data is that, remembering that we are only interested in a region near the incoming cone, and _within the incoming cone by domain of dependence arguments we know the metric is flat_, as soon as the initial region of existence (which is guaranteed by Rendall's result) is found, one can draw a space-like hypersurface, which will, in principle, lie in the past of the first trapped surface that is to be shown. (This is where the initial assumption of having a flat causal diamond is very useful. In principle you can also replace the Minkowski causal diamond with a causal diamond from any suitable known regular solution [for example a diamond from any of the Christodoulou-Klainerman small data solutions]. In terms of what Rendall did, the idea is that for Rendall's proof to work he needs to "fill in" the region to the past of his cone with "stuff" which he then subtracts as an inhomogeneity when solving the space-like initial value problem. In Christodoulou's case, he started in a situation where the "stuff" in the past of the cone is already known [in fact Minkowski], so he does not need to go back and fill it in.) The extension theorem is a bit long to prove in part because he needs to translate the estimates he has proven in the double null foliation to estimates that would be useful to control the evolution in harmonic coordinates. ------------- Let me add some (badly drawn) pictures to help clarify. Initially we have a Minkowski diamond (green) with a short pulse outside prescribed on an outgoing line cone (red). [![enter image description here][1]][1] Rendall's existence theorem guarantees that the blue region exists. [![enter image description here][2]][2] The next picture shows the induction argument to construct regions to the future of what is guaranteed by Rendall's existence theorem. Note that what is used is a space-like initial data (blue curve in the picture below) from which local existence in a lens-like domain (area between the blue and red curves) is found. Part of this area is known (the Minkowski part under the green line), but part of it is new (the shaded red part). [![enter image description here][3]][3] -------------- See J. Luk, [On the Local Existence for the Characteristic Initial Value Problem in General Relativity](https://arxiv.org/abs/1107.0898) for a treatment of related questions. [1]: https://i.sstatic.net/1iQCp.png [2]: https://i.sstatic.net/rM303.png [3]: https://i.sstatic.net/CGi2S.png