arxiv:math/ v2 [math.ap] 8 Jun 2006

Transcription

1 LOW REGULARITY GLOBAL WELL-POSEDNESS FOR THE KLEIN-GORDON-SCHRÖDINGER SYSTEM WITH THE HIGHER ORDER YUKAWA COUPLING arxiv:math/ v [math.ap] 8 Jun 006 Changxing Miao Institute of Applied Physics and Computational Mathematics P. O. Box 8009, Beijing, China, (miao changxing@mail.iapcm.ac.cn) Guixiang Xu The Graduate School of China Academy of Engineering Physics P. O. Box 0, Beijing, China, (gxxu78@hotmail.com) Abstract In this paper, we consider the Klein-Gordon-Schrödinger system with the higher order Yukawa coupling in R +, and prove the local and global wellposedness in L H /. The method to be used is adapted from the scheme originally by Colliander J., Holmer J., Tzirakis N. [8] to use the available L conservation law of u and control the growth of n via the estimates in the local theory. Key Words: Cauchy problem, Global solution, Klein-Gordon-Schrödinger system, Strichartz estimates. Introduction The Cauchy problem iu t + u = nu, x R d,t R; n tt +( )n = u, x R d,t R; u(0) = u 0, n(0) =n 0, n t (0) = n. (.) have been considered in [3], [0], [], []. Here u : R d R C is the nucleon field and n : R d R R is the meson field. H. Pecher [9] considered the system (.) in R 3+ by Fourier truncation method [6]. N. Tzirakis [] consider the same system in one, two, This project is supported by the National Natural Science Foundation of China.

2 three dimension by I-method [5]. They also obtained a polynomial in time bound for the growth of the norms. Recently, using the available L conservation law of u and controlling the growth of n via the estimate in the local theory, J. Colliander et al. [8] obtained the optimal global well-posedness of (.) in R 3+. It is also applicable to D and D case. Just as in [4], [7], the system (.) is naturally generalized to the following system iu t + u = nf( u )u; n tt +( )n =F( u ), F = f,f(0) = f(0) = 0; u(0) = u 0, n(0) =n 0, n t (0) = n. Therestricted case F(s) = s m in GKLSwill becalled KLS m. Inthispaper, weonly consider the case m <,d =, that is iu t + x u = mn u (m ) u, x R,t R; n tt +( x)n = u m, x R,t R; (u,n,ṅ)(0) =(u 0,n 0,n ). (.) The reason that the higher order powers are introduced into the physically relevant dispersive PDEs is to adjust the strength of the nonlinearity relative to the dispersion to work toward understanding the balance between the two effects. We give the similar scaling analysises in next section. It is well known that the following conservation laws hold for (.): M(u)(t) =: u(t), E(u,n)(t) =: x u(t) + An(t) ( + n t (t) ) u(t) m n(t)dx, R (.3) where denotes the norm of L (R) and A denotes (I x ). Here, we use the method in [8] rather than Fourier truncation method and I-method to consider the low regularity. The idea is to use the available L conservation law of u and control the growth of n via the estimates in the local theory. Our main result is the following theorem Theorem.. Let m <, then the KLS m (.) in dimension d = is global wellposedness for (u 0,n 0,n ) L H / H /. More precisely, the solution (u,n) C(R;L ) C(R;H ) satisfies for t R, and u(t) L = u0 L n(t) H / + t n(t) H / exp(c t u0 4m )max( n0h L / + nh /, u0 m ). L

3 The paper is organized as follows. In Section, we first give some scaling analysises of the criticality, then give the linear andnonlinearestimatesalongwithginibre, TsutsumiandVelo[3]intheX s,b spaces, which was introduced by Bourgain [5], Kenig, Ponce and Vega [6], Klainerman and Machedon [7], [8]. We also can refer to Foschi [9], Grünrock [4] and Selberg [0]. For the free dispersive equation of the form iu t +ϕ(d x )u = 0, D x = i x, (.4) where ϕ is a measurable function, let X s,b ϕ be the completion of S(R) with respect to f X s,b ϕ := < ξ >s < τ > b F(e itϕ(dx) f(x,t)) L ξ,τ = < ξ > s < τ ϕ(ξ) > b f(ξ,τ)) L ξ,τ In general, we use the notation X s,b for ϕ(ξ) = < ξ > and Xs,b for ϕ(ξ) = ξ without confusion. For a given time interval I, we define f X s,b (I) = inf f X s,b where f X s,b ; f I =f f X s,b = inf f (I) X s,b f I =f where f X s,b. InSection 3, wetransformthekls m (.) into anequivalent system of firstorderintin the usual way, then make use of Strichartz type estimates to give the local well-posedness in the X 0,b ([0,δ]) X /,b ([0,δ]) spaces for some 0 < b < /, which is useful for the iteration procedure. In general, we can obtain the local well-posedness for b, but in order to get the global wellposedness, we use 0 < b < / to obtain some gains. In Section 4, we show that the local result can be iterated to get a solution on any time interval [0,T]. We first can construct the solution step by step on some time intervals, which is only dependent of u(t) L = u0l. Then we can repeat this entire procedure to get the desired time T, each time advancing a time of length / u0 4m (independent L of ( n(t), t n(t) ) H ). /,H / We use the following standard facts about the space X s,b ϕ [4]. Let ψ C 0 (R) and satisfy supp{ψ} (,); ψ [,] = ; ψ(t) = ψ( t),ψ 0. For 0 < λ, define ψ λ (t) = ψ( t λ ). For s R,b 0, we have the following homogeneous estimate ψδ e iϕ(dx)t f(x) X s,b cδ b fh s; (.5) ϕ x e iϕ(d x)t f(x) C(R,H s x ) = f H s x ; (.6) For b + b 0 b >, we have the following inhomogeneous estimates ψ δ t 0 e i(t s)ϕ(dx) F(s)ds 3 X s,b ϕ cδ +b b FX s,b ; (.7) ϕ

4 t 0 e i(t s)ϕ(dx) F(s)ds cδ +b FX s,b ; (.8) C([0,δ],H s x ) For < p,b p, we have the following Sobolev inequality fx s,b c fl p ϕ t (R,Hs x (R)). (.9) Last we introduce the following notation: For λ R, Japanese symbol < λ > denotes ( + λ ) / ; a+ (resp. a ) denotes a number slightly larger (resp. smaller) than a. ϕ Linear and Nonlinear Estimates In this section, we first transform the Klein-Gordon-Schrödinger system into an equivalent system of first order in t in the usual way to discuss the notion of criticality for the system (.). Later, we give some useful linear and nonlinear estimates. First, for the notion of criticality, we define Then we have n := ( n ia n ) t, A = (I x ). n = n + +n, n t = ia(n + n ), n + = n. and the equivalent system is iu t + x u = m(n + +n ) u (m ) u i t n An = A ( u m) u(0) = u 0 Hx k, n (0) = ( n0 ia n ) H l x. (.) We follow with Ginibre et at. [3] to discuss the criticality through scaling. Consider the following similar system i t u+ xu = m(n + +n ) u (m ) u i t n ( x) / n = ( x) /( u m). (.) If there were not the term xu in the LHS of the first equation in (.), then the system (.) would be invariant under the dilation u u λ = λ 3/(4m ) u(λt,λx) n n λ = λ ( m)/(m ) n(λt,λx) and the system (.) would be critical for (u 0,n (0)) Hx k Hx l for k = d 3 4m, l = d m m. Hence it is L x H/ x -subcritical case for d =, m <. 4

5 If there were not the term i t u in the LHS of the first equation in (.), then the system (.) would be invariant under the dilation u u λ = λ /(m ) u(λt,λx) n n λ = λ /(m ) n(λt,λx) and the system (.) would be critical for (u 0,n (0)) H k x H l x for k = d m, l = d m. Hence it is L x L x -subcritical case for d =, m < 5. If there were not the term ( x) / n in the LHS of the second equation in (.), then the system (.) would be invariant under the dilation u u λ = λ 5/(4m ) u(λ t,λx) n n λ = λ (3 m)/(m ) n(λ t,λx) and the system (.) would be critical for (u 0,n (0)) Hx k Hx l for k = d 5 4m, l = d 3 m m. Hence it is L x Hx / -subcritical case for d =, m < 3. If there were not the term i t n in the LHS of the second equation in (.), then the system (.) would be invariant under the dilation u u λ = λ /(m ) u(λ t,λx) n n λ = λ /(m ) n(λ t,λx) and the system (.) would be critical for (u 0,n (0)) H k x Hl x for k = d m, l = d m. Hence it is L x L x-subcritical case for d =, m < 5. That is the reason why we here focus on the local and global wellposedness of the system (.) in L (R) H / (R) for m <. We will take the other cases into account in the forthcoming papers. Second, we give some known linear estimates. for the Schrödinger equation, we have Lemma. (Strichartz estimate). [4] Assume that 4 q +, r +, 0 q r, and s = r q. Then we have u L q t Lr x(r) c u X s, +. In particular, combining with the trivial equality u L t,x = u X 0,0, we have Lemma.. [4] Assume that 0 < r, r q < + r and b > q + ( r ). Then the estimate holds true for all u X 0,b. u L q t Lr x (R) c u X 0,b (.3) 5

6 For the Klein-Gordon equation, we will use the fact that n L p t Hs x (R) c n X s,b, for < p <,b > p (.4) which can be obtained from the interpolation between and the trivial equality n L c n t Hx s X s, + n L = n X t Hx s s,0. Finally, we give some useful nonlinear estimates, which are especially important to the iteration procedure. Lemma.3 (Nonlinear estimates). Let m <, then there exists some 0 < ǫ < m, such that the estimates n u (m ) u c X 0,b n X,b u m u m c X,b u m hold for any n X,b and u where b = b = m 4m +ǫ, b = b = +mǫ. Proof: By (.9), Hölder inequality, we have n u (m ) u c X 0,b n u (m ) u L c n u m L 4m t L θx where 4m + m q = mǫ and 0 < θ. From (.4), we have From Lemma., we have n L 4m t Hx / u L qt L 4m θ x mǫ t L x L q 4m t L θ x c n L 4m t H u m x / c n X ;,b c u, L q 4m t L θ x under the conditions θ +ǫ < m, θ 4mǫ < m+ (.5) m, which can be satisfied for m <. Therefore, we obtain n u (m ) u c X 0,b n X,b u m+ 6.

7 Figure : θ ǫ parameter picture for m +. In addition, by (.9) and Sobolev inequality and Lemma., we have u m c X,b u m mǫ Lt Hx / c u m The proof is completed. c u m m mǫ Lt c u m. mǫ Lt L x Remark.. If m +, we take the value of θ and ǫ in the region ABC of Figure ; If + m + 3, we take the value of θ and ǫ in the region ABoD of Figure (see next page); If + m <, we take the value of θ and ǫ in the region ABo of Figure 3 3 (see next page). As we know, when m =, it is difficult to prove the nonlinear estimates in the above lemma for some b,b,b,b satisfying m+b +b = (4m )b +b. Hence we cannot prove the global well-posedness in Theorem. for the endpoint case m =. L m x 3 The Local Well-Posedness In this section, We construct a solution of (.) in some time interval [0,δ] using the fixed point argument. The KLS m (.) has the following equivalent integral equation formulation u(t) = U(t)u 0 +imu R [(n + +n ) u (m ) u](t); n = W n (0) i W R(A u m )(t). 7

8 Figure : θ ǫ parameter picture for + m + 3. Figure 3: θ ǫ parameter picture for + 3 m <. 8

9 where U(t)u 0 = e it xu 0, U R F(t) = W (t)n (0) = e ita n (0), W R G(t) = t 0 t 0 U(t s)f(s)ds; W(t s)g(s)ds. For 0 < δ <, we define a mapping M = ( Λ S (u,n ),Λ W (u,n ) ) by Λ S (u,n ) = ψ δ U(t)u 0 +imψ δ U R [(n + +n ) u (m ) u](t); Λ W (u,n ) = ψ δ W n (0) i ψ δw R (A u m )(t). Proposition 3. (The local well-posedness). Let m <, ǫ > 0 as in Lemma.3, b = b = m 4m + ǫ, b = b = + mǫ. Assume that u 0 L (R), n (0) H / (R). Then there exists a positive number δ satisfying δ m+ +b (m )b b u0 m L ; (3.) δ m+ +b (m )b b u 0 m L n (0) H / ; (3.) δ m+ +b mb u0 m L n (0) H /, (3.3) such that the above Cauchy problem (.) has a unique solution u(t,x) C([0,δ],L ) and n (t,x) C([0,δ],H / ) with the property u ([0,δ]) δ b u 0 L, n X,b ([0,δ]) δ b n (0) H /. Remark 3.. According to the value of b,b,b,b, we have m+ +b (m )b b = m+ +b (m )b b = m+ +b mb =. Proof: Define the closed set Y as { u Y = X0,b([0,δ]) cδ b u0l, Define the metric in the set Y as n X cδ,b b n (0) } ([0,δ]) H /. d ( (u,n ),(u,n ) ) = u u X 0,b ([0,δ]) + n n X,b ([0,δ]). First, we prove that M maps Y into itself under some conditions on δ. Now take any (u,n ) Y. By (.5), (.7) and Lemma.3, we have Λ S (u,n ) ([0,δ]) cδ b u L 0 +cδ +b b n u (m ) u X 0,b cδ b u0l +cδ +b b n X,b u m cδ b u0l +cδ +b b δ b n (0) ( H / δ b u0l cδ b u0 L 9 ) m

10 under the condition (3.). In addition, we have ΛW (u,n ) X cδ,b b n (0) ([0,δ]) H / +cδ +b b u m X,b cδ b n (0) H / +cδ +b b u m cδ b n (0) H / +cδ +b b ( δ b u 0 L cδ b n (0) H / under the condition (3.3). Therefore, we prove that M maps Y into itself. Second, we can prove that M is a contraction map under another conditions on δ. Take any (u,n ),(u,n ) Y, we have ΛS (u,n ) Λ S (u,n ) ([0,δ]) ) m cδ +b b n u (m ) u n u (m ) u X 0,b n cδ +b ( b ( u (m ) X,b cδ +b b + ( u m X + u 0,b m + u (m ) ) u u X 0,b ( δ b n (0) H /δ (m )( b ) u0 (m ) ) n n X,b ) u u X L 0,b ) +δ (m )( b ) u0 m L n n X,b 4( u u X + ) 0,b ([0,δ]) n n X,b ([0,δ]) under the conditions (3.) and δ m+ +b mb u0 m L which is equivalent to (3.) for b = b and b = b. In addition, we have ΛW (u,n ) Λ W (u,n ) X,b ([0,δ]) under the condition (3.). cδ +b b u m u m X,b cδ +b b ( u m X + u 0,b m ) u u X 0,b cδ +b b ( δ b u0l m ) u u X 0,b u u X 0,b 4 The standard fixed point arguments gives a unique solution in time interval [0,δ]. According to (.6) and (.8), we can get that u C([0,δ],L ) and n C([0,δ],H / ). Summarizing, The proof is completed. 0

11 4 Global Well-posedness In this section, we show that the process can be iterated to get a solution on any time interval [0,T]. We first can construct the solution step by step on some time intervals, which is only dependent of u(t) L = u0l. Then we can repeat this entire procedure to get the desired time T. According the mass conservation in (.3), we conclude that u(t) L = u(0) L. In order to iterate the local result to obtain the global well-posedness, we are only concerned with the growth in n (t) H / from one time step to the next step. Suppose that after some number of iterations we reach a time where n (t) H / u(t) m = u0 m. Take this time position as the initial time t = 0 so that u0 m L L L n (0) H /. Then (3.3) is automatically satisfied and by (3.), we may select a time increment of size δ ( u0 m n (0) ) /(m+ L +b (m )b b ) H / (4.) Since n (t) = W n (0) i W R(A u 4 )(t), We can apply (.6) and (.7) and Proposition 3. to obtain n (δ) H / n (0) H / +cδ +b u m X,b n (0) H / +cδ +b u m [0,δ] n (0) H / +cδ m+ +b mb u0 m L where c is some fixed constant. From this we can see that we can carry out N iterations on time intervals each of length (4.), where n (0) N H / (4.) δ m+ +b mb u 0 m L beforethequantity n (t) H / doubles. Thetotal timeweadvanceafterthesen iterations, by (4.) and (4.) and m+b +b = (4m )b +b, is n (0) Nδ H / δ m +b mb u0 m δ m+b +b (4m )b b u 0 4m u L 0 4m L which is independent of n (t) H /. L, We can now repeat this entire procedure, each time advancing a time of length / u0 4m. Upon each repetition, the size of n (t) L H / will at most double, giving the exponential-in-time upper bound stated in Theorem.. This completes the proof of Theorem., Acknowledge: We are deeply grateful to Prof. James Colliander for his valuable suggestions and discussions.

12 References [] A. Bachelot, Problème de Cauchy pour des systèmes hyperboliques semilinéaires. Ann. Inst. H. Poincarè, Analyse non linéaire, (985), [] A. Bachelot, Global existence of large amplitude solutions for Dirac-Klein-Gordon systems in Minkowski space. Lecture Notes in Mathematics, 40(989), [3] J. B. Baillon, J. M. Chadam, The Cauchy problem for the coupled Schrödinger-Klein- Gordon equations, G. M. de La Penha, L. A. Medeiros (eds.), Contemporary developments in Continuum Mechanics and Partial Differential Equations, North-Horlland Publishing Company, 978, [4] P. Biler, Asymptotic behavior of solutions and universal attractors for a system of nonlinear hyperbolic equations. Integrable systems and applications. M. Balabane, P. Lochak and C. Sulem (Eds.) Lecture Notes in Physics. No. 34, [5] J. Bourgain, Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations I & II. GAFA, 3(993), 07-56, [6] J. Bourgain. Refinements of Strichartz inequality and applications to D-NLS with critical nonlinearity. IMRN, 5(998), [7] J. Colliander, Wellposedness for Zakharov systems with generalized nonlinearity. J. Diff. Equa., 48(998), [8] J. Colliander, J. Holmer and N. Tzirakis, Low regularity global well-posedness for the Zakharov and Klein-Gordon-Schrödinger systems. arxiv:math.ap/ [9] D. Foschi. On the regularity of multilinear forms associated to the wave equation. Dissertation, Princeton Univ., 000. [0] I. Fukuda, M. Tsutsumi, On the Yukawa-coupled Klein-Gordon-Schrödinger equations in three space dimensions. Proc. Japan Acad., 5(975), [] I. Fukuda, M. Tsutsumi, On coupled Klein-Gordon-Schrödinger equations, I, Bull. Sci. Engrg. Res. Lab. Waseda Univ. 69(975), 5-6. [] I. Fukuda, M. Tsutsumi, On coupled Klein-Gordon-Schrödinger equations, II, Jour. Math. Anal. Appl. 66 (978), [3] J. Ginibre, Y. Tsutsumi and G. Velo, On the Cauchy problem for the Zakharov system. J. Funct. Anal., 5(997), [4] A. Grünrock, New applications of the Fourier restriction norm method to wellposedness problems for nonlinear evolution equations. Dissertation Univ. Wuppertal, 00.

13 [5] M. Keel and T. Tao, Local and global well-posedness for wave maps on R + for rough data. IMRN, (998), [6] C. Kenig, G. Ponce and L. Vega, The Cauchy problem for the Kortewegde Vries equation in Sobolev spaces of negative indices. Duke Math. J., 7(993), -. [7] S. Klainerman, M. Machedon, Space-time estimates for null forms and the local existence theorem. Comm. Pure Appl. Math., 46(993), -68. [8] S. Klainerman, M. Machedon, Smoothing estimates for null forms and applications. Duke Math. J., 8(995), [9] H. Pecher, Global solutions of the Klein-Gordon-Schrödinger system with rough data. Differential and Integral Equations, 7(-) (004), [0] S. Selberg. Multilinear space-time estimates and applications to local existence theory for nonlinear wave equations. Dissertation, Princeton Univ., 999. [] N. Tzirakis, The Cauchy problem for the Klein-Gordon-Schrödinger system in low dimensions below the energy space. Commun. Part. Diff. Equa., 30(005),