 Research
 Open access
 Published:
Longtime behavior of solutions for a fractional diffusion problem
Boundary Value Problems volumeÂ 2021, ArticleÂ number:Â 10 (2021)
Abstract
This paper deals with the asymptotic behavior of solutions to the initialboundary value problem of the following fractional pKirchhoff equation:
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.
1 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 pKirchhoff problem:
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}}{xy^{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 pLaplacian, which (up to normalization factors) may be defined by
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 ^{q2}\xi b(x)\xi ^{r2}\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 pLaplacian, 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 socalled 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, 19â€“22, 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 initialboundary value problem of the following equation:
where \(M:[0,\infty )\rightarrow (0,\infty )\) is a continuous and nondecreasing function. Using the subdifferential approach, the authors obtained the wellposedness of solutions for (1.4). Moreover, the largetime behavior and extinction property of solutions were given. In [25], Pan, Zhang, and Cao studied the initialboundary value problem of the following fractional pKirchhoff equation:
where \(1\leq \lambda < N/(Nsp)\) and \(p< q< Np/(Nsp)\) 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 initialboundary value problem of the following fractional Kirchhoff equation:
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 initialboundary value of the following equation:
The authors gave some sufficient conditions such that the solutions of the above equation vanish in finite time. Moreover, the nonextinction 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}\)
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 initialboundary value problem of fractional Laplacian equation with variable exponents:
where \((\Delta )_{p(\cdot )}^{s}\) is the fractional \(p(\cdot )\)Laplacian defined as
and \(p\in C(\overline{\Omega }\times \overline{\Omega })\). The author established the wellposedness 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:
where \(\Delta _{p}u={\mathrm{div}}(\nabla u^{p2}\nabla u)\) is the pLaplacian. 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 abovementioned papers, we discuss the existence of global attractors and fractal dimension of solutions for problem (1.1) involving the fractional pLaplacian 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)\),
for all \(\varphi \in W_{0}\), where
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/(Nsp)\), 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:
Theorem 1.2
Assume that \(0< s<1\), \(2< r< p< N/s\), \(r< q< Np/(Nsp)\), 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.
2 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
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
The space W is equipped with the norm
It is easy to get that \(\Vert \cdot\Vert _{W}\) is a norm on W. We shall work in the closed linear subspace
By the result in [35], one can deduce that
is an equivalent norm of \(W_{0}\).
Definition 2.1
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\),
where \(dist(A,B)\) is the Hausdorff semidistance of two sets A and B given by
Definition 2.2
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
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
where \(n(M,\varepsilon )\) denotes the minimal number of closed balls of the radius Îµ which cover the set M.
3 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/(Nsp)\). Then problem (1.1) admits a unique solution
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:
where the unknown functions \((\eta _{n}(t))_{j}\) are determined by the following ODEs:
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}\),
The definition of \(\langle u_{n},e_{j}\rangle _{W_{0}}\) is given by
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
Let \(u_{0}\in W_{0}\cap L^{q}(\Omega )\). Then, multiplying (3.1) by \(\eta _{n}^{\prime }(t)\), we get
It follows from \((M_{1})\), (1.3), (3.2), and the HÃ¶lder inequality that
Further, by \(q\geq 2\) and the Young inequality, we obtain
which implies that
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 =uv\) as a test function in Definition 1.1, we have
Note that
By the Young inequality, we have
Thus,
Similarly,
Using the above inequalities and assumption (1.2), we arrive at the inequality
Since M is a nondecreasing function, we deduce that
which implies that \(uv=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
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
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]):
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
we have
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
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
Note that assumption (1.3) implies that
This together with the Young inequality and assumption \((M_{1})\) yields that
Using the Young inequality, one can deduce that
Thus,
Inserting this inequality into (3.6), we get
Choose \(\varepsilon =\frac{qc_{1}}{4}\). Then
Then, using a similar discussion as (3.4), we get that there exists \(t_{0}>0\) such that
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
which implies that
On the other hand, using Lemma 3.1 and the Young inequality, we deduce
By assumption (1.3), we have
Integrating (3.9) over \([\tau ,t + 1] \), \(t_{0} \leq t < \tau < t + 1\), one can deduce
Integrating the above inequality with respect to Ï„ between t and \(t + 1\), we obtain
Gathering (3.8) and (3.10), we get
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
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
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/(Nsp))\).
(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
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
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,
For each \(n\geq 1\), there exists \(\varphi _{n}\in B_{1}\) such that
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
It follows from \(S(t_{0})\varphi _{n}\in B_{0}\) that \(\varphi \in \mathscr{A}_{q}\), which contradicts (3.11).â€ƒâ–¡
4 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:
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
For any \(k\in \mathbb{N}^{+}\), let \(V_{k}\) be a kdimensional 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
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
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
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\),
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
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
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
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)
Caffarelli, L.: Some nonlinear problems involving nonlocal diffusions. In: ICIAM 076th International Congress on Industrial and Applied Mathematics, pp.Â 43â€“56. Eur. Math. Soc., ZÃ¼rich (2009)
Caffarelli, L.: Nonlocal diffusions, drifts and games. In: Nonlinear Partial Differential Equations, Abel Symposia, vol.Â 7, pp.Â 37â€“52 (2012)
Chueshov, I., Lasiecka, I.: LongTime Behavior of Second Order Evolution Equations with Nonlinear Damping. Memoirs of AMS, vol.Â 912. Am. Math. Soc., Providence (2008)
Di Nezza, E., Palatucci, G., Valdinaci, E.: Hitchhikerâ€™s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521â€“573 (2012)
Efendiev, M.A., Ã”tani, M.: Infinitedimensional attractors for evolution equations with pLaplacian and their Kolmogorov entropy. Differ. Integral Equ. 20, 1201â€“1209 (2007)
Fife, P.: Some nonclassical trends in parabolic and paraboliclike evolutions. In: Trends in Nonlinear Analysis, pp.Â 153â€“191. Springer, Berlin (2003)
Fiscella, A., Servadei, R., Valdinoci, E.: Density properties for fractional Sobolev spaces. Ann. Acad. Sci. Fenn., Math. 40, 235â€“253 (2015)
Fiscella, A., Valdinoci, E.: A critical Kirchhoff type problem involving a nonlocal operator. Nonlinear Anal. 94, 156â€“170 (2014) (2015) 235â€“253
Geredeli, P.G.: On the existence of regular global attractor for pLaplacian evolution equation. Appl. Math. Optim. 71, 517â€“532 (2015)
Hartman, P.: Ordinary Differential Equations, 2nd edn. BirkhÃ¤user, Boston (1982)
Hurtado, E.J.: Nonlocal diffusion equations involving the fractional \(p(\cdot )\)Laplacian. J. Dyn. Differ. Equ. 32, 557â€“587 (2020)
Iannizzotto, A., Liu, S., Perera, K., Squassina, M.: Existence results for fractional pLaplacian problems via Morse theory. Adv. Calc. Var. 9, 101â€“126 (2016)
Kirchhoff, G.: Vorlesungen Ã¼ber Mathematische Physik. Mechanik, Teubner, Leipzig (1883)
Laskin, N.: Fractional quantum mechanics and LÃ©vy path integrals. Phys. Lett. A 268, 298â€“305 (2000)
Lindgren, E., Lindqvist, P.: Fractional eigenvalues. Calc. Var. Partial Differ. Equ. 49, 795â€“826 (2014)
Lorenzo, B., Enea, P.: The second eigenvalue of the fractional pLaplacian. Adv. Calc. Var. 9, 323â€“356 (2016)
ManÃ©, R.: Lecture Notes in Math., vol.Â 898, pp.Â 230â€“242, Springer, New York (1981)
Mingqi, X., RÄƒdulescu, V., Zhang, B.: Fractional Kirchhoff problems with critical TrudingerMoser nonlinearity. Calc. Var. Partial Differ. Equ. 58, 57 (2019)
Mingqi, X., RÇŽdulescu, V.D., Zhang, B.: Nonlocal Kirchhoff problems with singular exponential nonlinearity. Appl. Math. Optim. (2020). https://doi.org/10.1007/s00245020096663
Mingqi, X., Radulescu, V.D., Zhang, B.L.: Nonlocal Kirchhoff diffusion problems: local existence and blowup of solutions. Nonlinearity 31, 3228â€“3250 (2018)
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)
Niu, W.: Longtime behavior for a nonlinear parabolic problem with variable exponents. J. Math. Anal. Appl. 393, 56â€“65 (2012)
Niu, W., Zhong, C.: Global attractors for the pLaplacian equations with nonregular data. J. Math. Anal. Appl. 392, 123â€“135 (2012)
Pan, N., Zhang, B., Cao, J.: Degenerate Kirchhofftype diffusion problems involving the fractional pLaplacian. Nonlinear Anal., Real World Appl. 37, 56â€“70 (2017)
Pucci, P., Xiang, M.Q., Zhang, B.L.: Multiple solutions for nonhomogeneous SchrÃ¶dingerKirchhoff type equations involving the fractional pâ€“Laplacian in \(\mathbb{R}^{N}\). Calc. Var. Partial Differ. Equ. 54, 2785â€“2806 (2015)
Pucci, P., Xiang, M.Q., Zhang, B.L.: A diffusion problem of Kirchhoff type involving the nonlocal fractional pLaplacian. Discrete Contin. Dyn. Syst. 37, 4035â€“4051 (2017)
Servadei, R., Valdinoci, E.: The Brezisâ€“Nirenberg result for the fractional Laplacian. Trans. Am. Math. Soc. 367, 67â€“102 (2015)
Struwe, M.: Variational Methods, Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems, 2nd edn. Springer, Berlin (1996)
Temam, R.: InfiniteDimensional Dynamical Systems in Mechanics and Physics. Springer, New York (1997)
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)
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)
Xiang, M.Q., Pucci, P., Squassina, M., Zhang, B.L.: Nonlocal SchrÃ¶dingerKirchhoff equations with external magnetic field. Discrete Contin. Dyn. Syst. 37, 1631â€“1649 (2017)
Xiang, M.Q., Yang, D.: Nonlocal Kirchhoff problems: extinction and nonextinction of solutions. J. Math. Anal. Appl. 477, 133â€“152 (2019)
Xiang, M.Q., Zhang, B.L., Ferrara, M.: Existence of solutions for Kirchhoff type problem involving the nonlocal fractional pLaplacian. J. Math. Anal. Appl. 424, 1021â€“1041 (2015)
Xiang, M.Q., Zhang, B.L., RÇŽdulescu, V.D.: Existence of solutions for a binonlocal fractional pKirchhoff type problem. Comput. Math. Appl. 71, 255â€“266 (2016)
Yang, M., Sun, C., Zhong, C.: Global attractors for pLaplacian equation. J. Math. Anal. Appl. 327, 1130â€“1142 (2007)
Zhong, C., Niu, W.: On the \(Z_{2}\) index of the global attractor for a class of pLaplacian equations. Nonlinear Anal. 73, 3698â€“3704 (2010)
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
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
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/.
About this article
Cite this article
Qi, A., Hu, D. & Xiang, M. Longtime behavior of solutions for a fractional diffusion problem. Bound Value Probl 2021, 10 (2021). https://doi.org/10.1186/s1366102101483z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366102101483z