Semi-global solutions to the Goursat problem for second-order hyper-quasilinear hyperbolic systems with lineary dependent principal coefficients and applications to the vacuum Einstein equations

Houpa Danga Duplex Elvis; Kouakep Tchaptchie Yannick; Louokdom Tamto Paul Giscard

arxiv: 2605.05381 · v2 · submitted 2026-05-06 · 🧮 math.AP · math-ph· math.MP

Semi-global solutions to the Goursat problem for second-order hyper-quasilinear hyperbolic systems with lineary dependent principal coefficients and applications to the vacuum Einstein equations

Louokdom Tamto Paul Giscard , Houpa Danga Duplex Elvis , Kouakep Tchaptchie Yannick This is my paper

Pith reviewed 2026-05-12 03:14 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.MP

keywords Goursat problemhyper-quasilinear hyperbolic systemssemi-global existencevacuum Einstein equationsharmonic gaugeSobolev spacescharacteristic hypersurfaces

0 comments

The pith

Second-order hyper-quasilinear hyperbolic systems with principal coefficients linear in the unknown admit semi-global solutions to the Goursat problem near characteristic hypersurfaces, yielding semi-global existence for the vacuum Einstein

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends prior results on semi-linear hyperbolic systems to the hyper-quasilinear case where the coefficients of the second-order derivatives depend linearly on the unknown functions. Adapting methods from a 1952 reference, it establishes existence and uniqueness of solutions in suitable Sobolev spaces in a neighborhood of the intersection of the characteristic hypersurfaces that carry the initial data. The same framework then produces a semi-global existence and uniqueness theorem for the vacuum Einstein equations when written in harmonic gauge. A sympathetic reader would see this as a concrete broadening of the class of nonlinear wave equations known to be locally well-posed, with an immediate payoff in general relativity.

Core claim

In the Sobolev-type spaces appropriate for the Goursat problem, second-order hyper-quasilinear hyperbolic systems whose principal coefficients depend linearly on the unknown admit solutions that exist and are unique in the vicinity of the meeting characteristic hypersurfaces carrying the initial data. The same conclusion, again in harmonic gauge, supplies a semi-global existence and uniqueness result for the vacuum Einstein equations.

What carries the argument

The Goursat problem (initial-value problem with data prescribed on characteristic hypersurfaces) for hyper-quasilinear second-order hyperbolic systems, solved by direct adaptation of 1952 techniques to the linear dependence of principal coefficients on the unknown.

If this is right

Solutions exist in a neighborhood of the intersection of the two characteristic hypersurfaces.
Uniqueness holds in the Sobolev spaces chosen for the Goursat problem.
The vacuum Einstein equations in harmonic gauge possess semi-global solutions and are unique there.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same adaptation may work for systems whose principal coefficients depend nonlinearly on the unknown provided new energy estimates can be closed.
Coupling the vacuum Einstein equations to matter sources that preserve the hyper-quasilinear structure could yield analogous semi-global results under suitable gauge conditions.
The approach supplies a template for proving local well-posedness of other quasilinear gravitational models written as second-order hyperbolic systems.

Load-bearing premise

The 1952 techniques remain valid without modification once the principal coefficients are permitted to depend linearly on the unknown.

What would settle it

A concrete hyper-quasilinear system with linear dependence on the unknown for which no solution exists in the stated Sobolev spaces near the intersection of its characteristic hypersurfaces, or a vacuum Einstein initial-value set in harmonic gauge whose solution fails to exist in the claimed semi-global domain.

read the original abstract

In this work, we significantly extend the results of D. Houpa, 2006 on the Goursat problem for second-order semi-linear hyperbolic systems to the broader framwork of second-order hyper-quasilinear hyperbolic systems of Goursat type, in which the coefficients of the second-order derivatives depend linearly on the unknown. By adapting techniques inspired by Y. Foures (Choquet)- Bruhat, Acta Mathematica, 1952. we show that in the Sobolev type spaces for the Goursat problem quasilinear hyperbolic of the second order considered, the solution exists and is defined in the vicinity of the meeting characteristic hypersurfaces which carry the initial data. As an application, in harmonic gauge, we derive a semi-global existence and uniqueness result for the vacuum Einstein equations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Extends Houpa 2006 semi-linear Goursat to hyper-quasilinear systems with linear principal-coefficient dependence and claims semi-global Einstein result, but the modified estimates are not exhibited.

read the letter

The key thing here is that this work extends the 2006 semi-linear Goursat theorem by Houpa to hyper-quasilinear second-order hyperbolic systems where the principal coefficients depend linearly on the unknown. It claims to adapt Choquet-Bruhat's 1952 methods to get semi-global existence near the characteristic hypersurfaces and then applies it to the vacuum Einstein equations in harmonic gauge for a semi-global result. What stands out as new is the handling of that linear dependence in the coefficients, which moves beyond semi-linear to a hyper-quasilinear setting without making the dependence fully nonlinear. The paper does a reasonable job of motivating the extension through the Einstein application, which is relevant for mathematical GR. The estimates from the 1952 paper are adapted, but the abstract gives no indication of how the a priori bounds are modified or whether the solution-dependent characteristics require extra smallness conditions. If the full text does not include those explicit steps, the claim that the adaptation works is hard to evaluate. The function space setting is mentioned as Sobolev type but without details on any loss or gain of derivatives. This paper targets people working on hyperbolic systems with Goursat data or on local existence questions in general relativity. A reader who needs semi-global results for quasilinear wave equations might find the Einstein part interesting, provided the technical details check out. It deserves peer review because the extension is specific and the application has potential value, even though the soundness depends on seeing the estimates.

Referee Report

2 major / 2 minor

Summary. The manuscript extends results of Houpa (2006) on the Goursat problem for second-order semi-linear hyperbolic systems to the hyper-quasilinear setting in which the principal coefficients depend linearly on the unknown. By adapting techniques from Choquet-Bruhat (Acta Math. 1952), it asserts existence and uniqueness of solutions in Sobolev-type spaces in a neighborhood of the meeting characteristic hypersurfaces carrying the initial data. As an application, the authors derive a semi-global existence and uniqueness result for the vacuum Einstein equations in harmonic gauge.

Significance. If the adaptation of the 1952 energy estimates and Sobolev arguments can be made rigorous for the hyper-quasilinear case, the result would constitute a meaningful technical extension of local existence theory for Goursat problems, enlarging the class of admissible nonlinearities. The direct application to the vacuum Einstein equations supplies a concrete, physically motivated illustration of the abstract theorem.

major comments (2)

[Abstract] Abstract (and main existence statement): the claim that the 1952 Choquet-Bruhat techniques extend when principal coefficients depend linearly on the unknown is asserted without exhibiting the modified a-priori energy estimates, the precise Sobolev-space setting, or the control on the solution-dependent characteristics that would be required to close the estimates. This omission is load-bearing for the central existence theorem.
[Application section] Application to vacuum Einstein equations: the semi-global existence/uniqueness statement in harmonic gauge is presented as a direct corollary, yet no verification is supplied that the linear dependence of the principal coefficients on the metric (or its derivatives) preserves the a-priori bounds obtained from the abstract theorem without additional smallness or loss of derivatives.

minor comments (2)

[Abstract] The abstract refers to 'Sobolev type spaces' without specifying the precise indices or the precise function-space framework (e.g., H^s with s > n/2 + 1 or weighted spaces adapted to the Goursat geometry).
The citation to Houpa (2006) is given only by year; a full bibliographic entry and a brief statement of which theorem is being extended would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We address the two major comments point by point below, clarifying the content of the existing proofs and indicating the revisions we have made to improve clarity and completeness.

read point-by-point responses

Referee: [Abstract] Abstract (and main existence statement): the claim that the 1952 Choquet-Bruhat techniques extend when principal coefficients depend linearly on the unknown is asserted without exhibiting the modified a-priori energy estimates, the precise Sobolev-space setting, or the control on the solution-dependent characteristics that would be required to close the estimates. This omission is load-bearing for the central existence theorem.

Authors: We agree that the abstract and main theorem statement would benefit from a more explicit outline of the adaptations. The full modified energy estimates, including the additional commutator terms arising from the linear dependence of the principal coefficients on the unknown, are derived in Sections 3 and 4. These estimates are closed in the Sobolev spaces H^{s} (s > 5/2) with the standard control on the domain of dependence for the perturbed characteristics. To address the concern directly, we have revised the abstract to mention the key modifications and inserted a short paragraph immediately after the statement of the main theorem that summarizes how the linear dependence permits absorption of lower-order terms without loss of derivatives. revision: yes
Referee: [Application section] Application to vacuum Einstein equations: the semi-global existence/uniqueness statement in harmonic gauge is presented as a direct corollary, yet no verification is supplied that the linear dependence of the principal coefficients on the metric (or its derivatives) preserves the a-priori bounds obtained from the abstract theorem without additional smallness or loss of derivatives.

Authors: We acknowledge the need for explicit verification in the application. In the revised manuscript we have added a brief verification paragraph in the application section. It confirms that, after reduction to harmonic gauge, the principal coefficients of the resulting second-order system depend linearly on the metric components, so that the a-priori estimates of the abstract theorem apply directly. The smallness assumptions already present in the semi-global setting suffice to control the perturbation terms; no additional smallness or derivative loss is required because the linear structure is compatible with the energy estimates derived for the general case. revision: yes

Circularity Check

0 steps flagged

No significant circularity; extension adapts external 1952 techniques to new coefficient dependence

full rationale

The paper's central derivation extends the 2006 Goursat result for semi-linear systems to the hyper-quasilinear case (principal coefficients linear in the unknown) by adapting Choquet-Bruhat 1952 energy estimates and Sobolev-space arguments for the Goursat problem. This produces a claimed semi-global existence/uniqueness result near meeting characteristic hypersurfaces, with application to vacuum Einstein equations in harmonic gauge. No quoted step reduces the existence statement to a quantity defined in terms of itself, a fitted parameter renamed as prediction, or a load-bearing self-citation chain whose validity is presupposed without independent verification. The cited 1952 work is external and the 2006 reference is prior independent work; the adaptation is asserted as new content rather than tautological with the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the validity of adapting classical hyperbolic estimates to the linear-dependence case and on standard properties of Sobolev spaces; no free parameters or new postulated entities appear in the abstract.

axioms (2)

standard math Standard Sobolev embedding and trace theorems hold for the function spaces used in the Goursat problem
Invoked when the solution is asserted to exist in Sobolev-type spaces near the characteristic hypersurfaces.
domain assumption The 1952 Choquet-Bruhat estimates can be modified to accommodate linear dependence of principal coefficients on the unknown
This is the key adaptation stated in the abstract but not verified there.

pith-pipeline@v0.9.0 · 5464 in / 1682 out tokens · 71290 ms · 2026-05-12T03:14:57.615897+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

By adapting techniques inspired by Y. Foures (Choquet)-Bruhat, Acta Mathematica, 1952, we show that in the Sobolev type spaces for the Goursat problem quasilinear hyperbolic of the second order considered, the solution exists and is defined in the vicinity of the meeting characteristic hypersurfaces
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

in harmonic gauge, we derive a semi-global existence and uniqueness result for the vacuum Einstein equations

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · 1 internal anchor

[1]

Semi-global solutions to the Goursat problem for second-order hyper-quasilinear hyperbolic systems with lineary dependent principal coefficients and applications to the vacuum Einstein equations

for the semi-global resolution of semilinear hyperbolic second-order Cauchy problems with initial data posed on a characteristic conoid, and further developed by D. Houpa and M. Dossa [10] for the semi-global resolution of semilinear hyperbolic second-order Goursat problems. This approach relies on a careful combination of an existence and uniqueness resu...

work page internal anchor Pith review Pith/arXiv arXiv 2026
[2]

If besides 1) we assume that the initial dataφw = (φw r )are restrictions toS w of functions of class C∞ onR 2 ×B, then there exists a mapfofR∗ + →R ∗ +, and a solutionu= (ur)of the hyper-quasilinear Goursat problem(1)defined in the domainY (f) and such thatu∈C ∞(Y(f)). Theorem 3.2.Under the hypotheses(α 4),(β 4),(γ 4),(λ 4),(G 0)and(G 1)we have : 1)- For...

work page
[3]

Formally writing, for problem(1), the Kirchhoff formulas as in the case of semilinear systems, we note that although the functionsAλµ depend linearly on the unknownsus?, the resulting identities do not define an integral system. Therefore, we reduce the study of problem(1)to the following hyper-quasilinear Goursat problem :    (Hr) :A λµm 1 (xα)um∂2 λµ...

work page
[4]

The proof of 2) is then similar to that given in [9, 10] in the case of the semilinear Goursat problem

The restrictions to S of the derivatives up to order four of any possible solution of the hyper- quasilinear problem(4), denoted by(ΦS), are uniquely determined on the whole ofS. The proof of 2) is then similar to that given in [9, 10] in the case of the semilinear Goursat problem

work page
[5]

The proof of 3) is then similar to that given in [9, 10] in the case of the semilinear Goursat problem

The solution of the integral system(GS)associated with problem(4)is constructed in the space of bounded continuous functions defined on a causal domainY1 a neighbourhood ofSinY(endowed with the metric of uniform convergence), as a fixed point of a contraction mappingΘsending a ball centered at(Φ S)into itself. The proof of 3) is then similar to that given...

work page
[6]

Hyperbolicity and regularity ofL=− 1 2 3P i=1 ([g0i]w −(−1) w+1δ1j[gij]w)∂i To do this, we will show that its main symbol admits real eigenvalues. Since the principal symbol corresponds to the part of the differential operator which contains the highest order derivatives, then the operator considered here is : −1 2 3X i=1 ([g0i]w −(−1) w+1δ1j[gij]w)∂iKw α...

work page
[7]

The quadratic formQis dissipative To do this, it suffices to show that the quadratic formQ(Kw, Kw)≤0. Let us set Q(K w, Kw) =T 1 +T 2 +T 3 +T 4 +T 5 (19) with T 1 = 1 2[gδη]w[gλµ]w(XλδXαη +X λδXβη),T 2 =− 1 4[gδη]w[gλµ]wXδλXµη T 3 =− 1 2[gδη]w[gλµ]wXηλ(Xµβ +X µα −X αβ)andT 4 = 1 4[gδη]w[gλµ]wXδη(Xg αλ +X βλ −X αβ) whereX λδ = [∂0gλδ]w. Using the identitya...

work page
[8]

Energy estimate for the system Since system(15)is symmetrizable, we define the associated standard energy by : E(t) = 1 2 Z R3 X α,β=0,...,3 |K w αβ(t, x)| 2 dx= 1 2 Z R3 ∥K w αβ(t, x)∥ 2 dx(20) SoE(t)is equivalent to the normL 2 onR 3. By differentiating the energy with respect to time we obtain : dE(t) dt = Z R3 Kw αβ(t, x)∂tKw αβ(t, x)dx(21) Since[g 00...

work page
[9]

Let ˜Ω0, ˜Ω1, ˜b12 and ˜b13 of class functionsC ∞ given onΓ

= (h1 22, h1 22, h1 22)onΓ. Let ˜Ω0, ˜Ω1, ˜b12 and ˜b13 of class functionsC ∞ given onΓ. There exists a unique scalar functionΩonS 0S S1 and a Lorentz metricgαβ of classC ∞ onYsuch that : 1.g αβ = Ωhαβ onS 1S S0 whereh αβ =h 0 αβ onS 0 andh αβ =h 1 αβ surS 1; 2.(g αβ)statisfied Einstein’s equation for a vacuum inY; 3.(g αβ)andΩinduce the data onS 1S S0

work page
[10]

The coordinates onMare called standard forg αβ and the harmonic gauge conditionΓβ = 0 satisfied onY

work page
[11]

Proof :It proceeds by following the approach used by A

OnΓwe retain thatΩ = ˜Ω,Ω ,0 = ˜Ω0,Ω ,1 = ˜Ω1,g 02,1 = ˜b12 andg 03,1 = ˜b13. Proof :It proceeds by following the approach used by A. Rendall [16] for solving the initial constraint problem for the vacuum Einstein equations in harmonic gauge underC∞ regularity as- sumptions, with initial data prescribed on the union of two intersecting characteristic hype...

work page
[12]

Brézis,Analyse fonctionnelle, Masson, 1983

H. Brézis,Analyse fonctionnelle, Masson, 1983

work page 1983
[13]

Foures (Choquet)- Bruhat,Théorème d’existence pour certains systèmes d’équations aux déri- vées partielles non linéaires, Acta Mathematica, 88, p

Y. Foures (Choquet)- Bruhat,Théorème d’existence pour certains systèmes d’équations aux déri- vées partielles non linéaires, Acta Mathematica, 88, p. 141-225 (1952)

work page 1952
[14]

Christodoulou,The formation of back holes in general relativity, In : EMS Monographs in Mathematics

D. Christodoulou,The formation of back holes in general relativity, In : EMS Monographs in Mathematics. European Mathematical Society (2008)

work page 2008
[15]

Christodoulou et H

D. Christodoulou et H . Muller Zum Hargen,Probl`eme de valeur initiale caract´eristique pour les systèmes quasi-lin´eaires du second ordre, C.R. Acad. Sci. Paris, t.293, série I, p. 39 (1981)

work page 1981
[16]

Dossa and S

M. Dossa and S. Bah,Solutions du problèmes de Cauchy semi-lin´eaires hyperboliques sur un conoide caractéristique, C.R. Acad. Sci. Paris,t.333, S´erie, P. 179-184, 2001

work page 2001
[17]

Dossa and C

M. Dossa and C. Tadmon,The Characteristic Initial Value problem for the Einstein-Yang-Mills- Higgs System in Weighted Sobolev Spaces, Applied Mathematics Research Express, Vol. 2010. N0. 2 PP. 154-231

work page 2010
[18]

M.DossaandJ.B.Patenou,Cauchy problem on Two Characteristic Hypersurfaces for thz Einstein- Vlasov Scalar Field Equations in temporal Gauge, aUGUST 4, 2016

work page 2016
[19]

Dragomir,Some Gronwall Type Inequalities and Applications, 2002

S. Dragomir,Some Gronwall Type Inequalities and Applications, 2002

work page 2002
[20]

D. Houpa,Solutions semi-globales pour le problème de Goursat associé à des syst`emes non lin´eaires hyperboliques et applications, Th`ese de Doctorat/PhD, Universit´ede Yaound´e1 (2006)

work page 2006
[21]

Houpa and M

D. Houpa and M. Dossa,Problèmes de Goursat pour les systèmes semi-lin´eaires hyperboliques, C.R. Acad. Sci. Paris. Ser. 1341 (2005) 15-20

work page 2005
[22]

Linblad and I

H. Linblad and I. Rodnianski,The weak null condition for Einsten’s equations, C.R. Acad. Sci. Paris. Ser. 1336 (2013) 901-906

work page 2013
[23]

Lindblad and I

H. Lindblad and I. Rodnianski,Global existence for the Einstein vacuum equations in wave coor- dinates, Commun. Math. Phys. 256, p. 43-110 (2005)

work page 2005
[24]

Loizelet,Solutions globales d’´equations Einstein Maxwell, Ann

J. Loizelet,Solutions globales d’´equations Einstein Maxwell, Ann. Fac. Sci. Toulouse 18 , 565-610 (2009). MR 2582443

work page 2009
[25]

Louokdom Tamto,Th`ese de Doctorat/Ph.D en cours, Universit´ede Ngaound´er´e(Cameroun)

P.G. Louokdom Tamto,Th`ese de Doctorat/Ph.D en cours, Universit´ede Ngaound´er´e(Cameroun)

work page
[26]

Lawrence Evans,Partial Differential Equations, Graduate Studies in Mathematics, V.19, Ame- rican Mathematical Society,2e édition, Providence, Rhode Island, 2010

C. Lawrence Evans,Partial Differential Equations, Graduate Studies in Mathematics, V.19, Ame- rican Mathematical Society,2e édition, Providence, Rhode Island, 2010

work page 2010
[27]

Rendall,Reduction of the charactteristic initial value problem to the Cauchy problem and its applications to the Einstein Equations, Proc

A. Rendall,Reduction of the charactteristic initial value problem to the Cauchy problem and its applications to the Einstein Equations, Proc. Roy. Soc. London Ser A, Vol. 427, P. 221-239 (1990). 10

work page 1990

[1] [1]

Semi-global solutions to the Goursat problem for second-order hyper-quasilinear hyperbolic systems with lineary dependent principal coefficients and applications to the vacuum Einstein equations

for the semi-global resolution of semilinear hyperbolic second-order Cauchy problems with initial data posed on a characteristic conoid, and further developed by D. Houpa and M. Dossa [10] for the semi-global resolution of semilinear hyperbolic second-order Goursat problems. This approach relies on a careful combination of an existence and uniqueness resu...

work page internal anchor Pith review Pith/arXiv arXiv 2026

[2] [2]

If besides 1) we assume that the initial dataφw = (φw r )are restrictions toS w of functions of class C∞ onR 2 ×B, then there exists a mapfofR∗ + →R ∗ +, and a solutionu= (ur)of the hyper-quasilinear Goursat problem(1)defined in the domainY (f) and such thatu∈C ∞(Y(f)). Theorem 3.2.Under the hypotheses(α 4),(β 4),(γ 4),(λ 4),(G 0)and(G 1)we have : 1)- For...

work page

[3] [3]

Formally writing, for problem(1), the Kirchhoff formulas as in the case of semilinear systems, we note that although the functionsAλµ depend linearly on the unknownsus?, the resulting identities do not define an integral system. Therefore, we reduce the study of problem(1)to the following hyper-quasilinear Goursat problem :    (Hr) :A λµm 1 (xα)um∂2 λµ...

work page

[4] [4]

The proof of 2) is then similar to that given in [9, 10] in the case of the semilinear Goursat problem

The restrictions to S of the derivatives up to order four of any possible solution of the hyper- quasilinear problem(4), denoted by(ΦS), are uniquely determined on the whole ofS. The proof of 2) is then similar to that given in [9, 10] in the case of the semilinear Goursat problem

work page

[5] [5]

The proof of 3) is then similar to that given in [9, 10] in the case of the semilinear Goursat problem

The solution of the integral system(GS)associated with problem(4)is constructed in the space of bounded continuous functions defined on a causal domainY1 a neighbourhood ofSinY(endowed with the metric of uniform convergence), as a fixed point of a contraction mappingΘsending a ball centered at(Φ S)into itself. The proof of 3) is then similar to that given...

work page

[6] [6]

Hyperbolicity and regularity ofL=− 1 2 3P i=1 ([g0i]w −(−1) w+1δ1j[gij]w)∂i To do this, we will show that its main symbol admits real eigenvalues. Since the principal symbol corresponds to the part of the differential operator which contains the highest order derivatives, then the operator considered here is : −1 2 3X i=1 ([g0i]w −(−1) w+1δ1j[gij]w)∂iKw α...

work page

[7] [7]

The quadratic formQis dissipative To do this, it suffices to show that the quadratic formQ(Kw, Kw)≤0. Let us set Q(K w, Kw) =T 1 +T 2 +T 3 +T 4 +T 5 (19) with T 1 = 1 2[gδη]w[gλµ]w(XλδXαη +X λδXβη),T 2 =− 1 4[gδη]w[gλµ]wXδλXµη T 3 =− 1 2[gδη]w[gλµ]wXηλ(Xµβ +X µα −X αβ)andT 4 = 1 4[gδη]w[gλµ]wXδη(Xg αλ +X βλ −X αβ) whereX λδ = [∂0gλδ]w. Using the identitya...

work page

[8] [8]

Energy estimate for the system Since system(15)is symmetrizable, we define the associated standard energy by : E(t) = 1 2 Z R3 X α,β=0,...,3 |K w αβ(t, x)| 2 dx= 1 2 Z R3 ∥K w αβ(t, x)∥ 2 dx(20) SoE(t)is equivalent to the normL 2 onR 3. By differentiating the energy with respect to time we obtain : dE(t) dt = Z R3 Kw αβ(t, x)∂tKw αβ(t, x)dx(21) Since[g 00...

work page

[9] [9]

Let ˜Ω0, ˜Ω1, ˜b12 and ˜b13 of class functionsC ∞ given onΓ

= (h1 22, h1 22, h1 22)onΓ. Let ˜Ω0, ˜Ω1, ˜b12 and ˜b13 of class functionsC ∞ given onΓ. There exists a unique scalar functionΩonS 0S S1 and a Lorentz metricgαβ of classC ∞ onYsuch that : 1.g αβ = Ωhαβ onS 1S S0 whereh αβ =h 0 αβ onS 0 andh αβ =h 1 αβ surS 1; 2.(g αβ)statisfied Einstein’s equation for a vacuum inY; 3.(g αβ)andΩinduce the data onS 1S S0

work page

[10] [10]

The coordinates onMare called standard forg αβ and the harmonic gauge conditionΓβ = 0 satisfied onY

work page

[11] [11]

Proof :It proceeds by following the approach used by A

OnΓwe retain thatΩ = ˜Ω,Ω ,0 = ˜Ω0,Ω ,1 = ˜Ω1,g 02,1 = ˜b12 andg 03,1 = ˜b13. Proof :It proceeds by following the approach used by A. Rendall [16] for solving the initial constraint problem for the vacuum Einstein equations in harmonic gauge underC∞ regularity as- sumptions, with initial data prescribed on the union of two intersecting characteristic hype...

work page

[12] [12]

Brézis,Analyse fonctionnelle, Masson, 1983

H. Brézis,Analyse fonctionnelle, Masson, 1983

work page 1983

[13] [13]

Foures (Choquet)- Bruhat,Théorème d’existence pour certains systèmes d’équations aux déri- vées partielles non linéaires, Acta Mathematica, 88, p

Y. Foures (Choquet)- Bruhat,Théorème d’existence pour certains systèmes d’équations aux déri- vées partielles non linéaires, Acta Mathematica, 88, p. 141-225 (1952)

work page 1952

[14] [14]

Christodoulou,The formation of back holes in general relativity, In : EMS Monographs in Mathematics

D. Christodoulou,The formation of back holes in general relativity, In : EMS Monographs in Mathematics. European Mathematical Society (2008)

work page 2008

[15] [15]

Christodoulou et H

D. Christodoulou et H . Muller Zum Hargen,Probl`eme de valeur initiale caract´eristique pour les systèmes quasi-lin´eaires du second ordre, C.R. Acad. Sci. Paris, t.293, série I, p. 39 (1981)

work page 1981

[16] [16]

Dossa and S

M. Dossa and S. Bah,Solutions du problèmes de Cauchy semi-lin´eaires hyperboliques sur un conoide caractéristique, C.R. Acad. Sci. Paris,t.333, S´erie, P. 179-184, 2001

work page 2001

[17] [17]

Dossa and C

M. Dossa and C. Tadmon,The Characteristic Initial Value problem for the Einstein-Yang-Mills- Higgs System in Weighted Sobolev Spaces, Applied Mathematics Research Express, Vol. 2010. N0. 2 PP. 154-231

work page 2010

[18] [18]

M.DossaandJ.B.Patenou,Cauchy problem on Two Characteristic Hypersurfaces for thz Einstein- Vlasov Scalar Field Equations in temporal Gauge, aUGUST 4, 2016

work page 2016

[19] [19]

Dragomir,Some Gronwall Type Inequalities and Applications, 2002

S. Dragomir,Some Gronwall Type Inequalities and Applications, 2002

work page 2002

[20] [20]

D. Houpa,Solutions semi-globales pour le problème de Goursat associé à des syst`emes non lin´eaires hyperboliques et applications, Th`ese de Doctorat/PhD, Universit´ede Yaound´e1 (2006)

work page 2006

[21] [21]

Houpa and M

D. Houpa and M. Dossa,Problèmes de Goursat pour les systèmes semi-lin´eaires hyperboliques, C.R. Acad. Sci. Paris. Ser. 1341 (2005) 15-20

work page 2005

[22] [22]

Linblad and I

H. Linblad and I. Rodnianski,The weak null condition for Einsten’s equations, C.R. Acad. Sci. Paris. Ser. 1336 (2013) 901-906

work page 2013

[23] [23]

Lindblad and I

H. Lindblad and I. Rodnianski,Global existence for the Einstein vacuum equations in wave coor- dinates, Commun. Math. Phys. 256, p. 43-110 (2005)

work page 2005

[24] [24]

Loizelet,Solutions globales d’´equations Einstein Maxwell, Ann

J. Loizelet,Solutions globales d’´equations Einstein Maxwell, Ann. Fac. Sci. Toulouse 18 , 565-610 (2009). MR 2582443

work page 2009

[25] [25]

Louokdom Tamto,Th`ese de Doctorat/Ph.D en cours, Universit´ede Ngaound´er´e(Cameroun)

P.G. Louokdom Tamto,Th`ese de Doctorat/Ph.D en cours, Universit´ede Ngaound´er´e(Cameroun)

work page

[26] [26]

Lawrence Evans,Partial Differential Equations, Graduate Studies in Mathematics, V.19, Ame- rican Mathematical Society,2e édition, Providence, Rhode Island, 2010

C. Lawrence Evans,Partial Differential Equations, Graduate Studies in Mathematics, V.19, Ame- rican Mathematical Society,2e édition, Providence, Rhode Island, 2010

work page 2010

[27] [27]

Rendall,Reduction of the charactteristic initial value problem to the Cauchy problem and its applications to the Einstein Equations, Proc

A. Rendall,Reduction of the charactteristic initial value problem to the Cauchy problem and its applications to the Einstein Equations, Proc. Roy. Soc. London Ser A, Vol. 427, P. 221-239 (1990). 10

work page 1990