Hindawi Publishing Corporation Journal of Applied Mathematics Volume 2013, Article ID 389863, 6 pages http://dx.doi.org/10.1155/2013/389863 Research Article Exponential Attractors for Parabolic Equations with Dynamic Boundary Conditions Zhao-hui Fan Department of Mathematics, Zhengzhou University, Zhengzhou, Henan 450001, China Correspondence should be addressed to Zhao-hui Fan; fanzhh02@163.com Received 24 December 2012; Accepted 2 February 2013 Academic Editor: Debasish Roy Copyright © 2013 Zhao-hui Fan. 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. We study exponential attractors for semilinear parabolic equations with dynamic boundary conditions in bounded domains. First, we give the existence of the exponential attractor in πΏ2 (Ω) × πΏ2 (Γ) by proving that the corresponding semigroup satisfies the enhanced flattering property. Second, we apply asymptotic a priori estimate and obtain the exponential attractor in πΏπ (Ω) × πΏπ (Γ). Finally, we show the exponential attractor in (π»1 (Ω) ∩ πΏπ (Ω)) × πΏπ (Γ). 1. Introduction Parabolic equations with dynamical boundary conditions have strong backgrounds in mathematical physics. They arise in the heat transfer theory in a solid in contact with moving fluid, thermoelasticity, diffusion phenomena, heat transfer in two medium, problems in fluid dynamic, and so forth. At present, there are many monographs in the whole world (see [1–13]). Several approaches have been used for these equations, like the theory of semigroup, with Bessel potential and Besov space, and the variational setting. In particular, we are devoted to the long-time behavior of the solutions. For instance, In [1], the authors showed existence of pullback attractors. In [8, 9], the authors gave well posedness and global attractors in πΏπ (Ω) × πΏπ (Γ). In [12, 13]; the authors obtained uniform attractors and some asymptotic regularity of global attractors in (π»1 (Ω) ∩ πΏπ (Ω)) × πΏπ (Γ). An exponential attractor, in contrast to a global attractor (or a uniform attractor), enjoys a uniform exponential rate of convergence of its solution. Because of this, exponential attractors possess more practical property. But to our knowledge, it does not seem to be in the literature any study of the existence of exponential attractors for this kind of equations. This paper is concerned with existence of exponential attractors for the following reaction-diffusion equation with dynamic boundary condition π’π‘ − Δπ’ + π (π’) = β (π₯) in Ω, ππ’ + π (π’) = π (π₯) π] on Γ, π’π‘ + π’ (0, π₯) = π’0 (π₯) , (1) in Ω, where Ω ⊂ Rπ, π ≥ 1, is a bounded domain with a smooth boundary Γ. Here ] is the outer unit normal on Γ. In [14], the authors established some necessary and sufficient conditions for the existence of exponential attractors for continuous and norm-to-weak continuous semigroup and provided a new method for proving the existence of exponential attractors by combining with the flattering property. Motivated by some ideas in [14–16], we combine asymptotic a prior estimate with the enhanced flattening property and show sufficient and necessary existence of exponential attractors in uniformly convex Banach spaces. As an application, we prove the existence of exponential attractors for the reaction-diffusion equation with dynamic boundary condition. This paper is organized as follows. In Section 2, we recall some basic results and then give our theorems, that is, Theorems 5, 6, and 9 and the solution semigroup corresponding to (1). In Section 3, we obtain the exponential 2 Journal of Applied Mathematics attractor in πΏ2 (Ω) × πΏ2 (Γ) for weak solutions, then combine asymptotical a prior estimate and show the exponential attractor in πΏπ (Ω) × πΏπ (Γ). Finally, we derive the existence of the exponential attractor in the space (π»1 (Ω) ∩ πΏπ (Ω)) × πΏπ (Γ). In the following, the constants πΆπ , π = 0, 1, 2, . . . will always denote generic constants different in various occurrences. The symbol πΆ(π ) will denote a positive constant dependent of π . We will write Ωπ for Ω × (0, π), Γπ for Γ × (0, π), (⋅, ⋅) for the inner product in πΏ2 (Ω) and β¨⋅, ⋅β© for the inner product in πΏ2 (Γ). For convenience, we denote the norm of π’ by |π’|Ω in the space πΏ2 (Ω) and |π’|Γ in the space πΏ2 (Γ). 2. Preliminary 2.1. The Basic Results and Theorems. Let π be a complete metric space and a one-parameter family of mappings π(π‘): let π → π(π‘ ≥ 0) be a semigroup. Here we omit the definitions of continuous or norm-to-weak semigroups, dynamical systems, global attractors, and exponential attractors (see [15– 20]). Definition 1. Let π be a metric space and π΅ be a bounded subset of π. The Kuratowski measure of noncompactness πΌ(π΅) of π΅ is defined as πΌ (π΅) = inf {πΏ > 0 | π΅ admits a finite cover by sets of diameter ≤ πΏ} . projector, π is the dimension of π1 , || ⋅ || denotes the norm in π, and π(π ) is a real-valued function satisfying limπ → ∞ π(π ) = 0. Inspired by [14, 21], we easily obtain the following. Theorem 5. Let π be a uniformly convex Banach space and {π(π‘)}π‘≥0 be a continuous or norm-to-weak continuous semigroup in π. Then the following conditions are equivalent. (1) The measure of noncompactness is exponentially decaying for dynamical system (π(π‘), π), that is, there exist π, π > 0 such that πΌ(βπ >π‘ π(π )π΅) ≤ ππ−ππ‘ . (2) π(π‘) satisfies the enhanced flattening property. Proof. (1 ⇒ 2) On account of condition (1), for any bounded subset π΅ of π and for any π > 0, there exist π‘ = π‘(π΅) such that πΌ (βπ (π ) π΅) ≤ ππ−ππ‘ . (3) π >π‘ Namely, there exist a finite number of subset π΄ 1 , π΄ 2 , . . . , π΄ π with diameter less than ππ−ππ‘ , such that βπ (π ) π΅ ⊂ ∪ππ=1 π΄ π . (4) βπ (π ) π΅ ⊂ ∪ππ=1 π (π₯π , ππ−ππ‘ ) . (5) π >π‘ Let π₯π ∈ π΄ π , then (2) Theorem 2 (see [14]). Assume that π΅ is a bounded absorbing set for discrete dynamical system π(π) in π; then the following are equivalent. (1) The measure of noncompactness is exponentially decaying for dynamical system (π(π), π), that is, there exist π, π > 0 such that πΌ(βπ>π π(π)π΅) ≤ ππ−ππ . (2) For π(π), there exist exponential attractors. Theorem 3 (see [14]). Assume that B is a bounded absorbing set for π(π‘) in π; then the following are equivalent. (1) The measure of noncompactness is exponentially decaying for dynamical system (π(π‘), π), that is, there exist π, π > 0 such that πΌ(βπ >π‘ π(π )π΅) ≤ ππ−ππ‘ . (2) For π(π‘), there exist exponential attractors. Definition 4 (see [14] (Enhanced Flattening Property)). Let π be a uniformly convex Banach space; for any bounded set π΅ of π, there exist π, π > 0 and π > 0, and a finite dimension subspace π1 of π, such that (1) ππ (βπ ≥π‘ π(π )π΅) is bounded and (2) ||(πΌ − ππ )(βπ ≥π‘ π(π )π₯)|| ≤ ππ−ππ‘ + π(π), for all π₯ ∈ π΅, for all π‘ ≥ π.Here ππ : π → π1 is a bounded π >π‘ Let π1 = span{π₯1 , π₯2 , . . . , π₯π }, since π is uniformly convex, there exist a projection π : π → π1 , such that for any π₯ ∈ π, ||π₯ − ππ₯|| = dist(π₯, π1 ). Hence, β(πΌ − π) π (π‘) π₯β ≤ ππ−ππ‘ < ππ−ππ‘ + π (π) . (6) (2 ⇒ 1) have been shown in Theorem 4.3 of [14], so we omitted it here. By Theorem 5, we can deduce the following. Theorem 6. Let π be a uniformly convex Banach space and {π(π‘)}π‘≥0 be a continuous or norm-to-weak continuous semigroup in X. Then, for dynamical system (π(π‘), π), there exist exponential attractors in π if and only if (1) there is a bounded absorbing set π΅ ⊂ π, and (2) S(t) satisfies the enhanced flattening property. In addition, we use later the following theorem about global attractors. Theorem 7 (see [15, Corollary 5.7]). Let {π(π‘)}π‘≥0 be a semigroup on πΏπ (Ω), (π ≥ 1), be a continuous or weak continuous semigroup on πΏπ (Ω) for some π ≤ π, and have a global attractor in πΏπ (Ω). Then, {π(π‘)}π‘≥0 has a global attractor in πΏπ (Ω) if and only if Journal of Applied Mathematics 3 (1) {π(π‘)}π‘≥0 has a bounded absorbing set π΅0 in πΏπ (Ω), and π (2) for any π > 0 and any bounded subset π΅ ⊂ πΏ (Ω), there exist positive constants π = π(, π΅) and π = π(, π΅), such that σ΅¨σ΅¨ σ΅¨π σ΅¨σ΅¨π (π‘) π’0 σ΅¨σ΅¨σ΅¨ < π Ω(|π(π‘)π’ |≥π) ∫ for any π’0 ∈ π΅, π‘ ≥ π, (7) 0 From Lemma 8 and Condition (2), it follows that π(π0 +π1 )(π΅) has a finite π/2-net in πΏπ (Ω). By induction, let π/2π−1 be replaced by π/2π , there ππ ∈ N and ππ+1 = πΆ(π/2π )πΎ/(π−πΎ) (πΎ > π) such that (π−π)/π ππ−π(π0 +π1 +⋅⋅⋅+ππ ) ≤ (3ππ+1 ) ≤ ππ We give the following lemma concerning the covering of the set in two different topologies used later in the proof of Theorem 9. Lemma 8 (see [15, Lemma 5.3]). For any π > 0, the bounded subset B of πΏπ (Ω) has a finite π-net in πΏπ (Ω) if there exists a positive constant π = π(π), such that (1) π΅ has a finite (3π)(π−π)/π (π/2)π/π -net in πΏπ (Ω); (π−π)/π (3ππ+1 ) (1) π(π‘) has an exponential attractor in πΏπ (Ω); for any π’0 ∈ π΅0 , (8) 0 then π(π‘) has an exponential attractor in πΏπ (Ω). Proof. Take π > 0, and let ππ = π(ππ); obviously ππ is a discrete dynamical system. On account of Condition (1), for ππ there exists an exponential attractor M in πΏπ (Ω). By Theorem 2, we find that there exist π, π > 0 such that πΌ(βπ>π π(π)π΅) ≤ ππ−ππ . By the definition of the measure of noncompactness, for all π ∈ π, there exist finite points π π₯ππ ∈ π(π)π΅ such that π(π)π΅ ⊂ ∪π=1π (π΅πΏπ (Ω) (π₯ππ , ππ−ππ ) ∩ π(π)π΅). Then, there exist π0 ∈ N and π1 = πΆππΎ/(π−πΎ) (πΎ > π) such that (π−π)/π ππ−ππ0 ≤ (3π1 ) π π/π ( ) ≤ ππ−π(π0 −1) . 2 (9) From Lemma 8 and Condition (2), it follows that π(π0 )(π΅) has a finite π-net in πΏπ (Ω). Let π be replaced by π/2, there π1 ∈ N and π2 = πΆ(π/2)πΎ/(π−πΎ) (πΎ > π) such that (π−π)/π ππ−π(π0 +π1 ) ≤ (3π2 ) ( π π/π ) ≤ ππ−π(π0 +π1 −1) . 22 (10) . (π−π)/π (3ππ ) π/π π/π (π/2π ) (ππ+1 /ππ ) = 2π/π = ((π/2 ) (π−π)/π (π−π)/π π−1 πΎ/(π−πΎ) /(π/2 ) (12) ) 2π/π 1 πΎ(π−π)/π(πΎ−π)+π/π =( ) < 1. 2 and So, the ratio of (3ππ+1 )(π−π)/π (π/2π+1 )π/π (π−π)/π π π/π (3ππ ) (π/2 ) is a constant for given πΎ, π, π, and π. In fact, (π−π)/π (2) for any π > 0, there exist positive constant π = π(π) such that (11) (π/2π+1 ) π πΎ/(π−πΎ) Theorem 9. Assume that π > π > 0 and Ω ⊂ Rπ . Let S(t) be a continuous or norm-to-weak continuous semigroup on πΏπ (Ω) and πΏπ (Ω) and π΅0 be a positively invariant bounded absorbing set in πΏπ (Ω). If the following conditions hold true: π/π From Lemma 8 and Condition (2), it follows that π(π0 + π1 + ⋅ ⋅ ⋅ + ππ )(π΅) has a finite π/2π -net in πΏπ (Ω). Note that (2) ∫Ω(|π’|≥π) |π’|π ≤ 2−2π+2 π, for any π’0 ∈ π΅0 . Inspired by [16], we give the subsequent theorem which describes our new technique to construct an exponential attractor in a stronger topological space. π ) 2π+1 −π(π0 +π1 +⋅⋅⋅+ππ −1) where Ω(|π’| ≥ π) = {π₯ ∈ Ω||π’(π₯)| ≥ π}. σ΅¨σ΅¨ σ΅¨π −2π+2 π, ∫ σ΅¨σ΅¨π (π‘) π’0 σ΅¨σ΅¨σ΅¨ ≤ 2 Ω(|π(π‘)π’ |≥π) ( (3ππ+1 ) ( π ) 2π+1 π/π 1 π/π = ( ) (3πΆ)(π−π)/π π(πΎ(π−π)/π(πΎ−π))+π/π 2 (13) 1 ((πΎ(π−π)/π(πΎ−π))+π/π)π ×( ) . 2 Substituting (13) into (11), we deduce easily that π (π−π)/π π/π −ππ(π0 +π1 +⋅⋅⋅+ππ −1)/π ≤ 2(3ππ+1 ) π π 2π 1 (πΎ(π−π)/π(πΎ−π))π = 2(3πΆ)(π−π)/π ππΎ(π−π)/π(πΎ−π) ( ) 2 (14) × ππ/π π−ππ(π0 +π1 +⋅⋅⋅+ππ −1)/π . Choose that 2(3πΆ)(π−π)/π ππΎ(π−π)/π(πΎ−π) ππ/π πππ/π = πσΈ ≥ 2(3πΆ)(π−π)/π ππΎ(π−π)/π(πΎ−π) (1/2)(πΎ(π−π)/π(πΎ−π))π ππ/π πππ/π and πσΈ = ππ/π, we know that π(π0 + π1 + ⋅ ⋅ ⋅ + ππ ) (π΅) has a finite σΈ πσΈ π−π (π0 +π1 +⋅⋅⋅+ππ ) -net in πΏπ (Ω). Combining (9), (10) (11), and (13), we can choose π1 = π2 = ⋅ ⋅ ⋅ = ππ = [(1/π)(πΎ(π − π)/π(πΎ − π) + π/π) ln 2] + 1, where [π] is the integer part of π. Denoted by π0 = [(1/π)(πΎ(π− π)/π(πΎ − π) + π/π) ln 2] + 1, we have π(π0 + π1 + ⋅ ⋅ ⋅ + σΈ ππ )(π΅) = π(π0 + ππ0 ) has a finite πσΈ π−π (π0 +ππ0 ) -net in πΏπ (Ω). By Theorem 2, an exponential attractor exists in πΏπ (Ω) for discrete semigroup π(ππ0 ). Using the same argument as in [18], 4 Journal of Applied Mathematics it is easy to deduce that an exponential attractor M exists in πΏπ (Ω) for discrete semigroup π(π). Let M0 = ∪0≤π ≤π π(π )M. As an repetition of the general method developed by Li et al. [14], we can show that M0 is the exponential attractor for dynamical system (π(π‘), π). 2.2. The Solution Semigroup. We can write Problem (1) as an evolution for unknown π’(π₯, π‘) in Ω and V(π₯, π‘) on Γ π€π‘ + π΄π€ + πΉ = 0, (15) with the compatibility V = πΎ(π’(π‘)) (πΎ is trace operator) for π‘ > 0 and π > 0, where π’ π€ = ( ), V −Δ + π 0 ), π΄=( π 0 π] (16) π (π’) − ππ’ − β (π₯) ). πΉ=( π (V) − π (π₯) In the case Ω bounded, the operator π΄ has a compact resolvent and its spectrum, denoted by π(π΄) = {ππ }π ⊂ π + , forms an increasing sequence converging to infinity (see [11, Theorem 1.4]). Moreover, there exists an orthonormal basis in πΏ2 (Ω) × πΏ2 (Γ), {ππ }π , which are solutions of the eigenvalue problem −Δπ’ + ππ’ = ππ π’, ππ’ = ππ π’, π] π₯ ∈ Ω, (17) π₯ ∈ Γ, + where ππ ⊂ π forms an increasing sequence converging to infinity. We denote by ππ the orthonormal projector 2 2 ππ : πΏ (Ω) × πΏ (Γ) σ³¨→ span {π1 , π2 , . . . , ππ } , ∞ π π=1 π=1 (18) π’ = ∑πΌπ ππ σ³¨σ³¨→ π’π = ∑πΌπ ππ . So, we can perform the Galerkin truncation by using orthonormal basis mentioned above and guarantee the following existence and uniqueness (see [1, 8, 9, 12]). By the last theorem, we can define the operator semigroup {π(π‘)}π‘≥0 in πΏ2 (Ω) × πΏ2 (Γ) as follows: π (π‘) (π’0 , πΎ (π’0 )) : πΏ2 (Ω) × πΏ2 (Γ) × R+ σ³¨→ πΏ2 (Ω) × πΏ2 (Γ) , (22) which is continuous in πΏ2 (Ω) × πΏ2 (Γ). Furthermore, we obtained the bounded absorbing set for dynamical system (π(π‘), π) (see [8, 12]). Theorem 11. Under the assumptions of Theorem 10, the semigroup {π(π‘)}π‘≥0 have (πΏ2 (Ω) × πΏ2 (Γ), πΏπ (Ω) × πΏπ (Γ))-, (πΏ2 (Ω) × πΏ2 (Γ), π»1 (Ω) × πΏπ (Γ))-bounded absorbing sets, that is, for any bounded subset π΅ ⊂ πΏ2 (Ω) × πΏ2 (Γ), there exists a positive constant π, which is only dependent on the πΏ2 (Ω)×πΏ2 (Γ)-norm of π΅, such that βπ’(π‘)βπΏπ (Ω) ≤ π 0 for any (π’0 , πΎ (π’0 )) ∈ π΅, π‘ ≥ π, βπ’(π‘)βπΏπ (Γ) ≤ π 0 for any (π’0 , πΎ (π’0 )) ∈ π΅, π‘ ≥ π, β∇π’(π‘)βπΏ2 (Ω) ≤ π 0 π ≥ 2, −πΆ3 + πΆ4 |π |π ≤ π (π ) π ≤ πΆ3 + πΆ5 |π |π , π ≥ 2, πσΈ (π ) ≥ −π, πσΈ (π ) ≥ −π. 3. The Main Results 3.1. Exponential Attractors in πΏ2 (Ω) × πΏ2 (Γ) Theorem 12. Under the hypothesis of Theorem 11, {π(π‘)}π‘≥0 has a (πΏ2 (Ω) × πΏ2 (Γ), πΏ2 (Ω) × πΏ2 (Γ))-exponential attractor. Proof. Let π’2 = (πΌ − ππ )π’, where ππ is denoted by the orthonormal projector as mentioned before. Multiplying (1)1 by π’2 and integrating by parts, we get 1 π σ΅©σ΅© σ΅©σ΅©2 σ΅©σ΅© σ΅©σ΅©2 (σ΅©π’ σ΅© + σ΅©π’ σ΅© ) 2 ππ‘ σ΅© 2 σ΅©Ω σ΅© 2 σ΅©Γ σ΅¨ σ΅¨2 + ∫ σ΅¨σ΅¨σ΅¨∇π’2 σ΅¨σ΅¨σ΅¨ + ∫ π (π’) π’2 + ∫ π (π’) π’2 Ω Ω Γ = (β, π’2 ) + β¨π, π’2 β© . (19) (20) π’ ∈ C ([0, π] ; πΏ2 (Ω)) , π’ ∈ C ([0, π] ; πΏ2 (Γ)) , (24) Using (19), we can deduce that Then, Problem (1) has a unique weak solution, for any π > 0, given (π’0 , πΎ(π’0 )) ∈ πΏ2 (Ω) × πΏ2 (Γ) and β(π₯) ∈ πΏ2 (Ω), π(π₯) ∈ πΏ2 (Γ) there exists a solution π’ with π’ ∈ πΏ2 (0, π; π»1 (Ω)) ∩ πΏπ (Ωπ ) , for any (π’0 , πΎ (π’0 )) ∈ π΅, π‘ ≥ π, where π 0 is a positive constant independent of π΅, π’(π‘) = π(π‘)π’0 . Theorem 10. Assume that the functions π, π ∈ C1 satisfying −πΆ0 + πΆ1 |π |π ≤ π (π ) π ≤ πΆ0 + πΆ2 |π |π , (23) (21) π’ ∈ πΏπ (Γπ ) , and (π’0 , πΎ(π’0 )) σ³¨→ (π’(π‘), πΎ(π’)) is continuous on πΏ2 (Ω) × πΏ2 (Γ). |π’|π ≥ |π’|2 − πΆ, |π’|π ≥ |π’|2 − πΆ, (25) for any π, π ≥ 2. Therefore, ∫ π (π’) π’2 + ∫ π (π’) π’2 Ω Γ σ΅¨ σ΅¨π σ΅¨ σ΅¨π ≥ ∫ σ΅¨σ΅¨σ΅¨π’2 σ΅¨σ΅¨σ΅¨ + ∫ σ΅¨σ΅¨σ΅¨π’2 σ΅¨σ΅¨σ΅¨ − πΆ (π (Ω) , π (Γ)) . Ω Γ (26) Thus, we know π σ΅©σ΅© σ΅©σ΅©2 σ΅©σ΅© σ΅©σ΅©2 σ΅¨ σ΅¨2 (σ΅©π’ σ΅© + σ΅©π’ σ΅© ) + ππ (∫ σ΅¨σ΅¨σ΅¨π’2 σ΅¨σ΅¨σ΅¨ + ∫ |π’|2 ) ππ‘ σ΅© 2 σ΅©Ω σ΅© 2 σ΅©Γ Ω Γ σ΅¨ σ΅¨σ΅¨ σ΅¨ ≤ πΆ (π (Ω) , π (Γ) , |β|Ω , σ΅¨σ΅¨πσ΅¨σ΅¨Γ ) . (27) Journal of Applied Mathematics 5 Applying the Gronwall-inequality, we have πΆ σ΅©σ΅© σ΅©2 σ΅© σ΅©2 −π π‘ σ΅©σ΅©π’2 (π‘)σ΅©σ΅©σ΅©Ω + σ΅©σ΅©σ΅©π’2 (π‘)σ΅©σ΅©σ΅©Γ ≤ π π + . ππ Applying Theorem 9 to Theorems 11 and 16, we have the following. (28) Obviously, the enhanced flattening property holds true. By Theorem 6, we obtain the exponential attractor in πΏ2 (Ω) × πΏ2 (Γ). Corollary 17. Under the assumption of Theorem 12, the semigroup {π(π‘)}π‘≥0 generated by Problem (1) with initial data π’0 ∈ πΏ2 (Ω) and πΎ(π’0 ) ∈ πΏ2 (Γ) has a (πΏ2 (Ω)×πΏ2 (Γ), πΏπ (Ω)×πΏπ (Γ))exponential attractor Mππ . 3.2. (πΏ2 (Ω) × πΏ2 (Γ),πΏπ (Ω) × πΏπ (Γ))-Exponential Attractor. If π = min{π, π}, we easily showed asymptotic a prior estimate of the solution of (1) in πΏπ (Ω)×πΏπ (Γ) in order to obtain global and uniform attractors in πΏπ (Ω) × πΏπ (Γ), where π(≥ 2) is an integer (resp., see [8, 12]). Remark 18. In fact, for any integer π ≤ max{π, π}, we can obtain Theorem 16 and Corollary 17 by Lemma 15. In other words, if π ≤ min{π, π}, we can obtain Theorem 16 and Corollary 17 by Lemma 15 and need not use asymptotic a prior estimate. Here, we point this result obtained by the different procedure. Theorem 13. Under the hypothesis of Theorem 11, then for any π > 0 and any bounded subset π΅ ⊂ πΏ2 (Ω) × πΏ2 (Γ), there exist two positive constants π = π(π΅, π) and π = π(π) such that On account of Theorem 6 and Corollary 17, we have the following. ∫ Ω(|π’|≥π) π |π’| + ∫ Γ(|π’|≥π) π |π’| ≤ πΆπ, Corollary 19. There exists some π such that ∀π‘ ≥ π, (29) (π’0 , πΎ (π’0 )) ∈ π΅, σ΅© σ΅© σ΅© σ΅©σ΅© −ππ‘ σ΅©σ΅©(πΌ − ππ )π’σ΅©σ΅©σ΅©πΏπ (Ω) + σ΅©σ΅©σ΅©(πΌ − ππ )π’σ΅©σ΅©σ΅©πΏπ (Γ) ≤ ππ + π (π) . (31) where the constant πΆ is independent of π and π΅. Now, we give some a prior estimates about π’π‘ . After Theorem 13, we obtain the subsequent result. Theorem 14. Under the assumption of Theorem 11, then the semigroup {π(π‘)}π‘≥0 generated by Problem (1) with initial data π’0 ∈ πΏ2 (Ω) and πΎ(π’0 ) ∈ πΏ2 (Γ) has a (πΏ2 (Ω) × πΏ2 (Γ), πΏπ (Ω) × πΏπ (Γ))-exponential attractor Mπ , that is, Mπ is compact, invariant in πΏπ (Ω) × πΏπ (Γ), and attracts every bounded in πΏ2 (Ω) × πΏ2 (Γ) in the topology of πΏπ (Ω) × πΏπ (Γ). Proof. By Theorems 11 and 12, it is easily verified that {π(π‘)}π‘≥0 has an exponential attractor in πΏπ (Ω) × πΏπ (Γ) where we apply Theorem 9. Lemma 20 (see [8, 12]). Under the assumption of Theorem 11, for any bounded subset π΅ ⊂ πΏ2 (Ω) × πΏ2 (Γ), there exists a positive constant π1 which depends only on the πΏ2 (Ω) × πΏ2 (Γ)norm of B such that σ΅¨2 σ΅¨2 σ΅¨ σ΅¨ ∫ σ΅¨σ΅¨σ΅¨π’π‘ (π )σ΅¨σ΅¨σ΅¨ ππ₯ + ∫ σ΅¨σ΅¨σ΅¨π’π‘ (π )σ΅¨σ΅¨σ΅¨ ππ₯ ≤ π 1 Ω Γ ∀π ≥ π1 , (π’0,0 ) ∈ π΅, (32) If π > min{π, π}, the reasoning process mentioned earlier is not available. We note the following result in [13] after authors obtained regularity of global attractor. where π 1 is a positive constant which depends on π. Lemma 15 (see [13, Corollary 3.1]). Under the assumptions of Theorem 11, the semigroup {π(π‘)}π‘≥0 has a compact global attractor A in (π»1 (Ω) ∩ πΏπ (Ω)) × πΏπ (Γ). Theorem 21. Under the assumption of Theorem 11, the semigroup {π(π‘)}π‘≥0 generated by Problem (1) with initial data π’0 ∈ πΏ2 (Ω) and πΎ(π’0 ) ∈ πΏ2 (Γ) satisfies the enhanced flattering in the space π»1 (Ω) × πΏπ (Γ). By Theorem 7 and Lemma 15, we easily obtain the following. Theorem 16. Under the hypothesis of Theorem 11, then for any π > 0 and any bounded subset π΅ ⊂ πΏ2 (Ω) × πΏ2 (Γ), there exist two positive constants π = π(π΅, π) and π = π(π) such that ∫ Ω(|π’|≥π) π |π’| + ∫ Γ(|π’|≥π) π |π’| ≤ πΆπ, (30) where the constant πΆ is independent of π and π΅. Proof. We denote π’ = π’1 + π’2 , where π’1 = ππ π’, π’2 = (πΌ−ππ )π’, and ππ has been introduced in Section 3. Multiplying Problem (1) by π’2 , we can get 1 π σ΅¨ σ΅¨2 1 π σ΅¨ σ΅¨2 σ΅¨ σ΅¨2 ∫ σ΅¨σ΅¨σ΅¨π’2 σ΅¨σ΅¨σ΅¨ + ∫ σ΅¨σ΅¨π’ σ΅¨σ΅¨ + ∫ σ΅¨σ΅¨σ΅¨∇π’2 σ΅¨σ΅¨σ΅¨ 2 ππ‘ Ω 2 ππ‘ Ω σ΅¨ 2 σ΅¨ Ω ∀π‘ ≥ π, (π’0 , πΎ (π’0 )) ∈ π΅, We can easily obtain the following theorem. + ∫ π (π’) π’2 + ∫ π (π’) π’2 Ω Γ = (β, π’2 ) + β¨π, π’2 β© . (33) 6 Journal of Applied Mathematics By (25) and (26), we can deduce σ΅¨ σ΅¨2 σ΅¨ σ΅¨ σ΅¨ σ΅¨ ∫ σ΅¨σ΅¨σ΅¨∇π’2 σ΅¨σ΅¨σ΅¨ ≤ (σ΅¨σ΅¨σ΅¨π’π‘2 σ΅¨σ΅¨σ΅¨Ω + |β|Ω ) σ΅¨σ΅¨σ΅¨π’2 σ΅¨σ΅¨σ΅¨Ω Ω σ΅¨ σ΅¨ σ΅¨ σ΅¨ σ΅¨ σ΅¨ + (σ΅¨σ΅¨σ΅¨π’π‘2 σ΅¨σ΅¨σ΅¨Γ + σ΅¨σ΅¨σ΅¨πσ΅¨σ΅¨σ΅¨Γ ) σ΅¨σ΅¨σ΅¨π’2 σ΅¨σ΅¨σ΅¨Γ π−1 σ΅© σ΅© + βπ’βΩ σ΅©σ΅©σ΅©π’2 σ΅©σ΅©σ΅©πΏπ (Ω) π−1 σ΅© σ΅© + βπ’βΓ σ΅©σ΅©σ΅©π’2 σ΅©σ΅©σ΅©πΏπ (Γ) . (34) By Theorems 11 and 12, Corollary 19, and Lemma 20, we know that π(π‘)π’0 satisfies the enhanced flattering property in π»1 (Ω). On account of Theorem 6 and Corollary 19, we can deduce that Theorem 21 is valid. It is immediate by Theorem 6, Corollary 19, and Theorem 21. Corollary 22. Under the assumption of Theorem 12, the semigroup {π(π‘)}π‘≥0 generated by Problem (1) with initial data (π’0 , πΎ(π’0 )) ∈ πΏ2 (Ω) × πΏ2 (Γ) has a (πΏ2 (Ω) × πΏ2 (Γ), (π»1 (Ω) ∩ πΏπ (Ω)) × πΏπ (Γ))-exponential attractor M. Acknowledgment The research was supported by the NSFC Grant (no. 11271339). References [1] M. Anguiano, P. MarΔ±Μn-Rubio, and J. Real, “Pullback attractors for non-autonomous reaction-diffusion equations with dynamical boundary conditions,” Journal of Mathematical Analysis and Applications, vol. 383, no. 2, pp. 608–618, 2011. [2] J. M. Arrieta, P. Quittner, and A. RodrΔ±Μguez-Bernal, “Parabolic problems with nonlinear dynamical boundary conditions and singular initial data,” Differential and Integral Equations, vol. 14, no. 12, pp. 1487–1510, 2001. [3] A. RodrΔ±Μguez-Bernal, “Attractors for parabolic equations with nonlinear boundary conditions, critical exponents, and singular initial data,” Journal of Differential Equations, vol. 181, no. 1, pp. 165–196, 2002. [4] A. Constantin and J. Escher, “Global solutions for quasilinear parabolic problems,” Journal of Evolution Equations, vol. 2, no. 1, pp. 97–111, 2002. [5] A. Constantin and J. Escher, “Global existence for fully parabolic boundary value problems,” Nonlinear Differential Equations and Applications, vol. 13, no. 1, pp. 91–118, 2006. [6] A. Constantin, J. Escher, and Z. Yin, “Global solutions for quasilinear parabolic systems,” Journal of Differential Equations, vol. 197, no. 1, pp. 73–84, 2004. [7] J. Escher, “Quasilinear parabolic systems with dynamical boundary conditions,” Communications in Partial Differential Equations, vol. 18, no. 7-8, pp. 1309–1364, 1993. [8] Z. H. Fan and C. K. Zhong, “Attractors for parabolic equations with dynamic boundary conditions,” Nonlinear Analysis: Theory, Methods & Applications, vol. 68, no. 6, pp. 1723–1732, 2008. [9] C. G. Gal and M. Warma, “Well posedness and the global attractor of some quasi-linear parabolic equations with nonlinear dynamic boundary conditions,” Differential and Integral Equations, vol. 23, no. 3-4, pp. 327–358, 2010. [10] J. Petersson, “A note on quenching for parabolic equations with dynamic boundary conditions,” Nonlinear Analysis: Theory, Methods & Applications, vol. 58, no. 3-4, pp. 417–423, 2004. [11] L. Popescu and A. Rodriguez-Bernal, “On a singularly perturbed wave equation with dynamic boundary conditions,” Proceedings of the Royal Society of Edinburgh A, vol. 134, no. 2, pp. 389–413, 2004. [12] Y. Lu, “Uniform attractors for the closed process and applications to the reaction-diffusion equation with dynamical boundary condition,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 9, pp. 4012–4025, 2009. [13] L. Yang and M. Yang, “Long-time behavior of reaction-diffusion equations with dynamical boundary condition,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 12, pp. 3876–3883, 2011. [14] Y. Li, H. Wu, and T. Zhao, “Necessary and sufficient conditions for the existence of exponential attractors for semigroups, and applications,” Nonlinear Analysis: Theory, Methods & Applications, vol. 75, no. 17, pp. 6297–6305, 2012. [15] C. K. Zhong, M. H. Yang, and C. Y. Sun, “The existence of global attractors for the norm-to-weak continuous semigroup and application to the nonlinear reaction-diffusion equations,” Journal of Differential Equations, vol. 223, no. 2, pp. 367–399, 2006. [16] Y. Zhong and C. Zhong, “Exponential attractors for reactiondiffusion equations with arbitrary polynomial growth,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 3-4, pp. 751–765, 2009. [17] L. Dung and B. Nicolaenko, “Exponential attractors in Banach spaces,” Journal of Dynamics and Differential Equations, vol. 13, no. 4, pp. 791–806, 2001. [18] A. Eden, C. Foias, B. Nicolaenko, and R. Temam, Exponential Attractors for Dissipative Evolution Equations, vol. 37 of Research in Applied Mathematics, John Wiley & Sons, New York, NY, USA, 1994. [19] M. Grasselli and D. PrazΜaΜk, “Exponential attractors for a class of reaction-diffusion problems with time delays,” Journal of Evolution Equations, vol. 7, no. 4, pp. 649–667, 2007. [20] R. Temam, Infinite-Dimensional Dynamical Systems in Mechanics and Physics, vol. 68 of Applied Mathematical Sciences, Springer, New York, 1997. [21] 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, 2002. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014