Báo cáo hoa học: " Research Article Uniform Attractor for the Partly Dissipative Nonautonomous Lattice Systems" pdf

21 234 0
Báo cáo hoa học: " Research Article Uniform Attractor for the Partly Dissipative Nonautonomous Lattice Systems" pdf

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

Hindawi Publishing Corporation Advances in Difference Equations Volume 2009, Article ID 916316, 21 pages doi:10.1155/2009/916316 Research Article Uniform Attractor for the Partly Dissipative Nonautonomous Lattice Systems Xiaojun Li and Haishen Lv Department of Applied Mathematics, Hohai University, Nanjing, Jiangsu 210098, China Correspondence should be addressed to Xiaojun Li, lixjun05@mailsvr.hhu.edu.cn Received 25 March 2009; Accepted 17 June 2009 Recommended by Toka Diagana The existence of uniform attractor in l 2 × l 2 is proved for the partly dissipative nonautonomous lattice systems with a new class of external terms belonging to L 2 loc R, l 2 , which are locally asymptotic smallness and translation bounded but not translation compact in L 2 loc R, l 2 .Itis also showed that the family of processes corresponding to nonautonomous lattice systems with external terms belonging to weak topological space possesses uniform attractor, which is identified with the original one. The upper semicontinuity of uniform attractor is also studied. Copyright q 2009 X. Li and H. Lv. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. 1. Introduction This paper is concerned with the long-time behavior of the following non-autonomous lattice systems: ˙u i  ν i  Au  i  λ i u i  f i  u i ,  Bu  i   α i v i  k i  t  ,i∈ Z,t>τ, 1.1 ˙v i  δ i v i − β i u i  g i  t  ,i∈ Z,t>τ, 1.2 with initial conditions u i  τ   u i,τ ,v i  τ   v i,τ ,i∈ Z,τ∈ R, 1.3 where Z is the integer lattice; ν i ,λ i ,δ i > 0,α i β i > 0,f i is a nonlinear function satisfying f i ∈ C 1 R × R, R,i∈ Z; A is a positive self-adjoint linear operator; ktk i t i∈Z ,gt g i t i∈Z belong to certain metric space, which will be given i n the following. 2 Advances in Difference Equations Lattice dynamical systems occur in a wide variety of applications, where the spatial structure has a discrete character, for example, chemical reaction theory, electrical engineering, material science, laser, cellular neural networks with applications to image processing and pattern recognition; see 1–4. Thus, a great interest in the study of infinite lattice systems has been raising. Lattice differential equations can be considered as a spatial or temporal discrete analogue of corresponding partial differential equations on unbounded domains. It is well known that the long-time behavior of solutions of partial differential equations on unbounded domains raises some difficulty, such as well-posedness and lack of compactness of Sobolev embeddings for obtaining existence of global attractors. Authors in 5–7 consider the autonomous partial equations on unbounded domain in weighted spaces, using the decaying of weights at infinity to get the compactness of solution semigroup. In 8–10, asymptotic compactness of the solutions is used to obtain existence of global compact attractors for autonomous system on unbounded domain. Authors in 11 consider them in locally uniform space. For non-autonomous partial differential equations on bounded domain, many studies on the existence of uniform attractor have been done, for example 12–14. For lattice dynamical systems, standard theory of ordinary differential equations can be applied to get the well-posedness of it. “Tail ends” estimate method is usually used to get asymptotic compactness of autonomous infinite-dimensional lattice, and by this the existence of global compact attractor is obtained; see 15–17. Authors in 18, 19 also prove that the uniform smallness of solutions of autonomous infinite lattice systems for large space and time variables is sufficient and necessary conditions for asymptotic compactness of it. Recently, “tail ends” method is extended to non-autonomous infinite lattice systems; see 20–22.The traveling wave solutions of lattice differential equations are studied in 23–25.In18, 26, 27, the existence of global attractors of autonomous infinite lattice systems is obtained in weighted spaces, which do not exclude traveling wave. In this paper, we investigate the existence of uniform attractor for non-autonomous lattice systems  1.1–1.3. The external term in 20 is supposed to belong to C b R, l 2  and to be almost periodic function. By Bochner-Amerio criterion, the set of this external term’s translation is precompact in C b R, l 2 . Based on ideas of 28, authors in 14 introduce uniformly ω-limit compactness, and prove that the family of weakly continuous processes with respect to w.r.t. certain symbol space possesses compact uniform attractors if the process has a bounded uniform absorbing set and is uniformly ω-limit compact. Motivated by this, we will prove that the process corresponding to problem 1.1–1.3 with external terms being locally asymptotic smallness see Definition 4.5 possesses a compact uniform attractor in l 2 × l 2 , which coincides with uniform attractor of the family of processes with external terms belonging to weak closure of translation set of locally asymptotic smallness function in L 2 loc R, l 2 . We also show that locally asymptotic functions are translation bounded in L 2 loc R, l 2 , but not translation compact tr.c. in L 2 loc R, l 2 . Since the locally asymptotic smallness functions are not necessary to be translation compact in C b R, l 2 , compared with 20, the conditions on external terms of 1.1–1.3 can be relaxed in this paper. This paper is organized as follows. In Section 2, we give some preliminaries and present our main result. In Section 3, the existence of a family of processes for 1.1– 1.3 is obtained. We also show that the family of processes possesses a uniformly w.r.t H w k 0  ×H w g 0  absorbing set. In Section 4, we prove the existence of uniform attractor. In Section 5, the upper semicontinuity of uniform attractor will be studied. Advances in Difference Equations 3 2. Main Result In this section, we describe our main result. Denote by l 2 the Hilbert space defined by l 2   u   u i  i∈Z | u i ∈ R,  i∈Z u 2 i < ∞  , 2.1 with the inner product ·, · and norm ·given by  u, v    i∈Z u i v i ,  u  2   u, u    i∈Z u 2 i . 2.2 For l 2 ×l 2 , we endow with the inner and norm as. For ψ j u j ,v j u j i ,v j i  i∈Z ∈ l 2 ×l 2 ,j 1, 2,  ψ 1 ,ψ 2  l 2 ×l 2   u 1 ,u 2  l 2   v 1 ,v 2  l 2   i∈Z  u 1 i u 2 i  v 1 i v 2 i  ,   ψ   2 l 2 ×l 2   ψ, ψ  l 2 ×l 2 , ∀ψ ∈ l 2 × l 2 . 2.3 Denote by L 2 loc R, l 2  the space of function φs,s∈ R with values in l 2 that locally 2-power integrable in the Bochner sense, that is,  t 2 t 1   φs   2 l 2 ds < ∞, ∀  t 1 ,t 2  ⊂ R. 2.4 It is equipped with the local 2-power mean convergence topology. Then, L 2 loc R, l 2  is a metrizable space. Let L 2 b R, l 2  be a space of functions φt from L 2 loc R, l 2  such that   φt   2 L 2 b R,l 2   sup t∈R  t1 t   φs   2 l 2 ds < ∞. 2.5 Denote by L 2,w loc R, l 2  the space L 2 loc R, l 2  endow with the local weak convergence topology. For each sequence u u i  i∈Z , define linear operators on l 2 by  Bu  i  u i1 − u i ,  B ∗ u  i  u i−1 − u i ,i∈ Z,  Au  i  −u i1  2u i − u i−1 ,i∈ Z. 2.6 Then A  BB ∗  B ∗ B,  B ∗ u, v    u, Bv  , ∀u, v ∈ l 2 . 2.7 4 Advances in Difference Equations For convenience, initial value problem 1.1–1.3 can be written as ˙u  ν  Au   λu  f  u, Bu   αv  k  t  ,t>τ, 2.8 ˙v  δv − βu  g  t  ,t>τ, 2.9 with initial conditions u  τ   u τ   u i,τ  i∈Z ,v  τ   v τ   v i,τ  i∈Z ,τ∈ R, 2.10 where u u i  i∈Z ,vv i  i∈Z ,νAuν i Au i  i∈Z ,fu, Bufu i , Bu i  i∈Z ,ktk i t i∈Z , gtg i t i∈Z . In the following, we give some assumption on nonlinear function f i ∈ C 1 R × R, R, and ν i ,λ i ,α i ,β i ,δ i ∈ R: H 1  f i  u i  0,  Bu  i  0   0,f i  u i ,  Bu  i  u i ≥ 0. 2.11 H 2  There exists a positive-value continuous function Q : R  → R  such that sup i∈Z max u i ,Bu i ∈−r,r    f  i,u i  u i ,  Bu  i      sup i∈Z max u i ,Bu i ∈−r,r    f  i,Bu i  u i ,  Bu  i     ≤ Q  r  . 2.12 H 3  There exist positive constants ν 0 ,ν 0 ,λ 0 ,λ 0 ,α 0 ,α 0 ,β 0 ,β 0 ,σ 0 ,σ 0 such that 0 <ν 0  min { ν i , : i ∈ Z } ,ν 0  max { ν i , : i ∈ Z } < ∞, 0 <λ 0  min { λ i , : i ∈ Z } ,λ 0  max { λ i , : i ∈ Z } < ∞, 0 <α 0  min { α i , : i ∈ Z } ,α 0  max { α i , : i ∈ Z } < ∞, 0 <β 0  min  β i , : i ∈ Z  ,β 0  max  β i , : i ∈ Z  < ∞, 0 <δ 0  min { δ i , : i ∈ Z } ,δ 0  max { δ i , : i ∈ Z } < ∞. 2.13 Let the external term ht,gt belong to L 2 b R, l 2 , it follows from the standard theory of ordinary differential equations that there exists a unique local solution u, v ∈ Cτ, t 0 ,l 2 × l 2  for problem 2.8–2.10 if H 1 –H 3  hold. For a fixed external term k 0 t,g 0 t ∈ L 2 b R, l 2  × L 2 b R, l 2 , take the symbol space Σ  {k 0 s  h | h ∈ R}×{g 0 s  h | h ∈ R}  Hk 0  ×Hg 0 , the set contains all translations of k 0 s,g 0 s in L 2 b R, l 2  × L 2 b R, l 2 . Take the Σ w  H w k 0  ×H w g 0  the closure of Σ in L 2,w loc R, l 2  × L 2,w loc R, l 2 . Denote by Th the translation semigroup, Thks,gs  ks  h,gs  h for all k, g ∈ Σ or Σ w , s ∈ R, h ≥ 0. It is evident that {Th} h≥0 is continuous on Σ in the topology of L 2 b R, l 2  and on Σ w in the topology of L 2,w loc R, l 2 , respectively, T  h  Σ  Σ  H  k 0  ×H  g 0  ,T  h  Σ  w   Σ  w  H w  k 0  ×H w  g 0  , ∀h>0. 2.14 Advances in Difference Equations 5 In Section 3, we will show that for every kt,gt ∈H w k 0  ×H w g 0 , and u τ ,v τ  u i,τ ,v i,τ  i∈Z ∈ l 2 × l 2 , τ ∈ R, problem 2.8–2.10 has a unique global solution u, vt u i ,v i  i∈Z t ∈ Cτ,∞,l 2 × l 2 . Thus, there exists a family of processes {U k,g t, τ} from l 2 ×l 2 to l 2 ×l 2 . In order to obtain the uniform attractor of the family of processes, we suppose the external term is locally asymptotic smallness see Definition 4.5.LetE be a Banach space which the processes acting in, for a given symbol space Ξ, the uniform w.r.t. σ ∈ Ξ ω-limit set ω τ,Ξ B of B ⊂ E is defined by ω τ,Ξ  B    t≥τ  σ∈Ξ  s≥t U σ s, τB E . 2.15 The first result of this paper is stated in the following, which will be proved in Section 4. Theorem A. Assume that k 0 s, g 0 s ∈ L 2 loc R, l 2  × L 2 loc R, l 2  be locally asymptotic smallness and H 1 –H 3  hold. Then the process {U k 0 ,g 0  } corresponding to problems 2.8–2.10 with external term k 0 s, g 0 s possesses compact uniform w.r.t.τ ∈ R attractor A 0 in l 2 × l 2 which coincides with uniform (w.r.t. ks, gs ∈H w k 0  ×H w g 0  attractor A H w k 0 ×H w g 0  for the family of processes {U k,g t,τ}, k, g ∈H w k 0  ×H w g 0 , that is, A 0  A H w k 0 ×H w g 0   ω 0,A H w k 0 ×H w g 0   B 0    k,g∈H w k 0 ×H w g 0  K k,g  0  , 2.16 where B 0 is the uniform w.r.t. k, g ∈H w k 0 ×H w g 0  absorbing set in l 2 ×l 2 , and K k,g is kernel of the process {U k,g t, τ}. The uniform attractor uniformly w.r.t. k,g ∈H w k 0  ×H w g 0  attracts the bounded set in l 2 × l 2 . We also consider finite-dimensional approximation to the infinite-dimensional systems 1.2-1.3 on finite lattices. For every positive integer n>0, let Z n  Z ∩{−n ≤ i ≤ n}, consider the following ordinary equations with initial data in R 2n1 × R 2n1 : ˙u i  ν i  Au  i  λ i u i  f i  u i ,  Bu  i   α i v i  k i  t  ,i∈ Z n ,t>τ, ˙v i  δ i v i − β i u i  g i  t  ,i∈ Z n ,t>τ, u  τ    u i  τ  | i | ≤n   u i,τ  | i | ≤n ,v  τ    v i  τ  | i | ≤n   v i,τ  |i|≤n ,τ∈ R. 2.17 In Section 5, we will show that the finite-dimensional approximation systems possess a uniform attractor A n 0 in 2n1 × R 2n1 , and these uniform attractors are upper semicontinuous when n →∞. More precisely, we have the following theorem. Theorem B. Assume that k 0 s, g 0 s ∈ L 2 b R, l 2  × L 2 b R, l 2  and H 1 –H 3  hold. Then for every positive integer n, systems 2.17 possess compact uniform attractor A n 0 . Further, A n 0 is upper semicontinuous to A 0 as n →∞, that is, lim n →∞ d l 2 ×l 2  A n 0 , A 0   0, 2.18 6 Advances in Difference Equations where d l 2 ×l 2  A n 0 , A 0   sup a∈A n 0 inf b∈A 0  a − b  l 2 ×l 2 . 2.19 3. Processes and Uniform Absorbing Set In this section, we show that the process can be defined and there exists a bounded uniform absorbing set for the family of processes. Lemma 3.1. Assume that k 0 , g 0 ∈ L 2 b R, l 2  and H 1 –H 3  hold. Let ks, gs ∈H w k 0 ×H w g 0 , and u τ , v τ  ∈ l 2 × l 2 ,τ∈ R. Then the solution of 2.8–2.10 satisfies   u, v  t   2 l 2 ×l 2 ≤   u, v  τ   2 l 2 ×l 2 e −  γ 0 /η 0  t−τ  1 η 0  β 0 λ 0  k 0  s   2 L 2 b  R,l 2   α 0 δ 0   g 0  s    2 L 2 b R,l 2    1  η 0 γ 0  , 3.1 where η 0  min{α 0 ,β 0 }, γ 0  min{λ 0 β 0 ,α 0 δ 0 }. Proof. Taking the inner product of 2.8 with βu in l 2 ,byH 1 , we get 1 2 d dt  i∈Z β i u 2 i   i∈Z β i ν i |  Bu  i | 2   i∈Z λ i β i u 2 i   i∈Z β i α i u i v i ≤  i∈Z β i u i k i  t  . 3.2 Similarly, taking the inner product of 2.9 with αv in l 2 ,weget 1 2 d dt  i∈Z α i v 2 i   i∈Z α i δ i u 2 i −  i∈Z β i α i u i v i   i∈Z α i v i g i  t  . 3.3 Note that  i∈Z β i u i k i  t  ≤ 1 2  i∈Z λ i β i u 2 i  1 2  i∈Z β i λ i k 2 i  t  ,  i∈Z α i v i g i  t  ≤ 1 2  i∈Z α i δ i v 2 i  1 2  i∈Z α i δ i g 2 i  t  . 3.4 Summing up 3.2 and 3.3,from3.4,weget d dt  i∈Z  β i u 2 i  α i v 2 i    i∈Z  λ i β i u 2 i  α i δ i v 2 i  ≤  i∈Z  β i λ i k 2 i  t   α i δ i g 2 i  t   . 3.5 Advances in Difference Equations 7 Thus, by H 3 , η 0 d dt   u, v  t   2 l 2 ×l 2  γ 0  u, vt  2 l 2 ×l 2 ≤  β 0 λ 0  k  t   2 l 2  α 0 δ 0   g  t    2 l 2  . 3.6 Since kt,gt ∈H w k 0  ×H w g 0 ,from12, Proposition V.4.2., we have  k  t   2 L 2 b R,l 2  ≤  k 0  t   2 L 2 b R,l 2  ,   gt   2 L 2 b R,l 2  ≤   g 0  t    2 L 2 b R,l 2  . 3.7 From 3.6-3.7, applying Gronwall’s inequality of generalization see 12, Lemma II.1.3, we get 3.1. The proof is completed. It follows from Lemma 3.1 that the solution u, v of problem 2.8–2.10 is defined for all t ≥ τ. Therefore, there exists a family processes acting in the space l 2 × l 2 : {U k,g } : U k,g t, τu τ ,v τ ut,vt, U k,g t, τ : l 2 × l 2 → l 2 × l 2 , t ≥ τ, τ ∈ R, where ut,vt is the solution of 2.8–2.10, and the time symbol ks,gs belongs to Hk 0  ×Hg 0  and H w k 0  ×H w g 0 , respectively. The family of processes {U k,g } satisfies multiplicative properties: U  k,g   t, s  ◦ U  k,g   s, τ   U  k,g   t, τ  , ∀t ≥ s ≥ τ, τ ∈ R, U  k,g   τ,τ   Id is the identity operator,τ∈ R. 3.8 Furthermore, the following translation identity holds: U  k,g   t  h, τ  h   U T  h   k,g   t, τ  , ∀t ≥ τ, τ ∈ R,h≥ 0. 3.9 The kernel K of the processes U k,g t, τ consists of all bounded complete trajectories of the process U k,g t, τ,thatis, K k,g    u  ·  ,v  ·  |  ut,vt  l 2 ×l 2 ≤ C u,v , U  k,g   t, τ  u  τ  ,v  τ    u  t  ,v  t  , ∀t ≥ τ, τ ∈ R  . 3.10 Ks denotes the kernel section at a times moment s ∈ R: K  k,g   s     u  s  ,v  s  |  u  ·  ,v  ·  ∈K  k,g   . 3.11 Lemma 3.1 also shows that the family of processes possesses a uniform absorbing set in l 2 × l 2 . 8 Advances in Difference Equations Lemma 3.2. Assume that k 0 , g 0 ∈ L 2 b R, l 2  and H 1 –H 3  hold. Let ks, gs ∈H w k 0  × H w g 0 . Then, there exists a bounded uniform absorbing set B 0 in l 2 × l 2 for the family of processes {U k,g } H w k 0 ×H w g 0  , that is, for any bounded set B ⊂ l 2 × l 2 , there exists t 0  t 0 τ,B ≥ τ,  k,g∈H w k 0 ×H w g 0  U k,g  t, τ  B ⊂ B 0 , ∀t ≥ t 0 . 3.12 Proof. Let u τ ,v τ  l 2 ×l 2 ≤ R,from3.1 we have  u, vt  2 l 2 ×l 2 ≤ R 2 e −  γ 0 /η 0  t−τ  1 η 0  β 0 λ 0  k 0  s   2 L 2 b  R,l 2   α 0 δ 0   g 0  s    2 L 2 b  R,l 2    1  η 0 γ 0  ≤ 2 η 0  β 0 λ 0 k 0  s   2 L 2 b  R,l 2   α 0 δ 0 g 0  s   2 L 2 b  R,l 2    1  η 0 γ 0  , ∀t ≥ t 0 , 3.13 where t 0  η 0 γ 0 ln R 2 X  τ, X  1 η 0  β 0 λ 0  k 0  s   2 L 2 b  R,l 2   α 0 δ 0   g 0  s    2 L 2 b  R,l 2    1  η 0 γ 0  . 3.14 Let B 0  {u, vt ∈ l 2 × l 2 |u, vt 2 l 2 ×l 2 ≤ 2X 2 }. The proof is completed. 4. Uniform Attractor In this section, we establish the existence of uniform attractor for the non-autonomous lattice systems 2.8–2.10.LetE be a Banach space, and let Ξ be a subset of some Banach space. Definition 4.1. {U σ t, τ},σ∈ Ξ is said to be E×Ξ,E weakly continuous, if for any t ≥ τ, τ ∈ R, the mapping u, σ →{U σ t, τu is weakly continuous from E × Ξ to E. A family of processes U σ t, τ, σ ∈ Ξ is said to be uniformly w.r.t.σ ∈ Ξ ω-limit compact if for any τ ∈ R and bounded set B ⊂ E,theset  σ∈Ξ  s≥t U σ s, τB is bounded for every t and  σ∈Ξ  s≥t U σ s, tB is precompact set as t → ∞. We need the following result in 14. Theorem 4.2. Let Ξ be the weak closure of Ξ 0 . Assume that {U σ t,τ}, σ ∈ Ξ is E × Ξ, E weakly continuous, and i has a bounded uniformly (w.r.t. σ ∈ Ξ) absorbing set B 0 , ii is uniformly (w.r.t. σ ∈ Ξ) ω-limit compact. Advances in Difference Equations 9 Then the families of processes {U σ t, τ}, σ ∈ Ξ 0 , σ ∈ Ξ possess, respectively, compact uniform (w.r.t. σ ∈ Ξ 0 , σ ∈ Ξ, resp.) attractors A Ξ 0 and A Ξ satisfying A Ξ 0  A Ξ  ω 0,Ξ  B 0    σ∈Ξ K σ  0  . 4.1 Furthermore, K σ 0 is nonempty for all σ ∈ Ξ. Let E be a Banach space and p ≥ 1, denote the space L p loc R, E of functions ρs, s ∈ R with values in E that are locally p-power integral in the Bochner sense, it is equipped with the local p-power mean convergence topology. Recall the Propositions in 12. Proposition 4.3. A set Σ ⊂ L p loc R, E is precompact in L p loc R, E if and only if the set Σ t 1 ,t 2  is precompact in L p loc t 1 , t 2 , E for every segment t 1 , t 2  ⊂ R. Here, Σ t 1 ,t 2  denotes the restriction of the set Σ to the segment t 1 , t 2 . Proposition 4.4. A function σs is tr.c. in L p loc R, E if and only if i for any h ∈ R the set {  th t σsds | t ∈ R} is precompact in E; ii there exists a function αs, αs → 0  s → 0   such that  t1 t  σs − σs  l  p E ds ≤ α  | l |  , ∀t ∈ R. 4.2 Now, one introduces a class of function. Definition 4.5. A function ϕ ∈ L 2 loc R, l 2  is said to be locally asymptotic smallness if for any >0, there exists positive integer N such that sup t∈R  t1 t  |i|≥N ϕ 2 i  s  ds < . 4.3 Denote by L 2 las R, l 2  the set of all locally asymptotic smallness functions in L 2 loc R, l 2 . It is easy to see that L 2 las R, l 2  ⊂ L 2 b R, l 2 . The next examples show that there exist functions in L 2 b R, l 2  but not in L 2 las R, l 2 , and a function belongs to L 2 las R, l 2  is not necessary a tr.c. function in L 2 loc R, l 2 . Example 4.6. Let φtφ i t i∈Z , φ i  t   ⎧ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩ 0,i≤ 0, ⎧ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩ √ 2i  4i √ 2i  t − 2i  , 2i − 1 4i ≤ t ≤ 2i, √ 2i, 2i ≤ t ≤ 2i  1 2i , √ 2i − 4i √ 2i  t − 2i − 1 2i  , 2i  1 2i ≤ t ≤ 2i  3 4i , 0, otherwise. i ≥ 1. 4.4 10 Advances in Difference Equations For every t ∈ 2i − 1/4i, 2i  3/4i, i ≥ 1,  t1 t  i∈Z   φ i  s    2 ds ≤  2i 2i−  1/4i   √ 2i  4i √ 2i  s − 2i   2 ds   2i  1/2i  2i 2ids  2i3/4i 2i1/2i  √ 2i − 4i √ 2i  s − 2i − 1 2i  2 ds ≤ 2i × 1 4i  2i × 1 2i  2i × 1 4i  2 < ∞. 4.5 Thus, sup t∈R  t1 t  i∈Z   φ i  s    2 ds ≤ 2, 4.6 and φt ∈ L 2 b R, l 2 . However, for every positive integer N, and for any positive i ≥ N, sup t∈R  t1 t  | i | ≥N   φ i  s    2 ds ≥  2i1/2i 2i 2ids 1. 4.7 Therefore, φt / ∈L 2 las R, l 2 . Example 4.7. ϕtϕ i t i∈Z , ϕ i  t   0, for i ≤ 0, ϕ 1  t   ⎧ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩ √ 2k  4  2k  2 √ 2k  t − 2k − j 2k  , 2k  j 2k − 1 4  2k  2 ≤ t ≤ 2k  j 2k , √ 2k, 2k  j 2k ≤ t ≤ 2k  j 2k  1  2k  2 , √ 2k − 4  2k  2 √ 2k  t − 2k − j 2k − 1  2k  2  , 2k j 2k  1  2k  2 ≤ t ≤ 2k j 2k  5 4  2k  2 , j  0, 1, 2, ,2k − 1,k∈ Z  , 0, otherwise. 4.8 [...]... is the solution of 2.8 and 2.9 with the initial data u0 , v0 By the unique u, v t This completes the solvability of problem 2.8 – 2.10 , we get that uw , vw t proof Proof of Theorem A From Lemmas 3.2, 4.11 and 4.12, and Theorem 4.2, we get the results 5 Upper Semicontinuity of Attractors In this section, we present the approximation to the uniform attractor AHw k0 ×Hw g0 obtained in Theory A by the. .. valid for all t ∈ R From 5.14 we find that u, v is a bounded complete solution of 2.8 – 2.10 Therefore, u 0 , v 0 ∈ A0 By 5.13 we get that unn 0 , vnn 0 −→ u 0 , v 0 ∈ A0 5.19 The proof is complete Remark 5.3 All the result of this paper is valid for the systems in 20, 21 Acknowledgments The authors are extremely grateful to the anonymous reviewers for their suggestion, and with their help, the version... 0 n uniform (w.r.t τ ∈ R) attractor A0 in l2 × l2 which coincides with uniform (w.r.t k s , g s ∈ n Hw k0 ×Hw g0 attractor AHw k0 ×Hw g for the family of processes {Unk,g t, τ }, k, g ∈ Hw k0 × 0 Hw g0 , that is, n A0 n AHw k0 ×Hw g0 n ω0,AHw k 0 ×Hw g0 Kn, k,g 0 , B1 5.6 k,g ∈Hw k0 ×Hw g0 where B1 is the uniform w.r.t k, g ∈ Hw k0 ×Hw g0 absorbing set in R2n 1 ×R2n 1 , and K k,g is kernel of the process... Hw g0 Then, there exists a bounded uniform absorbing set B1 for the family of processes {Unk,g t, τ }Hw k0 ×Hw g0 , that is, for any bounded set Bn ⊂ R2n 1 × R2n 1 , there exists t0 t0 τ, Bn ≥ τ, for t ≥ t0 , k,g ∈Hw k0 ×Hw g0 Unk,g t, τ Bn ⊂ B1 5.4 In particular, B1 is independent of k, g and n Since 5.1 is finite-dimensional systems, it is easy to know that under the assumption of Lemma 5.1, the family... The attractor for a nonlinear reaction-diffusion system in an unbounded domain,” Communications on Pure and Applied Mathematics, vol 54, no 6, pp 625–688, 2001 7 S V Zelik, “Attractors of reaction-diffusion systems in unbounded domains and their spatial complexity,” Communications on Pure and Applied Mathematics, vol 56, no 5, pp 584–637, 2003 8 A Rodriguez-Bernal and B Wang, “Attractors for partly dissipative. .. pp 485–515, 2003 27 X.-J Li and D Wang, “Attractors for partly dissipative lattice dynamic systems in weighted spaces,” Journal of Mathematical Analysis and Applications, vol 325, no 1, pp 141–156, 2007 28 Q Ma, S Wang, and C Zhong, “Necessary and sufficient conditions for the existence of global attractors for semigroups and applications,” Indiana University Mathematics Journal, vol 51, no 6, pp 1541–1559,... “Attractors for nonautonomous 2D Navier-Stokes equations with normal external forces,” Discrete and Continuous Dynamical Systems Series A, vol 13, no 3, pp 701–719, 2005 15 P W Bates, K Lu, and B Wang, “Attractors for lattice dynamical systems,” International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, vol 11, no 1, pp 143–153, 2001 16 X.-J Li and C Zhong, “Attractors for partly. .. dissipative systems in locally uniform space,” Cadernos De Matematica, vol 02, pp 291–307, 2001 12 V V Chepyzhov and M I Vishik, Attractors for Equations of Mathematical Physics, vol 49 of American Mathematical Society Colloquium Publications, American Mathematical Society, Providence, RI, USA, 2002 13 V V Chepyzhov and M I Vishik, “Attractors of non-autonomous dynamical systems and their dimension,” Journal... 0, 1 ; l2 Thus, for any > 0, there exists finite number w1 s , w2 s , , wK s ∈ L 0, 1 ; l2 such that for every w ∈ {w s t | t ∈ R} 0,1 , there exist some wj s , 1 ≤ j ≤ K, such that 1 t − wj s w s 0 For the that 2 l2 < , t ∈ R 4.17 given above, wj s ∈ L 0, 1 ; l2 implies that there exists positive integer N such 1 wj s 0 |i|≥N 2 ds < 4.18 Advances in Difference Equations 13 Therefore, 1 |wi s t |2... Nonlinear Analysis: Theory, Methods & Applications, vol 68, no 3, pp 652–670, 2008 22 S Zhou, C Zhao, and X Liao, “Compact uniform attractors for dissipative non-autonomous lattice dynamical systems,” Communications on Pure and Applied Analysis, vol 6, no 4, pp 1087–1111, 2007 23 P W Bates, X Chen, and A J J Chmaj, “Traveling waves of bistable dynamics on a lattice, ” SIAM Journal on Mathematical Analysis, . Difference Equations Volume 2009, Article ID 916316, 21 pages doi:10.1155/2009/916316 Research Article Uniform Attractor for the Partly Dissipative Nonautonomous Lattice Systems Xiaojun Li and Haishen. l 2 |u, vt 2 l 2 ×l 2 ≤ 2X 2 }. The proof is completed. 4. Uniform Attractor In this section, we establish the existence of uniform attractor for the non-autonomous lattice systems 2.8–2.10.LetE. 4.12,andTheorem 4.2,wegettheresults. 5. Upper Semicontinuity of Attractors In this section, we present the approximation to the uniform attractor A H w k 0 ×H w g 0  obtained in Theory A by the uniform

Ngày đăng: 21/06/2014, 20:20

Từ khóa liên quan

Tài liệu cùng người dùng

  • Đang cập nhật ...

Tài liệu liên quan