SUT Journal of Mathematics

Vol. 40, No. 1 (2004), 7590

Nonlinear nonlocal Schr

odinger type equations on a
segment

Elena I. Kaikina, Pavel I. Naumkin and Isahi S

anchez-Su
arez
(Received June 15, 2004)

Abstract. We study the global existence and large time asymptotic behavior
of solutions to the initial-boundary value problem for the nonlinear nonlocal
Schr
odinger equation on a segment (0, a)
ut + i|u|2u + u = 0, t > 0, x (0, a)
u(x, 0) = u0 (x), x (0, a) ,

(0.1)

where the pseudodierential operator  has the dissipation propery and the
symbol of order (0, 1). We prove that if the initial data u0 L are small,
then there exists a unique solution u C ([0, ) ; L ) of the initial-boundary
value problem (0.1) Moreover there exists a function A L such that the
solution has the following large time asymptotics
1

u(x, t) = A (x) t
where (x) =

1
2i

 i

ez

+zx

x
t

+ O t

1+

dz.

AMS 2000 Mathematics Subject Classification. 35Q55; 35B40.

Key words and phrases. Nonlinear Schroedinger equation, initial-boundary value
problem, large time asymptotics.

1.

Introduction

Our aim in the present paper is to study the global existence and large time
asymptotic behavior of solutions to the initial-boundary value problem for the
nonlinear Shr
odinger equation on a segment [0, a]


(1.1)

ut + i |u|2 u + Ku = 0, t > 0, x (0, a) ,

u(x, 0) = u0 (x), x (0, a) ,
75

76

E. KAIKINA, P. NAUMKIN AND I. SANCHEZ-SU

AREZ

where the pseudodierential operator Ku on a segment [0, a] is given by

(1.2)

1
Ku = (1 (x a))
2i

epx K(p)
u(p, t)dp,

where K(p) = p , (0, 1).

The nonlinear nonlocal Schr
odinger equation (1.1) is a simple model appearing as the rst approximation in the description of the dispersive dissipative nonlinear waves. As far as we know the global existence and large time
asymptotic behavior for solutions of the initial-boundary value problem for the
nonlinear nonlocal Schr
odinger equation (1.1) on a segment was not studied
previously. In the case of the Cauchy problem global existence of solutions
was proved in papers [7], [2] and the large time asymptotics of solutions was
obtained in [10], [9], [4]. In the case of the boundary value problem on a halfline the large time asymptotics of solutions were studied in papers [1], [3], [6],
[8].
Let us start with the following general linear initial-boundary value problem
on a segment

ut + Ku = f (x, t), t > 0, x (0, a) ,

u(x, 0) = u0 (x), x (0, a) ,

j

x u(0, t) = h0j (t), j = 1, ..., m,

xl u(a, t) = hal (t), l = 1, ..., n,

(1.3)

where the pseudodierential operator Ku on a segment [0, a] is dened by the

inverse Laplace transformation as follows
Ku =

1
2i

epx K(p)

u
(p, t)

[]

xj1 u(0, t) epa xj1 u(a, t)

j=1

(1.4)

pj

dp


1
epx K(p)
(x a)
2i 1

[]
j1
pa j1

x u(0, t) e x u(a, t)
u
(p, t)
dp,
pj
j=1

where the contour 1 goes along the boundary of the domain of analyticity
of the symbol K (p) , we assume that K (p) is always analytic in the domain
Re p > 0. Note that in the case of holomorphic symbol K (p) (for example, a
polynomial) the last integral in the denition (1.4) is equal to zero, hence we


SCHRODINGER
TYPE EQUATIONS

77

get a usual dierential operator. Also we can rewrite the denition (1.4) in
the form
 i
1
epx K(p)
Ku = (1 (x a))
2i i

[]
j1
pa j1

x u(0, t) e x u(a, t)
u
(1.5)
dp,
(p, t)
pj
j=1

if we take K(p) = C p , > 0 for simplicity. We make a cut along the

negative part of the real axis, that is we choose arg z [, ) for any complex
z C. Here [] is the integer part of the number , C will be chosen by
the dissipation condition Re K (p) > 0 for all Re p = 0. Note that the inverse
Laplace transform gives us a function, which is equal to 0 for all x < 0, so
that multiplication by the factor (1 (x a)) yields that the operator Ku
vanish outside of the interval (0, a) . Thus the solution u (x, t) is considered for
all x R prolonged by zero outside of the segment [0, a] . We expect that by
analogy with the case of a half-line the integers n and m are dened by the
number of regions, where Re K(p) < 0.
Taking the Laplace transform of the operator Ku we get
 i (qp)a
e
1
1
e Kudx =
K(q)
u
(q, t)dq
2i i
qp
0

eqa
epa
K(q)
u
(q, t)dq + K(p)
u
(p, t),
2i q p

(1.6)

px

where we denote the contour

(1.7)




= q C; q (ei , i0) +i0, ei

and

u
(p, t) = u
(p, t)

[]

xj1 u(0, t) epa xj1 u(a, t)

j=1

pj

Applying the Laplace transformation with respect to x to problem (1.3) we

get

 i e(qp)a 1
1
 t), t > 0,

+
K(q)
u
(q, t)dq = f(p,
u


t
2i
qp
i

u
(p, 0) = u
0 (p),
j

x u(0, t) = h0j (t), j = 1, ..., n,

xl u(a, t) = hal (t), l = 1, ..., m.

78

E. KAIKINA, P. NAUMKIN AND I. SANCHEZ-SU

AREZ

Integrating with respect to time t in view of (1.6) we obtain for the Laplace
transform u
(p, t)
 t
(1.8)
eK(p)(t ) f1 (p, )d ,
u
(p, t) = eK(p)t u0 (p) +
0

where
 t) + K(p)
f1 (p, t) = f(p,

1
2i

[]

xj1 u(0, t) epa xj1 u(a, t)

j=1

pj

e(qp)a

K(q)u
(q, )dq.
qp

In order to get the integral formula for solutions of (1.3), we need to know
the boundary values xj1 u (0, t), xj1 u(a, t). Some of the boundary values we
put in the problem as given boundary data and the rest we will nd from the
equation using the growth condition



(1.9)
|
u(p, t)| M (1 + |p|) 1 + epa  for all |p| 1,
with some M, > 0, which guarantee us that the inverse Laplace transform
u(x, t) vanish for all x < 0 and x > a. It is easy to prove that condition (1.9) is
fullled in domains Re K(p) > 0. In domains, where Re K(p) < 0, we rewrite
formula (1.8) as


 +
K(p)t
K(p)
e
f1 (p, )d
u
0 (p) +
u
(p, t) = e
0
 +

eK(p)(t ) f1 (p, )d .
t

Clearly the last integral


t

eK(p)(t ) f1 (p, )d

satises condition (1.9) for all |p| 1, such that Re K(p) < 0. However
the rst summand with exponentially growing factor eK(p)t does not satisfy
condition (1.9), therefore we have to put the following conditions
 +
(1.10)
eK(p) f1 (p, )d = 0
u
0 (p) +
0

for all |p| > 1 in the domains, where Re K(p) < 0. We use equations (1.10)
to nd some of the boundary values xj u(0, t), xj u(a, t) involved in formula


SCHRODINGER
TYPE EQUATIONS

79

(1.8). Making a change of the independent variable K(p) = we transform

the domains Re K(p) < 0 to the half-complex plane Re > 0 by [] dierent
roots 1 (), 2 (), ... , [] (), which are analytic functions for all Re > 0 and
transform the half-complex plane Re > 0 to domains, where Re K(p) < 0.
Then condition (1.10) can be written as a system of [] equations in the halfcomplex plane Re > 0

(1.11)


u
0 (l ) + f(
l , )

 +
[]
j1
l a j1

x u(0, t) e
x u(a, t)
e
d

j
l
0
j=1
 +
 (ql ())a
e
1
e (
u(q, )
K(q)
=
2i q l ()
0

[]

xj1 u(0, t) eqa xj1 u(a, t)

d dq,
qj
j=1

for l = 1, 2, ..., [] , where u

(p, t) is the solution of problem (1.8) and

u
0 (l ) =


el y u0 (y)dy, f(l , ) =

+  a

0
(j1)

e(l y+t) f (y, t)dydt.

(j1)

We have [] equations with 2 [] unknowns ux

(0, t), ux
(a, t) so we need
to put [] boundary data in the problem (1.3) and the rest [] boundary values
can be found from system (1.11).
In the case (0, 1), which is under the consideration in the present paper,
we do not need to solve system (1.11), because condition
(1.9)
is fullled au
 K(p)t


C (1 + |epa |).
tomatically for any complex p, due to the estimate e
In the present paper we consider problem (1.1) in the case of the initial data
belonging to space L . For obtaining Lp -estimates of the Green function we
use the method of our previous papers [3] and [6].
Let us denote the space L (0, a) = { L (0, a) ; L < +}. Let
Lp (R+ ) = Lp and Lp (0,a) = p , 1 p .
We state the main result of this paper.
Theorem 1. Let the initial data u0 L (0, a) and the norm u0  < ,
where > 0 is suciently small. Then there exists a unique solution u
C ([0, ) ; L (0, a)) of problem (1.1). Moreover there exists a function A
L (0, a) such that the solution has the following asymptotics
 
 1 
1
x

u(x, t) = (1 (x a))A(x)t
+ O t
1
t

E. KAIKINA, P. NAUMKIN AND I. SANCHEZ-SU

AREZ

80

for t + uniformly with respect to x (0, a) , where

 i

1
ez +z dz
() =
2i i
and


A(x) =
0

u0 (y)dy +

here R+ , (0, 1 ) , =

d
0

|u(y, )|2 u(y, )dy < +,

if min (, 1) , and = 1 if 1.

Remark 1. Note that the symbols K (p) under consideration are not analytic
in the left half-complex plane (see denition (1.5)), so the contour of integration in the inverse Laplace transform could not be shifted in order to obtain
some more rapid time decay (see formula (2.4) below). As a consequence,
the solutions of nonlocal equation (1.3) have a potential decay rate such as
1
t , in comparison with the case of purely dierential operator K. For example, it is well-known that solutions of the heat equation on a segment decay
exponentially with respect to time.
Remark 2. By the method of this paper we also can consider more general
nonlinearities of the form |u| u with super critical power > .
We organize our paper as follows. In Section 2 we solve the linear initialboundary value problem corresponding to (1.1) and prove some preliminary
estimates in Lemma 3. Section 3 is devoted to the proof of Theorem 1. Everywhere below by the same letter C we denote dierent positive constants.

2.

Linear problem

We consider the following linear initial-boundary value problem

ut + Ku = f (x, t), t > 0, x (0, a) ,
(2.1)
u(x, 0) = u0 (x), x (0, a) ,
where the pseudodierential operator Ku on a segment [0, a] is dened in (1.2).
We have for the Laplace transform of operator Ku, p
/ (, 0)
 i (qp)a
e
1
1
epx Kudx =
K(q)
u(q, t)dq
2i i
qp
0

eqa
epa
K(q)
u (q, t)dq + K(p)
u(p, t),
2i q p

where the contour was dened by the formula (1.7).


SCHRODINGER
TYPE EQUATIONS

81

To derive an integral representation for solutions of the problem (2.1) we

suppose that there exists a solution u(x, t) of problem (2.1), which we prolonged by zero outside the interval (0, a) , that is
(2.2)

u(x, t) = 0 for all x

/ [0, a] .

Applying the Laplace transformation with respect to x to the problem (2.1)

we get

pa 
eqa
K(q)
u(q, t)dq + K(p)
u (p, t) = f(p, t), t > 0,
u
t + e2i qp
u
(p, 0) = u
0 (p).
Integrating with respect to time t we obtain for the Laplace transform u
(p, t)
 t
(2.3)
eK(p)(t ) f1 (p, )d ,
u
(p, t) = eK(p)t u0 (p) +
0

where
1
f1 (p, t) = f(p, t) +
2i

e(qp)a
K(q)
u (q, )dq.
qp

Note that by virtue of (2.2) the function u

(p, t) is analytic for all complex p
and the condition 0 < < 1 implies the condition (1.9) .
Taking the inverse Laplace transform of (2.3) with respect to space variable
we get
 i+
1
epxK(p)t u
0 (p)dp
u(x, t) =
2i i+
 t
 i+
1
px
 )d
dpe
eK(p)(t ) f(p,
+
2i i+
0
 i+
 t
1
px
dpe
d eK(p)(t )
+
2i i+
0
 i (qp)a
e
1

(2.4)
K(q)
u(q, )dq
2i i q p
I1 + I2 + I3 ,
where > 0.
Now we prove that the last integral in (2.4) is equal to zero for all x [0, a] .
Indeed, since Re K(p) > 0 for all Re p > 0 by the Cauchy Theorem we get for
Re q = 0, x [0, a] , (0, t)
 i+
1
dpep(xa) eK(p)(t )
dp = 0.
qp
i+

82

E. KAIKINA, P. NAUMKIN AND I. SANCHEZ-SU

AREZ

Therefore changing the order of integration we obtain for x [0, a] (we can
change the order of integration since all integrals converge absolutely)
 t  i
1
I3 =
d
eqa K(q)
u(q, )dq
2i 0
i
 i+
1
1
dpep(xa) eK(p)(t )
dp

2i i+
qp
(2.5)
= 0.
Since u(x, t) = 0 for all x > a and for x < 0 substituting the Laplace trans ) into (2.4) and using (2.5), we obtain the following
forms u
0 (p) and f(p,
integral representation for solutions u(x, t) of the problem (2.1)
 a
 t  a
u(x, t) =
(2.6)
u0 (y)G(x, y, t)dy +
d
f (y, )G(x, y, t )d ,
0

where Green function G(x, y, t) is dened by

 i
1
ep(xy)K(p)t dp.
G(x, y, t) = (1 (x a))
2i i
Thus in supposition that there exist solutions of problem (2.1) we get the
integral representation (2.6) for these solutions.
Now we prove that the function u(x, t) dened by formula (2.6) gives us a
solution to problem (2.1). Indeed, takin the Laplace transformation of (2.6)
we get for Re p = 0
 a

px
(2.7) u
dxe
u0 (y)G(x, y, t)dy
(p, t) =
0
0
 t  a

dxepx
d
f (y, )G(x, y, t )dy
+
0
0
0
 a
 a
 i
1
px
=
dxe
u0 (y)
eq(xy)K(q)t dqdy
2i i
0
0

 t  a
 i
1
q(xy)K(q)(t )
d
f (y, )
e
dqd .
+
2i i
0
0
By analyticity of the symbol K(p) in the complex half-plane Re p > 0 and
< 1 we have for all Re p = 0 and y [0, a)
 i
e(qp)a 1
1
eK(q)tqy
dq
2i i
qp

 i
1
1 pa i K(q)t eq(ay)
1
e
eK(q)tqy
=
e
dq
dq
2i
qp
2i i
qp
i

1 pa
1
e
dq.
eK(q)t+q(ay)
= eK(p)tpy +
2i
qp


SCHRODINGER
TYPE EQUATIONS

83

So changing the order of integration in formula (2.7) and calculating the integrals with respect to x we get
 i
 a
1
e(qp)a 1
u
(p, t) =
u0 (y)dy
eK(q)tqy
dq
2i 0
qp
i
 i
 t  a
e(qp)a 1
1
d
f (y, )dy
eqyK(q)(t )
+
dq
2i 0
qp
0
i

 a
 t
 a
K(p)t
py
K(p)
py
e u0 (y)dy +
e
d
e f (y, )dy
= e
0
0
0


1 pa a
1
+
u0 (y)dy eK(q)t+q(ay)
e
dq
2i
q

p
0

 a


1
1 pa t
d
f (y, )dy eK(q)(t )+q(ay)
(2.8)
e
dq.
+
2i
qp
0
0

Substituting (2.8) into the denition of the pseudodierential operator Ku (see

formula (1.2)) we obtain for all x (0, a)
 i
 a
1
u0 (y)dy
ep(xy) eK(p)t K(p)dp
Ku =
2i i
0
 t  a
 i
1
d
f (y, )dy
ep(xy) eK(p)(t ) K(p)dp
+
2i
0
0
i
 a

 +i
K(p)
1
1
dp
u0 (y)dy
eK(q)t+q(ay) dq
ep(xa)
+
2i
2i
q
p
0
i

 t  a

1
+
d
f (y, )dy
eK(q)(t )+q(ay) dq
2i
0
0

 +i
K(p)
1

ep(xa)
dp,
2i i
qp
whence using the fact that


+i

ep(xa)

K(p)
dp = 0
qp

for all x (0, a) and q we obtain via formula (2.6)


 a
 i
1

u0 (y)dy
ep(xy) eK(p)t dp
Ku =

t 0
2i i
 t  a
 i
1

d
f (y, )dy
ep(xy) eK(p)(t ) dp

t 0
2i
0
i

 a
 i
1
p(xy)
f (y, )dy
e
dp = ut (x, t) + f (x, t).
+
2i i
0

E. KAIKINA, P. NAUMKIN AND I. SANCHEZ-SU

AREZ

84

So that the function u (x, t) given by (2.6) satises equation ut (x, t) + Ku =

f (x, t). Also it is easy to see that the initial condition is fullled
 a
u0 (y)G(x y, 0)dy
u(x, 0) = (1 (x a))
0
 +
= (1 (x a))
u0 (y)(x y)dy = u0 (x).
0

Thus there exists a solution to the problem (2.1), which is given by formula
(2.6). The uniqueness follows from the fact that all solutions have representation (2.6).
Note that by the Cauchy Theorem the Green function G(x, y, t) = 0 for all
x < y and t < 0, therefore formula (2.6) can be written as
 t  x
 x
(2.9)
u0 (y)G(x, y, t)dy +
d
f (y, )G(x, y, t )d ,
u(x, t) =
0

where
(2.10)

1
G(x, y, t) = (1 (x a))
2i

ep(xy)K(p)t dp.

Thus we have proved the following result.

Theorem
2. Let the initial data u0 L1 (0, a) and a source f (x, t)

1
Lloc 0, ; L1 (0, a) . Then there exists a unique solution u(x, t) of the initialboundary value problem (2.1), which has representation (2.9).
Remark 3. By the representation (2.9) we see that limx+0 u (x, t) = 0 for
all t > 0. We emphasize however that we do not need to put the boundary
condition u (0, t) = 0 into the problem (2.1) for its well-posedness, since this
is an inherent property of solutions. For example if we put the boundary
condition u (0, t) = 1 into the problem (2.1), then there does not exist any
solution.
Remark 4. Note that the Green function G (x, y, t) is similar to that for the
cases of a half-line and the full line. It can be obtained from the full line Green
function via multiplication by the step function (1 (x a)) .
1
2i

In the next lemma we estimate the kernel G(x, y, t). Denote () =

 i z +z
dz.
i e

Lemma 3. We have the asymptotics for large time

 
 1+ 
1
x

(2.11)
O
t ,
+
y
G(x, y, t) = (1 (x a)) t
1

t
for y (0, x) .


SCHRODINGER
TYPE EQUATIONS

85

Proof. Changing the variable of integration p t = q we get

 i
1
ep(xy)K(p)tdp
G(x, y, t) = (1 (x a))
2i i

 i
1
1

q +qx
e
dq + R(
x, y ) ,
= t (1 (x a))
2i
i
1

where x
= xt , y = yt , and

R(
x, y ) =

eq

+qx

(eqy 1)dq.



Using estimates eqy 1 < C |q
y | and Re q > 0 for Re q = 0 we easily get
 i

 1+ 

1
1 

Req

t |R(
x, y )| Ct 
e
|q
y | dq = y O t .
i

Lemma 3 is proved.
Denote G (t) =
(2.10).

x
0

G (x, y, t) (y) dy, where G (x, t) is dened in formula

Lemma 4. Suppose that the function L (0, a). Then the estimate
1

G (t)  C(1 + t) 
is valid for all t > 0.



(x) = L1 ep . Note that the function G
(x) is a smooth
Proof. Denote G
(x) C (R+ ) and decays at innity so that
function G




sup x
1+ G
(2.12)
(x) C,
xR+

for all 0 < < 1. Indeed, since Re p > 0 for Re p = 0 we have



  1  i

 

 
pxp
e
dp C ep L1 C.
G (x) = 
2i i
For all x 1, integrating by parts and changing the contour of integration we
get


 

 e i2 i

  1  i





 
pxp
pxp
1
e
dp = 
e
p
dp
G (x) = 
i
2i i

 2ix e 2 +i


 e i2 i



1 
p 1+
e
p
dp Cx1 ,
Cx
i

 e 2 +i


E. KAIKINA, P. NAUMKIN AND I. SANCHEZ-SU

AREZ

86

where > 0, 0 < < 1. Therefore estimate (2.12) is true. By virtue of (2.12)
we nd


  1 


1 
 


t () 
t G
() C  x
1  C,
 = G
L1

L1

L1x

hence by the Young inequality and using estimate 1 < C  we obtain
 1  1 

t () 
G (t)  C t G
 1  C 
L

and
G (t) 

 1  1 

t () 
C t G

Ct

1 Ct

1



for all t > 0. Whence the estimate of the lemma follows. Lemma 4 is proved.

3.

Global existence

We prove Theorem 1. We consider the linearized version of problem (1.1)

ut + Ku = i |v|2 v, t > 0, x (0, a) ,
(3.1)
u(x, 0) = u0 (x), x (0, a) .
We suppose that
u0  < 1
and v X , where 1 > 0 is small enough, = 100C1 with the constant C
from (2.12) and
X = {v X, vX < } ,


X=

v C([0, +) ; L (0, a)), vX = sup t

v (t)
t>0

We have from (2.9)


(3.2)

u(x, t) = G (t) u0 i

where


G (t) ( ) =

G (t ) |v( )|2 v( )d ,

G (x, y, t) (y, ) dy
0


< .


SCHRODINGER
TYPE EQUATIONS

87

and
G(x, y, t) = (1 (x a))
Via estimate

1
2i

ep(xy)p t dp.



3

 2
3
|v| v(t) v(t) C3 (1 + t)
1

applying L (0, a) norm to formula (3.2) and using results of Lemma (4) we
get
 t



u(t) C G (t) u0  + C
G (t ) |v( )|2 v( ) d

C (1 + t) u0 
 t
 t 



2
1




+C
d |v|2 v( ) (t ) d + C
d |v|2 v( ) d
1

1 (1 + t)
(3.3)



+ C
0

t
2

t
2

(t )

d +

t
t
2

(1 + t) .

We introduce the distance in X

1

d(f, g) = sup(1 + t) f (t) g (t) .

t>0

Then in the same way as in the proof of (3.3) we have

(3.4)

d(u1 , u2 ) = d(Mv1 , Mv2 )

1
d(v1 , v2 ),
2

where u1 and u2 are solutions of the problems

t uj + Kuj = i |vj |2 vj , t > 0, x (0, a) ,
uj (x, 0) = u0 (x), x (0, a) .
Estimates (3.3) and (3.4) show that M is a contraction mapping from X into
itself. Therefore there exist a unique solution u(x, t) X satisfying estimate
uX < . This completes the proof of the rst part of Theorem 1.
Now using estimate (3.3) we prove that the solution has the following
asymptotics
 
 1+ 
1
x

+ O t
u(x, t) = (1 (x a))A (x) t
1
t

88

E. KAIKINA, P. NAUMKIN AND I. SANCHEZ-SU

AREZ

for t + uniformly with respect to x, where (0, 1 )

 i

1
ez +zxdz
(x) =
2i i
and


A (x) =


u0 (y)dy i

d
0

|u(y, )|2 u(y, )dy

is a bounded function. Indeed, in view of asymptotics (2.11) of Lemma 3 we

have
 
1
x

(3.5)
+ R(x, t),
u(x, t) = (1 (x a))A (x) t
1
t
where
 t  a


1+


1+

|R(x, t)| Ct () u0 () + Ct

d
y |u|3 dy
1
0
0
    +  a
1 
x 

d
|u|3 dy
+t 
1

t
0
t
 t  a
d
|u(y, )|3 |G(x, y, t ) G(x, y, t)| dy.
+
0

We have



|Gt (x, y, t)| C 

Re |p| t



1
|p| dp Ct1 .

Therefore we obtain
1

|G(x, y, t ) G(x, y, t)| Ct1

and

|u(y, )|3 |G(x, y, t ) G(x, y, t)| dy

d
0

Ct

0
1
1

t
0

(1 + ) d Ct1

for all t 1. Hence by virtue of (3.3) we have

|R(x, t)| Ct

1+

+t
Ct


1+

u0  + Ct
(1 + ) d
0
 
  +
1 
3
1

(1 + ) d + Ct1
 xt 

1+

+ Ct
1+

t
1
3

+1

+ Ct1

Ct if min (, 1) ,
1
Ct1 if 1.


SCHRODINGER
TYPE EQUATIONS

89

Theorem 1 is proved.

Acknowledgement
We are grateful to an unknown referee for many useful suggestions and comments. This work is partially supported by CONACYT and COSNET.

References
[1] H. Aikawa and N. Hayashi, Holomorphic solutions of semilinear heat equations,
Complex Variables, 16 (1991), pp. 115 - 125.
[2] N. Hayashi and E.I. Kaikina, Local existence of solutions to the Cauchy problem
for nonlinear Schr
odinger equations, SUT Journal of Mathematics, 34, No. 2
(1998), pp. 111-137.
[3] N. Hayashi, E.I. Kaikina and R. Manzo, Local and global existence of solutions
to the nonlocal Whitham equation on half-line, Nonlinear Analisys, 48 (2002),
pp. 53-75.
[4] N. Hayashi, E.I. Kaikina and P.I. Naumkin, Large time behavior of solutions to
the dissipative nonlinear Schr
odinger equation, Proceedings of the Royal Soc.
Edingburgh, 130-A (2000), pp. 1029-1043.
[5] N. Hayashi, E.I. Kaikina and F.R. Paredez, Boundary-value problem for the
Korteweg-de Vries-Burgers type equation, Nonlinear Dierential Equations and
Applications, 8 (2002), pp. 439-463.
[6] N. Hayashi, E.I. Kaikina and I.A. Shishmarev, Asymptotics of Solutions to the
Boundary-Value Problem for the Korteweg-de Vries-Burgers equation on a HalfLine, Journal of Mathematical Analysis and Applications, 265 (2002), No. 2,
pp. 343-370.
[7] E.I. Kaikina, The Cauchy problem for the nonlocal Schrodinger equation. I, II
Matemat. Modelirovanie, 3 (11) (1991), pp. 83-95, 96-108.
[8] E.I. Kaikina, P.I. Naumkin and I.A. Shishmarev, Asymptotic behavior for large
time of solutions to the nonlinear nonlocal Schr
odinger equation on half-line,
SUT Journal of Mathematics, 35 (1) (1999), pp. 37-79.
[9] P.I. Naumkin and I.A. Shishmarev, Nonlinear Nonlocal Equations in the Theory
of Waves, Transl. of Math. Monographs, AMS, Providence, R.I., 133, 1994.
[10] I. A. Shishmarev, M. Tsutsumi and E. I. Kaikina, Asymptotics in time for the
nonlinear nonlocal Schr
odinger equations with a source, J. Math. Soc. Japan, 51
(1999), pp. 463-484.

90

E. KAIKINA, P. NAUMKIN AND I. SANCHEZ-SU

AREZ

Elena I. Kaikina
Departamento de Ciencias B
asicas
Instituto Tecnol
ogico de Morelia

CP 58120, Morelia, Michoac

an, MEXICO
E-mail : ekaikina@matmor.unam.mx
Pavel I. Naumkin
Instituto de Matem
aticas
UNAM Campus Morelia, AP 61-3 (Xangari)
Morelia CP 58089, Michoac
an, MEXICO
E-mail : pavelni@matmor.unam.mx
Isahi S
anchez-Su
arez
Instituto Tecnol
ogico de Morelia

CP 58120, Morelia, Michoac

an, MEXICO
E-mail : isahi ss@latinmail.com