Skip to main content

Long-time behavior of solutions for a fractional diffusion problem

Abstract

This paper deals with the asymptotic behavior of solutions to the initial-boundary value problem of the following fractional p-Kirchhoff equation:

$$ u_{t}+M\bigl([u]_{s,p}^{p}\bigr) (-\Delta )_{p}^{s}u+f(x,u)=g(x)\quad \text{in } \Omega \times (0, \infty ), $$

where \(\Omega \subset \mathbb{R}^{N}\) is a bounded domain with Lipschitz boundary, \(N>ps\), \(0< s<1<p\), \(M:[0,\infty )\rightarrow [0,\infty )\) is a nondecreasing continuous function, \([u]_{s,p}\) is the Gagliardo seminorm of u, \(f:\Omega \times \mathbb{R}\rightarrow \mathbb{R}\) and \(g\in L^{2}(\Omega )\). With general assumptions on f and g, we prove the existence of global attractors in proper spaces. Then, we show that the fractal dimensional of global attractors is infinite provided some conditions are satisfied.

Introduction and main results

Let \(s\in (0,1)\) and let Ω be a bounded domain in \(\mathbb{R}^{N}(N>2s)\) with smooth boundary Ω. We consider the asymptotic behavior of solutions to the following fractional p-Kirchhoff problem:

$$\begin{aligned} \textstyle\begin{cases} u_{t}+M([u]_{s,p}^{p})(-\Delta )_{p}^{s}u+f(x,u)=g(x) &\text{in } \Omega \times \mathbb{R}^{+}, \\ u=0 &\text{on } (\mathbb{R}^{N}\setminus \Omega ) \times \mathbb{R}^{+}, \\ u(x,0)=u_{0}(x) &\text{in } \Omega , \end{cases}\displaystyle \end{aligned}$$
(1.1)

where \(u_{0}\in L^{2}(\Omega )\), \(g\in L^{2}(\Omega )\), \([u]_{s,p}^{p}=\iint _{\mathcal{Q}} \frac{|u(x,t)-u(y,t)|^{p}}{|x-y|^{N+ps}}\,dx \,dy\) with \(\mathcal{Q}=\mathbb{R}^{2N}\setminus (\mathcal{C}\Omega \times \mathcal{C}\Omega )\) and \(\mathcal{C}\Omega =\mathbb{R}^{N}\setminus \Omega \), \(M:\mathbb{R}^{+}_{0}\rightarrow \mathbb{R}^{+}_{0}\) is a continuous function, and \((-\Delta )_{p}^{s}\) is the fractional p-Laplacian, which (up to normalization factors) may be defined by

$$\begin{aligned} (-\Delta )_{p}^{s}\varphi (x)=2\lim_{R\rightarrow 0^{+}} \int _{ \mathbb{R}^{N}\setminus B_{R}(x)} \frac{ \vert \varphi (x)-\varphi (y) \vert ^{p-2}(\varphi (x)-\varphi (y))}{ \vert x-y \vert ^{N+ps}} \,dy \end{aligned}$$

for all \(\varphi \in C_{0}^{\infty }(\mathbb{R}^{N})\), where \(1< p<\frac{N}{s}\) and \(s\in (0,1)\). Henceforward \(B_{R}(x)\) denotes the ball of \(\mathbb{R}^{N}\) centered at \(x\in \mathbb{R}^{N}\) and radius \(R>0\). We assume that \(f:\Omega \times \mathbb{R}\rightarrow \mathbb{R}\) is a Carathéodory function satisfying:

\((f_{1})\):

there exists a positive constant λ such that

$$\begin{aligned} \bigl(f(x,\xi _{1})-f(x,\xi _{2})\bigr) (\xi _{1}-\xi _{2})\geq -\lambda \vert \xi _{1}- \xi _{2} \vert ^{2} \end{aligned}$$
(1.2)

for any \((x,t)\in \Omega \times \mathbb{R}^{+}\) and \(\xi _{1},\xi _{2}\in \mathbb{R}\);

\((f_{2})\):

there exist positive constants c, \(c_{1}\), \(c_{2}\) such that

$$\begin{aligned} c_{1} \vert \xi \vert ^{q}-c\leq f(x,\xi )\xi \leq c_{2} \vert \xi \vert ^{q}+c\quad \text{for any } (x,t)\in \Omega \times \mathbb{R}^{+} \text{ and } \xi \in \mathbb{R}, \end{aligned}$$
(1.3)

where q satisfies \(2\leq q<\infty \).

A typical example of f is given by \(f(x,\xi )=a(x)|\xi |^{q-2}\xi -b(x)|\xi |^{r-2}\xi \) for all \(x\in \Omega \) and \(\xi \in \mathbb{R}\), with \(2< r< q<\infty \). Here a, b are two bounded continuous functions in Ω.

Throughout this paper, we always assume that \(s\in (0,1)\), \(N>2s\), \(u_{0}(x)\in L^{2}(\Omega )\cap W_{0} \) is a nonzero function. For the coefficient function M, we assume that

\((M_{1})\):

\(M:[0,\infty )\rightarrow (0,\infty )\) is a nondecreasing and continuous function and there exists \(m_{0}>0\) such that \(M(\tau )\geq m_{0}\) for all \(\tau \geq 0\).

In particular, if \(p=2\), then \((-\Delta )_{p}^{s}\) reduces to the fractional Laplace operator \((-\Delta )^{s}\), see [5] and the references cited there. For the basic properties of fractional p-Laplacian, we refer the readers to [13, 16, 17]. Problem (1.1) is a class of nonlocal fractional diffusion problems. It is relevant in anomalous diffusion theory. More precisely, if \(p=2\) and \(M\equiv 1\), as stated in [7], the function \(u(x,t)\) is thought of as a density of population at the point x and time t, the term \((-\Delta )^{s}u(x,t)\) represents the diffusion of density, \(f(x,u)\) is the source term, g is the perturbation term, and the coefficient \(M:[0,\infty )\rightarrow (0,\infty )\) denotes the possible changes of total population in whole space. This implies that the behavior of individuals is subject to total population, such as the diffusion process of bacteria, see [21, 27]. It is worth mentioning that the interest in fractional problems goes beyond the mathematical curiosity. Actually, the study of problems like (1.1) has many significant applications, as explained by Caffarelli in [2, 3], Laskin in [15], and Vázquez in [31]. Very recently, Fiscella and Valdinoci [9] first proposed a stationary Kirchhoff variational equation which models the nonlocal aspect of the tension of the string. Indeed, the stationary problem (1.1) is a fractional version of a model, the so-called stationary Kirchhoff equation, introduced by Kirchhoff in [14]. The body of literature on elliptic type problems involving nonlocal operators is quite large, here we just collect a few works, see [1, 8, 9, 1922, 26, 28, 33, 36] and the references cited there.

To the best of our knowledge, there are a few papers that deal with the asymptotic behavior of solutions for problems like (1.1). Pucci, Xiang, and Zhang [27] discussed the initial-boundary value problem of the following equation:

$$\begin{aligned} u_{t}+M \bigl([u]_{s,p}^{p} \bigr) (-\Delta )_{p}^{s}u=f(x,t) \quad \text{in } \Omega \times (0, \infty ), \end{aligned}$$
(1.4)

where \(M:[0,\infty )\rightarrow (0,\infty )\) is a continuous and nondecreasing function. Using the sub-differential approach, the authors obtained the well-posedness of solutions for (1.4). Moreover, the large-time behavior and extinction property of solutions were given. In [25], Pan, Zhang, and Cao studied the initial-boundary value problem of the following fractional p-Kirchhoff equation:

$$\begin{aligned} u_{t}+[u]_{s,p}^{(\lambda -1)p}(-\Delta )_{p}^{s}u= \vert u \vert ^{q-2}u \quad \text{in } \Omega \times (0,\infty ), \end{aligned}$$

where \(1\leq \lambda < N/(N-sp)\) and \(p< q< Np/(N-sp)\) with \(1< p< N/s\). The existence of a global solution was obtained by employing the Galerkin method and the potential well theory. Xiang, Rădulescu, and Zhang [21] studied the initial-boundary value problem of the following fractional Kirchhoff equation:

$$\begin{aligned} u_{t}+M\bigl([u]_{s,2}^{2}\bigr) (-\Delta )^{s}u= \vert u \vert ^{p-2}u \quad \text{in } \Omega \times (0,\infty ), \end{aligned}$$

where \(M:[0,\infty )\rightarrow (0,\infty )\) is continuous, and there exist \(m_{0}>0\) and \(\theta >1\) such that \(M(\sigma )\geq m_{0}\sigma ^{\theta -1}\) for all \(\sigma \geq 0\), and M also satisfies the following:

\((M)\):

There exists \(\theta \in [1,p_{s}^{*}/p)\) such that \(tM(t)\leq \theta \mathscr{M}(t)\) for all \(t\geq 0\), where \(\mathscr{M}(t)=\int _{0}^{t} M(\tau )\,d\tau \).

Under suitable assumptions, the authors obtained the local existence of nonnegative solutions by applying the Galerkin method and proved that the local nonnegative solutions blow up in finite time. In [34], Xiang and Yang studied the initial-boundary value of the following equation:

$$\begin{aligned} u_{t}+M\bigl([u]_{s,p}^{p}\bigr) (-\Delta )_{p}^{s}u=\lambda \vert u \vert ^{q-2}u-\mu \vert u \vert ^{r-2}u. \end{aligned}$$

The authors gave some sufficient conditions such that the solutions of the above equation vanish in finite time. Moreover, the non-extinction of solutions was also investigated.

Very recently, Wang and Huang [32] considered a weakly damped fractional nonlinear Schrödinger equation on the real line \(\mathbb{R}\)

$$\begin{aligned} u_{t}-i(-\Delta )u^{s}+i \vert u \vert ^{2}u+\gamma u=f(x),\quad u(x,0)=u_{0}(x), \end{aligned}$$
(1.5)

where \(s\in (1/2,1)\), \(\gamma >0\), and \(f\in L^{2}(\mathbb{R})\). The authors proved that (1.5) possesses a finite dimensionality of global attractor. In [12], Hurtado studied the following initial-boundary value problem of fractional Laplacian equation with variable exponents:

$$\begin{aligned} u_{t}+(-\Delta )_{p(\cdot )}^{s}u=f(x,u), \end{aligned}$$
(1.6)

where \((-\Delta )_{p(\cdot )}^{s}\) is the fractional \(p(\cdot )\)-Laplacian defined as

$$\begin{aligned} (-\Delta )_{p}^{s}u(x)=2\lim_{R\rightarrow 0^{+}} \int _{\mathbb{R}^{N} \setminus B_{R}(x)} \frac{ \vert u(x)-u(y) \vert ^{p(x,y)-2}(u(x)-u(y))}{ \vert x-y \vert ^{N+p(x,y)s}} \,dy, \end{aligned}$$

and \(p\in C(\overline{\Omega }\times \overline{\Omega })\). The author established the well-posedness of solutions by using the techniques of monotone operators. Moreover, the author obtained the existence of global attractors under suitable assumptions.

When \(s=1\) and \(M\equiv 1\), the equation in (1.1) reduces to the following equation:

$$\begin{aligned} u_{t}-\Delta _{p}u+f(x,u)=g(x)\quad \text{in } \Omega , \end{aligned}$$
(1.7)

where \(\Delta _{p}u={\mathrm{div}}(|\nabla u|^{p-2}\nabla u)\) is the p-Laplacian. In [37], Yang et al. obtained the existence of global attractors for (1.7). Indeed, the existence of global attractors is an important asymptotic property of solutions for parabolic equations which have been studied extensively by many researchers, see for example [6, 10, 23, 24, 38].

In this paper, inspired by the above-mentioned papers, we discuss the existence of global attractors and fractal dimension of solutions for problem (1.1) involving the fractional p-Laplacian and nonlocal diffusion coefficient. Motivated by [23, 37], we first study the existence and uniqueness of solutions by using the Galerkin method. Then we give the existence of global attractors in proper spaces and obtain the fractal dimension of the global attractors. Since problem (1.1) contains a nonlocal coefficient M, in order to get the uniqueness of solutions, we impose a monotonicity assumption on M. However, to the best of our knowledge, there are no results on the existence of global attractors for problem (1.1) in the literature.

To introduce our main results, we first give the definition of (weak) solutions, see [25, 27].

Definition 1.1

For any fixed \(T>0\), a function \(u\in L^{p}(0,T;W_{0})\cap C(0,T;L^{2}(\Omega ))\cap L^{q}( \Omega \times (0,T))\) is said to be a (weak) solution of problem (1.1) if \(u_{t} \in L^{2}(0,T;L^{2} (\Omega ))\) and, for a.e. \(t\in (0,T)\),

$$\begin{aligned} \int _{\Omega }u_{t}\varphi \,dx+M\bigl([u]_{s,p}^{p} \bigr)\langle u,\varphi \rangle _{W _{0}}+ \int _{\Omega }f(x,u)\varphi \,dx= \int _{\Omega }g(x) \varphi \,dx \end{aligned}$$
(1.8)

for all \(\varphi \in W_{0}\), where

$$ \langle u,\varphi \rangle _{W _{0}}= \iint _{\mathcal{Q}} \frac{ \vert u(x,t)-u(y,t) \vert ^{p-2}[u(x,t)-u(y,t)][\varphi (x)-\varphi (y)]}{ \vert x-y \vert ^{N+sp}}\,dx \,dy, $$

and \(W_{0}\) is the fractional Sobolev space which will be introduced in Sect. 2.

Theorem 1.1

Assume that \(2\leq p< N/s\), M satisfies \((M_{1})\), f fulfils \((f_{1})\)\((f_{2})\) with \(2\leq q< Np/(N-sp)\), and \(g\in L^{2}(\Omega )\). Then the semigroup associated with problem (1.1) admits a global attractor \(\mathscr{A}_{q}\) in \(L^{q}(\Omega )\),i.e., \(\mathscr{A}_{q}\) is compact, invariant in \(L^{q}(\Omega )\) and attracts every bounded subset of \(L^{2}(\Omega )\) in the norm topology of \(L^{q}(\Omega )\).

Remark 1.1

The monotonicity assumption on M is just for getting the uniqueness of solutions.

Finally, we consider the following problem:

$$\begin{aligned} \textstyle\begin{cases} u_{t}+M([u]_{s,p}^{p})(-\Delta )_{p}^{s}u+ \vert u \vert ^{q-2}u= \vert u \vert ^{r-2}u &\text{in } \Omega \times \mathbb{R}^{+}, \\ u=0 &\text{on } (\mathbb{R}^{N}\setminus \Omega ) \times \mathbb{R}^{+}, \\ u(x,0)=u_{0}(x) &\text{in } \Omega . \end{cases}\displaystyle \end{aligned}$$
(1.9)

Theorem 1.2

Assume that \(0< s<1\), \(2< r< p< N/s\), \(r< q< Np/(N-sp)\), and M satisfies \((M_{1})\). Then the semigroup associated with problem (1.9) admits a symmetric global attractor in \(L^{q}(\Omega )\) and its fractal dimension is infinite.

The rest of the paper is organized as follows. In Sect. 2, we give some preliminary lemmas. The existence of global attractors is proved in Sect. 3. The existence of infinite dimensional attractors is obtained in Sect. 4.

Preliminaries

In this section, we first recall some necessary definitions and properties of the fractional Sobolev spaces, see [5, 8, 9, 13, 35] for further details. From now on, we shortly denote by \(\|\cdot \|_{\nu }\) the norm of \(L^{\nu }(\Omega )\) (\(\nu \geq 1\)). Let \(0 < s < 1 < p < \infty \) be real numbers and the fractional critical exponent \(p_{s}^{*}\) be defined as

$$\begin{aligned} p_{s}^{*}= \textstyle\begin{cases} \frac{Np}{N-sp}, &sp< N, \\ \infty ,&\text{otherwise.} \end{cases}\displaystyle \end{aligned}$$

In the following, we set \(\mathcal{Q}=\mathbb{R}^{2N}\setminus (\mathcal{C}\Omega \times \mathcal{C}\Omega )\), where \(\mathcal{C}\Omega =\mathbb{R}^{N}\setminus \Omega \). W is a linear space of Lebesgue measurable functions from \(\mathbb{R}^{N}\) to \(\mathbb{R}\) such that the restriction to Ω of any function u in W belongs to \(L^{ p} (\Omega )\) and

$$\begin{aligned} \iint _{\mathcal{Q}}\frac{ \vert u(x)-u(y) \vert ^{p}}{ \vert x-y \vert ^{N+sp}}\,dx \,dy< \infty . \end{aligned}$$

The space W is equipped with the norm

$$\begin{aligned} \Vert u \Vert _{W}= \Vert u \Vert _{L^{p}(\Omega )}+ \biggl( \iint _{Q} \frac{ \vert u(x)-u(y) \vert ^{p}}{ \vert x-y \vert ^{N+sp}}\,dx \,dy \biggr)^{\frac{1}{p}}. \end{aligned}$$

It is easy to get that \(\Vert \cdot\Vert _{W}\) is a norm on W. We shall work in the closed linear subspace

$$\begin{aligned} W_{0}=\bigl\{ u\in W:u(x)=0\text{ a.e. in } \mathbb{R}^{N} \setminus \Omega \bigr\} . \end{aligned}$$

By the result in [35], one can deduce that

$$ [u]_{s,p}= \biggl( \iint _{\mathcal{Q}} \frac{ \vert u(x)-u(y) \vert ^{p}}{ \vert x-y \vert ^{N+sp}}\,dx \,dy \biggr)^{\frac{1}{p}} $$

is an equivalent norm of \(W_{0}\).

Definition 2.1

(see [23, 24])

Let \(\{S(t)\}_{t\geq 0}\) be a semigroup on Banach space X. A subset \(\mathscr{A}\subset X\) is called a global attractor for the semigroup if \(\mathscr{A}\) is compact in X and satisfies the following properties:

(1) \(\mathscr{A}\) is invariant, i.e., \(S(t)\mathscr{A}=\mathscr{A}\) for all \(t\geq 0\);

(2) \(\mathscr{A}\) attracts all bounded subset of X, that is, for any bounded subset \(B\subset X\),

$$\begin{aligned} {\mathrm{dist}}\bigl(S(t)B,\mathscr{A}\bigr)\rightarrow 0\quad \text{as } t \rightarrow \infty , \end{aligned}$$

where \(dist(A,B)\) is the Hausdorff semidistance of two sets A and B given by

$$\begin{aligned} {\mathrm{dist}}(A,B)=\sup_{x\in A}\inf_{y\in B} \Vert x-y \Vert _{X}. \end{aligned}$$

Definition 2.2

(see [23, 24])

Let \(\{S(t)\}_{t\geq 0}\) be a semigroup on Banach space X. A subset \(B_{0}\subset X\) is called an absorbing set for the semigroup \(\{S(t)\}_{t\geq 0}\) if \(B_{0}\) satisfies that, for any bounded subset \(B\subset X\), there exists a positive constant \(T=T(B)\) such that

$$\begin{aligned} S(t)B\subset B_{0}\quad \text{for any } t\geq T. \end{aligned}$$

Definition 2.3

(see [4])

Let X be a metric space. Assume that M is a compact subset in X. The fractal dimension \(\dim _{f}M\) of M is defined by

$$\begin{aligned} \dim _{f}M=\limsup_{\varepsilon \rightarrow 0} \frac{\ln n(M,\varepsilon )}{\ln (1/\varepsilon )}, \end{aligned}$$

where \(n(M,\varepsilon )\) denotes the minimal number of closed balls of the radius ε which cover the set M.

Global attractors in \(L^{q}(\Omega )\)

In this section, we provide the existence results for problem (1.1), and then we show the existence of a global attractor in \(L^{q}(\Omega )\).

Theorem 3.1

Assume that \(2\leq p< N/s\), M satisfies \((M_{1})\), g satisfies \((g_{1})\), and f fulfils \((f_{1})\)\((f_{2})\) with \(2\leq q< Np/(N-sp)\). Then problem (1.1) admits a unique solution

$$ u\in C\bigl([0,T];L^{2}(\Omega )\bigr)\cap L^{p}(0,T;W_{0}) \cap L^{q}\bigl(0,T;L^{q}( \Omega )\bigr). $$

Moreover, the mapping \(u_{0}\rightarrow u(t)\) is continuous in \(L^{2}(\Omega )\).

Proof

The existence of solutions for problem (1.1) can be obtained by using the Galerkin method, see for example [21, 25]. For completeness, we give a sketch of the proof.

Choose a sequence of functions \(\{e_{j}\}_{j=1}^{\infty }\subset C_{0}^{\infty }(\Omega )\) which is an orthonormal basis in \(L^{2}(\Omega )\). We shall find the approximate solutions as follows:

$$\begin{aligned} u_{n}(x,t)=\sum_{j=1}^{n}\bigl( \eta _{n}(t)\bigr)_{j}e_{j}(x)\quad \text{for all } n\in \mathbb{N}, \end{aligned}$$

where the unknown functions \((\eta _{n}(t))_{j}\) are determined by the following ODEs:

$$\begin{aligned} \textstyle\begin{cases} \eta ^{\prime }_{n}(t)=-I_{n}(t,\eta _{n}(t)),\quad t\in \mathbb{R}^{+}, \\ \eta _{n}(0)=U_{0n}. \end{cases}\displaystyle \end{aligned}$$
(3.1)

Here \(U_{0n}= (\int _{\Omega }u_{0n}(x)e_{1}(x)\,dx,\ldots ,\int _{\Omega }u_{0n}(x)e_{n}(x)\,dx )\), \(u_{0n}\rightarrow u_{0} \) in \(W_{0}\),

$$\begin{aligned} \bigl(I_{n}(t,\eta _{n})\bigr)_{j}&=M \bigl([u_{n}]_{s,p}^{p}\bigr)\langle u_{n}, e_{j}\rangle _{W_{0}} + \int _{\Omega }f\bigl(x,u_{n}(x,t)\bigr)e_{j}(x) \,dx \\ &\quad {}- \int _{\Omega }g(x)e_{j}(x)\,dx, \quad j=1,2,\ldots ,n. \end{aligned}$$

The definition of \(\langle u_{n},e_{j}\rangle _{W_{0}}\) is given by

$$ \langle u_{n},e_{j}\rangle _{W _{0}} = \iint _{ \mathcal{Q}} \frac{ \vert u_{n}(x,t)-u_{n}(y,t) \vert ^{p-2} [u_{n}(x,t)-u_{n}(y,t)][e_{j}(x)-e_{j}(y)]}{ \vert x-y \vert ^{N+sp}}\,dx \,dy. $$

By the continuity of M and the definition of \(I_{n}\), we know that \(I_{n}\) is continuous on \(\mathbb{R}^{+}_{0}\times \mathbb{R}^{n}\). Then the Peano theorem (see [11]) yields that there exists a local solution of problem (3.1) on \((0, T_{n})\) (\(0< T_{n}<\infty \)). The following a priori estimate implies that the local solution can be extended to \((0,\infty )\).

Multiplying (3.1) by \(\eta _{n}(t)\), we obtain

$$\begin{aligned} &\frac{1}{2}\frac{d}{dt} \int _{\Omega } \bigl\vert u_{n}(x,t) \bigr\vert ^{2}\,dx+M\bigl([u_{n}]_{s,p}^{p}\bigr) \iint _{\mathcal{Q}}\frac{ \vert u_{n}(x,t)-u_{n}(y,t) \vert ^{p}}{ \vert x-y \vert ^{N+sp}} \,dx \,dy \\ &\quad {}+ \int _{\Omega }f(x,u_{n})u_{n}\,dx= \int _{\Omega }g(x)u_{n}\,dx. \end{aligned}$$
(3.2)

Let \(u_{0}\in W_{0}\cap L^{q}(\Omega )\). Then, multiplying (3.1) by \(\eta _{n}^{\prime }(t)\), we get

$$\begin{aligned} & \int _{\Omega } \biggl\vert \frac{\partial u_{n}(x,t)}{\partial t} \biggr\vert ^{2}\,dx+ \frac{d}{dt} \biggl[\mathscr{M}\bigl([u_{n}]_{s,p}^{p} \bigr) + \int _{\Omega }F(x,u_{n})\,dx \biggr]= \int _{\Omega }g(x)\frac{\partial u_{n}(x,t)}{\partial t}\,dx. \end{aligned}$$
(3.3)

It follows from \((M_{1})\), (1.3), (3.2), and the Hölder inequality that

$$\begin{aligned} &\frac{1}{2}\frac{d}{dt} \int _{\Omega } \bigl\vert u_{n}(x,t) \bigr\vert ^{2}\,dx+C_{1} \int _{\Omega } \bigl\vert u_{n}(x,t) \bigr\vert ^{q}\,dx\leq C \vert \Omega \vert + \bigl\Vert g(x) \bigr\Vert _{2} \bigl\Vert u_{n}(x,t) \bigr\Vert _{2}. \end{aligned}$$

Further, by \(q\geq 2\) and the Young inequality, we obtain

$$\begin{aligned} \frac{1}{2} \frac{d}{dt} \int _{\Omega } \bigl\vert u_{n}(x,t) \bigr\vert ^{2}\,dx + \frac{C_{1}}{2} \int _{\Omega } \bigl\vert u_{n}(x,t) \bigr\vert ^{2}\,dx \leq \biggl[(C+C_{1}) \vert \Omega \vert + \frac{2}{C_{1}} \bigl\Vert g(x) \bigr\Vert _{2}^{2} \biggr], \end{aligned}$$

which implies that

$$\begin{aligned} & \int _{\Omega } \bigl\vert u_{n}(x,t) \bigr\vert ^{2}\,dx \\ &\quad \leq \int _{\Omega } \bigl\vert u_{0n}(x,0) \bigr\vert ^{2}dxe^{-C_{1}t} + \frac{2(C+C_{1}) \vert \Omega \vert }{c_{1}}\bigl(1-e^{-C_{1}t} \bigr) +\frac{4}{C_{1}} \int _{0}^{t} \Vert g \Vert _{2}^{2}e^{C_{1}(\tau -t)}\,d\tau \\ &\quad \leq C, \end{aligned}$$
(3.4)

where \(C>0\) denotes various constants independent of n and t. This together with (3.2) deduces that the local solution \(u_{n}\) can be extended to \((0,\infty )\).

Then, using a similar discussion as that in [21], we can obtain that the limit of \(\{u_{n}\}\) is a solution of problem (1.1).

Next we prove that problem (1.1) only has one solution. Assume that u and v are two solutions of problem (1.1). Taking \(\varphi =u-v\) as a test function in Definition 1.1, we have

$$\begin{aligned} &\frac{1}{2}\frac{d}{dt} \int _{\Omega } \vert u-v \vert ^{2}\,dx +M \bigl([u]_{s,p}^{p}\bigr) \langle u,u-v\rangle _{W_{0}}-M\bigl([v]_{s,p}^{p}\bigr)\langle u,u-v\rangle _{W_{0}} \\ &\quad {}+ \int _{\Omega }\bigl(f(x,u)-f(x,v)\bigr) (u-v)\,dx=0. \end{aligned}$$

Note that

$$\begin{aligned} \langle u,u-v\rangle _{W_{0}}=[u]_{s,p}^{p}-\langle u,v\rangle _{W_{0}}. \end{aligned}$$

By the Young inequality, we have

$$\begin{aligned} \langle u,v\rangle _{W_{0}} &= \iint _{\mathcal{Q}} \frac{ \vert u(x)-u(y) \vert ^{p-2}(u(x)-u(y))(v(x)-v(y))}{ \vert x-y \vert ^{N+sp}}\,dx \,dy \\ &\leq \biggl(1-\frac{1}{p} \biggr)[u]_{s,p}^{p} + \frac{1}{p}[v]_{s,p}^{p}. \end{aligned}$$

Thus,

$$\begin{aligned} \langle u,u-v\rangle _{W_{0}}\geq \frac{1}{p}\bigl([u]_{s,p}^{p}-[v]_{s,p}^{p} \bigr). \end{aligned}$$

Similarly,

$$\begin{aligned} \langle v,u-v\rangle _{W_{0}}\leq \frac{1}{p}\bigl([u]_{s,p}^{p}-[v]_{s,p}^{p} \bigr). \end{aligned}$$

Using the above inequalities and assumption (1.2), we arrive at the inequality

$$\begin{aligned} \frac{1}{2}\frac{d}{dt} \int _{\Omega } \vert u-v \vert ^{2}\,dx + \frac{1}{p} \bigl[M\bigl([u]_{s,p}^{p}\bigr)-M \bigl([v]_{s,p}^{p}\bigr) \bigr]\bigl([u]_{s,p}^{p}-[v]_{s,p}^{p} \bigr) \leq \lambda \int _{\Omega } \vert u-v \vert ^{2}\,dx. \end{aligned}$$

Since M is a nondecreasing function, we deduce that

$$ \frac{d}{dt} \int _{\Omega } \vert u-v \vert ^{2}\,dx\leq 2\lambda \int _{\Omega } \vert u-v \vert ^{2}\,dx, $$

which implies that \(u-v=0\) a.e. in \(\Omega \times (0,\infty )\). Hence the solution is unique. With a similar discussion as the uniqueness of solution, we can obtain the continuity of the mapping \(u_{0}\rightarrow u (t)\) in \(L^{2}(\Omega )\). □

Now we define a functional \(E:W_{0}\rightarrow \mathbb{R}\) by

$$\begin{aligned} E(u)=\frac{1}{p}\mathscr{M}\bigl([u]_{s,p}^{p}\bigr)+ \int _{\Omega } F(x,u)\,dx- \int _{\Omega }g(x)u\,dx \end{aligned}$$

for all \(u\in W_{0}\), where \(F(x,u)=\int _{0}^{u} f(x,\xi )\,d\xi \). Then we have the following.

Lemma 3.1

Assume that \(u_{0}\in W_{0}\cap L^{q}(\Omega )\). Let u be a solution of problem (1.1), then

$$\begin{aligned} E\bigl(u(x,t)\bigr)=E(u_{0})- \int _{0}^{t} \int _{\Omega } \bigl\vert u_{\tau }(x,\tau ) \bigr\vert ^{2}dxd \tau ,\quad t>0. \end{aligned}$$
(3.5)

Proof

Let us recall that the solution of problem (1.1) can be obtained as the limit of the following sequence of Galerkin’s approximation (see [25]):

$$\begin{aligned} u_{n}(x,t)=\sum_{j=1}^{n} \bigl(g_{n}(t)\bigr)_{j}e_{j}(x),\quad n=1,2, \ldots , \end{aligned}$$

where \(g_{n}(t)\in C^{1}[0,T]\) and \(\{e_{j}\}\subset C_{0}^{\infty }(\Omega )\) is an orthonormal basis in \(L^{2}(\Omega )\). Let u be a sufficiently smooth solution of problem (1.1)(or the approximate solution \(u_{n}\)). Choosing \(\varphi =u_{t}\) in Definition 1.1 and using the fact that

$$\begin{aligned} \langle u,u_{t}\rangle _{W_{0}}=\frac{1}{p} \frac{d}{dt}\mathscr{M}\bigl([u]_{s,p}^{p}\bigr), \end{aligned}$$

we have

$$\begin{aligned} \int _{\Omega } \vert u_{t} \vert ^{2}\,dx+ \frac{d}{dt}E\bigl(u(x,t)\bigr)=0, \end{aligned}$$

which implies that the function \(E(u(x,t))\) is nonincreasing with respect to t. Moreover, integrating the above equality with respect to t from 0 to t, we arrive at the equality

$$\begin{aligned} \int _{0}^{t} \int _{\Omega } \vert u_{\tau } \vert ^{2}\,dx \,d\tau +E\bigl(u(x,t)\bigr)-E(u_{0})=0. \end{aligned}$$

This ends the proof. □

By Theorem 3.1, the solution of problem (1.1) generates a semigroup \(\{S(t)\}_{t\geq 0}\) in \(L^{2}(\Omega )\). Next, we show that the semigroup possesses a global attractor in \(L^{q}(\Omega )\).

Theorem 3.2

Under the assumptions of Theorem 3.1, the semigroup \(\{S(t)\}_{t\geq 0}\) associated with problem (1.1) possesses an absorbing set in \(L^{2}(\Omega )\) and \(W_{0}\cap L^{q}(\Omega )\), respectively.

Proof

Taking \(\varphi =u\) in Definition 1.1, we obtain

$$ \frac{1}{2}\frac{d}{dt} \int _{\Omega } \vert u \vert ^{2}\,dx+M \bigl([u]_{s,p}^{p}\bigr)[u]_{s,p}^{p}+ \int _{\Omega }f(x,u)u\,dx= \int _{\Omega }gudx. $$

Note that assumption (1.3) implies that

$$ \int _{\Omega }f(x,u)u\,dx\geq c_{1} \int _{\Omega } \vert u \vert ^{q}\,dx-c \vert \Omega \vert . $$

This together with the Young inequality and assumption \((M_{1})\) yields that

$$ \frac{1}{2}\frac{d}{dt} \int _{\Omega } \vert u \vert ^{2} \,dx+m_{0}[u]_{s,p}^{p}+c_{1} \int _{\Omega } \vert u \vert ^{q}\,dx\leq C_{\varepsilon } \int _{\Omega } \vert g \vert ^{2}\,dx+ \varepsilon \int _{\Omega } \vert u \vert ^{2}\,dx+c \vert \Omega \vert . $$
(3.6)

Using the Young inequality, one can deduce that

$$\begin{aligned} \int _{\Omega } \vert u \vert ^{2}\,dx&\leq \int _{\Omega }\frac{2}{q} \vert u \vert ^{q} \,dx + \int _{\Omega }\frac{q-2}{q}\,dx \\ &=\frac{2}{q} \int _{\Omega } \vert u \vert ^{q}\,dx + \frac{q-2}{q} \vert \Omega \vert . \end{aligned}$$

Thus,

$$ \frac{q}{2}c_{1} \int _{\Omega } \vert u \vert ^{2}\,dx \leq c_{1} \int _{\Omega } \vert u \vert ^{q}\,dx+ \frac{q-1}{2}c_{1} \vert \Omega \vert . $$

Inserting this inequality into (3.6), we get

$$\begin{aligned} &\frac{1}{2}\frac{d}{dt} \int _{\Omega } \vert u \vert ^{2} \,dx+m_{0}[u]_{s,p}^{p}+ \frac{q}{2}c_{1} \int _{\Omega } \vert u \vert ^{2}\,dx \\ &\quad \leq \varepsilon ^{-1} \int _{\Omega } \vert g \vert ^{2}\,dx+\varepsilon \int _{ \Omega } \vert u \vert ^{2}\,dx+ \biggl(c+ \frac{q-1}{2}c_{1} \biggr) \vert \Omega \vert . \end{aligned}$$

Choose \(\varepsilon =\frac{qc_{1}}{4}\). Then

$$\begin{aligned} &\frac{1}{2}\frac{d}{dt} \int _{\Omega } \vert u \vert ^{2}\,dx+ \frac{q c_{1}}{4} \int _{\Omega } \vert u \vert ^{2}\,dx \\ &\quad \leq \frac{4}{qc_{1}} \int _{\Omega } \vert g \vert ^{2}\,dx + \biggl(c+ \frac{q-1}{2}c_{1} \biggr) \vert \Omega \vert . \end{aligned}$$
(3.7)

Then, using a similar discussion as (3.4), we get that there exists \(t_{0}>0\) such that

$$ \bigl\Vert u(x,t) \bigr\Vert _{2}\leq C \quad \text{for any } t \geq t_{0}. $$

Thus, the semigroup has an absorbing set in \(L^{2}(\Omega )\). Integrating (3.6) with respect to t over \([t, t+1]\), \(t \geq t_{0}\), we obtain

$$\begin{aligned} & \int ^{t+1}_{t} \bigl(m_{0}\bigl[u(x,\tau )\bigr]_{s,p}^{p}+c_{1} \bigl\Vert u(x,\tau ) \bigr\Vert _{q}^{q} \bigr)\,d\tau \\ &\quad \leq C_{\varepsilon } \Vert g \Vert ^{2}_{2}+ \bigl\Vert u(x,t) \bigr\Vert ^{2}_{2}+C \vert \Omega \vert \leq C \quad \text{for } t\geq t_{0}, \end{aligned}$$

which implies that

$$\begin{aligned} \int ^{t+1}_{t} \bigl(\bigl[u(x,\tau ) \bigr]_{s,p}^{p}+ \bigl\Vert u(x,\tau ) \bigr\Vert _{q}^{q} \bigr)\,d\tau \leq C\quad \text{for } t\geq t_{0}. \end{aligned}$$
(3.8)

On the other hand, using Lemma 3.1 and the Young inequality, we deduce

$$ \frac{1}{2} \int _{\Omega } \vert u_{t} \vert ^{2}\,dx+ \frac{d}{dt} \mathscr{M}\bigl([u]_{s,p}^{p}\bigr) + \frac{d}{dt} \int _{\Omega }F(x,u)\,dx\leq \frac{1}{2} \Vert g \Vert ^{2}_{2}. $$
(3.9)

By assumption (1.3), we have

$$ c_{1} \vert u \vert ^{q}-c\leq F(x,u) \leq c_{2} \vert u \vert ^{q}+c. $$
(3.10)

Integrating (3.9) over \([\tau ,t + 1] \), \(t_{0} \leq t < \tau < t + 1\), one can deduce

$$\begin{aligned} &\mathscr{M}\bigl(\bigl[u(x,t)\bigr]_{s,p}^{p}\bigr) + \int _{\Omega }F\bigl(x,u(x,t)\bigr)\,dx \\ &\quad \leq C \Vert g \Vert ^{2}_{2}+ \biggl(\mathscr{M}\bigl( \bigl[u(x,\tau )\bigr]_{s,p}^{p}\bigr) + \int _{\Omega }F\bigl(x,u(x,\tau )\bigr)\,dx \biggr). \end{aligned}$$

Integrating the above inequality with respect to τ between t and \(t + 1\), we obtain

$$\begin{aligned} &\mathscr{M}\bigl(\bigl[u(x,t+1)\bigr]_{s,p}^{p}\bigr) + \int _{\Omega }F\bigl(x,u(x,t+1)\bigr)\,dx \\ &\quad \leq C \Vert g \Vert ^{2}_{2} + \int _{t}^{t+1} \biggl(\mathscr{M}\bigl(\bigl[u(x, \tau )\bigr]_{s,p}^{p}\bigr) + \int _{\Omega }F\bigl(x,u(x,\tau )\bigr)\,dx \biggr)\,d\tau . \end{aligned}$$

Gathering (3.8) and (3.10), we get

$$ \bigl[u(x,t)\bigr]_{s,p}^{p}+ \bigl\Vert u(x,t) \bigr\Vert _{q}^{q}\leq C \quad \text{for all } t \geq t_{0}+1. $$

The proof is complete. □

By the compact imbedding results in [35] and [5, Theorem 6.7], we are now in a position to obtain the global attractor in \(L^{q}(\Omega )\).

Proof of Theorem 1.1

The proof is inspired by [30]. Let \(B_{0}\) be an absorbing set in \(L^{q}(\Omega )\). We define the ω-limit set of \(B_{0}\) as

$$\begin{aligned} \omega (B_{0}):=\bigcap_{\tau \geq 0} \overline{ \bigcup_{t\geq \tau }S(t)B_{0}}^{L^{q}(\Omega )}. \end{aligned}$$

Here \(A^{L^{q}(\Omega )}\) denotes the closure of A in the topology of \(L^{q}(\Omega )\). Note that \(\varphi \in \omega (B_{0})\) if and only if there exist sequences \(\{\varphi _{n}\}\subset B_{0}\) and \(t_{n}\rightarrow \infty \) such that

$$\begin{aligned} S(t_{n})\varphi _{n}\rightarrow \varphi \quad \text{as } n \rightarrow \infty . \end{aligned}$$

Set \(\mathscr{A}=\omega (B_{0})\). Next we verify that \(\mathscr{A}\) is a global attractor of the semigroup \(S(t)\) in \(L^{q}(\Omega )\).

(1) \(\mathscr{A}\) is compact. Clearly, by the compact imbedding results in [35] and [5, Theorem 6.7], one can obtain that \(\mathscr{A}\) is compact in \(L^{q}(\Omega )\) being \(q\in (2,Np/(N-sp))\).

(2) \(\mathscr{A}\) is invariant. If \(v\in S(t)\mathscr{A}\), then \(v=S(t)\varphi \), \(\varphi \in \mathscr{A}\). Thus, there exist \(\varphi _{n}\) and \(t_{n}\) such that

$$ S(t)S(t_{n})\varphi _{n}=S(t+t_{n})\varphi _{n}\rightarrow S(t) \varphi =v, $$

which implies that \(v\in \mathscr{A}\). If \(v\in \mathscr{A}\), then there exist \(\varphi _{n}\in B_{0}\) and \(t_{n}\rightarrow \infty \) such that \(S(t_{n})\varphi _{n}\rightarrow v\). Observe that, for \(t_{n}\geq t\), the sequence \(S(t_{n}-t)\varphi _{n}\) is compact in \(L^{q}(\Omega )\). Thus, there exist a subsequence \(t_{n_{k}}\rightarrow \infty \) and \(\varphi \in L^{q}(\Omega )\) such that \(S(t_{n_{k}}-t)\varphi _{n_{k}}\rightarrow \varphi \). It follows that \(\varphi \in \mathscr{A}\). By the continuity of \(S(t)\), we deduce

$$\begin{aligned} S(t_{n_{k}})\varphi _{n_{k}}= S(t)S(t_{n_{k}}-t)\varphi _{n_{k}} \rightarrow S(t)\varphi =v. \end{aligned}$$

It yields that \(v\in S(t)\mathscr{A}\). Consequently, we obtain that \(S(t)\mathscr{A}=\mathscr{A}\).

(3) \(\mathscr{A}\) attracts any bounded sets in \(L^{q}(\Omega )\). Arguing by contradiction, we assume that for some bounded set \(B_{1}\) of \(L^{2}(\Omega )\), \({\mathrm{dist}}(S(t)B_{1},\mathscr{A})\) does not limit to 0 as \(t\rightarrow \infty \). Hence there exist \(\delta >0\) and a sequence \(t_{n}\rightarrow \infty \) such that, for all n,

$$ {\mathrm{dist}}\bigl(S(t_{n})B_{1},\mathscr{A}\bigr)\geq \delta >0. $$

For each \(n\geq 1\), there exists \(\varphi _{n}\in B_{1}\) such that

$$\begin{aligned} {\mathrm{dist}}\bigl(S(t_{n})\varphi _{n}, \mathscr{A}\bigr)\geq \frac{\delta }{2}>0. \end{aligned}$$
(3.11)

Recall that \(B_{0}\) is an absorbing set. Then \(S(t_{n})\varphi _{n}\subset B_{0}\) for \(t_{n}\geq t_{0}:=t_{0}(B)\). Since \(S(t_{n})\varphi _{n}\) is compact, there exist \(\varphi \in L^{q}(\Omega )\) and a subsequence of \(t_{n}\) denoted by \(t_{n_{k}}\) such that

$$\begin{aligned} \varphi =\lim_{n_{k}\rightarrow \infty } S(t_{n_{k}})\varphi _{n_{k}}= \lim_{n_{k}\rightarrow \infty } S(t_{n_{k}}-t_{0})S(t_{0}) \varphi _{n_{k}}. \end{aligned}$$

It follows from \(S(t_{0})\varphi _{n}\in B_{0}\) that \(\varphi \in \mathscr{A}_{q}\), which contradicts (3.11). □

Infinite dimensional global attractors

In this section, we study the fractal dimension of the global attractor. First, we prove that the \(Z_{2}\) index of the global attractor is infinite. Then, by the Mané projection theorem [18], we obtain the infinite dimensionality of the global attractor.

Let X be a Banach space. Denote by \(\sum =\{A\subset V: A\text{ is closed}, A=-A\}\) the class of closed symmetric subsets of X. For any \(A\in \sum \), the \(Z_{2}\) index of A is defined as follows:

$$ \gamma (A)= \textstyle\begin{cases} \inf \{m:\exists h\in C^{0}(A;\mathbb{R}^{m}\setminus \{0\}), h(-u)=-h(u) \}; \\ \infty \quad \text{if }\{\cdots \}=\emptyset , \text{ in particular if } 0\in A; \\ 0 \quad A=\emptyset . \end{cases} $$

Now we list some properties of \(Z_{2}\) which will be used later, for more details see [29].

Lemma 4.1

The \(Z_{2}\) index defined on Σ satisfies the following properties:

(1) \(\gamma (A)=0\Leftrightarrow A=\phi \).

(2) If \(A\subset B\subset \Sigma \), then \(\gamma (A)\leq \gamma (B)\).

(3) For any \(A,B \subset \Sigma \), \(\gamma (A\cup B)\leq \gamma (A)+\gamma (B)\).

(4) If \(A\in \Sigma \) is a compact set, then \(\exists \delta >0\) such that \(\gamma (\overline{U_{\delta }(A)})=\gamma (A)\), where \(U_{\delta }(A)\) is a symmetric δ-neighborhood of A.

(5) \(\gamma (A)\leq \gamma (\overline{h(A)})\), \(\forall A\in \Sigma \), and \(h:V\rightarrow V\) is an odd and continuous function.

To prove Theorem 1.2, we need the following lemma.

Lemma 4.2

Let \(\{S(t)\}_{t\geq 0}\) be an odd semigroup on a complete metric space X, which possesses a symmetric global attractor \(\mathscr{A}\). Then, for any \(m\in \mathbb{N}\), there exists a neighborhood \(U(0)\) of 0 such that the \(Z_{2}\) index of the set \(\mathscr{A}\setminus U(0)\) satisfies \(\gamma (\mathscr{A}\setminus U(0))\geq m\).

Proof

We first show that, for any integer \(m > 0\), there exists a symmetric set \(B_{m}\) such that

$$\begin{aligned} \gamma (B_{m})\geq m\quad \text{and}\quad \omega (B_{m})=\bigcap_{\tau \geq 0}\overline{\bigcup _{t\geq \tau }S(t)B_{m}}\subset \mathscr{A} \setminus \{0\}. \end{aligned}$$
(4.1)

For any \(k\in \mathbb{N}^{+}\), let \(V_{k}\) be a k-dimensional subspace of \(W_{0}\cap L^{q}(\Omega )\). Set \(A_{k}=\{u\in V_{k}:[u]_{s,p}=1\}\), then \(A_{k}\) is compact in \(W_{0}\cap L^{q}(\Omega )\) and \(L^{r}(\Omega )\). Since all norms are equivalent on a finite dimensional Banach space, there exists \(C>0\) such that

$$ \Vert u \Vert _{r}\geq C[u]_{s,p}=C\quad \text{for all } u\in A_{m}. $$

Set \(\epsilon A_{m}= \{\epsilon u : u\in A _{m} \}\), \(0 < \epsilon < 1\). Then \(\gamma (\epsilon A _{m})=\gamma (A _{m})=m\). For \(\nu =\epsilon u\in \epsilon A_{m}\), we have

$$\begin{aligned} E(\nu ) &=\frac{1}{p}\mathscr{M}\bigl(\epsilon ^{p}[u]_{s,p}^{p} \bigr)+ \epsilon ^{q}\frac{1}{q} \int _{\Omega } \vert u \vert ^{q}\,dx-\epsilon ^{r} \int _{ \Omega } \vert u \vert ^{r}\,dx \\ &\leq \frac{1}{p} \epsilon ^{p}\max_{\tau \in [0,1]}M( \tau )+C \epsilon ^{q} -C\epsilon ^{r}. \end{aligned}$$

Since \(2\leq r< p\) and \(r< q\), for ϵ small enough such that \(E(\nu )<0\) for all \(\nu \in \epsilon A_{m}\). Now fix \(\epsilon >0\) such that \(E(\nu )<0\). Since \(E(0)=0\) and the function \(t\rightarrow E(u(t))\) is nonincreasing, we have \(\omega (\epsilon A_{m})\subset \mathscr{A}\setminus \{0\}\). Thus, (4.1) holds true by taking \(B_{m}=\varepsilon A_{m}\).

Since \(B_{m}\subset \mathscr{A}\setminus \{0\}\) and \(B_{m}\) is closed and compact, there exist open neighborhoods of 0 and \(\omega (B)\), denoted respectively by \(U(0)\) and \(\mathscr{N}(B_{m})\), such that

$$ U( 0 )\cap \mathscr{N}(B_{m})=\emptyset . $$

Since \(S(t)B_{m}\subset \mathscr{N}(B_{m})\) for t large enough, we have \(S(t)B_{m}\subset \mathscr{N}(\mathscr{A})\) for t large enough. Therefore, there exists T such that, for \(t>T\),

$$ S(t)B_{m}\subset \mathscr{N}(B_{m})\subset \mathscr{N}( \mathscr{A}) \setminus U(0) \subset \mathscr{N}\bigl(\mathscr{A}\setminus U(0) \bigr). $$

Note that \(\mathscr{A}\setminus U(0)\) is compact. Choosing a proper neighborhood \(\mathscr{N}(\mathscr{A}\setminus U(0))\), by (4) in Lemma 4.1, we have

$$ \gamma \bigl(\mathscr{A}\setminus U(0)\bigr)=\gamma \bigl( \overline{\mathscr{N} \bigl(\omega (A)\setminus U(0)\bigr)}\bigr) \geq \gamma \bigl( \overline{S(t)B_{m}}\bigr)\geq \gamma (B_{m})\geq m,\quad t \text{ large enough}. $$

The proof is complete. □

Proof of Theorem 1.2

By our assumptions, one can obtain that the semigroup of problem (1.9) is odd. Indeed, for any \(u_{0} \in L^{2}(\Omega )\), clearly, \(-u_{0} \in L^{2}(\Omega )\). Let u be the unique solution of problem (1.9) with initial data \(u_{0}\). Since f is odd, −u is the unique solution of problem (1.9) corresponding to initial data \(-u_{0}\). Thus, \(S(t)(-u_{0})=-u=-S(t)u_{0}\), i.e., \(S(t)\) is odd.

Let B be a symmetric absorbing set. Then the symmetry of the global attractor follows from the fact that

$$ \mathscr{A}=\omega (B)=\bigcap_{s\geq 0} \overline{ \bigcup_{t\geq s}S(t)B}. $$

Finally, we may take a linear (and thus odd) projection in the Mané projection theorem (see [18]). If there exists \(m\in \mathbb{N}\) such that the fractal dimension of \(\mathscr{A}\) is less than m, then every symmetric closed subset of the attractor (not containing zero) has a \(Z_{2}\) index less than \(2m+1\), which contradicts Lemma 4.2. Thus the fractal dimension of the global attractor is infinite. □

Availability of data and materials

Data sharing not applicable to this paper as no datasets were generated or analyzed during the current study.

References

  1. 1.

    Barrios, B., Colorado, E., de Pablo, A., Sánchez, U.: On some critical problems for the fractional Laplacian operator. J. Differ. Equ. 252, 6133–6162 (2012)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Caffarelli, L.: Some nonlinear problems involving non-local diffusions. In: ICIAM 07-6th International Congress on Industrial and Applied Mathematics, pp. 43–56. Eur. Math. Soc., Zürich (2009)

    Google Scholar 

  3. 3.

    Caffarelli, L.: Non-local diffusions, drifts and games. In: Nonlinear Partial Differential Equations, Abel Symposia, vol. 7, pp. 37–52 (2012)

    Google Scholar 

  4. 4.

    Chueshov, I., Lasiecka, I.: Long-Time Behavior of Second Order Evolution Equations with Nonlinear Damping. Memoirs of AMS, vol. 912. Am. Math. Soc., Providence (2008)

    Google Scholar 

  5. 5.

    Di Nezza, E., Palatucci, G., Valdinaci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521–573 (2012)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Efendiev, M.A., Ôtani, M.: Infinite-dimensional attractors for evolution equations with p-Laplacian and their Kolmogorov entropy. Differ. Integral Equ. 20, 1201–1209 (2007)

    MathSciNet  Google Scholar 

  7. 7.

    Fife, P.: Some nonclassical trends in parabolic and parabolic-like evolutions. In: Trends in Nonlinear Analysis, pp. 153–191. Springer, Berlin (2003)

    Google Scholar 

  8. 8.

    Fiscella, A., Servadei, R., Valdinoci, E.: Density properties for fractional Sobolev spaces. Ann. Acad. Sci. Fenn., Math. 40, 235–253 (2015)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Fiscella, A., Valdinoci, E.: A critical Kirchhoff type problem involving a nonlocal operator. Nonlinear Anal. 94, 156–170 (2014) (2015) 235–253

    MathSciNet  Article  Google Scholar 

  10. 10.

    Geredeli, P.G.: On the existence of regular global attractor for p-Laplacian evolution equation. Appl. Math. Optim. 71, 517–532 (2015)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Hartman, P.: Ordinary Differential Equations, 2nd edn. Birkhäuser, Boston (1982)

    Google Scholar 

  12. 12.

    Hurtado, E.J.: Non-local diffusion equations involving the fractional \(p(\cdot )\)-Laplacian. J. Dyn. Differ. Equ. 32, 557–587 (2020)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Iannizzotto, A., Liu, S., Perera, K., Squassina, M.: Existence results for fractional p-Laplacian problems via Morse theory. Adv. Calc. Var. 9, 101–126 (2016)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Kirchhoff, G.: Vorlesungen über Mathematische Physik. Mechanik, Teubner, Leipzig (1883)

    Google Scholar 

  15. 15.

    Laskin, N.: Fractional quantum mechanics and Lévy path integrals. Phys. Lett. A 268, 298–305 (2000)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Lindgren, E., Lindqvist, P.: Fractional eigenvalues. Calc. Var. Partial Differ. Equ. 49, 795–826 (2014)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Lorenzo, B., Enea, P.: The second eigenvalue of the fractional p-Laplacian. Adv. Calc. Var. 9, 323–356 (2016)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Mané, R.: Lecture Notes in Math., vol. 898, pp. 230–242, Springer, New York (1981)

    Google Scholar 

  19. 19.

    Mingqi, X., Rădulescu, V., Zhang, B.: Fractional Kirchhoff problems with critical Trudinger-Moser nonlinearity. Calc. Var. Partial Differ. Equ. 58, 57 (2019)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Mingqi, X., Rǎdulescu, V.D., Zhang, B.: Nonlocal Kirchhoff problems with singular exponential nonlinearity. Appl. Math. Optim. (2020). https://doi.org/10.1007/s00245-020-09666-3

    Article  Google Scholar 

  21. 21.

    Mingqi, X., Radulescu, V.D., Zhang, B.L.: Nonlocal Kirchhoff diffusion problems: local existence and blow-up of solutions. Nonlinearity 31, 3228–3250 (2018)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Molica Bisci, G., Rădulescu, V.: Ground state solutions of scalar field fractional for Schrödinger equations. Calc. Var. Partial Differ. Equ. 54, 2985–3008 (2015)

    Article  Google Scholar 

  23. 23.

    Niu, W.: Long-time behavior for a nonlinear parabolic problem with variable exponents. J. Math. Anal. Appl. 393, 56–65 (2012)

    MathSciNet  Article  Google Scholar 

  24. 24.

    Niu, W., Zhong, C.: Global attractors for the p-Laplacian equations with nonregular data. J. Math. Anal. Appl. 392, 123–135 (2012)

    MathSciNet  Article  Google Scholar 

  25. 25.

    Pan, N., Zhang, B., Cao, J.: Degenerate Kirchhoff-type diffusion problems involving the fractional p-Laplacian. Nonlinear Anal., Real World Appl. 37, 56–70 (2017)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Pucci, P., Xiang, M.Q., Zhang, B.L.: Multiple solutions for nonhomogeneous Schrödinger-Kirchhoff type equations involving the fractional p–Laplacian in \(\mathbb{R}^{N}\). Calc. Var. Partial Differ. Equ. 54, 2785–2806 (2015)

    Article  Google Scholar 

  27. 27.

    Pucci, P., Xiang, M.Q., Zhang, B.L.: A diffusion problem of Kirchhoff type involving the nonlocal fractional p-Laplacian. Discrete Contin. Dyn. Syst. 37, 4035–4051 (2017)

    MathSciNet  Article  Google Scholar 

  28. 28.

    Servadei, R., Valdinoci, E.: The Brezis–Nirenberg result for the fractional Laplacian. Trans. Am. Math. Soc. 367, 67–102 (2015)

    MathSciNet  Article  Google Scholar 

  29. 29.

    Struwe, M.: Variational Methods, Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems, 2nd edn. Springer, Berlin (1996)

    Google Scholar 

  30. 30.

    Temam, R.: Infinite-Dimensional Dynamical Systems in Mechanics and Physics. Springer, New York (1997)

    Book  Google Scholar 

  31. 31.

    Vázquez, J.L.: Nonlinear diffusion with fractional Laplacian operators. In: Nonlinear Partial Differential Equations, Abel Symp., vol. 7, pp. 271–298. Springer, Heidelberg (2012)

    Google Scholar 

  32. 32.

    Wang, M., Huang, J.H.: Finite dimensionality of the global attractor for a fractional Schrödinger equation on \(\mathbb{R}\). Appl. Math. Lett. 98, 432–437 (2019)

    MathSciNet  Article  Google Scholar 

  33. 33.

    Xiang, M.Q., Pucci, P., Squassina, M., Zhang, B.L.: Nonlocal Schrödinger-Kirchhoff equations with external magnetic field. Discrete Contin. Dyn. Syst. 37, 1631–1649 (2017)

    MathSciNet  Article  Google Scholar 

  34. 34.

    Xiang, M.Q., Yang, D.: Nonlocal Kirchhoff problems: extinction and non-extinction of solutions. J. Math. Anal. Appl. 477, 133–152 (2019)

    MathSciNet  Article  Google Scholar 

  35. 35.

    Xiang, M.Q., Zhang, B.L., Ferrara, M.: Existence of solutions for Kirchhoff type problem involving the non-local fractional p-Laplacian. J. Math. Anal. Appl. 424, 1021–1041 (2015)

    MathSciNet  Article  Google Scholar 

  36. 36.

    Xiang, M.Q., Zhang, B.L., Rǎdulescu, V.D.: Existence of solutions for a bi-nonlocal fractional p-Kirchhoff type problem. Comput. Math. Appl. 71, 255–266 (2016)

    MathSciNet  Article  Google Scholar 

  37. 37.

    Yang, M., Sun, C., Zhong, C.: Global attractors for p-Laplacian equation. J. Math. Anal. Appl. 327, 1130–1142 (2007)

    MathSciNet  Article  Google Scholar 

  38. 38.

    Zhong, C., Niu, W.: On the \(Z_{2}\) index of the global attractor for a class of p-Laplacian equations. Nonlinear Anal. 73, 3698–3704 (2010)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors thank the anonymous reviewers for their valuable suggestions on improving this paper.

Funding

Ailing Qi was supported by the National Nature Science Foundation of China (No. 11871368) and the Foundation Research Funds for the Central Universities (No. 3122019145). Mingqi Xiang was supported by the Natural Science Foundation of China (No. 11601515) and the Tianjin Youth Talent Special Support Program.

Author information

Affiliations

Authors

Contributions

All authors read and approved the final manuscript.

Corresponding author

Correspondence to Mingqi Xiang.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Qi, A., Hu, D. & Xiang, M. Long-time behavior of solutions for a fractional diffusion problem. Bound Value Probl 2021, 10 (2021). https://doi.org/10.1186/s13661-021-01483-z

Download citation

MSC

  • 35K55
  • 35R11
  • 47G20

Keywords

  • Fractional p-Laplacian
  • Global attractors
  • Fractal dimension