Electronic Journal of Differential Equations, Vol. 5(5), No. 4, pp. 7. ISSN: 7-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) NONLINEAR DECAY AND SCATTERING OF SOLUTIONS TO A BRETHERTON EQUATION IN SEVERAL SPACE DIMENSIONS AKMEL DÉ GODEFROY Abstract. We consider a Cauchy problem for the n-dimensional Bretherton equation. We establish the existence of a global solution and study its longtime behavior, with small data. This is done using the oscillatory integral techniques considered in [5].. Introduction For the Bretherton equation, we consider the initial-value problem (I.V.P) u tt + u + u + u = F (u), x R n, n, t >, u(x, ) = f (x), u t (x, ) = f (x), (.) where F (u) = u α u and α. Problem (.) with n = was introduced by Kalantorov and Ladyzhenskaya in [4], where they proved the blow-up of it s solutions in finite time for large data. After an investigation on the local existence of solutions to (.) with n =, Scialom [7] pointed out that the global existence result for small data remains an open problem. Furthermore, using a new computational method called RATH (Real Automated Tangent Hyperbolic function method), Zhi-bin Li et al. [] showed the existence of solitary-wave solutions of some partial differential equations. Yet, for the Bretherton equation, the RATH method showed the non-existence of solitarywave solution. Our scattering result here seems to confirm the computation result of Zhi-bin Li et al. for the non-existence of solitary-wave solution to the Bretherton equation, at least for small data. Indeed it is well known that affirmative results on scattering are interpreted as the nonexistence of solitary-wave solution of arbitrary small amplitude, see [, 6]. Our aim in this paper is to study the global existence, the uniform in x decay to zero and the scattering as t, for solutions of (.) with sufficiently small data. More precisely, we show the following two theorems: Theorem.. Let α > 5 and f, f H s (R n ) L (R n ), n, with s 3 n. If f + f 3n/ + f + f 3n/ < δ with δ sufficiently small, then the solution u Mathematics Subject Classification. 35B4, 35Q, 35Q. Key words and phrases. Asymptotic behavior; scattering problem; Bretherton equation. c 5 Texas State University - San Marcos. Submitted October, 5. Published December 5, 5.
A. DÉ GODEFROY EJDE-5/4 of (.) is unique in C(R, H s (R n )) and satisfies u(x, t) c( + t) /4, t, (.) where c does not depend of x and t. Moreover, there is scattering for t ±, that is, there exist u +, u, solutions of the linear problem (.), such that u(t) u ± (t) tends to as t ±. Theorem.. Let α > + 4 θ and f, f H r+ 5 n+ (R n ) L q r+ 5 n(rn ), n, with r > n p. If f r+ 5 n,q + f r+ 5 n,q + f r+ 5 n+ + f r+ 5 n+ < δ with δ small, then the solution u of the I.V.P (.) satisfies where p = /( θ), q = /( + θ), and θ ], [. u(x, t) r,p c( + t) θ 4, t, (.3) Notation. The notation r,p is used to denote the norm in L p r such that for u L p r(r n ), u r,p = u L p r = ( ) r/ u L p <. Also, p instead of,p denotes the norm in L p, and H s with norm s is used instead of L s. Throughout this paper, c represents a generic constant independent of t and x. The Fourier transform of a function f is denoted by f(ξ) or F(f)(ξ) and F (f) f denotes the inverse Fourier transform of f. For p, q and f : R n R R, ( + ( ) q/pdt ) /q. f Lq (R;L p (R n )) = f(x, t) p dx R n. Local existence result In this section, we write the Cauchy problem associated with (.) in it s integral form and we prove the local existence and uniqueness of it s solution. Our method of proof is based on linear estimates and a contraction mapping argument. Thereupon, we state a locally well-posed theorem for (.). Theorem.. Let s > n/ be a real number, and f, f H s (R n ), n. Then there exists T > which depends on f s and f s, and a unique solution of (.) in [,T], such that u C(, T ; H s (R n )). Proof. Consider first the linear part of (.): The formal solution of (.) is where with φ(ξ) = ( ξ + ξ 4 ) /. u tt + u + u + u =, x R n, n, t >, u(x, ) = f (x), u t (x, ) = f (x), (.) u(x, t) = V (t)f (x) + V (t)f (x) (.) V (t)f (x) = [ (eitφ(ξ) + e itφ(ξ) ) ˆf (ξ)] (x), V (t)f (x) = [ iφ(ξ) (eitφ(ξ) e itφ(ξ) ) ˆf (ξ)] (x)
EJDE-5/4 NONLINEAR DECAY 3 Then We define Note that S (t)f (x) = S (t)f (x) = (π) n e ixξ+itφ(ξ) ˆf (ξ)dξ, R n i(π) n R n e ixξ+itφ(ξ) ˆf (ξ) φ(ξ) dξ. V (t)f (x) = S (t)f (x) + S ( t)f (x), V (t)f (x) = S (t)f (x) S ( t)f (x). Φ(ξ) 3 ( + ξ ). (.3) Indeed, φ(ξ) = ξ + ξ 4 = ( ξ ) + 3 4 ξ 4 so that if ξ then and if ξ then φ(ξ) 4 + 3 4 ξ 4 4 ( 3 + 3 ξ + 3 ξ 4 ) = ( + ξ ) φ(ξ) 3 4 ξ 4 ( + ξ ). Remark.. Since (.) will not change when t is switched to t, the solution u(t) in Theorem. can be extended to u C([ T, T ]; H s (R n )). Remark.3. Note that, since the negative sign of t in S j ( t) acts only on the sign of the phase function, the estimates of S j (t)f(x) below hold also for S j ( t)f(x). Hence, to estimate V j (t)f(x) one only has to estimate S j (t)f(x), j =,. To prove the existence theorem for (.), we need the following inequalities. Lemma.4. Let f, f H s (R n ), s, and V (t), V (t) defined in (.). Then V (t)f (x) s c f s (.4) V (t)f s c f s c f s. (.5) The proof of the above lemma follows directly from the definition of V (t) and V (t) in (.) and the use of the inequality (.3). Thereafter, with Lemma.4 in hand, one can use the contraction mapping principle to prove the local well-posedness result in Theorem.. Then, thanks to the Duhamela principle, the solution of (.) verifies the integral equation Let us define u(x, t) = V (t)f (x) + V (t)f (x) + ϕ(u)(t) = V (t)f (x) + V (t)f (x) + and the complete metric space t t F = {v C(, T ; H s (R n )), s > n/, where a is a positive real constant. V (t τ)( u α u)(τ)dτ. (.6) V (t τ)( u α u)(τ)dτ (.7) sup v(t) s a}, [,T ]
4 A. DÉ GODEFROY EJDE-5/4 We begin by showing that ϕ : F F is a contraction. The use of the definition of ϕ in (.7), Lemma.4 and the fact that H s (R n )), s > n/ is an Algebra, lead for all t T, to ϕ(u)(t) s c( f s + f s ) + c c( f s + f s ) + c t t ( u α u)(τ) s dτ u(τ) α+ s dτ c( f s + f s ) + ct (sup u s ) α+. [,T ] (.8) Thereby, taking µ as a positive constant such that f s + f s < µ, we get for u F, sup ϕ(u)(t) s c{µ + a α+ T } [,T ] so that choosing a = cµ, we obtain sup ϕ(u)(t) s c{µ + α+ c α+ µ α+ T } = cµ{ + α+ c α+ µ α T }. [,T ] Then, fixing T such that α+ c α+ µ α T < (.9) we get sup ϕ(u)(t) s cµ = a. [,T ] This shows that ϕ maps F into F. The next step is to prove that ϕ is in fact a contraction. We consider u and v in F with the same initial values. Thus (ϕ(u) ϕ(v))(t) = t V (t τ)( u α u v α v)(τ)dτ. To estimate sup [,T ] (ϕ(u) ϕ(v))(t) s we use Lemma.4, Taylor formula and the fact that H s (R n )), s > n is an Algebra; it follows that for all t T, (ϕ(u) ϕ(v))(t) s c c t t ct (sup [,T ] which leads, with a = cµ as above, to ( u α + v α )(u v)(τ) s dτ ( u α + v α )(τ) s (u v)(τ) s dτ u α s + sup [,T ] v α s ) sup u v s. [,T ] (ϕ(u) ϕ(v))(t) s α+ c α+ µ α T sup u v s. (.) [,T ] Hence, with the choice of T as above in (.), we get from (.) that ϕ is a contraction map in F. Thus, the application of contraction mapping principle gives the result of local existence and uniqueness in Theorem.. For the sequel, we need the following inequalities which are obtained by obvious computations including the inequality (.3): ξ R n, φ(ξ) = ξ ξ ( ξ + ξ 4 ) / (.) D φ(ξ) c. (.)
EJDE-5/4 NONLINEAR DECAY 5 3. Linear Estimates The purpose of this section is to study the linear equation associated with (.) and to establish linear estimates needed for the next section. The following result is concerning the decay of solutions of the linear problem (.). Lemma 3.. Let V (t) and V (t) be defined as in (.). Let f, f H 3 n (R n ) L (R n ), n. Then there exists a constant c independent of f, f, t and x R n such that V j (t)f j c( f j + f j 3n/ ( + t) /4, j =,, (3.) for all t. Moreover, let f, f H 3 n (R n ) L 5 n+k(rn ), n, k R + ; then we have V j (t)f j k, c( f j 5 n+k, + f j 3 n+k )( + t) /4, j =,. (3.) Before proving the above lemma, we prove the following lemma. Lemma 3.. Given x R n and t R +, the phase function Ψ(ξ) = φ(ξ) + t (x, ξ) has a finite number of stationary points. Moreover, if ξ s is a stationary point of Ψ, then any point η s verifying η s = ξ s is also a stationary point of Ψ. Proof. Since we have Ψ(ξ) = φ(ξ) + xt = ξ( ξ ) ( ξ + ξ 4 ) / + xt, Ψ(ξ) = ξ( ξ ) + xt ( ξ + ξ 4 ) / = and making the scalar product with we get labele3.3ξ( ξ ) + xt ( ξ + ξ 4 ) / (3.3) Ψ(ξ) = ξ ( ξ ) + xt ( ξ + ξ 4 ) = P ( ξ ) = (3.4) where P (y) = 4y 6 4y 4 + y xt ( y + y 4 ), y R +. The stationary points of Ψ are such that their norms are the roots of P (y). Then since P (y) is polynomial of degree 6 so that it has at most 6 roots, we deduce that Ψ has a finite number of stationary points in R n. Furthermore, since P () = xt and P (y) + as y +, and since P (y) is continuous, we deduce that there exists at least one stationary point of Ψ. Therefore, Ψ has a finite number of stationary points. Moreover, we note that if ξ s is a stationary point of Ψ and if η s is a point verifying η s = ξ s, then we have P ( η s ) = P ( ξ s ) = and consequently from (3.4) η s is also a stationary point of Ψ. This completes the proof of Lemma 3.. Next, we use Lemma 3. to prove Lemma 3.. Let us recall that, thanks to Remark., the inequality (3.) of proposition (3.) holds for V (t) and V (t)
6 A. DÉ GODEFROY EJDE-5/4 whenever it holds for S (t) and S (t). Schwartz inequality, If t, we have, thanks to the S (t)f (x) = (π) n e itψ(ξ) ˆf (ξ)dξ R n c ˆf (ξ) dξ R n c( ( + ξ ) n dξ) / f n c f n R n c( + t) /4 f 3n/ (3.5) If t, let Ω = {ξ R n, ξ t 4n } and q t (ξ) = χ Ω (ξ)e itφ(ξ) ; then thanks to the Schwartz and the Young inequality, S (t)f (x) = (π) n ( + )e itφ(ξ)+ix ξ ˆf (ξ)dξ Ω Ω c c ˇq t (x) f (x) + c( ( + ξ ) 3 n dξ) / ( Ω c ( + ξ ) 3 n ˆf (ξ) dξ) / Ω c c ˇq t (x) f (x) + ct /4 f 3n/ (3.6) where the first factor in the second term of the right hand side of (3.6) is a bound given t by ( { ξ t 4n } ) / ( ) / ( + ξ ) 3 n dξ r 3n r n dr {r t 4n } = c(t / ) / = ct /4. It remains to estimate ˇq t (x). We need for the sequel, the following notations: We take Ω = {ξ R n, ξ t 4n } and let E s = {ξ R n, Ψ(ξ) = } be the set of stationary points of Ψ. Hence from Lemma 3., E s has a finite number of elements. Then set s(t /4 ) = B(ζ, t /4 ) {ξ R n, ξ t /4 } ζ E s where for each ζ E s, B(ζ, t /4 ) = {ξ R n, ξ ζ t /4 }. Let A = s(t /4 ) { ( t /4 ) ξ ( + t /4 )}. Hence ˇq t (x) = Ω ( e itφ(ξ)+ix ξ dξ = Ω A ) + e itφ(ξ)+ix ξ dξ = I + I. (3.7) Ω A c
EJDE-5/4 NONLINEAR DECAY 7 Since from Lemma 3., card(e s ) <, we get I dξ Ω A dξ + dξ + dξ ζ E B(ζ,t /4 ) { ξ t /4 } { s ( t /4 ) ξ (+t /4 )} r n dr + r n dr { r t /4 } ct n 4 + { ( t /4 ) r (+t /4 )} ct n 4 + ct /4 ct /4. For I, we point out that on { ( t /4 ) r (+t /4 )} r n dr A c = {s(t /4 )} c {{ ξ ( t /4 )} { ξ ( + t /4 )}}, Ψ has no stationary point so that we can integrate I by parts as follows: I = e itψ(ξ) dξ Ω A c = t Ω A Ψ(ξ) (eitψ(ξ) )dξ c t Ω A dξ ( ) dξ + t Ψ(ξ) Ψ(ξ) c {Ω A c } ct Ω A { ( Ψ(ξ) ) + ( Ψ(ξ) ) }dξ c ct D Ψ(ξ) Ψ(ξ) dξ. Ω A c For the rest of this article, we consider a point ξ s E s ; then we have A c {ξ R n, ξ ξ s > t /4 } { ξ > t /4 } {{ ξ < ( t /4 )} { ξ > ( + t /4 )}}. Hence from (3.9), we obtain I ct Ω {E E } { ξ ξ s >t /4 } { ξ >t /4 } (3.8) (3.9) D Ψ(ξ) dξ (3.) Ψ(ξ) where E = {ξ R n, ξ < ( t /4 )} and E = {ξ R n, ξ > ( + t /4 )}. For the sequel, we need the following inequality: with E and E as defined in (3.), we claim that on {E E } { ξ ξ s > t /4 } { ξ > t /4 }, Ψ(ξ) ct /4 ξ ( + ξ ). (3.) ( ξ + ξ 4 ) / To prove this inequality, let us give the following remark.
8 A. DÉ GODEFROY EJDE-5/4 Remark 3.3. Let ξ s E s. Then for any ξ R n, there exists an index set J empty or not, with J {,..., n} such that { sgn(ξ si ) if i J sgn(ξ i ) = sgn(ξ si ) if i J c. Let us prove now inequality (3.). In view of Remark 3.3, let ξ s E s and let J be an index set such that { sgn(ξ si ) if i J sgn(ξ i ) = sgn(ξ si ) if i J c. Moreover, define a point η s by η si = { ξ si ξ si if i J if i J c where J is the same index set as above. Hence from Lemma 3., η s is also a stationary point and then thanks to Remark 3.3 and the definition of η s, we have on E = {ξ R n, ξ > ( + t /4 )} and for ξ s Ψ(ξ) = Ψ(ξ) Ψ(η s ) = φ(ξ) φ(η s ), ( ξ ) = ξ ( ξ + ξ 4 ) η ( η s ) / s ( η s + η s 4 ) / = ( + ( ξ ) ) ξ i ( ξ + ξ 4 ) η ( η s ) / si ( η i J i J c s + η s 4 ) / = ( ξ ) ξ i ( ξ + ξ 4 ) ξ ( ξ s ) / si ( ξ i J s + ξ s 4 ) / + ( ξ ) ξ i ( ξ + ξ 4 ) + ξ ( ξ s ) / si ( ξ i J c s + ξ s 4 ) / = ( ξ ) sgn(ξ i ) ξ i ( ξ + ξ 4 ) sgn(ξ ( ξ s ) si) ξ / si ( ξ i J s + ξ s 4 ) / + ( ξ ) sgn(ξ i ) ξ i ( ξ + ξ 4 ) + sgn(ξ ( ξ s ) si) ξ / si ( ξ i J c s + ξ s 4 ) / = ( ξ ) sgn(ξ i ) ξ i ( ξ + ξ 4 ) + sgn(ξ ( ξ s ) i) ξ / si ( ξ i J s + ξ s 4 ) / + ( ξ ) sgn(ξ i ) ξ i ( ξ + ξ 4 ) + sgn(ξ ( ξ s ) i) ξ / si ( ξ i J c s + ξ s 4 ) / = ( + ξ i ( ξ ) )( ( ξ + ξ 4 ) + ξ si ( ξ s ) / ( ξ i J i J c s + ξ s 4 ) ) / ξ ( ξ )( ξ + ) ( ξ + ξ 4 ) / t /4 ξ ( ξ + ) ( ξ + ξ 4 ) /.
EJDE-5/4 NONLINEAR DECAY 9 Again on E = {ξ R n, ξ > ( + t /4 )} but now for ξ s, we write thanks to the definition of η s, Ψ(ξ) = φ(ξ) φ( η s ) ( ξ ) = ξ ( ξ + ξ 4 ) + η ( η s ) / s ( η s + η s 4 ) / ( ξ ) = ξ ( ξ + ξ 4 ) η ( η s ) / s ( η s + η s 4 ) / so that thanks to Remark 3.3 and the definition of η s, we follow the same lines as above to obtain ( ξ ) Ψ(ξ) = ξ ( ξ + ξ 4 ) + ξ ( ξ s ) s / ( ξ s + ξ s 4 ) / ct /4 ξ ( ξ + ) ( ξ + ξ 4 ) /. For this time, on E = {ξ R n, ξ < ( t /4 )} and if ξ s, we write thanks to the definition of η s above, Ψ(ξ) = φ( η s ) φ(ξ) = η s ( η s ) ( η s + η s 4 ) / ξ ( ξ ) ( ξ + ξ 4 ) / = η s ( η s ) ( η s + η s 4 ) / + ξ ( ξ ) ( ξ + ξ 4 ) / so that thanks to Remark 3.3 and the definition of η s, we follow the same lines as above to get ( ξ s ) Ψ(ξ) = ξ s ( ξ s + ξ s 4 ) + ξ ( ξ ) / ( ξ + ξ 4 ) / ct /4 ξ ( ξ + ) ( ξ + ξ 4 ) /. Finally, still on E = {ξ R n, ξ < ( t /4 )} but now for ξ s, we write with the definition of η s, Ψ(ξ) = φ(η s ) φ(ξ) = η s ( η s ) ( η s + η s 4 ) / ξ ( ξ ) ( ξ + ξ 4 ) / = η s ( η s ) ( η s + η s 4 ) / + ξ ( ξ ) ( ξ + ξ 4 ) / so that proceeding as above, we find thanks to Remark 3.3 and the definition of η s, Ψ(ξ) ct /4 ξ ( ξ + ) ( ξ + ξ 4 ) /. This completes the proof of (3.). For the sequel, we need the following inequality which, thanks to (.) and (3.), is obviously shown: That is: On Ω {E E } { ξ ξ s > t /4 } { ξ > t /4 }
A. DÉ GODEFROY EJDE-5/4 where Ω is defined in (3.5) and E and E are defined in (3.), we have D Ψ(ξ) Ψ(ξ) ( ct/ ξ + ξ 4 ) / ( + ξ ) ξ ( ξ + ) ct ξ. (3.) Therefore, from (3.), (3.), (3.), we get I ct ct t / ct / + ct / ct / { ct / { + Ω {E E } { ξ ξ s >t /4 } { ξ >t /4 } Ω {E E } { ξ ξ s >t /4 } { ξ >t /4 } Ω E { ξ ξ s >t /4 } { ξ >t /4 } Ω E { ξ ξ s >t /4 } { ξ >t /4 } {t /4 < ξ < ( t /4 )} {t /4 <r< ( t /4 )} { (+t /4 )<r<t 4n } ct / { {t /4 <r<} r n dr} r dr + t n 4n ξ dξ + r r n dr D Ψ(ξ) Ψ(ξ) dξ ξ ( + ξ ) dξ ξ ( + ξ ) dξ ξ ( + ξ ) dξ { (+t /4 )< ξ <t 4n } { (+t /4 )<r<t 4n } dξ} dr} ct /4, (3.3) where E = {ξ R n, ξ < ( t /4 )} and E = {ξ R n, ξ > ( + t /4 )}. Hence, with the estimates on I and I in (3.8) and (3.3) above, and thanks to (3.7), we are led to ˇq t (x) ct /4 t. Combining this inequality, (3.6) and (3.5), we find S (t)f (x) c( + t) /4 ( f + f 3n/ t, which with Remark. leads to (3.) for the case j =. Let us prove now the inequality (3.) for the case j = If t, we have thanks to the Schwartz inequality and the inequality (.3) on φ(ξ), S (t)f (x) = (π) n e ˆf itψ(ξ) (ξ) R φ(ξ) dξ n c ˆf (ξ) R φ(ξ) dξ n c ˆf (ξ) R ( + ξ ) dξ (3.4) n c( ( + ξ ) n dξ) / f n R n c f n c( + t) /4 f 3n/.
EJDE-5/4 NONLINEAR DECAY If t, then we have with the notation Ω = {ξ R n, ξ t 4n } given above and thanks to (.3), the Schwartz and the Young inequalities, ( ) S (t)f (x) = (π) Ω n + e itφ(ξ)+ix ξ ˆf φ(ξ) (ξ)dξ Ω c ( c ǩt(x) f (x) + c c ǩt(x) f (x) + ct /4 f 3n/ Ω c ( + ξ ) 3 n dξ) / f 3n/ (3.5) where the function k t (ξ) = χ Ω (ξ)e itφ(ξ) /φ(ξ). On the other hand, with the same notations of Ω and A given in (3.5), (3.7), (3.9), we write ǩ t (x) = ( ) (π) Ω A n + e itφ(ξ)+ix ξ Ω A φ(ξ) dξ = J + J. (3.6) c Then, with the use of the inequality (.3), we follow the same lines as the estimation of I in (3.8) to get J ct /4. (3.7) For the estimation of J, we need the following inequality which with the use of (.3), (.), (.), (3.), (3.), is obviously proved. That is: On Ω {E E } { ξ ξ s > t /4 } { ξ > t /4 }, D Ψ(ξ) Ψ(ξ) φ(ξ) + φ(ξ) Ψ(ξ) φ(ξ) ct/ ξ ( + ξ ). (3.8) Therefore, following the same lines as in the proofs of (3.9) and (3.3), we find thanks to (3.8) and integration by parts (as for I ), J = e itψ(ξ) Ω A φ(ξ) dξ = t c Ω A Ψ(ξ)φ(ξ) (eitψ(ξ) )dξ c t { Ψ(ξ)φ(ξ) ) dξ + dξ Ψ(ξ) φ(ξ) } Ω A c ( ct Ω A ( Ψ(ξ)φ(ξ) ) dξ c {Ω A c } ct Ω A D Ψ(ξ) { Ψ(ξ) φ(ξ) + φ(ξ) Ψ(ξ) φ(ξ) }dξ c ct / ξ ( + ξ )dξ + ct / ct /4. Ω E { ξ ξ s >t /4 } { ξ >t /4 } Ω E { ξ ξ s >t /4 } { ξ >t /4 } ξ ( + ξ )dξ Hence (3.6) and the estimates (3.7) and (3.9) on J and J above, give Then, this with (3.5) give ǩt(x) ct /4 t. S (t)f (x) c( + t) /4 ( f + f 3n/ t, (3.9) Combining this inequality and (3.4), we get with Remark. the desired inequality (3.) for the case j =. This finishes up the proof of inequality (3.4). In order to
A. DÉ GODEFROY EJDE-5/4 prove the inequality (3.) of Lemma 3., we set J k = ( ) k/ with k R, and we note that J k S (t)f (x) = J k F ( eitφ(ξ) ˆf (ξ))(x) = F ( ( + ξ ) k/ e itφ(ξ) ˆf (ξ))(x) = (π) n ( + ξ ) k/ e itφ(ξ)+ix ξ ˆf (ξ)dξ R n and J k S (t)f (x) = (π) n ( + ξ ) k/ e itφ(ξ)+ix ξ ˆf R φ(ξ) (ξ)dξ. n Henceforth, we can prove the inequality (3.) of Lemma 3.. We begin with the case j = : For t, we follow the same lines as in (3.5) and we get J k S (t)f (x) c( + t) /4 f 3 n+k. (3.) If t, let p t (ξ) = ( + ξ ) 5 4 n χ Ω (ξ)e itφ(ξ) where Ω = {ξ R n, ξ t 4n } is defined above in (3.6). Then thanks to the Schwartz and the Young inequalities, we have as in (3.6), J k ( S (t)f (x) = (π) Ω n ) + e itφ(ξ)+ix ξ ( + ξ ) k Ω c ˆf (ξ)dξ c ˇp t (x) ( ) ( 5 n+k) f (x) ( ) + c ( + ξ ) 3 /( n dξ ( + ξ ) 3 n+k ˆf (ξ) dξ) / Ω c Ω c c ˇp t (x) f (x) 5 n+k, + ct /4 f 3 n+k. (3.) Then, with the same notation of A and Ω given in (3.7) above, we write: ˇp t (x) = ( ) (π) Ω A n + ( + ξ ) 5 4 n e itφ(ξ)+ix ξ dξ = I + I (3.) Ω A c and following the same lines as in (3.8) we get I c ( + ξ ) 5 4 n dξ c dξ ct /4. (3.3) Ω A Ω A For the sequel, we need the following inequality which with the help of the inequalities (.3), (.), (.), (3.), (3.), is easily proved. That is, for all ξ R n and for any given γ, ( ) + ( ) ct / ξ ( + ξ ). (3.4) Ψ(ξ)( + ξ ) γ φ(ξ) Ψ(ξ)( + ξ ) γ
EJDE-5/4 NONLINEAR DECAY 3 Henceforth, thanks to the above inequality, we follow the same lines as in the proof of (3.9), and using integration by parts, we get ct /4. I Ω Ac = (π) n e itψ(ξ) dξ ( + ξ ) γ (e itψ(ξ) ) = (π) n t dξ Ω A c Ψ(ξ)( + ξ ) γ ct Ω A ( ) dξ c Ψ(ξ)( + ξ ) γ ct / ξ ( + ξ )dξ + ct / Ω E { ξ ξ s >t /4 } { ξ >t /4 } Ω E { ξ ξ s >t /4 } { ξ >t /4 } ξ ( + ξ )dξ Therefore, (3.) and the estimates in (3.3) and (3.5) of I and I above, give ˇp t (x) ct /4 t. so that thanks to (3.) we get for all t, (3.5) J k S (t)f (x) c( + t) /4 ( f 5 n+k, + f 3 n+k ), k. (3.6) Finally, combining (3.) and (3.6), and thanks to Remark., we find the case j = of the inequality (3.) of Lemma 3.. Likewise, following the same lines as in the proof of the case j = of (3.), and with the use of the inequalities (.3) and (3.4), we prove the case j = of the inequality (3.). This, with Remark. puts an end of the proof of the inequality (3.) and consequently of Lemma 3.. Let us give now the following lemma which will be useful for the L p L q estimates. Lemma 3.4. Let f, f L 5 n+k(rn ), k, n. Then V j (t)f j (x) k, c( + t) /4 f j 5 n+k,, j =,. (3.7) Proof. Thanks to inequality (3.) of Lemma 3., it suffices to use the Sobolev embedding W n, (R n ) L (R n ) and we get V j (t)f j (x) k, c( + t) /4 ( f j 5 n+k, + f j 3 n+k ) = c( + t) /4 ( f j 5 n+k, + J 3 n+k f j ) c( + t) /4 ( f j 5 n+k, + J 3 n+k f j n, ) = c( + t) /4 f j 5 n+k,, j =,. To end with this section, we give the following lemma. Lemma 3.5. Let f, f H k+ 5 n+ (R n ) L q k+ 5 n(rn ), k, n. Then V j (t)f j (x) k,p c( + t) θ 4 fj 5 n+k,q, j =, (3.8) where p = /( θ), q = /( + θ), θ ], [.
4 A. DÉ GODEFROY EJDE-5/4 Proof. Thanks to (.4) and (.5), we get for any k R +, V j (t)f j (x) k c f j (x) k c f j 5 n+k, j =, ; (3.9) that is J k V j (t)f j (x) c J 5 n+k f j (x), j =,. (3.3) Moreover, from (3.7) in Lemma 3.4 we have J k V j (t)f j (x) c( + t) /4 J 5 n+k f j (x), j =,. (3.3) We know that (see above), J k V j (t)(f j (x)) = V j (t)(j k f j (x)) = J 5 n V j (t)(j 5 n+k f j (x)). Therefore, thanks to (3.3) and (3.3), we apply the interpolation theorem (see []) for the evolution operator J 5 n V j (t), j =,, and we find the inequality (3.8) of Lemma 3.5. This finishes up the proof of Lemma 3.5. 4. Decay and Scattering results of Solutions to the Nonlinear Equation Proof of Theorem Theorem.. We write (.) in its integral form as given in (.6): u(x, t) = V (t)f (x) + V (t)f (x) + t V (t τ)( u α u)(τ)dτ. (4.) where V (t) and V (t) are defined in (.3), (.4). Then, taking the L norm of the both sides of (4.) we get thanks to Lemma 3., u(t) c( + t) /4 ( f + f 3n/ + f + f 3n/ + c t ( + (t τ)) /4 ( u α u + u α u 3n/ (τ)dτ c( + t) /4 ( f + f 3n/ + f + f 3n/ + c t Then, we define the quantity From (4.) ( + (t τ)) /4 ( u α u + u α u 3n/ (τ)dτ. Q(t) = sup {( + τ) 4 u(τ) + u(τ) 3n/ }. τ t (4.) But since for α > 5, t u(t) c( + t) /4 ( f + f 3n/ + f + f 3n/ = ( t + cq(t) α+ ( + (t τ)) /4 ( + τ) 4 (α ) dτ. ( + (t τ)) /4 ( + τ) 4 (α ) dτ t + t we deduce from (4.3) that for α > 5, t )( + (t τ)) /4 ( + τ) 4 (α ) dτ c( + t) /4 (4.3) ( + t) 4 u(t) c{ f + f 3n/ + f + f 3n/ + Q(t) α+ } (4.4)
EJDE-5/4 NONLINEAR DECAY 5 Furthermore, we get for α > 5, thanks to the inequalities (.4) and (.5) of Lemma.4 and with (4.), u(t) 3n/ c{ f 3n/ + f 3n/ + Therefore, (4.4) and (4.5) give c{ f 3n/ + f 3n/ + t t u α u 3n/ (τ)dτ} u α u 3n/ (τ)dτ} t c{ f 3n/ + f 3n/ + Q(t) α+ ( + τ) α 4 dτ} c{ f 3n/ + f 3n/ + Q(t) α+ }. (4.5) Q(t) c{ f + f 3n/ + f + f 3n/ + Q(t) α+ }. (4.6) Henceforth, thanks to the inequality (4.6), if f + f 3n/ + f + f 3n/ < δ with δ > small enough, we find that Q(t) is bounded. Indeed, it is well known that inequality (4.6) is satisfied if Q(t) [, β ] [β, [ with < β < β < since δ is small. Thereby, since Q() f 3n/ < δ (because H 3 n (R n ) L (R n )), the continuity of Q(t) and the inequality (4.6) allow us to conclude that Q(t) remains bounded for all t. Thus, we have obtained a bound of Q(t) and consequently an a-priori estimate of the local solution which permit us to extend globally the local solution of Theorem.. Moreover, this a-priori estimate provides the inequality (.) of Theorem.. For the proof of the scattering result in the Theorem., we define u + (x, t) = u(x, t) + + t V (t τ)( u α u)(τ)dτ (4.7) where u(x, t) is the solution of (.) given by Theorem.. We only consider the case of u + (t + ) since the proof for the case of u (t ) is similar. Then, thanks to (4.7) and with the use of the inequalities (.5) of Lemma.4 and (.) of Theorem., we have, u(t) u + (t), c c c + t t + t ( u α u)(τ) dτ u(τ) α u(τ) dτ ( + τ) α 4 dτ and the integral on the right-hand side approaches to zero as t +, since by hypothesis of Theorem., α > 5. Thereafter, set g + (x) = f (x) + + V ( τ)( u α u)(τ)dτ. Then thanks to (4.7) and (4.), we may write u + as u + (x, t) = V (t)f(x) + V (t)g + (x). (4.8) Therefore, we can see that u + (t) is a solution of the linearized equation (.). This completes the proof of Theorem.. Proof of Theorem.. To prove Theorem., we need the following inequality of Gagliardo-Nirenberg type.
6 A. DÉ GODEFROY EJDE-5/4 Lemma 4.. Let u belong to L p (R n ) and its derivatives of order m, D m u belong to L r (R n ), p, r. For the derivatives D j u j < m, the following inequalities hold: D j u p c D m u a r u a p, where p = j n + a( r m n ) + ( a) p, for all a in the interval j m a. The proof of the above lemma can be found in [7]. Now, we prove Theorem.. We recall the notation p = /( θ), q = /( + θ), θ ], [. Let r > n p and apply the norm Lp r(r n ) to the two sides of (4.). Then, thanks to Lemma 3.5, the Gagliardo-Nirenberg inequality in Lemma 4. and Sobolev imbeddings theorems, u(x, t) r,p V (t)f(x) r,p + V (t)g(x) r,p + t c( + t) θ 4 ( f 5 n+r,q + f 5 n+r,q ) + c c( + t) θ 4 ( f 5 n+r,q + f 5 + c t n+r,q ) V (t τ)( u α u)(τ) r,p dτ t ( + (t τ)) θ 4 u α u(τ) a 5 n+r+, u α u(τ) a dτ c( + t) θ 4 ( f 5 n+r,q + f 5 + c where Set t n+r,q ) ( + (t τ)) θ 4 ( u α u 5 n+r+ ) a ( u α u ) a dτ ( + (t τ)) θ 4 u α u(τ) 5 n+r,q dτ a = ( 5 n + r)/n + ( θ)/ ( 5 n + r + )/n + / = /n + θ/ n + r + )/n + /. K(t) = sup {( + τ) θ 4 u(τ) r,p + u(τ) 5 τ t n+r+ }. ( 5 (4.9) Hence, since (by hypothesis above) r > n/p, then thanks to the Sobolev imbedding theorem L p r(r n ) L (R n ) and with (4.9), we get for α > + 4/θ, u(x, t) r,p c( + t) θ 4 ( f 5 n+r,q + f 5 + c t n+r,q ) ( + (t τ)) θ 4 ( u α r,p u 5 n+r+ ) a ( u α r,p u 5 n+r+) a dτ. c( + t) θ 4 ( f 5 n+r,q + f 5 + c t n+r,q ) ( + (t τ)) θ 4 (K(t) α+ ( + τ) α θ 4 ) a (K(t) α+ ( + τ) (α ) θ 4 ) a dτ. c( + t) θ 4 ( f 5 n+r,q + f 5 n+r,q )
EJDE-5/4 NONLINEAR DECAY 7 t + K(t) α+ ( + (t τ)) θ 4 ( + τ) (α ) θ 4 dτ c( + t) θ 4 { f 5 n+r,q + f 5 n+r,q + K(t) α+ }. We deduce from the above inequality that for α > + 4/θ, ( + t) θ 4 u(x, t) r,p c{ f 5 n+r,q + f 5 n+r,q + K(t) α+ }. (4.) Furthermore, thanks to the inequalities (.4), (.5) of Lemma.4 and following the same lines as in the proof of the inequality (4.5), we find with (4.) and for α > + 4/θ u(x, t) 5 n+r+ c{ f 5 n+r+ + f 5 n+r+ + K(t) α+ }. (4.) Then the combination of (4.) and (4.) leads to the inequality K(t) c{ f 5 n+r,q + f 5 n+r,q + f 5 n+r+ + f 5 n+r+ + K(t) α+ }. (4.) Therefore, as above, we find that if f 5 n+r,q + f 5 n+r,q + f 5 n+r+ + f 5 n+r+ is sufficiently small, then the inequality (4.) gives K(t) c for all t. This implies that u(x, t) r,p c( + t) θ 4 for all t, and Theorem. is proven. References [] J. Bergh and J. Lofstrom (976). Interplation Spaces, Springer Verlag. [] P. Biler (99). Long Time Behavior of Solutions of the Generalized Benjamin-Bona-Mahony Equation in Two Space Dimensions, Diff. Int. Eq. 5, num 4, 89-9. [3] L. Hormander (983). The Analysis of linear partial differntial operator I, Berlin, Heidelberg, New York: Springer. [4] (978) Kalantorov & Ladyzhenskaya, The occurence of collapse for quailinear equation of parabolic and hyperbolic types, J. Soviet Math,, 53-7. [5] C. E. Kenig, G. Ponce and L. Vega, (99). Oscillatory Integrals and regularity of dispersive equations, Indiana Univ. Math. J. 4 num., 33-69. [6] F. Linares and M. Scialom (995). Asymptotic behavior of solutions of a generalized Boussinesq type equation, Nonlinear Analysis, Theory, Method and Appl, 5, num, 47-58. [7] L. Nirenberg (September, 958). On elliptic partial differential equations, Intr. Conf. on Part. Diff. Equations, C.I.M.E in Pisa. [8] M. Scialom (994). On the Initial value Problem for a class of nonlinear dispersive models, J. Math. Anal. Appl., 36-384. [9] C. D. Sogge (993). Fourier Integral in Classical Analysis, in Cambridge Univ. Press. [] Zhi-bin Li and Yin Ping Liu (). RATH: A maple package for finding travelling solitary wave solutions to nonlinear evolution equations, Computer Physics Xommunication, 48, 56-66. Akmel Dé Godefroy Laboratoire de Mathematiques Appliquées, UFRMI, Université d Abidjan Cocody, BP 58 Abidjan, Cote d Ivoire E-mail address: akmelde@yahoo.fr