Trapped surface formation for spherically symmetric Einstein-Maxwell-charged scalar field system with double null foliation
In this paper, under spherical symmetry we prove a trapped surface formation criterion for the Einstein-Maxwell-charged scalar field system. We generalize an approach introduced by Christodoulou for studying the Einstein-scalar field. In appendix, with double null foliation we also reprove Christodoulou's result and for Minkowskian incoming characteristic initial data, we improve Christodoulou's bound.