- Research
- Open access
- Published:
Dynamical behavior of a degenerate parabolic equation with memory on the whole space
Boundary Value Problems volume 2024, Article number: 11 (2024)
Abstract
This paper is concerned with the existence and uniqueness of global attractors for a class of degenerate parabolic equations with memory on \(\mathbb{R}^{n}\). Since the corresponding equation includes the degenerate term \(\operatorname{div}\{a(x)\nabla u\}\), it requires us to give appropriate assumptions about the weight function \(a(x)\) for studying our problem. Based on this, we first obtain the existence of a bounded absorbing set, then verify the asymptotic compactness of a solution semigroup via the asymptotic contractive semigroup method. Finally, the existence and uniqueness of global attractors are proved. In particular, the nonlinearity f satisfies the polynomial growth of arbitrary order \(p-1\) (\(p\geq 2\)) and the idea of uniform tail-estimates of solutions is employed to show the strong convergence of solutions.
1 Introduction
In this paper, we investigate the long-time behavior of solutions for the following degenerate parabolic equation with memory on \(\mathbb{R}^{n}\) (\(n\geq 2\)):
and initial value
where the variable nonnegative weight coefficient \(a(\cdot )\) denotes the diffusivity, the forcing term \(g=g(x)\in L^{2}(\mathbb{R}^{n})\) and the initial datum \(u_{0}\in L^{2}(\mathbb{R}^{n})\) are given, λ is a positive constant, and \(\mathbb{R}^{+}=[0, \infty )\).
In order to study the equation (1.1) with initial condition (1.2), let us assume that the variable nonnegative diffusivity \(a(\cdot )\), the nonlinearity f, and the memory \(k(s)\) respectively satisfy the following conditions:
\((\mathbf{H_{1})}\) The weight function \(a(x)\) is a nonnegative function such that \(a(x)\in L_{\mathrm{loc}}(\mathbb{R}^{n}) \), and there exists some \(0<\alpha <2\) such that, for each \(z\in \mathbb{R}\),
In addition, for \(a(x)\) we also suppose that there exists \(K>0\) such that, for any \(k\geq K\),
\((\mathbf{H_{2})}\) The memory kernel \(k(s)\) is a nonnegative integrable function of total mass \(\int ^{\infty}_{0} k(s)\,ds =1 \). Let \(\mu (s)=-k'(s)\), and we assume that
as well as there is a constant \(\delta > 0\) such that
From (1.5) and (1.6), it is easy to infer that
To avoid the presence of unnecessary constants, we set
\((\mathbf{H_{3})}\) The nonlinearity \(f\in C^{1}(\mathbb{R}^{n}\times \mathbb{R},\mathbb{R})\) fulfills \(f(0)=0\), along with the dissipation condition
and the arbitrary order polynomial growth restriction
where \(\alpha _{i}, \beta _{i}\) (\(i=1,2 \)), and l are the positive constants, while \(\varphi _{1}\in L^{1}(\mathbb{R}^{n})\), \(\varphi _{2}\in L^{\frac{p}{p-1}}(\mathbb{R}^{n})\) are nonnegative functions.
In the light of the Dafermos’ idea [1], we need to introduce a new variable \(\eta ^{t}\) to characterize the past history of u, which is defined as follows:
Denote \(\eta ^{t}_{t}=\frac{\partial}{\partial t}\eta ^{t}\), \(\eta ^{t}_{s}=\frac{\partial}{\partial s}\eta ^{t}\), then one easily gets
The historical variable \(u_{0}(\cdot , -s)\) of u satisfies
where \(\Re >0\) and \(\sigma \leq \delta \) (δ is from (1.6)).
As a consequence, the problem (1.1)–(1.2) can be rewritten as follows:
with the initial data
From (1.13), it is easy to obtain the following estimate:
The integro-differential reaction–diffusion equation (1.1) with memory and \(a(x)=1\), as a model of heat diffusion with delay, depicts a reaction process that depends on the temperature itself, see, e.g., [2–7] and references therein. Such a model is also applied to some other physical phenomena, such as polymers and high viscosity liquids, etc.; see, e.g., [8–10]. However, equation (1.1), compared to the previous case of \(a(x)=1\), mainly describes a medium that is possibly somewhere a “perfect” insulator, see, e.g., [11].
The parabolic equations with degeneracy defined on bounded domain have been widely studied by some authors in recent years, including the well-posedness and long-time behavior of solutions (such as global and pullback attractors) for corresponding equation, see, e.g., [12–25] and references therein. In these published articles, the diffusivity \(a(\cdot )\) is assumed to satisfy certain conditions, based on which the authors can ensure the compactness properties required for studying long-term dynamics. For the sake of simplicity, we will not go into much detail here. From the aforementioned works, we know that the global and pullback attractors on a bounded domain for the degenerate parabolic equation (1.16) given later have been thoroughly researched. However, for the unbounded case, it seems that few people thought about such questions.
To the best of our knowledge, the authors of [26, 27] have already studied the following degenerate parabolic equations on \(\mathbb{R}^{n}\):
In [26], for the autonomous semilinear degenerate parabolic equation, they obtained the existence of global attractors on \(L^{2}(\mathbb{R}^{n}), L^{p}(\mathbb{R}^{n})\cap \mathcal{H}^{1}( \mathbb{R}^{n},\sigma )\). In [27], for the nonautonomous semilinear degenerate parabolic equation, the existence of pullback attractors on \(L^{p}(\mathbb{R}^{n})\cap \mathcal{H}^{1}(\mathbb{R}^{n},\sigma )\) was proved under a new condition concerning a variable nonnegative diffusivity \(\sigma (\cdot )\). Recently, the authors of [28] studied the well-posedness and the existence of global attractors on \(L^{2}(\Omega )\times L_{\mu}^{2}(\mathbb{R};H_{0}^{1}(\Omega ))\) of equation (1.1), which is an improvement compared with the studies of the semilinear degenerate parabolic equation (1.16). So, these works inspired us to consider the unbounded case of equation (1.1).
The problem (1.1)–(1.2) can be analyzed by following the Dafermos’ idea of introducing an additional variable \(\eta ^{t}\), see, e.g., [3, 4, 29–34] and references therein. As is well known, if we want to study the existence of global attractors, the key is to obtain the asymptotic compactness of the solution semigroup in some sense. Note that the nonlinear term f of (1.1) satisfies the polynomial growth of arbitrary order \(p-1\) (\(p\geq 2\)) and equation (1.1) contains the fading memory. As the problem (1.1)–(1.2) is considered on the whole space, this causes a series of difficulties.
-
(i)
We cannot obtain higher regularity of solutions for equation (1.1) by utilizing the method of [3, 4, 29, 31, 35].
-
(ii)
In the bounded case, the embedding \(L_{\mu}^{2}(\mathbb{R}^{+}; H^{2}(\Omega ) \cap H_{0}^{1}(\Omega )) \hookrightarrow L_{\mu}^{2}(\mathbb{R}^{+}; H_{0}^{1}(\Omega ))\) is noncompact, let alone the embedding in the unbounded case. Thus the compact embedding method cannot be used to verify the asymptotic compactness of semigroup \(\{S(t)\}_{t\geq 0}\).
In order to overcome these difficulties, the idea of the contractive function method is used to prove asymptotic compactness of the solution semigroup in [36–38]. Unfortunately, it is widely known that we cannot directly obtain that the semigroup \(\{S(t)\}_{t\ge 0}\) is a contractive semigroup on \(L^{2}(\mathbb{R}^{n})\times L_{\mu}^{2}(\mathbb{R}; H_{0}^{1}( \mathbb{R}^{n}))\) since the phase space is an unbounded domain. Therefore, the asymptotic contractive semigroup method proposed in [39] and the uniform tail-estimates method proposed in [40] shall be applied to solve our problem. The main contribution of this paper is that we prove the existence and uniqueness of global attractors and the conclusions of the article extend some existing results in [18, 26–28] to whole space cases which have not been studied before.
The plan of this paper is as follows. In Sect. 2, we introduce some notations and recall some basic concepts on the asymptotic contractive function (semigroup) as well as some useful results later. In Sect. 3, we first sketch out the well-posedness of the problem (1.14)–(1.15), and then obtain the existence of a bounded absorbing set, as well as prove the asymptotic compactness of the semigroup corresponding to problem (1.14)–(1.15) by constructing an asymptotic contractive function. Finally, we obtain the existence and uniqueness of global attractors to problem (1.14)–(1.15) on the whole space \(\mathbb{R}^{n}\).
2 Preliminaries
In this section, we introduce some notations and recall some of the existing abstract results, which shall be used to deal with our problem in the sequel.
2.1 Notation
For convenience, hereafter let C be an arbitrary positive constant and \(Q(\cdot )\) be a strictly monotonically increasing positive function, which may be different from line to line, and even in the same line. Let
be the norm of \(L^{p}(\mathbb{R}^{n})\) (\(2\leq p<\infty \)), particularly, we denote the norms of \(L^{1}(\mathbb{R}^{n})\) and \(L^{\infty}(\mathbb{R}^{n})\) by \(\|\cdot \|_{L^{1}}\) and \(\|\cdot \|_{L^{\infty}}\), respectively. Furthermore, we consider \(H:=L^{2}(\mathbb{R}^{n})\), equipped the following inner product:
To describe our problem, we need to introduce the Hilbert space \(\mathcal{H}^{1}(\mathbb{R}^{n},a)\), equipped with the following norm:
Denote the weighted spaces \(\mathcal{V}_{0} = L_{\mu }^{2}(\mathbb{R}^{+};L^{2}(\mathbb{R}^{n}))\) and \(\mathcal{V}_{1} = L_{\mu }^{2}(\mathbb{R}^{+};H^{1}(\mathbb{R}^{n}))\), as well as their inner products and norms as
and
respectively. According to the aforementioned notation, the phase space of the problem (1.14)–(1.15) can be represented as
endowed the following norm:
We denote the ball with radius R in \(\mathcal{L}_{2}\) by
2.2 Abstract results
In this subsection, we give some of the existing theoretical results, which shall be used to verify the asymptotic compactness of semigroup; for more detail, see [34, 36, 39].
Definition 2.1
Let X be a Banach space and B be a bounded subset of X. We call a function \(\psi (\cdot ,\cdot )\), defined on \(X\times X \), an asymptotic contractive function if there exists a contractive function ϕ such that for any \(\epsilon >0\) and 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
where
We denote the set of all contractive functions on \(B\times B\) by \(\mathfrak{E}(B)\).
Lemma 2.2
Let X be a Banach space and B be a bounded subset of X. Consider a semigroup \(\{S(t)\}_{t\geq 0}\) with a bounded absorbing set \(B_{0}\) on X. Moreover, assume that for all \(\epsilon > 0 \) there exist \(T = T(B;\epsilon )\) and \(\psi _{T}(\cdot ,\cdot )\in \mathfrak{E}(B)\) such that
where \(\phi _{T}\) depends on T. Then the semigroup \(\{S(t)\}_{t\geq 0}\) is an asymptotic contractive semigroup on B.
Theorem 2.3
Let \(\{S(t)\}_{t\geq 0}\) be a continuous semigroup on X. Then \(\{S(t)\}_{t\geq 0}\) has a global attractor in X provided that the following conditions hold true:
-
(i)
\(\{S(t)\}_{t\geq 0}\) has a bounded absorbing set \(B_{0}\) in X;
-
(ii)
\(\{S(t)\}_{t\geq 0}\) is an asymptotic contractive semigroup on \(B_{0}\).
Lemma 2.4
Let \(X\subset \subset H\subset Y \) be Banach spaces, with X reflexive. 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 )\).
3 Global attractors on \(\mathcal{L}_{2}\)
In this section, we shall consider the existence and uniqueness of the global attractors in \(\mathcal{L}_{2}\). To this end, we first state the definition of a weak solution, and then give the well-posedness conclusion for the problem (1.14)–(1.15). Finally, we prove that the problem (1.14)–(1.15) possesses a bounded absorbing set in \(\mathcal{L}_{2}\) and verify the asymptotic compactness of the corresponding solution process, which can ensure the existence and uniqueness of the global attractors in \(\mathcal{L}_{2}\).
3.1 Well-posedness
The well-posedness of the problem (1.14)–(1.15) can be proved via the Faedo–Galerkin method (see, e.g., [26, 28, 43]). Of course, this needs to be based on the following definition of a weak solution.
Definition 3.1
Suppose that \(g\in H\) and the initial value \(z_{0}=(u_{0},\eta ^{0})\in \mathcal{L}_{2}\). Then for any \(T>0\), let \(I=[0,T]\). The pair of functions \(z(x,t)= (u(x,t),\eta ^{t}(x,s) )\) defined on \(\mathbb{R}^{n}\times I\) is called a weak solution of the problem (1.14)–(1.15) if
where \(\mathcal{H}^{-1}(\mathbb{R}^{n},a)\) denotes the dual space of \(\mathcal{H}^{1}(\mathbb{R}^{n},a)\). Furthermore, the following identity:
holds true for any \((\omega , \varphi )\in C^{\infty}(\mathbb{R}^{n})\times \mathcal{V}_{1}\) and a.e. \(t\in I\).
Lemma 3.2
For any \(T>0\) and \(z_{0}=(u_{0}, \eta ^{0})\in \mathcal{L}_{2}\), the problem (1.14)–(1.15) has a unique weak solution
and there exists a positive constant κ, which is independent of t, such that the semigroup \(S(t)\) is Lipschitz continuous:
where \(z_{0}^{1}\) and \(z_{0}^{2}\) denote the initial data of the problem (1.14)–(1.15).
Proof
Let \(z^{1}(t)=(u^{1}(t),\eta ^{t}_{1})\) and \(z^{2}(t)=(u^{2}(t),\eta ^{t}_{2})\) be two solutions of the problem (1.14)–(1.15) with the initial data \(z_{0}^{1}=(u_{0}^{1}, \eta ^{0}_{1})\) and \(z_{0}^{2}=(u_{0}^{2}, \eta ^{0}_{2})\), respectively. Then we can obtain
In addition, we can also get from (1.14)2 that
By (1.9), it is easy to get that
Combining with (3.4) and (3.5), we know that there exists \(\kappa =\max \{1,2l+\frac{1}{2\delta}\}\) such that for any \(t\in [0,T]\),
which implies (3.2). This proof is finished. □
By Lemma 3.2, it is easy to see that the solution semigroup \(\{S(t)\}_{t\geq 0}\) on \(\mathcal{L}_{2}\) can be defined as
Moreover, we know that the semigroup \(\{S(t)\}_{t\geq 0}\) is a strongly continuous semigroup on the phase space \(\mathcal{L}_{2}\).
3.2 The existence of a bounded absorbing set in \(\mathcal{L}_{2}\)
Unless otherwise specified, we always assume that \(g\in H\) and the conditions \({(\mathbf{H_{1})}}\)–\({(\mathbf{H_{3})}}\) hold true throughout this article. Furthermore, we use \(z(t)=(u(t),\eta ^{t})\) to denote the solution of the problem (1.14)–(1.15). In this subsection, we mainly address the dissipative feature of the semigroup \(\{S(t)\}_{t\geq 0}\). To this end, we give the following result.
Lemma 3.3
Consider any \(R>0\) and \(z_{0}=(u_{0},\eta ^{0})\in \mathscr{B}(R)\subset \mathcal{L}_{2}\). Then there exist two constants \(c_{1}>0\) and \(k_{1}>0 \) such that for any \(t\geq 0\), whenever \(\|z_{0}\|_{\mathcal{L}_{2}}\leq R\), one has
where \(k_{1}=\frac{1}{c_{1}} (1+\frac{4}{\delta ^{2}} ) ( \frac{1}{\lambda}|g|_{2}^{2}+2\beta _{1} \|\varphi _{1}\|_{L^{1}} )\).
Proof
Using u to multiply the first equation of (1.14) in H, we can obtain that
where we used
From (1.10), we have
Combining with (3.9) and (3.10), it is easy to know that
Taking \(c_{1}=\{\lambda ,\frac{\delta}{2}\}\) in (3.11), one has
Applying Gronwall’s inequality for (3.12), it follows that
Furthermore, we use \(\eta ^{t}\) to multiply the second equation of (1.14) in \(\mathcal{V}_{0}\) to get
Due to Hölder’s and Young’s inequalities and (1.8), we have
which, along with (3.14), yields
where (3.13) was used. Applying Gronwall’s inequality in (3.15) again, we have
From (3.13) and (3.15), one gets
which implies (3.8). The proof is complete. □
Lemma 3.4
For any given \(R\in \mathbb{R}^{+}\), let \(z_{0}=(u_{0}, \eta ^{0})\in \mathscr{B}(R) \subset \mathcal{L}_{2}\), then the semigroup \(\{S(t)\}_{t\geq 0}\) associated with the equation (1.14)–(1.15) admits an \((\mathcal{L}_{2}, \mathcal{L}_{2})\)-bounded absorbing set \({B_{0}}\), namely, there exists \(t_{0}=t_{0}(R)< t\) such that, for any bounded set \(B\subset \mathcal{L}_{2}\), one has
In fact, the uniformly bounded absorbing set \({B_{0}}\) can be given by
Proof
From Lemma (3.3), let \(t_{0}:=t_{0}(R)=\frac{1}{c_{1}}\ln{\frac{Q(R)}{k_{1}}}\) and \(\rho _{0}=2k_{1}\), then it is easy to see that the conclusion is true. □
Corollary 3.5
For any \(R > 0\) and \(z_{0}=(u_{0}, \eta ^{0})\in \mathscr{B}(R) \subset \mathcal{L}_{2} \), there exists \(\rho _{1}=\rho _{1}(k_{1})>0\) such that the relationship
holds for any \(t\geq 0\).
Proof
Integrating (3.11) with respect to t over \((t,t+1)\) and combining with Lemma 3.3, it is easy to obtain
where \(c_{2}=\min \{1,\delta ,\alpha _{1},\lambda \}\).
Similarly, we integrate (3.15) with respect to t over \((t,t+1)\) and obtain
where (3.8) and (3.18) were used.
Let
then from (3.18) and (3.19) we can get the desire conclusion. The proof is finished. □
To verify the asymptotic compactness of solution semigroup \(\{S(t)\}_{t\geq 0}\), the cut-off function technique shall be used to derive the following estimate.
Lemma 3.6
Let B be any bounded subset \(\mathcal{L}_{2}\) and \(z_{0}\in B\). Then for any \(\epsilon >0\), there exist the positive constants \({K}={K}(\epsilon ,B) \) and \(T_{2}=T_{2}(\epsilon ,B)\) such that for every \(k\geq {K}\) and \(t\geq T_{2}\),
where \(B_{k}^{c}=\{x\in \mathbb{R}^{n}: |x|\geq k\}\).
Proof
Let \(\theta (\cdot ):\mathbb{R}^{+}\rightarrow \mathbb{R}\) be a smooth function satisfying \(0\leq \theta (s)\leq 1\) for any \(s\in \mathbb{R}^{+}\) and
then it is easy to see that there exists a positive constant γ such that
Set \(\theta _{k}=\theta (\frac{|x|^{2}}{k^{2}})\). Then we multiply the first equation of (1.14) by \(\theta _{k}u\) in H to get
We now deal with each term of the above formula (3.20). First of all, for the second term on the left-hand side of (3.20), one has
For the fourth term on the left-hand side of (3.20), we get
For the fifth term on the left-hand side of (3.20), by (1.10) we can obtain
By Hölder’s and Young’s inequalities, we can handle the right-hand side of (3.20) and obtain
By virtue of (3.20)–(3.24), we have
According to the definition of \(\theta _{k}\), it is easy to find that
Therefore,
Similarly, by (1.4), we can obtain
Taking \(c_{3}=\min \{\delta ,\frac{\lambda}{2}\}\), (3.28) implies that
Due to \(\varphi _{1}\in L^{1}(\mathbb{R}^{n})\), there exists \(k_{1}=k_{1}(\epsilon )>0\) such that for all \(k>k_{1}(\epsilon )\),
Similarly, since \(g\in H\), there exists \(k_{2}=k_{2}(\epsilon )>0\) such that for all \(k>k_{2}(\epsilon )\),
Thus, by Lemma 3.4 and the aforementioned two estimates, we know that for all \(t\geq t_{0}\),
Applying Gronwall’s lemma, we get
For the above given \(\epsilon >0\), let us take \(K=:K(\epsilon )=\max \{k_{1},k_{2},\sqrt{\frac{C\rho _{0}}{\epsilon}} \}\), then there exists \({T}_{0}=:{T}_{0}(\epsilon )=\max \{T_{0}, \frac{1}{c_{3}}\ln{ \frac{Q(R)}{\epsilon}}\}\) such that, when \(t\geq {T}_{0}\) and \(k\geq K\), one has
In addition, if we use \(\theta (\frac{|x|^{2}}{k^{2}})\eta ^{t}\) to take inner product with the second equation of (1.14) on \(\mathcal{V}_{0}\), then by \(\mathbf{(H_{2})}\), it yields
Combining with (3.30) and (3.31), we have
Using Gronwall’s lemma, we get
and then there exists \({T}_{1}=:{T}_{1}(\varepsilon )= \frac{2}{\delta}\ln \frac{Q(R)\delta ^{2}}{C\epsilon}\) such that, when \(t\geq {T}_{1}\),
By (3.30) and (3.34), we know that there exist K and \(T_{2}=\max \{T_{0},T_{1}\}\) such that
holds for all \(k\geq K \) and \(t\geq T_{2}\). So one has
The proof is complete. □
3.3 Asymptotic compactness
In this subsection, we will prove the existence of global attractors in \(\mathcal{L}_{2}\) through the semigroup \(S(t)\) defined by (3.7). In order to prove Theorem 3.8, first, we give the following lemma.
Lemma 3.7
Assume that \(z_{n}(t)=(u_{n}(t),\eta _{n}^{t})\) (\(n=1,2,\dots \)) are solutions of the problem (1.14)–(1.15). In addition, for any \(k>0\) and given \(T>0\), let \(a\in \mathcal{C}(\bar{B_{k}})\), where
Then there exists a subsequence of \(\{u_{n}(t)\}\) such that it is convergent in \(L^{2}(0,L^{2}(B_{k}))\).
Proof
First of all, by Corollary 3.5, we can obtain that
as well as by further utilizing the assumption (1.10) in \(\mathbf{(H_{3})}\), it is easy to show the following claim:
Next, for any \(v\in \mathcal{C}([0,T];\mathcal{C}_{0}^{\infty}({B_{k}}))\), it is easy to get that
By (3.37), we have
Since \(\mathcal{C}([0,T];\mathcal{C}_{0}^{\infty}({B_{k}}))\) is dense in \(L^{2}(0,T;H^{1}(B_{k}))\cap {L^{p}(0,T;L^{p}(B_{k}))}\), by Corollary 3.5 and (3.36) in \(\mathbf{(H_{3})}\), we further know that
Combining with (3.35), (3.38), and Lemma 2.4, one knows that there exists a subsequence of \(\{u_{n}(t)\}\) (not relabeled) such that
This proof is finished. □
Theorem 3.8
Under the assumptions of Lemma 3.7, the semigroup \(\{S(t)\}_{t\geq 0}\) generated by the solutions of the system (1.14)–(1.15) is an asymptotic contractive semigroup on \(\mathcal{L}_{2}\).
Proof
For any \(z^{i}_{0}\in B_{0}\) (\(i=1,2\)), suppose that \(z_{i}(t)=(u_{i}(t),\eta _{i}^{t})=S(t)z_{0}^{i}\) (\(i=1,2\)) are solutions of the following equation:
with initial conditions
Let \((\omega (t), \varsigma ^{t})=(u_{1}(t)-u_{2}(t), \eta ^{t}_{1}-\eta ^{t}_{2})\), then it satisfies the following system:
Multiplying the first equation of (3.40) by ω and integrating over \(\mathbb{R}^{n}\), we get
Taking the inner product of the second equation of (3.40) and \(\theta ^{t}\) on \(\mathcal{V}_{0}\) and using Young’s inequality gives
Moreover, by (1.9), we have
Together with (3.41)–(3.43), one gets
where \(c_{4}=\min \{\lambda ,\frac{\delta}{2}\}\).
So, from Gronwall’s inequality, we get
For a fixed \(T_{2}>0\) (from Lemma 3.6), one has
Thus, there exists \(\mathscr{T}=\mathscr{T}(\varepsilon )\geq {T_{2}}\) such that
holds true for any \(\epsilon >0\) and all \(t\geq \mathscr{T}\).
Let \(T\geq \mathscr{T}\) be given and consider
and
By Lemma 3.6, for any \(\epsilon >0\) and \(k\geq K(\epsilon )\), one has
Thus, we get that
and
Combining with Lemma 3.7 and Definition 2.1, we know that \(\phi _{T}\) is a contractive function. Therefore, \(\psi _{T}\) is an asymptotically contractive function, which implies that the semigroup \(\{S(t)\}_{t\geq 0}\) is an asymptotically contractive semigroup on \(\mathcal{L}_{2}\) by Definition 2.2. This proof is complete. □
Now, we will present the main conclusion.
Theorem 3.9
Under the assumptions of Lemma 3.7, assume that \(\{S(t)\}_{t\geq 0}\) is the solution semigroup of equation (1.1) with initial value \(z_{0}\in \mathcal{L}_{2}\), then \(\{S(t)\}_{t\geq 0}\) possesses a nonempty, invariable, compact global attractor in \(\mathcal{L}_{2}\), which attracts any bounded set of \(\mathcal{L}_{2}\).
Proof
Since we have proved Lemma 3.4 and Theorem 3.8, together with Theorem 2.3, we now easily get the existence of the global attractor \(\tilde{\mathscr{A}}\) for the semigroup \(S(t)\) defined by (3.7) in \(\mathcal{L}_{2}\). □
Data Availability
No datasets were generated or analysed during the current study.
References
Dafermos, C.M.: Asymptotic stability in viscoelasticity. Arch. Ration. Mech. Anal. 37, 297–308 (1970)
Aifantis, E.: On the problem of diffusion in solids. Acta Mech. 37, 265–296 (1980)
Gatti, S., Grasselli, M., Pata, V.: Lyapunov functionals for reaction–diffusion equations with memory. Math. Methods Appl. Sci. 28, 1725–1735 (2005)
Giorgi, C., Pata, V., Marzocchi, A.: Asymptotic behavior of a semilinear problem in heat conduction with memory. NoDEA Nonlinear Differ. Equ. Appl. 5, 333–354 (1998)
Meixner, J.: On the linear theory of heat conduction. Arch. Ration. Mech. Anal. 39, 108–130 (1970)
Gurtin, M.E., Pipkin, A.: A general theory of heat conduction with finite wave speed. Arch. Ration. Mech. Anal. 31, 113–126 (1968)
Sun, C., Yang, M.: Dynamics of the nonclassical diffusion equation. Asymptot. Anal. 59, 51–81 (2008)
Chen, P.J., Gurtin, M.E.: On a theory of heat conduction involving two temperatures. Z. Angew. Math. Phys. 19, 614–627 (1968)
Barenblatt, G.I., Zheltov, I.P., Kochina, I.N.: Basic concepts in the theory of seepage of homogeneous liquids in fissured rocks. J. Appl. Math. Mech. 24, 1286–1303 (1960)
Jackle, J.: Heat conduction and relaxation in liquids of high viscosity. Phys. Rev. A 162, 377 (1990)
Dautray, R., Lions, J.L.: Mathematical Analysis and Numerical Methods for Science and Technology, Vol. 1. Physical Origins and Classical Methods. Springer, Berlin (1990)
Anh, C.T., Hung, P.Q.: Global attractors for a class of degenerate parabolic equations. Acta Math. Vietnam. 34, 213–231 (2009)
Anh, C.T., Ke, T.D.: Long-time behavior for quasilinear parabolic equations involving weighted p-Laplacian operators. Nonlinear Anal. 71, 4415–4422 (2009)
Anh, C.T., Chuong, N.M., Ke, T.D.: Global attractors for the m-semiflow generated by a quasilinear degenerate parabolic equations. J. Math. Anal. Appl. 363, 444–453 (2010)
Anh, C.T., Binh, N.D., Thuy, L.T.: On the global attractors for a class of semilinear degenerate parabolic equations. Ann. Pol. Math. 98, 71–89 (2010)
Anh, C.T., Thuy, L.T.: Notes on global attractors for a class of semilinear degenerate parabolic equations. J. Nonlinear Evol. Equ. Appl. 2012, 41–56 (2012)
Li, H., Ma, S.: Asymptotic behavior of a class of degenerate parabolic equations. Abstr. Appl. Anal. 2012, 673605 (2012)
Li, H., Ma, S., Zhong, C.: Long-time behavior for a class of degenerate parabolic equations. Discrete Contin. Dyn. Syst. 34, 2873–2892 (2014)
Li, X., Sun, C., Zhou, F.: Pullback attractors for a non-autonomous semilinear degenerate parabolic equation. Topol. Methods Nonlinear Anal. 47, 511–528 (2016)
Ma, S., Sun, C.: Long-time behavior for a class of weighted equations with degeneracy. Discrete Contin. Dyn. Syst. 40, 1889–1902 (2020)
Ma, S., Li, H.: The long-time behavior of weighted p-Laplacian equations. Topol. Methods Nonlinear Anal. 54, 685–700 (2019)
Karachalios, N.I., Zographopoulos, N.B.: On the dynamics of a degenerate parabolic equation: global bifurcation of stationary states and convergence. Calc. Var. Partial Differ. Equ. 25, 361–393 (2006)
Niu, W.: Global attractors for degenerate semilinear parabolic equations. Nonlinear Anal. 77, 158–170 (2013)
Niu, W., Meng, Q., Chai, X.: Asymptotic behavior for nonlinear degenerate parabolic equations with irregular data. Appl. Anal. 100, 3391–3405 (2021)
Tan, W.: Dynamics for a class of non-autonomous degenerate p-Laplacian equations. J. Math. Anal. Appl. 458, 1546–1567 (2018)
Anh, C.T., Thuy, L.T.: Global attractors for a class of semilinear degenerate parabolic equations on \(\mathbb{R}^{N}\). Bull. Pol. Acad. Sci., Math. 61, 47–65 (2013)
Binh, N.D., Thang, N.N., Thuy, L.T.: Pullback attractors for a non-autonomous semilinear degenerate parabolic equation on \(\mathbb{R}^{N}\). Acta Math. Vietnam. 41, 183–199 (2016)
Ma, S., You, B.: Global attractors for a class of degenerate parabolic equations with memory. Discrete Contin. Dyn. Syst., Ser. B 28, 2044–2055 (2023)
Chepyzhov, V.V., Miranville, A.: On trajectory and global attractors for semilinear heat equations with fading memory. Indiana Univ. Math. J. 55, 119–167 (2006)
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, 87–96 (2006)
Conti, M., Gatti, S., Grasselli, M., Pata, V.: Two-dimensional reaction–diffusion equations with memory. Q. Appl. Math. 68, 607–643 (2010)
Giorgi, C., Naso, M.G., Pata, V.: Exponential stability in linear heat conduction with memory: a semigroup approach. Commun. Appl. Anal. 5, 121–133 (2001)
Zhang, J., Xie, Y., Luo, Q., Tang, Z.: Asymptotic behavior for the semi-linear reaction diffusion equations with memory. Adv. Differ. Equ. 2019, 510 (2019)
Xie, Y., Zhang, J., Huang, C.: Attractors for reaction–diffusion equation with memory. Acta Math. Sinica (Chin. Ser.) 64, 979–990 (2021)
Zhang, J.W., Xie, Z., Xie, Y.Q.: Long-time behavior of nonclassical diffusion equations with memory on time-dependent spaces. Asymptot. Anal. (2023). https://doi.org/10.3233/ASY-231887
Zhang, J.W., Liu, Z.M., Huang, J.H.: Upper semicontinuity of pullback \(\mathscr{D}\)-attractors for nonlinear parabolic equation with nonstandard growth condition. Math. Nachr. 296, 5593–5616 (2023)
Sun, S., Dao, D., Duan, J.: Uniform attractors for nonautonomous wave equations with nonlinear damping. SIAM J. Appl. Dyn. Syst. 6, 293–318 (2008)
Xie, Y., Liu, D., Zhang, J., Liu, X.: Uniform attractors for nonclassical diffusion equations with perturbed parameter and memory. J. Math. Phys. 64, 022701 (2023)
Xie, Y., Li, Q., Zhu, K.: Attractors for nonclassical diffusion equations with arbitrary polynomial growth nonlinearity. Nonlinear Anal. 31, 23–37 (2016)
Wang, B.: Attractors for reaction–diffusion equations in unbounded domains. Physica D 179, 41–52 (1999)
Temam, T.: Infinite Dimensional Dynamical System in Mechanics and Physics, 2nd edn. Springer, New York (1997)
Robinson, J.C.: Infinite-Dimensional Dynamical Systems an Introduction to Dissipative Parabolic PDEs and Theory of Global Attractors. Cambridge University Press, Cambridge (2001)
Carvalho, A.N., Langa, J.A., Robinson, J.C.: Attractors for Infinite-Dimensional Non-autonomous Dynamical Systems. Applied Mathematical Sciences, vol. 182. Springer, New York (2013)
Acknowledgements
The authors would like to thank the referees for their many helpful comments and suggestions.
Funding
The research is financially supported by General Project of Education Department of Hunan Province (Nos. 21C0660).
Author information
Authors and Affiliations
Contributions
R.G. and X.L. wrote the main manuscript text and revised it. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare 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 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
Guo, R., Leng, X. Dynamical behavior of a degenerate parabolic equation with memory on the whole space. Bound Value Probl 2024, 11 (2024). https://doi.org/10.1186/s13661-024-01824-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-024-01824-8