arxiv:math/ v1 [math.ap] 28 Oct 2005

Transcription

1 arxiv:math/050643v [math.ap] 28 Oct 2005 A remark on asymptotic completeness for the critical nonlinear Klein-Gordon equation Hans Lindblad and Avy Soffer University of California at San Diego and Rutgers University February 2, 2008 Abstract We give a short proof of asymptotic completeness and global existence for the cubic Nonlinear Klein-Gordon equation in one dimension. Our approach to dealing with the long range behavior of the asymptotic solution is by reducing it, in hyperbolic coordinates to the study of an ODE. Similar arguments extend to higher dimensions and other long range type nonlinear problems. Introduction We are interested in the completeness problem for the critical nonlinear Klein-Gordon in one space dimension:.) v + v = βv 3, β 0 where = 2 t 2 x. Such problem appear naturally in the study of some nonlinear dynamical problems of mathematical physics, among them radiation theory [F], general relativity [L-R], the scattering and stability of kinks, vortices and other coherent structures. The long range nature of the scattering, coupled with the nonlinearity poses a challenge to scattering theory. In the Linear case, one can compute in advance the asymptotic corrections to the solution due to the long range nature of the solution. That is not possible in the nonlinear case. It may also break global existence [H2]. Since the asymptotic behavior is not free other tools are needed to prove scattering and global existence, e.g. normal forms [Sim] for dealing with u 2 terms [Sh, D]. Inspired by Delort s ground breaking work [D], here we see that one can nevertheless get the correct asymptotic behavior from that of an ODE. Recall first that a solution of the linear Klein-Gordon, i.e. β = 0, is asymptotically given by as tends to infinity).2) ut,x) /2 e i ax/ ) + /2 e i ax/ ), where = t 2 x 2 ) /2 0. Here ax/ ) = t/ )û + x/ ) = + x 2 / 2 û + x/ ), where û + ξ) = u + x)e ixξ dx denotes the Fourier transform with respect to x only, û + = û 0 i ξ 2 + ) /2 û )/2, where u 0 = u t=0 and Part of this work was done while H.L. was a Member of the Institute for Advanced Study, Princeton, supported by the NSF grant DMS-0298 to the Institute. H.L. was also partially supported by the NSF Grant DMS Also a member of the Institute of Advanced Study, Princeton.Supported in part by NSF grant DMS

2 u = t u t=0. Here the right hand side is to be interpreted as 0 outside the light cone, when x > t..2) can be proven using stationary phase, see e.g. [H], where a complete asymptotic expansion into negative powers of was given. One can also get precise estimates by vector-field multipliers [K]. Recently, Delort[D] showed that.) with small initial data have a global solution with asymptotics of the form.3) vt,x) /2 e iφ 0, x/ ) ax/ ) + /2 e iφ 0, x/ ) ax/ ), φ 0,x/ ) = β ax/ ) 2 ln Delort s proof is for more general equations but it is rather involved ; furthermore there is an application of Gronwall s lemma, used to obtain the estimate 3.27) from 3.26) that seem to require an additional argument. This is because the integrand in 3.26) depends explicitly on t. In [L-S] we considered the inverse problem of scattering, we showed that for any given asymptotic expansion of the above form.3) there is a solution agreeing with it at infinity. The purpose of this note is to present a simple proof of the completeness for the special case considered here. For technical reasons we will give initial data of compact support x in the support of u 0 and u when t = 2: v2,x) = εu 0 x), t v2,x) = εu x). so that solution is supported inside the forward light cone t x, when t 2. Remark.. The above restriction on the initial data makes it difficult to give an explicit description of the space in which the asymptotic solutions live. An extension of the proof to more general data, such as the Schwartz class is therefore desirable, and probably can be achieved following arguments similar to[s-taf] or For the proof we start by introducing the hyperbolic coordinates 2 = t 2 x 2, t = cosh y, x = sinhy,.4) e 2 y = t + x t x, 2 = t 2 x 2 Then and with we get + = y + + vt,x) = /2 V,y) + )vt,x) = / y 4 ) )V,y). Hence in these coordinates.) becomes the following equation for V = /2 v:.5) ΨV ) 2 V + + β V 2 + ) 4 2 V 2 2 y V = 0 We are therefore led to first studying the ODE.6) Lg) g + + β g2 + ) 4 2 g = F 2

3 The proof as usual consists of a decay estimate L estimate) of a lower number of derivatives and energy estimate L 2 estimate) of a higher number of derivatives. The L 2 estimate uses the decay estimate Cερ /2 and allows for growing energies, like Ct ε. Since the energies are growing we don t directly get back the L estimate from the energy estimates but instead we get some weaker decay estimates using some weighted Sobolev lemmas. Using these weaker decay estimates we can get further decay from the asymptotic equation, i.e. the ODE above, using that the term ρ 2 2 yv has a negative power of ρ so there is some room and we can use the weak decay estimates to estimate this term, c.f. [L], [L-R] The energies we will use will just be the energies on hyperboloids in the coordinates.4) 2 The sharp decay estimate Lemma 2.. Suppose that 2.) g + Then + α /2g + β g2 + ) 4 2 g = F ) 2.2) ġ ) + g ) 2 ġ) + g) + g) 2 + Fτ) dτ if α = 0 and β 0, or the right hand side is sufficiently small. Proof. Multiplying 2.) by 2ġ we see that d d ġ 2 + g 2 + 2α 3 /2g3 + β 2 g g2) = 2Fġ α 3 3/2g3 β 2 2g4 2 3g2 It therefore follows that if α = 0 and β 0 then 2M dm dρ 2Fġ, so 2.3) d d M ) F ), with M = ġ 2 + g 2 + 2α 3 /2g3 + β 2 g4 + /2 4 2g2) Applying the above lemma to the equation.5) 2.4) 2 V + + β V 2 + ) 4 2 V = 2 2 yv and noting that V + V C 0 ε when = by the support assumptions on initial data, we conclude that 2.5) V ρ,y) + V,y) Cε + Which gives the bound 2.6) V ρ,y) + V,y) C 2 ε if we can prove that for some δ > 0; 2.7) 2 y V,y) C ε + ) δ τ 2 2 yv τ,y) dτ 3

4 3 Energies on hyperboloids and the weak decay estimate By section 7.6 in Hörmander [H], if E ) 2 = u 2 t + u 2 x + 2 x t u tu x + u 2 dx where = {t,x); t 2 x 2 = 2} and G, 2 = {t,x); 2 t 2 x 2 } then recall x t ρ t ) 3.) d d E )2 = 2 F u t t dx 2 F 2 dx) /2E ) and hence ) /2 E ) E) + F 2 dx dτ. H τ We have u 2 t + u2 x + 2x t u tu x = u x + x ) 2 t u 2 t + t 2 u2 t = u t + x ) 2 t u 2 x + t 2 u2 x. Since u = tu t + xu x )/, u y = xu t + tu x and t = ρcosh y we see that 3.2) u 2 t + u2 x + 2x t u tu x = 2cosh 2 u 2 y + u2 ) y u 2 2t 2 t + u 2 ) x In order to change variables in the integral we think of x = sinhy as a function of y for fixed. Then x/ y =const = cosh y = t e y. Hence with V = /2 u we have 3.3) E ) 2 c V 2 y 2 + V 2 ) e y + V 2 e y dy,. Here we also used that V = /2 u + V/2 and V 2 2 cosh 2 y = V 2 t 2 V 2 if t. Moreover we have proven using 3.2), 3.3): Lemma 3.. Suppose that 3.4) 2 t w 2 xw + w = F Then 3.5) V y,y) 2 ) /2 2 e y + V,y) 2 e y dy CE) + τ /2 /2 Fτ,y) 2 e dy) y dτ H τ Lemma 3.2. Suppose that 3.6) 2 W + + ) W y W = F 4

5 Let 3.7) F, ) L p ) = ) /p F,y) p e y dy Then 3.8) W, ) L 2 ) CE) + C In the applications Fσ, ) L 2 H σ) dσ 3.9) 2 V k) + + ) V k) y V k) = F k) where 3.0) F k) = β k y V 3, V k) = k y V We claim that 3.) F k), ) L 2 ) C V, ) 2 L ) V, ) L 2,k ), k = 0,,2,3, where 3.2) F, ) L p,k ) = m k ) /p y m F,y) p e y dy In fact 3.3) 3.4) 3.5) 3.6) F 0) C V 3 F ) C V 2 y V F 2) C V 2 yv 2 + V y V 2) F 3) C V 2 yv 3 + V y V yv 2 + y V 3) For k = 0, 3.3),3.4) are obvious and for k 2 3.5),3.6) follow from interpolation: Lemma 3.3. For k 2j k 3.7) V k/j C V L 2k/j,j k/j ) L ) V L 2,k ) Proof. A proof of the standard interpolation without weights just uses Hölder s inequality, which holds with weights, and integration by parts, which produces lowers order terms included in the norms. For k = 2 we have j = ) 3.8) V t, ) 2 L 4, C V t, ) L V t, ) L 2,2, 5

6 Similarly for k = 3 we have j =,2) 3.9) 3.20) V t, ) 3 L 6, C V t, ) /2 L V t, ) L 2,3, V t, ) 3/2 L 3,2 C V t, ) 2 L V t, ) L 2,3, Assuming the bound 3.2) V, ) L ) C 0 ερ with a constant independent of we have hence proven that using 3.6)-3.8) 3.22) V, ) L 2,k ) CE) + from which it follows that Cε 2 σ V σ, ) L 2,k H σ) dσ, k = 0,,2,3 3.23) V k), ) L 2 ) Cε Cε2, k = 0,,2,3. It remains to deduce from this a weak decay estimate. We have Lemma 3.4. V, ) 2 L ) V, ) L 2 ) y V, ) L 2 ) Proof. By Hölder s inequality V 2 2 V V y dy 2 V e y /2 V y e y /2 dy. It therefore follows that 3.24) V k), ) L ) C Cε2, k = 0,,2. 4 The completeness We now want to apply the proof of Lemma 2. to 2 V + + β V 2 + ) 4 2 V = F = 2 2 yv where we have proven that 2 y V Cε Cε2. It then follows from the proof of that lemma that the following limit exists Let V 2 + V 2) /2 ay) Cε +Cε 2, V ± = e i V ± iv ) ay) = lim V,y) 2 + V,y) 2) /2 Then V = e i V + e i V )/2i), V + V = V 2 + V 2 = V + 2 = V 2, V = V +, and V 3 = 8i e 3i V 3 + e 3i V 3 3ei V + V V + + 3e i V + V V ) 6

7 The equation become In other words where 2 V + V + β V 2 + ) 4 2 V = F V ± + β e i V 3 + ) 2e i V = e i F 4 V ± igv ± = F ± + e i F, g = β 3 8 V +V + 2 ) 8 F ± = ± β e ±2i V± 3 e 4i V 3 + 3e 2i ) ie 2i V + V V 8i 8 2 V Multiplying by the integrating factor e ig, where G,y) = g,y)d we get Note that where and Hence d V± e ig) = e ig F ± + e ig i F d e ig F ± = d e ig ) d H± + 2K ± + H ± = ± β 8i L±F e ±2i ±2i V 3 ± e 4i 4i V e 2i 2i V +V V ) K ± V ± + V ± 4 ), L ± V ± 2 d V ± e ig e ig ) d H± = 2K ± + e ig i + L±)F Since we have already shown that V + = V Cε and that F 2 2 yv ε 2+Cε2 it follows that the right hand side is integrable and that V± e ig a ± y) Cε +Cε 2, where a ± y) = lim V ig,y) ±,y)e Moreover since V + V ay) 2 it follows from what we have already shown that G,y) β ln 3 8 ay)2 C +Cε 2 and furthermore we must have that a ± y) = ay). The exact phase is hence determined by looking at a ± y)/ay). Alternatively we can use: 7

8 Lemma 4.. Suppose that g is real valued and Then with G,y) = s 0 gτ,y)dτ Proof. Multiplying with V gives i V gv = F V + V e ig ) 2 F i V 2 = IFV and it follows that V F. Multiplying with the integrating factor e igs), where G = g ds gives V e ig ) = if e ig and the lemma follows. Acknowledgement We would like to thank E. Taflin for discussions and comments on an earlier version of this work. References [D] [F] J.-M. Delort Existence globale et comportement asymptotique pour l équation de Klein-Gordon quasi linéaire à données petites en dimension.. Ann. Sci. École Norm. Sup. no. 4, ), 6. M. Flato, J.C.H. Simon and E. Taflin The Maxwell-Dirac equations : the Cauchy problem, asymptotic completeness and the infrared problem Memoirs of the AMS 28,No ) x+32 pages) [H] L. Hörmander Lectures on Nonlinear hyperbolic differential equations. Springer Verlag 997) [H2] [K] L. Hörmander The lifespan of classical solutions of nonlinear hyperbolic equations in Lecture notes in Math, Vol. 256, Springer, ) S. Klainerman,Global exsitence of small amplitude solutions to nonlinear Klein-Gordon equations in four space dimensions Comm. Pure Appl. Math )63-64 [L] H. Lindblad, Global solutions of nonlinear wave equations. Comm.Pure Appl. Math. 45 9) 992), [L-R] H. Lindblad and I. Rodnianski The weak null condition for Einstein s equations. C. R. Math. Acad. Sci. Paris ), no., [L-S] H. Lindblad and A. Soffer A remark on long range scattering for the nonlinear Klein-Gordon equation. J. Hyperbolic Differ. Equ ), no., [Sim] J.C.H Simon A wave operator for a non-linear Klein-Gordon equation., Lett. Math. Phys ), [Sh] J. Shatah Normal forms and quadratic nonlinear Klein-Gordon equations Comm. Pure Appl. Math ) [S-Taf] J.C.H Simon and E.Taflin The Cauchy problem for nonlinear Klein-Gordon equations Comm.Math. Phys )