On the local existence for the characteristic initial value problem for the Einstein-Maxwell-complex scalar system
摘要
In this paper, we study the characteristic initial value problem for the Einstein-Maxwell-complex scalar field system. Adapting the strategy developed by Luk (2012) for the vacuum case, we establish a local existence result for this coupled system. Specifically, we construct solutions in a rectangular neighbourhood of the intersection of two null hypersurfaces on which characteristic initial data are prescribed. Our analysis is carried out within the framework of a double null foliation, employing the T-weight formalism, an adjustment to the Geroch-Held-Penrose (GHP) formalism.