Open Access

Existence and regularity of time-dependent global attractors for the nonclassical reaction-diffusion equations with lower forcing term

Boundary Value Problems20162016:10

Received: 21 October 2015

Accepted: 30 December 2015

Published: 13 January 2016


Based on the notation of time-dependent attractors, we prove the existence and the regularity of time-dependent global attractors for a class of nonclassical reaction-diffusion equations when the forcing term \(g(x)\in H^{-1}(\Omega)\) and the nonlinear function satisfies the critical exponent growth, which is weaker than the conditions used in (Jing and Liu in Appl. Anal. 94(7):1439-1449, 2015).


nonclassical reaction-diffusion equations time-dependent attractors regularity


35B25 37L30 45K05

1 Introduction

Recently, Conti and Di Plinio et al. [24] presented the notation of time-dependent global attractors and studied the long-time behavior of the wave equations and oscillation equations in the topology space equipped with the norm related to the time, respectively. Motivated by these results we investigate the existence and regularity of time-dependent global attractors for a class of nonclassical reaction-diffusion equations
$$ \textstyle\begin{cases} u_{t}- \varepsilon(t)\triangle u_{t}- \triangle u+\lambda u=f(u)+ g(x), & x\in\Omega, \\ u|_{\partial\Omega}=0, & t\in \mathbb{R},\\ u(x,\tau)=u_{\tau}(x), & t\geq\tau. \end{cases} $$
Here Ω is a bounded set of \(\mathbb{R}^{n}\) (\(n\geq3\)) with smooth boundary Ω. \(\lambda>0\), \(\tau\in\mathbb{R}\), and \(\varepsilon(t)\) is a decreasing bounded function satisfying
$$ \lim_{t \rightarrow+\infty}\varepsilon(t)=0, $$
and there exists \(\nu>0\) such that
$$ \sup_{t\in\mathbb{R}}\bigl[\bigl\vert \varepsilon(t)\bigr\vert +\bigl\vert \varepsilon'(t)\bigr\vert \bigr]\leq\nu . $$
The nonlinearity \(f\in C^{1}(\mathbb{R})\) with \(f(0)=0\), is assumed to satisfy the following conditions:
$$\begin{aligned}& \limsup_{\vert s\vert \rightarrow\infty}\frac{f(s)}{s}< \lambda _{1}, \quad \forall s\in\mathbb{R}, \end{aligned}$$
$$\begin{aligned}& \bigl\vert f'(s)\bigr\vert \leq C\bigl(1+\vert s\vert ^{\frac{4}{n-2}}\bigr), \quad \forall s\in\mathbb{R}, \end{aligned}$$
where \(\lambda_{1}\) is the first eigenvalue of − in \(H_{0}^{1}(\Omega)\), C is a positive constant.

The nonclassical reaction-diffusion equation arises as a mathematical model to describe physical phenomena, such as non-Newtonian flows, solid mechanics, and heat conduction [57]. Aifantis provides a quite general approach for obtaining these equations (see [5, 8]).

When \(\varepsilon(t)\) in (1.1) is only a positive constant, the long-time behavior of solutions for (1.1) has been extensively studied by several authors in [919] and the references therein. For instance, some authors obtained the existence of global(pullback) attractors of solutions for both the autonomous case [9, 10, 12, 14, 16] and the nonautonomous case [15, 17, 19]. Anh and Toan [18] investigated the existence and upper semicontinuity of uniform attractor in \(H^{1}(\mathbb{R^{N}})\) for this problem; besides, they also considered the case of singularly oscillating external forces on \(\mathbb{R^{N}}\) [20]. The existence of exponential attractors was obtained in [11, 13, 15]. In the general case of a time dependence, to the best of our knowledge, only Ding and Liu [1] proved the existence and regularity of time-dependent global attractors of (1.1) when the force term \(g\in L^{2}(\Omega)\) (\(\Omega\subset\mathbb{R}^{3}\)) and the nonlinear term f satisfies the following conditions:
$$\begin{aligned} \mbox{(i)} & \quad \limsup_{\vert s\vert \rightarrow\infty}\frac{f(s)}{s}< \lambda _{1}, \quad \forall s\in\mathbb{R}, \\ \mbox{(ii)} &\quad \bigl\vert f''(s)\bigr\vert \leq C\bigl(1+\vert s\vert \bigr), \quad \forall s\in\mathbb{R}. \end{aligned}$$

In this paper, following the general lines of the approach used in [24], we investigate the existence and regularity of the time-dependent attractors for the process \(U(t,\tau)\) generated by (1.1) under weaker conditions than [1].

2 Preliminaries

Without loss of generality, denote \(H=L^{2}(\Omega)\) with the inner products \(\langle\cdot,\cdot\rangle\) and norms \(\Vert \cdot \Vert \). For \(0\leq \sigma\leq2\), we define the hierarchy of compactly nested Hilbert spaces
$$H_{\sigma}=D\bigl(A^{\frac{\sigma}{2}}\bigr), \qquad \langle w,v \rangle_{\sigma }=\bigl\langle A^{\frac{\sigma}{2}}w, A^{\frac{\sigma}{2}}v\bigr\rangle , \qquad \Vert w\Vert _{\sigma}=\bigl\Vert A^{\frac{\sigma}{2}}w \bigr\Vert . $$
Then, for \(t\in\mathbb{R}\) and \(-1\leq\sigma\leq1\), we introduce the time-dependent spaces
$$\mathcal{H}_{t}^{\sigma}= H_{\sigma+1}, $$
endowed with the time-dependent norms
$$\Vert u\Vert _{\mathcal{H}_{t}^{\sigma}}^{2}=\Vert u\Vert _{\sigma}^{2}+\varepsilon(t)\Vert u\Vert _{\sigma+1}^{2}. $$
The symbol σ is always omitted whenever zero. In particular, the time-dependent phase space where we settle the problem is
$$\mathcal{H}_{t}^{-1}=H_{0}=L^{2},\qquad \mathcal{H}_{t}=H_{1}, \quad \mbox{with } \Vert u\Vert _{\mathcal{H}_{t}}^{2}=\Vert u\Vert ^{2}+\varepsilon(t) \Vert u\Vert _{1}^{2}, $$
then we have the compact embeddings
$$\mathcal{H}_{t}^{\sigma}\Subset\mathcal{H}_{t}, \quad -1\leq\sigma< 1, $$
with injection constants independent of \(t\in\mathbb{R}\). Note that the spaces \(\mathcal{H}_{t}\) are all the same as linear spaces; besides, since \(\varepsilon(t)\) is a decreasing function of t, for every \(u\in H_{1}\) and \(t\geq\tau\in\mathbb{R}\) we have
$$\Vert u\Vert _{\mathcal{H}_{t}}^{2}\leq \Vert u\Vert _{\mathcal{H}_{\tau}}^{2}\leq\max\biggl\{ 1, \frac{\varepsilon(\tau)}{\varepsilon(t)}\biggr\} \Vert u\Vert _{\mathcal{H}_{t}}^{2}. $$
Hence the norms \(\Vert u\Vert _{\mathcal{H}_{t}}^{2}\) and \(\Vert u\Vert _{\mathcal {H}_{\tau}}^{2}\) are equivalent for any fixed \(t, \tau\in\mathbb{R}\), but the equivalent constant blows up when \(t\rightarrow+\infty\).

3 The main results

3.1 A priori estimates

Under the assumptions of (1.2)-(1.5), if \(g\in H^{-1}(\Omega)\), then using the standard Galerkin approximation method ([21]), we can obtain the result concerning the existence and uniqueness of solution for the problem (1.1); see, for example, [6, 9, 10]. Thus, based on the subsequent Lemma 3.2 we get the following results.

Lemma 3.1

Assume that (1.2)-(1.5) hold, for any \(u_{\tau}\in\mathcal {H}_{\tau}\), there is a unique solution u of (1.1) satisfying
$$u\in\mathcal{C}\bigl([\tau, t],H_{1}\bigr). $$
Furthermore, let \(u_{i}(\tau)\in\mathcal{H}_{\tau}\) be two initial conditions such that \(\Vert u_{i}(\tau)\Vert _{\mathcal{H}_{\tau}}\leq R\) (\(i=1,2\)) and denote by \(u_{i}(t)\) the corresponding solutions to the problem (1.1). Then the following estimate holds:
$$ \bigl\Vert u_{1}(t)-u_{2}(t)\bigr\Vert _{\mathcal{H}_{t}} \leq e^{K(t-\tau)}\bigl\Vert u_{1}(\tau )-u_{2}(\tau) \bigr\Vert _{\mathcal{H}_{\tau}}, \quad \forall t\geq\tau, $$
for some constant \(K=K(R)>0\).


We only need to prove the estimate (3.1). Let C be a generic positive constant depending on R but independent of \(u_{i}(\tau )\). We first observe that the energy estimate in Lemma 3.2 below ensures
$$ \bigl\Vert U(t,\tau)u_{i}(\tau)\bigr\Vert _{\mathcal{H}_{t}}\leq C, \quad i=1, 2. $$
We write \(u_{i}(t)=U(t,\tau)u_{i}(\tau)\), \(\overline{u}= U(t,\tau )u_{1}(\tau)-U(t,\tau)u_{2}(\tau)\). Then the difference between the two solutions satisfies
$$\overline{u}_{t}-\varepsilon(t)\Delta\overline{u}_{t}- \Delta\overline {u}+\lambda\overline{u}=f(u_{1})-f(u_{2}), $$
with initial datum \(u(\tau)=u_{1}(\tau)-u_{2}(\tau)\). Multiplying by 2 in \(L^{2}(\Omega)\) we obtain
$$\frac{d}{dt}\Vert \overline{u}\Vert _{\mathcal{H}_{t}}^{2}+2 \lambda \Vert \overline {u}\Vert +\bigl(2-\varepsilon'(t)\bigr) \Vert \overline{u}\Vert _{1}^{2}=2\bigl\langle f(u_{1})-f(u_{2}), \overline{u}\bigr\rangle . $$
Combining with the embedding \(H_{0}^{1}(\Omega)\hookrightarrow L^{2n/(n-2)}\) (\(n\geq3\)), and according to (1.5) and (3.2), we have
$$\begin{aligned} &2\bigl\vert \bigl\langle f(u_{1})-f(u_{1}),\overline{u} \bigr\rangle \bigr\vert \\ &\quad =2 \int_{\Omega }\bigl\vert \bigl(f(u_{1})-f(u_{2}) \bigr)\overline{u}\bigr\vert \,dx=2 \int_{\Omega}\bigl\vert \bigl(f'\bigl(\theta u_{1}+(1-\theta)u_{2}\bigr)\overline{u}\bigr)\overline{u} \bigr\vert \,dx \\ &\quad \leq C \int_{\Omega}\bigl(1+\vert u\vert ^{\frac {4}{n-2}}\bigr)\vert \overline{u}\vert ^{2}\,dx\leq C\biggl[ \int_{\Omega}\bigl(1+\vert u\vert ^{\frac {4}{n-2}} \bigr)^{\frac{n}{2}}\biggr]^{\frac{2}{n}}\cdot\biggl[ \int_{\Omega} \vert \overline{u}\vert ^{2\cdot\frac{n}{n-2}} \biggr]^{\frac{n-2}{n}} \\ &\quad \leq C\bigl(1+\Vert u\Vert _{L^{2n/(n-2)}}^{4/(n-2)}\bigr)\Vert \overline{u}\Vert _{L^{2n/(n-2)}}^{2}\leq C\Vert \overline{u}\Vert _{1}^{2}. \end{aligned}$$
Thus, we end up with the differential inequality
$$\frac{d}{dt}\Vert \overline{u}\Vert _{\mathcal{H}_{t}}^{2}\leq C \Vert \overline{u}\Vert _{\mathcal{H}_{t}}^{2}, $$
and an application of the Gronwall lemma on \([\tau, t]\) completes the proof. □
By means of the Lemma 3.1, a family of maps with \(t\geq\tau\in\mathbb{R}\)
$$U(t,\tau): H_{\tau}\rightarrow H_{t} \quad \mbox{acting as } U(t,\tau)u_{\tau}=u(t), $$
define a strongly continuous process on a family of spaces \(\{\mathcal {H}_{t}\}_{t\in\mathbb{R}}\).

Lemma 3.2

Assume that (1.2)-(1.5) hold. For any \(u_{\tau}\in \mathcal{H}_{\tau}\), \(t\geq\tau\), let \(U(t,\tau)u_{\tau}\) be the solution of (1.1) with initial value \(u_{\tau}\). Then there is a positive constant K, such that
$$\bigl\Vert U(t,\tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}}\leq K, \quad \forall t\geq\tau. $$


Multiplying (1.1) by \(2u+2u_{t}\) in H we obtain
$$\begin{aligned} &\frac{d}{dt}\bigl[(1+\lambda)\Vert u\Vert ^{2}+\bigl(1+ \varepsilon(t)\bigr)\Vert u\Vert _{1}^{2}-2\bigl\langle F(u),1\bigr\rangle -2\langle g,u\rangle\bigr] \\ &\quad {}+2\lambda \Vert u\Vert ^{2}+\bigl(2- \varepsilon'(t)\bigr)\Vert u\Vert _{1}^{2}-2 \bigl\langle f(u),u\bigr\rangle -2\langle g,u\rangle+2\Vert u_{t} \Vert ^{2}+2\varepsilon(t)\Vert u_{t}\Vert _{1}^{2}=0. \end{aligned}$$
$$\begin{aligned}& E(t)=(1+\lambda)\Vert u\Vert ^{2}+\bigl(1+\varepsilon(t)\bigr) \Vert u\Vert _{1}^{2}-2\bigl\langle F(u),1\bigr\rangle -2 \langle g,u\rangle, \\& I(t)=2\lambda \Vert u\Vert ^{2}+\bigl(2-\varepsilon'(t) \bigr)\Vert u\Vert _{1}^{2}-2\bigl\langle f(u),u\bigr\rangle -2\langle g,u\rangle, \end{aligned}$$
it yields
$$\frac{d}{dt}E(t)+I(t)\leq0, $$
$$E(t)\leq- \int_{\tau}^{t}I(s)\,ds+E(\tau), $$
$$E(\tau)=(1+\lambda)\Vert u_{\tau} \Vert ^{2}+\bigl(1+ \varepsilon(\tau)\bigr)\Vert u_{\tau} \Vert _{1}^{2}-2 \bigl\langle F(u_{\tau}),1\bigr\rangle -2\langle g,u_{\tau}\rangle. $$
In view of the condition (1.5), there are \(0<\nu<1\) and \(c\geq0\), such that
$$\begin{aligned}& 2\bigl\langle F(u),1\bigr\rangle \leq(1-\nu)\Vert u\Vert _{1}^{2}+c, \end{aligned}$$
$$\begin{aligned}& \bigl\langle f(u),u\bigr\rangle \leq(1-\nu)\Vert u\Vert _{1}^{2}+c, \quad \forall u\in H_{1}. \end{aligned}$$
Thus, combining with (1.4), (3.4), and (3.5), there exist two positive constants \(M_{1}\) and \(M_{2}\), such that
$$\begin{aligned} E(t)&\geq(1+\lambda)\Vert u\Vert ^{2}+\bigl(1+ \varepsilon(t)\bigr)\Vert u\Vert _{1}^{2}-(1-\nu)\Vert u \Vert _{1}^{2}-c -\frac{2}{\nu} \Vert g\Vert _{H^{-1}}^{2}-\frac{\nu}{2}\Vert u\Vert _{1}^{2} \\ &\geq\lambda \Vert u\Vert ^{2}+\biggl(\frac{\nu}{2}+ \varepsilon(t)\biggr)\Vert u\Vert _{1}^{2}-M_{1}, \end{aligned} $$
$$\begin{aligned} I(t)&\geq2\lambda \Vert u\Vert ^{2}+\bigl(2- \varepsilon'(t)\bigr)\Vert u\Vert _{1}^{2}-2(1- \nu)\Vert u\Vert _{1}^{2}-2c- \frac{2}{\nu} \Vert g \Vert _{H^{-1}}^{2}-\frac{\nu}{2}\Vert u\Vert _{1}^{2} \\ &\geq\lambda \Vert u\Vert ^{2}+\biggl(\frac{\nu}{2}+ \varepsilon(t)\biggr)\Vert u\Vert _{1}^{2}-M_{2}. \end{aligned} $$
So we deduce that
$$\begin{aligned} &\lambda\bigl\Vert u(t)\bigr\Vert ^{2}+\biggl( \frac{\nu}{2}+\varepsilon(t)\biggr)\bigl\Vert u(t)\bigr\Vert _{1}^{2}-M_{1} \\ &\quad \leq- \int_{\tau}^{t}\biggl(\lambda\bigl\Vert u(s)\bigr\Vert ^{2}+\biggl(\frac{\nu }{2}+\varepsilon(s)\biggr)\bigl\Vert u(s)\bigr\Vert _{1}^{2}-M_{2}\biggr)\,ds+E(\tau). \end{aligned} $$
Therefore, for any \(K> M_{2}\), there exists \(t_{0}>\tau\) such that
$$\lambda\bigl\Vert u(t_{0})\bigr\Vert ^{2}+\biggl( \frac{\nu}{2}+\varepsilon(t_{0})\biggr)\bigl\Vert u(t_{0})\bigr\Vert _{1}^{2}\leq K. $$
As a result, if u is a solution of the systems (1.1), if we let \(B_{t}=\bigcup_{t \geq\tau}U(t,\tau)B_{\tau}\), where
$$B_{\tau}=\biggl\{ u_{\tau}\in\mathbb{B}_{\tau}(R): \lambda \Vert u_{\tau} \Vert ^{2}+\biggl(\frac{\nu}{2}+ \varepsilon(\tau)\biggr)\Vert u_{\tau} \Vert _{1}^{2} \leq K\biggr\} , $$
then \(B_{t}\) is a bounded time-dependent absorbing set of \(\{U(t,\tau)\} _{t\geq\tau}\). Moreover, \(B_{t}\) is positively invariant. □
On the other hand, from the above discussion, for every \(R\geq0\) there exist positive constants μ and \(t_{0}=t_{0}(R)\) such that
$$ \lambda\bigl\Vert u(t)\bigr\Vert ^{2}+\bigl(1+\varepsilon(t)\bigr) \bigl\Vert u(t)\bigr\Vert _{1}^{2}\leq\mu^{2}, \quad \forall\tau\leq t-t_{0}. $$

3.2 The time-dependent global attractors and regularity

The main result concerning the asymptotic behavior of problem (1.1) is contained in the following theorem.

Theorem 3.3

The process \(U(t,\tau)\) generated by problem (1.1) admits an invariant time-dependent global attractor \(\mathscr{U}=\{ A_{t}\}_{t\in\mathbb{R}}\) in \(\mathcal{H}_{t}\). Besides, \(A_{t}\) is bounded in \(\mathcal{H}_{t}^{1}\), with a bound independent of t.

In order to show that the process is asymptotically compact, we shall exhibit a pullback attracting family of (non-void) compact sets. For this purpose, we exploit a suitable decomposition of the process in the sum of a decaying part and of a compact one.

3.2.1 The decomposition

Under the conditions (1.4)-(1.5), like in [15] we write \(f=f_{0}+f_{1}\), where \(f_{0}, f_{1}\in C^{1}(\mathbb {R})\) fulfill, respectively, for some \(k\geq0\),
$$\begin{aligned}& \bigl\vert f_{0}(s)\bigr\vert \leq C\bigl(1+\vert s\vert ^{\frac{n+2}{n-2}}\bigr), \quad \forall s\in\mathbb {R}, \end{aligned}$$
$$\begin{aligned}& f_{0}(s)s\leq0, \quad \forall s\in\mathbb{R}, \end{aligned}$$
$$\begin{aligned}& \bigl\vert f_{1}(s)\bigr\vert \leq C\bigl(1+\vert s\vert ^{\gamma}\bigr), \quad \forall s\in\mathbb{R},0< \gamma < \frac{n+2}{n-2}, \end{aligned}$$
$$\begin{aligned}& \limsup_{\vert s\vert \rightarrow\infty}\frac{f_{1}(s)}{s}< \lambda _{1}, \quad \forall s\in\mathbb{R}. \end{aligned}$$
Since the injection \(i: L^{2}(\Omega)\hookrightarrow H^{-1}(\Omega)\) is dense, we know that for every \(g\in H^{-1}(\Omega)\) and any \(\eta>0\), there is a \(g^{\eta}\in L^{2}(\Omega)\) which depends on g and η such that
$$ \bigl\Vert g-g^{\eta}\bigr\Vert _{H^{-1}}< \eta. $$
Let \(\mathfrak{B}=\{\mathbb{B}_{t}(R_{0})\}_{t\in\mathbb{R}}\) be a time-dependent absorbing set as in Lemma 3.2 and let \(\tau\in\mathbb {R}\) be fixed. Then, for any \(u_{\tau}\in\mathbb{B}_{\tau}(R_{0})\), we divide \(U(t,\tau)u_{\tau}\) into the sum
$$U(t,\tau)u_{\tau}=u(t)=U_{0}(t,\tau)u_{\tau}+U_{1}(t, \tau)u_{\tau}, $$
$$U_{0}(t,\tau)u_{\tau}=v^{\eta}(t), \qquad U_{1}(t, \tau)u_{\tau}=w^{\eta}(t), $$
respectively, solve the following systems:
$$ \textstyle\begin{cases} v^{\eta}_{t}+\varepsilon(t)A v^{\eta}_{t}+A v^{\eta}+\lambda v^{\eta }=f_{0}(v^{\eta})+g-g^{\eta}, \quad x\in\Omega, \\ U_{0}(\tau,\tau)=u_{\tau}, \end{cases} $$
$$ \textstyle\begin{cases} w^{\eta}_{t}+\varepsilon(t)A w^{\eta}_{t}+A w^{\eta}+\lambda w^{\eta }=f(u)-f_{0}(v^{\eta})+g^{\eta}, \quad x\in\Omega. \\ U_{1}(\tau,\tau)=0, \end{cases} $$
In the following, the generic constant \(C\geq0\) depends only on \(\mathfrak{B}\).

Lemma 3.4

Under the conditions (1.2)-(1.5), there exist two constants \(\delta>0\) and \(K_{1}>0\) such that
$$\bigl\Vert U_{0}(t,\tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}}\leq Ce^{-\delta(t-\tau )}+K_{1}, \quad \forall t\geq\tau. $$


Multiplying (3.12) by \(2v^{\eta}\) in H we obtain
$$\frac{d}{dt}\bigl[\bigl\Vert v^{\eta}\bigr\Vert ^{2}+ \varepsilon(t)\bigl\Vert v^{\eta}\bigr\Vert _{1}^{2} \bigr]+2\lambda\bigl\Vert v^{\eta}\bigr\Vert ^{2}+ \bigl(2- \varepsilon'(t)\bigr)\bigl\Vert v^{\eta}\bigr\Vert _{1}^{2}=2\bigl\langle f_{0}\bigl(v^{\eta } \bigr)+g-g^{\eta},v^{\eta}\bigr\rangle . $$
By (3.5), we have
$$2\bigl\langle f_{0}\bigl(v^{\eta}\bigr),v^{\eta}\bigr\rangle =2 \int_{\Omega}f_{0}\bigl(v^{\eta } \bigr)v^{\eta}\,dx\leq0, $$
and using the Cauchy and Young inequalities we get
$$2\bigl\langle g-g^{\eta},v^{\eta}\bigr\rangle \leq2\bigl\Vert g-g^{\eta}\bigr\Vert _{H^{-1}}\bigl\Vert v^{\eta}\bigr\Vert _{H^{1}}\leq\bigl\Vert g-g^{\eta}\bigr\Vert _{H^{-1}}^{2}+\bigl\Vert v^{\eta}\bigr\Vert _{1}^{2}. $$
In view of (1.3) we get \(1-\varepsilon'(t)\geq\varepsilon(t)>0\), thus we find
$$\frac{d}{dt}\bigl(\varepsilon(t)\bigl\Vert v^{\eta}\bigr\Vert ^{2}+\bigl\Vert v^{\eta}\bigr\Vert _{1}^{2} \bigr)+2\lambda\bigl\Vert v^{\eta}\bigr\Vert ^{2} + \varepsilon(t)\bigl\Vert v^{\eta}\bigr\Vert _{1}^{2} \leq\eta^{2}. $$
Taking \(\delta=\min\{2\lambda, 1\}>0\), then
$$\frac{d}{dt}\bigl\Vert U_{0}(t,\tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}}^{2}+\delta\bigl\Vert U_{0}(t, \tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}}^{2} \leq \eta^{2}. $$
Applying the Gronwall lemma on the interval \([\tau, t]\) with \(t\geq\tau \), it follows that
$$\bigl\Vert U_{0}(t,\tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}}^{2}\leq \Vert u_{\tau} \Vert _{\mathcal{H}_{\tau}}^{2}e^{-\delta(t-\tau)}+\eta^{2}/\delta. $$
The proof is complete. □
Summing up, the following uniform boundedness holds:
$$ \sup_{t\geq\tau}\bigl[ \bigl\Vert U(t,\tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}}+\bigl\Vert U_{0}(t,\tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}}+\bigl\Vert U_{1}(t,\tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}} \bigr]\leq C. $$
In order to prove our further result, we also need the condition
$$ \limsup_{\vert s\vert \rightarrow\infty}f'(s)< \lambda_{1}, \quad \forall s\in\mathbb{R}. $$

Lemma 3.5

Under the conditions (1.2)-(1.4) and (3.15), there exists \(M=M(\mathfrak{B})>0\) such that
$$\sup_{t\geq\tau}\bigl\Vert U_{1}(t,\tau)u_{\tau} \bigr\Vert _{\mathcal {H}_{t}^{1/3}}\leq M. $$


Multiplying (3.13) by \(2A^{1/3}w^{\eta}\) in H we have
$$\begin{aligned} &\frac{d}{dt}\bigl[\bigl\Vert w^{\eta}\bigr\Vert _{1/3}^{2}+\varepsilon(t)\bigl\Vert w^{\eta}\bigr\Vert _{4/3}^{2}\bigr]+2\lambda\bigl\Vert w^{\eta} \bigr\Vert _{1/3}^{2}+\bigl(2-\varepsilon'(t) \bigr) \bigl\Vert w^{\eta}\bigr\Vert _{4/3}^{2} \\ &\quad =2\bigl\langle f(u)-f_{0}\bigl(v^{\eta} \bigr)+g^{\eta},A^{1/3}w^{\eta}\bigr\rangle \\ &\quad =2\bigl\langle f(u)-f\bigl(v^{\eta}\bigr),A^{1/3}w^{\eta} \bigr\rangle +2\bigl\langle f_{1}\bigl(v^{\eta } \bigr),A^{1/3}w^{\eta}\bigr\rangle +2\bigl\langle g^{\eta},A^{1/3}w^{\eta}\bigr\rangle . \end{aligned}$$
Using the Young equality, it leads to
$$\begin{aligned} 2\bigl\langle f(u)-f\bigl(v^{\eta}\bigr),A^{1/3}w^{\eta} \bigr\rangle &=2 \int_{\Omega }\bigl(f(u)-f\bigl(v^{\eta}\bigr) \bigr)A^{1/3}w^{\eta }\,dx \\ &\leq2 \int_{\Omega}\bigl\vert f'\bigl(u-\theta \bigl(u-v^{\eta}\bigr)\bigr)\bigr\vert \bigl\vert u-v^{\eta} \bigr\vert \bigl\vert A^{1/3}w^{\eta}\bigr\vert \,dx \\ & \leq C \int_{\Omega}\bigl\vert w^{\eta}\bigr\vert \bigl\vert A^{1/3}w^{\eta}\bigr\vert \,dx\leq C\bigl\Vert w^{\eta}\bigr\Vert \bigl\Vert A^{1/3}w^{\eta}\bigr\Vert \leq C+\frac{1}{4}\bigl\Vert w^{\eta}\bigr\Vert _{4/3}^{2}. \end{aligned}$$
Since \(\frac{3(n-2)\gamma}{3n+4}<1\), from (3.9) it follows that
$$\begin{aligned} &2\bigl\vert \bigl\langle f_{1}\bigl(v^{\eta} \bigr),A^{1/3}w^{\eta}\bigr\rangle \bigr\vert \\ &\quad \leq C \int_{\Omega }\bigl(1+\bigl\vert v^{\eta}\bigr\vert ^{\gamma}\bigr)\bigl\vert A^{1/3}w^{\eta}\bigr\vert \,dx\leq C\biggl( \int_{\Omega }\bigl(1+\bigl\vert v^{\eta}\bigr\vert ^{\gamma}\bigr)^{\frac{6n}{3n+4}}\biggr)^{\frac{3n+4}{6n}} \biggl( \int_{\Omega}\bigl\vert A^{1/3}w^{\eta}\bigr\vert ^{\frac{6n}{3n-4}}\biggr)^{\frac{3n-4}{6n}} \\ &\quad \leq C\bigl(1+\bigl\Vert v^{\eta}\bigr\Vert _{L^{6n\gamma/(3n+4)}}^{\gamma}\bigr)\bigl\Vert A^{1/3}w^{\eta} \bigr\Vert _{L^{6n/(3n-4)}}\leq C\bigl(1+\bigl\Vert v^{\eta}\bigr\Vert _{1}^{\gamma}\bigr)\bigl\Vert A^{2/3}w^{\eta} \bigr\Vert \\ &\quad \leq C\bigl\Vert w^{\eta}\bigr\Vert _{4/3}\leq C+\frac{1}{4}\bigl\Vert w^{\eta}\bigr\Vert _{4/3}^{2}, \end{aligned}$$
where we have used the embedding \(H_{1}=D(A^{\frac {1}{2}})\hookrightarrow L^{\frac{2n}{n-2}}\) with the facts that \(\frac {6n\gamma}{3n+4}\leq\frac{2n}{n-2}\) and \(H_{2/3}=D(A^{1/3})\hookrightarrow L^{\frac{6n}{3n-4}}\). Moreover, making use of the embedding \(H_{2/3}\subset L^{18/5}(\Omega )\), we have
$$2\bigl\langle g^{\eta},A^{1/3}w^{\eta}\bigr\rangle \leq2\bigl\Vert g^{\eta}\bigr\Vert _{L^{18/13}}\bigl\Vert A^{1/3}w^{\eta}\bigr\Vert _{L^{18/5}}\leq C\bigl\Vert g^{\eta}\bigr\Vert \Vert w^{\eta} \Vert _{4/3}\leq C\bigl\Vert g^{\eta}\bigr\Vert ^{2}+\frac{1}{2}\Vert w^{\eta} \Vert ^{2}_{4/3}. $$
As a result, we deduce
$$\frac{d}{dt}\bigl(\Vert w^{\eta} \Vert _{1/3}^{2}+ \varepsilon(t)\Vert w^{\eta} \Vert _{4/3}^{2}\bigr)+2\lambda \Vert w^{\eta} \Vert _{1/3}^{2}+\bigl(1-\varepsilon'(t)\bigr) \Vert w^{\eta} \Vert _{4/3}^{2}\leq C. $$
Using \(1-\varepsilon'(t)\geq\varepsilon(t)>0\), we conclude
$$\frac{d}{dt}\bigl(\Vert w^{\eta} \Vert _{1/3}^{2}+ \varepsilon(t)\Vert w^{\eta} \Vert _{4/3}^{2}\bigr)+2\lambda \Vert w^{\eta} \Vert _{1/3}^{2}+\varepsilon(t)\Vert w^{\eta} \Vert _{4/3}^{2}\leq C. $$
Taking \(\delta=\min\{2\lambda, 1\}>0\), we have
$$\frac{d}{dt}\bigl\Vert U_{1}(t,\tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}}^{2}+\delta\bigl\Vert U_{1}(t, \tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}}^{2} \leq C. $$
Applying the Gronwall lemma on the interval \([\tau, t]\) with \(t\geq\tau \) we obtain
$$\bigl\Vert U_{1}(t,\tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}^{1/3}}^{2}\leq \Vert u_{\tau} \Vert _{\mathcal{H}_{\tau}^{1/3}}^{2}e^{-\delta(t-\tau)}+C/\delta. $$
The proof is complete. □

3.2.2 Existence of the invariant attractor

In line with the Lemma 3.5, we consider a family of \(\mathscr{K}=\{ K_{t}\}_{t\in\mathbb{R}}\), where
$$K_{t}=\bigl\{ u(t)\in\mathcal{H}_{t}^{1/3}:\bigl\Vert u(t)\bigr\Vert _{\mathcal {H}_{t}^{1/3}}\leq M\bigr\} . $$
It is clear that \(K_{t}\) is compact since embedding \(\mathcal {H}_{t}^{1/3}\Subset\mathcal{H}_{t}\) is compact; besides, since the injection constants are independent of t, \(\mathscr{K}\) is uniform. Finally, Lemma 3.2, Lemma 3.4, and Lemma 3.5 imply that \(\mathscr {K}\) is pullback attracting; indeed,
$$\delta_{t}\bigl(\mathbb{B}_{\tau}(R_{0}),K_{t} \bigr)\leq Ce^{-\delta(t-\tau)}, \quad \forall t\geq\tau, $$
where \(\delta_{t}(B,C)\) is the Hausdorff semidistance of two nonempty sets B, C.

Hence the process \(U(t, \tau)\) is asymptotically compact, which proves the existence of the unique time-dependent global attractor \(\mathscr {U}=\{A_{t}\}_{t\in\mathbb{R}}\). The invariance of \(\mathscr {U}\) follows by the strong continuity of the process stated in Lemma 3.1.

3.2.3 Regularity of the attractor

The minimality of \(\mathscr{U}\) in \(\mathscr{K}\) establishes that \(A_{t}\subset K_{t}\) for all \(t\in\mathbb{R}\). Therefore, we immediately obtain the following regularity result.

Lemma 3.6

\(A_{t}\) is bounded in \(\mathcal{H}_{t}^{1/3}\) (with a bound independent of t).

To prove that \(A_{t}\) is uniformly bounded in \(\mathcal{H}_{t}^{1}\), as claimed in Theorem 3.3, we argue as follows. Fix \(\tau\in\mathbb{R}\), for \(u_{\tau}\in A_{\tau}\), we split the solution \(U(t,\tau)u_{\tau }=u(t)\) into the sum \(U_{0}(t,\tau)u_{\tau}+U_{1}(t,\tau)u_{\tau}\), where \(U_{0}(t,\tau)u_{\tau}=v^{\eta}(t)\) and \(U_{1}(t,\tau)u_{\tau }=w^{\eta}(t)\), instead of (3.12)-(3.13), solving, respectively,
$$\begin{aligned}& \textstyle\begin{cases} v^{\eta}_{t}+\varepsilon(t)A v^{\eta}_{t}+A v^{\eta}+\lambda v^{\eta }=g-g^{\eta}, \quad x\in\Omega, \\ U_{0}(\tau,\tau)=u_{\tau}, \end{cases}\displaystyle \end{aligned}$$
$$\begin{aligned}& \textstyle\begin{cases} w^{\eta}_{t}+\varepsilon(t)A w^{\eta}_{t}+A w^{\eta}+\lambda w^{\eta }=f(u)+g^{\eta}, \quad x\in\Omega, \\ U_{1}(\tau,\tau)=0. \end{cases}\displaystyle \end{aligned}$$
As a particular case of Lemma 3.4, we know that
$$ \bigl\Vert U_{0}(t,\tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}^{1}}\leq Ce^{-\delta(t-\tau )}+\eta^{2}/\delta,\quad \forall t \geq\tau. $$

Lemma 3.7

Under the assumptions (1.2)-(1.5), the following estimate holds:
$$\sup_{t\geq\tau}\bigl\Vert U_{1}(t,\tau)u_{\tau} \bigr\Vert _{\mathcal {H}_{t}^{1}}\leq M_{1} $$
for some \(M_{1}=M_{1}(\mathscr{U}) > 0\).


Multiplying (3.17) by \(2Aw^{\eta}\) in H we obtain
$$\frac{d}{dt}\bigl[\bigl\Vert w^{\eta}\bigr\Vert _{1}^{2}+\varepsilon(t)\bigl\Vert w^{\eta}\bigr\Vert _{2}^{2}\bigr]+2\lambda\bigl\Vert w^{\eta} \bigr\Vert _{1}^{2} +\bigl(2-\varepsilon'(t) \bigr)\bigl\Vert w^{\eta}\bigr\Vert _{2}^{2} =2 \bigl\langle f(u)+g^{\eta},Aw^{\eta}\bigr\rangle . $$
Together with embeddings \(H_{1}(\Omega)\hookrightarrow L^{6}(\Omega)\), Lemma 3.2, and (3.15), we have
$$\begin{aligned}& \begin{aligned} 2\bigl\vert \bigl\langle f(u),Aw^{\eta}\bigr\rangle \bigr\vert &=2 \int_{\Omega}\bigl\vert f'(u)\nabla u\cdot A^{1/2}w^{\eta}\bigr\vert \,dx \leq2\lambda_{1} \int_{\Omega}\bigl\vert \nabla u\cdot A^{1/2}w^{\eta} \bigr\vert \,dx \\ &\leq2\lambda_{1}\Vert \nabla u\Vert \bigl\Vert A^{1/2}w^{\eta}\bigr\Vert \leq C+\frac{1}{2}\bigl\Vert w^{\eta}\bigr\Vert _{2}^{2}, \end{aligned} \\& 2\bigl\langle g^{\eta},Aw^{\eta}\bigr\rangle \leq2\bigl\Vert g^{\eta}\bigr\Vert \bigl\Vert Aw^{\eta}\bigr\Vert \leq 4 \bigl\Vert g^{\eta}\bigr\Vert ^{2}+\frac{1}{2}\Vert w^{\eta} \Vert ^{2}_{2}. \end{aligned}$$
Therefore, we conclude
$$\frac{d}{dt}\bigl(\bigl\Vert w^{\eta}\bigr\Vert _{1}^{2}+\varepsilon(t)\bigl\Vert w^{\eta}\bigr\Vert _{2}^{2}\bigr)+2\lambda\bigl\Vert w^{\eta} \bigr\Vert _{1}^{2} +\bigl(1-\varepsilon'(t) \bigr)\bigl\Vert w^{\eta}\bigr\Vert _{2}^{2}\leq C. $$
From (1.3) we have \(1-\varepsilon'(t)\geq\varepsilon(t)>0\), so we deduce
$$\frac{d}{dt}\bigl\Vert U_{1}(t,\tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}^{1}}^{2}+\delta\bigl\Vert U_{1}(t, \tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}^{1}}^{2} \leq C. $$
Applying the Gronwall lemma on the interval \([\tau, t]\) with \(t\geq\tau \), we obtain
$$\bigl\Vert U_{1}(t,\tau)u_{\tau}\bigr\Vert _{\mathcal{H}_{t}^{1}}^{2}\leq \Vert u_{\tau} \Vert _{\mathcal{H}_{\tau}^{1}}^{2}e^{-\delta(t-\tau)}+C/\delta. $$
The proof is complete. □

Proof of Theorem 3.3

For all \(t\in\mathbb{R}\), inequality (3.18) and Lemma 3.7 imply that
$$\lim_{\tau\rightarrow-\infty}\delta_{t}\bigl(U(t,\tau)A_{\tau},K_{t}^{1} \bigr)=0, $$
$$K_{t}^{1}=\bigl\{ u(t)\in\mathcal{H}_{t}^{1}: \bigl\Vert u(t)\bigr\Vert _{\mathcal {H}_{t}^{1}}\leq M_{1}\bigr\} . $$
Since \(\mathscr{U}\) is invariant, this means
$$\delta_{t}\bigl(A_{t},K_{t}^{1} \bigr)=0. $$
Hence, \(A_{t}\subset\overline{K_{t}^{1}}= K_{t}^{1}\); that is, \(A_{t}\) is bounded in \(\mathcal{H}_{t}^{1}\) with a bound independent of \(t\in\mathbb{R}\). □



This work was partly supported by the NSFC (11561064, 11361053) and the NSF of Gansu Province (145RJZA112), in part by the Fundamental Research Funds of Gansu Universities.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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.

Authors’ Affiliations

School of Mathematics and Statistics, Northwest Normal University


  1. Jing, D, Liu, YF: Time-dependent global attractor for the nonclassical diffusion equations. Appl. Anal. 94(7), 1439-1449 (2015) MathSciNetView ArticleGoogle Scholar
  2. Di Plinio, F, Duane, GS, Temam, R: Time-dependent attractor for the oscillation equation. Discrete Contin. Dyn. Syst. 29, 141-167 (2011) MathSciNetMATHGoogle Scholar
  3. Conti, M, Pata, V, Temam, R: Attractors for processes on time-dependent spaces. Applications to wave equation. J. Differ. Equ. 255, 1254-1277 (2013) MathSciNetView ArticleMATHGoogle Scholar
  4. Conti, M, Pata, V: Asymptotic structure of the attractor for processes on time-dependent spaces. Nonlinear Anal., Real World Appl. 19, 1-10 (2014) MathSciNetView ArticleMATHGoogle Scholar
  5. Aifantis, EC: On the problem of diffusion in solids. Acta Mech. 37, 265-296 (1980) MathSciNetView ArticleMATHGoogle Scholar
  6. Kuttler, K, Aifantis, E: Quasilinear evolution equation in nonclassical diffusion. SIAM J. Math. Anal. 19, 110-120 (1988) MathSciNetView ArticleMATHGoogle Scholar
  7. Chen, PJ, Gurtin, ME: On a theory of heat conduction involving two temperatures. Z. Angew. Math. Phys. 19, 614-627 (1968) View ArticleMATHGoogle Scholar
  8. Aifantis, EC: Gradient nanomechanics: applications to deformation, fracture, and diffusion in nanopolycrystals. Metall. Trans. A, Phys. Metall. Mater. Sci. 42(10), 2985-2998 (2011) View ArticleGoogle Scholar
  9. Xiao, YL: Attractors for a nonclassical diffusion equation. Acta Math. Appl. Sinica (Engl. Ser.) 18, 273-276 (2002) View ArticleMATHGoogle Scholar
  10. Sun, CY, Wang, SY, Zhong, CK: Global attractors for a nonclassical diffusion equation. Acta Math. Sin. Engl. Ser. 23, 1271-1280 (2007) MathSciNetView ArticleMATHGoogle Scholar
  11. Liu, YF, Ma, QZ: Exponential attractors for a nonclassical diffusion equation. Electron. J. Differ. Equ. 2009, 9 (2009) Google Scholar
  12. Ma, QZ, Liu, YF, Zhang, FH: Global attractors in \(H_{1}(\mathbb{R}^{N})\) for nonclassical diffusion equation. Discrete Dyn. Nat. Soc. 2012, Article ID 672762 (2012) MathSciNetGoogle Scholar
  13. Zhang, YJ, Ma, QZ: Exponential attractors for nonclassical diffusion equation with lower regular forcing term. Int. J. Mod. Nonlinear Theory Appl. 3, 15-22 (2014) View ArticleGoogle Scholar
  14. Wang, SY, Li, DS, Zhong, CK: On the dynamics of a class of nonclassical parabolic equations. J. Math. Anal. Appl. 317, 565-582 (2006) MathSciNetView ArticleMATHGoogle Scholar
  15. Sun, CY, Yang, MH: Dynamics of the nonclassical diffusion equations. Asymptot. Anal. 59, 51-81 (2008) MathSciNetMATHGoogle Scholar
  16. Wu, HQ, Zhang, ZY: Asymptotic regularity for the nonclassical diffusion equation with lower regular forcing term. Dyn. Syst. 26, 391-400 (2011) MathSciNetView ArticleMATHGoogle Scholar
  17. Zhang, FH, Liu, YF: Pullback attractors in \(H^{1}(R^{N})\) for non-autonomous nonclassical diffusion equations. Dyn. Syst. 29, 106-118 (2014) MathSciNetView ArticleMATHGoogle Scholar
  18. Anh, CT, Toan, ND: Existence and upper semicontinuity of uniform attractors in \(H^{1}(\mathbb{R}^{N})\) for nonautonomous nonclassical diffusion equations. Ann. Pol. Math. 111(3), 271-295 (2014) MathSciNetView ArticleMATHGoogle Scholar
  19. Anh, CT, Bao, TQ: Dynamics of non-autonomous nonclassical diffusion equations on \(\mathbb{R}^{N}\). Commun. Pure Appl. Anal. 11, 1231-1252 (2012) MathSciNetMATHGoogle Scholar
  20. Anh, CT, Tona, ND: Nonclassical diffusion equations on \(\mathbb{R}^{N}\) with singularly oscillating external forces. Appl. Math. Lett. 38, 20-26 (2014) MathSciNetView ArticleGoogle Scholar
  21. Temam, R: Infinite-Dimensional Dynamical Systems in Mechanics and Physic. Springer, New York (1997) View ArticleGoogle Scholar


© Ma et al. 2016