- Research
- Open access
- Published:
Exponential attractors for the strongly damped wave equations with critical exponent
Boundary Value Problems volume 2016, Article number: 36 (2016)
Abstract
In this paper, we prove the existence of global attractor and exponential attractor in some stronger spaces for the strongly damped nonlinear wave equation when the nonlinear term \(f(u,u_{t})\) depends on \(u_{t}\) and contains a critical exponent with respect to u and the external forcing term g merely belongs to the weak space \(H^{-1}(\Omega)\).
1 Introduction
We study the following strongly damped nonlinear wave equation:
Here \(u=u(x,t)\) is a real-valued function defined on \(\Omega\times [0,\infty)\). Ω is an open bounded set of \(\mathbb{R}^{3}\) with a smooth boundary ∂Ω. \(f(u,v)\in C^{1}(\mathbb{R}\times \mathbb{R}, \mathbb{R})\), and \(g\in H^{-1}(\Omega)\).
In the case that \(f=f(u)\in C^{1}(\mathbb{R}, \mathbb{R})\) with \(\liminf_{|r|\rightarrow\infty}\frac{f(r)}{r}>-\lambda_{1}\), where \(\lambda_{1}\) is the first eigenvalue of −Δ on \(H^{1}_{0}(\Omega)\), Webb first considered the asymptotic behavior of strongly damped wave equations in [1]. Then, in [2], Carvalho et al. showed the existence of the global attractor for wave equations with the critical nonlinearity. The regularity of solutions was also investigated via a bootstrapping technique in [3, 4], and we mention that a similar result has also been given by Pata et al. in [5, 6]. Recently, Sun and Yang in [7, 8] proved the existence of global attractor and exponential attractor for the same equation with the weaker external term \(g\in H^{-1}(\Omega)\).
For another case, \(f=f(u,u_{t})\in C^{1}(\mathbb{R}\times\mathbb{R}, \mathbb {R})\), Massatt [9] and Hale [10] proved the existence of global attractor when the continuous semigroup of the mapping \(S(t):\{ u_{0},u_{1}\}\mapsto\{u,u_{t}\}\) is pointwise dissipative and a bounded map. Moreover, under the assumptions that \(f(u,u_{t})\) is subcritical with respect to u and the external force term g belongs to \(L^{2}(\Omega )\), the author in [11] proved the existence of global attractor in the space \(\mathcal{H}=H^{1}_{0}(\Omega)\times L^{2}(\Omega)\).
In this paper, we investigate the latter case with the conditions given in [8, 11]. Compared with those in [11], the nonlinear term \(f(u,u_{t})\) satisfies the critical exponent growth condition with respect to u (see (2.4)) and the external force \(g\in H^{-1}(\Omega)\), which is weaker than the assumptions in [11]. We also remove the additional assumptions (4.26), (4.27) in [8]. Motivated by the key ideas in [8], by making a shifting on the semigroup \(\{S(t)\}_{t\geqslant0}\) with a (proper) fixed point \(\phi (x)\), we first show the global attractor \(\mathcal{A}-\phi(x)\) is bounded in a stronger topology. More precisely, \(\mathcal{A}-\phi(x)\) is bounded in the space \(\mathcal{H}^{\sigma}=D((-\Delta)^{\frac {1+\sigma}{2}})\times D((-\Delta)^{\frac{\sigma}{2}})\), \(\sigma\in [0,\frac{1}{2})\) (see Theorem 3.1). Then, by proving that the semigroup \(\{S(t)\}_{t\geqslant0}\) is Fréchet differential with respect to the initial value, we apply our standard method established in [12] to obtain the exponential attractor for equation (1.1) without the restrictions (4.26), (4.27) in [8]. In addition, with the regularity of solutions as in [6], we establish the existence of exponential attractor in the stronger space \(H^{1}_{0}(\Omega )\times H^{1}_{0}(\Omega)\).
In order to have a comparison, we organize this paper as follows. In Section 1, we briefly review some results. Section 2 is devoting to proving that the existence of global attractor in the space \(\mathcal {H}^{\sigma}\). In Section 3, we obtain the exponential attractor in the space \(H^{1}_{0}(\Omega)\times H^{1}_{0}(\Omega)\).
2 Preliminaries
Let
and
denotes the usual inner products and norms in \(L^{2}(\Omega)\), \(H^{1}_{0}(\Omega)\), and \(H^{1}_{0}(\Omega)\times L^{2}(\Omega)\), \(H^{1+\sigma }(\Omega)\times H^{\sigma}(\Omega)\), respectively.
Let \(u_{t}=v\), then equations (1.1) are equivalent to the following initial value problem in the space \(\mathcal{H}\):
where
Massatt in [9] proved that \(\mathbb{L}\) defined in (2.2) is a sectorial operator on \(\mathcal{H}\) and generates an analytic compact semigroup \(e^{\mathbb{L}t}\) on \(\mathcal{H}\) for \(t>0\). By the appropriate assumptions on f and the external forcing term \(g\in L^{2}(\Omega)\), they proved that there exists a unique function \(Y(\cdot )=Y(\cdot, Y_{0})\in C(R_{+}, \mathcal{H})\) such that \(Y(0,Y_{0})=Y_{0}\) and \(Y(t)\) satisfies the integral equation
which is also called a mild solution of equation (2.1).
The main purpose here is to study the case \(g\in H^{-1}(\Omega)\) and to provide some weaker assumptions on \(f(u,v)\) than the one in [8, 11], that is, the function \(f(u,v)\in C^{2}(\mathbb{R}\times\mathbb{R}, \mathbb{R})\) with \(f(0,0)=0\) satisfies the following condition:
and its partial derivatives \(f_{1}^{\prime}(u,v)\), \(f_{2}^{\prime}(u,v)\), \(f_{11}^{\prime\prime}(u,v)\), \(f_{12}^{\prime\prime}(u,v)\), \(f_{22}^{\prime\prime}(u,v)\) satisfy
Note again that in contrast to [8], here \(f=f(u,u_{t})\) without the addition assumptions (4.26), (4.27) in [8], and in contrast to [11], here \(f=f(u,u_{t})\) is critical with respect to u, and its partial derivatives \(f'_{j}\), \(f^{\prime\prime}_{ij}\) is weaker than assumptions (3), (4) in [11].
Obviously, such conditions are satisfied in particular for the nonlinearities \(f(u,v)=u^{5}+\delta\sin v\) (in other words, a small perturbation of \(u^{5}\)), etc.
As is well known, if \(g\in H^{-1}(\Omega)\), the solution of the elliptic equation (\(\theta>\ell\))
only belongs to \(H^{1}_{0}(\Omega)\). The regularity of the attractor (if it exists) is not higher than \(\mathcal{H}\) in this case. However, by a decomposition as in [8], \(u(t)=\hat{u}(t)+\phi(x)\) where \(\phi(x)\) is the solution of equation (2.8) for some θ, and \(\hat{u}(t)\) satisfies
Next, we will get the regularity of the solution \(\hat{u}(t)\).
3 Global attractor
We first present the following asymptotic regularity by the Galerkin approximate scheme (see [8, 13]).
Theorem 3.1
Let \(f(u,v) \in C^{2}(\mathbb{R}\times\mathbb{R}, \mathbb{R})\) with \(f(0,0)=0\) satisfying the above assumptions (2.3)-(2.7), \(g\in H^{-1}\), and \(\{S(t)\}_{t\geqslant0}\) be the semigroup generated by the weak solution of (1.1) in the space \(H^{1}_{0}(\Omega)\times L^{2}(\Omega)\). Then, for each \(0<\sigma<\frac{1}{2}\), there exist a subset \(\mathcal{B}_{\sigma}\), a monotone increasing function \(Q_{\sigma }(\cdot)\), and a positive constant ν (independent of σ) such that: for any bounded set \(B\subset\mathcal{H}\),
where \(\mathcal{B}_{\sigma}\) satisfies, for some constant \(\Lambda _{\sigma}>0\),
and \(\phi(x)\) is the unique solution of the above equation (2.8) by choosing \(\theta=\eta_{0}\) large enough, that is,
Remark 3.1
From [8], we know that
-
1.
for each θ (>ℓ), equation (2.8) has a unique solution \(u_{\theta}(x)\in H^{1}_{0}(\Omega)\) satisfying
$$ \Vert \nabla u_{\theta} \Vert ^{2}+2(\theta-\ell)\Vert u_{\theta} \Vert _{2}^{2}\leqslant \Vert g\Vert _{H^{-1}}^{2}; $$ -
2.
\(\Vert \nabla u_{\theta} \Vert \rightarrow0\), \(\Vert u_{\theta} \Vert _{L^{p}}\rightarrow0\) as \(\theta\rightarrow\infty\) for any fixed \(p\in[2,6)\).
Now, denote \(h_{\theta}(u, u_{t} )=f(u,u_{t})+\theta u\). From (2.4)-(2.6) and the mean value theorem, one has, for any \(v\in C^{1} ((0,\infty), \mathcal{H} )\),
where the constants C, δ, and ℓ come from (2.4)-(2.6), respectively, and \(\vartheta_{1}, \vartheta_{2}\in (0,1)\), ϕ is the solution of (3.1).
Hence, by choosing θ large enough in (3.2) with the assertion 2 in Remark 3.1, we know that
3.1 Decomposition of the equations
Let
where the positive constant \(\eta_{0}\) is large enough and such that (2.8) and (3.3) holds when \(\theta=\eta_{0}\).
Now, we first decompose the solution \(S(t)(u_{0},v_{0})=(u(t),u_{t}(t))\) into the sum
where \(K(t)\xi_{u}(0)=(w(t),w_{t}(t))\) and \(D(t)\xi_{u}(0)=(z(t),z_{t}(t))\) solve the following equations, respectively:
and
Then we decompose further the solution \(z(x,t)\) of (3.5) as \(z(x,t)=v(x,t)+\phi(x)\), where \(\phi(x)\) is the unique solution of (2.8) and \(v(x,t)\) solves the following equation:
Hence,
Hereafter, we always assume the assumptions in Theorem 3.1 hold and denote the unique solution of (2.8) by \(\phi(x)\).
3.2 The prior estimates in spaces \(\mathcal{H}, \mathcal {H}^{\sigma}(\sigma\in[0,\frac{1}{2}))\)
Now, we will give the prior estimates in space \(\mathcal{H}\) or regular space \(\mathcal{H}^{\sigma}\) for the above decompositions of the solutions z, v, w, u, respectively.
First of all, we have the following estimate (e.g., see [5, 8]) for the solution z of (3.5).
Lemma 3.1
There exists an increasing function \(Q_{1}(\cdot)\) such that, for any bounded set \(B\subset\mathcal{H}\), one gets, for any \(t\geqslant0\),
Proof
Indeed, we consider the functional (by choosing \(\hat{\phi }(y)=f(y,0)+\eta_{0} y\) in [5])
We set \(\xi(t)=z_{t}+\epsilon z\) with \(\epsilon\in(0,\epsilon_{0})\), for some \(\epsilon_{0}\leqslant1\) to be determined later. Multiplying equation (3.5) by ξ yields
where the energy functional E is defined as
Obviously, from (2.4), we know that here the function \(\hat{\phi }(y)=f(y,0)+\eta_{0} y\) satisfies the assumptions (8), (9), (11), (12) in [5], and due to the mean value theorem, we have
where \(\vartheta\in(0,1)\).
As to the assumption (2.6), if δ is small enough, the term in (3.12) can be controlled by the left-hand side of (3.10). Therefore, with the application of the same argument as in [5], it is easy to get the inequality (3.8). It finishes the proof of Lemma 3.1. □
Then, for the solution v of (3.6), we have the following.
Lemma 3.2
There exist an increasing function \(Q_{2}(\cdot)\) and some constant \(k_{1}>0\), such that, for any bounded set \(B\subset\mathcal{H}\),
that is,
Proof
As in [8, 14], for \(\epsilon\in (0,1)\) to be determined later, we define the functional
Then, from (3.3) and by taking ϵ small enough, we have
Multiplying (3.6) by \(v_{t}+\epsilon v(t)\) we have (note that \(z_{t}=v_{t}\) and \(\phi_{t}=0\))
where
It is easy to see that \(\Gamma\geqslant0\) as ϵ small enough, and from (2.7), we have
where \(r\in(0,1)\) and the constant \(c_{2}\) depends only on \(\Vert B\Vert _{\mathcal{H}}+\Vert \nabla\phi \Vert \).
By the mean value theorem, for the last term in the right-hand side of (3.13), we get
Since δ is small enough, from Lemma 3.1 and by noticing \(\Lambda(0)\leqslant Q(\Vert B\Vert _{\mathcal{H}}+\Vert \nabla\phi \Vert )\) and by applying Lemma 2.2 [15], we can finish the proof of Lemma 3.2. □
Second, for the solution \(w(t)\) in (3.4), we have the following result.
Lemma 3.3
For each bounded subset \(B\subset\mathcal{H}\) and any \(\sigma\in [0,\frac{1}{2})\), there exists an increasing function \(Q_{\sigma}(\cdot )\) such that
where the positive constant \(\nu_{\sigma}\) depends only on \(\Vert B\Vert _{\mathcal{H}}\) and σ.
Proof
Rewriting equation (1.1) as follows:
and applying the same argument as in the proof procedure of Lemma 3.1 with the assumptions (2.4)-(2.6), and combining with (3.8), it is easy to show that
Now, rewrite equation (3.4) as follows:
Denoting \(\hat{\phi}(u)=f(u,0)+\eta_{0}u\), \(\hat{\phi}(z)=f(z,0)+\eta_{0}z\) like the one in [5], and testing equation (3.15) with \(A^{\sigma}w_{t}\), we are led to the identity (denote \(\gamma(t)=(w(t),w_{t}(t))\))
Due to (2.4), we get
By virtue of (2.6), we have
where \(\vartheta_{2}\in(0,1)\).
Additionally,
Plugging (3.17)-(3.19) into (3.16), we obtain
and the Gronwall lemma entails
which concludes the proof. □
Now, based on Lemmas (3.2) and (3.3), one can also decompose the solution \(u(t)\) as follows.
Lemma 3.4
For any \(\epsilon>0\),
where \(v_{1}(t)\) and \(w_{1}(t)\) satisfy the following:
and
with the constants \(C_{\epsilon}\) and \(K_{\epsilon}\) depending on ϵ, the initial value \(\Vert \xi_{u}(0)\Vert _{\mathcal{H}}\) and \(\Vert g\Vert _{H^{-1}}\).
Due to (3.7) and Lemma 4.5 in [8], one can easily deduce Lemma 3.4.
Next, we will show further that the estimate w in (3.14) can be chosen independent of the time t.
Lemma 3.5
For every \(\sigma\in[0,\frac{1}{2})\), there exists a constant \(J_{B,\sigma}\) which depends only on the \(\mathcal{H}\)-bound of B (\(\subset\mathcal{H}\)) and σ, such that
Proof
The idea comes from [8, 16, 17] but with different details.
Multiplying (3.15) by \(A^{\sigma}(w_{t}(t)+\epsilon w(t))\), we obtain
where ϵ (>0) is small enough to be determined later.
We only need to deal with the right-hand side term, and the others can be estimated easily as those Lemma 4.4 in [18].
From (2.4), we first deal with the first dual product,
Applying Lemma 3.4, we have
and
Similarly,
By the mean value theorem, similar to (3.18), we have
and
Therefore, we can finish the proof by using the Gronwall-type inequality as was done in [18], Lemma 4.4. □
Finally, for \(u(t)\), the following decomposition is valid, which will be used later to construct an exponential attractor.
Lemma 3.6
For each \(\sigma\in[0,\frac{1}{2})\) and for any bounded (in \(\mathcal {H}^{\sigma}\)) subset \(B_{1}\subset\mathcal{H}^{\sigma}\), if the initial data \(\xi_{u}(0)\in\phi(x)+B_{1}\), then
where the constant \(K_{B_{1},\sigma}\) depends only on the \(\mathcal {H}^{\sigma}\)-bound of \(B_{1}\) and σ.
Proof
By taking the following decomposition: \(u(t)=\hat{u}(t)+\phi(x)\), where \(\phi(x)\) is the unique solution of (3.1) and \(\hat{u}(t)\) solves the following equation:
by applying Lemma 3.4, we get similar estimates to those in Lemma 3.5. Noting that the initial value data \((\hat{u}(x,0),\hat {u}_{t}(x,0))=\xi_{u}(0)-(\phi,0)\in\mathcal{H}^{\sigma}\), the conclusion can be obtained. □
Hence, the proof of Theorem 3.1 follows from the above lemmas as in [8].
4 Exponential attractor
In this section, based on the asymptotic regularity obtained above, we will construct an exponential attractor by the abstract method devised in [12]. Here it is different from [8] to prove the asymptotic smooth property (as it was called by EMS 2000 in [19]) under the additional assumptions (4.26), (4.27) in that paper.
By our abstract method devised in [12], one defines here S as the map induced by Poincaré sections of a Lipschitz continuous semigroup \(\{S(t)\}_{t\geqslant0}\) at the time \(t=T^{*}\) for some \(T^{*}>0\); that is, \(S: =S(T^{*})\) and \(S: B_{\epsilon_{0}}(\mathscr{A})\rightarrow B_{\epsilon_{0}}(\mathscr{A})\) is a \(C^{1}\) map. \(\mathscr{L}(X)=\{L|L:X\rightarrow X \text{ bounded linear maps}\}\), \(\mathscr{L}_{\lambda}(X)=\{L|L\in \mathscr{L}(X)\mbox{ and }L=K+C \text{ with } K \text{ compact}, \Vert C\Vert <\lambda\}\). For the discrete semigroup \(\{S^{n}\}^{\infty}_{n=1}\) generated by S, we have the following lemmas.
Lemma 4.1
(see Theorem 1.2 [12])
If there exists \(\lambda\in(0,1)\) such that \(D_{x}S(x)\in \mathscr{L}_{\lambda}(X)\) for all \(x\in B_{\epsilon_{0}}(\mathscr{A})\) then \(\{S^{n}\}^{\infty}_{n=1}\) possesses an exponential attractor \(\mathscr{M}_{d}\).
Lemma 4.2
(see Theorem 1.4 [12])
Suppose that there is \(T^{*}>0\) such that \(S=S(T^{*})\) satisfies the condition of above lemma 4.1 and the map \(F(x,t)=S(t)x\) is Lipschitz from \([0,T]\times X\) into X for any \(T>0\). Then the flow \(\{S(t)\}_{t\geqslant0}\) admits an exponential attractor \(\mathscr{M}_{c}\).
As regards the Fréchet differential of semigroup, we have the following crucial lemma.
Lemma 4.3
Consider the linearized equation of (1.1),
If the function \(f(u,v)\) satisfies conditions (2.3)-(2.7), then (4.1) is a well-posed problem in E, the mapping \(S(t)\) defined in (1.1) is Fréchet differentiable on E for any \(t>0\), its differential at \(\varphi_{0}=(u_{0},u_{1})^{T}\) is the linear operator on \(E:(\xi,\eta)^{T}\mapsto(U(t),V(t))^{T}\), where U is the solution of (4.1) and \(V=U_{t}\).
Proof
According to assumptions (2.4)-(2.6), (4.1) is a well-posed problem in \(\mathcal{H}\).
In the sequel, we first consider the Lipschitz property of the semigroup \(S(t)\) on the bounded sets B (\(\subset\mathcal{H}\)). Letting \(\varphi_{0}=(u_{0},u_{1})^{T}\in D(\mathbb{L})\), \(\tilde{\varphi }_{0}=\varphi_{0}+(\xi,\eta)^{T}=(u_{0}+\xi,u_{1}+\eta)^{T}\in D(\mathbb{L})\), it follows from the above estimate that the solutions \(S(t)\varphi _{0}=\varphi(t)=(u(t),u_{t}(t))^{T}\in D(\mathbb{L})\), \(S(t)\tilde{\varphi }_{0}=\tilde{\varphi}(t)=(\tilde{u}(t),\tilde{u}_{t}(t))^{T}\in D(\mathbb{L})\).
Obviously, the difference \(\psi=\tilde{u}-u\) satisfies
Taking the scalar product of (4.2) with \(\psi_{t}=\tilde{u}_{t}-u_{t}\) in \(L^{2}(\Omega)\) and by the mean value theorem, we have
Since δ is small enough, applying the Gronwall inequality to (4.3), it is easy to show the semigroup \(\{S(t)\}_{t\geqslant0}\) is Lipschitz, i.e.,
Integrating (4.3) in dτ on \([0, t]\), this, on account of (4.4), yields
Furthermore, applying the same argument as in [6] with the assumptions (2.4)-(2.6), we can obtain the same estimates for \(\Vert \psi_{t}(t)\Vert \) and \(\Vert \nabla\psi_{t}(t)\Vert \), that is,
Next, consider the difference \(\theta=\tilde{u}-u-U\), with U the solution of the linearized equation (4.1). Obviously,
and
where \(h=- [f(\tilde{u}, \tilde {u}_{t})-f(u,u_{t})-f_{1}'(u,u_{t})U-f_{2}'(u,u_{t})U_{t} ]\).
By the mean value theorem, we have
where \(\vartheta_{i}\in(0,1)\), \(i=3,4\).
Taking the scalar product of each side of (4.8) with \(\theta_{t}\) in \(L^{2}(\Omega)\) and by (4.7), we find
where \(\vartheta_{3}, \vartheta_{4}\in(0,1)\).
We will deal with every term in the right-hand side of inequality (4.10); we have
Plugging (4.11)-(4.14) into (4.10), we have
where \(C_{1}>0\), \(C_{2}>0\). By the Gronwall inequality and the estimates (4.4), (4.5), (4.6), we obtain
where \(C_{3}>0\), \(C_{4}>0\), that is,
Therefore,
Since \(\mathcal{H}=H^{1}_{0}(\Omega)\times L^{2}(\Omega)\) is dense in \(D(\mathbb{L})\), (4.15) is true for solutions \(\tilde{\psi}(t)\), \(\psi(t)\), \(U(t)\in\mathcal{H}\).
Next, to prove the decomposition (4.1), one has the following.
Lemma 4.4
\(L\cdot((\xi,\eta)^{T})=(U,U_{t})=(U_{1},U_{1t})+(U_{2},U_{2t})=C\cdot((\xi ,\eta)^{T})+K\cdot((\xi,\eta)^{T})\) (where the operator C is contractive and K is compact as in Lemma 4.1), separately, satisfying the following equations:
Proof
For \((U_{1}, U_{1t})\), we set
Here \(\epsilon\in(0,\epsilon_{0})\), for some \(\epsilon_{0}\leqslant1\) to be determined later. Testing equation (4.16) with ζ yields
where the energy functional E is given as
We have the inequality
Inserting it into (4.18), one gets
so, for \(\epsilon_{0}\) small enough,
which implies that \((U_{1},U_{1t})=C\cdot((\xi,\eta)^{T})\) is contractive.
Furthermore, multiplying (4.16) by \(A^{\sigma}U_{1t}+\epsilon A^{\sigma}U_{1}\) as in Lemma 3.5, we have
Similarly, multiplying (4.1) by \(A^{\sigma}U_{t}+\epsilon A^{\sigma}U\), we have
Thus,
which implies that \(K\cdot(\xi,\eta)^{T}=(U_{2},U_{2t})\) is compact and the proof of Lemma 4.4 is finished. □
We also need the following Lipschitz continuity of \(\{S(t)\}\).
Lemma 4.5
The mapping \((t,\xi_{u}(0))\mapsto\xi_{u}(t)\) is Lipschitz continuous on \([0,t^{*}]\times\mathcal{B}_{\sigma}\), where the absorbing set \(\mathcal {B}_{\sigma}\) is given in Theorem 3.1.
Proof
For any \(\xi_{u_{i}}(0)\in\mathcal{B}_{\sigma}\), \(t_{i}\in[0,t^{*}]\), \(i=1,2\), we have
The first term has been estimated in (4.4); for the second term, we have
and we note that \(\Vert \frac{d}{dt}(S(t)\xi_{u_{2}}(0))\Vert _{L^{\infty }(0,t^{*};\mathcal{H})}\) can be estimated as in [6] with the assumptions (2.4)-(2.6). □
Therefore, applying the abstract results devised in [12] to Lemmas 4.4, 4.5, we obtain the exponential attractor for the original semigroup \(\{S(t)\}_{t\geqslant0}\) in the space \(\mathcal{H}\).
Also applying the same argument as in [6] with the assumptions (2.4)-(2.6), we can obtain the same estimates about \(\Vert \nabla u_{t}(t)\Vert \) and \(u_{tt}(t)\). Thus, similar to Theorem 4.13 in [8], we indeed have the following results (with a stronger attraction for the second component \(u_{t}(t)\) of \((u(t),u_{t}(t))\)).
Theorem 4.1
Let the assumptions of Theorem 3.1 hold, then there exists a set \(\mathcal{E}\), such that
-
(i)
\(\mathcal{E}\) is compact in \(H^{1}_{0}(\Omega)\times H^{1}_{0}(\Omega)\) and positively invariant, i.e., \(S(t)\mathcal{E}\subset\mathcal {E}\) for all \(t\geqslant0\);
-
(ii)
\(\dim_{F}(\mathcal{E},H^{1}_{0}(\Omega)\times H^{1}_{0}(\Omega) )<\infty\);
-
(iii)
there exist a constant \(\alpha>0\) and an increasing function \(Q:\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}\) such that, for any subset \(B\subset\mathcal{H}\) with \(\Vert B\Vert _{\mathcal{H}}\leqslant R\),
$$ \operatorname{dist}_{H^{1}_{0}(\Omega)\times H^{1}_{0}(\Omega)} \bigl(S(t)B,\mathcal {E} \bigr)\leqslant Q(R)\frac{1}{\sqrt{t}}e^{-\alpha t} \quad\textit{for all } t\geqslant0; $$ -
(iv)
\(\mathcal{E}=(\phi(x),0)+\mathcal{E}_{\sigma}\), with \(\mathcal {E}_{\sigma}\) bounded in \(H^{1}_{0}(\Omega)\cap H^{1+\sigma}(\Omega)\times H^{1}_{0}(\Omega)\) (\(\sigma<\frac{1}{2}\)), where \(\phi(x)\) is the unique solution of (3.1).
References
Webb, GF: Existence and asymptotic behavior for a strongly damped nonlinear wave equation. Can. J. Math. 32(2), 631-643 (1980)
Carvalho, AN, Cholewa, JW: Attractors for strongly damped wave equations with critical nonlinearities. Pac. J. Math. 207(2), 287-310 (2002)
Carvalho, AN, Cholewa, JW: Regularity of solutions on the global attractor for a semilinear damped wave equation. J. Math. Anal. Appl. 337(2), 932-948 (2008)
Carvalho, AN, Cholewa, JW, Dlotko, T: Strongly damped wave equation problems: bootstrapping and regularity of solutions. J. Differ. Equ. 244(9), 2310-2333 (2008)
Pata, V, Squassina, M: On the strongly damped wave equation. Commun. Math. Phys. 253(3), 511-533 (2005)
Pata, V, Zelik, S: Smooth attractors for strongly damped wave equations. Nonlinearity 19(7), 1495-1506 (2006)
Yang, M, Sun, C: Exponential attractors for the strongly damped wave equations. Nonlinear Anal., Real World Appl. 11(2), 913-919 (2010)
Sun, C: Asymptotic regularity for some dissipative equations. J. Differ. Equ. 248(2), 342-362 (2010)
Massatt, P: Limiting behavior for strongly damped nonlinear wave equations. J. Differ. Equ. 48(3), 334-349 (1983)
Hale, JK: Asymptotic Behavior of Dissipative Systems. Am. Math. Soc., Providence (1988)
Zhou, SF: Dimension of the global attractor for strongly damped nonlinear wave equation. J. Math. Anal. Appl. 233(1), 102-115 (1999)
Zhong, YS, Zhong, CK: Exponential attractors for semigroups in Banach spaces. Nonlinear Anal. 75(4), 1799-1809 (2012)
Robinson, JC: Infinite-Dimensional Dynamical Systems an Introduction to Dissipative Parabolic PDEs and the Theory of Global Attractors. Cambridge University Press, Cambridge (2001)
Pata, V, Zelik, S: A remark on the damped wave equation. Commun. Pure Appl. Anal. 5(3), 611-616 (2006)
Grasselli, M, Pata, V: Asymptotic behavior of a parabolic-hyperbolic system. Commun. Pure Appl. Anal. 3(4), 849-881 (2004)
Zelik, S: Asymptotic regularity of solutions of a nonautonomous damped wave equation with a critical growth exponent. Commun. Pure Appl. Anal. 3(4), 921-934 (2004)
Babin, AV, Vishik, MI: Attractors of Evolution Equations. North-Holland, Amsterdam (1992)
Sun, C, Cao, D, Duan, J: Non-autonomous wave dynamics with memory-asymptotic regularity and uniform attractor. Discrete Contin. Dyn. Syst., Ser. B 9(3-4), 743-761 (2008)
Efendiev, M, Miranville, A, Zelik, S: Exponential attractor a nonlinear reaction-diffusion system in \(R^{3}\). C. R. Acad. Sci., Ser. 1 Math. 330(8), 713-718 (2000)
Acknowledgements
Partially supported by NSFC Grant(11401100), the foundation of Fujian Education Department(JB14021), and the innovation foundation of Fujian Normal University (IRTL1206).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhong, Y. Exponential attractors for the strongly damped wave equations with critical exponent. Bound Value Probl 2016, 36 (2016). https://doi.org/10.1186/s13661-016-0543-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0543-5