- Research
- Open access
- Published:
Global attractors for nonlinear wave equations with linear dissipative terms
Boundary Value Problems volume 2015, Article number: 16 (2015)
Abstract
An initial boundary value problem of the semilinear wave equation of which the source term \(f(x,u)\) is without variational structure in a bounded domain is considered. Firstly, we prove that it has a unique globally weak solution \((u,u_{t})\in C^{0}([0,\infty), H_{0}^{1}(\Omega )\times L^{2}(\Omega))\) by using our previous results (Pan et al. in Bound. Value Probl. 2012:42, 2012). Secondly, we obtain the existence of global attractors in \(H_{0}^{1}(\Omega)\times L^{2}(\Omega)\) by using the ω-limit compactness condition (Ma et al. in Indiana Univ. Math. J. 5(6):1542-1558, 2002), rather than the traditional method.
1 Introduction
In this paper we are concerned with the existence of global attractors for nonlinear wave equations with linear dissipative terms in a bounded domain Ω in \(R^{n}\):
where \(u_{t}=\frac{\partial u}{\partial t}\), \(u_{tt}=\frac{\partial ^{2}u}{\partial t^{2}}\), \(\triangle=\sum_{i=1}^{n}\frac{\partial ^{2}}{\partial x_{i}^{2}}\), \(x=(x_{1}, \ldots, x_{n})\); the sourcing terms are \(-|u|^{p-1}u+f(x,u)\), \(1< p<\frac{n}{n-2}\), \(n\geq 3\); \(1< p<\infty\), \(n=1,2\); and \(f(x,u)\) satisfies
The attractor is an important concept describing the asymptotic properties of dynamical systems. A great deal of work has been devoted to the existence of global attractors of dynamical systems (see, e.g. [1–9] and references therein). The existence of a global attractor (1.1) with a source term only containing f was proved by Hale [7] for f satisfying for \(n\geq3\) the growth condition \(f(u)\leq C_{0}(|u|^{\gamma}+ 1)\), with \(1\leq\gamma<\frac{n}{n-2}\). For the case \(n=2\), Hale and Raugel [10] proved the existence of the attractor under an exponential growth condition of the type \(|f(u)|\leq\exp\theta(u)\) (such a condition previously appeared in the work of Gallouët [11]). The existence of the attractor in the critical case \(\gamma=\frac{n}{n-2}\) was first proved by Babin and Vishik [1], and then more generally by Arrieta et al. [12]. For other treatments see Chepyzhov and Vishik [3], Ladyzhenskaya [13], Raugel [14] and Temam [9]. When Ω is bounded and u is subjected to suitable boundary conditions, the general result is that the dynamical system associated with the problem possesses a global attractor in the natural energy space \(H_{0}^{1}(\Omega)\times L^{2}(\Omega)\) if nonlinear term f has a subcritical or critical exponent, because there exist typical parabolic-like flows with an inherent smoothing mechanism. By the traditional method (see [15] for examples), in order to obtain the existence of global attractors for semilinear wave equations, one needs to verify the uniform compactness of the semigroup by getting the boundedness in a more regular function space. However, in some cases it is difficult to obtain the uniform compactness of the semigroup. Fortunately, a new method for obtaining the global attractors has been developed in [16]. With this method, one only needs to verify a necessary compactness condition (ω-limit compactness) with the same type of energy estimates as those for establishing the absorbing sets. In this paper, we use this method to obtain the existence of global attractors for problem (1.1) with the general condition where the source term \(f(x,u)\) is without variational structure.
This paper is organized as follows:
-
in Section 2 we recall some preliminary tools, definitions and our previous results;
-
in Section 3 we obtain the existence and uniqueness of weak solution by using our previous results [17] and the various conditions can also be found [18];
-
in Section 4 we obtain our main results for problem (1.1) by using the new method (ω-compactness condition).
2 Preliminaries
Consider the abstract nonlinear evolution equation defined on X, given by
where \(G:X_{2}\times\mathbf{R}^{+}\rightarrow{X_{1}}^{*}\) is a mapping, \(X_{2}\subset X_{1}\), \(X_{1}\), \(X_{2}\) are Banach spaces and \(X_{1}^{*}\) is the dual space of \(X_{1}\), \(\mathbf{R}^{+}=[0,\infty)\), \(u=u(x,t)\) is an unknown function.
First we introduce a sequence of function spaces:
where H, \(H_{1}\), \(H_{2}\) are Hilbert spaces, X is a linear space, \(X_{1}\), \(X_{2}\) are Banach spaces and all inclusions are dense embeddings.
Suppose that
In addition, the operator L has an eigenvalue sequence
such that \(\{e_{k}\}\subset X\) is the common orthogonal basis of H and \(H_{2}\).
Definition 2.1
[17]
Set \((\varphi,\psi)\in X_{2}\times H_{1}\), \(u \in W_{\mathrm{loc}}^{1,\infty }((0,\infty),H_{1})\cap L_{\mathrm{loc}}^{\infty}((0,\infty),X_{2})\) is called a globally weak solution of (2.1), if \(\forall v \in X_{1}\), we have
Definition 2.2
[17]
Let \(Y_{1}\), \(Y_{2}\) be Banach spaces, the solution \(u(t,\varphi,\psi)\) of (2.1) is called uniformly bounded in \(Y_{1}\times Y_{2}\), if for any bounded domain \(\Omega_{1}\times\Omega_{2}\subset Y_{1}\times Y_{2}\), there exists a constant C which only depends on the domain \(\Omega_{1}\times\Omega_{2}\), such that
Suppose that \(G=A+B:X_{2}\times\mathbf{R}^{+}\rightarrow{X_{1}}^{*}\). Throughout this paper, we assume that:
-
(i)
There exists a functional \(F \in C^{1}:X_{2}\rightarrow\mathbf {R}^{1} \) such that
$$ \langle Au,Lv\rangle=\bigl\langle -DF(u),v\bigr\rangle ,\quad \forall u,v \in X. $$(2.6) -
(ii)
The functional F is coercive, i.e.
$$ F(u)\rightarrow\infty\quad \Leftrightarrow\quad {\|u\|}_{X_{2}} \rightarrow\infty . $$(2.7) -
(iii)
There exist constants \(C_{1}>0\) and \(C_{2}>0\) such that
$$ \bigl\vert \langle Bu,Lv\rangle\bigr\vert \leq C_{1}F(u)+C_{2}{ \|v\|}_{H_{1}}^{2},\quad \forall u,v \in X. $$(2.8)
Lemma 2.1
[17]
Set \(G:X_{2}\times\mathbf{R}^{+}\rightarrow{X_{1}}^{*}\) to be weakly continuous, \((\varphi,\psi)\in X_{2}\times H_{1}\), then we obtain the following results:
-
(1)
If \(G=A\) satisfies the assumptions (i) and (ii), then there exists a globally weak solution of (2.1),
$$u\in W_{\mathrm{loc}}^{1,\infty}\bigl((0,\infty),H_{1}\bigr)\cap L_{\mathrm{loc}}^{\infty }\bigl((0,\infty),X_{2}\bigr), $$and u is uniformly bounded in \(X_{2}\times H_{1}\).
-
(2)
If \(G=A+B\) satisfies the assumptions (i), (ii) and (iii), then there exists a globally weak solution of (2.1),
$$u\in W_{\mathrm{loc}}^{1,\infty}\bigl((0,\infty),H_{1}\bigr)\cap L_{\mathrm{loc}}^{\infty }\bigl((0,\infty),X_{2}\bigr). $$ -
(3)
Furthermore, if \(G=A+B\) satisfies
$$ \bigl\vert \langle Gu,v\rangle\bigr\vert \leq\frac{1}{2}\|v \|_{H}^{2}+CF(u)+g(t) $$(2.9)for some \(g\in L_{\mathrm{loc}}^{1}(0,\infty)\), then \(u\in W_{\mathrm{loc}}^{2,2}((0,\infty),H)\).
A family of operators \(S(t): X\rightarrow X\) (\(t\geq0\)) is called a semigroup generated by (2.1) if it satisfies the following properties:
-
(1)
\(S(t): X\rightarrow X\) is a continuous map for any \(t\geq0\),
-
(2)
\(S(0)=\mathrm{id}: X\rightarrow X\) is the identity,
-
(3)
\(S(t+s)=S(t)\cdot S(s)\), \(\forall t, s\geq0\). Then the solution of (2.1) can be expressed as
$$u(t,u_{0})=S(t)u_{0}. $$
Introducing the expression of the abstract semilinear wave equation:
where \(X_{1}\), X are Banach spaces, \(X_{1}\subset X\) is a dense inclusion, \(L:X_{1}\rightarrow X\) is a sectorial linear operator, and \(T:X_{1}\rightarrow X\) is a nonlinear bounded operator.
Lemma 2.2
[19]
Set \(L:X_{1}\rightarrow X\), a sectorial linear operator and \(T:X_{1}\rightarrow X\), a nonlinear bounded operator, \({\mathcal {L}}=L+k^{2}I\), then the solution of (2.9) can be expressed as follows:
Next, we introduce the concepts and definitions of invariant sets, global attractors, and ω-limit compactness sets for the semigroup \(S(t)\).
Definition 2.3
Let \(S(t)\) be a semigroup defined on X. A set \(\Sigma\subset X\) is called an invariant set of \(S(t)\) if \(S(t)\Sigma= \Sigma\), \(\forall t\geq 0\). An invariant set Σ is an attractor of \(S(t)\) if Σ is compact, and there exists a neighborhood \(U\subset X\) of Σ such that, for any \(u_{0}\in U\),
In this case, we say that Σ attracts U. Especially, if Σ attracts any bounded set of X, Σ is called a global attractor of \(S(t)\) in X.
Definition 2.4
Let X be an infinite dimensional Banach space and A be a bounded subset of X. The measure of noncompactness \(\gamma(A)\) of A is defined by
Lemma 2.3
[11]
If \({A_{n}}\subset X\) is a sequence bounded and closed sets, \(A_{n}\neq \emptyset\), \(A_{n+1}\subset A_{n}\), and \(\gamma(A_{n})\rightarrow0\) (\(n\rightarrow\infty\)), then the set \(A=\bigcap_{n=1}^{\infty} A_{n}\) is a nonempty compact set.
Definition 2.5
[16]
A semigroup \(S(t): X\rightarrow X\) (\(t\geq0\)) in X is called ω-limit compact, if for any bounded set \(B\subset X\) and \(\forall \varepsilon>0\), there exists \(t_{0}\) such that
where γ is a noncompact measure in X.
For a set \(D\subset X\), we define the ω-limit set of D as follows:
where the closure is taken in the X-norm.
Lemma 2.4
[19]
Let \(S(t)\) be a semigroup in X, then \(S(t)\) has a global attractor \(\mathcal{A}\) in X if and only if
-
(1)
\(S(t)\) has ω-limit compactness, and
-
(2)
there is a bounded absorbing set \(B\subset X\).
In addition, the ω-limit set of B is the attractor \(\mathcal {A}=\omega(B)\).
Remark 2.1
Although the lemma has been proved partly in [19], we still give a proof here. Our proof is different from that in [20] but is similar to that in [16]. We adopt and present the proof also because we will use the same method to obtain the existence of the global attractor.
Proof
Step 1. To prove the sufficiency of Lemma 2.4.
(a) \(S(t)\) has ω-limit compactness, i.e., for any bounded set \(B\subset X\) and \(\forall\varepsilon>0\), there exists a \(t_{0}\), such that
So, we know that \(\omega(B)=\bigcap_{t_{0}= 0}^{\infty}\overline{\bigcup_{t\geq t_{0}}S(t)B}\) is a compact set from Lemma 2.3.
(b) \(\omega(B)\) is nonempty.
For \(B\neq\emptyset\), so \(\overline{\bigcup_{t\geq s}S(t)B}\neq \emptyset\), \(\forall s\geq0\), and
we can obtain
(c) \(\omega(B)\) is invariant.
For \(x\in\omega(B)\) ⇔ there exist \(\{x_{n}\}\in B\) and \(t_{n}\rightarrow\infty\), such that \(S(t_{n})x_{n}\rightarrow x\).
If \(y\in S(t)\omega(B)\), then for some \(x\in\omega(B)\), \(y=S(t)x\).
Hence, there exist \(\{x_{n}\}\subset B\), \(t_{n}\rightarrow\infty\), such that
In conclusion, \(y\in\omega(B)\), \(S(t)\omega(B)\in\omega(B)\), \(\forall t\geq0\).
If \(x\in\omega(B)\), fix \(\{x_{n}\}\subset B\) and \({t_{n}}\), such that
\(S(t)\) is ω-limit compact, i.e., there exists a \(y\in H\), such that
Therefore \(y\in\omega(B)\).
For
and
which implies that
In conclusion, combining (a)-(c) and condition (2), Step 1 has been proved.
Step 2. To prove the necessity of Lemma 2.4.
If \({\mathcal{A}}\) is a global attractor, then the ε-neighborhood \(U_{\varepsilon}({\mathcal{A}})\subset X\) is an absorbing set. So we need only to prove \(S(t)\) has ω-limit compactness.
Since \(U_{\varepsilon}({\mathcal{A}})\) is an absorbing set, for any bounded set \(B\subset X\) and \(\varepsilon> 0\), there exists a time \(t_{\varepsilon}(B)> 0\) such that
On the other hand, \(\mathcal{A}\) is a compact set, and there exist finite elements \(x_{1}, x_{2}, \ldots, x_{n} \in X\) such that
Then
which implies that
Hence, Lemma 2.4 has been proved. □
3 Existence and uniqueness of globally weak solution
Now, in this section, we begin to prove that problem (1.1) has a unique globally weak solution \((u, u_{t})\in C^{0}([0, \infty), H_{0}^{1}\times L^{2}(\Omega))\).
Theorem 3.1
(Existence)
If \(\forall(\varphi, \psi)\in H_{0}^{1}(\Omega)\times L ^{2}(\Omega)\), f satisfies condition (1.2) and \(1< p<\frac{n}{n-2}\), \(n\geq3\); \(1< p<\infty\), \(n=1,2\), then (1.1) has a globally weak solution
Remark 3.1
Divide the operator \(G(u)\) in Lemma 2.1 into two parts: A and B, where A has a variational structure and B has a non-variational structure. Then we obtain the globally weak solution by applying our result (2) in Lemma 2.1.
Proof
Fix spaces as follows:
In problem (1.1), set \(G(u)=\triangle u-|u|^{p-1}u+f(x,u)\).
Define the map \(G(u)=A+B: X_{1}\rightarrow X_{1}^{\ast}\) as
Note the functional \(I:X_{1}\rightarrow R^{1}\),
Obviously, we obtain
and
which implies that conditions (1) and (2) in Lemma 2.1 hold.
From the growth restriction condition (1.2), we get
where \(C, C_{1}, C_{2}>0\). It implies that condition (3) in Lemma 2.1 holds.
In conclusion, we see that problem (1.1) has a globally weak solution
from the second result in Lemma 2.1. □
Next, we prove the uniqueness of the globally weak solution to problem (1.1).
Theorem 3.2
If \(u\in W_{\mathrm{loc}}^{1,\infty}((0,\infty),L^{2}(\Omega))\cap L_{\mathrm{loc}}^{\infty}((0,\infty),H_{0}^{1}(\Omega))\) is a weak solution of problem (1.1), then the solution u is unique.
Remark 3.2
From the formula of the wave equation in Lemma 2.2 and using the Gronwall inequality, we obtain the uniqueness of the globally weak solution.
Proof
Set \(u_{1}, u_{2}\in W_{\mathrm{loc}}^{1,\infty}((0,\infty),L^{2}(\Omega ))\cap L_{\mathrm{loc}}^{\infty}((0,\infty),H_{0}^{1}(\Omega))\) as the solutions of problem (1.1), then from Lemma 2.2, we get \(u_{i}\in C^{0}([0,\infty), H_{0}^{1}(\Omega))\), \(i=1,2\), and
by using the Gronwall inequality, we easily obtain
where \(\tilde{u}\) is the mean value between \(u_{1}\) and \(u_{2}\).
It implies that
□
4 Existence of global attractor
In this section, we proved the existence of global attractor to problem (1.1).
Theorem 4.1
For any \((\varphi, \psi)\in(H_{0}^{1}(\Omega)\times L^{2}(\Omega))\), the sourcing term f satisfies the growth restriction (1.2) and the exponent of p satisfies \(1< p<\frac{n}{n-2}\), \(n\geq3\) or \(1< p<\infty\), \(n=1,2\); then problem (1.1) has a global attractor \(\mathcal{A}\) in \((H_{0}^{1}(\Omega )\times L^{2}(\Omega))\).
Remark 4.1
Comparing Remark 3.1, we divide the operator \(G(u)\) of (2.1) into two parts: L and T, where L is a linear operator, while T is a nonlinear operator. We obtain the global attractor of problem (1.1) by using Lemma 2.4.
Proof
According to Lemma 2.4, we prove Theorem 4.1 in the following three steps.
Step 1. Problem (1.1) has a globally unique weak solution.
Step 2. \(S(t)\) has a bounded absorbing set in \(H_{0}^{1}(\Omega)\times L^{2}(\Omega)\).
From Theorems 3.1 and 3.2, we see that problem (1.1) has a globally unique weak solution \((u, u_{t})\in C^{0}([0,\infty), H_{0}^{1}\times L^{2})\). Equation (1.1) generates a semigroup:
Fix the spaces as follows:
Note that
and L generates the fractional space, \(H_{\frac {1}{2}}=H_{0}^{1}(\Omega)\).
Obviously, there exists a \(C^{1}\) functional \(F: H_{\frac {1}{2}}\rightarrow R^{1}\) such that
and we easily get
Since
then we get
and
Equation (1.1) is equivalent to the equations that follow:
Multiply (4.7) by \((-Lu, v)\) and take the inner product in H:
Summing (4.8) and (4.9), it follows that
Furthermore,
Integrating (4.10) over \([0,t]\) with respect to time t and combining the two formulas, we get
combining with (4.6), it follows that
Applying the Gronwall inequality, we get
It implies that \(S(t)\) has a bounded absorbing set in \(H_{\frac {1}{2}}\times H\).
Step 3. \(S(t)\) has ω-limit compactness.
From the formula in Lemma 2.2, the solution of problem (1.1) can be expressed as follows:
Since the linear operator
is a symmetrical sector operator, it has the eigenvalue sequence:
Then
For any \(v=\sum_{j=1}^{\infty}v_{j}e_{j}\in L^{2}(\Omega)\) and \(-\lambda _{j}>0\) (\(j\geq1\)), the operator
is uniformly bounded, i.e.
Furthermore, \((u, u_{t})\) contains two parts:
-
degenerative term
$$\left ( \begin{array}{@{}c@{}} u^{1} \\ u_{t}^{1} \end{array} \right ) =e^{-kt}\left ( \begin{array}{@{}c@{\quad}c@{}} \cos(-\triangle)^{\frac{1}{2}}+k(-\triangle)^{-\frac{1}{2}}\sin t(-\triangle)^{\frac{1}{2}} & (-\triangle)^{-\frac{1}{2}}\sin t(-\triangle)^{\frac{1}{2}} \\ k\cos t(-\triangle)^{\frac{1}{2}}-(-\triangle)^{\frac{1}{2}}\sin t(-\triangle)^{\frac{1}{2}} & \cos t(-\triangle)^{\frac{1}{2}} \end{array} \right ) \left ( \begin{array}{@{}c@{}} \varphi \\ \psi \end{array} \right ); $$ -
integral term
$$\left ( \begin{array}{@{}c@{}} u^{2} \\ u_{t}^{2} \end{array} \right ) =\left ( \begin{array}{@{}c@{\quad}c@{}} \int_{0}^{t}e^{-k(t-\tau)}(-\triangle)^{-\frac{1}{2}}\sin(t-\tau )(-\triangle)^{\frac{1}{2}}(-|u|^{p-1}u+f)\, d\tau \\ \int_{0}^{t}e^{-k(t-\tau)}\cos(t-\tau)(-\triangle)^{\frac {1}{2}}(-|u|^{p-1}u+f)\, d\tau \end{array} \right ). $$
From the uniformly bounded condition (4.17), we get
and for any \((\varphi, \psi)\in B\),
where \(B\subset H_{0}^{1}(\Omega)\times L^{2}(\Omega)\) is a bounded set.
From (1.2) and \(H_{0}^{1}(\Omega)\hookrightarrow L^{2p}(\Omega)\) (\(p<\frac{n}{n-2}\)), we get
Hence, combining (4.18) and (4.19), for the noncompact measure γ we get
it implies that
Finally, combining Step 2 and Step 3, applying Lemma 2.4, problem (1.1) has a global attractor \(\mathcal{A}\) in \(H_{0}^{1}(\Omega)\times L^{2}(\Omega)\). □
References
Babin, AV, Vishik, MI: Attractors of Evolution Equations. Nauka, Moscow (1989); English translation: North-Holland, Amsterdam (1992)
Ball, JM: Global attractors for damped semilinear wave equations. Discrete Contin. Dyn. Syst. 10, 31-52 (2004)
Chepyzhov, VV, Vishik, MI: Attractors for Equations of Mathematical Physics. American Mathematical Society Colloquium Publications, vol. 49. Am. Math. Soc., Providence (2002)
Ghidaglia, JM, Temam, R: Attractors for damping nonlinear hyperbolic equations. J. Math. Pures Appl. 66, 273-319 (1987)
Haraux, A: Two remarks on dissipative hyperbolic problems. In: Lions, J-L (ed.) Séminaires de Collège de France (1984)
Haraux, A: Systèmes Dynamiques Dissipatifs et Applications. RMA, vol. 17. Masson, Paris (1991)
Hale, JK: Asymptotic Behavior and Dynamics in Infinite Dimensions. Pitman, London (1984)
Sell, GR, You, Y: Dynamics of Evolution Equations. Springer, New York (2002)
Temam, R: Infinite Dimensional Dynamical Systems in Mechanics and Physics. Springer, Berlin (1997)
Hale, JK, Raugel, G: Attractors for dissipative evolutionary equations. In: Perelló, C, Simó, C, Solà-Morales, J (eds.) Proceedings of the Conference EQUADIFF 91, Universitat de Barcelona, Barcelona, 26-31 August 1991, vol. 1, pp. 3-22. World Scientific, Singapore (1993)
Gallouët, T: Sur les injections entre espaces de Sobolev et espaces d’Orlicz et application au comportement à l’infini pour des équations des ondes semi-linéaires. Port. Math. 42, 97-112 (1983/84)
Arrieta, JM, Carvalho, AN, Hale, JK: A damped hyperbolic equation with critical exponent. Commun. Partial Differ. Equ. 17, 841-866 (1992)
Ladyzhenskaya, O: Attractors for Semigroups and Evolution Equations. Cambridge University Press, Cambridge (1991)
Raugel, G: Global attractors in partial differential equations. In: Handbook of Dynamical Systems, vol. 2, pp. 885-982. North-Holland, Amsterdam (2002)
Robinson, C: Infinite-Dimensional Dynamical Systems: An Introduction to Dissipative Parabolic PDEs and the Theory of Global Attractors. Cambridge University Press, Cambridge (2001)
Ma, Q, Wang, S, Zhong, C: Necessary and sufficient conditions for the existence of global attractors for semigroups and applications. Indiana Univ. Math. J. 5(6), 1542-1558 (2002)
Pan, ZG, Pu, ZL, Ma, T: Global solutions to a class of nonlinear damped wave operator equations. Bound. Value Probl. 2012, 42 (2012)
Li, XS, Huang, NJ, O’Regan, D: Differential mixed variational inequalities in finite dimensional spaces. Nonlinear Anal. 72, 3875-3886 (2010)
Ma, T: Theories and Methods in Partial Differential Equations. Science Press, Beijing (2011)
Zhang, YH, Zhong, CK: Existence of global attractors for a nonlinear wave equation. Appl. Math. Lett. 18, 77-84 (2005)
Acknowledgements
The authors are grateful to professor Tian Ma for his helpful comments. This work is supported by the Fundamental Research Funds for the Central Universities (No. 2682014BR036).
Author information
Authors and Affiliations
Corresponding authors
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
DY and QZ discussed with ZP the paper who helped to check and prove the whole paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Pan, Z., Yan, D. & Zhang, Q. Global attractors for nonlinear wave equations with linear dissipative terms. Bound Value Probl 2015, 16 (2015). https://doi.org/10.1186/s13661-014-0276-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-014-0276-2