A NNALES DE L ’I. H. P., SECTION A
N AKAO H AYASHI
P AVEL I. N AUMKIN
Asymptotic behavior in time of solutions to the derivative nonlinear Schrödinger equation
Annales de l’I. H. P., section A, tome 68, n
o2 (1998), p. 159-177
<http://www.numdam.org/item?id=AIHPA_1998__68_2_159_0>
© Gauthier-Villars, 1998, tous droits réservés.
L’accès aux archives de la revue « Annales de l’I. H. P., section A » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.
org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
159
Asymptotic behavior in time of solutions
to the derivative nonlinear Schrödinger equation
Nakao HAYASHI 1 and Pavel I. NAUMKIN 1, 2
’ Department of Applied Mathematics, Science University of Tokyo, 1-3, Kagurazaka, Shinjuku-ku, Tokyo 162, Japan
E-mail:
nhayashi@rs.kagu.sut.ac.jp
2 Department of Computational Mathematics and Cybernetics,
Moscow State University, Moscow 119899, Russia E-mail: Pavel@naumkin.pvt.msu.su
Vol. 68, n° 2, 1998, Physique théorique
ABSTRACT. - We
study
theasymptotic
behavior in time of solutions to theCauchy problem
for the derivative nonlinearSchrodinger equation
where a E R. We prove that if + is
sufficiently small,
then the solution of
(DNLS)
satisfies the timedecay
estimatewhere ==
s~;
== +m, s E R. The above L° time
decay
estimate is veryimportant
for theproof
of existence of the modified
scattering
states to(DNLS).
In order to derivethe desired estimate we introduce a certain
phase
function. @Elsevier,
ParisKey words: Asymptotics for large time, modified scattering states, derivative NLS.
RESUME. - Nous étudions le
comportement asymptotique temporel
dessolutions du
probleme
deCauchy
pour1’ equation
deSchrodinger
nonClassification A.M.S. : 35 Q 55.
Annales de l’lnstitut Henri Poincaré - Physique théorique - 0246-021 1
Vol. 68/98/02/@ Elsevier, Paris
160 N. HAYASHI AND P. I. NAUMKIN
lineaire derivee
où a E R. Nous démontrons que est suffisamment
petit,
alors la solution(DNLS)
obéit a l’estiméetemporelle
ou Hm,s =
11(1
+!~!’)~(i - oo},
m, s E R. La borne L° ci-dessus sur la décroissance
temporelle
esttrès
importante
pour la preuve d’ existence d’ états collisionels modifies de(DNLS).
Pour montrer la validité de cetteborne,
nous introduisons unefonction de
phase appropriée.
@Elsevier,
Paris1. INTRODUCTION
In this paper we
study
theasymptotic
behavior in time of solutions to theCauchy problem
for the derivative nonlinearSchrodinger equation
where the coefficient a E R. This
equation
was derived in[18], [19]
to
study
thepropagation
of circularpolarized
Alfvén waves inplasma.
The
(DNLS)
has an infinitefamily
of conservation laws and can be solvedexactly by
the inversescattering
transform method[16].
The local existenceof solutions to
(DNLS)
wasproved
in[23], [24]
under the condition thatuo E
(s
>3/2)
and theglobal
existence of solutions to(DNLS)
wasalso
proved
in[23], [24]
for the initial data Uo E~2 ~ °
such that the normis
sufficiently
small. These results wereimproved
in[6], [7].
Moreprecisely,
theglobal
existence of solutions to(DNLS)
was shown in[6]
ifthe initial data uo E are
sufficiently
small in thenorm ~0~2
andin
[7]
the smallness conditionon ~u0 ~L2
wasgiven explicitly
in the formI
and also thesmoothing
effect of solutions was studied.The final state
problem
for(DNLS)
was studied in[9]
and the existence of modified waveoperators
and the non existence of thescattering
states inAnnales de l’lnstitut Henri Poincaré - Physique théorique
L2
were shown. For the cubic nonlinearSchrodinger equation,
the modifiedwave
operators
were constructed and the non existence ofscattering
statesin
L2
wereproved
in paper[22] (see [4], [5]
for thehigher
dimensionalcase).
However the result in[9]
does not say theasymptotics
inlarge
timeof solutions to the
Cauchy problem (DNLS).
As far as we know there are no resultsconcerning
the timedecay
estimate of solutions to(DNLS).
Ourpurpose in this paper is to prove L°
decay
of solutions of(DNLS)
with thesame
decay
rate as that of solutions to the linearSchrodinger equation
andto
give
thelarge
timeasymptotic
formula for the solutions which shows the existence of the modifiedscattering
states. Ourproof
of the results is based on the choice of the function space which was done in the recent paper[20], [21],
the gauge transformation method used in[6], [7], [17]
and the
systematic
use of theoperator
J == ~ + Theoperator
J was usedpreviously
tostudy (1)
thescattering theory
to nonlinearSchrodinger equations
with power nonlinearities([3], [11], [25]), (2)
the timedecay
ofsolutions
([2], [10])
and(3) smoothing properties
of solutions([12], [13])
tosome nonlinear
Schrodinger equations.
The main results in[3], [ 1 1 ] , [25]
areobtained
through
thefollowing
apriori
estimate ofsolutions ~Ju~L2 ~
C.This estimate
along
with the Sobolevtype inequality (Lemma 2.2)
in theone dimensional case
yields
therequired
L° timedecay
of solutions for the nonlinearSchrodinger equations
withhigher
order powernonlinearity.
However it seems to be difficult to
get
the same estimate C in the case of cubicnonlinearity.
To derive the desired apriori
estimates of solutions in our function spacetaking
L° timedecay
estimates of solutions into acount we have to introduce a certainphase
function since theprevious
methods
([3], [11], [25])
basedsolely
on the apriori
estimates of the value(x
+ withoutspecifying
anyphase
function does not work for(DNLS).
The nonexistence of the usualL~ scattering
states shows thatour result is
sharp.
Somephase
functions were used in[4], [22]
to prove the existence of the modified waveoperators
to the nonlinearSchrodinger equations
with the critical powernonlinearity.
Their results were shownthrough
anintegral equation corresponding
to theoriginal Cauchy problem
and therefore the derivative loss in the
equation
can not be canceled viaintegration by parts.
The methodpresented
here isgeneral enough,
sinceit is also
applicable
to a wide class of nonlinearSchrodinger equations
with nonlinearities
containing
derivatives of unknown function and for thegeneralized
and modifiedBenjamin-Ono equations (see [14]),
where derivatives are treated viaintegration by parts.
Wefinally
note that thecubic nonlinear
Schrodinger equation
of the formVol. 68, n° 2-1998.
162 N. HAYASHI AND P. 1. NAUMKIN
was considered in
[15]
and the existence ofscattering
states inL~
wereshown
by making
use of apriori
estimate of Ju for the solutions of thisequation.
However it is clear that their method does not work for(DNLS)
because the non existence ofscattering
states inL~
was shown in[9].
Let us
explain
the difference of ourapproach
from theprevious
methods.The
precise
timedecay
estimateC(1+t,)-1~2
of solutions u of(DNLS)
will be obtained in Section 3 from theasymptotics
of solutions u of(DNLS)
forlarge
time(Lemma 2.5).
The main term of thisasymptotics
isdetermined
by
the Fourier transform ofU(-t)u(t) (where U(t)
is the free evolution group associated with the linearSchrodinger equation)
and wealso need a certain
phase
function to obtain the desired estimatesconcerning
the main term
(see
Lemma3.2).
The remainder term of theasymptotics
is estimated
by
the norm(see
Lemma2.5 )
so that the estimate~
C(1
+tYY (with
some smallpositive ’)’)
is sufficient for theprecise
L° timedecay
estimates. Thus in ourapproach
we can allow alittle
growth
in time of the norm That is the main differentpoint
from the
previous
methods.Before
stating
ourresults,
wegive
Notation
and function
spaces. - Letor
be the Fourier transform off
definedby
The inverse Fourier
transform ;:-1
isgiven by
Let
U(t)
be the freeSchrodinger
evolution group definedby
We introduce some function spaces. E
~’ ; ~ tI
where == if 1 ~ p 00 and
x E
R~
if p = oo. Forsimplicity
we==
Weighted
Sobolev space definedby I~~ -s
=~~
ES’;
==I I C 1-~- ~ ~ ~ ~ 1- ~~ ~ ~ .~ I I ~ ~
ER,1 p r-.~~ ’ s ,
" . 11m,s
= We let( f , g~ _ ~’ f . gdx.
Differentpositive
constantswill be denoted
by
the same letter C.Annales de l’Listitut Henri Poincaré - Physique théorique
In what follows we use the
following
commutation relation and identitiesfreely.
where
Our main results are
THEOREM 1.1. - We assume that and ==
E’
E, where E issuffcciently
small. Then there exists aunique global
solution u
of (DNLS)
such thatTHEOREM 1.2. - Let u be the solution
of (DNLS)
obtained in Theorem l. l.Then
for
any small initial data ~co E n there existunique functions W, 03A6
E L~ such thatwhere Of
1/4.
Furthermore we have theasymptotic formula for large
time tuniformly
with respect to x E R.The
following corollary
shows the existence of the modifiedscattering
states.
Vol. 68, n° 2-1998.
164 N. HAYASHI AND P. I. NAUMKIN
COROLLARY 1.3. - Let u be the solution
of(DNLS)
obtained in Theorem l. ~.Then
for
any small initial data ~c° E n there exist aunique function
W E L°° such thatwhere
Remark 1.1. - The
inequalities ( 1.1 )
and( 1.2)
show that W and 03A6 canbe obtained from the initial function tto
approximately.
Remark 1.2. - Our method can be
applied
to thefollowing
moregeneral
nonlinear
Schrodinger equation.
where 03B3, 03BB
E R and p > 3 if a =0,
p > 4 0. The reasonwhy
weneed the condition that p > 4 when
a #
0 comes from the fact that ourmethod
requires
someregularity
of solutions to obtain timedecay
estimatesof solutions. On the other
hand,
if a =0, by using
the method of this paper we can obtain theasymptotic
formula and the timedecay
estimatein the n space.
We
organize
our paper as follows. In Section 2 wegive
somepreliminary
results. Sobolev
type inequalities
are stated in Lemmas 2.1-2.2 and Lemma 2.3 is used to treat the nonlinear terms. In Lemma 2.4 some estimates of functions are shown which are needed when the gauge transformationtechnique
is used. Lemma 2.5 says that the timedecay
of functions can berepresented by using
the free evolution group of theSchrodinger operator.
In Section 3 we firstgive
the local existence theorem(Theorem 3.1 )
withoutproof
and we prove the main results of this paperby showing
apriori
estimates of local solutions to
(DNLS)
in Lemma 3.1 and Lemma 3.2.2. PRELIMINARIES LEMMA 2.1
(The
Sobolevinequality).
Annales de l’lnstitut Henri Poincaré - Physique théorique
provided
that theright
hand side isfinite.
For Lemma
2.1,
see, e.g., A. Friedman[1].
LEMMA 2.2. - Let 1 q, r oo.
Let j,
m E N U~0} satisfy 0 j
rn.Let p and ex
satisfy = j
+ +(1 -
a 1if 1/r
E N U{0~,
1 otherwise. Thenprovided
that theright
hand side isfinite.
Proof. - By applying
Lemma 2.1with 03C8 = S(-t)f,
we obtainwhere we have used the
identity (C).
Weagain apply (C)
to the aboveinequality
toget
the desired result.LEMMA 2.3. - We have
provided
theright
hand sides arefinite.
Proof. -
Weonly
prove the lastinequality
in the lemma since the firstone is
proved
in the same way. From theidentity
we obtain
By applying
Holder’sinequality
and Lemma 2.2 to the aboveinequality
we
get
Vol. 68, nO 2-1998.
166 N. HAYASHI AND P. I. NAUMKIN
where
A direct calculation shows that
Hence Holder’s
inequality gives
the desired result.LEMMA 2.4. - We have
provided
that theright
hand sides arefinite,
whereProof -
Weonly
prove the first twoinequalities
since the other estimatesare shown in the same way. A direct calculation shows
Annales de l’Institut Henri Poincaré - Physique théorique
By
the Holder’sinequality
we haveand
We substitute
(2.2)
into(2.3)
and(2.4)
toget
and
We use
(2.6)
and(2.7)
in theright
hand side of(2.5)
to obtainThe desired estimates follow from
(2.2), (2.6), (2.7), (2.8)
and the identitiesVol. 68, n° 2-1998.
168 N. HAYASHI AND P. I. NAUMKIN
LEMMA 2.5. - We let
u(t, x)
be a smoothfunction.
Then we havewhere
Proof. -
We have theidentity
The
identity (2.9)
can be written in thefollowing
way for n =0,1
where
We let 0152
satisfy
0 01521/2.
Then we have the estimateHence we have
by
the Schwarzinequality
since 0152
1/2.
From(2.10)
and(2.11)
the lemmafollows,
since=
Proofs of
Theorems. - We define the function spaceXT
as followsAnnales de l’lnstitut Henri Poincaré - Physique théorique
where E is a
sufficiently
small constantdepending only
+To
clarify
the idea of theproof
of the Theorem weonly
show apriori
estimates of local solutions to
(DNLS).
For that purpose we assume that thefollowing
local existence theorem holds.THEOREM 3.1. - We assume
that +
==E~
£ and £ issufficiently
small. Then there exists afinite
time interval[-T, T]
with T > 1 and aunique
solution uof (DNLS)
such thatFor the
proof
of Theorem3.1,
see[6]-[8].
In order to obtain the a
priori
estimates of solutions u to(DNLS)
inXT
we translate theoriginal equation
into anothersystem
ofequations.
Inthe same way as in the derivation of
[6, (2.3)]
we find thatu(l)
andU(2)
defined
by
Lemma 2.4satisfy
where
LEMMA 3.1. - Let u be the local solutions to
(DNLS)
stated in Theorem 3.1. Then we havefor
any t E[-T, T]
where the
positive
constant C does notdepend
on T > 1.Proof. -
In what follows weonly
consider thepositive
time since thenegative
case can be treatedsimilarly. By (C)
we haveby (3.1)
The
integral equations
associated with(3.2)
can be written asVol. 68, n° 2-1998.
170 N. HAYASHI AND P. I. NAUMKIN
The
operator U(t)
is aunitary operator
inL~.
Therefore weeasily
obtainby (3.3)
and Lemma 2.3Since
and
we have from
(3.4)
where we have used the condition that the initial data is
sufficiently
smalland Theorem 3.1. We
again
use Theorem 3.1 toget
Applying
the Gronwallinequality
to(3.6),
we obtainThis
implies
In the same way as in the
proof
of(3.7)
we haveThe lemma follows
by applying (3.8),
the condition that the initial data issufficiently
small and Theorem 3.1 to Lemma 2.4.Annales de l ’lnstitut Henri Poincaré - Physique théorique
LEMMA 3.2. - Let u be the local solutions to
(DNLS)
stated in Theorem3.1. Then we have
for
any t ~[-T, T~
.where the
positive
constant C does notdepend
on T > 1.Proof - By
Sobolev’sinequality (Lemma 2.1)
and Lemma 3.1 we haveWe assume that t > 1. From Lemma 2.5 and Theorem 3.1 it follows that
We now consider the last term of the
right
hand side of(3.10). Multiplying
both sides of
(DNLS) by U(-t),
we find thatWe
put v(t)
=U(-t)u(t).
Then we haveOn the other hand we have
A
simple
calculationgives
Vol. 68, n ° 2-1998.
172 N. HAYASHI AND P. I. NAUMKIN
Hence
Now we make the
change
of variables~2
= ~ " ~Ç3
== X - z, then wehave
~2 + ~3 - ~ - ~ - ~ - ~ and ~2 -~2 -~3 ~ (~2 + ~3 - ~ - 2yz.
Therefore we obtain
where
Substituting (3.12)
into(3.11 )
andtaking
the Fouriertransform,
we obtainIn order to eliminate the second term of the left hand side of the
equation (3.13)
we make thechange
ofdependent
variableAnnales de l’Institut Henri Poincaré - Physique théorique
Then we have
by (3.13)
where
Integrating (3.15)
withrespect
to t from 1to t,
we have for n =0,1
By
asimple
calculationwhere we take
j3 satisfying
0j3 1/4.
Sincewe have
by (3.17),
Holder’sinequality
and theidentity
JVol. 68, n° 2-1998.
174 N. HAYASHI AND P. I. NAUMKIN
Integration by parts
and Lemma 3.1give
Hence
(3.18)
and(3.19) imply
We
apply (3.20)
to(3.16)
to obtainif we take
/3 satisfying j3
>Ce,
where we have used the fact that~13(t,p)~
] = 1. We nowapply
Lemma 3.1 to the aboveinequality
toget
From
(3.10)
and(3.21)
it follows thatWe have the lemma
by (3.9)
and(3.22).
We are now in a
position
to prove our main results in this paper.Proof of
Theorem 1.1. - We haveby
Lemma 3.1 and Lemma 3.2We take E’
satisfying
E. Then a standard continuationargument yields
the result.Proof of
Theorem. 1.2. -By (3. 16)
and(3.20)
we haveAnnales de l’lnstitut Henri Poincaré - Physique théorique
Hence there exists a
unique
function W E L°° such thatWe let t - oo in
(3.23).
Then we havefrom which with
(3.14)
the firstestimate (1.1)
in Theorem 1.2 follows.We let
.
Then
by (3.16)
In the same way as in the
proof
of(3.23)
weget
This
implies
that there exists aunique
function $ E L°° such thatWe let t - oo in
(3.25).
Then we haveWe
easily
find that thefollowing identity
holdsVol. 68, n° 2-1998.
176 N. HAYASHI AND P. I. NAUMKIN
Applying (3.24)
and(3.26)
to(3.27),
we obtain the estimate( 1.2). By ( 1.1 )
and
(1.2)
we haveThe
asymptotic
formula( 1.3)
follows from(3.28), (2.11 )
and theidentity
where
This
completes
theproof
of Theorem 1.2.Proof of Corollary
1 .3. - The desired estimate follows from(3.28)
andthe fact
that
Thiscompletes
theproof
ofCorollary
1.3.ACKNOWLEDGEMENTS
One of the authors
(P.I.N.)
waspartially supported by
the foundation of ScienceUniversity
ofTokyo.
He is alsograteful
toDepartment
ofApplied
Mathematics for kind
hospitality.
REFERENCES
[1] A. FRIEDMAN, Partial Differential Equations, New York, Holt-Rinehart and Winston, 1969.
[2] T. CAZENAVE, Equation de Schrödinger non lineairés en dimension deau, Proceeding of the Royal Society of Edinburgh, Vol. 84 A, 1979, pp. 327-346.
[3] J. GINIBRE and G. VELO, On a class of nonlinear Schrödinger equations. I. The Cauchy problem, general case; II Scattering theory, general case, J. Funct. Anal., Vol. 32, 1979, pp. 1-71.
[4] J. GINIBRE and T. OZAWA, Long range scattering for nonlinear Schrödinger and Hartree
equations in space dimension n ~ 2, Commun. Math. Phys., Vol. 151, 1993, pp. 619-645.
[5] J. GINIBRE, T. OZAWA and G. VELO, On the existence of wave operators for a class of nonlinear Schrödinger equations, Ann. IHP (Phys. Théor), Vol. 60, 1994, pp. 211-239.
[6] N. HAYASHI, The initial value problem for the derivative nonlinear Schrödinger equation in
the energy space, J. Nonlinear Anal. T.M.A., Vol. 32, 1993, pp. 823-833.
Annales de l’lnstitut Henri Poincaré - Physique théorique
[7] N. HAYASHI and T. OZAWA, On the derivative nonlinear Schrödinger equation, Physica D,
Vol. 55, 1992, pp. 14-36.
[8] N. HAYASHI and T. OZAWA, Finite energy solutions of nonlinear Schrödinger equations of
derivative type, SIAM J. Math. Anal., Vol. 25, 1994, pp. 1488-1503.
[9] N. HAYASHI and T. OZAWA, Modified wave operators for the derivative nonlinear Schödinger equations, Math. Annalen, Vol. 298, 1994, pp. 557-576.
[10] N. HAYASHI and M. TSUTSUMI, L~-decay of classical solutions for nonlinear Schrödinger equations, Proceeding of the Royal Society of Edinburgh, Vol. 104A, 1986, pp. 309-327.
[11] N. HAYASHI and Y. TSUTSUMI, Remarks on the scattering problem for nonlinear Schrödinger equations, Differential Equations and Mathematical Physics, Lecture Note in Mathematics, Edited by I.W. Knowles and Y. Saito, Springer-Verlag, Vol. 1285, 1986, pp. 162-168.
[12] N. HAYASHI, K. NAKAMITSU and M. TSUTSUMI, On solutions of the initial value problem
for the nonlinear Schrödinger equations in one space dimension, Math. Z., Vol. 192, 1986, pp. 637-650.
[13] N. HAYASHI, K. NAKAMITSU and M. TSUTSUMI, On solutions of the initial value problem for
nonlinear Schrödinger equations, J. Funct. Anal., Vol. 71, 1987, pp. 218-245.
[14] N. HAYASHI and P. I. NAUMKIN, Large time asymptotics of solutions to the generalized Benjamin-Ono equation, Trans. A.M.S. (to appear).
[15] S. KATAYAMA and Y. TSUTSUMI, Global existence of solutions for nonlinear Schrödinger equations in one space dimension, Commun. P.D.E., Vol. 19, 1994, pp. 1971-1997.
[16] D. J. KAUP and A. C. NEWELL, An exact solution for a derivative nonlinear Schrödinger equation, J. Math. Phys., Vol. 19, 1978, pp. 789-801.
[17] A. KUNDU, Landau-Lifshitz and higher-order nonlinear systems gauge generated from
nonlinear Schrödinger type equations, J. Math. Phys., Vol. 25, 1984, pp. 3433-3438.
[18] W. MIO, T. OGINO, K. MINAMI and S. TAKEDA, Modified nonlinear Schrödinger equation
for Alfven waves propagating along the magnetic field in cold plasmas, J. Phys. Soc.
Japan, Vol. 41, pp. 265-271.
[19] E. MJØLHUS, On the modulational instability of hydromagnetic waves parallel to the magnetic field, J. Plasma Phys., Vol. 16, 1976, pp. 321-334.
[20] P. I. NAUMKIN, Asymptotics for large time for nonlinear Schrödinger equation, The Proceedings of the 4th MSJ International Reserch Institute on "Nonlinear Waves", GAKUTO International Series, Mathematical Sciences and Applications, Gakkotosho, 1996 (to appear).
[21] P. I. NAUMKIN, Asymptotics for large time of solutions to nonlinear Schrödinger equations (in Russian), Izvestia RAS, ser. Math. (to appear).
[22] T. OZAWA, Long range scattering for nonlinear Schrödinger equations in one space dimension, Commun. Math. Phys., Vol. 139, 1991, pp. 479-493.
[23] M. TSUTSUMI and I. FUKUDA, On solutions of the derivative nonlinear Schrödinger equation.
Existence and uniqueness theorem, Funkcialaj Ekvacioj, Vol. 23, 1981, pp. 259-27.
[24] M. TSUTSUMI and I. FUKUDA, On solutions of the derivative nonlinear Schrödinger equation II, Funkcialaj Ekvacioj, Vol. 24, 1981, pp. 85-94.
[25] Y. TSUTSUMI, Scattering problem for nonlinear Schrödinger equations, Ann. IHP (Phys.
Théor.), Vol. 43, 1985, pp. 321-347.
(Manuscript received April 29, 1 996;
Revised version received January 6, 1997.)
Vol. 68, n° 2-1998.