A Family of the Global Attractor for Higher Order Nonlinear Kirchhoff Equation

Guoguang Lin^*, Yingguo Wang

Department of Mathematics, Yunnan University, Kunming, China.

DOI: 10.4236/ojapps.2021.116055                

Abstract

In this paper,we study the wellness and long time dynamic behavior of the solution of the initial boundary value problem for a class of higher order Kirchhoff equations with strong damping terms. We will properly assume the stress term M(s) and nonlinear term g(u_t). First, we can prove the existence and uniqueness of the solution of the equation via a prior estimate and Galerkin’s method, then the existence of the family of global attractor is obtained. At last, we can obtain that the Hausdorff dimension and Fractal dimension of the family of global attractor are finite.

Keywords

Kirchhoff-Type Equations, Prior Estimation, Galerkin’s Method, The Family of Global Attractor, Hausdorff Dimension, Fractal Dimension

1. Introduction

This paper intends to study the initial-boundary value problem of higher-order Kirchhoff-type equation

$u_{tt}+M\left({\Vert D^{m}u\Vert }_p^p\right){\left(-\Delta \right)}^{2m}u+\beta {\left(-\Delta \right)}^{2m}{u}_t+g\left(u_t\right)=f\left(x\right),$ (1.1)

$u\left(x,t\right)=0,\frac{{\partial }^{i}u}{\partial v^i}=0,i=1,2,\cdots ,2m-1,x\in \partial \Omega ,t>0,$ (1.2)

$u\left(x,0\right)=u_0\left(x\right),u_t\left(x,0\right)=u_t\left(x\right),x\in \Omega \subset R^n.$ (1.3)

where $m>1$, and $m\in N^{+}$, $\Omega \in R^n\left(n\ge 1\right)$ is a bounded domain, $\partial \Omega$ denotes the boundary of $\Omega$, $g\left(u_t\right)$ is a nonlinear source term, $\beta {\left(-\Delta \right)}^{2m}{u}_t$ is a strongly dissipative term, $\beta >0$, $f\left(x\right)$ is an external force term.

Kirchhoff-type equation model is one of the hot topics in mathematical physics equation research in recent years, which shows the importance of its position and influence. There have been many achievements in the study of the long-term behavior of the solution of Kirchhoff-type equation, for details, refer to references ( [1] [2] [3] [4] [5] ). Cheng Jianling and Yang Zhijian studied the asymptotic behavior of the solution of Kirchhoff-type equation in reference [6]:

$u_{tt}-M\left({{\displaystyle \Vert \Delta u\Vert }}^2\right)\Delta u-\Delta u_t+h\left(u_t\right)+g\left(u\right)=f\left(x\right),\left(x,t\right)\in \Omega \times R^{+},$

$u\left(x,t\right)=0,\frac{{\partial }^{i}u}{\partial v^i}=0,i=1,2,\cdots ,m-1,x\in \partial \Omega ,t>0,$

$u\left(x,0\right)=u_0,u_t=u_1\left(x\right),x\in \Omega .$

The existence of the global attractor of the corresponding operator semigroup $S\left(t\right)$ in phase space is proved.

Recently, Lin Guoguang et al. studied the existence of global attractors for higher order Kirchhoff type equations with nonlinear strong damping terms in reference [7]:

$u_{tt}+{\left(-\Delta \right)}^m{u}_t+\varphi \left({{\displaystyle \Vert {\nabla }^{m}u\Vert }}^2\right){\left(-\Delta \right)}^{m}u+h\left(u_t\right)=f\left(x\right),$

$u\left(x,t\right)=0,\frac{{\partial }^{i}u}{\partial v^i}=0,i=1,2,\cdots ,m-1,x\in \partial \Omega ,t>0,$

$u\left(x,0\right)=u_0,u_t=u_1\left(x\right),x\in \Omega .$

They proved the existence and uniqueness of the solution of the equation by using prior estimation and Galerkin’s method, and then obtained that the attractor exists in space $H^{2m}\left(\Omega \right)\times H^m\left(\Omega \right)$.

Guoguang Lin and Changqing Zhu studied asymptotic state of solutions for a class of nonlinear higher order Kirchhoff type equations in reference [8]:

$u_{tt}+M\left({{\displaystyle \Vert D^{m}u\Vert }}^2\right){\left(-\Delta \right)}^{m}u+\beta {\left(-\Delta \right)}^m{u}_t+g\left(x,u_t\right)=f\left(x\right),$

$u\left(x,t\right)=0,\frac{{\partial }^{i}u}{\partial v^i}=0,i=1,2,\cdots ,m-1,x\in \partial \Omega ,t>0,$

$u\left(x,0\right)=u_0,u_t=u_1\left(x\right),x\in \Omega .$

For more results, please refer to references ( [9] - [15] ).

2. Basic Assumptions

For convenience, space and notations are defined as follows:

$H=L^2\left(\Omega \right)$, $D=\nabla$, $H_0^m\left(\Omega \right)=H^m\left(\Omega \right)\cap H_0^1\left(\Omega \right)$, $H_0^{2m+k}\left(\Omega \right)=H^{2m+k}\left(\Omega \right)\cap H_0^1\left(\Omega \right)$, $E_0=H^{2m}\left(\Omega \right)\times L^2\left(\Omega \right)$,

$E_k=H_0^{2m+k}\left(\Omega \right)\times H_0^k\left(\Omega \right)$. Remember that $A_k$ is a family of global attractors from $E_0$ to $E_k$, $B_{0k}$ is a bounded absorption set in $E_k$. In which $k=1,2,\cdots ,2m$, $C_i\left(i=0,1,2,\cdots \right)$ is a constant; $\left(\cdot \mathrm{,}\cdot \right)$, $\Vert \cdot \Vert$ represent the inner

product and norm on space H, namely $\left(u,v\right)={\displaystyle \underset{\Omega }{\int }}u\left(x\right)v\left(x\right)\text{d}x$, $\left(u,u\right)={{\displaystyle \Vert u\Vert }}^2$.

Kirchhoff type stress term $M\left(s\right)$ satisfies the following conditions:

(H₁) $M\left(s\right)\in C^2\left(\left[\mathrm{0,}+\infty \right)\mathrm{,}R\right)$ ;

(H₂) $\epsilon +1={\mu }_0\le M\left(s\right)\le {\mu }_1,$

where ${\mu }_0,{\mu }_1$ are constant, $0<\epsilon <\min \left\{\frac{2{\mu }_0{\lambda }_1^m}{1+\beta {\lambda }_1^m},\frac{\sqrt{4+2\beta {\lambda }_1^m-2}}{2},\frac{2}{\beta -1+{\lambda }_1^{-m}}\right\}$.

The nonlinear term $g\left(u_t\right)$ satisfies the following conditions:

(H₃) $\left(g\left(s\right),s\right)\ge 0,\forall s\in H^{2m}\left(\Omega \right);\Vert g\left(s\right)\Vert \le {\left(g\left(s\right),s\right)}^{\partial },\partial \in \left(0,1\right),\partial +{\partial }^{\prime }=1$ ;

(H₄) There is $\sigma \in \left(\mathrm{0,1}\right)$, $\Vert g\left(s\right)\Vert \le C_4\left(R\right){\left(1+\epsilon \Vert {\left(-\Delta \right)}^{k}s\Vert \right)}^{1-\sigma }$,

$\forall s\in H^{4m}\left(\Omega \right)\cap H_0^{2m}\left(\Omega \right)$ ;

(H₅) ${\Vert g^{\prime }\left(s\right)\Vert }_{\infty }\le C_3$.

3. The Existence of the Family of Global Attractor

Lemma 3.1. set $M\left(s\right)$ satisfy assumption (H₁), $\left(u_0\mathrm{,}{u}_1\right)\in E_0=H^{2m}\left(\Omega \right)\times L^2\left(\Omega \right)$, $f\left(x\right)\in L^2\left(\Omega \right)$, and $u\in L^{\infty }\left(\mathrm{0,}+\infty \mathrm{<mo>\; ;\; </mo>}{H}^{2m}\left(\Omega \right)\right)$, $v\in L^{\infty }\left(\mathrm{0,}+\infty \mathrm{<mo>\; ;\; </mo>}{L}^2\left(\Omega \right)\right)\cap L^2\left(\mathrm{0,}T\mathrm{<mo>\; ;\; </mo>}{H}^{2m}\left(\Omega \right)\right)$, then the smooth solution of problems (1)-(3) $u\left(x\mathrm{,}t\right)$ and $v\left(t\right)=u_t\left(x,t\right)+\epsilon u\left(x,t\right)$ satisfy

${\Vert \left(u,v\right)\Vert }_{E_0}^2={\Vert D^{2m}u\Vert }^2+{\Vert v\Vert }^2\le w\left(0\right){\text{e}}^{-bt}+\frac{C_1}{b}\left(1-{\text{e}}^{-bt}\right).$

where $v=u_t+\epsilon u$, $w\left(0\right)={\Vert v_0\Vert }^2+{\epsilon }^2{\Vert u_0\Vert }^2+u{\Vert {{\displaystyle \nabla }}^{2m}{u}_0\Vert }^2$, where constants $t_0$ and $R_0$, so that

${\Vert \left(u,v\right)\Vert }_{E_0}^2\le \frac{2C_1}{b}=R_0\left(t>t_0\right).$

Proof. It is proved that the inner product of $v=u_t+\epsilon u$ and Equation (1.1) can be obtained

$\left(u_{tt}+M\left({\Vert D^{m}u\Vert }_p^p\right){\left(-\Delta \right)}^{2m}u+\beta {\left(-\Delta \right)}^{2m}{u}_t+g\left(u_t\right),v\right)=\left(f\left(x\right),v\right).$ (3.1)

$\left(u_{tt},v\right)=\frac{1}{2}\frac{\text{d}}{\text{d}t}{\Vert v\Vert }^2+\frac{{\epsilon }^2}{2}\frac{\text{d}}{\text{d}t}{\Vert u\Vert }^2-\epsilon {\Vert v\Vert }^2+{\epsilon }^3{\Vert u\Vert }^2.$ (3.2)

$\begin{array}{c}\left(M\left({\Vert {\nabla }^{m}u\Vert }_p^p\right){\left(-\Delta \right)}^{2m}u,v\right)=\left(M\left({\Vert {\nabla }^{m}u\Vert }_p^p\right){\nabla }^{2m}u,{\nabla }^{2m}\left(u_t+\epsilon u\right)\right)\\ =\frac{M\left({\Vert {\nabla }^{m}u\Vert }_p^p\right)}{2}\frac{\text{d}}{\text{d}t}{\Vert {\nabla }^{2m}u\Vert }^2+\epsilon M\left({\Vert {\nabla }^{m}u\Vert }_p^p\right){\Vert {\nabla }^{2m}u\Vert }^2\\ \ge \frac{\mu }{2}\frac{\text{d}}{\text{d}t}{\Vert {\nabla }^{2m}u\Vert }^2+\epsilon {\mu }_0{\Vert {\nabla }^{2m}u\Vert }^2.\end{array}$ (3.3)

By using the Poincare’s inequality, we obtain

$\begin{array}{c}\left(\beta {\left(-\Delta \right)}^{2m}{u}_t,v\right)=\beta {\Vert {\nabla }^{2m}v\Vert }^2-\left(\beta \epsilon {\left(-\Delta \right)}^{2m}u,v\right)\\ \ge \frac{\beta }{2}{\Vert {\nabla }^{2m}v\Vert }^2-\frac{\beta {\epsilon }^2}{2}{\Vert {\nabla }^{2m}u\Vert }^2\ge \frac{\beta {\lambda }_1^{2m}}{2}{\Vert v\Vert }^2-\frac{\beta {\epsilon }^2}{2}{\Vert {\nabla }^{2m}u\Vert }^2\\ \ge \frac{\beta }{4}{\Vert D^{2m}v\Vert }^2+\frac{\beta {\lambda }_1^{2m}}{4}{\Vert v\Vert }^2-\frac{\beta {\epsilon }^2}{2}{\Vert D^{2m}u\Vert }^2.\end{array}$ (3.4)

By using the hypothesis (H₃) and Young’s inequality, we obtain the following estimation

$\begin{array}{c}\left(g\left(u_t\right),v\right)=\left(g\left(u_t\right),u_t+\epsilon u\right)=\left(g\left(u_t\right),u_t\right)+\left(g\left(u_t\right),\epsilon u\right)\\ \ge \left(g\left(u_t\right),u_t\right)-\epsilon {\Vert g\left(u_t\right)\Vert }_{-2m}\Vert D^{2m}u\Vert \\ \ge \left(g\left(u_t\right),u_t\right)-\epsilon {\left(g\left(u_t\right),u_t\right)}^{\partial }\Vert D^{2m}u\Vert \\ \ge \left(1-\partial \right)\left(g\left(u_t\right),u_t\right)-{\partial }^{\prime }{\epsilon }^{\frac{1}{{\partial }^{\prime }}}{\Vert D^{2m}u\Vert }^{\frac{1}{{\partial }^{\prime }}}\\ \ge \left(1-\partial \right)\left(g\left(u_t\right),u_t\right)-\frac{{\epsilon }^{\frac{1}{{\partial }^{\prime }}}}{2}{\Vert D^{2m}u\Vert }^2-\frac{{\partial }^{\prime }{\epsilon }^{\frac{1}{{\partial }^{\prime }}}}{2{\partial }^{\prime }-1}.\end{array}$ (3.5)

$\left(f\left(x\right),v\right)\le \Vert f\Vert \Vert v\Vert \le \frac{{\epsilon }^2}{2}{\Vert v\Vert }^2+\frac{1}{2{\epsilon }^2}{\Vert f\Vert }^2.$ (3.6)

Substitute Inequality (3.2)-(3.6) into Equation (3.1), therefore,

$\begin{array}{l}\frac{\text{d}}{\text{d}t}\left({\Vert v\Vert }^2+{\epsilon }^2{\Vert u\Vert }^2+\mu {\Vert {\nabla }^{2m}u\Vert }^2\right)+\left(\frac{\beta {\lambda }_1^{2m}}{2}-{\epsilon }^2-2\epsilon \right){\Vert v\Vert }^2+2{\epsilon }^3{\Vert u\Vert }^2\\ +\left(2\epsilon {\mu }_0-\beta {\epsilon }^2-{\epsilon }^{\frac{1}{{\partial }^{\prime }}}\right){\Vert {\nabla }^{2m}u\Vert }^2+\frac{\beta }{2}{\Vert D^{2m}v\Vert }^2\le \frac{{\Vert f\Vert }^2}{{\epsilon }^2}+\frac{2{\partial }^{\prime }{\epsilon }^{\frac{1}{{\partial }^{\prime }}}}{2{\partial }^{\prime }-1}\mathrm{.}\end{array}$ (3.7)

let $b_1=\frac{\beta {\lambda }_1^{2m}}{2}-{\epsilon }^2-2\epsilon$, $b_2=2\epsilon {\mu }_0-\beta {\epsilon }^2-{\epsilon }^{\frac{1}{{\partial }^{\prime }}}$, and let $b=\min \left\{b_1\mathrm{,}\frac{b_2}{\epsilon }\mathrm{,}{\epsilon }^2\right\}$, $C_1=\frac{{\Vert f\Vert }^2}{{\epsilon }^2}+\frac{2{\partial }^{\prime }{\epsilon }^{\frac{1}{{\partial }^{\prime }}}}{2{\partial }^{\prime }-1}$, then

$\frac{\text{d}}{\text{d}t}w\left(t\right)+bw\left(t\right)+\frac{\beta }{2}{\Vert D^{2m}v\Vert }^2\le {{\displaystyle C}}_1\mathrm{,}$ (3.8)

where

$w\left(t\right)={\Vert v\Vert }^2+{\epsilon }^2{\Vert u\Vert }^2+\mu {\Vert {\nabla }^{2m}u\Vert }^2.$ (3.9)

By using the Gronwall’s inequality, we get

$w\left(t\right)\le w\left(0\right){\text{e}}^{-bt}+\frac{C_1}{b}\left(1-{\text{e}}^{-bt}\right)\mathrm{.}$ (3.10)

where

$w\left(0\right)={\Vert v_0\Vert }^2+{\epsilon }^2{\Vert u_0\Vert }^2+\mu {\Vert {\nabla }^{2m}{u}_0\Vert }^2.$ (3.11)

Then

${\Vert \left(u,v\right)\Vert }_{H^{2m}\times L^2}^2={\Vert D^{2m}u\Vert }^2+{\Vert v\Vert }^2\le w\left(0\right){\text{e}}^{-bt}+\frac{C_1}{b}\left(1-{\text{e}}^{-bt}\right),$ (3.12)

and

$\frac{\beta }{2}{\displaystyle {\int }_0^T}{\Vert {\Delta }^{m}v\Vert }^2\text{d}t\le C_{1}T\mathrm{.}$ (3.13)

There are constants $t_0\left(\Omega \right)$ and $R_0$, we, get

${\Vert \left(u,v\right)\Vert }_{E_0}^2\le \frac{2C_1}{b}=R_0\left(t>t_0\right).$ (3.14)

Lemma 3.1 is proved.

Lemma 3.2. If lemma 3.1 holds, and the condition is (H₄), set $\left(u_0\mathrm{,}{v}_0\right)\in H^{2m+k}\left(\Omega \right)\times H^k\left(\Omega \right)$, $k=1,2,\cdots ,m$. $f\in H^k\left(\Omega \right)$, then the smooth solution of Problems (1.1)-(1.3) $u\left(x\mathrm{,}t\right)$ and $v\left(t\right)=u_t\left(x,t\right)+\epsilon u\left(x,t\right)$ satisfy

${\Vert \left(u,v\right)\Vert }_{H^{2m+k}\times H^k}^2={\Vert D^{2m+k}u\left(t\right)\Vert }^2+{\Vert D^{k}v\left(t\right)\Vert }^2\le M\left(0\right){\text{e}}^{-\alpha t}+\frac{C_2}{\alpha }\left(1-{\text{e}}^{-\alpha t}\right),$

where constants $t_1\left(\Omega \right)$ and $R_1$, then

${\Vert \left(u,v\right)\Vert }_{H^{2m+k}\times H^k}^2\le \frac{2C_2}{\alpha }=R_1^2,\left(t>t_1\left(\Omega \right)\right).$

Proof. Set ${\left(-\Delta \right)}^{k}v={\left(-\Delta \right)}^k{u}_t+\epsilon {\left(-\Delta \right)}^{k}u$. It is obtained by inner product of ${\left(-\Delta \right)}^{k}v$ and Formula (1.1).

$\left(u_{tt}+M\left({\Vert D^{m}u\Vert }_p^p\right){\left(-\Delta \right)}^{2m}u+\beta {\left(-\Delta \right)}^{2m}{u}_t+g\left(u_t\right),{\left(-\Delta \right)}^{k}v\right)=\left(f\left(x\right),{\left(-\Delta \right)}^{k}v\right).$ (3.15)

$\begin{array}{c}\left(u_{tt},{\left(-\Delta \right)}^{k}v\right)=\left(v_t-\epsilon u_t,{\left(-\Delta \right)}^{k}v\right)=\frac{1}{2}\frac{\text{d}}{\text{d}t}{\Vert D^{k}v\Vert }^2-\epsilon {\Vert D^{k}v\Vert }^2+{\epsilon }^2\left(u,{\left(-\Delta \right)}^{k}v\right)\\ =\frac{1}{2}\frac{\text{d}}{\text{d}t}{\Vert D^{k}v\Vert }^2-\epsilon {\Vert D^{k}v\Vert }^2+\frac{{\epsilon }^2}{2}\frac{\text{d}}{\text{d}t}{\Vert D^{k}u\Vert }^2+{\epsilon }^3{\Vert D^{k}u\Vert }^2.\end{array}$ (3.16)

$\begin{array}{l}\left(\beta {\left(-\Delta \right)}^{2m}{u}_t,{\left(-\Delta \right)}^{k}v\right)=\left(\beta {\left(-\Delta \right)}^{2m}\left(v-\epsilon u\right),{\left(-\Delta \right)}^{k}v\right)\\ =\left(\beta {\left(-\Delta \right)}^{2m}v,{\left(-\Delta \right)}^{k}v\right)-\epsilon \beta \left({\left(-\Delta \right)}^{2m}u,{\left(-\Delta \right)}^{k}v\right)\\ \ge \beta {\Vert D^{2m+k}v\Vert }^2-\frac{\beta {\epsilon }^2}{2}{\Vert D^{2m+k}u\Vert }^2-\frac{\beta {\lambda }_1^{2m}}{2}{\Vert D^{k}v\Vert }^2\\ \ge \frac{\beta }{3}{\Vert D^{2m+k}v\Vert }^2-\frac{{{\displaystyle \epsilon }}^2\beta }{2}{\Vert D^{2m+k}u\Vert }^2+\frac{{{\displaystyle \lambda }}_1^{2m}\beta }{6}{\Vert D^{k}v\Vert }^2.\end{array}$ (3.17)

$\left(M\left({\Vert D^{m}u\Vert }_p^p\right){\left(-\Delta \right)}^{2m}u,{\left(-\Delta \right)}^{k}v\right)\ge \frac{\delta }{2}\frac{\text{d}}{\text{d}t}{\Vert D^{2m+k}u\Vert }^2+\epsilon {\delta }_0{\Vert D^{2m+k}u\Vert }^2.$ (3.18)

From hypothesis (H₄), we get

$\begin{array}{l}\left(g\left(u_t\right),{\left(-\Delta \right)}^{k}v\right)\\ \le \Vert g\left(u_t\right)\Vert \Vert D^{2k}v\Vert \\ \le C_4\Vert D^{2k}v\Vert {\left(1+\epsilon \Vert {\left(-\Delta \right)}^k{u}_t\Vert \right)}^{1-\sigma }\\ \le C_4\Vert D^{2k}v\Vert {\left(1+\epsilon \Vert D^{2k}v-\epsilon D^{2k}u\Vert \right)}^{1-\sigma }\\ \le C_4\Vert D^{2k}v\Vert {\left(1+\epsilon \Vert D^{2k}v\Vert +{\epsilon }^2\Vert D^{2k}u\Vert \right)}^{1-\sigma }\\ \le C_4\Vert D^{2k}v\Vert \left(1+\epsilon \Vert D^{2k}v\Vert +{\epsilon }^2\Vert D^{2k}u\Vert \right)\\ \le C_4\Vert D^{2k}v\Vert +C_4\epsilon {\Vert D^{2k}v\Vert }^2+C_4{\epsilon }^2\Vert D^{2k}v\Vert \Vert D^{2k}u\Vert \end{array}$

$\begin{array}{l}\le C_5+C_4\left(\epsilon +{\epsilon }^2\right){\Vert D^{2k}v\Vert }^2+\frac{C_4}{2}{\epsilon }^2{\Vert D^{2k}u\Vert }^2\\ \le C_5+C_4\left(\epsilon +{\epsilon }^2\right){\lambda }_1^{2m-k}{\Vert D^{2m+k}v\Vert }^2+C_4{\epsilon }^2{\lambda }_1^{2m-k}{\Vert D^{2m+k}u\Vert }^2.\end{array}$

Then

$\left(g\left(u_t\right)\mathrm{,}{\left(-\Delta \right)}^{k}v\right)\ge -C_5-C_4\left(\epsilon +{\epsilon }^2\right){\lambda }_1^{2m-k}{\Vert D^{2m+k}v\Vert }^2-C_4{\epsilon }^2{\lambda }_1^{2m-k}{\Vert D^{2m+k}u\Vert }^2\mathrm{.}$ (3.19)

$\left(f\left(x\right),{\left(-\Delta \right)}^{k}v\right)=\left({\nabla }^{k}f\left(x\right),{\nabla }^{k}v\right)\le \frac{{\Vert {\nabla }^{k}f\Vert }^2}{2{\epsilon }^2}+\frac{{\epsilon }^2}{2}{\Vert {\nabla }^{k}v\Vert }^2.$ (3.20)

Substitute Inequality (3.16)-(3.20) into Equation (3.15), therefore,

$\begin{array}{l}\frac{\text{d}}{\text{d}t}\left({\Vert D^{k}v\Vert }^2+{\epsilon }^2{\Vert D^{k}u\Vert }^2+\delta {\Vert D^{2m+k}u\Vert }^2\right)+\left(\frac{\beta {\lambda }_1^{2m}}{3}-2\epsilon -{\epsilon }^2\right){\Vert D^{k}v\Vert }^2\\ +2{\epsilon }^3{\Vert D^{k}u\Vert }^2+\left(2\epsilon {\delta }_0-\beta {\epsilon }^2-C_4{\epsilon }^2{\lambda }_1^{2m-k}\right){\Vert D^{2m+k}u\Vert }^2\\ +\left[\frac{\beta }{3}-C_4\left(\epsilon +{\epsilon }^2\right){\lambda }_1^{2m-k}\right]{\Vert D^{2m+k}v\Vert }^2+\frac{\beta }{3}{\Vert D^{2m+k}v\Vert }^2\le \frac{{\Vert {\nabla }^{k}f\Vert }^2}{{\epsilon }^2}+C_5.\end{array}$ (3.21)

Let ${\alpha }_1=\frac{\beta {\lambda }_1^{2m}}{3}-2\epsilon -{\epsilon }^2\ge 0$,

${\alpha }_2=2\epsilon {\delta }_0-\beta {\epsilon }^2-C_4{\epsilon }^2{\lambda }_1^{2m-k}\ge 0$,

$\frac{\beta }{3}-C_4\left(\epsilon +{\epsilon }^2\right){\lambda }_1^{2m-k}\ge 0$, and let $\alpha =\min \left\{{\alpha }_1,\frac{{\alpha }_2}{\delta },{\epsilon }^3\right\}$, $C_2=\frac{{\Vert {{\displaystyle \nabla }}^{k}f\Vert }^2}{{{\displaystyle \epsilon }}^2}+C_5$,

then

$\frac{\text{d}}{\text{d}t}M\left(t\right)+\alpha M\left(t\right)+\frac{2\beta }{3}{\Vert D^{2m+k}v\Vert }^2\le C_2\mathrm{.}$ (3.22)

where

$M\left(t\right)={\Vert D^{k}v\Vert }^2+{\epsilon }^2{\Vert D^{k}u\Vert }^2+\delta \frac{\text{d}}{\text{d}t}{\Vert D^{2m+k}u\Vert }^2.$ (3.23)

By using the Gronwall’s inequality, we get

$M\left(t\right)\le M\left(0\right){\text{e}}^{-\alpha t}+\frac{C_2}{\alpha }\left(1-{\text{e}}^{-\alpha t}\right)\mathrm{,}$ (3.24)

where

$M\left(0\right)={\Vert D^k{v}_0\Vert }^2+{\epsilon }^2{\Vert D^k{u}_0\Vert }^2+\delta \frac{\text{d}}{\text{d}t}{\Vert D^{2m+k}{u}_0\Vert }^2.$ (3.25)

Then

${\Vert \left(u,v\right)\Vert }_{H^{2m+k}\times H^k}^2={\Vert D^{2m+k}u\left(t\right)\Vert }^2+{\Vert D^{k}v\left(t\right)\Vert }^2\le M\left(0\right){\text{e}}^{-\alpha t}+\frac{C_2}{\alpha }\left(1-{\text{e}}^{-\alpha t}\right),$ (3.26)

and

$\frac{\beta }{3}{\displaystyle {\int }_0^T}{\Vert D^{2m+k}v\Vert }^2\text{d}t\le C_{2}T\mathrm{.}$ (3.27)

There are constants $t_1\left(\Omega \right)$ and $R_1$, then

${\Vert \left(u,v\right)\Vert }_{H^{2m+k}\times H^k}^2\le \frac{2C_2}{\alpha }=R_1^2.$ (3.28)

Lemma 3.2 is proved.

Theorem 3.1. Assume that the nonlinear function $M\left(s\right)$ satisfies (H₁), (H₂), $\left(u_0\mathrm{,}{u}_i\right)\in E_0$, $f\left(x\right)\in L^2\left(\Omega \right)$, then the Problems (1.1)-(1.3) have a unique global smooth solution $\left(u,v\right)\subset L^{\infty }\left(\left[0,+\infty \right),E_0\right)$, and $v\in L^2\left(\mathrm{0,}T\mathrm{<mo>\; ;\; </mo>}{H}_0^{2m}\left(\Omega \right)\right)$.

Proof: The proof of existence is divided into the following three steps by Galekin’s method:

Step 1: Approximate solution

Suppose the eigenvector $w_j$ of ${\left(-\Delta \right)}^{2m}{\omega }_j={\lambda }_j^{2m}{\omega }_j$ generates an orthonormal basis for $H^{2m}$, where ${\lambda }_j$ is the eigenvalue of $-\Delta$ with homogeneous Dirichlet boundary on $\Omega$, define k order approximation $u_k\left(t\right)$ :

$u_k\left(t\right)\in span\left[{\omega }_1,{\omega }_2,\cdots ,{\omega }_k\right],u_k\left(t\right)={\displaystyle \underset{j=1}{\overset{k}{\sum }}}{g}_{jk}\left(t\right){\omega }_j.$

$\begin{array}{l}\left({u^{″}}_k\left(t\right)+M\left({\Vert D^m{u}_k\left(t\right)\Vert }_P^P\right){\left(-\Delta \right)}^{2m}{u}_k\left(t\right)+\beta {\left(-\Delta \right)}^{2m}{u^{\prime }}_k\left(t\right)+g\left(u_k\right),{\omega }_j\right)\\ =\left(f\left(x\right),{\omega }_j\right).\end{array}$ (3.29)

where $1<j<k$,

$u_k\left(0\right)={\nu }_{0k},{u^{\prime }}_k\left(0\right)=u_{1k},u_{0k},u_{1k}\in span\left[{\omega }_1,{\omega }_2,\cdots ,{\omega }_k\right].$

with in H,

$u_{0k}\to u_0\mathrm{,}{u}_{1k}\to u_1\mathrm{.}$ (3.30)

This system of ordinary differential equations about $g_{jk}\left(t\right)$ can determine $u_k\left(t\right)$ in the interval $\left[\mathrm{0,}{t}_k\right]$ ; need to prove $t_k=T$.

Step 2: Prior estimation

According to the conclusion and proof method of lemma 3.1, $\left(u_k\left(t\right)\mathrm{,}{u^{\prime }}_k\left(t\right)\right)$ is uniformly bounded on $E_0$, then

$\Vert u_k\left(t\right)\Vert \le R$ (3.31)

$\Vert D^{2m}{u}_k\left(t\right)\Vert \le R$ (3.32)

$\Vert {u^{\prime }}_k\left(t\right)\Vert \le R$ (3.33)

thus it can be seen $t_k=T$, Inequality (3.32)-(3.33) shows $u_k\left(t\right)$ is bounded in $L^{\infty }\left(\mathrm{0,}T\mathrm{<mo>\; ;\; </mo>}{H}^{2m}\left(\Omega \right)\right)$, and ${u^{\prime }}_k\left(t\right)$ is bounded in $L^{\infty }\left(\mathrm{0,}T\mathrm{<mo>\; ;\; </mo>}{L}^2\left(\Omega \right)\right)$.

And it’s actually available $u_k\left(t\right)$ in $L^{\infty }\left(\mathrm{0,}+\infty \mathrm{<mo>\; ;\; </mo>}{H}^{2m}\left(\Omega \right)\right)$ and ${u^{\prime }}_k\left(t\right)$ in $L^{\infty }\left(\mathrm{0,}+\infty \mathrm{<mo>\; ;\; </mo>}{L}^2\left(\Omega \right)\right)$.

Step 3: Limit process

According to Danford-Pttes theorem, Space $L^{\infty }\left(\mathrm{0,}T\mathrm{<mo>\; ;\; </mo>}{H}^{2m}\left(\Omega \right)\right)$ conjugate to space $L^{\prime }\left(0,T;H^{-2m}\left(\Omega \right)\right)$ ; Space $L^{\infty }\left(\mathrm{0,}T\mathrm{<mo>\; ;\; </mo>}{L}^2\left(\Omega \right)\right)$ conjugate to space $L^{\prime }\left(\mathrm{0,}T\mathrm{<mo>\; ;\; </mo>}{L}^2\left(\Omega \right)\right)$, select the subsequence $u_h\left(t\right)$ from the sequence $u_k\left(t\right)$, such that

$u_h\left(t\right)\to u$ weakly * converges in $L^{\infty }\left(\mathrm{0,}T\mathrm{<mo>\; ;\; </mo>}{H}^{2m}\left(\Omega \right)\right)$,

${u^{\prime }}_h\left(t\right)\to u^{\prime }$ weakly * converges in $L^{\infty }\left(\mathrm{0,}T\mathrm{<mo>\; ;\; </mo>}{L}^2\left(\Omega \right)\right)$,

${u^{\prime }}_h\left(t\right)\to u^{\prime }$ weakly converges in $L^2\left(\mathrm{0,}T\mathrm{<mo>\; ;\; </mo>}{H}^{2m}\left(\Omega \right)\right)$.

According to Pellich-Kohdarachov theorem, $H^{2m}\left(\Omega \right)$ is compact embedded in $L^P\left(\Omega \right)$ and $L^2\left(\Omega \right)$, $u_k\left(t\right)\to u$ is strong convergence almost everywhere in $L^P\left(\mathrm{0,}T\right)$ and $L^2\left(\mathrm{0,}T\right)$.

$M\left({\Vert u_k\left(t\right)\Vert }_p^p\right)\to M\left({\Vert u\left(t\right)\Vert }_p^p\right)$ converges in $R^{+}$.

$M\left({\Vert u_k\left(t\right)\Vert }_p^p\right)\left({\left(-\Delta \right)}^{2m}{u}_k\left(t\right)\mathrm{,}{D}^{2m}{w}_j\left(t\right)\right)\to M\left({\Vert u\left(t\right)\Vert }_p^p\right)\left({\left(-\Delta \right)}^{2m}{u}_k\left(t\right)\mathrm{,}{D}^{2m}{w}_j\left(t\right)\right)$ is weak * convergence in $L^{\infty }\left(\mathrm{0,}T\right)$.

$\beta \left({\nabla }^{2m}{u^{\prime }}_k\left(t\right)\mathrm{,}{\nabla }^{2m}{w}_j\left(t\right)\right)\to \beta \left({\nabla }^{2m}{u}^{\prime }\left(t\right)\mathrm{,}{\nabla }^{2m}{w}_j\right)$ is weak * convergence in $L^{\infty }\left(\mathrm{0,}T\right)$.

$\left(u_h\left(t\right)\mathrm{,}{\omega }_j\right)=\frac{\text{d}}{\text{d}x}\left({u^{\prime }}_k\left(t\right)\mathrm{,}{\omega }_j\right)\to \left(u^{″}\left(t\right)\mathrm{,}{\omega }_j\right)$ converges in $D^{\prime }\left(\mathrm{0,}T\right)$.

$\left(g\left({u^{\prime }}_k\left(t\right)\mathrm{,}{\omega }_j\right)\right)\to \left(g\left(u^{\prime }\left(t\right)\mathrm{,}{\omega }_j\right)\right)$ is weak * convergence in $L^{\infty }\left(\mathrm{0,}T\right)$.

From the Formula (3.30), we get

$\begin{array}{l}\left(u^{″}\left(t\right)\mathrm{,}{\omega }_j\right)+\left(M\left({\Vert D^{m}u\Vert }_p^p\right)\right)\left({\nabla }^{2m}u\mathrm{,}{\nabla }^{2m}{\omega }_j\right)+\beta \left({\nabla }^{2m}{u}^{\prime }\left(t\right)\mathrm{,}{\nabla }^{2m}{w}_j\right)\\ +\left(g\left(u_t\right)\mathrm{,}{\omega }_j\right)=\left(f\left(x\right)\mathrm{,}{\omega }_j\right)\end{array}$

For $\forall j$, according to the density of ${\omega }_1\mathrm{,}{\omega }_2\mathrm{,}\cdots \mathrm{,}{\omega }_k\mathrm{,}\cdots$.

$\begin{array}{l}\left(u^{″}\mathrm{,}\phi \right)+\left(M\left({\Vert D^{m}u\Vert }_p^p\right)\right)\left({\nabla }^{2m}u\mathrm{,}{\nabla }^{2m}\phi \right)+\beta \left({\nabla }^{2m}{u}^{\prime }\left(t\right)\mathrm{,}{\nabla }^{2m}\phi \right)+\left(g\left(u_t\right)\mathrm{,}\phi \right)\\ =\left(f\left(x\right)\mathrm{,}\phi \right)\end{array}$ (3.34)

$\forall \phi \in H^{2m}\left(\Omega \right)$ and $u_k\left(0\right)\to u\left(0\right)$ weakly converges in $L^2\left(\Omega \right)$, and in $H^{2m}\left(\Omega \right)$.

$u_k\left(0\right)\to u\left(0\right)\mathrm{,}$

$\left({u^{\prime }}_k\left(0\right),{\omega }_j\right)\to {\left(u^{\prime },{\omega }_j\right)|}_{t=0}=\left(u^{\prime }\left(0\right),{\omega }_j\right),$

$\left({u^{\prime }}_k\left(0\right),{\omega }_j\right)\to \left(u_1\mathrm{,}{\omega }_j\right)\mathrm{,}$

then $\left(u^{\prime }\left(0\right),{\omega }_j\right)\to \left(u_1\mathrm{,}{\omega }_j\right)$ is satisfied for all j, so that existence can be proved.

Then prove the uniqueness of the solution.

Set $u^{\mathrm{<mo>\; *\; </mo>}},v^{\mathrm{<mo>\; *\; </mo>}}$ be two solutions of the Problem (1.1)-(1.3), let $\omega =u^{*}-v^{*}$, then

$\begin{array}{l}{\omega }_{tt}+\beta {\left(-\Delta \right)}^{2m}{\omega }_t+M\left({\Vert D^m{u}^{\mathrm{<mo>\; *\; </mo>}}\left(t\right)\Vert }_p^p\right){\left(-\Delta \right)}^{2m}{u}^{\mathrm{<mo>\; *\; </mo>}}-M\left({\Vert D^m{v}^{\mathrm{<mo>\; *\; </mo>}}\left(t\right)\Vert }_p^p\right){\left(-\Delta \right)}^{2m}{v}^{\mathrm{<mo>\; *\; </mo>}}\\ +g\left(u_t^{\mathrm{<mo>\; *\; </mo>}}\right)-g\left(v_t^{\mathrm{<mo>\; *\; </mo>}}\right)=\mathrm{0,}\end{array}$ (3.35)

$\omega \left(0\right)=0,{\omega }^{\prime }\left(0\right)=0.$ (3.36)

Take the inner product with ${\omega }_t$ and (3.34).

$\begin{array}{l}\left({\omega }_{tt}+\beta {\left(-\Delta \right)}^{2m}{\omega }_t+M\left({\Vert D^m{u}^{*}\left(t\right)\Vert }_p^p\right){\left(-\Delta \right)}^{2m}{u}^{*},{\omega }_t\right)\\ -\left(M\left({\Vert D^m{v}^{*}\left(t\right)\Vert }_p^p\right){\left(-\Delta \right)}^{2m}{v}^{*}+g\left(u_t^{*}\right)-g\left(v_t^{*}\right),{\omega }_t\right)=0.\end{array}$ (3.37)

$\left({\omega }_{tt}\mathrm{,}{\omega }_t\right)=\frac{1}{2}\frac{\text{d}}{\text{d}t}{\Vert {\omega }_t\Vert }^2\mathrm{.}$ (3.38)

$\beta \left({\left(-\Delta \right)}^{2m}{\omega }_t\mathrm{,}{\omega }_t\right)\ge \frac{\beta }{2}{\Vert D^{2m}{\omega }_t\Vert }^2\mathrm{.}$ (3.39)

By using hypothesis (H₅), there are ${\Vert g^{\prime }\left(s\right)\Vert }_{\infty }\le C_3$, then

$\left|\left(\left(g\left(u_t^{\mathrm{<mo>\; *\; </mo>}}\right)-g\left(v_t^{\mathrm{<mo>\; *\; </mo>}}\right)\right)\mathrm{,}{w}_t\right)\right|=\left|\left(g^{\prime }\left(s\right)w_t\mathrm{,}{w}_t\right)\right|\le C_3{\Vert w_t\Vert }^2\mathrm{.}$ (3.40)

By using hypothesis (H₁), Lemma 3.1 and Differential Mean Value Theorem

$\begin{array}{l}\left(M\left({\Vert D^m{u}^{\mathrm{<mo>\; *\; </mo>}}\Vert }_p^p\right){\left(-\Delta \right)}^{2m}{u}^{\mathrm{<mo>\; *\; </mo>}}-M\left({\Vert D^m{v}^{\mathrm{<mo>\; *\; </mo>}}\left(t\right)\Vert }_p^p\right){\left(-\Delta \right)}^{2m}{v}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}{w}_t\right)\\ =\frac{1}{2}\left(M\left({\Vert D^m{u}^{\mathrm{<mo>\; *\; </mo>}}\Vert }_p^p\right)\frac{\text{d}}{\text{d}t}{\Vert D^{2m}w\Vert }^2+M\left({\Vert D^m{u}^{\mathrm{<mo>\; *\; </mo>}}\left(t\right)\Vert }_p^p-M\left({\Vert D^m{v}^{\mathrm{<mo>\; *\; </mo>}}\Vert }_p^p\right)\right){\left(-\Delta \right)}^{2m}{v}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}{w}_t\right)\\ \ge \frac{1}{2}\mu \frac{\text{d}}{\text{d}t}{\Vert D^{2m}w\Vert }^2-{\Vert M^{\prime }\left(\xi \right)\Vert }_{\infty }{C}_6\left({\Vert D^{m}w\Vert }_{p-1}^{p-1}\right)\cdot \Vert D^{m}w\Vert \cdot \Vert D^{2m}{v}^{\mathrm{<mo>\; *\; </mo>}}\Vert \Vert D^{2m}{w}_t\Vert \\ \ge \frac{1}{2}\mu \frac{\text{d}}{\text{d}t}{\Vert D^{2m}w\Vert }^2-C_7\Vert D^{m}w\Vert \Vert D^{2m}{w}_t\Vert \\ \ge \frac{1}{2}\mu \frac{\text{d}}{\text{d}t}{\Vert D^{2m}w\Vert }^2-\frac{\beta }{2}{\Vert D^{2m}{w}_t\Vert }^2-\frac{C_7^2}{2\beta }{\Vert D^{m}w\Vert }^2\mathrm{.}\end{array}$ (3.41)

To sum up, we obtain

$\frac{\text{d}}{\text{d}t}\left({\Vert w_t\Vert }^2+\mu {\Vert D^{2m}w\Vert }^2\right)\le \frac{C_7^2}{\beta }{{\displaystyle \Vert D^{m}w\Vert }}^2\le \frac{C_7^2}{\mu \beta {\lambda }_1^m}\left({\Vert w_t\Vert }^2+\mu {\Vert D^{2m}w\Vert }^2\right)\mathrm{.}$

From Gronwall’s inequality, we get

${\Vert w_t\Vert }^2+\mu {\Vert D^{2m}w\left(t\right)\Vert }^2\le {\text{e}}^{\frac{C_7^2}{\mu \beta {\lambda }_1^m}t}\left({\Vert w\left(0\right)\Vert }^2+\mu {\Vert D^{2m}{w}_1\left(0\right)\Vert }^2\right)=0.$ (3.42)

Therefore $u^{*}=v^{*}$, the uniqueness is proved.

Theorem 3.2. [9] Let E be a Banach space, $S\left(t\right)\mathrm{<mo>\; :\; </mo>}E\to E$ Semigroups satisfy the following conditions

1) Semigroup $S\left(t\right)$ is uniformly bounded in E, then $\forall r>0$, there is constant $C\left(r\right)$, so that when ${{\displaystyle \Vert u\Vert }}_E\le r$, there is ${{\displaystyle \Vert S\left(t\right)u\Vert }}_E\le C\left(r\right)\mathrm{,}\left(\forall t\in \left[\mathrm{0,}+\infty \right)\right)$ ;

2) There is a bounded absorption set $B_0$ in E;

3) $S\left(t\right)$ is a fully continuous operator. That is, semigroups $S\left(t\right)$ have compact global attractors $A_0$.

The Banach space E in theorem 3.2 is changed into Hilbert space $E_k$, there are the following existence theorems of global attractor’s families.

Theorem 3.3. Under the hypothesis of lemma 3.1 and lemma 3.2, Then there is a family of global attractor $A_k\left(k=1,2,\cdots ,2m\right)$ for Problems (1.1)-(1.3). That is, there is a compact set $A_k\subset E_k\subset E_0$, make:

1) $S\left(t\right)A_k=A_k,\forall t>0$ ;

2) $\underset{t\to \infty }{\lim }dist\left(S\left(t\right)B_k,A_k\right)=0$ ( $\forall B_k\subset E_k$ is a bounded set), among

$\underset{t\to \infty }{\lim }dist\left(S\left(t\right)B_k,A_k\right)=\underset{x\in B_k}{\sup }\underset{y\in A_k}{\inf }{\Vert S\left(t\right)x-y\Vert }_{E_k}$, $S\left(t\right)$ is the solution semigroup

generated by Problems (1.1)-(1.3).

Proof: It is necessary to verify the conditions (1), (2) and (3) of Theorem 3.2. Solution Semigroup $S\left(t\right)\mathrm{<mo>\; :\; </mo>}{E}_k\to E_k$ generated by Theorem 3.1 and Lemma 3.2 to know Problems (1.1)-(1.3).

1) Knowing the arbitrary bounded set $B_k\subset E_k$ by Lemma 3.2, have ${\Vert \left(u\mathrm{,}v\right)\Vert }_{H^{2m+k}\times H^k}^2\le R_1^2$ and

${\Vert S\left(t\right)\left(u_0,v_0\right)\Vert }_{E_k}^2={\Vert u\Vert }_{H_0^{2m+k}\left(\Omega \right)}^2+{\Vert v\Vert }_{H_0^k\left(\Omega \right)}^2\le {\Vert u_0\Vert }_{H_0^{2m+k}\left(\Omega \right)}^2+{\Vert v_0\Vert }_{H_0^k\left(\Omega \right)}^2\le R_k^2.$ (3.43)

where $t\ge 0$, $\left(u_0,v_0\right)\in B_k$, this shows that $\left\{S\left(t\right)\right\}\left(t\ge 0\right)$ is uniformly bounded with in $E_k$.

2) Further, about $\forall \left(u_0,v_0\right)\in E_k$, there is

${\Vert S\left(t\right)\left(u_0,v_0\right)\Vert }_{E_k}^2={\Vert u\Vert }_{H_0^{2m+k}\left(\Omega \right)}^2+{\Vert v\Vert }_{H_0^k\left(\Omega \right)}^2\le R_1^2+R_0^2\le R_k^2.$ (3.44)

Then $B_{0k}$ is a bounded absorbing set of semigroup $S\left(t\right)$.

3) According to Rellich-Kondrachov compact embedding theorem $E_k\subset E_0$, then the bounded set in $E_k$ is the compact set in $E_0$, therefore, the solution semigroup $S\left(t\right)$ is a fully continuous operator. Therefore, the family of global attractor $A_k$ of the solution semigroup $S\left(t\right)$ can be obtained, where

$A_k=W\left(B_{0k}\right)={\displaystyle \underset{0\le \tau \le t}{\cap }\overline{{\displaystyle \cup S\left(t\right)B_{0k}}}}.$ (3.45)

The theorem is completed.

4. Dimension Estimation of the Family of Global Attractor

First consider the linearization of Problems (1.1)-(1.3)

$\begin{array}{l}{U}_{tt}+M{\Vert D_u^m\Vert }_p^p{\left(-\Delta \right)}^{2m}U+M{\Vert D_u^m\Vert }_p^p{\left({\Vert D_u^m\Vert }_p^p\right)}^{\prime }{\left(-\Delta \right)}^{2m}U\\ +\beta {\left(-\Delta \right)}^{2m}{U}_t+g^{\prime }\left(u_t\right)U_t=0.\end{array}$ (4.1)

${{\displaystyle U\left(x,t\right)|}}_{\partial \Omega }={\left(-\Delta \right)}^k{{\displaystyle U\left(x,t\right)|}}_{\partial \Omega }=0,k=1,\cdots ,2m-1,t>0,$ (4.2)

$U\left(x,0\right)={\xi }_1,U_t\left(x,0\right)={\xi }_2.$ (4.3)

where $\left({\xi }_1\mathrm{,}{\xi }_2\right)\in E_k$, $\left(u\mathrm{,}{u}_t\right)=S\left(t\right)\left(u_0,u_1\right)$ is the solution of Problems (1.1)-(1.3), known $\left(u_0,u_1\right)\in A_k$, $S\left(t\right)\mathrm{<mo>\; :\; </mo>}E\to E$, can prove $\forall \left({\xi }_1\mathrm{,}{\xi }_2\right)\in E_k$, the linearization Problems (4.1)-(4.3) have unique solutions $\left(U\left(t\right),U_t\left(t\right)\right)\in L^{\infty }\left(\left(0,+\infty \right);E_k\right)$.

Theorem 4.1. $\forall t>0,R>0$, the mapping $S\left(t\right)\mathrm{<mo>\; :\; </mo>}{E}_k\to E_k$ is Frechet differentiable on $E_k$, and differentiate the linear operator of $G\left(t\right):{\left({\xi }_1\mathrm{,}{\xi }_2\right)}^{\text{T}}\to {\left(U\left(t\right),U_t\left(t\right)\right)}^{\text{T}}$, where $U\left(t\right),U_t\left(t\right)$ is the solution of problems (4.1)-(4.3).

Proof: Set ${\varphi }_0={\left(u_0,u_1\right)}^{\text{T}}\in E_k$, $\overline{{\varphi }_0}={\left(u_0+{\xi }_1\mathrm{,}{u}_1+{\xi }_2\right)}^{\text{T}}\in E_k$, then

${\Vert {\varphi }_0\Vert }_{E_k}\le R\mathrm{,}{\Vert \overline{{\varphi }_0}\Vert }_{E_k}\le R$, from this we can get the Lipchitz property of $S\left(t\right)$ on

the bounded set of $E_k$, that is,

${\Vert S\left(t\right)\overline{{\varphi }_0}-S\left(t\right){\varphi }_0\Vert }_{E_k}^2\le {\text{e}}^{ct}{\Vert \left({\xi }_1\mathrm{,}{\xi }_2\right)\Vert }_{E_k}^2\mathrm{.}$ (4.4)

Set $\sigma =\tilde{u}-u-U$, then

${\sigma }_{tt}+M\left({\Vert D^{m}u\Vert }_p^p\right){\left(-\Delta \right)}^{2m}\sigma +\beta {\left(-\Delta \right)}^{2m}{\sigma }_t=h.$ (4.5)

$\sigma \left(0\right)={\xi }_1,{\sigma }_t\left(0\right)={\xi }_2,$ (4.6)

let $s={\Vert {{\displaystyle \nabla }}^{m}u\Vert }_p^p,\tilde{s}={\Vert {{\displaystyle \nabla }}^m\tilde{u}\Vert }_p^p$,

then

$\begin{array}{l}h=\left(M\left(s\right)-M\left(\tilde{s}\right)\right){\left(-\Delta \right)}^{2m}\tilde{u}+p{M}^{\prime }\left(s\right){\Vert {\nabla }^{m}u\Vert }^{p-2}\Vert {\nabla }^{m}u\Vert \Vert D^{m}U\Vert {\left(-\Delta \right)}^{2m}u\\ +g\left(u_t\right)-g\left(\overline{u_t}\right)+g^{\prime }\left(u_t\right)U_t.\end{array}$ (4.7)

Take the inner product of ${\left(-\Delta \right)}^k{\sigma }_t$ and both sides of Formula (4.5)

$\frac{1}{2}\frac{\text{d}}{\text{d}t}{\Vert D^k{\sigma }_t\Vert }^2+\frac{1}{2}M\left(s\right)\frac{\text{d}}{\text{d}t}{\Vert D^{2m+k}\sigma \Vert }^2+\beta {\Vert D^{2m+k}{\sigma }_t\Vert }^2=\left(h\mathrm{,}{\left(-\Delta \right)}^k{\sigma }_t\right)\mathrm{.}$ (4.8)

Let $\bar{u}=u-\tilde{u}$, according to lemma 3.2, differential mean value theorem and poincare’s inequality

$\begin{array}{l}\left(\left(M\left(s\right)-M\left(\tilde{s}\right)\right){\left(-\Delta \right)}^{2m}\tilde{u}+p{M}^{\prime }\left(s\right){\Vert {\nabla }^{m}u\Vert }^{p-2}\Vert {\nabla }^{m}u\Vert \Vert D^{m}U\Vert {\left(-\Delta \right)}^{2m}u,{\left(-\Delta \right)}^k{\sigma }_t\right)\\ =\left(M^{\prime }\left(as+\left(1-a\right)\tilde{s}\right)\left(s-\tilde{s}\right){\left(-\Delta \right)}^{2m}\tilde{u}+p{M}^{\prime }\left(s\right){\Vert {\nabla }^{m}u\Vert }^{p-2}\Vert {\nabla }^{m}u\Vert \Vert D^{m}U\Vert {\left(-\Delta \right)}^{2m}u,{\left(-\Delta \right)}^k{\sigma }_t\right)\\ \ge \left(M^{\prime }\left(as+\left(1-a\right)\tilde{s}\right)\left({\nabla }^m\bar{u},{\Vert {\nabla }^{m}u\Vert }^{p-1}+{\Vert {\nabla }^m\tilde{u}\Vert }^{p-1}\right){\left(-\Delta \right)}^{2m}\tilde{u},{\left(-\Delta \right)}^k{\sigma }_t\right)\\ +\left(p{M}^{\prime }\left(s\right){\Vert {\nabla }^{m}u\Vert }^{p-2}\Vert {\nabla }^{m}u\Vert \Vert D^{m}U\Vert {\left(-\Delta \right)}^{2m}u,{\left(-\Delta \right)}^k{\sigma }_t\right)\\ =I_1+I_2+I_3.\end{array}$ (4.9)

$\begin{array}{c}{I}_1=\left(M^{\prime }\left(as+\left(1-a\right)\tilde{s}\right)\left({\nabla }^m\bar{u},{\Vert {\nabla }^{m}u\Vert }^{p-1}+{\Vert {\nabla }^m\tilde{u}\Vert }^{p-1}\right){\left(-\Delta \right)}^{2m}\tilde{u},{\left(-\Delta \right)}^k{\sigma }_t\right)\\ -\left(M^{\prime }\left(s\right)\left({\nabla }^m\bar{u},{\Vert {\nabla }^{m}u\Vert }^{p-1}+{\Vert {\nabla }^m\tilde{u}\Vert }^{p-1}\right){\left(-\Delta \right)}^{2m}\tilde{u},{\left(-\Delta \right)}^k{\sigma }_t\right)\\ =\left(M^{″}\left(\xi \right)\left(as+\left(1-a\right)\tilde{s}-s\right)\right)\left({\nabla }^m\bar{u},{\Vert {\nabla }^{m}u\Vert }^{p-1}+{\Vert {\nabla }^m\tilde{u}\Vert }^{p-1}\right)\left({\left(-\Delta \right)}^{2m}\tilde{u},{\left(-\Delta \right)}^k{\sigma }_t\right)\\ =M^{″}\left(\xi \right)\left(1-a\right)\left(\tilde{s}-s\right)\left({\nabla }^m\bar{u},{\Vert {\nabla }^{m}u\Vert }^{p-1}+{\Vert {\nabla }^m\tilde{u}\Vert }^{p-1}\right)\left({\left(-\Delta \right)}^{2m}\tilde{u},{\left(-\Delta \right)}^k{\sigma }_t\right)\\ \le C_8{\Vert {\nabla }^{2m+k}\bar{u}\Vert }^2\Vert {\nabla }_{2m+k}{\sigma }_t\Vert .\end{array}$ (4.10)

$\begin{array}{c}{I}_2=M^{\prime }\left(s\right)\left({\nabla }^m\bar{u},{\Vert {\nabla }^{m}u\Vert }^{p-1}+{\Vert {\nabla }^m\tilde{u}\Vert }^{p-1}\right)\left({\left(-\Delta \right)}^{2m}\tilde{u},{\left(-\Delta \right)}^k{\sigma }_t\right)\\ -p{M}^{\prime }\left(s\right)\left({\nabla }^m\bar{u}+{\nabla }^m\sigma ,{\Vert {\nabla }^{m}u\Vert }^{p-1}\right)\left({\left(-\Delta \right)}^{2m}\tilde{u},{\left(-\Delta \right)}^k{\sigma }_t\right)\\ =M^{\prime }\left(s\right)\left({\nabla }^m\bar{u},{\Vert {\nabla }^m\tilde{u}\Vert }^{p-1}\right)\left({\left(-\Delta \right)}^{2m}\tilde{u},{\left(-\Delta \right)}^k{\sigma }_t\right)\\ -p{M}^{\prime }\left(s\right)\left({\nabla }^m\sigma ,{\Vert {\nabla }^{m}u\Vert }^{p-1}\right)\left({\left(-\Delta \right)}^{2m}\tilde{u},{\left(-\Delta \right)}^k{\sigma }_t\right)\end{array}$

$\begin{array}{l}\le M^{\prime }\left(s\right){\Vert {\nabla }^{2m+k}\bar{u}\Vert }^2{\Vert {\nabla }^m\tilde{u}\Vert }^{p-1}\Vert {\nabla }^{2m}\tilde{u}\Vert \Vert {\nabla }^{2m+k}{\sigma }_t\Vert \\ +p{M}^{\prime }\left(s\right)\Vert {\nabla }^{m+k}\sigma \Vert {\Vert {\nabla }^{m}u\Vert }^{p-1}\Vert {\nabla }^{2m}\tilde{u}\Vert \Vert {\nabla }^{2m+k}{\sigma }_t\Vert \\ \le C_9\left({\Vert {\nabla }^{2m+k}\bar{u}\Vert }^2+\Vert {\nabla }^{2m+k}\sigma \Vert \right)\Vert {\nabla }^{2m+k}{\sigma }_t\Vert .\end{array}$ (4.11)

$\begin{array}{c}{I}_3=-p{M}^{\prime }\left(s\right){\Vert {\nabla }^{m}u\Vert }^{p-2}\Vert {\nabla }^{m}u\Vert \Vert {\nabla }^{m}U\Vert \left({\left(-\Delta \right)}^{2m}\tilde{u},{\left(-\Delta \right)}^k{\sigma }_t\right)\\ +p{M}^{\prime }\left(s\right){\Vert {\nabla }^{m}u\Vert }^{p-2}\Vert {\nabla }^{m}u\Vert \Vert {\nabla }^{m}U\Vert \left({\left(-\Delta \right)}^{2m}u,{\left(-\Delta \right)}^k{\sigma }_t\right)\\ =p{M}^{\prime }\left(s\right){\Vert {\nabla }^{m}u\Vert }^{p-2}\left({\nabla }^m\tilde{u}-{\nabla }^{m}u-{\nabla }^m\sigma ,{\nabla }^{m}u\right)\left({\left(-\Delta \right)}^{2m}\bar{u},{\left(-\Delta \right)}^k{\sigma }_t\right)\\ \le p{M}^{\prime }\left(s\right){\Vert {\nabla }^{2m+k}\bar{u}\Vert }^2{\Vert {\nabla }^{m}u\Vert }^{p-2}\Vert {\nabla }^{2m+k}{\sigma }_t\Vert \\ +\Vert {\nabla }^{m+k}\sigma \Vert {\Vert {\nabla }^{m}u\Vert }^{p-1}\Vert {\nabla }^{2m}\bar{u}\Vert \Vert {\nabla }^{2m+k}{\sigma }_t\Vert \\ \le C_{10}\left({\Vert {\nabla }^{2m+k}\bar{u}\Vert }^2+\Vert {\nabla }^{2m+k}\sigma \Vert \right)\Vert {\nabla }^{2m+k}{\sigma }_t\Vert .\end{array}$ (4.12)

It can be obtained from hypothesis (H1), Holder’s inequality, Young’s inequality, Poincare’s inequality and differential mean value theorem, let $w_t=u_t-\overline{u_t}$

$\begin{array}{l}\left(g\left(u_t\right)-g\left(\overline{u_t}\right)+g^{\prime }\left(u_t\right)U_t,{\left(-\Delta \right)}^k{\sigma }_t\right)\\ =\left(g^{\prime }\left(x\right)w_t,{\left(-\Delta \right)}^k{\sigma }_t\right)-\left(g^{\prime }\left(u_t\right)w_t,{\left(-\Delta \right)}^k{\sigma }_t\right)-\left(g^{\prime }\left(u_t\right)\sigma ,{\left(-\Delta \right)}^k{\sigma }_t\right)\\ \le \left(\theta -1\right)\left(g^{″}\left(\xi \right){\Vert w_t\Vert }^2,{\left(-\Delta \right)}^k{\sigma }_t\right)-\left(g^{\prime }\left(u_t\right)\sigma ,{\left(-\Delta \right)}^k{\sigma }_t\right)\\ \le C_{11}\left({\nabla }^{2m+k}{\Vert w_t\Vert }^2+{\nabla }^k\Vert {\sigma }_t\Vert \right){\nabla }^{2m+k}\Vert {\sigma }_t\Vert .\end{array}$ (4.13)

Substitute (4.9)-(4.13) into Formula (4.8), then it can be obtained by Young’s inequality and Poincare’s inequality

$\begin{array}{l}\frac{\text{d}}{\text{d}t}\left({\Vert \mu D^{2m+k}\sigma \Vert }^2+{\Vert D^k{\sigma }_t\Vert }^2\right)\\ \le C_{12}\left({\Vert \mu D^{2m+k}\sigma \Vert }^2+{\Vert D^k{\sigma }_t\Vert }^2\right)+C_{13}\left({\Vert \mu D^{2m+k}\sigma \Vert }^4\right)+C_{14}\left({\Vert {\nabla }^{2m+k}{w}_t\Vert }^2\right)\mathrm{.}\end{array}$

According to Gronwall’s inequality

${\Vert D^k{\sigma }_t\Vert }^2+\mu {\Vert D^{2m+k}{\sigma }_t\Vert }^2\le C_{15}\cdot {\text{e}}^{C_{12}t}{\Vert \left({\xi }_1\mathrm{,}{\xi }_2\right)\Vert }_{E_k}^4\mathrm{.}$ (4.14)

When ${\Vert \left({\xi }_1\mathrm{,}{\xi }_2\right)\Vert }_{E_k}^2\to 0$, there is

$\frac{\Vert \overline{\varphi \left(t\right)}-\varphi \left(t\right)-U\left(t\right)\Vert }{{\Vert \left({\xi }_1\mathrm{,}{\xi }_2\right)\Vert }_{E_k}^2}\le C_{15}{\text{e}}^{C_{12}t}{\Vert \left({\xi }_1\mathrm{,}{\xi }_2\right)\Vert }_{E_k}^2\to 0.$ (4.15)

The theorem is proved.

Theorem 4.2. Under the condition of theorem 3.3, the family of global attractor $A_k$ of Problems (1.1)-(1.3) have finite Hansdorff dimension and Fractal

dimension, and $d_H\left(A_k\right)<\frac{2n}{5},d_F\left(A_k\right)<\frac{7n}{5}$.

Proof: assume $\Psi =R_{\xi }\Phi ={\left(u,v\right)}^{\text{T}},\Phi =\left(u,v_t\right),v=u_t+\epsilon u$,

then $R_{\epsilon }\mathrm{<mo>\; :\; </mo>}{\left(u\mathrm{,}{u}_t\right)}^{\text{T}}\to \left(u\mathrm{,}{u}_t+\epsilon u\right)$ is an isomorphic mapping.

Linearize Equation (4.1)

${\Psi }_t+{\Lambda }_{\epsilon }\Psi +\bar{g}\left(\Psi \right)=\bar{f}\mathrm{.}$ (4.16)

$\Psi \left(0\right)={\left(u_0\mathrm{,}{u}_1+\epsilon u_0\right)}^{\text{T}}\mathrm{.}$ (4.17)

where $\Psi ={\left\{u,u_t+\epsilon u\right\}}^{\text{T}},\bar{g}\left(\Psi \right)={\left\{0,g\left(u_t\right)\right\}}^{\text{T}},\bar{f}={\left\{0,f\left(x\right)\right\}}^{\text{T}}$

${\Lambda }_{\epsilon }=\Lambda \left(\Psi \right)=\left(\begin{array}{cc}\epsilon I& -I\\ M\left({\Vert A^{\frac{m}{2}}u\Vert }_p^p-\epsilon \beta \right)A^{2m}+{\epsilon }^{2}I& \beta A^{2m}-\epsilon I\end{array}\right).$ (4.18)

${\Psi }_t:=F\left(\Psi \right)=\bar{f}-{\Lambda }_{\epsilon }\Psi -\bar{g}\left(\Psi \right).$ (4.19)

$P_t=F_t\left(\Psi \right)P.$ (4.20)

$P_t+{\Lambda }_{\epsilon }P+\bar{h}\left(\Psi \right)=0.$ (4.21)

where $P={\left\{U,U_t+\epsilon U\right\}}^{\text{T}},\overline{g_t}\left(\Psi \right)P={\left\{0,g_t\left(u_t\right)U\right\}}^{\text{T}}$. U is the solution of (4.16).

For a fixed $\left(u_0\mathrm{,}{v}_0\right)\in E_k$, Let ${\xi }_1\mathrm{,}{\xi }_2\mathrm{,}\cdots \mathrm{,}{\xi }_n$ be n elements in $E_k$. letting $U_1\left(t\right)\mathrm{,}{U}_2\left(t\right)\mathrm{,}\cdots \mathrm{,}{U}_n\left(t\right)$ is several solutions of linear Equation (4.1) with initial value of $U_1\left(0\right)={\xi }_1,U_2\left(0\right)={\xi }_2,\cdots ,U_n\left(0\right)={\xi }_n$. Available by direct calculation

$\begin{array}{l}{\Vert U_1\left(t\right)\Lambda U_2\left(t\right)\Lambda \cdots \Lambda U_n\left(t\right)\Vert }_{\Lambda E_k}^2\\ ={\Vert {\xi }_1\Lambda {\xi }_2\Lambda \cdots \Lambda {\xi }_n\Vert }_{\Lambda E_k}^2\exp \left(-{{\displaystyle {\int }_0}}^{t}tr{F^{\prime }}_t\left(\Psi \right)Q_n\left(\tau \right)\text{d}\tau \right).\end{array}$ (4.22)

where $\Lambda$ represents the outer product, tr stands for trace, $Q_n\left(\tau \right)$ represents the orthogonal projection from $E_k$ to the subspace generated by $U_1\left(t\right)\mathrm{,}{U}_2\left(t\right)\mathrm{,}\cdots \mathrm{,}{U}_n\left(t\right)$.

For a given moment $\tau$, let $w_j\left(\tau \right)={\left({\xi }_j\left(\tau \right),{\eta }_j\left(\tau \right)\right)}^{\text{T}},j=1,2,\cdots ,n$ be the standard orthogonal basis of space $U_1\left(t\right)\mathrm{,}{U}_2\left(t\right)\mathrm{,}\cdots \mathrm{,}{U}_n\left(t\right)$.

Define the inner product over $E_k$

$\left(\left(\xi \mathrm{,}\eta \right)\mathrm{,}\left(\bar{\xi }\mathrm{,}\bar{\eta }\right)\right)=\left(D^{2m+k}\xi \mathrm{,}{D}^{2m+k}\bar{\xi }\right)+\left(D^k\eta \mathrm{,}{D}^k\bar{\eta }\right)\mathrm{.}$ (4.23)

To sum up, there are

$tr{F}_t\left(\Psi \left(\tau \right)\right)Q\left(\tau \right)={\displaystyle \underset{j=1}{\overset{n}{\sum }}}{\left(F_t\left(\Psi \left(\tau \right)\right)Q_n\left(\tau \right)w_j\left(\tau \right),w_j\left(\tau \right)\right)}_{E_k}.$ (4.24)

where

${\left(F_t\left(\Psi \left(\tau \right)\right)w_j\left(\tau \right),w_j\left(\tau \right)\right)}_{E_k}=-{\left({\Lambda }_{\epsilon }{w}_j,w_j\right)}_{E_k}-\left(g_t\left(u_t\right)w_j,w_j\right).$ (4.25)

$\begin{array}{l}{\left({\Lambda }_{\epsilon }{\omega }_j,{\omega }_j\right)}_{E_k}\\ =\left(\left(\epsilon {\xi }_j-{\eta }_j,\left(M{\Vert D^{m}u\Vert }_p^p-\beta \epsilon \right)A^{2m}{\xi }_j+{\epsilon }^2{\xi }_j+D{\xi }_j+\beta A^{2m}{\eta }_j-\epsilon {\eta }_j\right),\left({\xi }_j,{\eta }_j\right)\right)\\ =\epsilon {\Vert D^{2m+k}{\xi }_j\Vert }^2+\left(M{\Vert D^{m}u\Vert }_p^p-\beta \epsilon -1\right)\left(D^{2m+k}{\xi }_j,D^{2m+k}{\eta }_j\right)\\ +{\epsilon }^2\left(D^k{\xi }_j,D^k{\eta }_j\right)+\left(D^{k}D{\xi }_j,D^k{\eta }_j\right)+\beta {\Vert D^{2m+k}{\eta }_j\Vert }^2-\epsilon {\Vert D^k{\eta }_j\Vert }^2\end{array}$

$\begin{array}{l}\ge \epsilon {\Vert D^{2m+k}{\xi }_j\Vert }^2-\left(M-\beta \epsilon -1\right)\Vert D^{2m+k}{\xi }_j\Vert \Vert D^{2m+k}{\eta }_j\Vert +\beta {\Vert D^{2m+k}{\eta }_j\Vert }^2\\ -\epsilon {\Vert D^k{\eta }_j\Vert }^2-\frac{{\epsilon }^2}{{\lambda }_j^m}\Vert D^{2m+k}{\xi }_j\Vert \Vert D^k{\eta }_j\Vert \\ -p{M}^{\prime }{\Vert D^{m}u\Vert }_p^p{\Vert D^{m}u\Vert }_{{{\displaystyle L}}^{2p-2}\left(\Omega \right)}^{p-1}\Vert D^m{\xi }_j\Vert \Vert D^{2m+k}u\Vert \Vert D^{2m+k}{\eta }_j\Vert \end{array}$

$\begin{array}{l}\ge \left(\epsilon -\frac{\epsilon }{2}\right){\Vert D^{2m+k}{\xi }_j\Vert }^2+\left(\frac{\beta }{2}-\frac{1}{2\epsilon }\right){\Vert D^{2m+k}{\eta }_j\Vert }^2-\epsilon {\Vert D^k{\eta }_j\Vert }^2\\ -\frac{{\epsilon }^2}{2{\lambda }_j^m}\left({\Vert D^{2m+k}{\xi }_j\Vert }^2+{\Vert D^k{\eta }_j\Vert }^2\right)-\frac{C_{16}}{\beta }{\Vert D^m{\xi }_j\Vert }^2\\ \ge \left(\frac{\epsilon }{2}-\frac{{\epsilon }^2}{2{\lambda }_j^m}-\frac{C_{16}}{\beta {\lambda }_j^{\frac{m+k}{2}}}\right){\Vert D^{2m+k}{\xi }_j\Vert }^2+\left(\left(\frac{\beta }{2}-\frac{1}{2\epsilon }\right){\lambda }_1^m-\epsilon -\frac{{\epsilon }^2}{2{\lambda }_j^m}\right){\Vert D^k{\eta }_j\Vert }^2\\ -\frac{C_{16}}{\beta }{\Vert D^m{\xi }_j\Vert }^2\end{array}$ (4.26)

$a=\min \left\{\frac{\epsilon }{2}-\frac{{\epsilon }^2}{2{\lambda }_j^m}-\frac{C_{16}}{\beta {\lambda }_j^{\frac{m+k}{2}}},\left(\frac{\beta }{2}-\frac{1}{2\epsilon }\right){\lambda }_1^m-\epsilon -\frac{{\epsilon }^2}{2{\lambda }_j^m}\right\}.$

Present hypothesis $\left\{u_0,u_1\right\}\in A$, according to theorem 3.3, A is a bounded absorption set in $E_1$.

$\psi \left(t\right)=\left\{u\left(t\right),u_t\left(t\right)+\epsilon u\left(t\right)\right\}\in D\left(A\right)$ ; $D\left(A\right)=\left\{u\in v,Au\in H\right\}$, there is $s\in [0,1]$ with mapping $h_1\mathrm{<mo>\; :\; </mo>}D\left(A\right)\to p\left(v_s\mathrm{,}H\right)$

$R_A=\underset{\left(w,\eta \right)\in A}{\sup }\left|A\xi \right|<\infty ,$ (4.27)

$\underset{u\in D\left(A\right),\left|A_u<R_A\right|}{\sup }{\left|g_t\left(u_t\right)\right|}_{p\left(v_s,H\right)}\le R<\infty ,$ (4.28)

where $\Vert g_t\left(u_t\right){\omega }_j\mathrm{,}{\eta }_j\Vert$ satisfy

$\Vert g_t\left(u_t\right){\omega }_j\mathrm{,}{\eta }_j\Vert \le r{\Vert {\omega }_j\Vert }_s\Vert {\eta }_j\Vert \mathrm{.}$ (4.29)

Comprehensive the above contents are as follows

$\begin{array}{c}{\left(F_t\left(\psi \right){\omega }_j\mathrm{,}{\omega }_j\right)}_{E_k}\le -a\left({\Vert D^{2m+k}{\xi }_j\Vert }^2+{\Vert D^k{\eta }_j\Vert }^2\right)-\frac{C_{14}}{\beta }{\Vert D^m{\xi }_j\Vert }^2+r{\Vert {\omega }_j\Vert }_s\Vert {\eta }_j\Vert \\ \le -\frac{a}{2}\left({\Vert D^{2m+k}{\xi }_j\Vert }^2+{\Vert D^k{\eta }_j\Vert }^2\right)+\frac{r}{2}{\Vert {\xi }_j\Vert }^2\mathrm{.}\end{array}$ (4.30)

where

${\Vert D^{2m+k}{\xi }_j\Vert }^2+{\Vert D^k{\eta }_j\Vert }^2=1.$ (4.31)

${\displaystyle \underset{j=1}{\overset{n}{\sum }}{\left(F_t\left(\psi \left(\tau \right)\right){\omega }_j\left(\tau \right),{\omega }_j\left(\tau \right)\right)}_{E_k}}\le -\frac{na}{2}+\frac{r}{2}{\Vert {\xi }_j\Vert }^2.$ (4.32)

Almost any t has

${\displaystyle \underset{j=1}{\overset{n}{\sum }}{\Vert {\xi }_j\Vert }_s^2}\le {\displaystyle \underset{j=1}{\overset{n-1}{\sum }}{\lambda }_j^{s-1}}\mathrm{.}$ (4.33)

So

$T_r{F}_t\left(\psi \left(\tau \right)Q_n\left(\tau \right)\right)\le -\frac{na}{2}+\frac{r}{2}{\displaystyle \underset{j=1}{\overset{n-1}{\sum }}{\lambda }_j^{s-1}}.$ (4.34)

Set

$q_n\left(t\right)=\underset{{\psi }_0\in A}{\sup }\underset{D_j\in E_K,\left|D^K{\eta }_j\right|\le 1}{\sup }\left(\frac{1}{t}{\displaystyle \underset{0}{\overset{t}{\int }}}tr{F}_t\left(s\left(\tau \right){\psi }_0\right)Q_n\left(\tau \right)\right)\text{d}\tau .$ (4.35)

$q_N=\underset{t\to \infty }{\lim }\sup q_N.$ (4.36)

It can be known from (4.32)

$q_n\le -\frac{na}{2}+\frac{r}{2}{\displaystyle \underset{j=1}{\overset{n-1}{\sum }}{\lambda }_j^{s-1}}.$ (4.37)

Therefore, the Lyapunov exponent ${\mu }_j\left(j\in N\right)$ of $B_{0k}$ is uniformly bounded

${\mu }_1+{\mu }_2+\cdots +{\mu }_n\le -\frac{na}{2}+\frac{r}{2}{\displaystyle \underset{j=1}{\overset{n-1}{\sum }}{\lambda }_j^{s-1}}.$ (4.38)

From the above knowledge, there are $n>1$ and $s\in \left[0,1\right]$,

${{\displaystyle \left(q_j\right)}}_{+}\le -\frac{na}{2}+\frac{r}{2}{\displaystyle \underset{j=1}{\overset{n-1}{\sum }}{\lambda }_j^{s-1}}\le \frac{r}{2}{\displaystyle \underset{j=1}{\overset{n-1}{\sum }}{\lambda }_j^{s-1}}\le \frac{na}{7}.$ (4.39)

$q_n\le -\frac{na}{2}\left(1-\frac{r}{na}{\displaystyle \underset{j=1}{\overset{n-1}{\sum }}{\lambda }_j^{s-1}}\right)\le -\frac{5na}{14}\mathrm{.}$ (4.40)

So

$\underset{1\le j\le n}{\max }\frac{{{\displaystyle \left(q_j\right)}}_{+}}{\left|q_n\right|}\le \frac{2}{5}\mathrm{.}$ (4.41)

Thus, we can get the conclusion

$d_H\left(A_k\right)<\frac{2n}{5},d_F\left(A_k\right)<\frac{7n}{5}.$ (4.42)

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Nakao, M. and Yang, Z.J. (2007) Gobal Attractor for Some Quasi-Linear Wave Equations with a Strong Dissipation. Advances in Mathematical Sciences and Applications, 17, 89-105.
[2]	Fan, X.M. and Zhou, S.F. (2004) Kernel Sections for Non-Autonomous Strongly Damped Wave Equation of Non-Degnerate Kirchhoff-Type. Applied Mathematics and Computation, 158, 253-266. https://doi.org/10.1016/j.amc.2003.08.147
[3]	Messaoudi, S.A. and Houari, B.Said. (2007) A Blow-Up Result for Ahigher-Order Nonlinear Kirchhoff-Type Hyperbolic Equation. Appiled Mathematics Letters, 20, 866-871. https://doi.org/10.1016/j.aml.2006.08.018
[4]	Li, F.C. (2004) Global Existence and Blow-Up of Solutions for a Higher-Order Kirchhoff-Type Equation with Nonlinear Dissipation. Applied Mathematics Letters, 17, 1409-1414. https://doi.org/10.1016/j.am1.2003.07.014
[5]	Yang, Z.J. and Jin, B.X. (2009) Global Attractor for a Class of Kirchhoff Models. Journal of Mathematical Physics, 50, Article ID: 032701. https://doi.org/10.1063/1.3085951
[6]	Cheng, J.L. and Yang, Z.J. (2011) Asymptotic Behavior of the Kirchhoff Type Equation. Acta Mathematica Scientia, 31, 1008-1021.
[7]	Lin, G.G. and Wang, W. (2017) The Global Attractors for the Higher-Order Nonlinear Kirchhoff-Type Equation with Nonlinear Damped Terms. European Journal of Mathematics and Computer Science, 4, 25-36.
[8]	Lin, G.G. and Zhu, C.Q. (2019) Asymptotic State of Solutions for a Class of Nonlinear Higher Order Kirchhoff Type Equations. Journal of Yunnan University: Natural Sciences Edition, 41, 867-875.
[9]	Lin, G.G. (2019) Dynamic Properties of Several Kinds of the K Equations. Chong-qing University Press, Chongqing.
[10]	Yang, Z.J., Ding, P.Y. and Li, L. (2016) Longtime Dynamics of the Kirchhoff Equation with Fractional Damping and Supercritical Nonlinearity. Journal of Mathematical Analysis and Applications, 442, 485-510. https://doi.org/10.1016/j.jmaa.2016.04.079
[11]	Lin, G.G. and Guan, L.P. (2019) The Family of Global Attractor and Their Dimension Estimates for Strongly Damped High-Order Kirchhoff Equation. Acta Analysis Functionalis Applicata, 21, 268-281.
[12]	Lin, G.G. and Yang, S.M. (2017) Hausdorff Dimension and Fractal Dimension of the Global Attractor for the Higher-Order Coupled Kirchhoff-Type Equations. Journal of Applied Mathematics and Physics, 5, 2411-2424. https://doi.org/10.4236/jamp.2017.512197
[13]	Gao, Y.L., Sun, Y.T. and Lin, G.G. (2016) The Global Attractors and Their Hausdorff and Fractal Dimensions Estimation for the Higher Order Nonlinear Kirchhoff-Type Equation with Strong Linear Damping. International Journal of Modern Nonlinear Theory and Application, 5, 185-202. https://doi.org/10.4236/ijmnta.2016.54018
[14]	Lin, G.G. and Chen, Y.H. (2020) A Family of Global Attractors for the Higher-Order Kirchhoff-Type Equations and Its Dimension Estimation. American Journal of Applied Mathematics, 8.
[15]	Yang, Z.J. and Wang, Y.Q. (2010) Global Attractor for the Kirchhoff Type Equations with a Strong Dissipation. Journal of Differential Equations, 249, 3258-3278. https://doi.org/10.1016/j.jde.2010.09.024