Professional Documents
Culture Documents
a r t i c l e
i n f o
a b s t r a c t
Article history:
Received 29 July 2014
Available online 11 February 2015
Submitted by Y. Yamada
Keywords:
Reactiondiusion equation
Global attractor
Measures of non-compactness
Distribution derivatives terms
u
t
u + u V (x)g(u) + f (u) = Di hi + h
in Rn R+ ,
in Rn ,
u(x, 0) = u0 (x)
in the whole space, with weighted terms and some distribution derivatives in
inhomogeneous terms. Using the measure of non-compactness method, we prove
the existence of global attractors in proper spaces.
2015 Elsevier Inc. All rights reserved.
1. Introduction
We are mainly concerned with the long-time behavior of solutions for the following reactiondiusion
equations in unbounded domains
u
t
u + u V (x)g(u) + f (u) = Di hi + h,
in Rn R+ ,
in Rn ,
u(x, 0) = u0 (x),
(1.1)
Rn
* Corresponding author.
E-mail addresses: zhangjin299@gmail.com (J. Zhang), ckzhong@nju.edu.cn (C.K. Zhong).
http://dx.doi.org/10.1016/j.jmaa.2015.02.024
0022-247X/ 2015 Elsevier Inc. All rights reserved.
(1.2)
366
(e.g. V (x) =
1
(1+|x|2 )q
n
2 ).
(1.3)
(1.4)
[0, C0 ],
(1.5)
367
Denition 2.1. Let M be a metric space and A be a bounded subset of M . The measure of noncompactness (A) is dened by
(A) = inf{ > 0 | A admits a nite cover by sets of diameter }.
The properties of the measure of noncompactness (A) are provided in the following lemmas:
Lemma 2.1. Let M be a complete metric space and be the measure of noncompactness.
(i)
(ii)
(iii)
(iv)
(v)
Lemma 2.2. Let M be an innite dimensional Banach space and B() be a ball of radius , then (B()) = 2.
Lemma 2.3. Let X be an innite dimensional Banach space with the following decomposition:
X = X1 X2 ,
dim X1 < .
S(t)B) .
tt1
Lemma 2.4. Let {S(t)}t0 be a C0 semigroup in a complete metric space M . Then S(t) has a global attractor A in M if and only if
(1) there is a bounded absorbing set B M , and,
(2) {S(t)}t0 is -limit compact.
The following lemma shows the existence of a unique weak solution of Eq. (1.1).
Lemma 2.5. Assume that (1.2)(1.5) hold and hi , h L2 (Rn ). Then for any u0 L2 (Rn ) and T > 0, there
exists a unique weak solution u(x, t) of Eq. (1.1) satisfying
u C([0, T ], L2 (Rn )) L2 (0, T, H 1 (Rn )) Lp (0, T, Lp (Rn )).
Furthermore, u0 u(t) is continuous on L2 (Rn ).
368
Proof. We only prove the uniqueness and continuous dependence, while the existence of solution can be
obtained by similar arguments as in [14].
Let u(t) and v(t) be both solutions to Eq. (1.1) with the initial values u0 , v0 L2 (Rn ). Thus, w(t) =
u(t) v(t) satises
w
t
w(0) = u0 v0 .
Multiplying by w and integrating on Rn , application of the condition (1.5) yields
1 d
|w|2 + |w|22 + |w|22 =
2 dt 2
[V (x) (g(u) g(v)) (f (u) f (v))] (u v) dx
Rn
=
Rn
u
t t1 .
for all
V (x)g(u)udx
Rn
(Di hi + h)udx .
f (u)udx +
Rn
Rn
(3.1)
369
Based on the conditions (1.3)(1.5), the following three estimates are valid,
(3.2)
Rn
V (x)g(u)udx 4
Rn
V (x)|u|r dx + k2
Rn
pr
[V (x)]
Rn
V (x)dx
Rn
(p r)4
p1
p
pr
dx
pr
|u|p dx + k2
Rn
[V (x)] pr dx +
r1 p
|u|p + k2
p
V (x)dx
Rn
V (x)dx ,
(3.3)
1
1
1
(1 ) 2
|u|22 + |hi |22 +
|h|22 +
|u|2 .
2
2
2(1 )
2
(3.4)
Rn
Rn
(Di hi + h)udx |u|2 |hi |2 + |h|2 |u|2
Rn
Rn
C(|V |1 , |V | , |h |, |h|) ,
i
which implies
1 d 2 1 2
|u| +
|u|2 C .
2 dt 2
2
Applying Gronwalls lemma, we have
|u(t)|22 |u0 |22 e(1)t +
2C
(1 e(1)t ) .
1
(1 )|u0 |2
1
ln
1
2C
4C
:= C12 .
1
370
S(t)u0 =
(R S(t)u0 + (1 R )S(t)u0 )
tt0 u0 B
tt0 u0 B
tt0 u0 B
R S(t)u0 +
(1 R )S(t)u0
tt0 u0 B
R S(t)u0 +
tt0 u0 B
(1 R )S(t)u0 .
(4.1)
tt0 u0 B
Therefore, in order to prove S(t) is -limit compact, we need to show both the measure of noncompactness
of the interior and exterior are small enough.
4.1. Estimate on interior
For each xed u0 L2 (Rn ) and R > 0, we set
v(t) = R S(t)u0 = R u(t) ,
so v(t) L2 (2R ), where 2R = {x Rn : |x| < 2R}. Pick {wj }jN as the complete orthonormal basis of
L2 (2R ), such that
wj = j wj ,
j = 1, 2, . . . ;
0 < 1 < 2 j ,
j as j ;
(4.2)
(wj , wk ) = jk .
Let H1m = span{w1 , , wm } and H2m = (H1m ) , then, by the orthogonal projector Pm : L2 (2R ) H1m ,
each v L2 (2R ) can be decomposed as
v = Pm v + (I Pm )v := v1m + v2m ,
for any u0 B.
371
for any t t1 ,
u0 B ,
|v(t)|22 C1 ,
for any t t1 ,
u0 B .
2
Multiplying R
u to Eq. (1.1) and integrating it, we have
1 d
2 dt
2
R
|u|2 dx
Rn
2
R
|u|2 dx
Rn
2
R
2
R
uudx
Rn
[V (x)g(u)u f (u)u] dx +
Rn
2
R
(Di hi + h)udx .
(4.3)
Rn
Note that the second term in the left hand side can be written as a sum of two parts,
4x
2
2
R
uudx = R
|u|2 dx +
R uudx,
R2
Rn
Rn
(4.4)
Rn
4 2
4x
| ||u||R u|dx
R2 R uudx R
n
R
Rn
8 2
8 2
|u|2 |R u|2
|u| |R u|dx
R
R
Rn
4 2
4 2
|u|22 +
|R u|22 .
R
R
(4.5)
As a consequence of Lemma 3.1, since the semigroup {S(t)}t0 has a bounded absorbing set in L2 (Rn ), so
we can choose the constants t1 and R0 large enough, such that
1
4 2
< ,
R
4
4 2
|u|22 < and
R
(4.6)
Putting the estimates (4.5) and (4.6) into (4.4), when t > t1 and R > R0 , we have
2
R
uudx
Rn
2
R
|u|2 dx =
Rn
3
|R u|22 .
4
Similarly,
2
R
uDi hi dx =
Rn
2
hi Di R
u dx
Rn
=
Rn
2 i
R
h Di udx
Rn
4xi
R hi udx ,
R2
(4.7)
372
and when t and R are large enough (also assume t > t1 , R > R0 ),
4xi
4 2 i2 4 2
i
|h |2 +
|R u|22 < ,
h udx
2 R
R
R
n R
R
thus
2
i
2 i
R uDi h dx < R h Di udx +
n
Rn
1
1
|R hi |22 + |R u|22 + .
2
2
(4.8)
Utilizing the similar arguments as in (3.2)(3.4), the following three estimates are also valid,
2
R
f (u)udx |R u|22 1
2
|u|p dx ,
R
Rn
2
R
V (x)g(u)udx
Rn
2
hudx
R
(p r)4
p1
1
2(1 )
(4.9)
p
[V (x)] pr dx +
r1
p
2R
2
R
|u|p dx + k2
Rn
V (x)dx,
2R
(1 )
|R u|22 .
2
|h|2 dx +
(4.11)
2R
2
R
|u|2 dx +
Rn
1
4
2
R
|u|2 dx C(|V |1 , |V | , |h|, |hi |) .
Rn
Rn
Rn
|u|2 dx + 2
Rn
8C12 + 2
Rn
2
R
|u|2 dx
Rn
2
R
|u|2 dx
Rn
implies
1 d
2 dt
2
R
|u|2 dx +
Rn
1
8
|(R u)|2 dx C + C12 ,
Rn
i.e.,
1 d
2 dt
1
|v| dx +
8
|v|2 dx C + C12 .
2R
2R
(4.10)
1
1
|v(t + r)|22 +
2
8
t+r
373
1
|v(s)|2 dxds (C + C12 )r + |v(t)|22
2
t 2R
(C + C12 )r +
1 2
C ,
2 1
which implies
t+r
|v(t +
r)|22
0 r + C
1 .
(vv)dxds 8(C + C12 )r + 4 C12 := C
+
t 2R
r)|22
+ m
t+r
0 r + C
1 .
|v2m (s)|22 ds C
t
Step 2. Choose constants M0 > 0 and T0 > 0 large enough such that T0 C1 and m
C0
We claim that, if t t1 and u0 B, then there exists constant r0 [0, T0 ], such that
|v2m (t + r0 )|22 <
0
4C
for m M0 .
.
2
|v2m (t + r)|22 .
2
Referring to step 1, the estimate
|v2m (t +
T0 )|22
0 T0 + C
1 m
C
t
+T0
|v2m (s)|22 ds
t
1
0 m T0 + C
C
2
0
leads to the contradiction.
Step 3. Under the conclusion in step 2, we now claim that, there exists > 0 such that for any r [0, ],
we have
|v2m (t + r0 + r)|22 < .
In fact, choosing small enough, when t + r0 t1 , the claim can be proved by the uniformly continuity
of v(t) (the proof of uniformly continuity can be found in [18]),
|v2m (t + r0 + r)|2 |v2m (t + r0 )|2 + |v2m (t + r0 + r) v2m (t + r0 )|2
2
+
< .
2
32
374
0 +
C
1
C
8
, when m M1 , we
|v2m (t + r)|22 .
Assume, on the contrary, if there exists r T0 , u0 B such that |v2m (t + r)|22 > , then the step 2 gives the
existence of the following two constants
,
r := sup r [0, r]| |v2m (t + r)|22 =
2
r := sup r [r , r]| |v2m (t + r)|22 = .
Referring to the proof of step 3, we have
r r ,
this implies
0 (r r ) + C
1 m
= |v2m (t + r )|22 C
0 m
C
2
t+r
|v2m (s)|22 ds
t+r
1
(r r ) + C
1
C
1 0 .
(r r ) + C
8
This is a contradiction. 2
Corollary 4.1. For any bounded set B L2 (Rn ) and constant > 0, there exists a constant t2 > 0, such
that
R S(t)u0 < .
tt2 u0 B
Proof. By the above lemma and Lemma 2.3, we can obtain the result immediately. 2
4.2. Estimate on exterior
Lemma 4.2. Assume that the conditions (1.3)(1.5) hold. For arbitrary > 0 and bounded subset B
L2 (Rn ), there exist t3 > 0, R1 > 0, such that if t t3 and R R1 , the solution of Eq. (1.1) u(t) satises
|u(t)|2 dx < , for any u0 B.
|x|R
Rn
Rn
(1 R )2 [V (x)g(u)u f (u)u] dx +
=
Rn
Rn
(1 R )2 (Di hi + h)udx .
Rn
(4.12)
375
Referring to Lemma 3.1, the semigroup {S(t)}t0 has a bounded absorbing set in L2 (Rn ), we can utilize the
similar arguments as in previous Lemma 4.1 to prove the existence of the constants t1 (B) > 0 and R1 > 0,
which guarantee the validity of the following estimates, provided t > t1 and R > R1 ,
3
(1 R ) uudx
4
(1 R )2 |u|2 dx ,
Rn
(1 R )2 uDi hi dx
Rn
Rn
1
2
|x|R
1
|hi |2 dx + |(1 R )u|22 + ,
2
(p r)4
p1
(1 R )2 V (x)g(u)udx
Rn
(1 R )2 hudx
Rn
1
2(1 )
(1 R )2 |u|p dx ,
[V (x)] pr dx +
|x|R
|h|2 dx +
|x|R
r1
p
(1 R )2 |u|p dx + k2
Rn
V (x)dx ,
|x|R
(1 )
|(1 R )u|22 .
2
Since V , h and hi are given, we can choose a constant R2 > R1 , such that when R > R2 ,
1
2
|hi |2 dx +
|x|R
(p r)4
p1
[V (x)] pr dx + k2
|x|R
V (x)dx +
|x|R
1
2(1 )
|h|2 dx < .
|x|R
1
(1 R ) |u| dx +
4
2
Rn
r
+ 1 (1 )
p
1
(1 R ) |u| dx +
2
2
Rn
(1 R )2 |u|2 dx
Rn
(1 R )2 |u|p dx < 3 ,
moreover,
1 d
2 dt
(1 R )2 |u|2 dx +
Rn
1
2
(1 R )2 |u|2 dx < 3 .
Rn
Finally, applying Gronwalls lemma again, we deduce that, there exist t3 > t1 , such that when t > t3 and
R > R2 ,
(1 R )2 |u(t)|2 dx <
Rn
7
,
1
and consequently,
|u(t)|2 dx <
|x|2R
7
.
1
376
(1 R )S(t)u0 < .
tt3 u0 B
After the estimates on both exterior and interior, we complete the proof that S(t) is -limit compact,
combined with the conclusion in Lemma 3.1, the proof of the main result in Theorem 1.1 is accomplished
by Lemma 2.4.
Acknowledgments
We would like to express our sincere thanks to the anonymous referee for his/her valuable comments
and suggestions which led to an important improvement of our original manuscript. This work was partly
supported by NSFC Grant (No. 11031003).
References
[1] F. Abergel, Existence and nite dimensionality of the global attractor for evolution equations on unbounded domains,
J. Dierential Equations 83 (1) (1990) 85108.
[2] J. Arrieta, J. Cholewa, T. Dlotko, A. Rodrguez-Bernal, Asymptotic behavior and attractors for reaction diusion equations
in unbounded domains, Nonlinear Anal. 56 (4) (2004) 515554.
[3] A.V. Babin, B. Nicolaenko, Exponential attractors of reactiondiusion systems in an unbounded domain, J. Dynam.
Dierential Equations 7 (1995) 567590.
[4] A.V. Babin, M.I. Vishik, Attractors of partial dierential evolution equations in an unbounded domain, Proc. Roy. Soc.
Edinburgh Sect. A 116 (34) (1990) 221243.
[5] A.V. Babin, M.I. Vishik, Attractor of Evolution Equations, North-Holland Publishing Co., Amsterdam, 1992.
[6] P.W. Bates, K. Lu, B.X. Wang, Random attractors for stochastic reactiondiusion equations on unbounded domains,
J. Dierential Equations 246 (2009) 845869.
[7] A.N. Carvalho, J.W. Cholewa, T. Dlotko, Global attractors for problems with monotone operators, Boll. Unione Mat. Ital.
Sez. B Artic. Ric. Mat. (8) 2 (1999) 693706.
[8] K. Deimling, Nonlinear Functional Analysis, Springer-Verlag, Berlin, 1995.
[9] M. Efendiev, S. Zelik, Upper and lower bounds for the Kolmogorov entropy of the attractor for the RDE in an unbounded
domain, J. Dynam. Dierential Equations 14 (2) (2002) 369403.
[10] E. Feireisl, Ph. Laurencot, F. Simondon, Global attractors for degenerate parabolic equations on unbounded domains,
J. Dierential Equations 129 (1996) 239261.
[11] Q.F. Ma, S.H. Wang, C.K. Zhong, Necessary and sucient conditions for the existence of global attractors for semigroups
and applications, Indiana Univ. Math. J. 51 (6) (2002) 15411559.
[12] S. Merino, On the existence of the compact global attractor for semilinear reactiondiusion systems on Rn , J. Dierential
Equations 132 (1996) 87106.
[13] A. Miranville, S. Zelik, Attractors for dissipative partial dierential equations in bounded and unbounded domains,
in: Handbook of Dierential Equations: Evolutionary Equations, vol. IV, Elsevier, North-Holland, Amsterdam, 2008,
pp. 103200.
[14] J.C. Robinson, Innite-Dimensional Dynamical Systems: An Introduction to Dissipative Parabolic PDEs and the Theory
of Global Attractors, Cambridge University Press, 2001.
[15] R. Temam, Innite-Dimensional Systems in Mechanics and Physics, Springer-Verlag, New York, 1997.
[16] B.X. Wang, Attractors for reaction diusion equations in unbounded domains, Phys. D 128 (1999) 4152.
[17] S. Zelik, The attractor for a nonlinear reactiondiusion system in the unbounded domain and Kolmogorovs -entropy,
Math. Nachr. 232 (1) (2001) 129179.
[18] C.K. Zhong, C.Y. Sun, M.F. Niu, On the existence of global attractor for a class of innite dimensional dissipative nonlinear
dynamical systems, Chin. Ann. Math. Ser. B 26 (3) (2005) 393400.
[19] C.K. Zhong, M.H. Yang, C.Y. Sun, The existence of global attractors for the norm-to-weak continuous semigroup and
application to the nonlinear reactiondiusion equations, J. Dierential Equations 223 (2) (2006) 367399.