Xuan Wang, Luyi Yan^*
College of Mathematics and Statistics, Northwest Normal University, Lanzhou, China.
DOI: 10.4236/jamp.2026.142036   PDF    HTML   XML   81 Downloads   274 Views   Citations

Abstract

In this article, the asymptotic behavior of the solutions to the wave equation with fading memory and structural damping ${\partial }_t^{2}u-\text{Δ}u+\gamma {\left(-\text{Δ}\right)}^{\theta }{\partial }_{t}u-{\displaystyle {\int }_0^{\infty }\mu \left(s\right)\text{Δ}{\eta }^t\left(s\right)\text{d}s}+f\left(u\right)=g\left(x\right)$ is considered. First of all, when the growth exponent of nonlinear terms $f$ satisfies $2\le p\le 3+2\theta$ , the well-posedness of solutions is obtained by applying Faedo-Galerkin approximation method and energy estimation; secondly, the asymptotic compactness of the solution process is proved via the method of contraction function; finally, the existence of time-dependent global attractor is obtained in the natural energy space $H_0^1\left(\Omega \right)\times L^2\left(\Omega \right)\times L_{\mu }^2\left({ℝ}^{+};H_0^1\left(\Omega \right)\right)$ .

Keywords

Fading Memory, Structural Damping, Time-Dependent Global Attractors, Wave Equation

Share and Cite:

1. Introduction

In this paper, we investigate the long-time behavior of solutions to the wave equation with fading memory and structural damping:

$\begin{array}{l}{\partial }_t^{2}u-\text{Δ}u+\gamma {\left(-\text{Δ}\right)}^{\theta }{\partial }_{t}u-{\displaystyle {\int }_0^{\infty }\mu \left(s\right)\text{Δ}{\eta }^t\left(s\right)\text{d}s}+f\left(u\right)\\ =g\left(x\right),\left(x,t\right)\in \Omega \times \left[\tau ,+\infty \right),\end{array}$ (1.1)

${u|}_{\partial \Omega }=0,u\left(x,\tau \right)=u_{\tau }\left(x\right),{\partial }_{t}u\left(x,\tau \right)={\partial }_t{u}_{\tau }\left(x\right),x\in \Omega ,$ (1.2)

where $\theta \in \left(\frac{1}{2},1\right)$ , $\gamma >0$ is the damping coefficient, and $\Omega \subset {ℝ}^3$ is a bounded domain with smooth boundary.

Suppose that the nonlinear function $f$ satisfies the following conditions:

(M₁) $f\in C^2\left(ℝ\right)$ , $f\left(0\right)=0$ . For any $s\in ℝ$ , $f$ satisfies

$\underset{\left|s\right|\to +\infty }{\lim \inf }\frac{f\left(s\right)}{s}>-{\lambda }_1,$ (1.3)

as well as the growth condition:

$\left|f^{″}\left(s\right)\right|\le C_0\left(1+{\left|s\right|}^{p-2}\right),2\le p\le p_{\theta }=3+2\theta ,$ (1.4)

where the constant $C_0>0$ , and ${\lambda }_1$ is the first eigenvalue of the operator $-\text{Δ}$ under Dirichlet boundary conditions.

Following the ideas in [1] [2], the memory kernel function $\mu$ and the forcing term $g$ satisfy the following conditions:

(M₂) $\mu \in C^1\left({ℝ}^{+}\right)\cap L^1\left({ℝ}^{+}\right)$ and

${\displaystyle {\int }_0^{\infty }\mu \left(s\right)\text{d}s}=k_0<\infty .$ (1.5)

And there exists a positive constant $k$ such that

${\mu }^{\prime }\left(s\right)\le -k\mu \left(s\right)\le 0,\forall s\ge 0$ .(1.6)

(M₃) $g\in L^2\left(\Omega \right)$ .

Remark 1. From (1.3), there exists a constant ${\beta }_0$ satisfying $0<{\beta }_0<1$ such that

$\langle F\left(s\right),1\rangle \ge -\frac{\left(1-{\beta }_0\right){\lambda }_1}{2}{\Vert s\Vert }^2-C_{{\beta }_0},$

$\langle f\left(s\right),s\rangle \ge -\left(1-{\beta }_0\right){\lambda }_1{\Vert s\Vert }^2-C_{{\beta }_0},\forall s\in ℝ,$

holds, where $F\left(s\right)={\displaystyle {\int }_0^{s}f\left(r\right)\text{d}r}$ .

In recent years, wave equations with damping and memory terms have extensive applications in the viscoelastic dynamical systems while viscoelastic material serves as the medium for energy transmission, as can be found in [1] [2].

When Equation (1.1) does not contain a memory term (that is, when $\mu$ is a Dirac measure at a fixed time or $\mu$ takes the zero value), and the damping dissipation exponent satisfies $\theta =0$ or $\theta =1$ , Equation (1.1) reduces to a weakly damped or strongly damped wave equation. For this model, when the nonlinear term satisfies subcritical or critical growth conditions, Pata et al. discussed the well-posedness of solutions and long-time dynamical behaviors in [3] [4]. In addition to strong damping and weak damping, there exists another type of damping called structural damping, which is usually expressed in the form of a fractional power of the operator $-\text{Δ}$ , namely ${\left(-\text{Δ}\right)}^{\theta }{u}_t$ with $0<\theta <1$ . Its dissipation strength lies between weak damping and strong damping, and it can more essentially reflect the internal friction effect of materials. For wave equations with structural damping, when $0<\theta <\frac{1}{2}$ , Savostianov investigated the existence of attractors and exponential attractors for wave equations with structural damping under the subcritical growth of the nonlinear term in [5]. When $\frac{1}{2}<\theta <1$ , Wang Xuan et al. studied a Kirchhoff wave equation model with structural damping in [6]:

$ϵ\left(t\right){\partial }_t^{2}u-M\left({\Vert \nabla u\Vert }^2\right)\text{Δ}u+{\left(-\text{Δ}\right)}^{\gamma }{\partial }_{t}u+f\left(u\right)=g\left(x\right),\gamma \in \left(\frac{1}{2},1\right).$

They gained the well-posedness and regularity of solutions to Kirchhoff-type wave equations with time-dependent coefficients and structural damping, and proved the existence of time-dependent global attractors by using the method of contraction functions. In addition, many scholars have carried out extensive research on equations with structural damping, leading to a large number of research results on this model, as shown in references (see [5]-[9] and related literature).

For dissipative evolution equations with fading memory, Dafermos systematically established the theoretical framework of memory kernels for viscoelastic models in [2], established the well-posedness of linear viscoelastic wave equations with exponentially fading memory kernels within this framework. In [10], Lions combined the Faedo-Galerkin method with compactness theorems to solve the existence problem of weak solutions for nonlinear wave equations with fading memory terms. In [11], Chueshov systematically expounded the global attractor theory of wave equations with fading memory terms and established a unified framework for analyzing the long-term dynamical behaviors of such systems. On the basis of this theory, Ma Qiaozhen et al. discussed the asymptotic behaviors of solutions to wave equations with linear memory in time-dependent spaces in [12].

Inspired by the aforementioned research findings, this paper investigates the wave equation with fading memory terms and structural damping. To the best of our knowledge, the long-time dynamical behavior of solutions to wave equations with damping dissipation exponent $\frac{1}{2}<\theta <1$ and fading memory terms in time-dependent spaces has not yet been explored. Meanwhile, the structural damping term, nonlinear term, and fading memory term in the equation bring essential difficulties to the derivation of dissipative estimates for solutions, the verification of the existence of bounded absorbing sets, and the proof of asymptotic compactness of the solution process. When the damping dissipation exponent satisfies $\frac{1}{2}<\theta <1$ , classical Sobolev embeddings fail to guarantee compactness; in addition, the fading memory term introduces a history-dependent component, making it difficult for traditional energy functionals to simultaneously characterize the instantaneous dissipation of fractional damping and the cumulative effect of memory terms. To address these challenges, we construct a memory-coupled energy functional that can simultaneously describe the effects of structural damping and fading memory. By combining energy estimation techniques, asymptotic regularity estimates, as well as the contraction function tailored to the memory-damping coupling and the relevant theory of time-dependent attractors, we overcome these technical obstacles. Furthermore, we establish the well-posedness of solutions to problem (1.1) - (1.2) and verify their Lipschitz continuity in the space $H_0^1\left(\Omega \right)\times L^2\left(\Omega \right)\times L_{\mu }^2\left({ℝ}^{+};H_0^1\left(\Omega \right)\right)$ . Subsequently, we confirm the asymptotic compactness of the solution process, and finally prove the existence of time-dependent global attractors for problem (1.1) - (1.2) in the space $H_0^1\left(\Omega \right)\times L^2\left(\Omega \right)\times L_{\mu }^2\left({ℝ}^{+};H_0^1\left(\Omega \right)\right)$ .

The content and structure of this paper are arranged as follows: In Section 2, we review the preliminary results; in Section 3, we discuss the well-posedness of weak solutions; in Section 4, we prove the asymptotic compactness of the process by using the method of contraction functions, and then obtain the existence of the time-dependent attractor.

In this paper, the symbol $C$ denotes a positive constant. Each occurrence of $C$ in different formulas represents the corresponding positive constant. We also use $C_i,i\in \mathbb{N}$ to denote different positive constants, and $C\left(\cdot ,\cdot \right)$ denotes a constant depending on the parameters in the parentheses.

2. Notations and Preliminary Results

Following the ideas in [2] [13] [14], we introduce the history function $\eta ={\eta }^t\left(x,s\right)$ of $u$ , which satisfies

${\partial }_t{\eta }^t=-{\partial }_s{\eta }^t+{\partial }_{t}u$ (2.1)

with the corresponding initial value conditions

$\{\begin{array}{ll}u\left(x,t\right)=0,\hfill & x\in \partial \Omega ,t>\tau ,\hfill \\ {\eta }^t\left(x,s\right)=0,\hfill & \left(x,s\right)\in \partial \Omega \times {ℝ}^{+},t>\tau ,\hfill \\ u\left(x,t,\tau \right)=u_{\tau }\left(x\right),\hfill & x\in \Omega ,t\le \tau ,\hfill \\ {\partial }_{t}u\left(x,t,\tau \right)=u_{\tau }\left(x\right),\hfill & x\in \Omega ,t\le \tau ,\hfill \\ {\eta }^{\tau }\left(x,s\right)={\eta }_{\tau }\left(x,s\right),\hfill & \left(x,s\right)\in \Omega \times {ℝ}^{+}.\hfill \end{array}$

We set $A=-\text{Δ}$ with domain $D\left(A\right)=H_0^1\left(\Omega \right)\cap H^2\left(\Omega \right)$ .

Consider the family of Hilbert spaces $D\left(A^{\frac{s}{2}}\right)$ for $s\in ℝ$ , equipped with their respective inner products and norms:

${\langle \cdot ,\cdot \rangle }_{D\left(A^{\frac{s}{2}}\right)}^{}=\langle A^{\frac{s}{2}}\cdot ,A^{\frac{s}{2}}\cdot \rangle ,{\Vert u\Vert }_{D\left(A^{\frac{s}{2}}\right)}^2={\Vert A^{\frac{s}{2}}u\Vert }^2,$

where $\langle \cdot ,\cdot \rangle$ and $\Vert \cdot \Vert$ denote the inner product and norm in $L^2\left(\Omega \right)$ , respectively.

For the sake of convenience, we introduce the notation $V_s=D\left(A^{\frac{s}{2}}\right)$ for $s\in ℝ$ , with the inner product and norm expressed as follows:

${\langle u,v\rangle }_s={\displaystyle {\int }_{\Omega }{A}^{\frac{s}{2}}u\left(x\right)A^{\frac{s}{2}}v\left(x\right)\text{d}x},{\Vert u\Vert }_s^2={\displaystyle {\int }_{\Omega }{\left|A^{\frac{s}{2}}u\left(x\right)\right|}^2\text{d}x},\forall u,v\in V_s.$

Then, $V_0=L^2\left(\Omega \right)$ , $D\left(A^{\frac{s}{2}}\right)=V_s$ and $D\left(A^{-\frac{s}{2}}\right)=V_{-s}$ .

By virtue of the Sobolev embedding theorem, we obtain the compact embedding

$V_{s_1}$ ↪↪$V_{s_2},\text{for}{s}_1>s_2,$ (2.2)

as well as the continuous embedding

$V_s$ ↪$L^{\frac{2n}{n-2s}}.$ (2.3)

Therefore, the problem (1.1) - (1.2) can be rewritten in the following form:

$\begin{array}{l}{\partial }_t^{2}u+Au+\gamma {\left(-\text{Δ}\right)}^{\theta }{\partial }_{t}u+{\displaystyle {\int }_0^{\infty }\mu \left(s\right)A{\eta }^t\left(s\right)\text{d}s}+f\left(u\right)\\ =g\left(x\right),\left(x,t\right)\in \Omega \times \left[\tau ,+\infty \right),\end{array}$ (2.4)

$u\left(x,t\right)=0,x\in \partial \Omega ,t>\tau ,$ (2.5)

${\eta }^{\tau }\left(x,s\right)=0,\left(x,s\right)\in \partial \Omega \times {ℝ}^{+},t>\tau ,$ (2.6)

$u\left(x,t,\tau \right)=u_{\tau }\left(x\right),{\partial }_{t}u\left(x,t,\tau \right)={\partial }_t{u}_{\tau }\left(x\right),{\eta }^{\tau }\left(x,s\right)={\eta }_{\tau }\left(x,s\right),x\in \Omega ,t\le \tau .$ (2.7)

Define the family of Hilbert spaces:

${\mathscr{H}}_t^{1+\vartheta }=V_{1+\vartheta }\times V_{\vartheta }\times L_{\mu }^2\left({ℝ}^{+};V_{1+\vartheta }\right),$

equipped with the corresponding inner product and norm

${\Vert z\left(t\right)\Vert }_{{\mathscr{H}}_t^{1+\vartheta }}^2={\Vert \left(u\left(t\right),{\partial }_{t}u\left(t\right),{\eta }^t\left(s\right)\right)\Vert }_{{\mathscr{H}}_t^{1+\vartheta }}^2={\Vert u\left(t\right)\Vert }_{1+\vartheta }^2+{\Vert {\partial }_{t}u\left(t\right)\Vert }_{\vartheta }^2+{\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,1+\vartheta }^2,$ (2.8)

In particular, for $\vartheta =0$ , the family of Hilbert spaces ${\mathscr{H}}_t^1$ is defined as follows:

${\mathscr{H}}_t^1=V_1\times L^2\left(\text{Ω}\right)\times L_{\mu }^2\left({ℝ}^{+};V_1\right),$ (2.9)

with its norm given by

${\Vert z\left(t\right)\Vert }_{{\mathscr{H}}_t^1}^2={\Vert \left(u\left(t\right),{\partial }_{t}u\left(t\right),{\eta }^t\left(s\right)\right)\Vert }_{{\mathscr{H}}_t^1}^2={\Vert u\left(t\right)\Vert }_1^2+{\Vert {\partial }_{t}u\left(t\right)\Vert }^2+{\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,1}^2.$ (2.10)

Furthermore, for $\vartheta >0$ , we have the compact embedding

${\mathscr{H}}_t^{1+\vartheta }$ ↪↪${\mathscr{H}}_t^1.$

Next, we will review the following concepts and some abstract results, which will be used to study the long-time dynamical behavior of solutions in time-dependent spaces.

Definition 2.1. ([15]) Let ${\left\{X_t\right\}}_{t\in ℝ}$ be a family of normed spaces. A two-parameter family of operators $\left\{U\left(t,\tau \right):X_{\tau }\to X_t,t\ge \tau ,\tau \in ℝ\right\}$ is said to be a process, if for any $\tau \in ℝ$ ,

1) $U\left(\tau ,\tau \right)=\text{Id}$ is the identity operator on $X_{\tau }$ ;

2) $U\left(t,s\right)U\left(s,\tau \right)=U\left(t,\tau \right)$ , $\forall \tau \le s\le t$ .

Let ${\left\{X_t\right\}}_{t\in ℝ}$ be a family of normed spaces. For every $t\in ℝ$ , the $R$ -ball of $X_t$ is defined by:

${\mathbb{B}}_t\left(R\right)=\left\{z\in X_t|{\Vert z\Vert }_{X_t}\le R\right\}.$

Definition 2.2. ([15]) A family $ℭ={\left\{C_t\right\}}_{t\in ℝ}$ of bounded sets $C_t\subset X_t$ is called uniformly bounded, if there exists a constant $R>0$ such that $C_t\subset {\mathbb{B}}_t\left(R\right)$ , for all $t\in ℝ$ .

Definition 2.3. ([15]) A uniformly bounded family ${\mathfrak{B}}_t={\left\{{\mathbb{B}}_t\left(R_0\right)\right\}}_{t\in ℝ}$ is called a time-dependent absorbing set for the process $U\left(t,\tau \right)$ , if for any $R>0$ , there exist a $t_0=t_0\left(R\right)\le t$ and $R_0>0$ such that

$\tau \le t-t_0\Rightarrow U\left(t,\tau \right){\mathbb{B}}_{\tau }\left(R\right)\subset {\mathbb{B}}_t\left(R_0\right).$

A process is said to be dissipative if it possesses a time-dependent absorbing set.

Lemma 2.4. ([6]) Let $\left\{x_n\right\}$ be a bounded sequence and also let $\psi \in \text{C}\left(ℝ\right)$ be a monotonic function. Then

$\psi \left(\underset{n\to \infty }{\lim \inf }{x}_n\right)\le \underset{n\to \infty }{\lim \inf }\psi \left(x_n\right).$

Lemma 2.5. ([16] [17]) Let $X$ , $B$ and $Y$ be three Banach spaces. For any $T>0$ , if $X$ ↪↪$B$ ↪$Y$ , and

${\text{W}}_1=\left\{u\in L^p\left(\left[0,T\right];X\right)|{\partial }_{t}u\in L^r\left(\left[0,T\right];Y\right),r>1,1\le p<\infty \right\},$

${\text{W}}_2=\left\{u\in L^{\infty }\left(\left[0,T\right];X\right)|{\partial }_{t}u\in L^r\left(\left[0,T\right];Y\right),r>1\right\}.$

Then the following compact embeddings hold:

$W_1$ ↪↪$L^p\left(\left[0,T\right];B\right),W_2$ ↪↪$C\left(\left[0,T\right];B\right).$

Theorem 2.6. ([15]) If $U\left(t,\tau \right)$ is asymptotically compact, that is, the set

$\mathbb{K}=\left\{\mathfrak{K}={\left\{K_t\right\}}_{t\in ℝ}|K_t\subset X_t\text{is}\text{compact}\text{and}\mathfrak{K}\text{is}\text{attracting}\right\}$

is nonempty, then the time-dependent attractor $\mathfrak{A}$ exists and is unique.

Definition 2.7. ([15] [18] [19]) A time-dependent attractor $\mathfrak{A}={\left\{A_t\right\}}_{t\in ℝ}$ is invariant, if for all $\tau \le t$ ,

$U\left(t,\tau \right)A_{\tau }=A_t.$

Theorem 2.8. ([20]) Let $U\left(\cdot ,\cdot \right)$ be a process acting on a family of Banach spaces ${\left\{X_t\right\}}_{t\in ℝ}$ . Then $U\left(\cdot ,\cdot \right)$ has a time-dependent global attractor ${\mathfrak{A}}^{\text{*}}={\left\{A_t^{\text{*}}\right\}}_{t\in ℝ}$ satisfying

$A_t^{\text{*}}={\displaystyle \underset{s\le t}{\cap }\overline{{\displaystyle \underset{\tau \le s}{\cup }U\left(t,\tau \right){\mathbb{B}}_{\tau }\left(R\right)}}}$

if and only if

1) $U\left(\cdot ,\cdot \right)$ has a time-dependent absorbing family $\mathfrak{B}={\left\{{\mathbb{B}}_t\left(R_0\right)\right\}}_{t\in ℝ}$ ;

2) $U\left(\cdot ,\cdot \right)$ is asymptotically compact.

Definition 2.9. ([21] [22]) Let ${\left\{X_t\right\}}_{t\in ℝ}$ be a family of Banach spaces and let $ℭ={\left\{C_t\right\}}_{t\in ℝ}$ be a uniformly bounded family of subsets of ${\left\{X_t\right\}}_{t\in ℝ}$ . A function ${\Phi }_{\tau }^t\left(\cdot ,\cdot \right)$ defined on $X_t\times X_t$ is called a contraction function on $C_{\tau }\times C_{\tau }$ , if for any fixed $t\in ℝ$ and any sequence ${\left\{x_n\right\}}_{n=1}^{\infty }\subset C_{\tau }$ , there exists a subsequence ${\left\{x_{n_k}\right\}}_{k=1}^{\infty }\subset {\left\{x_n\right\}}_{n=1}^{\infty }$ such that

$\underset{k\to \infty }{\lim }\underset{l\to \infty }{\lim }{\Phi }_{\tau }^t\left(x_{n_k},x_{n_l}\right)=0,$

where $\tau \le t$ .

We denote by $ℭ\left(C_t\right)$ the set of all contraction functions on $C_t\times C_t$ .

Theorem 2.10. ([20]) Let $U\left(\cdot ,\cdot \right)$ be a process on ${\left\{X_t\right\}}_{t\in ℝ}$ that possesses a time-dependent absorbing family of sets ${\mathfrak{B}}_t={\left\{{\mathbb{B}}_t\left(R_1\right)\right\}}_{t\in ℝ}$ . If for any $\epsilon >0$ , there exists a subsequence $T\left(\epsilon \right)\le t$ , ${\Phi }_T^t\in ℭ\left({\mathbb{B}}_T\left(R\right)\right)$ such that

$\Vert U\left(t,T\right)x-U\left(t,T\right)y\Vert \le \epsilon +{\Phi }_T^t\left(x,y\right),\forall x,y\in {\mathbb{B}}_T\left(R\right)$

for any fixed $t\in ℝ$ , then $U\left(\cdot ,\cdot \right)$ is asymptotically compact.

3. Well-Posedness of Solutions

First, we give the following definition of the solution to the problem (2.4) - (2.7).

Definition 3.1. For any $\tau \in ℝ$ , a triple $z=\left(u,{\partial }_{t}u,{\eta }^t\right)$ is called a weak solution to the problem (2.4) - (2.7) on the interval $\left[\tau ,T\right]$ , if

$\begin{array}{l}u\in L^{\infty }\left(\left[\tau ,T\right];V_1\right),{\partial }_{t}u\in L^{\infty }\left(\left[\tau ,T\right];L^2\left(\Omega \right)\right)\cap L^2\left(\left[\tau ,T\right];V_{\theta }\right),\\ {\eta }^t\in L^{\infty }\left(\left[\tau ,t\right];L_{\mu }^2\left({ℝ}^{+};V_1\right)\right)\end{array}$

and it satisfies

$\begin{array}{l}\langle {\partial }_t^{2}u,\omega \rangle +\langle Au,\omega \rangle +\gamma \langle A^{\theta }{\partial }_{t}u,\omega \rangle +\langle {\displaystyle {\int }_0^{\infty }\mu \left(s\right)A{\eta }^t\left(s\right)\text{d}s},\omega \rangle \\ +\langle f\left(u\right),\omega \rangle =\langle g\left(x\right),\omega \rangle \end{array}$

for all $\tau \le t$ and all $\omega \in V_1$ .

Theorem 3.2. Suppose that (M₁) - (M₃) hold. Then for each $T>\tau$ and $\theta \in \left(\frac{1}{2},1\right)$ , the problem (2.4) - (2.7) admits a weak solution $y=\left(u,{\partial }_{t}u,{\eta }^t\right)\in C\left(\left[\tau ,T\right];{\mathscr{H}}_t^1\right)$ with ${\partial }_t^{2}u\in L^{\infty }\left(\left[\tau ,T\right];V_{-2\theta }\right)$ , which satisfies

$\begin{array}{l}{\Vert u\left(t\right)\Vert }_1^2+{\Vert {\partial }_{t}u\left(t\right)\Vert }^2+{\Vert {\eta }^t\Vert }_{\mu ,1}^2+{\Vert {\partial }_t^{2}u\left(t\right)\Vert }_{-2\theta }^2+{\displaystyle {\int }_{\tau }^T{\Vert {\partial }_{t}u\left(t\right)\Vert }_{\theta }\text{d}t}\\ \le C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2\right),t\ge \tau .\end{array}$ (3.1)

Furthermore, the weak solution satisfies the following properties:

1) (Dissipativity) There exists a positive constant $R$ independent of $\theta \in \left(\frac{1}{2},1\right)$ such that

${\Vert \left(u,{\partial }_{t}u,{\eta }^t\right)\Vert }_{{\mathscr{H}}_t^1}\le R_0,\forall t\ge t_0\left(R\right),$ (3.2)

where $\tau \le t-t_0\left(R\right)$ and $t_0\left(R\right)$ is a moment depending on the positive constant $R$ .

2) (Energy equality) For each $\tau \le t\le T$ , the following energy equality holds

$\begin{array}{l}E\left(u\left(t\right),{\partial }_{t}u\left(t\right),{\eta }^t\left(s\right)\right)+2\gamma {\displaystyle {\int }_{\tau }^T{\Vert {\partial }_{t}u\left(t\right)\Vert }_{\theta }^2\text{d}t}+\frac{1}{2}{\displaystyle {\int }_{\tau }^T{\displaystyle {\int }_0^{\infty }\mu \left(s\right)\frac{\text{d}}{\text{d}s}{\Vert {\eta }^t\left(s\right)\Vert }_1^2\text{d}s\text{d}t}}\\ =E\left(u_{\tau },{\partial }_t{u}_{\tau },{\eta }_{\tau }\left(s\right)\right).\end{array}$ (3.3)

Here,

$\begin{array}{l}E\left(u\left(t\right),{\partial }_{t}u\left(t\right),{\eta }^t\left(s\right)\right)\\ ={\Vert u\left(t\right)\Vert }_1^2+{\Vert {\partial }_{t}u\left(t\right)\Vert }^2+{\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,1}^2+2\langle F\left(u\left(t\right)\right),1\rangle -2\langle g,u\left(t\right)\rangle .\end{array}$ (3.4)

3) (Weak lipschitz stability) The solution $y=\left(u,{\partial }_{t}u,{\eta }^t\right)$ is Lipschitz continuous in the space $V_{1-\theta }\times V_{-\theta }\times L_{\mu }^2\left({ℝ}^{+};V_{1-\theta }\right)$ , that is,

$\begin{array}{l}{\Vert u\left(t\right)\Vert }_{1-\theta }^2+{\Vert {\partial }_{t}u\left(t\right)\Vert }_{-\theta }^2+{\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,1-\theta }^2\\ \le \frac{m_3}{m_2}{\text{e}}^{\tilde{C}\left(t-\tau \right)}\left({\Vert u_{\tau }\Vert }_{1-\theta }^2+{\Vert {\partial }_t{u}_{\tau }\Vert }_{-\theta }^2+{\Vert {\eta }_{\tau }\left(s\right)\Vert }_{\mu ,1-\theta }^2\right)+\frac{{\tilde{C}}_0\left(t-\tau \right)}{m_2}{\text{e}}^{\tilde{C}\left(t-\tau \right)}.\end{array}$(3.5)

where $\tilde{z}=\left(\tilde{u},{\partial }_t\tilde{u},{\tilde{\eta }}_t\right)=z_1-z_2$ , and $z_i=\left(u_i,{\partial }_t{u}_i,{\eta }_i^t\right)\left(i=1,2\right)$ are two weak solutions to the problem (2.4) - (2.7) corresponding to the initial values $\left(u_{{\tau }_i},{\partial }_t{u}_{{\tau }_i},{\eta }_{{\tau }_i}\right)\left(i=1,2\right)$ , respectively. Moreover

$\tilde{C}=C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_1,C_2,\gamma ,k\right),$

${\tilde{C}}_0=C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2,\gamma \right).$

Proof.

1) (Existence of Weak Solutions) First, we establish some a priori estimates for the solutions to the problem (2.4) - (2.7). Taking the inner product of Equation (2.4) with ${\partial }_{t}u$ in $L^2\left(\Omega \right)$ , we obtain

$\frac{\text{d}}{\text{d}t}E\left(u\left(t\right),{\partial }_{t}u\left(t\right),{\eta }^t\left(s\right)\right)+2\gamma {\Vert {\partial }_{t}u\Vert }_{\theta }^2+{\displaystyle {\int }_0^{\infty }\mu \left(s\right)\frac{\text{d}}{\text{d}s}{\Vert {\eta }^t\left(s\right)\Vert }_1^2\text{d}s}=0,$

where

$\begin{array}{l}E\left(u\left(t\right),{\partial }_{t}u\left(t\right),{\eta }^t\left(s\right)\right)\\ ={\Vert u\left(t\right)\Vert }_1^2+{\Vert {\partial }_{t}u\left(t\right)\Vert }^2+{\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,1}^2+2\langle F\left(u\left(t\right)\right),1\rangle -2\langle g,u\left(t\right)\rangle .\end{array}$ (3.6)

Integrating the above identity over the interval $\left[s,t\right]$ , we deduce that (3.3) holds.

Since

$\begin{array}{c}{\displaystyle {\int }_0^{\infty }\mu \left(s\right)\frac{\text{d}}{\text{d}s}{\Vert {\eta }^t\left(s\right)\Vert }_1^2\text{d}s}=-{\displaystyle {\int }_0^{\infty }{\mu }^{\prime }\left(s\right){\Vert {\eta }^t\left(s\right)\Vert }_1^2\text{d}s}\\ \ge k{\displaystyle {\int }_0^{\infty }\mu \left(s\right){\Vert {\eta }^t\left(s\right)\Vert }_1^2\text{d}s}=k{\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,1}^2,\end{array}$

we have

$E\left(u\left(t\right),{\partial }_{t}u\left(t\right),{\eta }^t\left(s\right)\right)+2\gamma {\displaystyle {\int }_{\tau }^T{\Vert {\partial }_{t}u\left(t\right)\Vert }_{\theta }^2\text{d}t}\le E\left(u_{\tau },{\partial }_t{u}_{\tau },{\eta }_{\tau }\right).$ (3.7)

By virtue of (1.4) and the compact embedding $V_1$ ↪↪$L^{p+1}\left(\Omega \right)$ , it follows that

$2\langle F\left(u\right),1\rangle \le 2C_1\left({\Vert u\Vert }^2+{\Vert u\Vert }_{L^{p+1}\left(\Omega \right)}^{p+1}\right)\le C_2\left({\Vert u\Vert }_1^2+{\Vert u\Vert }_1^{p+1}\right).$ (3.8)

From (M₃), we know that

$2\left|\langle g,u\rangle \right|\le \frac{{\beta }_0}{4}{\Vert u\Vert }_1^2+\frac{4}{{\beta }_0{\lambda }_1}{\Vert g\Vert }^2.$ (3.9)

Therefore,

$\begin{array}{l}E\left(u_{\tau },{\partial }_t{u}_{\tau },{\eta }_{\tau }\right)\\ ={\Vert u_{\tau }\Vert }_1^2+{\Vert {\partial }_t{u}_{\tau }\Vert }^2+{\Vert {\eta }_{\tau }\Vert }_{\mu ,1}^2+2\langle F\left(u_{\tau }\right),1\rangle -2\langle g,u_{\tau }\rangle \\ \le {\Vert u_{\tau }\Vert }_1^2+{\Vert {\partial }_t{u}_{\tau }\Vert }^2+{\Vert {\eta }_{\tau }\Vert }_{\mu ,1}^2+C_2\left({\Vert u_{\tau }\Vert }_1^2+{\Vert u_{\tau }\Vert }_1^{p+1}\right)+\frac{{\beta }_0}{4}{\Vert u_{\tau }\Vert }_1^2+\frac{4}{{\beta }_0{\lambda }_1}{\Vert g\Vert }^2\\ \le m_0\left({\Vert u_{\tau }\Vert }_1^2+{\Vert {\partial }_t{u}_{\tau }\Vert }^2+{\Vert {\eta }_{\tau }\Vert }_{\mu ,1}^2\right)+C_2\left({\Vert u_{\tau }\Vert }_1^{p+1}\right)+C\\ \le C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2\right),\end{array}$

where $m_0=\text{max}\left\{1,1+C_2+\frac{{\beta }_0}{4}\right\}$ and $C=\frac{4}{{\beta }_0{\lambda }_1}{\Vert g\Vert }^2$ .

From Remark 1.1, we have

$2{\displaystyle {\int }_{\Omega }F\left(u\right)\text{d}x}\ge -\left(1-{\beta }_0\right){\Vert u\left(t\right)\Vert }_1^2-2C_{{\beta }_0}\ge \left({\beta }_0-1\right){\Vert u\left(t\right)\Vert }_1^2-2C_{{\beta }_0}.$ (3.10)

By virtue of estimates (3.8) - (3.9), we obtain

$\begin{array}{l}{m}_1\left({\Vert u\left(t\right)\Vert }_1^2+{\Vert {\partial }_{t}u\left(t\right)\Vert }^2+{\Vert {\eta }^t\Vert }_{\mu ,1}^2\right)-C\\ \le E\left(u\left(t\right),{\partial }_{t}u\left(t\right),{\eta }^t\left(s\right)\right)\le C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2\right).\end{array}$ (3.11)

where $m_1=\text{min}\left\{1,\frac{3{\beta }_0}{4}\right\}$ and $C=\frac{4}{{\beta }_0{\lambda }_1}{\Vert g\Vert }^2+2C\left({\beta }_0\right)$ .

According to (3.7) and (3.11), we conclude that

${\displaystyle {\int }_{\tau }^T{\Vert {\partial }_{t}u\left(t\right)\Vert }_{\theta }^2\text{d}t}\le C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2\right).$ (3.12)

Using the embeddings $L^{1+\frac{1}{p}}\left(\Omega \right)$ ↪↪$V_{-1}$ ↪↪$V_{-2\theta }$ and Equation (2.3), we get

$\begin{array}{l}{\Vert {\partial }_t^{2}u\left(t\right)\Vert }_{-2\theta }^2\\ \le {\Vert u\left(t\right)\Vert }_{2-2\theta }^2+\gamma {\Vert {\partial }_{t}u\left(t\right)\Vert }^2+{\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,2-2\theta }^2+{\Vert f\left(u\right)\Vert }_{-2\theta }^2+{\Vert g\Vert }_{-2\theta }^2\\ \le C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2\right)\left({\Vert u\left(t\right)\Vert }_{2-2\theta }^2+\gamma {\Vert {\partial }_{t}u\left(t\right)\Vert }^2+{\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,2-2\theta }^2+{\Vert f\left(u\right)\Vert }_{L^{1+\frac{1}{p}}}^2+{\Vert g\Vert }^2\right)\\ \le C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2\right)\left({\Vert u\left(t\right)\Vert }_1^2+{\Vert u\left(t\right)\Vert }_1^{2p}+\gamma {\Vert {\partial }_{t}u\left(t\right)\Vert }^2+{\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,1}^2+{\Vert g\Vert }^2\right)\\ \le C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2\right).\end{array}$ (3.13)

Combining (3.7), (3.11) - (3.13), we deduce that (3.1) holds.

Let us prove the existence of solutions for the problem (2.4) - (2.7) in the space $C\left(\left[\tau ,T\right];{\mathscr{H}}_t^1\right)$ . Suppose that ${\left\{w_j\right\}}_{j=1}^{\infty }$ is an orthonormal basis of $V_1$ with $A{w}_j={\lambda }_j{w}_j$ for $j=1,2,\cdots$ . Let ${\left\{{\varsigma }_j\right\}}_{j=1}^{\infty }$ be an orthonormal basis of $L_{{\mu }_t}^2\left({ℝ}^{+};V_1\right)$ satisfying $A{\varsigma }_j={\lambda }_j{\varsigma }_j$ for $j=1,2,\cdots$ . For each $n\in \mathbb{N}$ , there exist finite-dimensional subspaces

$V_n=\text{span}\left\{w_1,\cdots ,w_n\right\}\subset V_1,M_n=\text{span}\left\{{\varsigma }_1,\cdots ,{\varsigma }_n\right\}\subset L_{\mu }^2\left({ℝ}^{+};V_1\right).$

Define $P_n:V_1\to V_n$ as the orthogonal projection onto $V_n$ and $Q_n:L_{\mu }^2\left({ℝ}^{+};V_1\right)\to M_n$ as the orthogonal projection onto $M_n$ .

For each $n\in \mathbb{N}$ , let $z_n\left(t\right)=\left(u_n,{\partial }_t{u}_n,{\eta }_n^t\right)$ be an approximate solution to the problem, where $u_n={\displaystyle {\sum }_{j=1}^n{T}_j^n\left(t\right)w_j}$ with $T_j^n\in C^1\left(\left[\tau ,T\right]\right)$ , and ${\eta }_n^t={\displaystyle {\sum }_{j=1}^n{\Lambda }_j^n\left(t\right){\varsigma }_j}$ with ${\Lambda }_j^n\in C^1\left(\left[\tau ,T\right]\right)$ . Then for any $\phi \in V_n$ and each $t\in \left[\tau ,T\right]$ , $z_n\left(t\right)=\left(u_n,{\partial }_t{u}_n,{\eta }_n^t\right)$ satisfies

$\begin{array}{l}\langle {\partial }_t^{2}u,\phi \rangle +\langle Au,\phi \rangle +\gamma \langle A^{\theta }{\partial }_{t}u,\phi \rangle +\langle {\displaystyle {\int }_0^{\infty }\mu \left(s\right)A{\eta }^t\left(s\right)\text{d}s},\phi \rangle \\ +\langle f\left(u\right),\phi \rangle =\langle g\left(x\right),\phi \rangle ,\end{array}$ (3.14)

together with

${\eta }_n^t\left(s\right)=\{\begin{array}{ll}{u}_n\left(t\right)-u_n\left(t-s\right),\hfill & 0\le s\le t-\tau ,\hfill \\ {\eta }_{{\tau }_n}\left(s-t+\tau \right)+u_n\left(t\right)-u_{{\tau }_n},\hfill & s>t-\tau .\hfill \end{array}$

Multiplying Equation (3.14) by $\psi \in C_0^{\infty }\left(\left[\tau ,T\right]\right)$ and integrating over $\left[\tau ,T\right]$ , we obtain

$\begin{array}{l}{\displaystyle {\int }_{\tau }^T\psi }(\langle {\partial }_t^{2}u,\phi \rangle +\langle Au,\phi \rangle +\gamma \langle A^{\theta }{\partial }_{t}u,\phi \rangle +\langle {\displaystyle {\int }_0^{\infty }\mu \left(s\right)A{\eta }^t\left(s\right)\text{d}s},\phi \rangle \\ {}^{{}_{}{}^{}}+\langle f\left(u\right),\phi \rangle -\langle g\left(x\right),\phi \rangle )\text{d}t=0.\end{array}$ (3.15)

Then we have the following results:

$u_n\text{is}\text{bounded}\text{in}{L}^{\infty }\left(\left[\tau ,T\right];V_1\right),$

${\partial }_t{u}_n\text{is}\text{bounded}\text{in}{L}^{\infty }\left(\left[\tau ,T\right];L^2\left(\Omega \right)\right)\cap L^2\left(\left[\tau ,T\right];V_{\theta }\right),$

${\eta }_n^t\text{is}\text{bounded}\text{in}{L}^{\infty }\left(\left[\tau ,T\right];L_{\mu }^2\left({ℝ}^{+},V_1\right)\right),$

${\partial }_t^2{u}_n\text{is}\text{bounded}\text{in}{L}^{\infty }\left(\left[\tau ,T\right];V_{-2\theta }\right).$

By applying the Galerkin approximation method, there exists $z=\left(u,{\partial }_{t}u,{\eta }^t\right)\in L^{\infty }\left(\left[\tau ,T\right];{\mathscr{H}}_t^1\right)$ such that

$u_n\to u{\text{weakly}}^{\text{*}}\text{in}{L}^{\infty }\left(\left[\tau ,T\right];V_1\right),$

${\partial }_t{u}_n\to {\partial }_{t}u{\text{weakly}}^{\text{*}}\text{in}{L}^{\infty }\left(\left[\tau ,T\right];L^2\left(\Omega \right)\right),$

${\partial }_t{u}_n\to {\partial }_{t}u\text{weakly}\text{in}{L}^2\left(\left[\tau ,T\right];V_{\theta }\right),$

${\eta }_n^t\to {\eta }^t{\text{weakly}}^{\text{*}}\text{in}{L}^{\infty }\left(\left[\tau ,T\right];L_{\mu }^2\left({ℝ}^{+},V_1\right)\right),$

${\partial }_t^2{u}_n\to {\partial }_t^{2}u{\text{weakly}}^{\text{*}}\text{in}{L}^{\infty }\left(\left[\tau ,T\right];V_{-2\theta }\right).$

Applying Lemma 2.2 and Alaoglu Theorem, for $0<\alpha \ll 1$ , we deduce that

$u_n\to u\text{in}C\left(\left[\tau ,T\right];V_{1-\alpha }\right),$

${\partial }_t{u}_n\to {\partial }_{t}u\text{in}C\left(\left[\tau ,T\right];V_{-\alpha }\right),$

$u_n\to u\text{in}{L}^2\left(\left[\tau ,T\right];V_1\right)\text{and}{u}_n\left(x,t\right)\to u\left(x,t\right),\text{a}.\text{e}.\left(x,t\right)\in \Omega \times \left[\tau ,T\right],$

${\partial }_t{u}_n\to {\partial }_{t}u\text{in}{L}^2\left(\left[\tau ,T\right];L^2\left(\Omega \right)\right),$

$f\left(u_n\right)\to f\left(u\right)\text{weakly}\text{in}{L}^{1+\frac{1}{p}}\left(\left[\tau ,T\right];L^{1+\frac{1}{p}}\left(\Omega \right)\right).$

Since for arbitrary $\phi \in V_n$ , we have

$\begin{array}{l}{\displaystyle {\int }_{\tau }^T\langle f\left(u_n\right)-f\left(u\right),\phi \rangle \text{d}t}\\ \le C_1{\displaystyle {\int }_{\tau }^T\left(1+{\left|u_n\right|}^{p-1}+{\left|u\right|}^{p-1}\right)\left|u_n-u\right|\left|\phi \right|\text{d}t}\\ \le C_1{\left({\displaystyle {\int }_{\tau }^T{\left(1+{\left|u_n\right|}^{p-1}+{\left|u\right|}^{p-1}\right)}^{\frac{p+1}{p-1}}\text{d}t}\right)}^{\frac{p-1}{p+1}}{\left({\displaystyle {\int }_{\Omega }{\left|u_n-u\right|}^{p+1}\text{d}t}\right)}^{\frac{1}{p+1}}{\left({\displaystyle {\int }_{\Omega }{\left|\phi \right|}^p\text{d}t}\right)}^{\frac{1}{p+1}}\\ \le C_1\left(1+{\Vert u_n\Vert }_{L^{p+1}}^{p-1}+{\Vert u\Vert }_{L^{p+1}}^{p-1}\right){\Vert u_n-u\Vert }_{L^{p+1}}{\Vert \phi \Vert }_{L^{p+1}}\\ \le C_2\left(1+{\Vert u_n\Vert }_1^{p-1}+{\Vert u\Vert }_1^{p-1}\right){\Vert u_n-u\Vert }_1{\Vert \phi \Vert }_1\\ \le C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2\right){\Vert u_n-u\Vert }_{L^2\left(\left[\tau ,T\right];V_1\right)}\to 0,\end{array}$

Since $f\left(u_n\right)$ and $f\left(u\right)$ are bounded in $L^{1+\frac{1}{p}}\left(\left[\tau ,T\right];L^{1+\frac{1}{p}}\left(\Omega \right)\right)$ , by the Lebesgue Dominated Convergence Theorem, we obtain

${\displaystyle {\int }_{\tau }^T\psi \langle f\left(u_n\right)-f\left(u\right),\phi \rangle \text{d}y}\to 0.$

Furthermore, for arbitrary $\phi \in V_n$ , we have

$\begin{array}{c}{\displaystyle {\int }_{\tau }^T\langle A{u}_n-Au,\phi \rangle \text{d}t}\le {\displaystyle {\int }_{\tau }^T\Vert A^{\frac{1}{2}}\left(u_n\left(t\right)-u\left(t\right)\right)\Vert \Vert A^{\frac{1}{2}}\phi \Vert \text{d}t}\\ \le {\displaystyle {\int }_{\tau }^T{\Vert u_n\left(t\right)-u\left(t\right)\Vert }_1{\Vert \phi \Vert }_1\text{d}t}\to 0.\end{array}$

In addition, since $u_n$ and $u$ are bounded in $V_1$ , an application of the Lebesgue Dominated Convergence Theorem yields

${\displaystyle {\int }_{\tau }^T\psi \langle A{u}_n-Au,\phi \rangle \text{d}t}\to 0.$

We further set

${\overline{\eta }}_n^t={\eta }_n^t-{\eta }^t,{\overline{u}}_n=u_n-u,{\overline{\eta }}_{{\tau }_n}={\eta }_{{\tau }_n}-{\eta }_{\tau },{\overline{u}}_{{\tau }_n}=u_{{\tau }_n}-u_{\tau }.$

Consider the mapping $p_n:\left[\tau ,T\right]\to ℝ$ defined by $t\mapsto p_n\left(t\right)={\langle {\overline{u}}_n\left(t\right),\phi \rangle }_1$ , where $p_n\to 0$ in $L^2\left(\left[\tau ,T\right];V_1\right)$ .

From Equation (2.2), we have

$\begin{array}{c}{\Vert {\overline{\eta }}_n^t\Vert }_{\mu ,1}^2={\displaystyle {\int }_0^{t-\tau }\mu \left(s\right){\Vert {\overline{u}}_n\left(t-s\right)-\overline{u}\left(t-s\right)\Vert }_1^2\text{d}s}\\ +{\displaystyle {\int }_{t-\tau }^{\infty }\mu \left(s\right){\Vert {\overline{\eta }}_{{\tau }_n}\left(s-t+\tau \right)+{\overline{u}}_n\left(t\right)-{\overline{u}}_{{\tau }_n}\Vert }_1^2\text{d}s}\\ \le {\displaystyle {\int }_0^{t-\tau }\mu \left(s\right){\Vert {\overline{u}}_n\left(t-s\right)-\overline{u}\left(t-s\right)\Vert }_1^2\text{d}s}+2{\displaystyle {\int }_{t-\tau }^{\infty }\mu \left(s\right){\Vert {\overline{\eta }}_{{\tau }_n}\left(s-t+\tau \right)\Vert }_1^2\text{d}s}\\ +2{\displaystyle {\int }_{t-\tau }^{\infty }\mu \left(s\right){\Vert {\overline{u}}_n\left(t\right)-{\overline{u}}_{{\tau }_n}\Vert }_1^2\text{d}s},\end{array}$

where

$\begin{array}{l}{\displaystyle {\int }_{t-\tau }^{\infty }\mu \left(s\right){\Vert {\overline{\eta }}_{{\tau }_n}\left(s-t+\tau \right)\Vert }_1^2\text{d}s}\\ ={\displaystyle {\int }_0^{\infty }\mu \left(s+t-\tau \right){\Vert {\overline{\eta }}_{{\tau }_n}\left(s\right)\Vert }_1^2\text{d}s}\to 0\le {\displaystyle {\int }_0^{\infty }\mu \left(s\right){\Vert {\overline{\eta }}_{{\tau }_n}\left(s\right)\Vert }_1^2\text{d}s}\to 0.\end{array}$

As $n\to \infty$ , ${\overline{u}}_n\to 0$ in $L^2\left(\left[\tau ,T\right];V_1\right)$ , hence

$\Vert {\overline{u}}_n\left(t\right)-\overline{u}\left(t-s\right)\Vert \le \Vert {\overline{u}}_n\left(t\right)\Vert +\Vert {\overline{u}}_n\left(t-s\right)\Vert \to 0.$

Combining with (1.5) in (M₁), we obtain

${\displaystyle {\int }_0^{t-\tau }\mu \left(s\right){\Vert {\overline{u}}_n\left(t\right)-\overline{u}\left(t-s\right)\Vert }_1^2\text{d}s}\to 0.$

Similarly,

${\displaystyle {\int }_{t-\tau }^{\infty }\mu \left(s\right){\Vert {\overline{u}}_n\left(t\right)-{\overline{u}}_{{\tau }_n}\Vert }_1^2\text{d}s}\to 0.$

Therefore,

${\Vert {\overline{\eta }}^t\left(s\right)\Vert }_{\mu ,1}^2\to 0,\forall t\in \left[\tau ,T\right].$

Since

${\eta }_n^t\left(s\right)=\{\begin{array}{ll}{u}_n\left(t\right)-u_n\left(t-s\right),\hfill & 0\le s\le t-\tau ,\hfill \\ {\eta }_{{\tau }_n}\left(s-t+\tau \right)+u_n\left(t\right)-u_{{\tau }_n},\hfill & s>t-\tau ,\hfill \end{array}$

we have

$\begin{array}{l}{\displaystyle {\int }_0^{\infty }\mu }\left(s\right){\langle {\overline{\eta }}_n^t\left(s\right),\phi \rangle }_1\text{d}s\\ ={\displaystyle {\int }_0^{t-\tau }\mu }\left(s\right){\langle {\overline{u}}_n\left(t\right),\phi \rangle }_1\text{d}s-{\displaystyle {\int }_0^{t-\tau }\mu }\left(s\right){\langle {\overline{u}}_n\left(t-s\right),\phi \rangle }_1\text{d}s\\ +{\displaystyle {\int }_{t-\tau }^{\infty }\mu }\left(s\right){\langle {\overline{u}}_n\left(t\right),\phi \rangle }_1\text{d}s+{\displaystyle {\int }_{t-\tau }^{\infty }\mu }\left(s\right){\langle {\overline{\eta }}_{{\tau }_n}\left(s-t+\tau \right)-{\overline{u}}_{{\tau }_n},\phi \rangle }_1\text{d}s.\end{array}$

By applying (1.5) in (M₁) again, we obtain

${\displaystyle {\int }_0^{\infty }\mu \left(s\right){\langle {\overline{u}}_n\left(t\right),\phi \rangle }_1\text{d}s}={\displaystyle {\int }_0^{\infty }\mu \left(s\right)p_n\left(t\right)\text{d}s}=k_0{p}_n\left(t\right)\to 0,$

${\displaystyle {\int }_0^{t-\tau }\mu \left(s\right){\langle {\overline{u}}_n\left(t-s\right),\phi \rangle }_1\text{d}s}={\displaystyle {\int }_{\tau }^t\mu \left(t-s\right)p_n\left(s\right)\text{d}s}\to 0,$

$\begin{array}{l}{\displaystyle {\int }_{t-\tau }^{\infty }\mu \left(s\right){\langle {\overline{\eta }}_{{\tau }_n}\left(s-t+\tau \right)-{\overline{u}}_{{\tau }_n},\phi \rangle }_1\text{d}s}\\ \le {\Vert \phi \Vert }_1{\displaystyle {\int }_0^{\infty }\mu \left(s+t-\tau \right)\left({\Vert {\overline{\eta }}_{{\tau }_n}\left(s\right)\Vert }_1+{\Vert {\overline{u}}_{{\tau }_n}\Vert }_1\right)\text{d}s}\\ \le {\Vert \phi \Vert }_1{\Vert {\overline{\eta }}_{{\tau }_n}\left(s\right)\Vert }_{L_{\mu }^2\left({ℝ}^{+};V_1\right)}+{\Vert \phi \Vert }_1{\Vert {\overline{u}}_{{\tau }_n}\Vert }_{L^2\left(\left[\tau ,T\right];V_1\right)}\to 0,\end{array}$

Therefore, we have

$\underset{n\to \infty }{\text{lim}}{\displaystyle {\int }_0^{\infty }\mu \left(s\right){\langle {\overline{\eta }}_n^t\left(s\right),\phi \rangle }_1\text{d}s}=0,\forall t\in \left[\tau ,T\right].$

By applying the Lebesgue Dominated Convergence Theorem, we deduce that

$\underset{n\to \infty }{\text{lim}}{\displaystyle {\int }_{\tau }^T\psi \left(t\right)}{\displaystyle {\int }_0^{\infty }\mu \left(s\right){\langle {\overline{\eta }}_n^t\left(s\right),\phi \rangle }_1\text{d}s\text{d}t}=0.$

As a result, letting $n\to \infty$ in Equation (3.15), we conclude that $z=\left(u,{\partial }_{t}u,{\eta }^t\right)$ is a weak solution to the problem and satisfies the estimate (3.1).

Next, we shall prove that the solution $z=\left(u,{\partial }_{t}u,{\eta }^t\right)$ to the problems (2.4) - (2.7) belongs to $C\left(\left[\tau ,T\right];{\mathscr{H}}_t^1\right)$ .

Since $\left(u,{\partial }_{t}u\right)\in C\left(\left[\tau ,T\right];V_{1-\alpha }\times V_{-\alpha }\right)$ and $\left(u,{\partial }_{t}u,{\eta }^t\right)\in L^{\infty }\left(\tau ,T;{\mathscr{H}}_t^1\right)$ , it follows that $\left(u,{\partial }_{t}u,{\eta }^t\right)\in C_w\left(\left[\tau ,T\right];{\mathscr{H}}_t^1\right)$ and

${\Vert \left(u,{\partial }_{t}u,{\eta }^t\right)\Vert }_{{\mathscr{H}}_t^1}\le \underset{\tau \to t}{\lim \inf }{\Vert \left(u_{\tau },{\partial }_t{u}_{\tau },{\eta }_{\tau }\right)\Vert }_{{\mathscr{H}}_{\tau }^1}.$

For any $t\in \left[\tau ,T\right]$ , by (3.3) we have

$\underset{\tau \to t}{\text{lim}}E\left(u_{\tau },{\partial }_t{u}_{\tau },{\eta }_{\tau }\right)=E\left(u\left(t\right),{\partial }_{t}u\left(t\right),{\eta }^t\left(s\right)\right).$ (3.16)

From (3.16), we deduce that $u\left(x,\tau \right)\to u\left(x,t\right)$ a.e. $x\in \Omega$ as $\tau \to t$ . Applying Lemma 2.4, Remark 1.1 and Fatou Lemma, we have

$\underset{\tau \to t}{\text{lim}}2\langle g,u_{\tau }\rangle =2\langle g,u\left(t\right)\rangle ,$

${\Vert \left(u\left(t\right),{\partial }_{t}u\left(t\right),{\eta }^t\right)\Vert }_{{\mathscr{H}}_t^1}^2\le \underset{\tau \to t}{\lim \inf }{\Vert \left(u_{\tau },{\partial }_t{u}_{\tau },{\eta }_{\tau }\right)\Vert }_{{\mathscr{H}}_{\tau }^1}^2,$

$\begin{array}{l}{\displaystyle {\int }_{\Omega }\left(2F\left(u\left(t\right)\right)+\left(1-2C_{{\beta }_0}\right){\lambda }_1{\left|u\left(t\right)\right|}^2+2C_{{\beta }_0}\right)\text{d}x}\\ \le \underset{\tau \to t}{\lim \inf }{\displaystyle {\int }_{\Omega }\left(2F\left(u_{\tau }\right)+\left(1-2C_{{\beta }_0}\right){\lambda }_1{\left|u_{\tau }\right|}^2+2C_{{\beta }_0}\right)\text{d}x}\\ \le \underset{\tau \to t}{\lim \inf }{\displaystyle {\int }_{\Omega }2F\left(u_{\tau }\right)\text{d}x}+\left(1-2C_{{\beta }_0}\right){\lambda }_1{\Vert u\Vert }^2+2C_{{\beta }_0}\left|\Omega \right|,\end{array}$

That is,

${\displaystyle {\int }_{\Omega }2F\left(u\left(t\right)\right)\text{d}x}\le \underset{\tau \to t}{\lim \inf }{\displaystyle {\int }_{\Omega }2F\left(u_{\tau }\right)\text{d}x}.$

From the above estimates and (3.16), we get

$\begin{array}{l}\underset{\tau \to t}{\lim \inf }{\Vert {\partial }_t{u}_{\tau }\Vert }^2+\underset{\tau \to t}{\lim \inf }{\Vert u_{\tau }\Vert }_1^2+\underset{\tau \to t}{\lim \inf }{\Vert {\eta }_{\tau }\Vert }_{\mu ,1}^2+\underset{\tau \to t}{\lim \inf }2\langle F\left(u_{\tau }\right),1\rangle \\ \le \underset{\tau \to t}{\lim }\left[{\Vert {\partial }_t{u}_{\tau }\Vert }^2+{\Vert u_{\tau }\Vert }^2+{\Vert {\eta }_{\tau }\Vert }_{\mu ,1}^2+2\langle F\left(u_{\tau }\right),1\rangle \right]\\ ={\Vert {\partial }_{t}u\left(t\right)\Vert }^2+{\Vert u\left(t\right)\Vert }_1^2+{\Vert {\eta }^t\Vert }_{\mu ,1}^2+2\langle F\left(u\left(t\right)\right),1\rangle \\ \le \underset{\tau \to t}{\lim \inf }{\Vert {\partial }_t{u}_{\tau }\Vert }^2+\underset{\tau \to t}{\lim \inf }{\Vert u_{\tau }\Vert }_1^2+\underset{\tau \to t}{\lim \inf }{\Vert {\eta }_{\tau }\Vert }_{\mu ,1}^2+\underset{\tau \to t}{\lim \inf }2\langle F\left(u_{\tau }\right),1\rangle ,\end{array}$

Hence

${\Vert {\partial }_{t}u\left(t\right)\Vert }^2=\underset{\tau \to t}{\text{lim}}{\Vert {\partial }_t{u}_{\tau }\Vert }^2.$ (3.17)

Similarly, we obtain

${\Vert u\left(t\right)\Vert }_1^2=\underset{\tau \to t}{\text{lim}}{\Vert u_{\tau }\Vert }_1^2,$ (3.18)

${\Vert {\eta }^t\Vert }_{\mu ,1}^2=\underset{\tau \to t}{\text{lim}}{\Vert {\eta }_{\tau }\Vert }_{\mu ,1}^2.$ (3.19)

By the uniform continuity of the space ${\mathscr{H}}_t^1$ , combining (3.17) - (3.19) and $\left(u,{\partial }_{t}u,{\eta }^t\right)\in C_w\left(\left[\tau ,T\right];{\mathscr{H}}_t^1\right)$ , we conclude that $\left(u,{\partial }_{t}u,{\eta }^t\right)\in C\left(\left[\tau ,T\right];{\mathscr{H}}_t^1\right)$ .

2) (Weak lipschitz continuity) Let $z_i\left(t\right)$ ($i=1,2$ ) be solutions to the problems (2.4) - (2.7) satisfying ${\Vert z_i\left(\tau \right)\Vert }_{{\mathscr{H}}_{\tau }^1}\le R$ ($i=1,2$ ). Then $\tilde{z}=\left(\tilde{u},{\partial }_t\tilde{u},{\tilde{\eta }}^t\right)=z_1-z_2$ satisfies

${\partial }_t^2\tilde{u}+A\tilde{u}+\gamma A^{\theta }{\partial }_t\tilde{u}+{\displaystyle {\int }_0^{\infty }\mu \left(s\right)A{\tilde{\eta }}^t\left(s\right)\text{d}s}+f_1-f_2=0,\left(x,t\right)\in \Omega \times \left[\tau ,\infty \right),$ (3.20)

$\tilde{u}\left(x,t\right)=0,x\in \partial \Omega ,t>\tau ,$(3.21)

${\tilde{\eta }}^{\tau }\left(x,s\right)=0,\left(x,s\right)\in \partial \Omega \times {ℝ}^{+},t>\tau ,$(3.22)

$\tilde{u}\left(x,t,\tau \right)={\tilde{u}}_{{\tau }_1}\left(x\right)-{\tilde{u}}_{{\tau }_2}\left(x\right),{\partial }_t\tilde{u}\left(x,t,\tau \right)={\partial }_t{\tilde{u}}_{{\tau }_1}\left(x\right)-{\partial }_t{\tilde{u}}_{{\tau }_2}\left(x\right),$

${\tilde{\eta }}^{\tau }\left(x,s\right)={\tilde{\eta }}_{{\tau }_1}\left(x,s\right)-{\tilde{\eta }}_{{\tau }_2}\left(x,s\right),x\in \Omega ,t\le \tau .$(3.23)

where $f_i=f\left(u_i\right)$ for $i=1,2$ .

In the following estimates, we choose $\delta$ to be an arbitrarily small positive constant. Taking the inner product of Equation (3.20) with $2A^{-\theta }{\partial }_t\tilde{u}+2\delta A^{-\theta }\tilde{u}$ , we obtain

$\begin{array}{l}\frac{\text{d}}{\text{d}t}K\left(\tilde{u},{\partial }_t\tilde{u},{\tilde{\eta }}^t\right)+2\gamma {\Vert {\partial }_t\tilde{u}\Vert }^2-2\delta {\Vert {\partial }_t\tilde{u}\Vert }_{-\theta }^2+2\delta {\Vert \tilde{u}\Vert }_{1-\theta }^2\\ +2{\displaystyle {\int }_0^{\infty }\mu \left(s\right)\frac{\text{d}}{\text{d}s}{\Vert {\tilde{\eta }}^t\Vert }_{1-\theta }^2\text{d}s}+2\delta {\displaystyle {\int }_0^{\infty }\mu \left(s\right){\langle {\tilde{\eta }}^t,\tilde{u}\rangle }_{1-\theta }\text{d}s}={\displaystyle \sum _{j=1}^2{\Pi }_j}.\end{array}$(3.24)

where

$K\left(\tilde{u},{\partial }_t\tilde{u},{\tilde{\eta }}^t\right)=2\delta \langle {\partial }_t\tilde{u},A^{-\theta }\tilde{u}\rangle +{\Vert {\partial }_t\tilde{u}\Vert }_{-\theta }^2+{\Vert \tilde{u}\Vert }_{1-\theta }^2+\delta \gamma {\Vert \tilde{u}\Vert }^2+{\Vert {\tilde{\eta }}^t\Vert }_{\mu ,1-\theta }^2,$

${\Pi }_1=-2\langle f\left(u_1\right)-f\left(u_2\right),A^{-\theta }{\partial }_t\tilde{u}\rangle ,$

${\Pi }_2=-2\delta \langle f\left(u_1\right)-f\left(u_2\right),A^{-\theta }\tilde{u}\rangle .$

Since

$2\left|\delta \langle {\partial }_t\tilde{u},A^{-\theta }\tilde{u}\rangle \right|\le 2{\delta }^2{\lambda }_1^{-1}{\Vert \tilde{u}\Vert }_{1-\theta }^2+\frac{1}{2}{\Vert {\partial }_t\tilde{u}\Vert }_{-\theta }^2,$

there exist constants $m_2,m_3$ such that

$\begin{array}{l}{m}_2\left({\Vert \tilde{u}\left(t\right)\Vert }_{1-\theta }^2+{\Vert {\partial }_t\tilde{u}\left(t\right)\Vert }_{-\theta }^2+{\Vert {\tilde{\eta }}^t\Vert }_{\mu ,1-\theta }^2\right)\le K\left(\tilde{u},{\partial }_t\tilde{u},{\tilde{\eta }}^t\right)\\ \le m_3\left({\Vert \tilde{u}\left(t\right)\Vert }_{1-\theta }^2+{\Vert {\partial }_t\tilde{u}\left(t\right)\Vert }_{-\theta }^2+{\Vert {\tilde{\eta }}^t\Vert }_{\mu ,1-\theta }^2\right),\end{array}$ (3.25)

where $m_2=\text{min}\left\{\frac{1}{2},1-2{\delta }^2{\lambda }_1^{-1}\right\}$ and $m_3=\text{max}\left\{\frac{3}{2},1+2{\delta }^2{\lambda }_1^{-1}+\delta \gamma {\lambda }_1^{\theta -1}\right\}$ .

By the Interpolation Theorem, we deduce that

$\begin{array}{c}\left|{\Pi }_1\right|\le 2{\displaystyle {\int }_{\Omega }\left|f\left(u_1\right)-f\left(u_2\right)\right|\left|A^{-\theta }{\partial }_t\tilde{u}\right|\text{d}x}\\ \le 2C_1{\displaystyle {\int }_{\Omega }\left(1+{\left|u_1\right|}^{p-1}+{\left|u_2\right|}^{p-1}\right)\left|\tilde{u}\right|\left|A^{-\theta }{\partial }_t\tilde{u}\right|\text{d}x}\\ \le 2C_1{\left({\displaystyle {\int }_{\Omega }{\left(1+{\left|u_1\right|}^{p-1}+{\left|u_2\right|}^{p-1}\right)}^{\frac{p+1}{p-1}}\text{d}x}\right)}^{\frac{p-1}{p+1}}{\left({\displaystyle {\int }_{\Omega }{\left|\tilde{u}\right|}^{p+1}\text{d}x}\right)}^{\frac{1}{p+1}}{\left({\displaystyle {\int }_{\Omega }{\left|A^{-\theta }{\partial }_t\tilde{u}\right|}^{p+1}\text{d}x}\right)}^{\frac{1}{p+1}}\\ \le C_1\left(1+{\Vert u_1\Vert }_{L^{p+1}\left(\Omega \right)}^{p-1}+{\Vert u_2\Vert }_{L^{p+1}\left(\Omega \right)}^{p-1}\right)\left({\Vert \tilde{u}\Vert }_{L^{p+1}\left(\Omega \right)}^2+{\Vert A^{-\theta }{\partial }_t\tilde{u}\Vert }_{L^{p+1}\left(\Omega \right)}^2\right)\\ \le C\left(R,{\beta }_0,\parallel g\parallel ,{\lambda }_1,C_1,C_2\right)\left({\Vert \tilde{u}\Vert }_{1-\alpha }^2+{\Vert {\partial }_t\tilde{u}\Vert }_{1-2\theta -\alpha }^2\right)\\ \le 2\gamma \left({\Vert \tilde{u}\Vert }_1^2+{\Vert {\partial }_t\tilde{u}\Vert }^2\right)+C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_1,C_2,\gamma \right)\left({\Vert \tilde{u}\Vert }_{1-\theta }^2+{\Vert {\partial }_t\tilde{u}\Vert }_{-\theta }^2\right),\end{array}$

$\begin{array}{c}\left|{\Pi }_2\right|\le 2\delta {\displaystyle {\int }_{\Omega }\left|f\left(u_1\right)-f\left(u_2\right)\right|\left|A^{-\theta }\tilde{u}\right|\text{d}x}\\ \le 2C_1\delta {\displaystyle {\int }_{\Omega }\left(1+{\left|u_1\right|}^{p-1}+{\left|u_2\right|}^{p-1}\right)\left|\tilde{u}\right|\left|A^{-\theta }\tilde{u}\right|\text{d}x}\\ \le 2C_1\delta {\left({\displaystyle {\int }_{\Omega }{\left(1+{\left|u_1\right|}^{p-1}+{\left|u_2\right|}^{p-1}\right)}^{\frac{p+1}{p-1}}\text{d}x}\right)}^{\frac{p-1}{p+1}}{\left({\displaystyle {\int }_{\Omega }{\left|\tilde{u}\right|}^{p+1}\text{d}x}\right)}^{\frac{1}{p+1}}{\left({\displaystyle {\int }_{\Omega }{\left|A^{-\theta }\tilde{u}\right|}^{p+1}\text{d}x}\right)}^{\frac{1}{p+1}}\\ \le C_1\delta \left(1+{\Vert u_1\Vert }_{L^{p+1}\left(\Omega \right)}^{p-1}+{\Vert u_2\Vert }_{L^{p+1}\left(\Omega \right)}^{p-1}\right)\left({\Vert \tilde{u}\Vert }_{L^p+1}^2+{\Vert A^{-\theta }\tilde{u}\Vert }_{L^p+1}^2\right)\\ \le C\delta \left(1+{\Vert u_1\Vert }_{L^{p+1}\left(\Omega \right)}^{p-1}+{\Vert u_2\Vert }_{L^{p+1}\left(\Omega \right)}^{p-1}\right)\left({\Vert \tilde{u}\Vert }_{1-\alpha }^2+{\Vert A^{-\theta }\tilde{u}\Vert }_{1-\alpha -2\theta }^2\right)\\ \le \gamma \left({\Vert \tilde{u}\Vert }_1^2+{\Vert \tilde{u}\Vert }^2\right)+C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_1,C_2,\delta ,\gamma \right){\Vert \tilde{u}\Vert }_{1-\theta }^2\\ \le \gamma \left(1+{\lambda }_1^{-1}\right){\Vert \tilde{u}\Vert }_1^2+C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_1,C_2,\delta ,\gamma \right){\Vert \tilde{u}\Vert }_{1-\theta }^2,\end{array}$

where we have used the Sobolev embedding $V_{1-\alpha }$ ↪$L^{p+1}\left(\Omega \right)$ for $0<\alpha \ll 1$ .

Substituting the above estimates into Equation (3.24), we get

$\begin{array}{l}\frac{\text{d}}{\text{d}t}K\left(\tilde{u},{\partial }_t\tilde{u},{\tilde{\eta }}^t\right)\\ \le C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2,\gamma \right)+C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_1,C_2,\delta ,\gamma ,k\right)K\left(\tilde{u},{\partial }_t\tilde{u},{\tilde{\eta }}^t\right),\end{array}$

where

$\tilde{C}=C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_1,C_2,\delta ,\gamma ,k\right)$

${\tilde{C}}_0=C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2,\gamma \right).$

Furthermore, we can derive Equation (3.5).

3) (Dissipativity) Let $K_1\left(u,{\partial }_{t}u,{\eta }^t\right)=E\left(u,{\partial }_{t}u,{\eta }^t\right)+2\delta \langle {\partial }_{t}u,u\rangle$ .

By virtue of the estimate

$2\left|\delta \langle u,{\partial }_{t}u\rangle \right|\le \frac{2{\delta }^2}{{\lambda }_1}{\Vert u\Vert }_1^2+\frac{1}{2}{\Vert {\partial }_{t}u\Vert }^2$

and estimate (3.1), there exist constants $m_4,m_5$ such that

$m_4{\Vert \left(u,{\partial }_{t}u,{\eta }^t\right)\Vert }_{{\mathscr{H}}_t^1}^2-C_3\le K_1\left(u,{\partial }_{t}u,{\eta }^t\right)\le m_5{\Vert \left(u,{\partial }_{t}u,{\eta }^t\right)\Vert }_{{\mathscr{H}}_t^1}^2+C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2\right),$ (3.26)

where $m_4=\text{min}\left\{\frac{1}{2},\frac{3{\beta }_0}{4}-\frac{2{\delta }^2}{{\lambda }_1}\right\}$ , $m_5=\text{max}\left\{\frac{1}{2},\frac{2{\delta }^2}{{\lambda }_1}\right\}$ , $C_3=\frac{4}{{\beta }_0{\lambda }_1}{\Vert g\Vert }^2+2C\left({\beta }_0\right)$ .

Multiplying Equation (2.4) by $2{\partial }_{t}u+2\delta u$ and integrating over $\Omega$ , we obtain

$\begin{array}{l}\frac{\text{d}}{\text{d}t}\left(K_1\left(u,{\partial }_{t}u,{\eta }^t\right)+C_3\right)+\delta \left(K_1\left(u,{\partial }_{t}u,{\eta }^t\right)+C_3\right)+2\delta \gamma \langle A^{\theta }{\partial }_{t}u,u\rangle \\ +2\delta \langle f\left(u\right),u\rangle +2\gamma {\Vert {\partial }_{t}u\Vert }_{\theta }^2-2{\delta }^2\langle u,{\partial }_{t}u\rangle -3\delta {\Vert {\partial }_{t}u\Vert }^2+\delta {\Vert u\Vert }_1^2\\ +2k{\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,1}^2+2\delta {\displaystyle {\int }_0^{\infty }\mu \left(s\right)\langle A{\eta }^t\left(s\right),u\rangle \text{d}s}\\ =\delta {\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,1}^2+2\delta \langle F\left(u\right),1\rangle +\delta C_3.\end{array}$ (3.27)

From estimates (3.1) and (3.8) - (3.9), it follows that

$\delta {\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,1}^2+2\delta \langle F\left(u\right),1\rangle +\delta C_3\le C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2,C_3,\delta \right).$

It is easy to see that

$\left|2\delta \gamma \langle A^{\theta }{\partial }_{t}u,u\rangle \right|\le \gamma {\Vert {\partial }_{t}u\Vert }_{\theta }^2+\frac{{\delta }^2\gamma }{{\lambda }_1^{1-\theta }}{\Vert u\Vert }_1^2,$

${\Vert {\partial }_{t}u\Vert }_{\theta }^2\ge {\lambda }_1^{\theta }{\Vert {\partial }_{t}u\Vert }^2,$

$\begin{array}{c}2\delta \langle f\left(u\right),u\rangle \ge 2\delta \left(-\left(1-3{\beta }_0\right)\right){\Vert u\Vert }_1^2-2\delta C_{{\beta }_0}\\ \ge 6\delta {\beta }_0{\Vert u\Vert }_1^2-2\delta C_{{\beta }_0}-2\delta {\Vert u\Vert }_1^2,\end{array}$

$\left|2\delta {\displaystyle {\int }_0^{\infty }\mu \left(s\right)\langle A{\eta }^t\left(s\right),u\rangle \text{d}s}\right|\le \frac{\delta }{4}{\Vert u\Vert }_1^2+4\delta {\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,1}^2.$

Substituting the above estimates into Equation (3.27), we get

$\begin{array}{l}\frac{\text{d}}{\text{d}t}\left(K_1\left(u,{\partial }_{t}u,{\eta }^t\right)+C_3\right)+\delta \left(K_1\left(u,{\partial }_{t}u,{\eta }^t\right)+C_3\right)+\Upsilon \left(u,{\partial }_{t}u,{\eta }^t\right)\\ \le C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2,C_3,\delta \right),\end{array}$ (3.28)

where

$\begin{array}{c}\Upsilon \left(u,{\partial }_{t}u,{\eta }^t\right)=\left(6\delta {\beta }_0-\frac{2{\delta }^3}{{\lambda }_1}-\frac{{\delta }^2\gamma }{{\lambda }_1^{1-\theta }}\right){\Vert u\Vert }_1^2+\left(\gamma {\lambda }_1^{\theta }-\frac{7\delta }{2}\right){\Vert {\partial }_{t}u\Vert }^2\\ +\left(2k-4\delta \right){\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,1}^2\\ \ge 0.\end{array}$

Thus, the dissipativity of the solutions to the problems (2.4) - (2.7) can be achieved.

Theorem 3.3. Assume that Conditions (M₁) - (M₃) hold. If $z_1=\left(u_1,{\partial }_t{u}_1,{\eta }_1^t\right)$ and $z_2=\left(u_2,{\partial }_t{u}_2,{\eta }_2^t\right)$ are two solutions to the problems (2.4) - (2.7) corresponding to the initial values $z_1\left(\tau \right)$ and $z_2\left(\tau \right)$ respectively, then for any $\tau <T$ , we have

${\Vert z_1\left(t\right)-z_2\left(t\right)\Vert }_{{\mathscr{H}}_t^1}^2\le \frac{{\tilde{C}}_2}{{\tilde{C}}_1}{\text{e}}^{\frac{2{\tilde{C}}_3}{{\tilde{C}}_1}\sqrt{\tilde{C}}\left(t-\tau \right)}{\Vert z_1\left(\tau \right)-z_2\left(\tau \right)\Vert }_{{\mathscr{H}}_{\tau }^1}^2,\forall t\in \left[\tau ,T\right].$(3.29)

Proof. Let $\tilde{z}=z_1-z_2$ , then $\tilde{z}=\left(\tilde{u},{\partial }_t\tilde{u},{\tilde{\eta }}^t\right)$ satisfies

${\partial }_t^2\tilde{u}+A\tilde{u}+\gamma A^{\theta }{\partial }_t\tilde{u}+{\displaystyle {\int }_0^{\infty }\mu \left(s\right)A{\tilde{\eta }}^t\left(s\right)\text{d}s}+f_1-f_2=0,\left(x,t\right)\in \Omega \times \left[\tau ,\infty \right),$ (3.30)

$\tilde{u}\left(x,t\right)=0,x\in \partial \Omega ,t>\tau ,$(3.31)

${\tilde{\eta }}^{\tau }\left(x,s\right)=0,\left(x,s\right)\in \partial \Omega \times {ℝ}^{+},t>\tau ,$(3.32)

$\tilde{u}\left(x,t,\tau \right)={\tilde{u}}_{{\tau }_1}\left(x\right)-{\tilde{u}}_{{\tau }_2}\left(x\right),{\partial }_t\tilde{u}\left(x,t,\tau \right)={\partial }_t{\tilde{u}}_{{\tau }_1}\left(x\right)-{\partial }_t{\tilde{u}}_{{\tau }_2}\left(x\right),$

${\tilde{\eta }}^{\tau }\left(x,s\right)={\tilde{\eta }}_{{\tau }_1}\left(x,s\right)-{\tilde{\eta }}_{{\tau }_2}\left(x,s\right),x\in \Omega ,t\le \tau .$(3.33)

where $f_i=f\left(u_i\right)$ for $i=1,2$ .

Taking the inner product of Equation (3.57) with ${\partial }_t\tilde{u}$ , we obtain

$\frac{\text{d}}{\text{d}t}{K}_2\left(\tilde{u},{\partial }_t\tilde{u},{\tilde{\eta }}^t\right)+2\gamma {\Vert {\partial }_t\tilde{u}\Vert }_{\theta }^2+{\displaystyle {\int }_0^{\infty }\mu \left(s\right)\frac{\text{d}}{\text{d}s}{\Vert {\tilde{\eta }}^t\left(s\right)\Vert }_1^2\text{d}s}=-2\langle f\left(u_1\right)-f\left(u_2\right),{\partial }_t\tilde{u}\rangle .$(3.34)

where

$K_2\left(\tilde{u},{\partial }_t\tilde{u},{\tilde{\eta }}^t\right)={\Vert \tilde{u}\Vert }_1^2+{\Vert {\partial }_t\tilde{u}\Vert }^2+{\Vert {\tilde{\eta }}^t\Vert }_{\mu ,1}^2.$

Integrating Equation (3.34) over the interval $\left[\tau ,t\right]$ , we get

$\begin{array}{l}{K}_2\left(\tilde{u}\left(t\right),{\partial }_t\tilde{u}\left(t\right),{\tilde{\eta }}^t\left(s\right)\right)+2\gamma {\displaystyle {\int }_{\tau }^t{\Vert {\partial }_t\tilde{u}\left(r\right)\Vert }_{\theta }^2\text{d}r}+k{\displaystyle {\int }_{\tau }^t{\Vert {\tilde{\eta }}^r\left(s\right)\Vert }_{\mu ,1}^2\text{d}r}\\ \le K_2\left({\tilde{u}}_{\tau },{\partial }_t{\tilde{u}}_{\tau },{\tilde{\eta }}_{\tau }\left(s\right)\right)-{\displaystyle {\int }_{\tau }^{t}2}\langle f\left(u_1\right)-f\left(u_2\right),{\partial }_t\tilde{u}\rangle \text{d}r.\end{array}$(3.35)

For $2\le p\le p_{\theta }=3+2\theta$ , by integration by parts, we have

$\begin{array}{c}-2\langle f\left(u_1\right)-f\left(u_2\right),{\partial }_t\tilde{u}\rangle =-2{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right){\partial }_t\tilde{u}\text{d}x}\\ =-2{\displaystyle {\int }_{\Omega }{f}^{\prime }\left(u_1+c\left(u_2-u_1\right)\right)\tilde{u}{\partial }_t\tilde{u}\text{d}x}\\ =-\frac{\text{d}}{\text{d}t}{\displaystyle {\int }_{\Omega }{f}^{\prime }\left(u_1+c\left(u_2-u_1\right)\right){\tilde{u}}^2\text{d}x}\\ +{\displaystyle {\int }_{\Omega }{f^{\prime }}_t\left(u_1+c\left(u_2-u_1\right)\right){\tilde{u}}^2\text{d}x},\end{array}$

where $c\in \left[0,1\right]$ . Hence

$\begin{array}{l}-2{\displaystyle {\int }_{\tau }^t{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right){\partial }_t\tilde{u}\text{d}x\text{d}r}}\\ =-{{\displaystyle {\int }_{\Omega }{f}^{\prime }\left(u_1+c\left(u_2-u_1\right)\right){\tilde{u}}^2\text{d}x}|}_{\tau }^t+{\displaystyle {\int }_{\tau }^t{\displaystyle {\int }_{\Omega }{f^{\prime }}_t}}\left(u_1+c\left(u_2-u_1\right)\right){\tilde{u}}^2\text{d}x\text{d}r.\end{array}$(3.36)

By virtue of Hölder inequality, we obtain

$\begin{array}{l}-{\displaystyle {\int }_{\Omega }{f}^{\prime }}\left(u_1\left(t\right)+c\left(u_2\left(t\right)-u_1\left(t\right)\right)\right){\tilde{u}}^2\text{d}x\\ \le C_1{\displaystyle {\int }_{\Omega }\left(1+{\left|u_1\left(t\right)\right|}^{p-1}+{\left|u_2\left(t\right)\right|}^{p-1}\right){\left|\tilde{u}\left(t\right)\right|}^2\text{d}x}\\ \le C_1\left(1+{\Vert u_1\left(t\right)\Vert }_{L^{p+1}}^{p-1}+{\Vert u_2\left(t\right)\Vert }_{L^{p+1}}^{p-1}\right){\Vert \tilde{u}\left(t\right)\Vert }_{L^{p+1}}^2\\ \le C_2\left(1+{\Vert u_1\left(t\right)\Vert }_1^{p-1}+{\Vert u_2\left(t\right)\Vert }_1^{p-1}\right){\Vert \tilde{u}\left(t\right)\Vert }_{1-\alpha }^2\\ \le \delta {\Vert \tilde{u}\Vert }_1^2+C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2,\delta \right){\Vert \tilde{u}\left(t\right)\Vert }_{1-\theta }^2\\ \le \delta {\Vert \tilde{u}\Vert }_1^2+\frac{m_3}{m_2}C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2,\delta \right){\text{e}}^{\tilde{C}\left(t-\tau \right)}\left({\Vert {\tilde{u}}_{\tau }\Vert }_{1-\theta }^2+{\Vert {\partial }_t{\tilde{u}}_{\tau }\Vert }_{-\theta }^2+{\Vert {\tilde{\eta }}_{\tau }\left(s\right)\Vert }_{\mu ,1-\theta }^2\right),\end{array}$

where we have used the Sobolev embedding $V_{1-\alpha }$ ↪$L^{p+1}\left(\Omega \right)$ for $0<\alpha \ll 1$ and chosen $\delta$ as an arbitrarily small positive constant. Similarly, we have

${\displaystyle {\int }_{\Omega }{f}^{\prime }}\left(u_{{\tau }_1}+c\left(u_{{\tau }_2}-u_{{\tau }_1}\right)\right){\tilde{u}}_{\tau }^2\text{d}x\le C\left(R,C_2\right){\Vert {\tilde{u}}_{\tau }\Vert }_1^2.$

Again by Hölder inequality, we deduce that

$\begin{array}{l}{\displaystyle {\int }_{\tau }^t{\displaystyle {\int }_{\Omega }{f^{\prime }}_t}}\left(u_1+c\left(u_2-u_1\right)\right){\tilde{u}}^2\text{d}x\text{d}r\\ \le C_0{\displaystyle {\int }_{\tau }^t{\displaystyle {\int }_{\Omega }\left(1+\left|u_1{|}^{p-2}+\right|u_2{|}^{p-2}\right)\left(\left|{\partial }_t{u}_1\right|+\left|{\partial }_t{u}_2\right|\right){\left|\tilde{u}\right|}^2\text{d}x\text{d}r}}\\ \le C_0{\displaystyle {\int }_{\tau }^t\left(1+{\Vert u_1\Vert }_{L^6}^{p-2}+{\Vert u_2\Vert }_{L^6}^{p-2}\right)\left({\Vert {\partial }_t{u}_1\Vert }_{L^{\frac{6}{6-p}}}+{\Vert {\partial }_t{u}_2\Vert }_{L^{\frac{6}{6-p}}}\right){\Vert \tilde{u}\Vert }_{L^6}^2\text{d}r}\\ \le C_2{\displaystyle {\int }_{\tau }^t\left(1+{\Vert u_1\Vert }_1^{p-2}+{\Vert u_2\Vert }_1^{p-2}\right)\left({\Vert {\partial }_t{u}_1\Vert }_{L^{\frac{6}{3-2\theta }}}+{\Vert {\partial }_t{u}_2\Vert }_{L^{\frac{6}{3-2\theta }}}\right){\Vert \tilde{u}\Vert }_1^2\text{d}r}\\ \le C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_1,C_2\right){\displaystyle {\int }_{\tau }^t\left(\sqrt{{\Vert {\partial }_t{u}_1\Vert }_{\theta }^2}+\sqrt{{\Vert {\partial }_t{u}_2\Vert }_{\theta }^2}\right){\Vert \tilde{u}\left(r\right)\Vert }_1^2\text{d}r},\end{array}$

where $\frac{p-2}{6}+\frac{6-p}{6}+\frac{1}{3}=1$ and $\frac{6}{6-p}\le \frac{6}{3-2\theta }$ for $p\le 3+2\theta$ .

Substituting the above estimates into Equation (3.36), we get

$\begin{array}{l}{K}_2\left(\tilde{u}\left(t\right),{\partial }_t\tilde{u}\left(t\right),{\tilde{\eta }}^t\left(s\right)\right)+2\gamma {\displaystyle {\int }_{\tau }^t{\Vert {\partial }_t\tilde{u}\left(r\right)\Vert }_{\theta }^2\text{d}r}\\ \le K_2\left({\tilde{u}}_{\tau },{\partial }_t{\tilde{u}}_{\tau },{\tilde{\eta }}_{\tau }\left(s\right)\right)+\delta {\Vert \tilde{u}\Vert }_1^2\\ +\frac{m_3}{m_2}C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2,\delta \right){\text{e}}^{\tilde{C}\left(t-\tau \right)}\left({\Vert {\tilde{u}}_{\tau }\Vert }_{1-\theta }^2+{\Vert {\partial }_t{\tilde{u}}_{\tau }\Vert }_{-\theta }^2+{\Vert {\tilde{\eta }}_{\tau }\left(s\right)\Vert }_{\mu ,1-\theta }^2\right)\\ +C\left(R,C_2\right){\Vert \tilde{u}\left(\tau \right)\Vert }_1^2+C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_1,C_2\right){\displaystyle {\int }_{\tau }^t\left(\sqrt{{\Vert {\partial }_t{u}_1\Vert }_{\theta }^2}+\sqrt{{\Vert {\partial }_t{u}_2\Vert }_{\theta }^2}\right){\Vert \tilde{u}\left(r\right)\Vert }_1^2\text{d}r},\end{array}$

which implies that

$\begin{array}{l}\left(m_4-\delta \right)\left({\Vert \tilde{u}\left(t\right)\Vert }_1^2+{\Vert {\partial }_t\tilde{u}\left(t\right)\Vert }^2+{\Vert {\tilde{\eta }}^t\left(s\right)\Vert }_{\mu ,1}^2\right)\\ \le \frac{m_3}{m_2}{\lambda }_1^{-\theta }C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2,\delta \right){\text{e}}^{\tilde{C}\left(t-\tau \right)}\left({\Vert {\tilde{u}}_{\tau }\Vert }_1^2+{\Vert {\partial }_t{\tilde{u}}_{\tau }\Vert }^2+{\Vert {\tilde{\eta }}_{\tau }\left(s\right)\Vert }_{\mu ,1}^2\right)\\ +C\left(R,C_2\right)\left({\Vert {\tilde{u}}_{\tau }\Vert }_1^2+{\Vert {\partial }_t{\tilde{u}}_{\tau }\Vert }^2+{\Vert {\tilde{\eta }}_{\tau }\left(s\right)\Vert }_{\mu ,1}^2\right)+m_5\left({\Vert {\tilde{u}}_{\tau }\Vert }_1^2+{\Vert {\partial }_t{\tilde{u}}_{\tau }\Vert }^2+{\Vert {\tilde{\eta }}_{\tau }\left(s\right)\Vert }_{\mu ,1}^2\right)\\ +C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_1,C_2\right),\end{array}$

$\begin{array}{l}{\displaystyle {\int }_{\tau }^t\left(\sqrt{{\Vert {\partial }_t{u}_1\left(r\right)\Vert }_{\theta }^2}+\sqrt{{\Vert {\partial }_t{u}_2\left(r\right)\Vert }_{\theta }^2}\right)\left({\Vert \tilde{u}\left(r\right)\Vert }_1^2+{\Vert {\partial }_t\tilde{u}\left(r\right)\Vert }^2+{\Vert {\tilde{\eta }}^r\left(s\right)\Vert }_{\mu ,1}^2\right)\text{d}r}\\ \le {\tilde{C}}_2\left({\Vert {\tilde{u}}_{\tau }\Vert }_1^2+{\Vert {\partial }_t{\tilde{u}}_{\tau }\Vert }^2+{\Vert {\tilde{\eta }}_{\tau }\left(s\right)\Vert }_{\mu ,1}^2\right)\\ +{\tilde{C}}_3{\displaystyle {\int }_{\tau }^t\left(\sqrt{{\Vert {\partial }_t{u}_1\left(r\right)\Vert }_{\theta }^2}+\sqrt{{\Vert {\partial }_t{u}_2\left(r\right)\Vert }_{\theta }^2}\right)\left({\Vert \tilde{u}\left(r\right)\Vert }_1^2+{\Vert {\partial }_t\tilde{u}\left(r\right)\Vert }^2+{\Vert {\tilde{\eta }}^r\left(s\right)\Vert }_{\mu ,1}^2\right)\text{d}r},\end{array}$ (3.37)

where

${\tilde{C}}_1=m_4-\delta ,$

${\tilde{C}}_2=C\left(R,C_2\right)+\frac{m_3}{m_2}{\lambda }_1^{-\theta }C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_2,\delta \right){\text{e}}^{\tilde{C}\left(t-\tau \right)}+m_5,$

${\tilde{C}}_3=C\left(R,{\beta }_0,\Vert g\Vert ,{\lambda }_1,C_1,C_2\right).$

By applying Gronwall lemma, we can prove inequality (3.29). Meanwhile, we also obtain the uniqueness of the solutions to the problems (2.4) - (2.7) in the space ${\mathscr{H}}_t^1$ .

Based on Theorem 3.2 and Theorem 3.3, we can define the process $U\left(t,\tau \right)$ for the problems (2.4) - (2.7) as follows:

$z\left(t\right)=U\left(t,\tau \right)z\left(\tau \right):{\mathscr{H}}_{\tau }^1\to {\mathscr{H}}_t^1,$

and this process is continuous from ${\mathscr{H}}_{\tau }^1$ to ${\mathscr{H}}_t^1$ .

4. The Existence of Time Dependent Attractor

4.1. Time-Dependent Absorbing Set in ${\mathscr{H}}_t^1$

Based on Theorem 3.2, we obtain the following result.

Theorem 4.1. Under the assumptions of Theorem 3.2, if for any initial value $z\left(\tau \right)\in {\mathbb{B}}_{\tau }\left(R\right)\subset {\mathscr{H}}_{\tau }^1$ , then there exists $R_0>0$ such that the process $U\left(t,\tau \right)$ corresponding to the problems (2.4) - (2.7) possesses a time-dependent absorbing set, namely the family of sets ${\mathfrak{B}}_t={\left\{{\mathbb{B}}_t\left(R_0\right)\right\}}_{t\in ℝ}$ .

4.2. A Priori Estimates

Next, we verify the compactness of the solution process $U\left(t,\tau \right)$ to the problems (2.4) - (2.7). To this end, we establish the following a priori estimates.

Let $z_i\left(t\right)=\left(u_i\left(t\right),{\partial }_t{u}_i\left(t\right),{\eta }_i^t\left(s\right)\right)\left(i=1,2\right)$ be solutions to the problems (2.4) - (2.7) corresponding to the initial values $\left(u_{{\tau }_i},{\partial }_t{u}_{{\tau }_i},{\eta }_{{\tau }_i}\right)\in {\left\{{\mathbb{B}}_{\tau }\left(R\right)\right\}}_{\tau \in ℝ}$ respectively. The difference between the two solutions $\tilde{z}\left(t\right)=z_1\left(t\right)-z_2\left(t\right)=\left(\omega \left(t\right),{\partial }_t\omega \left(t\right),{\zeta }^t\left(s\right)\right)$ satisfies the following equations:

${\partial }_t^2\omega +A\omega +\gamma A^{\theta }{\partial }_t\omega +{\displaystyle {\int }_0^{\infty }\mu \left(s\right)A{\zeta }^t\left(s\right)\text{d}s}+f_1-f_2=0,\left(x,t\right)\in \Omega \times \left[\tau ,\infty \right),$ (4.1)

$\omega \left(x,t\right)=0,x\in \partial \Omega ,t>\tau ,$ (4.2)

${\zeta }^{\tau }\left(x,s\right)=0,\left(x,s\right)\in \partial \Omega \times {ℝ}^{+},t>\tau ,$ (4.3)

$\omega \left(x,t,\tau \right)=u_{{\tau }_1}\left(x\right)-u_{{\tau }_2}\left(x\right),{\partial }_t\omega \left(x,t,\tau \right)={\partial }_t{u}_{{\tau }_1}\left(x\right)-{\partial }_t{u}_{{\tau }_2}\left(x\right),$

${\zeta }^{\tau }\left(x,s\right)={\eta }_{{\tau }_1}\left(x,s\right)-{\eta }_{{\tau }_2}\left(x,s\right),x\in \Omega ,t\le \tau .$ (4.4)

where $f_i=f\left(u_i\right)$ for $i=1,2$ .

Define

$H\left(t\right)={\Vert \omega \left(t\right)\Vert }_1^2+{\Vert {\partial }_t\omega \left(t\right)\Vert }^2+{\Vert {\zeta }^t\left(s\right)\Vert }_{\mu ,1}^2.$

We shall carry out the a priori estimates in the following four steps.

Step 1. Multiply Equation (4.1) by $2{\partial }_t\omega$ and integrate over $\left[s,t\right]\times \Omega$ , we obtain

$\begin{array}{l}H\left(t\right)-H\left(s\right)+2\gamma {\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }{\left|A^{\frac{\theta }{2}}{\partial }_t\omega \left(r\right)\right|}^2\text{d}x\text{d}r}}+{\displaystyle {\int }_s^t{\displaystyle {\int }_0^{\infty }\mu \left(s\right)\frac{\text{d}}{\text{d}s}{\Vert {\zeta }^r\left(s\right)\Vert }_1^2\text{d}s\text{d}r}}\\ =-2{\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right){\partial }_t\omega \left(r\right)\text{d}x\text{d}r}},\end{array}$ (4.5)

where $T\le s\le t$ .

From

${\displaystyle {\int }_0^{\infty }\mu \left(s\right)\frac{\text{d}}{\text{d}s}{\Vert {\eta }^t\left(s\right)\Vert }_1^2\text{d}s}\ge k{\Vert {\eta }^t\left(s\right)\Vert }_{\mu ,1}^2,$

${\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }{\left|A^{\frac{\theta }{2}}{\partial }_t\omega \left(r\right)\right|}^2\text{d}x\text{d}r}}\ge {\lambda }_1^{\theta }{\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }{\left|{\partial }_t\omega \left(r\right)\right|}^2\text{d}x\text{d}r}},$

there exists a constant $m_8$ such that

$\begin{array}{l}H\left(t\right)-H\left(s\right)+m_6\left({\displaystyle {\int }_s^t{\Vert {\partial }_t\omega \left(r\right)\Vert }^2\text{d}r}+{\displaystyle {\int }_s^t{\Vert {\zeta }^r\left(s\right)\Vert }_{\mu ,1}^2\text{d}r}\right)\\ \le -2{\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right){\partial }_t\omega \left(r\right)\text{d}x\text{d}r}},\end{array}$ (4.6)

where $m_6=\text{min}\left\{2\gamma {\lambda }_1^{\theta },k\right\}$ .

Then

$\begin{array}{l}{\displaystyle {\int }_s^t{\Vert {\partial }_t\omega \left(r\right)\Vert }^2\text{d}r}+{\displaystyle {\int }_s^t{\Vert {\zeta }^r\left(s\right)\Vert }_{\mu ,1}^2\text{d}r}\\ \le \frac{1}{m_6}H\left(T\right)-\frac{2}{m_6}{\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right){\partial }_t\omega \left(r\right)\text{d}x\text{d}r}}.\end{array}$ (4.7)

Step 2. Multiply Equation (4.1) by $\omega$ and integrate over $\left[T,t\right]\times \Omega$ , we get

$\begin{array}{l}{\displaystyle {\int }_{\Omega }{\partial }_t\omega \left(t\right)\omega \left(t\right)\text{d}x}-{\displaystyle {\int }_{\Omega }{\partial }_t\omega \left(T\right)\omega \left(T\right)\text{d}x}+\frac{\gamma }{2}{\Vert \omega \left(t\right)\Vert }_{\theta }^2-\frac{\gamma }{2}{\Vert \omega \left(T\right)\Vert }_{\theta }^2\\ +{\displaystyle {\int }_T^t{\Vert \omega \left(r\right)\Vert }_1^2\text{d}r}+{\displaystyle {\int }_T^t{\displaystyle {\int }_0^{\infty }\mu \left(s\right)\langle A{\zeta }^r,\omega \left(r\right)\rangle \text{d}s\text{d}r}}\\ +{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right)\omega \left(r\right)\text{d}x\text{d}r}}\\ ={\displaystyle {\int }_T^t{\Vert {\partial }_t\omega \left(r\right)\Vert }^2\text{d}r}.\end{array}$ (4.8)

By virtue of (4.4) and (4.5), we have

$\begin{array}{c}{\displaystyle {\int }_T^{t}H\left(r\right)\text{d}r}={\displaystyle {\int }_T^t\left({\Vert \omega \left(r\right)\Vert }_1^2+{\Vert {\partial }_t\omega \left(r\right)\Vert }^2+{\Vert {\zeta }^r\Vert }_{\mu ,1}^2\right)\text{d}r}\\ \le \frac{1}{m_6}H\left(T\right)-\frac{2}{m_6}{\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right){\partial }_t\omega \left(r\right)\text{d}x\text{d}r}}\\ +{\displaystyle {\int }_{\Omega }{\partial }_t\omega \left(T\right)\omega \left(T\right)\text{d}x}-{\displaystyle {\int }_{\Omega }{\partial }_t\omega \left(t\right)\omega \left(t\right)\text{d}x}\\ +\frac{\gamma }{2}{\Vert \omega \left(T\right)\Vert }_{\theta }^2+{\displaystyle {\int }_T^t{\Vert {\partial }_t\omega \left(r\right)\Vert }^2\text{d}r}-{\displaystyle {\int }_T^t{\langle {\zeta }^r,\omega \left(r\right)\rangle }_{\mu ,1}\text{d}r}\\ -{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right)\omega \left(r\right)\text{d}x\text{d}r}}.\end{array}$

Step 3. Integrate Equation (4.6) with respect to $s$ over $\left[T,t\right]$ , we obtain

$\begin{array}{c}H\left(t\right)\left(t-T\right)\le {\displaystyle {\int }_T^{t}H\left(s\right)\text{d}s}-2{\displaystyle {\int }_T^t{\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }}}}\left(f\left(u_1\right)-f\left(u_2\right)\right){\partial }_t\omega \left(r\right)\text{d}x\text{d}r\text{d}s\\ \le \frac{1}{m_6}H\left(T\right)+\frac{\gamma }{2}{\Vert \omega \left(T\right)\Vert }_{\theta }^2+{\displaystyle {\int }_{\Omega }{\partial }_t\omega \left(T\right)\omega \left(T\right)\text{d}x}\\ +{\displaystyle {\int }_T^t{\Vert {\partial }_t\omega \left(s\right)\Vert }^2\text{d}s}-{\displaystyle {\int }_{\Omega }{\partial }_t\omega \left(t\right)\omega \left(t\right)\text{d}x}-{\displaystyle {\int }_T^t{\langle {\zeta }^s,\omega \left(s\right)\rangle }_{\mu ,1}\text{d}s}\\ -2{\displaystyle {\int }_T^t{\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right){\partial }_t\omega \left(r\right)\text{d}x\text{d}r\text{d}s}}}\\ -\frac{2}{m_6}{\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right){\partial }_t\omega \left(s\right)\text{d}x\text{d}s}}\\ -{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right)\omega \left(s\right)\text{d}x\text{d}s}}.\end{array}$

Step 4. Denote

$C\left(M\right)=\frac{1}{m_6}H\left(T\right)+\frac{\gamma }{2}{\Vert \omega \left(T\right)\Vert }_{\theta }^2+{\displaystyle {\int }_{\Omega }{\partial }_t\omega \left(T\right)\omega \left(T\right)\text{d}x},$ (4.9)

and

${\Phi }_T^t\left(\left(u_1\left(T\right),{\partial }_t{u}_1\left(T\right),{\zeta }_1^T\left(s\right)\right),\left(u_2\left(T\right),{\partial }_t{u}_2\left(T\right),{\zeta }_2^T\left(s\right)\right)\right)={\Psi }_1+{\Psi }_2,$ (4.10)

where

${\Psi }_1=\frac{1}{t-T}\left({\displaystyle {\int }_T^t{\Vert {\partial }_t\omega \left(s\right)\Vert }^2\text{d}s}-{\displaystyle {\int }_{\Omega }{\partial }_t\omega \left(t\right)\omega \left(t\right)\text{d}x}-{\displaystyle {\int }_T^t{\langle {\zeta }^s,\omega \left(s\right)\rangle }_{\mu ,1}\text{d}s}\right),$

$\begin{array}{c}{\Psi }_2=-\frac{1}{t-T}(\frac{2}{m_6}{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right){\partial }_t\omega \left(s\right)\text{d}x\text{d}s}}\\ +{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right)\omega \left(s\right)\text{d}x\text{d}s}}\\ \stackrel{}{}+2{\displaystyle {\int }_T^t{\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }\left(f\left(u_1\right)-f\left(u_2\right)\right){\partial }_t\omega \left(r\right)\text{d}x\text{d}r\text{d}s}}}).\end{array}$

Thus

$H\left(t\right)\le \frac{1}{t-T}{C}_M+{\Phi }_T^t\left(\left(u_1\left(T\right),{\partial }_t{u}_1\left(T\right),{\eta }_1^T\left(s\right)\right),\left(u_2\left(T\right),{\partial }_t{u}_2\left(T\right),{\eta }_2^T\left(s\right)\right)\right).$ (4.11)

Next, we shall prove the asymptotic compactness of the solution process to the problems (2.4) - (2.7) by using the method of contraction functions.

4.3. Asymptotic Compactness

Theorem 4.2. If the assumptions (M₁) - (M₃) hold, for any fixed $t\in ℝ$ , any bounded sequence ${\left\{{\tau }_n\right\}}_{n=1}^{\infty }\subset \left(-\infty ,t\right]$ with ${\tau }_n\to -\infty$ as $n\to \infty$ , and any sequence ${\left\{x_n\right\}}_{n=1}^{\infty }\subset {\mathscr{H}}_{{\tau }_n}^{\alpha }$ , the sequence ${\left\{U\left(t,{\tau }_n\right)x_n\right\}}_{n=1}^{\infty }$ has a convergent subsequence.

Proof. For any $\epsilon >0$ and fixed $t$ , there exists $T<t$ such that $\frac{C_M}{t-T}<\epsilon$ . Thanks to Theorem 2.10, we also need to show that ${\Phi }_T^t\in ℭ\left({\mathbb{B}}_T\left(R\right)\right)$ , for every fixed $t$ .

Let $\left(u_n,{\partial }_t{u}_n,{\eta }_n^t\right)$ be the solutions to the problems (2.4) - (2.7) corresponding to the initial values $\left(u_{n_0},u_{n_1},{\eta }_n^0\right)\in {\mathbb{B}}_T\left(R\right)$ . From Theorem 3.2, we know that ${\Vert u_n\Vert }_1^2+{\Vert {\partial }_t{u}_n\Vert }^2+{\Vert {\eta }_n^t\Vert }_{\mu ,1}^2$ is bounded.

By virtue of Alaoglu theorem, Lemma 2.5 and Theorem 3.2, for any $\tau \le T\le t$ , without loss of generality, we assume that

$u_n\to u{\text{weakly}}^{\text{*}}\text{in}{L}^{\infty }\left(\left[T,t\right];V_1\right),$ (4.12)

${\partial }_t{u}_n\to {\partial }_{t}u\text{weakly}\text{in}{L}^2\left(\left[T,t\right];L^2\left(\Omega \right)\right),$ (4.13)

${\partial }_t^2{u}_n\to {\partial }_t^{2}u{\text{weakly}}^{\text{*}}\text{in}{L}^{\infty }\left(\left[T,t\right];V_{-2\theta }\right),$ (4.14)

${\eta }_n^t\to {\eta }^t{\text{weakly}}^{\text{*}}\text{in}{L}^{\infty }\left(\left[T,t\right];L_{\mu }^2\left({ℝ}^{+},V_1\right)\right),$ (4.15)

${\partial }_t{u}_n\to {\partial }_{t}u\text{weakly}\text{in}{L}^2\left(\left[T,t\right];V_{\theta }\right),$ (4.16)

$u_n\to u\text{in}{L}^{p+1}\left(\left[T,t\right];L^{p+1}\left(\Omega \right)\right),$ (4.17)

$u_n\to u\text{in}{L}^2\left(\left[T,t\right];V_1\right),$ (4.18)

$u_n\left(t\right)\to u\left(t\right)\text{and}{u}_n\left(T\right)\to u\left(T\right)\text{in}{L}^{p+1}\left(\Omega \right),$ (4.19)

${\partial }_t{u}_n\to {\partial }_{t}u\text{in}{L}^2\left(\left[T,t\right];L^2\left(\Omega \right)\right).$ (4.20)

where we have used the compact Sobolev embedding $V_1$ ↪↪$L^{p+1}\left(\Omega \right)$ for $p\le 3+2\theta$ .

From (3.29), we obtain that

$\left\{\left(u_n\left(s\right),{\partial }_t{u}_n\left(s\right),{\eta }_n^s\right)\right\}\subset C\left(\left[T,t\right];{\mathscr{H}}_s^1\right)\text{is}\text{a}\text{Cauchy}\text{sequence},$ (4.21)

and there exists $\left(u\left(s\right),{\partial }_{t}u\left(s\right),{\eta }^s\right)\in C\left(\left[T,t\right];{\mathscr{H}}_s^1\right)$ such that

$\left(u_n\left(s\right),{\partial }_t{u}_n\left(s\right),{\eta }_n^s\right)\text{converges}\text{to}\left(u\left(s\right),{\partial }_{t}u\left(s\right),{\eta }^s\right)\text{in}C\left(\left[T,t\right];{\mathscr{H}}_s^1\right).$ (4.22)

Next, we deal with each term in (4.11).

First of all, by (4.15) and (4.20), we have

$\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t{\Vert {\partial }_t{u}_n-{\partial }_t{u}_m\Vert }^2\text{d}s}=0,$ (4.23)

$\begin{array}{l}\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_{\Omega }\left({\partial }_t{u}_n-{\partial }_t{u}_m\right)\left(u_n-u_m\right)\text{d}x}\\ \le \underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}\left(\Vert {\partial }_t{u}_n-{\partial }_t{u}_m\Vert \Vert u_n-u_m\Vert \right)\\ \le \underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}\left(\left(\Vert {\partial }_t{u}_n\Vert +\Vert {\partial }_t{u}_m\Vert \right)\Vert u_n-u_m\Vert \right)=0,\end{array}$ (4.24)

$\begin{array}{l}\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t{\langle {\eta }_n^s-{\eta }_m^s,u_n-u_m\rangle }_{\mu ,1}\text{d}s}\\ =\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t{\displaystyle {\int }_0^{\infty }\mu \left(l\right){\langle {\eta }_n^s\left(l\right)-{\eta }_m^s\left(l\right),u_n-u_m\rangle }_1\text{d}l\text{d}s}}\\ \le \underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t{\displaystyle {\int }_0^{\infty }\mu \left(l\right){\Vert {\eta }_n^s\left(l\right)-{\eta }_m^s\left(l\right)\Vert }_1{\Vert u_n-u_m\Vert }_1\text{d}l\text{d}s}}\\ \le \underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t{\Vert u_n-u_m\Vert }_1}{\displaystyle {\int }_0^{\infty }\mu \left(l\right){\Vert {\eta }_n^s\left(l\right)-{\eta }_m^s\left(l\right)\Vert }_1\text{d}l\text{d}s}\\ \le \underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\left({\displaystyle {\int }_T^t{\Vert u_n-u_m\Vert }_1^2\text{d}s}\right)}^{\frac{1}{2}}{\left({\displaystyle {\int }_T^t\left({\displaystyle {\int }_0^{\infty }\mu \left(l\right)\text{d}l}\right)\left({\displaystyle {\int }_0^{\infty }\mu \left(l\right){\Vert {\eta }_n^s\left(l\right)-{\eta }_m^s\left(l\right)\Vert }_1^2\text{d}l}\right)\text{d}s}\right)}^{\frac{1}{2}}\\ \le \sqrt{k_0}{\left({\displaystyle {\int }_T^t{\Vert u_n-u_m\Vert }_1^2\text{d}s}\right)}^{\frac{1}{2}}{\left({\displaystyle {\int }_T^t{\Vert {\eta }_n^s\left(l\right)-{\eta }_m^s\left(l\right)\Vert }_{\mu ,1}^2\text{d}s}\right)}^{\frac{1}{2}}=0.\end{array}$ (4.25)

Combining (4.23) - (4.25), we get

$\underset{n\to \infty }{\lim }\underset{m\to \infty }{\lim }{\Psi }_1=0.$ (4.26)

Secondly, from (1.4) and (4.18), we obtain

$\begin{array}{l}\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }\left(f\left(u_n\right)-f\left(u_m\right)\right)\left(u_n-u_m\right)\text{d}x\text{d}s}}\\ \le C\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }\left(1+{\left|u_n\right|}^{p-1}+{\left|u_m\right|}^{p-1}\right){\left|u_n-u_m\right|}^2\text{d}x\text{d}s}}\\ \le C\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t\left(1+{\Vert u_n\Vert }_{L^{p+1}}^{p-1}+{\Vert u_m\Vert }_{L^{p+1}}^{p-1}\right)\cdot {\Vert u_n-u_m\Vert }_{L^{p+1}}^2\text{d}s}\\ \le C\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t\left(1+{\Vert u_n\Vert }_1^{p-1}+{\Vert u_m\Vert }_1^{p-1}\right)\cdot {\Vert u_n-u_m\Vert }_1^2\text{d}s}\\ \le C\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t{\Vert u_n-u_m\Vert }_1^2\text{d}s}=0.\end{array}$ (4.27)

It is easy to see that

$\begin{array}{l}{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }\left(f\left(u_n\right)-f\left(u_m\right)\right)\left({\partial }_t{u}_n-{\partial }_t{u}_m\right)\text{d}x\text{d}s}}\\ ={\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }f\left(u_n\right){\partial }_t{u}_n\text{d}x\text{d}s}}+{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }f\left(u_m\right){\partial }_t{u}_m\text{d}x\text{d}s}}\\ -{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }f\left(u_m\right){\partial }_t{u}_n\text{d}x\text{d}s}}-{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }f\left(u_n\right){\partial }_t{u}_m\text{d}x\text{d}s}}\\ ={\displaystyle {\int }_{\Omega }F\left(u_n\left(t\right)\right)\text{d}x}-{\displaystyle {\int }_{\Omega }F\left(u_n\left(T\right)\right)\text{d}x}+{\displaystyle {\int }_{\Omega }F\left(u_m\left(t\right)\right)\text{d}x}\\ -{\displaystyle {\int }_{\Omega }F\left(u_m\left(T\right)\right)\text{d}x}-{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }f\left(u_m\right){\partial }_t{u}_n\text{d}x\text{d}s}}-{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }f\left(u_n\right){\partial }_t{u}_m\text{d}x\text{d}s}}.\end{array}$ (4.28)

By (1.4) and the compact embedding $V_1$ ↪↪$L^{p+1}\left(\Omega \right)$ , we have

$\begin{array}{l}\left|{\displaystyle {\int }_{\Omega }\left(F\left(u_n\left(t\right)\right)-F\left(u\left(t\right)\right)\right)\text{d}x}\right|\\ \le {\displaystyle {\int }_{\Omega }\left|f\left(u\left(t\right)+\vartheta \left(u_n\left(t\right)-u\left(t\right)\right)\right)\right|\left|u_n\left(t\right)-u\left(t\right)\right|\text{d}x}\\ \le C{\displaystyle {\int }_{\Omega }\left(1+{\left|u_n\left(t\right)\right|}^p+{\left|u\left(t\right)\right|}^p\right)\left|u_n\left(t\right)-u\left(t\right)\right|\text{d}x}\\ \le C\left(1+{\Vert u_n\left(t\right)\Vert }_{L^{p+1}}^p+{\Vert u\left(t\right)\Vert }_{L^{p+1}}^p\right){\Vert u_n\left(t\right)-u\left(t\right)\Vert }_{L^{p+1}}\\ \le C\epsilon .\end{array}$ (4.29)

Because $f\left(u_n\right)\in L^2\left(\left[\tau ,T\right];V_{-\gamma }\right)$ and ${\partial }_t{u}_m\in L^2\left(\left[\tau ,T\right];V_{\gamma }\right)$ as $n\to \infty$ , $m\to \infty$ , we have

$\begin{array}{l}\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t\langle f\left(u_n\right),{\partial }_t{u}_m\rangle \text{d}s}\\ =\underset{n\to \infty }{\text{lim}}{\displaystyle {\int }_T^t\langle f\left(u_n\right),{\partial }_{t}u\rangle \text{d}s}\\ ={\displaystyle {\int }_T^t\langle f\left(u\right),{\partial }_{t}u\rangle \text{d}s}\\ ={\displaystyle {\int }_{\Omega }F\left(u\left(t\right)\right)\text{d}x}-{\displaystyle {\int }_{\Omega }F\left(u\left(T\right)\right)\text{d}x}.\end{array}$

Similarly, we have

$\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t\langle f\left(u_m\right),{\partial }_t{u}_n\rangle \text{d}s}={\displaystyle {\int }_{\Omega }F\left(u\left(t\right)\right)\text{d}x}-{\displaystyle {\int }_{\Omega }F\left(u\left(T\right)\right)\text{d}x}.$

Therefore,

$\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t{\displaystyle {\int }_{\Omega }\left(f\left(u_n\right)-f\left(u_m\right)\right)\left({\partial }_t{u}_n-{\partial }_t{u}_m\right)\text{d}x\text{d}s}}=0.$ (4.30)

For each fixed $t$ , the term $\left|{\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }\left(f\left(u_n\right)-f\left(u_m\right)\right)\left({\partial }_t{u}_n-{\partial }_t{u}_m\right)\text{d}x\text{d}r}}\right|$ is bounded. Then, thanks to Lebesgue Dominated Convergence Theorem, we get

$\begin{array}{l}\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_T^t{\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }\left(f\left(u_n\right)-f\left(u_m\right)\right)\left({\partial }_t{u}_n-{\partial }_t{u}_m\right)\text{d}x\text{d}r\text{d}s}}}\\ ={\displaystyle {\int }_T^t\underset{n\to \infty }{\text{lim}}\underset{m\to \infty }{\text{lim}}{\displaystyle {\int }_s^t{\displaystyle {\int }_{\Omega }\left(f\left(u_n\right)-f\left(u_m\right)\right)\left({\partial }_t{u}_n-{\partial }_t{u}_m\right)\text{d}x\text{d}r\text{d}s}}}\\ ={\displaystyle {\int }_T^{t}0\text{d}s}=0.\end{array}$ (4.31)

Hence, from (4.28) - (4.31), we obtain

$\underset{n\to \infty }{\lim }\underset{m\to \infty }{\lim }{\Psi }_2=0.$ (4.32)

In conclusion, we have ${\Phi }_T^t\left(\left(u_1\left(T\right),{\partial }_t{u}_1\left(T\right)\right),\left(u_2\left(T\right),{\partial }_t{u}_2\left(T\right)\right)\right)\in ℭ\left({\mathbb{B}}_T\left(R\right)\right)$ .

4.4. The Time-Dependent Attractors

Theorem 4.3. If the assumptions of Theorem 4.2 hold, then the dynamical system $\left(U\left(t,\tau \right),{\mathscr{H}}_t^1\right)$ corresponding to the problems (2.4) - (2.7) possesses an invariant time-dependent attractor ${\mathfrak{A}}^{\mathfrak{A}}={\left\{A_t\right\}}_{t\in ℝ}$ .

Proof. According to Theorems 3.2, Theorems 3.3, Theorems 4.1 and Theorems 4.2, we obtain that the conclusion of Theorem 4.3 is valid.

5. Conclusion

This paper focuses on the wave equation with fading memory terms and structural damping. When the nonlinear term satisfies the critical exponential growth condition $2\le p\le 3+2\theta$ ($\frac{1}{2}<\theta <1$ ), we systematically analyze the dynamical behavior of the equation solutions by employing the Faedo-Galerkin approximation method, energy estimation techniques and the contraction function method. We not only rigorously prove the well-posedness, Lipschitz continuity and asymptotic compactness of the solutions to the equation, but also successfully establish the existence of time-dependent attractor in the natural energy space $H_0^1\left(\Omega \right)\times L^2\left(\Omega \right)\times L_{\mu }^2\left({ℝ}^{+};H_0^1\left(\Omega \right)\right)$ .

Funding

National Natural Science Foundation of China (Grant Nos.12561041; 11761062).