We solve, locally in time, the evolution problem associated with the Einstein–Vlasov (EV) system, the initial data being specified on two intersecting smooth null hypersurfaces. The proof of the obtained result relies heavily on a fixed point method deployed in appropriate weighted Sobolev spaces. The main tools of this method consist of adequate Sobolev inequalities and Moser estimates combined with energy inequalities for first-order and second-order linear hyperbolic partial differential equations.

Nous résolvons, localement en temps, le problème de lʼévolution associé au système Einstein–Vlasov (EV), les données initiales étant portées par deux hypersurfaces caractéristiques régulières sécantes. La preuve du résultat obtenu repose essentiellement sur une méthode de point fixe déployée dans un cadre approprié dʼespaces de Sobolev à poids. Les principaux ingrédients de cette méthode sont constitués des inégalités de Sobolev et des estimations de Moser adéquates, combinées aux inégalités énergétiques pour les équations aux dérivées partielles hyperboliques linéaires du premier ordre et du second ordre.