Abstract
In this paper, we consider the dynamics of a reaction–diffusion equation with fading memory and nonlinearity satisfying arbitrary polynomial growth condition. Firstly, we prove a criterion in a general setting as an alternative method (or technique) to the existence of the bi-spaces attractors for the nonlinear evolutionary equations (see Theorem 2.14). Secondly, we prove the asymptotic compactness of the semigroup on \(L^{2}(\varOmega )\times L_{\mu }^{2}(\mathbb{R}; H_{0}^{1}( \varOmega ))\) by using the contractive function, and the global attractor is confirmed. Finally, the bi-spaces global attractor is obtained by verifying the asymptotic compactness of the semigroup on \(L^{p}( \varOmega )\times L_{\mu }^{2}(\mathbb{R}; H_{0}^{1}(\varOmega ))\) with initial data in \(L^{2}(\varOmega )\times L_{\mu }^{2}(\mathbb{R}; H_{0} ^{1}(\varOmega ))\).
Similar content being viewed by others
1 Introduction
The aim of this paper is to analyze the long-time behavior of solutions of the following semilinear reaction–diffusion equations with fading memory:
with Dirichlet boundary condition, where \(g \in L^{2}(\varOmega )\), \(\varOmega \subset \mathbb{R}^{n}\ (n\ge 3)\) is a bounded domain with smooth boundary, nonlinearity f, and the memory kernel function \(k(s)\) satisfying posterior adaptation hypothesis which will be given below (see, e.g., [3, 4]).
This kind of integro-differential reaction–diffusion equation is well known and can be interpreted, for instance, as a model of heat diffusion with memory which also accounts for a reaction process depending on the temperature itself (see, e.g., [1, 8, 10, 11, 15, 16] and the references therein). This equation also appears as the model of polymers and high viscosity liquids, the diffusion process is influenced by the past historical growth, which is mainly represented in the convolution term of fading memory characterizing diffusion species to a suitable memory core [12]. The energy dissipative speed for equation (1.1) is faster than the common reaction diffusion equation (\(k \equiv 0\)). The heat energy transmission is not only affected by the present external force but also by the historical external force, and as time elapses, this effect will gradually decline.
As \(k=0\), equation (1.1) reduces to usual reaction diffusion, the long-time behavior and related issues of solutions of this problem have been extensively discussed in recent years (see, e.g., [2, 5, 14, 17, 19,20,21,22,23, 26] and the references therein). The above problem has also been analyzed within the theory of infinite-dimensional dynamical systems [6, 8, 10], following Dafermos’ idea of introducing an additional variable \(\eta ^{t}\), the past history of u, whose evolution is ruled by a first-order hyperbolic equation (see, e.g., [7, 8] and the references therein). Thus the original problem (1.1) can be transformed into a dynamical system on a phase space with two components (1.13) or (1.15) (see, e.g., [3, 4]). In [9], the existence of an absorbing set for heat conduction equation with memory has been proved in \(L^{2}(\varOmega )\times L_{\mu }^{2}(\mathbb{R};H_{0}^{1}( \varOmega ))\) and \(H_{0}^{1}(\varOmega )\times L_{\mu }^{2}(\mathbb{R}; H _{0}^{1}(\varOmega )\cap H^{2}(\varOmega ))\). Next, in [8], when the nonlinear term f satisfies critical growth, the existence of global attractor is obtained in \(L^{2}(\varOmega )\times L_{\mu }^{2}( \mathbb{R}; H_{0}^{1}(\varOmega ))\). In [10], when nonlinearity is subcritical, the author obtains the existence of bounded absorbing sets in \(H_{0}^{1}(\varOmega )\times L_{\mu }^{2}(\mathbb{R}; H^{2}(\varOmega ) \cap H_{0}^{1}(\varOmega ))\). In [25], the bi-spaces global attractor \(\mathscr{A}\) is confirmed in \((L^{2}(\varOmega )\times L_{\mu }^{2}(\mathbb{R}; H_{0}^{1}(\varOmega )), H_{0}^{1}(\varOmega ) \times L_{\mu }^{2}(\mathbb{R}; H_{0}^{1}(\varOmega )) )\), the nonlinearity f satisfies the polynomial growth of arbitrary order and bi-spaces global attractor \(\mathscr{A}\subset H_{0}^{1}(\varOmega ) \cap H^{2}(\varOmega )\times L_{\mu }^{2}(\mathbb{R}; H_{0}^{1}(\varOmega ) \cap H^{2}(\varOmega ))\).
As we know, if we want to prove the existence of global attractors, the key point is to obtain the compactness of the semigroup in some sense. Noticing that the nonlinearity satisfies arbitrary polynomial growth condition and Eq. (1.1) has no higher regularity owing to fading memory and the embedding \(L_{\mu }^{2}(\mathbb{R}; H^{2}(\varOmega ) \cap H_{0}^{1}(\varOmega )) \hookrightarrow L_{\mu }^{2}(\mathbb{R}; H _{0}^{1}(\varOmega ))\) is noncompact, so Sobolev embeddings are no longer compact and the asymptotic compactness of solutions cannot be obtained by the usual method. To overcome the difficulty of the noncompact embedding, in [18], using the idea of the contractive function method, the authors consider the asymptotic behavior of nonautonomous wave equations, they prove that the family of processes is uniformly asymptotically compact under the nonlinearity f satisfying critical growth (see, e.g., [18]). In [23, 24], the authors consider the asymptotic behavior of nonclassical diffusion equations with the nonlinearity satisfying arbitrary polynomial growth by the (uniform) asymptotic contractive function method, but the initial data \(z_{0}\) and the solution z of Eq. (1.1) belong to the same space \(z_{0}, z(t)\in H_{0}^{1}(\varOmega )) \times L_{\mu }^{2}(\mathbb{R}; H _{0}^{1}(\varOmega ))\). Unfortunately, it is well known that we cannot get that the semigroup \(\{S(t)\}_{t\ge 0}\) is the contractive semigroup on \(L^{p}(\varOmega )\times L_{\mu }^{2}(\mathbb{R}; H_{0}^{1}(\varOmega ))\) directly when the nonlinearity f satisfies the polynomial growth of arbitrary order.
In this paper, we take the extension of the method in [18, 23, 24, 27, 28] to the norm-to-weak continuous semigroup on a product space. The abstract result, which proves the existence of bi-space global attractors, is obtained (see Theorem 2.9). As an application, we confirm the existence of \((L^{2}(\varOmega )\times L ^{2}_{\mu }(\mathbb{R}^{+}, H^{1}_{0}(\varOmega )), L^{p}(\varOmega )\times L^{2}_{\mu }(\mathbb{R}^{+}, H^{1}_{0}(\varOmega )))\)-global attractor \(\mathscr{A}\) for the reaction–diffusion equation with memory and arbitrarily growing nonlinearity.
The nonlinearity f satisfies \(f \in C^{1}, f(0)=0\), and the arbitrary order exponential growth condition
where \({\alpha _{i}},{\beta _{i}}\ (i=1,2)\), and l are positive constants and dissipative conditions
Let \(F(s)=\int _{0}^{s} f(\tau )\,d\tau \), by (1.2) there exist constants \(\tilde{\alpha }_{i}, \tilde{\beta }_{i} > 0\ (i = 1,2)\) such that
Concerning the memory kernel function \(k(s)\), let \(\mu (s)=-k^{\prime }(s)\). We hypothesize
and there are constants \(\delta,\gamma > 0\) such that
and
Next, we introduce the past history of u, that is,
then \(\eta ^{t}_{t}=\frac{\partial }{\partial t}\eta ^{t}, \eta ^{t}_{s}=\frac{\partial }{\partial s}\eta ^{t}\), and
Historical variable \(u_{0}(\cdot, -s)\) of u satisfies the following conditions: there exist positive constant ℜ and \(\sigma \leq \delta \) (δ is from (1.6)) such that
Combining with (1.7) and (1.9), properties of Lebesgue integral and partial integral, we get
Hence, (1.1) is transformed into the following system:
with initial-boundary conditions
Now, denoting \(z(t) =(u(t), \eta ^{t}) \) as the solution of problem (1.13) with initial data \(z_{0} =(u_{0}, \eta ^{0})\) and setting
and
problem (1.13) with initial-boundary conditions (1.14) assumes the compact form
For convenience, hereafter the \(m(e)\) or \(|e|\) denote the Lebesgue measure of \(e\subset \mathbb{R}^{n}\), C is an arbitrarily positive constant, which may be different from line to line, even in the same line. Let \(|u|\) be the modular (or absolute value) of u, \(|\cdot |_{p}\) be the norm of \(L^{p}(\varOmega )\ (p\geq 1)\) (particular denoting \(H=L^{2}(\varOmega )\)) and \(\|\cdot \|_{0}=|\nabla \cdot |_{2}\) be the equivalent norm of \(V=H_{0}^{1}(\varOmega )\). Denote \(A=-\Delta, D(A)= H^{1}_{0}(\varOmega )\cap H^{2}(\varOmega ) \) with the equivalent norm of \(\|\cdot \|_{1}=|\Delta \cdot |_{2}\). Let X be a Banach space, \(X^{\ast }\) be the dual space of X, and \(L_{\mu }^{2}(\mathbb{R} ^{+}, X)\) be Hilbert spaces of functions φ: \(\mathbb{R} \rightarrow X\), endowed with the inner product and norm respectively:
In particular, \(\|\varphi \|^{2}_{\mu, 0}\) as \(X=V\) and \(\|\varphi \|^{2}_{\mu, 1}\) as \(X=D(A)\).
Lemma 1.1
([24])
Let X be a Hilbert space, \(I=[0,T], \forall T \geq 0\), memory kernel \(\mu (s)\)satisfy (1.4) and (1.5). Then, for any \(\eta ^{t}\in C(I,L_{\mu }^{2}(\mathbb{R}^{+},X))\), the following estimate
holds, whereδis from (1.6).
Let \(X, Y\) be two Banach spaces, we also define a class of Banach product spaces \(\mathcal{M}=X\times L^{2}_{\mu }(\mathbb{R}^{+}, Y)\) with norm \(\|(\cdot, \cdot )\|_{\mathcal{M}}^{2}=\|\cdot \|_{X}^{2}+ \|\cdot \|^{2}_{\mu, Y}\). In particular, \(\mathcal{L}_{2}= H \times L_{\mu }^{2}(\mathbb{R}^{+},V), \mathcal{L}_{p}=L^{p}(\varOmega ) \times L_{\mu }^{2}(\mathbb{R}^{+},V), \mathcal{M}_{1}=V\times L _{\mu }^{2}(\mathbb{R}^{+},V)\), and \(\mathcal{M}_{2} = D(A)\times L _{\mu }^{2}(\mathbb{R}^{+},D(A))\).
2 Abstract results
As mentioned earlier, our main work is to consider the existence of the \((\mathcal{L}_{2}, \mathcal{L}_{p}))\)-global attractor for Eq. (1.1). Thus, we have to recall some basic concepts about the bi-space global attractor and then give a new criterion for the existence of bi-space attractors.
Definition 2.1
([26])
Let X be a Banach space and \(\{S(t)\}_{t\geq 0}\) be a family of operators on X. We say that \(\{S(t)\}_{t\geq 0}\) is a norm-to-weak continuous semigroup on X if \(\{S(t)\}_{t\geq 0}\) satisfies:
- (i)
\(S(0)=\operatorname{Id}\ (\text{{the identity}})\);
- (ii)
\(S(t)S(s)=S(t+s)\ \forall t,s\geq 0\);
- (iii)
\(S(t_{n})x_{n}\rightharpoonup S(t)x \text{{ if }} t_{n} \rightarrow t \text{{ and }} x_{n}\rightarrow x \text{{ in }} X\).
In the evolution equation, this kind of semigroup corresponds to a solution that only satisfies weaker stability condition and, generally, it is neither continuous (i.e., norm-to-norm) nor weakly continuous (i.e., weak-to-weak). But obviously, the continuous semigroup and the weakly continuous semigroup are both norm-to-weak continuous semigroups. As is known to all, for some concrete problems, it is difficult to verify whether the semigroup is continuous or weakly continuous in a stronger normed space. However, it follows from the results described in what follows that the semigroup is norm-to-weak continuous in a stronger normed space.
Lemma 2.2
LetXandYbe two Banach spaces and \(X^{\ast }\), \(Y^{\ast }\)be their respective dual spaces, satisfying
where the injection \(i: X\rightarrow Y\)is continuous and its adjoint \(i^{\ast }:Y^{\ast }\rightarrow X^{\ast }\)is densely injective. Suppose also that \(\{S(t)\}_{t\geq 0}\)is a semigroup onXandY. Assume furthermore that \(\{S(t)\}_{t\geq 0}\)is a continuous semigroup or a weak continuous semigroup onY. Then \(\{S(t)\}_{t\geq 0}\)is a norm-to-weak continuous semigroup onXif and only if \(\{S(t)\}_{t \geq 0}\)maps the compact subset of \(X\times \mathbb{R}^{+}\)into the bounded set ofX.
Definition 2.3
A set \(\mathscr{A}\subset X\), which is invariant, closed in X, compact in Z, and attracts bounded subsets of X in the topology of Z, is called an \((X,Z)\)-global attractor.
Definition 2.4
Let \(\{S(t)\}_{t \ge 0}\) be a semigroup on a Banach space X. A set \(B_{0}\subset Z\) is called \((X,Z)\)-bounded absorbing set if, for any bounded subset B of X, there is \(T=T(B)\) such that \(S(t)B\subset B_{0}\) provided that \(t \ge T\).
Definition 2.5
([2])
Let \(\{S(t)\}_{t \ge 0}\) be a semigroup on a Banach space X. The semigroup \(\{S(t)\}_{t \ge 0}\) is called \((X,Z)\)-asymptotically compact if, for any bounded (in X) sequence \(\{x_{n}\}_{ n=1}^{ \infty } \subset X\) and \(t_{n}\ge 0, t_{n}\rightarrow \infty \) as \(n\rightarrow \infty, \{S(t_{n})x_{n}\}_{n=1}^{\infty }\) has a convergent subsequence with respect to the topology of Z.
Lemma 2.6
([10])
LetXandYbe two Banach spaces with respective norms \(\|\cdot \|_{X}\)and \(\|\cdot \|_{Y}\), with \(B \in \mathscr{B}(X) \cap \mathscr{B}(Y)\). Assume that \(\{x_{n}\}_{n=1}^{\infty }\in B\)and \(x_{n} \stackrel{\|\cdot \|_{X}}{\longrightarrow } x_{0}, x_{n} \stackrel{ \|\cdot \|_{Y}}{\longrightarrow } y_{0}, x_{0}, y_{0} \in B\). Then
where \(\mathscr{B}(X)\)denotes the collection of all bounded subsets ofX.
Definition 2.7
Let X be a Banach space and B be a bounded subset of X. We call a function \(\phi (\cdot,\cdot )\), defined on \(X\times X \), a contractive function if, for any sequence \(\{x_{n}\}_{n=1}^{ \infty }\subset B\), there is a subsequence \(\{x_{n_{k}}\}_{k=1}^{ \infty }\subset \{x_{n}\}_{n=1}^{\infty }\) satisfying
We denote the set of all contractive functions on \(B\times B\) by \(\mathfrak{E}(B)\).
In the following theorem, we present a new method (or technique) to verify the asymptotic compactness of a semigroup generated by evolutionary equations, which will be used in our later discussion.
Lemma 2.8
LetXbe a Banach space andBbe a bounded subset ofX, \(\{S(t)\}_{t\geq 0}\)is a semigroup with a bounded absorbing set \(B_{0}\)onX. Moreover, assume that, for any \(\varepsilon > 0 \), there exist \(T = T(B;\varepsilon )\)and \(\phi _{T}(\cdot,\cdot ) \in \mathfrak{E}(B)\)such that
where \(\phi _{T}\)depend onT. Then the semigroup \(\{S(t)\}_{t\geq 0}\)is asymptotically compact inX.
Theorem 2.9
Let \(X, Z\)be two Banach spaces satisfying
where the injection \(i: Z\rightarrow X\)is continuous, and \(\{S(t)\}_{t\geq 0}\)be a continuous semigroup onXand a semigroup onZ. Suppose that \(\{S(t)\}_{t\geq 0}\)has an \((X, X)\)-global attractor. Then \(\{S(t)\}_{t\geq 0}\)has an \((X, Z)\)-global attractor provided that the following conditions hold:
- (i)
\(\{S(t)\}_{t\geq 0}\)has an \((X, Z)\)-bounded absorbing set \(B_{0}\);
- (ii)
\(\{S(t)\}_{t\geq 0}\)is \((X, Z)\)-asymptotically compact.
Proof
From the assumption that \(\{S(t)\}_{t\geq 0}\) has an \((X, X)\)-global attractor, we know that \(\{S(t)\}_{t\geq 0}\) has an \((X, Z)\)-bounded absorbing set. Because the embedding \(Z \hookrightarrow X \) is continuous but not necessarily compact, \(B_{0}\) is not only an \((X, Z)\)-bounded absorbing set, but also an \((X, X)\)-bounded absorbing set. Let
here \(\overline{A}^{Z}\) is the closure of A in Z. Then, by the basic theory of dynamical systems (see [2, 17, 19]), it follows that \(\mathscr{A}\) is a compact subset of Z and, for any bounded \(B\subset X\),
It is obvious that \(\{S(t)\}_{t\geq 0}\) is a norm-to-weak continuous semigroup on Z. What remains is that we just need to prove that \(\mathscr{A}\) is an invariant set of \(\{S(t)\}_{t\geq 0}\) in Z, that is, for any \(t\geq 0\),
By the assumption that \(\{S(t)\}_{t\geq 0}\) possesses an \((X, X)\)-global attractor \(\mathscr{B}\), hence \(\mathscr{B}\) is an invariant set of \(\{S(t)\}_{t\geq 0}\) in X. Now we prove that \(\mathscr{A}= \mathscr{B}\).
From Lemma 2.2, \(\{S(t)\}_{t \geq 0}\) is a norm-to-weak continuous semigroup on Z and possesses a bounded absorbing set \(B_{0}\). First, it is so easy to prove \(\mathscr{B}\subset \mathscr{A}\). In fact, combining assumption (i) with definition (2.2) of \(\mathscr{A}\), and \(\mathscr{A}\) is an attracting set of \(\{S(t)\}_{t\geq 0}\) in X. And yet \(\mathscr{B}\) is the minimal attracting set, it follows that \(\mathscr{B}\subset \mathscr{A}\). On the other hand, from (2.2), we have that, for any \(x_{0} \in \mathscr{A}\), there exist \(\{x_{n}\}_{n=1}^{\infty }\subset B_{0}\) and \(\{t_{n}\}_{n=1}^{\infty }\subset \mathbb{R}^{+}\) which satisfies \(t_{n}\rightarrow \infty \) as \(n \rightarrow \infty \) such that
The semigroup \(\{S(t)\}_{t\geq 0}\) has an \((X, X)\)-global attractor \(\mathscr{B}\), consequently \(\{S(t_{n})x_{n}\}^{\infty }_{n=1}\) is precompact in X, then there exist a subsequence \(\{S(t_{n_{k}})x _{n_{k}}\}^{\infty }_{k=1}\) and \(y_{0}\in \mathscr{B}\) such that
By Lemma 2.6, \(x_{0}=y_{0}\), which implies that \(x_{0}\in \mathscr{B}\). Noticing that \(x_{0}\) is arbitrary, it immediately follows that \(\mathscr{A}\subset \mathscr{ B}\). The proof is complete. □
Remark 2.10
By Lemma 2.6, we have that the \((X, X)\)-global attractor coincides with the \((X, Y)\)-global attractor.
Lemma 2.11
Let \(X\subset \subset H\subset Y \)be Banach spaces withXreflexive. Suppose that \(u_{n} \)is a sequence that is uniformly bounded in \(L^{2}(0, T; X )\)and \(du_{n}/ dt \)is uniformly bounded in \(L^{p}(0, T; Y )\)for some \(p >1\). Then there is a subsequence of \(u_{n} \)that converges strongly in \(L^{2}(0, T; H )\).
According to Theorem 2.9, the key to proving the existence of \((\mathcal{L}_{2}, \mathcal{L}_{p})\)-global attractors is to verify that semigroup \(\{S(t)\}_{t\geq 0}\) is \((\mathcal{L}_{2}, \mathcal{L}_{p})\)-asymptotically compact. Next, our main purpose is to establish a criterion to verify the asymptotic compactness of semigroups in these bi-spaces.
Lemma 2.12
([26])
Let \(B\subset L^{2}(\varOmega )\cap L^{p}(\varOmega )\ (p\geq 2)\)be any bounded subset of \(L^{2}(\varOmega )\)and \(L^{p}(\varOmega )\). Then, for any \(\varepsilon >0\), Bhas a finiteε-net in \(L^{p}(\varOmega )\)if there exists a positive constant \(M=M(\varepsilon )\), which depends onε, such that
- (1)
Bhas a finite \((3M)^{(2-p)/2}(\varepsilon /2)^{p/2}\)-net in \(L^{2}(\varOmega )\);
- (2)
\((\int _{\varOmega (|u|\geq M)}|u|^{p})^{1/p}< 2^{-(2p+2)/p}\varepsilon \)for any \(u\in B\).
Lemma 2.13
([26])
Let \(\{S(t)\}_{t\ge 0}\)be a semigroup on \(L^{p}(\varOmega )\ (p \geq 1)\), and suppose that \(\{S(t)\}_{t\ge 0}\)has a bounded \((L^{2}(\varOmega ), L^{p}(\varOmega ))\)-absorbing set in \(L^{p}(\varOmega )\). Then, for any \(\varepsilon >0\)and any bounded subset \(B\subset L^{p}( \varOmega )\), there exist positive constants \(T=T(B,\varepsilon )\)and \(M=M(\varepsilon )\)such that
Theorem 2.14
Let \(\{S(t)\}_{t\ge 0}\)be a continuous semigroup on \(\mathcal{L}_{2}\)and a semigroup on \(\mathcal{L}_{p}\), where \(2\leq p<\infty \). Suppose that \(\{S(t)\}_{t\ge 0}\)is \((\mathcal{L}_{2},\mathcal{L}_{2})\)-asymptotically compact, then \(\{S(t)\}_{t\ge 0}\)has an \((\mathcal{L}_{2}, \mathcal{L}_{p})\)-global attractor provided that the following conditions hold:
- (1)
\(\{S(t)\}_{t\ge 0}\)has an \((\mathcal{L}_{2}, \mathcal{L}_{p})\)-bounded absorbing set \(B_{0}(\subset \mathcal{L} _{p})\);
- (2)
for any \(\varepsilon >0\)and bounded (with respect to \(\|\cdot \| _{\mathcal{L}_{2}}\)) subsetB, there exist positive constants \(M=M(\varepsilon, B)\)and \(T=T(B, \varepsilon )\)such that
$$\begin{aligned} \int _{\varOmega ( \vert \varPi _{1} S(t)z_{0} \vert \geq M)} \bigl\vert \varPi _{1}S(t)z_{0} \bigr\vert ^{p}< \varepsilon\quad \textit{for any }z_{0}\in B, t\geq T, \end{aligned}$$where \(\varPi _{1}\)is the projector from \(X\times Y\)toX.
Proof
By Lemma 2.9, we only need to verify that \(\{S(t)\}_{t\ge 0}\) is \((\mathcal{L}_{2}, \mathcal{L}_{p})\)-asymptotically compact. Combining this embedding \(L^{p}(\varOmega )\hookrightarrow L^{2}(\varOmega )\) is continuous with the definitions of \(\mathcal{L}_{2} \) and \(\mathcal{L}_{p}\), we have that the semigroup \(\{S(t)\}_{t\ge 0}\) has an \((\mathcal{L}_{2}, \mathcal{L}_{2})\)-bounded absorbing set \(B_{2}\). Denote \(B_{p}=B_{0} \cap B_{2}\), then it is sufficient to prove that:
For any \(t_{n}> 0, x_{n}\in B_{p}, t_{n}\rightarrow \infty\ (\text{as }n \rightarrow \infty ),\{S(t_{n})x_{n}\}_{n=1}^{\infty }\)is precompact in \(\mathcal{L}_{p}\), which is equivalent to proving that for any \(\varepsilon >0,\{\varPi _{1} S(t_{n})x_{n}\}_{n=1}^{\infty }\) has a finite ε-net in \(L^{p}(\varOmega )\). It is that the semigroup \(\{S(t)\}_{t\ge 0}\) has an \((\mathcal{L}_{2}, \mathcal{L}_{2})\)-global attractor \(\mathscr{A} _{0}\) and for any \(t_{n}> 0, x_{n}\in B_{p}, t_{n}\rightarrow \infty\ (\text{as }n\rightarrow \infty ),\{\varPi _{2} S(t_{n})x_{n}\}_{n=1}^{\infty }\) is precompact in \(L^{2}_{\mu } (\mathbb{R}, V )\) (\(\varPi _{2}\) is the projector from \(X\times Y\) to Y). Furthermore, \(\mathcal{L}_{p}=L ^{p}(\varOmega )\times L^{2}_{\mu } (\mathbb{R}, V )\), so we only need to verify that \(\{\varPi _{1} S(t_{n})x_{n}\}_{n=1}^{\infty }\) is precompact in \(L^{p}(\varOmega )\).
In fact, from the assumption that \(\{S(t)\}_{t\ge 0}\) has an \((\mathcal{L}_{2}, \mathcal{L}_{2})\)-global attractor \(\mathscr{A} _{0}\), we know that there exists \(T_{1}\), which only depends on ε and M, such that \(\{\varPi _{1} S(t_{n})x_{n}|t_{n} \geq T_{1}\}\) has a finite \((3M)^{(2-p)/2}(\varepsilon /2)^{p/2}\)-net in \(L^{2}(\varOmega )\). Taking \(T_{0}=\max \{T,T_{1}\}\), from Lemma 2.11, we know that \(\{\varPi _{1} S(t_{n})x_{n}|t_{n}\geq T_{0}\}\) has a finite ε-net in \(L^{p}(\varOmega )\). Since \(t_{n}\rightarrow \infty \), we obtain that \(\{\varPi _{1} S(t_{n})x_{n}\}_{n=1}^{\infty }\) has a finite ε-net in \(L^{p}(\varOmega )\), too. Then, from the arbitrariness of ε, we get that \(\{\varPi _{1} S(t_{n})x_{n} \}_{n=1}^{\infty }\) is precompact in \(L^{p}(\varOmega )\). □
3 Global attractors in \(\mathcal{L}_{p}\)
Throughout the paper, we will assume conditions (1.3)–(1.6), (1.11), and \(g\in L^{2}(\varOmega )\). By [10] (see also [9]), the following holds.
Lemma 3.1
For any \(T >0\)and every \(z_{0}\in \mathcal{L}_{2}\), Eq. (1.13) with initial-boundary conditions (1.14) admits a unique weak solution
such that
in the weak sense.
Furthermore,
and the mapping
By Lemma 3.1, we can define a semigroup \(\{S(t)\}_{t\ge 0}\) in \(\mathcal{L}_{2}\) as follows:
and \(\{S(t)\}_{t\geq 0}\) is a strongly continuous semigroup on the phase space \(\mathcal{L}_{2}\).
We now deal with the dissipative feature of the semigroup \(\{S(t)\} _{t\geq 0}\). Namely, we show that the trajectories originating from any given bounded set \(B \subset \mathcal{L}_{2}\) eventually, uniformly in time, into a bounded absorbing set \(B_{0}\subset \mathcal{L}_{p}\). For further use, let us write down explicitly the bounded absorbing set \(E_{0} \subset \mathcal{L}_{2}\) of the semigroup \(\{S(t)\}_{t\geq 0}\).
Lemma 3.2
For any \(\mathrm{R} \geq 0\)given, there exist constants \(\mathcal{R} _{0} > 0\)and \(t_{0}=t_{0}(\mathrm{R})\)such that, whenever
it follows that
Consequently, the
is an \((\mathcal{L}_{2}, \mathcal{L}_{2})\)-bounded absorbing set for the semigroup \(\{S(t)\}_{t\geq 0}\), that is, for any bounded set \(B\subset \mathcal{L}_{2} \), there is \(t_{0}=t_{0}(B)\)such that \(S(t)B\subset E_{0}\)for every \(t \geq t_{0}\).
Proof
Multiplying the first equation of (1.13) by u and then integrating over Ω, we get
Using (1.7) and transforming the integral term in (3.2), we have
From (1.6), it follows that
From hypothesis (1.2) and Hölder’s inequality, we obtain
and
Bringing (3.3)–(3.6) into (3.2) and combining with Poincaré’s inequality, we have
where \(|\varOmega |\) is the Lebesgue measure of Ω. Taking
then
Applying Gronwall’s lemma, we obtain
Therefore
Making \(\mathcal{R}^{2} _{0} = \frac{2}{{{\gamma _{1}}}} ( {\frac{1}{ {{\lambda _{1}}}} \vert g \vert _{2}^{2} + 2{\beta _{1}} \vert \varOmega \vert } )\), when \(t \ge {t_{0}} = \frac{1}{{{\gamma _{1}}}}\ln \frac{{{\gamma _{1}}{\lambda _{1}}\mathrm{R}^{2}}}{{ \vert g \vert _{2}^{2} + 2{\lambda _{1}}{\beta _{1}} \vert \varOmega \vert }}\), we obtain
□
Lemma 3.3
There exists a constant \(\mathcal{R}_{1} > 0 \)for given any \(\mathrm{R} \geq 0\)such that, whenever \(\|z_{0}\|_{\mathcal{L}_{2}} \le \mathrm{R}\), the corresponding solution \(z(t)= (u(t), \eta ^{t})\)fulfills
and
for all \(t \geq t_{0}\)hold.
Proof
We integrate (3.9) about t from t to \(t+ 1\) and use Lemma 3.2, then we have
If we make \(\mathcal{R}_{1} = \frac{1}{\min \{1, \delta, 2\alpha _{1} \}} ( \frac{1}{{{\lambda _{1}}}} \vert g \vert _{2}^{2} + 2 {\beta _{1}} \vert \varOmega \vert + \mathcal{R}_{0}^{2} )\), then when \(t\geq t_{0}\), we obtain
and
□
Corollary 3.4
Given any \(\mathrm{R} \geq 0\), there exist constants \(\mathcal{K} = \mathcal{K}(\mathrm{R}) > 0 \)such that, whenever \(\|z_{0}\|_{ \mathcal{M}_{0}} \le \mathrm{R}\), the corresponding solution \(z(t)= (u(t), \eta ^{t})\)fulfills
for all \(t \geq 0 \)holds.
Proof
By (3.8), we find the uniform estimate
The thesis then follows from (3.10). □
Lemma 3.5
The semigroup \(\{S(t)\}_{t\geq 0}\)possesses an \((\mathcal{L}_{2}, \mathcal{L}_{p})\)-bounded absorbing set, that is, there are positive constants \(\rho _{0}, C_{\rho _{0}}\)such that, for any bounded subset \(B\subset \mathcal{L}_{2}\)and given any \(\mathrm{R} \geq 0\), there exists \(t_{1}\ (=t_{1}(\mathrm{R}))\)such that, whenever
it follows that
and
hold for any \(t\geq t_{1} \).
Proof
Multiplying the first equation of (1.13) by \(u_{t}\) and then integrating over Ω, we get
Combining with (1.8) and (1.10), we have
where ℜ from (1.11). By (3.12), we get
Setting
then from (1.4) we get
and
Integrating (3.14) about t from \(s (s\geq t)\) to \(t+1\), we obtain
Integrating (3.17) about s from t to \(t+1\), we get
Combining with (3.15) and (3.16), it follows that
By Lemma 3.2 and Lemma 3.3, there is a positive constant \(\rho _{0}\) such that
for all \(t\geq t_{1}=t_{0}+\frac{1}{\delta }\ln (\frac{e^{\delta t_{0}}\mathcal{K}+\Re }{\delta ^{2}\mathcal{R}_{1}} )\) holds.
Associating with (3.15), (3.16), and (3.20), we obtain that there exists a positive constant \(C_{\rho _{0}}\) such that
for all \(t\geq t_{1}\) holds. □
Remark 3.6
By Lemma 3.5, we can obtain that the semigroup \(\{S(t)\} _{t\ge 0}\) corresponding to Eq. (1.13) possesses an \(( \mathcal{L}_{2}, \mathcal{L}_{p})\)-bounded absorbing set \(B_{0}\):
It is obvious that \(B_{0}\) is also an \((\mathcal{L}_{2}, \mathcal{M} _{1})\)-bounded absorbing set of the semigroup \(\{S(t)\}_{t\geq 0}\).
Lemma 3.7
There exist constants \(\mathcal{K}_{1}, \mathcal{K}_{2} > 0 \), for given any \(z_{0}\in {B_{0}}\) (from 3.23), the corresponding solution \(z(t)= (u(t), \eta ^{t})\)fulfills
and
for all \(t > 0\)hold.
Proof
Differentiating about t for Eq. (1.13), and using (1.8), (1.10), we obtain
Multiplying the first equation of (3.26) by \(u_{t}\) and then integrating over Ω, it follows that
Now, we investigate the estimate of \(\| \eta ^{t}_{t}\|_{\mu, 0}^{2}\):
And
Hence, for any \(t\geq 0\), we get
and
Integrating (3.27) about t from s to \(t\ (0 < s\leq t \leq 1 )\), we obtain
Then integrating (3.29) about s from 0 to 1, for any \(0 < t\leq 1\), it follows that
By Lemma 3.5, for all \(0< t\leq 1\), we get
Let \(s\in (0,1]\), using Gronwall’s lemma to (3.27) and combining with (3.30), for any \(t\geq s\), we have
Setting
then for any \(t > 0\), it follows that
For any \(t > 0\), we integrate (3.27) about t on \([t, t+1]\), then
Using Lemma 3.5 and (3.32) and letting \(\mathcal{K} _{2} = 2lC_{\rho _{0}}+\mathcal{K}_{1} \), we obtain
In order to prove the existence of an \((\mathcal{L}_{2}, \mathcal{L} _{p})\)-global attractor for \(\{S(t)\}_{t\geq 0}\), and for further purposes, we first have to verify that the semigroup \(\{S(t)\}_{t \ge 0}\) is asymptotically compact on \(\mathcal{L}_{2}\). □
Lemma 3.8
The semigroup \(\{S(t)\}_{t\geq 0}\)associated with problem (1.13) with initial and boundary values (1.14) is \((\mathcal{L}_{2}, \mathcal{L}_{2})\)-asymptotically compact.
Proof
Let \(z^{1}(t)=(u^{1}(t), \eta ^{t}_{1}), z^{2}(t)=(u ^{2}, \eta ^{t}_{2})\) be two solutions of (1.13) corresponding to the initial data \(z_{0}^{1}=(u^{1}_{0}, \eta ^{0}_{1}), z^{2}_{0}=(u _{0}^{2}, \eta ^{0}_{2})\) respectively. Set \(z(t)=(\omega (t), \theta ^{t})=(u^{1}(t)-u^{2}(t), \eta ^{t}_{1}-\eta ^{t}_{2})\), then \(z(t)\) satisfies the following equation:
with initial-boundary conditions
Multiplying (3.33) by ω and then integrating in Ω, we get
Making \({\gamma } = \min \{ {2{\lambda _{1}},\delta } \} \), by Gronwall’s lemma, we obtain
For any \(\varepsilon > 0\), let \(T=\frac{1}{\gamma }\ln \frac{| {\omega (0)}|_{2} ^{2} + \| {{\theta ^{0}}}\|_{{\mu, 0}}^{2}}{\varepsilon ^{2}}\), then we get
where
By Lemma 3.5, using Lemma 2.11, then \(\phi _{T}\) is a contractive function on \(B_{0}\). □
Corollary 3.9
The semigroup \(\{S(t)\}_{t\geq 0}\)possesses an \((\mathcal{L}_{2}, \mathcal{L}_{2})\)-global attractor \(\mathscr{A}_{0}\).
Lemma 3.10
The semigroup \(\{S(t)\}_{t\geq 0}\)associated with problem (1.13) with initial and boundary values (1.14) is \((\mathcal{L}_{2}, \mathcal{L}_{p})\)-asymptotically compact.
Proof
Applying once more Theorem 2.14, Lemma 3.1, and Lemma 3.2, we only prove that, for any \(\varepsilon >0\) and bounded (with respect to \(\|\cdot \|_{ \mathcal{L}_{2}}\)) subset B, there exist positive constants \(M=M(\varepsilon, B)\) and \(T=T(B, \varepsilon )\) such that
where \(u=u(t)=\varPi _{1} z(t)\).
From Lemma 3.3 and Remark 3.6, there exist positive constants \(M_{1}=M_{1}(\varepsilon, B)\) and \(T_{0}=T_{0}(B, \varepsilon )\) such that
and
where \(m(e)\) denote the Lebesgue measure of \(e\subset \varOmega \) and \((\varOmega (|u|\geq M_{1}))=\{x\in \varOmega: |u(x)|\geq M_{1}\}\).
Let \(\varOmega _{1}=\varOmega (|u|\geq M_{1}))\) and denote
Multiplying the first equation of (1.13) by \((u-M_{1})_{+}\) and integrating over Ω, we have
For \(M_{1}\) large enough, we get
By Hölder’s inequality and Cauchy’s inequality, we know that
Thus there exists \(T_{1}>0\), for any \(t\geq T_{1}\), we get
Combining with (3.37), integrating (3.36) from t to \(t+1\), yields
Hence, for any \(t\geq T_{1}\),
where \(\varOmega _{2}=\varOmega (u\geq 2M_{1}))\).
Furthermore, we multiply the first equation of (1.13) by \((u-2M_{1})_{+t}\) and integrating over Ω, then we get
Hence, we have
From (1.2), (1.4), (3.39), and Lemma 3.7, we obtain that
Repeating the steps above, just replacing \((u-M_{1})_{+}, (u-2M_{1})_{+}\) with \((u+M_{1})_{-}, (u+2M_{1})_{-}\) respectively, we deduce that
Let \(T=\max \{T_{0}, T_{1}\}\) and \(M=2M_{1}\), then we have that
for any \(t\geq T\) holds. □
It follows that \(\{S(t)\}_{t \geq 0}\) is a norm-to-weak continuous semigroup on \(\mathcal{L}_{p}\) with a bounded absorbing set \(B_{0}\) and \((\mathcal{L}_{2}, \mathcal{L}_{p})\)-asymptotically compact. Then, obviously, by the standard method for dynamical systems, see for example [2, 5, 20], we know that \(\mathscr{A}\) is invariant, compact in \(\mathcal{L}_{p}\), and attracts every bounded subset of \(\mathcal{L}_{2}\) with respect to the \(\mathcal{L}_{p}\)-norm. Furthermore, by Remark 2.10, Lemma 3.8, and Lemma 3.10,
References
Aifantis, E.: On the problem of diffusion in solids. Acta Mech. 37(3–4), 265–296 (1980)
Babin, A.V., Vishik, M.I.: Attractors of Evolution Equations. North-Holland, Amsterdam (1992)
Chepyzhov, V.V., Gattib, S., Grassellic, M., Miranvilled, A., Pata, V.: Trajectory and global attractors for evolution equations with fading memory. Appl. Math. Lett. 19(1), 87–96 (2006)
Chepyzhov, V.V., Miranville, A.: On trajectory and global attractors for semilinear heat equations with fading memory. Indiana Univ. Math. J. 55(1), 119–167 (2006)
Cholewa, J.W., Dlotko, T.: Bi-spaces global attractors in abstract parabolic equations. Banach Cent. Publ. 60, 13–26 (2003)
Conti, M., Gatti, S., Grasselli, M., Pata, V.: Two-dimensional reaction–diffusion equations with memory. Q. Appl. Math. 68, 607–643 (2010)
Dafermos, C.M.: Asymptotic stability in viscoelasticity. Arch. Ration. Mech. Anal. 37(4), 297–308 (1970)
Gatti, S., Grasselli, M., Pata, V.: Lyapunov functionals for reaction diffusion equations with memory. Math. Methods Appl. Sci. 28(14), 1725–1735 (2005)
Giorgi, C., Naso, M.G., Pata, V.: Exponential stability in linear heat conduction with memory: a semigroup approach. Commun. Appl. Anal. 5(1), 121–133 (2001)
Giorgi, C., Pata, V., Marzocchi, A.: Asymptotic behavior of a semilinear problem in heat conduction with memory. NoDEA Nonlinear Differ. Equ. Appl. 5(3), 333–354 (1998)
Gurtin, M.E., Pipkin, A.: A general theory of heat conduction with finite wave speed. Arch. Ration. Mech. Anal. 31, 113–126 (1968)
Jackle, J.: Heat conduction and relaxation in liquids of high viscosity. Phys. Rev. A 162(3), 377–404 (1990)
Khanmamedov, A.K.: Global attractors for von Karman equations with nonlinear interior dissipation. J. Math. Anal. Appl. 318, 92–101 (2006)
Li, J., Liu, F., Feng, L., Turner, I.: A novel finite volume method for the Riesz space distributed-order diffusion equation. Comput. Math. Appl. 74, 772–783 (2017)
Meixner, J.: On the linear theory of heat conduction. Arch. Ration. Mech. Anal. 39(2), 108–130 (1970)
Nunziato, J.: On heat conduction in materials with memory. Q. Appl. Math. 29, 187–204 (1971)
Robinson, J.C.: Infinite-Dimensional Dynamical Systems an Introduction to Dissipative Parabolic PDEs and Theory of Global Attractors. Cambridge University Press, Cambridge (2001)
Sun, S., Dao, D., Duan, J.: Uniform attractors for nonautonomous wave equations with nonlinear damping. SIAM J. Appl. Dyn. Syst. 6(2), 293–318 (2008)
Temam, T.: Infinite Dimensional Dynamical System in Mechanics and Physics, 2nd edn. Springer, New York (1997)
Wang, F., Wang, P., Yao, Z.: Approximate controllability of fractional partial differential equation. Adv. Differ. Equ. 2015, 367 (2015)
Wang, F., Yao, Z.: Approximate controllability of fractional neutral differential systems with bounded delay. Fixed Point Theory 17(2), 495–508 (2016)
Xie, Y., Li, Q., Huang, C., Jiang, Y.: Attractors for the semilinear reaction–diffusion equation with distribution derivatives. J. Math. Phys. 54, 092702 (2013)
Xie, Y., Li, Q., Zhu, K.: Attractors for nonclassical diffusion equations with arbitrary polynomial growth nonlinearity. Nonlinear Anal., Real World Appl. 31, 23–37 (2016)
Xie, Y., Li, Y., Zeng, Y.: Uniform attractors for nonclassical diffusion equations with memory. J. Funct. Spaces 2016(3–4), 1–11 (2016)
Xie, Y., Zhang, J., Li, J., Luo, Q.: Attractors for reaction–diffusion equations with memory. To submit
Zhong, C., Yang, M., Sun, C.: The existence of global attractors for the norm-to-weak continuous semigroup and application to the nonlinear reaction–diffusion equations. J. Differ. Equ. 223(2), 367–399 (2006)
Zhu, K., Xie, Y., Zhou, F.: \(L^{p}\)-pullback attractors for non-autonomous reaction–diffusion equations with delays. Topol. Methods Nonlinear Anal. (in press). https://doi.org/10.12775/TMNA.2019.020
Zhu, K., Xie, Y., Zhou, F., Li, X.: Pullback attractors for non-autonomous reaction–diffusion equations in \(\mathbb{R}^{n}\). J. Math. Phys. 60, 0032702 (2019)
Acknowledgements
The authors would like to thank the referees for their many helpful comments and suggestions.
Availability of data and materials
Not applicable.
Funding
The research is financially supported by Hunan Provincial Key Laboratory of Mathematical Modeling and Analysis in Engineering (Changsha University of Science and Technology), the Province Natural Science Foundation of Hunan (Nos. 2018JJ2416), and the National Natural Science Foundation of China (Nos. 11101053, 71471020).
Author information
Authors and Affiliations
Contributions
The first and second authors played a major role in this work. The authors investigated the literature reviews. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare to have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhang, J., Xie, Y., Luo, Q. et al. Asymptotic behavior for the semilinear reaction–diffusion equations with memory. Adv Differ Equ 2019, 510 (2019). https://doi.org/10.1186/s13662-019-2399-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2399-3