arxiv:math/ v1 [math.ap] 25 Jul 2006

Transcription

1 arxiv:math/67631v1 [math.ap] 5 Jul 6 GLOBAL EXISTENCE FOR ENERGY CRITICAL WAVES IN 3-D DOMAINS by Nicolas Burq, Gilles Lebeau & Fabrice Planchon Abstract. We prove that the defocusing quintic wave equation, with Dirichlet boundary conditions, is globally well posed on H 1 () L () for any smooth (compact) domain R 3. The main ingredient in the proof is an L 5 spectral projector estimate, obtained recently by Smith and Sogge [1], combined with a precise study of the boundary value problem. 1. Introduction Let R 3 be a smooth bounded domain with boundary and D the Laplacian acting on functions with Dirichlet boundary conditions. We are interested in describing the relationship between certain L p estimates for the associated spectral projector, obtained recently by H. Smith and C. Sogge [1], and Strichartz inequalities for solutions to the wave equation in. This relationship turns out to be very simple, natural and optimal (at least in some range of indexes), and is closely related to an earlier remark of Mockenhaupt, Seeger and Sogge regarding Fourier integral operators ([7], Corollary 3.3). As an application we consider the critical semi-linear wave equation (with real initial data) in, (1.1) ( t )u+u5 =, in R t u t= = u, t u t= = u 1, u Rt =, which enjoys the conservation of energy ( u (t,x)+ t u (t,x) E(u)(t) = Our main result reads: + u 6 (t,x) ) dx = E(u)(). 6 Theorem 1. For any (u,u 1 ) H 1 () L () there exists a unique (global in time) solution u to (1.1) in the space X = C (R t ;H 1 ()) C 1 (R t ;L ()) L 5 loc (R;L1 ()).

2 N. BURQ, G. LEBEAU & F. PLANCHON Remark 1. To our knowledge, the fact that weakened dispersion estimates can still imply optimal (and scale invariant) Strichartz estimates for the solution to the wave equation was first noticed by the second author [6]. Observe that the results obtained in [6], though restricted only to the interior of strictly convex domains, are far more precise than the results presented here, and apply to the critical non linear wave equation in higher dimension as well. Remark. Thedifficulty inprovingtheorem1isthatwecannot affordany lossinthe Strichartz estimates we prove: Strichartz estimates obtained by Tataru [15] for Lipschitz metrics (see also the results by Anton [1] in the Schrödinger context) would certainly improve the classical result (well posedness for the cubic non linear wave equation) but it would not be enough to deal with the quintic nonlinearity. Remark 3. In other dimensions, we can still apply Smith and Sogge s spectral projectors results, leading to other Strichartz type estimates. The strategy also works for obtaining semi-classical Strichartz-type estimates for the Schrödinger equation (see Burq, Gérard and Tzvetkov []). These questions will be addressed elsewhere. Remark 4. Using the material in this paper, it is rather standard to prove existence of global smooth solutions, for smooth initial data satisfying compatibility conditions (see [11]). Furthermore, the arguments developed in this paper apply equally well to more general defocusing non linearities f(u) = V (u) satisfying f(u) C(1+ u 5 ), f (u) C(1+ u ) 4. Finally, let us remark that our results can be localized (in space) and consequently hold also in the exterior of any obstacle, and we extend in this framework previous results obtained by Smith and Sogge [11] for convex obstacles. We shall denote in the remaining of this paper, for s, by HD s () the domain of ( D ) s/ (HD s = Hs () for s < 3/). Acknowledgments: We thank P. Gérard for various enlightenments about the critical wave equation.. Local existence Thelocal (in time) existence resultfor(1.1)is infact aneasy consequenceof somerecent work by Smith and Sogge [1] on the spectral projector defined by Π λ = 1 D [λ,λ+1[. Theorem A (Smith-Sogge [1, Theorem 7.1]). Let R 3 be a smooth bounded domain, then (.1) Π λ u L 5 () λ 5 u L (). We now derive from this result some Strichartz estimates, which are optimal w.r.t scaling. Theorem. Assume that for some q < +, the spectral projector Π λ satisfies (.) Π λ u L q () λ δ u L ( ).

3 GLOBAL EXISTENCE 3 Then the solution to the wave equation v(t,x) = e it D u satisfies v L q ((,π) t x) C u H δ+1 1 q D Proof. The proof is rather simple. In fact, one can recast the spectral projector estimate as a square function (in time) estimate for the wave equation, and use Sobolev in time, as was already observed in [7] in the context of variable coefficients wave equations (note that such square function estimates are useful in their own right in a nonlinear context: see e.g. [5], Appendix B, [14]). Let (e λ (x)) be the eigenbasis of L () consisting in eigenfunctions of D associated to the eigenvalues (λ ). Let us define on this basis an abstract self adjoint operator. A(e λ ) = [λ]e λ (where [λ] is the integer part of λ). Now we prove the estimate with v replaced by ṽ = e ita u. We decompose ṽ(t,x) = k N v k(t,x) with ṽ k (t,x) = Using Plancherel formula (for x fixed), λ σ( D ) [k,k+1)e itk u λ e λ (x), u = λ ṽ(,x) H s (,π) = k N(1+k) s ṽ k (,x) L (,π) ; u λ e λ (x). and consequently, using Sobolev injection in the time variable for the first inequality, (.) in the last inequality, with s = 1 1 q, and the fact that q from line 3 to line 4, ṽ L q (;L q (,π)) C ṽ L q (;H s (,π)) = ṽ(,x) H s (,π) L q/ (M) C k (1+k) 1 q ṽ k (,x) L (,π) L q/ () C k (1+ k ) 1 q ṽ k L q (;L t (,π)) C k C k (1+ k ) 1 q ṽ k L ((,π);l q ()) λ σ( D ) [k,k+1) (1+ k ) δ+1 q u λ u H δ+1 1 q D. () Consequently, e ita is continuous from H δ+1 1 q D () to L q ((,π);l q ()). Coming back to v = e it D u, it satisfies (i t +A)v = (A D )v, v t= = u,

4 4 N. BURQ, G. LEBEAU & F. PLANCHON therefore, using Duhamel formula, Minkovski inequality and that both e it D and (A D ) are bounded on H δ+1 1 q D (), v L q (;L q (,π)) C u C u H δ+1 1 q D H δ+1 1 q D (). () +C (A D )v L 1 ((,π);h δ+1 1 q D ()) Corollary.1. Consider u solution to Then ( t )u =, u =, u t= = u, t u t= = u 1. (.3) u L 5 ((,1);L 1 ()) C ( u H 1 () + u 1 L ()). As a consequence, for any initial data (u,u 1 ) H 1 () L (), the critical non linear wave equation (1.1) is locally well posed in X T = C ([,T];H 1 ()) L 5 ((,T);L 1 ()) C ([,T];L ()) (globally for small norm initial data). Remark 5. This corollary proves the uniqueness part in Theorem 1 To prove Corollary.1, we observe that according to Theorems A and, the operator T = e ±it D satisfies (.4) T u L 5 ((,1) ) C u H 7 1 D (). Applying the previous inequality to u, and using the L p elliptic regularity result (.5) we get u+u = f L p (), u = u W,p () W 1,p () and u W,p () C f L p (), 1 < p < + (.6) T u L 5 ((,1);W,5 () W 1,5 ()) C u 7 H 1 D () and consequently by (complex) interpolation between (.4) and (.6), (.7) T u L 5 ((,1);W 3 1,5 ()) C u H 1 D () ; finally, by Sobolev embedding (.8) T u L 5 ((,1);L 1 ()) C u H 1 D (). To conclude, we simply observe that u = cos(t D )u + sin(t ) u 1 and 1/ D is an isometry from L () to H 1 (), leading to (.3). The remaining of Corollary.1 follows by a standard fixed point argument with (u, t u) in the space X T with a sufficiently small T (depending on the initial data (u,u 1 )). Note that this local in time result holds irrespective of the sign of the nonlinearity.

5 GLOBAL EXISTENCE 5 Finally, to obtain the global well posedness result for small initial data, it is enough to remark that if the norm of the initial data is small enough, then the fixed point can be performed in X T=1. Then the control of the H 1 norm by the energy (which is conserved along the evolution) allows to iterate this argument indefinitely leading to global existence. Note that this result holds also irrespective of the sign of the nonlinearity because for small H 1 norms, the energy always control the H 1 norm. 3. Global existence It turns out that our Strichartz estimates are strong enough to extend local to global existence for arbitrary (finite energy) data, when combined with a trace estimate and non concentration arguments. Before going into details, let us sketch the proof. We firstly need to refine the L 5 t ;L1 x estimate obtained above. We shall use (.7) instead. The usual TT argument and Christ-Kiselev Lemma [3] proves the following: Proposition 3.1. If u, f satisfy then ( t )u = f, u =, u t= = u, t u t= = u 1 (3.1) u L 5 ((,1);W 3 1,5 ()) + u C ((,1);H 1 ()) + tu C ((,1);L ()) C ( ) u H 1 () + u 1 L () + f 5 7 L4((,1);W 1, 5 4()) Furthermore, (3.1) holds (with the same constant C) if one replaces the time interval (, 1) by any interval of length smaller than 1. Remark 6. An immediate consequence of (3.1) withf = (and Minkovski inequality) is (3.) u L 5 ((,1);W 3 1,5 ()) + u L ((,1);H 1 ()) + tu L ((,1);L ()) but we will need the L p t Proof. We have C ( u H 1 () + u 1 L () + f L 1 ((,1);L ())), with p > 1 on the righthandside of (3.1) later on. u(t, ) = cos(t D )u + sin(t D ) D u 1 + t sin((t s) D ) f(s, )ds. D The contributions of (u,u 1 ) are easily dealt with, as previously. Let us focus on the contribution of t e i(t s) D f(s, )ds. D Denote by T = e it D ; interpolating between (.4) and (.6), T f L 5 ((,1);W 7 1,5 () W 1,5 ()) C f H D ()..

6 6 N. BURQ, G. LEBEAU & F. PLANCHON Let u L. Then there exist v HD () such that as a consequence, from Tu = Tv, v = u, u L v H ; T u L 5 ((,1);W 7 1,5 ()) C Tv L 5 ((,1);W 7 1,5 ()) W 1,5 ()) C v H D () u L (). By duality we deduce that the operator T defined by T f = 1 e is f(s, )ds is bounded from L4((,1);W 5 7 1,5 4()) to L () (observe that W 7 1,5 4() = W 7 1,5 4 ()); using (.7) and boundedness of 1 D from L to HD 1, we obtain and But T ( D ) 1 T f L 5 ((,1);W 1 3 C f,5 ()) L ((,1);H 1()) L 5 4((,1);W 1 7,,5 4 ()) t T ( D ) 1 T f L ((,1);L ()) C f L 5 4((,1);W 7 1, 5 4 ()). T ( D ) 1 T f(s, ) = 1 e i(t s) D f(s, )ds D and an application of Christ-Kiselev lemma [3] allows to transfer this property to the operator f t e i(t s) D f(s, )ds. D Now we remark that if f = u 5, we can estimate (3.3) u 5 L 5 4((,1);L 3 17()) u 4 L 5 ((,1);L 1 ()) u L ((,1);L 6 ()), x (u 5 ) L 5 4((,1);L 1 9 ()) = 5 u 4 x u L 5 4((,1);L 1 9 ()) Interpolating between these two inequalities yields 5 u 4 L 5 ((,1);L 1 ()) u L ((,1);H 1 ()). (3.4) u 5 L 5 4((,1);W 7 1, 5 4()) C u 4 L 5 ((,1);L 1 ()) u 3 1 L ((,1);L 6 ()) u 7 1 L ((,1);H 1 ()). Following ideas of Struwe [13], Grillakis [4] and Shatah-Struwe [9, 1], we will localize these estimates on small light cones and use the fact that the L t ;L6 x norm is small in such small cones. Remark 7. Intheargumentabove, weneed(3.1)whereas(3.)wouldnotbesufficient.

7 GLOBAL EXISTENCE The L 6 estimate. In this section we shall always consider solutions in (3.5) X <t = C ([,t );H 1 ()) L5 loc ([,t );L 1 ()) C ([,t );L ()) of (1.1) having bounded energy and obtained as limits in this space of smooth solutions to the analog of (1.1) where the non linearity and the initial data have been smoothed out. Consequently all the integrations by parts we will perform will be licit by a limiting argument A priori estimate for the normal derivative. We start with an a priori estimate on finite energy solutions of (1.1), which is a consequence of the uniform Lopatinski condition. Proposition 3.. Assume that u is a weak solution to (1.1). Then we have (3.6) u ν L ((,t ) ) CE(u)1/ where u ν is the trace to the boundary of the exterior normal derivative of u. Proof. Take Z C (;T) a vector field whose restriction to is equal to ν and compute for < T < t T [( t ),Z]u(t,x) u(t,x)dxdt = T Integrating by parts, we obtain T T (3.7) [( t ),Z]u(t,x) u(t,x)dxdt = T + [ (Zu)u 5 (t,x)+z(u 5 )u(t,x)dxdt+ ( ( t )Zu(t,x) Z( t )u(t,x)) u(t,x)dxdt. u dσdt ν t (Zu) udx ] T [ ] T (Zu) t udx. Remark now that if Z = j a j(x) x j, then integration by parts yields (using the Dirichlet boundary condition) (Zu)u 5 (t,x)+z(u 5 )u(t,x)dxdt = 4 T Z(u 6 (3.8) )(t,x)dx 6 = 4 T a j u 6 dx CE(u) 6 x j while (3.9) [ t (Zu)udx ] T [ (Zu) t udx ] T j CE(u), and [( t ),Z] = [,Z] as a second order differential operator in the x variable is continuous from H 1() to H 1 () and consequently T (3.1) [( t ),Z]u(t,x)u(t,x)dxdt CE(u). t=

8 8 N. BURQ, G. LEBEAU & F. PLANCHON As the constants are uniform with respect to < T < t, collecting (3.8), (3.9) (3.1) and (3.7) yields (3.6) The flux identity. By time translation, we shall assume later that t =. Let us first define (3.11) P = x t and the Flux across M T S where Q = tu + x u ( t u x u D T = {x; x < T}, K T S M T S + u tu( x t x)u, + u 6 ) ( + x u t u+( x 6 t x)u+ u ), t = {(x,t); x < t,s < t < T} = {x; x = t,s < t < T} KS T = (([S,T] ) KS) D T T D S MS T ( t u + x u e(u) = + u 6 ) 6, tu x u Flux (u,m T S ) = M T S e(u), ν dσ(x, t) ν = 1 ( t, x x t ) = 1 x ( x, x x ) is the outward normal to MS T and dσ(x,t) the induced measure on MT S. Remark that Flux (u,ms T t u + x u (3.1) ) = + u 6 MS T 6 tu x x xudσ(x,t) 1 = x x tu x u + u 6 dσ(x,t). 6 An integration by parts gives (see Rauch [8] or [11, (3.3 )]) ( t u + x u (3.13) + u 6 x, x < T 6 ( t u + x u = M T S x, x < S ) (x,t)dx+ Flux (u,m T S ) + u 6 ) (x,s)dx = E loc (S). 6 Thisproves that u M T isboundedin H 1 (M T S S ) L6 (MS T ) (uniformly withrespect tot < ) and, since E loc (S) beeing a non-negative non-increasing function has a limit when S, (3.14) Flux(u,MS) = lim T Flux(u,MT S ) = lim T (E loc(s) E loc (T)) exists and satisfies (3.15) lim S Flux (u,m S ) =.

9 GLOBAL EXISTENCE The L 6 estimate. Wearenowinpositiontoprovetheclassical nonconcentration effect: Proposition 3.3. Assume that x. Then for any solution u to (1.1) in the space X <t, we have (3.16) lim u 6 (t,x)dx =. t t x { x x <t t} Proof. We follow [13, 4, 9, 1]andsimplyhavetotakecareoftheboundaryterms. We can assume that x as otherwise these boundary terms disappear in the calculations below (which in this case are standard). Contrarily to [11] we cannot use any convexity assumption to obtain that these terms have the right sign, but we shall use Proposition 3. to control them. Performing a space-time translation, we can assume x =,t =. Integrating over KS T the identity we get (see [11, (3.9) (3.1)]), = div t,x (tq+u t u, tp)+ u 6 3, = (TQ+u t u)(t,x)dx (SQ+u t u)(s,x)dx+ 1 (tq+u t u+x P)dσ(x,t) D T D S MS T ν(x) (tp)dσ(x,t)+ 1 u 6 dxdt. 3 ((S,T) ) K T S Let T. Using Hölder s inequality and the conservation of energy, we get that the first term in the left tends to, whereas the last term is non negative. This yields (3.17) (SQ+u t u)(s,x)dx+ 1 (tq+u t u+x P)dσ(x,t) D S MS ν(x) (tp)dσ(x,t). On the other hand, by direct calculation (see [11, (3.11)]), (3.18) 1 M S and (see [11, (3.1)]) (tq+u t u+x P)dσ(x,t) = 1 M S ((S,) ) K S 1 t t tu+x x u+u dσ(x,t)+ 1 u (S,x)dσ(x) D S (3.19) (SQ+u t u)(s,x)dx 1 u u 6 (S,x) dσ(x) S dx. D S D S D S 6 K T S

10 1 N. BURQ, G. LEBEAU & F. PLANCHON As a consequence, we obtain (3.) ( S) u 6 (S,x) D S 6 dx+ 1 M S 1 t t tu+x x u+u dσ(x,t) ν(x) tpdσ(x)dt ((S,) ) K S where ν(x) is the exterior normal to at point x and dσ is the surface measure on. Taking (3.11) into account (and the Dirichlet boundary condition), we obtain on tν(x) P = 1 ( u ). (ν(x) x) ν However, for x, given that x =, we have x x = t+o(x), ν(x) = ν()+o(x) where t is a unit vector tangent to at x =. Consequently, as ν() t =, ν(x) x = O( x ), for x and the right hand side in (3.) is bounded (using Proposition 3.) by ( u ) dσ(x)dt (3.1) sup x C S E(u). x KS ( 1,) ν Therefore, u 6 (S,x) 1 (3.) dx S E(u)+ S D S 6 S finally, by Hölder s inequality and (3.1), we obtain 1 1 S t t tu+x x u+u dσ(x,t) hence, (3.3) M S u 6 (S,x) D S 6 M S + 1 t t tu+x x u+u dσ(x,t); M S M S x S x x tu x u dσ(x,t) u S t dσ(x,t) C Flux (u,m S)+C Flux (u,m S) 1/3, dx S E(u)+C Flux (u,m S)+C Flux (u,m S) 1/3 for which the right hand side goes to as S by (3.15). Remark that in the calculations above all integrals on KS and M S have to be understood as the limits as T of the respective integrals on KS T and MT S (which exist according to (3.1), (3.14)).

11 GLOBAL EXISTENCE Global existence. In this section we consider u the unique forward maximal solution to the Cauchy problem (1.1) in the space X <t. Assume that t < + and consider a point x ; our aim is to prove that u can be extended in a neighborhood of (x,t ), which will imply a contradiction. We perform a space time translation and assume that (x,t ) = (,) Localizing space-time estimates. For t < t, let us denote by ( t ( )p )1 u (L p ;L q )(Kt t ) = u q q p (s,x)dx ds s=t { x < s} the L p t Lq x norm on K t t (with the usual modification if p or q is infinite). Our main result in this section reads Proposition 3.4. For any ε >, there exists t < such that (3.4) u (L 5 ;L 1 )(K t ) < ε. Proof. We start with an extension result: Lemma 3.5. For any x there exists r,c > such that for any < r < r and any v H 1() Lp (), there exist a function ṽ r H 1 () (independent of the choice of 1 p + ), satisfying (3.5) ṽ C (ṽ r v) x x <r =, v, ṽ r L p () C v L p ({ x x <r}). In other words, we can extend functions in H 1 Lp on the ball { x x < r} to functions in H 1 () Lp () with uniform bounds with respect to (small) r >, for the H 1 and the L p norms respectively. Furthermore, for any u L (( 1,);H 1 ()) L1 loc (( 1,);Lp ()), there exist a function ǔ L (( 1,);H 1 ()) L1 loc (( 1,);Lp ()), satisfying (uniformly with respect to t) (3.6) (ǔ u) { x x < t} =, ǔ (t,x)+ t ǔ (t,x)dx C u (t,x)+ t u (t,x) ǔ(t, ) L p () C u(t, ) L p ( { x x < t}) t-a.s. Proof. Let us first prove the first part of the lemma. Let us first assume x. We use the usual reflexion extension (suitably cut off). Fix a function φ C ( 9 1, 11 1 ) equal to 1 near 1. Let us define ṽ r (in polar coordinates (ρ,θ) (R + S ) centered at x ) by { v r (ρ,θ) if ρ < r (3.7) ṽ r (ρ,θ) = φ ( ρ r) v(r ρ,θ) if ρ > r. An elementary calculation shows that (uniformly with respect to r) ṽ r (x) L p (R 3 ) C u L p ({ x <r})

12 1 N. BURQ, G. LEBEAU & F. PLANCHON ( and (using Hardy inequality to control x φ ( ρ r) ) v(r ρ,θ)), ṽ C v. Since x, the function ṽ r is in H 1 () if r > is sufficiently small. If x, this is no longer true and we have to take care of the boundary condition v =. To do so the idea is to take a foliation by hypersurfaces tangent to the boundary and to perform a reflexion extension tangential to this foliation. We consider a change of variables Ψ such that (near x ) = Ψ({y = (y,y 3 );y 3 > }), Ψ() = x, Ψ () = Id. Writing y = (rz,rz 3 ), and working in polar coordinates z = (ρ,θ) (R + S), the implicit function theorem (and the assumption Ψ () = Id) implies that there exists a smooth function ζ(z 3,θ,r) such that for z 3 [ 1 1, 1 1 ], Ψ(rρθ,rz 3 ) = r ρ = ζ(θ,z 3,r). We can now define an extension in a polar coordinate for y, (for y 3 r = z 3 < 1 1 { ) by v(ρ,θ,y 3 ) if ρ < rζ(θ, y 3 (3.8) ṽ r (ρ,θ,y 3 ) = r,r) φ ( ρ) r v(rζ(θ, y 3 r,r) ρ,θ,y 3 ) if ρ > rζ(θ, y 3 r,r). Let φ C ( 1 11, 1 11 ) equal to 1 near. Then the extension we consider is (1 φ)( y 3 r )ṽ r,1 +φ( y 3 r )ṽ r, where ṽ r,1 is the extension we built in the interior case and ṽ r, is the extension we just built (with the foliation). { Ψ(y) Ψ() = x x = r} {ρ = rζ(θ, y 3 r,r)} {y 3 = Cste} y Figure 1. The foliation To obtain the second part of the lemma, we just define ǔ(t, ) = ũ t (t, ). and we can check that according to (3.7) and (3.8), it satisfies (3.6). Let us come back to the proof of Proposition 3.4. Let ǔ be the function given by the second part of Lemma 3.5. Then (ǔ) 5 is equal to u 5 on K t and (3.9) (ǔ) 5 L 5 4((t,t );L 3 17() ǔ 4 L 5 ((t,t );L 1 ()) ǔ L ((t,t );L 6 () C u 4 (L 5 ;L 1 )(K t t )) u (L ;L 6 )(K t ).

13 GLOBAL EXISTENCE 13 On the other hand, x (ǔ) 5 = 5(ǔ) 4 x ǔ and x (ǔ) 5 5 L4((t,t (3.3) );L 1 9 () 5 ǔ 4 L 5 ((t,t );L 1 ()) xǔ L ((t,);l () C u 4 (L 5 ;L 1 )(Kt t ) u L ;H 1 (). By (complex) interpolation, as in (3.4), (ǔ) 5 L 5 4((t,t );W 7 1,5 4()) C u 4 (L 5 ;L 1 )(K t t ) u 7 1 L ;H 1 () u 3 1 (L ;L 6 )(K t ). Let w be the solution (which, by finite speed of propagation, coincides with u on K t ) of ( s )w = (ǔ)5, w =, (w u) s=t = s (w u) s=t =, applying (3.1), and the Sobolev embedding W 3 1,5 () L 1 (), we get (3.31) u (L 5 ;L 1 )(K t t ) w L 5 ((t,t );L 1 ()) C w (L 5 ((t,t );W 3 1,5 )()) CE(u)+C u 4 (L 5 ;L 1 )(K t t ) u 7 1 L ;H 1 () u 3 1 (L ;L 6 )(K t ). Finally, from Proposition 3.3, (3.31) and the continuity of the mapping t [t,) u (L 5 ;L 1 )(K t t ) (which takes value for t = t), there exists t (close to ) such that t < t < ; u (L 5 ;L 1 )(K t t ) CE(u) and passing to the limit t, u (L 5 ;L 1 )(K t ) CE(u). As a consequence, taking t < even smaller if necessary, we obtain (3.3) u (L 5 ;L 1 )(K t ) ε Global existence. We are now ready to prove the global existence result. Let t < t = be close to and let v be the solution to the linear equation ( s )v =, v =, (v u) s=t =, s (v u) s=t =, then the difference w = u v satisfies ( s )w = u 5, w =, w s=t =, s w s=t =. Let ǔ be the function given by Lemma 3.5 from u. We have Let w be the solution to ǔ L 5 ((t,);l 1 ()) Cε, ǔ L ;H 1 CE(u). ( s ) w = ǔ5, w =, w s=t =, s w s=t =. By finite speed of propagation, w and w coincide in K t. On the other hand, using (3.) yields (3.33) w L ((t,);h 1 ) + s w L ((t,);l ()) + w L 5 ((t,);w 3 1,5 ()) C ǔ 5 L 1 ((t,);l () C ǔ 5 L 5 ((t,);l 1 ()) Cε5.

14 14 N. BURQ, G. LEBEAU & F. PLANCHON Finally, for any ball D, denote by E(f(s, ),D) = D since v is a solution to the linear equation, ( x f + s f + f 6 3 )(s,x)dx; (3.34) E(v(s, ),D(x =, s)), s Recalling that u = v + w inside K t, we obtain from (3.34) and (3.33) (and the Sobolev injection H 1 ( L6 ()) that there exists a small s < such that E(u(s, ),D(x =, s)) < ε; but, since (u, s u)(s, ) H 1() L (), we have, by dominated convergence, E(u(s, ),D(x =, s)) = 1 { x x < s}(x)( u(s,x) + s u(s,x) + u 6 (s,x) ))dx 3 and lim 1 { x x α <α s}(x)( u(s,x) + s u(s,x) + u 6 (s,x) ))dx 3 = lim E(u(s, ),D(x =, s+α)); α consequently, there exists α > such that E(u(s, ),D(x =, s+α)) ε. Now, according to (3.13), the L 6 norm of u remains smaller than ε on { x x < α s },s s <. As a consequence, the same proof as for Proposition 3.4 shows that the L 5 ;L 1 norm of the solution on the truncated cone K = {(x,s ); x x < α s,s < s < } is bounded. Since this is true for all x, a compactness argument shows that which, by Duhamel formula shows that u L 5 ((s,);l 1 ()) < + lim s (u, su)(s, ) exists in (H 1 () L ()) and consequently u can be extended for s > = t small enough, using Corollary.1. t t x α x Figure. The truncated cone

15 GLOBAL EXISTENCE 15 References [1] Ramona Anton. Strichartz inequalities for lipschitz metrics on manifolds and nonlinear Schrödinger equation on domains, 5. preprint, arxiv:math.ap/ [] Nicolas Burq, Patrick Gérard, and Nikolay Tzvetkov. Strichartz inequalities and the nonlinear Schrödinger equation on compact manifolds. Amer. J. Math., 16(3):569 65, 4. [3] Michael Christ and Alexander Kiselev. Maximal functions associated to filtrations. J. Funct. Anal., 179():49 45, 1. [4] Manoussos G. Grillakis. Regularity and asymptotic behaviour of the wave equation with a critical nonlinearity. Ann. of Math. (), 13(3):485 59, 199. [5] Sergiu Klainerman and Matei Machedon. Remark on Strichartz-type inequalities. Internat. Math. Res. Notices, (5):1, With appendices by Jean Bourgain and Daniel Tataru. [6] Gilles Lebeau. Estimation de dispersion pour les ondes dans un convexe. In Journées Équations aux Dérivées Partielles (Evian, 6). 6. [7] Gerd Mockenhaupt, Andreas Seeger, and Christopher D. Sogge. Local smoothing of Fourier integral operators and Carleson-Sjölin estimates. J. Amer. Math. Soc., 6(1):65 13, [8] Jeffrey Rauch. I. The u 5 Klein-Gordon equation. II. Anomalous singularities for semilinear wave equations. In Nonlinear partial differential equations and their applications. Collège de France Seminar, Vol. I (Paris, 1978/1979), volume 53 of Res. Notes in Math., pages Pitman, Boston, Mass., [9] Jalal Shatah and Michael Struwe. Regularity results for nonlinear wave equations. Ann. of Math. (), 138(3):53 518, [1] Jalal Shatah and Michael Struwe. Well-posedness in the energy space for semilinear wave equations with critical growth. Internat. Math. Res. Notices, (7):33ff., approx. 7 pp. (electronic), [11] Hart F. Smith and Christopher D. Sogge. On the critical semilinear wave equation outside convex obstacles. J. Amer. Math. Soc., 8(4): , [1] Hart F. Smith and Christopher D. Sogge. On the l p norm of spectral clusters for compact manifolds with boundary, 6. to appear, Acta Matematica, arxiv:math.ap/6568. [13] Michael Struwe. Globally regular solutions to the u 5 Klein-Gordon equation. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 15(3): (1989), [14] Terence Tao. Local well-posedness of the Yang-Mills equation in the temporal gauge below the energy norm. J. Differential Equations, 189():366 38, 3. [15] Daniel Tataru. Strichartz estimates for second order hyperbolic operators with nonsmooth coefficients. III. J. Amer. Math. Soc., 15(): (electronic),. N. Burq, Université Paris Sud, Mathématiques, Bât 45, 9145 Orsay Cedex, France et Institut Universitaire de France Nicolas.burq@math.u-psud.fr G. Lebeau, Laboratoire J.-A. Dieudonné UMR 661 du C.N.R.S, Université de Nice - Sophia Antipolis, Parc Valrose 618 Nice Cedex, France and Institut Universitaire de France lebeau@math.unice.fr F. Planchon, Laboratoire Analyse, Géométrie & Applications, UMR 7539, Institut Galilée, Université Paris 13, 99 avenue J.B. Clément, F-9343 Villetaneuse fab@math.univ-paris13.fr