• Research
• Open Access

# Global attractors for nonlinear wave equations with linear dissipative terms

Boundary Value Problems20152015:16

https://doi.org/10.1186/s13661-014-0276-2

• Received: 26 September 2014
• Accepted: 26 December 2014
• Published:

## 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.

## Keywords

• dissipative terms
• global attractor
• ω-limit compactness

• 35B33
• 35B41
• 35L71

## 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}$$:
$$\left \{ \begin{array}{l} u_{tt}+2k u_{t}=\triangle u-|u|^{p-1}u+f(x,u) \quad \mbox{in } \Omega\times (0,\infty), \\ u(x,t)=0 \quad \mbox{on } \partial\Omega\times(0,\infty), \\ u(x,0)=\varphi(x),\qquad u_{t}(x,0)=\psi(x) \quad \mbox{in } \Omega, \end{array} \right .$$
(1.1)
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
$$\bigl\vert f(x,z)\bigr\vert \leq C|z|^{q}+g(x),\quad q\leq \frac{p+1}{2}, g\in L^{2}(\Omega).$$
(1.2)

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.  and references therein). The existence of a global attractor (1.1) with a source term only containing f was proved by Hale  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  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 ). The existence of the attractor in the critical case $$\gamma=\frac{n}{n-2}$$ was first proved by Babin and Vishik , and then more generally by Arrieta et al. . For other treatments see Chepyzhov and Vishik , Ladyzhenskaya , Raugel  and Temam . 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  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 . 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  and the various conditions can also be found ;

• 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
$$\left \{ \begin{array}{l} \frac{d^{2}u}{dt^{2}}+k\frac{du}{dt}=G(u), \quad k>0, \\ u(x,0)=\varphi(x), \\ u_{t}(x,0)=\psi(x), \end{array} \right .$$
(2.1)
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:
$$\left \{ \begin{array}{l} X\subset H_{2}\subset X_{2}\subset X_{1}\subset H, \\ X_{2}\subset H_{1}\subset H, \end{array} \right .$$
(2.2)
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
$$\left \{ \begin{array}{l} L:X\rightarrow X_{1} \mbox{ is a one to one dense linear operator}, \\ \langle Lu,v\rangle_{H} =\langle u,v\rangle_{H_{1}},\quad \forall u,v\in X. \end{array} \right .$$
(2.3)
In addition, the operator L has an eigenvalue sequence
$$Le_{k}=\lambda_{k} e_{k} \quad (k=1,2, \ldots)$$
(2.4)
such that $$\{e_{k}\}\subset X$$ is the common orthogonal basis of H and $$H_{2}$$.

### Definition 2.1



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
$$\langle u_{t},v\rangle_{H}+k\langle u,v \rangle_{H}=\int_{0}^{t}\langle Gu,v \rangle \, dt+k\langle \varphi ,v\rangle_{H}+\langle \psi,v \rangle_{H}.$$
(2.5)

### Definition 2.2



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
$$\|u\|_{Y_{1}}+\|u_{t}\|_{Y_{2}}\leq C,\quad \forall( \varphi,\psi)\in\Omega _{1}\times\Omega_{2} \mbox{ and } t \geq0.$$
Suppose that $$G=A+B:X_{2}\times\mathbf{R}^{+}\rightarrow{X_{1}}^{*}$$. Throughout this paper, we assume that:
1. (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)

2. (ii)
The functional F is coercive, i.e.
$$F(u)\rightarrow\infty\quad \Leftrightarrow\quad {\|u\|}_{X_{2}} \rightarrow\infty .$$
(2.7)

3. (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



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. (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. (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. (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. (1)

$$S(t): X\rightarrow X$$ is a continuous map for any $$t\geq0$$,

2. (2)

$$S(0)=\mathrm{id}: X\rightarrow X$$ is the identity,

3. (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:
$$\left \{ \begin{array}{l} \frac{d^{2}u}{dt^{2}}+2k\frac{du}{dt}=Lu+T(u), \quad k\geq0, \\ u(x,0)=\varphi(x), \\ u_{t}(x,0)=\psi(x), \end{array} \right .$$
(2.10)
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



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:
\begin{aligned}& u = e^{-kt}\biggl[\cos t{(-\mathcal{L})}^{\frac{1}{2}}\varphi+k{(- \mathcal {L})}^{-\frac{1}{2}} \sin{(-\mathcal{L})}^{\frac{1}{2}}\varphi+{(- \mathcal{L})}^{-\frac {1}{2}}\sin t{(-\mathcal{L})}^{\frac{1}{2}}\psi \\& \hphantom{u =}{} + \int_{0}^{t}e^{-k(t-\tau)}{(- \mathcal{L})}^{-\frac{1}{2}}\sin(t-\tau ){(-\mathcal{L})}^{\frac{1}{2}}T(u)\, d \tau\biggr], \\& u_{t} = -ku+e^{-kt}\biggl[-{(-\mathcal{L})}^{\frac{1}{2}} \sin t{(-\mathcal {L})}^{\frac{1}{2}}\varphi+ k\cos t{(-\mathcal{L})}^{\frac{1}{2}} \varphi+\cos t{(-\mathcal {L})}^{\frac{1}{2}}\psi \\& \hphantom{u_{t} =}{} + \int_{0}^{t}e^{-k(t-\tau)} \cos(t-\tau){(-\mathcal{L})}^{\frac {1}{2}}T(u)\, d\tau\biggr]. \end{aligned}

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$$,
$$\inf_{v\in\Sigma}\bigl\Vert S(t)u_{0}-v\bigr\Vert _{X}\rightarrow0, \quad \mbox{as } t\rightarrow0.$$
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
$$\gamma(A)=\inf\{\delta>0\mid \mbox{for }A \mbox{ there exists a finite cover by sets whose diameter}\leq\delta\}.$$

### Lemma 2.3



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



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
$$\gamma\biggl(\bigcup_{t\geq t_{0}}S(t)B\biggr)\leq \varepsilon,$$
where γ is a noncompact measure in X.
For a set $$D\subset X$$, we define the ω-limit set of D as follows:
$$\omega(D)=\bigcap_{s\geq0}\overline{\bigcup _{t\geq s}S(t)D},$$
where the closure is taken in the X-norm.

### Lemma 2.4



Let $$S(t)$$ be a semigroup in X, then $$S(t)$$ has a global attractor $$\mathcal{A}$$ in X if and only if
1. (1)

$$S(t)$$ has ω-limit compactness, and

2. (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 , we still give a proof here. Our proof is different from that in  but is similar to that in . 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
$$\gamma\biggl(\bigcup_{t\geq t_{0}}S(t)B\biggr)\leq \varepsilon.$$
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
$$\overline{\bigcup_{t\geq s_{1}}S(t)B}\subset\overline{ \bigcup_{t\geq s_{2}}S(t)B},\quad \forall s_{1}\geq s_{2},$$
we can obtain
$$\omega(B)=\bigcap_{s\geq0}^{\infty}\overline{ \bigcup_{t\geq s}S(t)B}\neq\emptyset.$$

(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
$$S(t)S(t_{n})x_{n}=S(t+t_{n})x_{n} \rightarrow S(t)x=y.$$
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)x_{n}\rightarrow x, \quad \mbox{as } t_{n}\rightarrow \infty, n\rightarrow \infty.$$
$$S(t)$$ is ω-limit compact, i.e., there exists a $$y\in H$$, such that
$$S(t)\bigcap_{t_{n}\geq0}\overline{\bigcup _{t\geq t_{n}}S(t_{n})x_{n}}\rightarrow y, \quad n \rightarrow\infty.$$
Therefore $$y\in\omega(B)$$.
For
$$\bigcap_{t_{n}\geq0}\overline{\bigcup _{t\geq t_{n}}S(t_{n})x_{n}} =\bigcap _{t_{n}\geq0}\overline{\bigcup_{t\geq t_{n}}S(t)S(t_{n}-t)x_{n}} \rightarrow\bigcap_{t_{n}\geq0}\overline {\bigcup _{t\geq t_{n}}S(t)y}$$
and
$$S(t_{n})x_{n}\rightarrow x\in\omega(B),$$
which implies that
$$S(t)y\rightarrow x, \qquad \omega(B)\subset S(t)\omega(B).$$

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
$$\bigcup_{t\geq t_{\varepsilon}(B)}S(t)B\subset U_{\frac{\varepsilon }{4}}( \mathcal{A})=\biggl\{ x\in X\Bigm| \operatorname{dist}(x,\mathcal{A})< \frac{\varepsilon }{4}\biggr\} .$$
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
$$\mathcal{A}\subset\bigcup_{k=1}^{n}U \biggl(x_{k}, \frac{\varepsilon}{4}\biggr).$$
Then
$$U_{\frac{\varepsilon}{2}}(\mathcal{A})\subset\bigcup_{k=1}^{n}U \biggl(x_{k}, \frac{\varepsilon}{2}\biggr),$$
which implies that
$$\gamma\biggl(\bigcup_{t\geq t_{\varepsilon}(B)}S(t)B\biggr)\leq\gamma \bigl(U_{\frac {\varepsilon}{4}}(\mathcal{A})\bigr)\leq\varepsilon.$$

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
$$u\in W_{\mathrm{loc}}^{1,\infty}\bigl((0,\infty),L^{2}(\Omega) \bigr)\cap L_{\mathrm{loc}}^{\infty }\bigl((0,\infty),H_{0}^{1}( \Omega)\bigr).$$

### 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:
\begin{aligned}& X_{2}=X_{1}=H_{0}^{1}(\Omega)\cap L^{p+1}(\Omega), \end{aligned}
(3.1)
\begin{aligned}& X=C_{0}^{\infty}(\Omega),\qquad H_{1}=H=L^{2}( \Omega). \end{aligned}
(3.2)

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
\begin{aligned}& \langle Au, v\rangle=-\int_{\Omega}\bigl[\nabla u\cdot\nabla v +|u|^{p-1}u\cdot v\bigr]\, dx, \end{aligned}
(3.3)
\begin{aligned}& \langle Bu, v\rangle=\int_{\Omega}f(x,u)v\, dx. \end{aligned}
(3.4)
Note the functional $$I:X_{1}\rightarrow R^{1}$$,
$$I[u]=\int_{\Omega}\biggl[\frac{1}{2}|\nabla u|^{2}+\frac{1}{p+1}|u|^{p+1}\biggr]\, dx.$$
(3.5)
Obviously, we obtain
$$\langle Au, v\rangle=-\bigl\langle DI[u], v\bigr\rangle , \quad \forall u, v\in X$$
(3.6)
and
$$I[u]\rightarrow\infty\quad \Leftrightarrow\quad \|u\|_{X_{1}}\rightarrow \infty,$$
(3.7)
which implies that conditions (1) and (2) in Lemma 2.1 hold.
From the growth restriction condition (1.2), we get
\begin{aligned} \bigl\vert \langle Bu, v\rangle\bigr\vert =&\biggl\vert \int _{\Omega}f(x,u)v \, dx\biggr\vert \\ \leq&\int_{\Omega}\bigl\vert f(x,u)\bigr\vert |v|\, dx \\ \leq&\frac{1}{2}\int_{\Omega}|v|^{2}\, dx+ \frac{1}{2}\int_{\Omega }\bigl\vert f(x,u)\bigr\vert ^{2}\, dx \\ \leq&\frac{1}{2}\int_{\Omega}|v|^{2}\, dx+ C \int_{\Omega }\bigl[|u|^{2q}+g^{2}(x)\bigr]\, dx \\ \leq&\frac{1}{2}\|v\|_{H_{1}}^{2}+ C_{1}\int _{\Omega }|u|^{p+1}\, dx+C_{2} \\ \leq&\frac{1}{2}\|v\|_{H_{1}}^{2}+ C_{1}I[u]+ C_{2}, \end{aligned}
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
$$u\in W_{\mathrm{loc}}^{1,\infty}\bigl((0,\infty),L^{2}(\Omega) \bigr)\cap L_{\mathrm{loc}}^{\infty }\bigl((0,\infty),H_{0}^{1}( \Omega)\bigr)$$
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
\begin{aligned} \|u_{1}-u_{2}\|_{H_{0}^{1}} =&\bigl\Vert \bigl(- \triangle^{\frac{1}{2}}\bigr) (u_{1}-u_{2})\bigr\Vert _{L^{2}} \\ \leq&C \int_{0}^{t}\bigl\Vert \bigl[|u_{2}|^{p-1}u_{2}-|u_{1}|^{p-1}u_{1} \bigr]+\bigl[f(x,u_{1})-f(x,u_{2})\bigr] \bigr\Vert _{L^{2}}\, d\tau \\ \leq&C_{1}\int_{0}^{t}\bigl[\bigl( \bigl\Vert |\tilde{u}|^{p-1} \bigr\Vert +\bigl\Vert D f(x,\tilde {u})\bigr\Vert \bigr)\cdot\|u_{1}-u_{2}\|_{H_{0}^{1}} \bigr]\, d\tau; \end{aligned}
by using the Gronwall inequality, we easily obtain
$$\|u_{1}-u_{2}\|_{H_{0}^{1}}\leq0,$$
where $$\tilde{u}$$ is the mean value between $$u_{1}$$ and $$u_{2}$$.
It implies that
$$\|u_{1}-u_{2}\|_{H_{0}^{1}}\leq0 \quad \Rightarrow\quad u_{1}=u_{2}.$$
□

## 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:
$$S(t): H_{\frac{1}{2}}\times H\rightarrow H_{\frac{1}{2}}\times H.$$
Fix the spaces as follows:
\begin{aligned}& H=L^{2}(\Omega),\qquad H_{1}=H^{2}(\Omega)\cap H_{0}^{1}(\Omega), \\& L: H_{1}\rightarrow H, \qquad T: H_{1}\rightarrow H. \end{aligned}
Note that
\begin{aligned}& Lu=\triangle u, \end{aligned}
(4.1)
\begin{aligned}& Tu=-|u|^{p-1}u+f(x,u), \end{aligned}
(4.2)
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
$$F(u)=\frac{1}{p+1}|u|^{p+1}-\int_{0}^{t}f(x,u) \, d\tau,$$
(4.3)
and we easily get
$$T(u)=-DF(u),\quad \forall u\in H_{1}.$$
(4.4)
Since
$$\bigl\vert f(x,z)\bigr\vert \leq C|z|^{q}+g(x), \quad q\leq \frac{p+1}{2}, g\in L^{2}(\Omega),$$
then we get
$$F(u)\geq-C_{1}$$
(4.5)
and
$$\bigl\langle DF(u), u\bigr\rangle _{H}-k\langle u, v \rangle_{H} \geq-\frac{1}{2}\|v\|_{H}^{2}-C_{2}, \quad C_{2}>0.$$
(4.6)
Equation (1.1) is equivalent to the equations that follow:
$$\left \{ \begin{array}{l} \frac{\partial u}{\partial t}=-ku+v, \quad k\geq0, \\ \frac{\partial v}{\partial t}=Lu+k^{2}u-kv-|u|^{p-1}u+f(x,u). \end{array} \right .$$
(4.7)
Multiply (4.7) by $$(-Lu, v)$$ and take the inner product in H:
\begin{aligned}& \biggl\langle \frac{\partial u}{\partial t}, -Lu\biggr\rangle _{H}=-k\langle u,- Lu\rangle_{H}+\langle-Lu, v\rangle_{H}, \end{aligned}
(4.8)
\begin{aligned}& \biggl\langle \frac{\partial v}{\partial t}, v\biggr\rangle _{H}=\langle Lu, v \rangle_{H}+\bigl\langle k^{2}u, v\bigr\rangle _{H}-k \langle v, v\rangle_{H}+\bigl\langle T(u), v\bigr\rangle _{H}. \end{aligned}
(4.9)
Summing (4.8) and (4.9), it follows that
\begin{aligned}& \biggl\langle \frac{\partial u}{\partial t}, -Lu\biggr\rangle _{H}+\biggl\langle \frac{\partial v}{\partial t}, v\biggr\rangle _{H} \\& \quad =-k\langle u, -Lu\rangle_{H}-k\langle v, v\rangle _{H}+k^{2}\langle u, v\rangle_{H}+\langle Tu, v \rangle_{H}. \end{aligned}
(4.10)
Furthermore,
$$\langle-Lu, \omega\rangle_{H}=\bigl\langle \bigl(-L^{\frac{1}{2}} \bigr)u, \bigl(-L^{\frac{1}{2}}\bigr)\omega\bigr\rangle _{H},\quad \forall u, \omega\in H_{\frac{1}{2}}.$$
(4.11)
From (4.4) and (4.7), we get
\begin{aligned} \langle Tu, v\rangle_{H} =&\biggl\langle Tu, \frac{\partial u}{\partial t}+ku \biggr\rangle _{H} \\ =&\biggl\langle -DF(u), \frac{\partial u}{\partial t}+ku\biggr\rangle _{H} \\ =&-\biggl\langle DF(u), \frac{\partial u}{\partial t}\biggr\rangle _{H}-k\bigl\langle DF(u), u\bigr\rangle _{H} \\ =&-\frac{dF(u)}{dt}-k\bigl\langle DF(u), u\bigr\rangle _{H}. \end{aligned}
Integrating (4.10) over $$[0,t]$$ with respect to time t and combining the two formulas, we get
\begin{aligned}& \frac{1}{2}\|u\|_{H_{\frac{1}{2}}^{2}}+\frac{1}{2}\|v\|_{H}^{2} -\frac{1}{2}\|\varphi\|_{H_{\frac{1}{2}}^{2}} -\frac{1}{2}\|\psi \|_{H^{2}} \\& \quad = \int_{0}^{t}\biggl[\biggl\langle \frac{\partial u}{\partial t}, -Lu\biggr\rangle _{H}+\biggl\langle \frac {\partial v}{\partial t}, v\biggr\rangle _{H}\biggr]\, d\tau \\& \quad = -k\int_{0}^{t}\bigl[\langle u, -Lu \rangle_{H}+\langle v, v\rangle_{H}-k\langle u, v \rangle_{H}\bigr]\, d\tau+\int_{0}^{t} \langle Tu, v\rangle_{H}\, d\tau \\& \quad = -k\int_{0}^{t}\bigl[\bigl\langle \bigl(-L^{\frac{1}{2}}\bigr)u, \bigl(-L^{\frac{1}{2}}\bigr)u\bigr\rangle _{H}+\|v\| _{H}^{2}-k\langle u, v\rangle _{H}\bigr]\, d\tau \\& \qquad {} + \int_{0}^{t} \biggl[- \frac{dF(u)}{dt}-k\bigl\langle DF(u), u\bigr\rangle _{H}\biggr]\, d \tau \\& \quad = -k\int_{0}^{t}\bigl[\|u\|_{H_{\frac{1}{2}}^{2}}+ \|v\|_{H}^{2}-k\langle u, v\rangle_{H}\bigr]\, d \tau-F\bigl(u(t)\bigr)+F\bigl(u(0)\bigr) \\& \qquad {} - k\int_{0}^{t}\bigl\langle DF(u), u \bigr\rangle _{H}\, d\tau \\& \quad = -k\int_{0}^{t}\bigl[\|u\|_{H_{\frac{1}{2}}^{2}}+ \bigl\langle DF(u), u\bigr\rangle _{H}-k\langle u, v \rangle_{H}\bigr]\, d\tau-F(u)+F(\varphi); \end{aligned}
combining with (4.6), it follows that
$$\|u\|_{H_{\frac{1}{2}}^{2}}+\|v\|_{H}^{2} \leq -k\int_{0}^{t}\bigl[\|u \|_{H_{\frac{1}{2}}^{2}}+\|v\|_{H}^{2}\bigr]\, d\tau +f(\varphi, \psi)+Ct,\quad C>0.$$
Applying the Gronwall inequality, we get
$$\|u\|_{H_{\frac{1}{2}}^{2}}+\|v\|_{H}^{2}\leq f(\varphi, \psi )e^{-kt}+C_{1}\bigl(1-e^{-t}\bigr).$$
(4.12)
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:
\begin{aligned}& u = e^{-kt}\bigl[\cos t{(-\triangle)}^{\frac{1}{2}}\varphi+k{(- \triangle )}^{-\frac{1}{2}} \sin t{(-\triangle)}^{\frac{1}{2}}\varphi+{(- \triangle)}^{-\frac {1}{2}}\sin t{(-\triangle)}^{\frac{1}{2}}\psi\bigr] \\& \hphantom{u =}{} + \int_{0}^{t} \bigl[e^{-k(t-\tau)}{(-\triangle)}^{-\frac{1}{2}}\sin(t-\tau ){(- \triangle)}^{\frac{1}{2}}\bigl(-|u|^{p-1}u+f\bigr)\bigr]\, d \tau, \end{aligned}
(4.13)
\begin{aligned}& u_{t} = -ku+e^{-kt}\bigl[-{(-\triangle)}^{\frac{1}{2}}\sin t{(-\triangle )}^{\frac{1}{2}}\varphi+ k\cos t{(-\triangle)}^{\frac{1}{2}} \varphi+\cos t{(-\triangle)}^{\frac {1}{2}}\psi\bigr] \\& \hphantom{u_{t} =}{} + \int_{0}^{t} \bigl[e^{-k(t-\tau)}\cos(t-\tau){(-\triangle)}^{\frac {1}{2}} \bigl(-|u|^{p-1}u+f\bigr)\bigr]\, d\tau. \end{aligned}
(4.14)
Since the linear operator
$$L=\triangle: H^{2}(\Omega)\times H_{0}^{1}(\Omega) \rightarrow L^{2}(\Omega)$$
is a symmetrical sector operator, it has the eigenvalue sequence:
$$0> \lambda_{1}\geq\lambda_{2}\geq\cdots,\quad \lambda_{k}\rightarrow -\infty, k\rightarrow\infty.$$
Then
\begin{aligned}& \sin t(-\triangle)^{\frac{1}{2}}v=\sum_{j=1}^{\infty}v_{j} \sin\sqrt {-\lambda_{j}}te_{j}, \end{aligned}
(4.15)
\begin{aligned}& \cos t(-\triangle)^{\frac{1}{2}}v=\sum_{j=1}^{\infty}v_{j} \cos\sqrt{-\lambda_{j}}te_{j}. \end{aligned}
(4.16)
For any $$v=\sum_{j=1}^{\infty}v_{j}e_{j}\in L^{2}(\Omega)$$ and $$-\lambda _{j}>0$$ ($$j\geq1$$), the operator
$$\sin t(-\triangle)^{\frac{1}{2}}, \cos t(-\triangle)^{\frac{1}{2}}: L^{2}(\Omega)\rightarrow L^{2}(\Omega)$$
is uniformly bounded, i.e.
$$\bigl\Vert \sin t(-\triangle)^{\frac{1}{2}}\bigr\Vert _{L^{2}}, \bigl\Vert \cos t(-\triangle )^{\frac{1}{2}}\bigr\Vert _{L^{2}}\leq1, \quad \forall t\geq0.$$
(4.17)
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
$$\lim_{t\rightarrow\infty}\bigl(u_{1}, u_{t}^{1} \bigr)=0 \quad \mbox{in } H_{0}^{1}(\Omega )\times L^{2}(\Omega);$$
(4.18)
and for any $$(\varphi, \psi)\in B$$,
$$\bigcup_{t\geq0}\bigl(u^{2}, u_{t}^{2}\bigr) \mbox{ is a compact set in } H_{0}^{1}(\Omega)\times L^{2}(\Omega),$$
(4.19)
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
$$T: H_{0}^{1}(\Omega)\rightarrow L^{2}(\Omega) \mbox{ is a compact map},$$
Hence, combining (4.18) and (4.19), for the noncompact measure γ we get
\begin{aligned}& \gamma\biggl(\bigcup_{t\geq t_{0}}S(t)B\biggr) \\& \quad = \gamma\biggl(\bigcup_{t\geq t_{0}}\bigl(u(t, B),u_{t}(t, B)\bigr)\biggr) \\& \quad \leq \gamma\biggl(\bigcup_{t\geq t_{0}} \bigl(u^{1},-ku^{1}+u_{t}^{1}\bigr) \biggr)+\gamma \biggl(\bigcup_{t\geq t_{0}} \bigl(u^{2},-ku^{2}+u_{t}^{2}\bigr) \biggr) \\& \quad = \gamma\biggl(\bigcup_{t\geq t_{0}} \bigl(u^{1},-ku^{1}+u_{t}^{1}\bigr) \biggr) \\& \quad \rightarrow 0 \quad (t_{0}\rightarrow\infty), \end{aligned}
(4.20)
it implies that
$$S(t)=\bigl(u(t, \cdot), u_{t}(t, \cdot)\bigr) \mbox{ has } \omega \mbox{-limit compactness}.$$

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)$$. □

## Declarations

### 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).

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.

## Authors’ Affiliations

(1)
School of Mathematics, Southwest Jiaotong University, Chengdu, 610031, China
(2)
School of Mathematics and Statistics, Zhejiang University of Finance and Economics, Hangzhou, 310018, China
(3)
School of Computer Science, Civil Aviation Flight University of China, Guanghan, 618307, China

## References 