Existence of solutions to strongly damped quasilinear wave equations

Abstract

In this paper, we study the strongly damped quasilinear wave equation. By using spatial sequence techniques and energy estimate methods, we obtain the existence theorem of the solution to abstract a strongly damped wave equation and to a class of strongly damped quasilinear wave equations.

MSC:35L05, 35L20, 35D30, 35D35.

1 Introduction

This paper is concerned with the following initial-boundary problem of strongly damped quasilinear wave equations:

$$\{\begin{array}{c}\frac{{\partial }^{2}u}{\partial t^2}-k\frac{\partial \mathrm{\Delta }u}{\partial t}=-{\sum }_{|\alpha |\le m}{(-1)}^{|\alpha |}{D}^{\alpha }{A}_{\alpha }(x,u,\dots ,D^{m}u)+g(x,u,\dots ,D^{m}u),\hfill \\ u{|}_{\partial \mathrm{\Omega }}=\cdots =D^{m-1}u{|}_{\partial \mathrm{\Omega }}=0,\hfill \\ u(x,0)=\phi ,u_t(x,0)=\psi ,\hfill \end{array}$$

(1.1)

where $k>0$, $m\ge 1$, Δ is the Laplacian operator, Ω denotes an open bounded set of $R^n$ with smooth boundary ∂ Ω, and u denotes vertical displacement at $(x,t)$.

Equation (1.1) is a quasilinear wave equation with strong damping, which has many applications. The existence and asymptotic behavior for the strongly damped wave equations have been extensively studied by many authors [1–15]. Local well-posedness for strongly damped wave equations with critical nonlinearities is studied in [2]. The existence and asymptotic behavior for a strongly damped nonlinear wave equation have been concerned in [1, 3–9, 12–15]. Fan [10] investigated the existence and the continuity of the inflated attractors for a class of nonautonomous strongly damped wave equations through differential inclusion. Li [11] obtained the existence of a global periodic attractor attracting any bounded set exponentially in the phase space by introducing a new norm, which is equivalent to the usual norm.

The quasilinear wave equation has been investigated by many authors in the last years [16–28]. In [16–20], it is considered the boundary value problem for the quasilinear wave equation. Under certain assumptions, the global smooth solvability is obtained. It has been shown by Alinhac [21, 22] that the null condition implies global existence of smooth solutions in two space dimensions. Zhang [23] studies the global existence, singularities, and life span of smooth solutions of the Cauchy problem for a class of quasilinear hyperbolic systems with higher order dissipative terms and gives their applications to nonlinear wave equations with higher order dissipative terms. Metcalfe and Sogge [24] give a simple proof of global existence for quadratic quasilinear Dirichlet-wave equations outside of a wide class of compact obstacles in the critical case where the spatial dimension is three. Yin [25] gives the lower bound of a lifespan of classical solutions and discusses the long time asymptotic behavior of solutions away from the blowup time. Weidemaier [26] establishes local (in time) existence of classical solutions to the initial-boundary value problem for a quasilinear wave equation. In [27], the existence and uniqueness of the classical solutions for the initial value problems and the first boundary problems of a quasilinear wave equation are proved by the Galerkin method. In [28], the numerical solution for a type of quasilinear wave equation is studied. The three-level difference scheme for quasilinear waver equation with strong dissipative term is constructed and the convergence is proved.

The strongly damped wave equations and the quasilinear wave equation have a lot of results. But up to now, we find several results on the strongly damped quasilinear wave equation. Chen [29] shows that the initial boundary value problem for the strongly damped quasilinear wave equation has a global solution and that there exists a compact global attractor with finite dimension. Comparing Eq. (1.1) and [29], we find that $A_{\alpha }(x,u,\dots ,D^{m}u)=\sigma {(u_x)}_x$, $g(x,u,\dots ,D^{m}u)=-f(u)+g(x)$, and $x\in \mathrm{\Omega }=[0,1]$. In this article, our interest is to study that Eq. (1.1) has a solution under which condition of A and g. This article uses the spatial sequence techniques, each side of the equation to be treated in different spaces, which is an important way to get more extensive and wonderful results.

The outline of the paper is as follows. In Section 2, we provide essential preliminaries, which include definitions and lemmas from [30]. In Section 3, we give existence of solutions to abstract strongly damped wave equations. In Section 4, we present the main results and their proof. Existence of solutions to a class of strongly damped quasilinear wave equations is given.

2 Preliminaries

We introduce two spatial sequences:

$$\{\begin{array}{c}X\subset H_3\subset X_2\subset X_1\subset H,\hfill \\ X_2\subset H_2\subset H_1\subset H,\hfill \end{array}$$

(2.1)

where H, $H_1$, $H_2$, $H_3$ are Hilbert spaces, X is a linear space, and $X_1$, $X_2$ are Banach spaces. All imbeddings of (2.1) are dense. Let

$$\{\begin{array}{c}L:X\to X_1\text{is one-one dense linear operator},\hfill \\ {〈Lu,v〉}_H={〈u,v〉}_{H_1},\mathrm{\forall }u,v\in X.\hfill \end{array}$$

(2.2)

Furthermore, L has eigenvectors $\{e_k\}$ satisfying

$$L{e}_k={\lambda }_k{e}_k(k=1,2,\dots ),$$

(2.3)

and $\{e_k\}$ constitutes a common orthogonal basis of H and $H_3$.

We consider the following abstract equation:

$$\{\begin{array}{c}\frac{d^{2}u}{d{t}^2}+k\frac{d}{dt}\mathcal{L}u=G(u),k>0,\hfill \\ u(0)=\phi ,u_t(0)=\psi ,\hfill \end{array}$$

(2.4)

where $G:X_2\times R^{+}\to X_1^{\ast }$ is a map, $R^{+}=[0,\mathrm{\infty })$ and $\mathcal{L}:X_2\to X_1$ is a bounded linear operator satisfying

$${〈\mathcal{L}u,Lv〉}_H={〈u,v〉}_{H_2},\mathrm{\forall }u,v\in X_2.$$

(2.5)

Definition 2.1 We say $u\in W^{1,\mathrm{\infty }}((0,T),H_1)\cap L^{\mathrm{\infty }}((0,T),X_2)$ is a global weak solution of Eq. (2.4) provided that $(\phi ,\psi )\in X_2\times H_1$

$${〈u_t,v〉}_H+k{〈\mathcal{L}u,v〉}_H={\int }_0^t〈G(u),v〉dt+{〈\psi ,v〉}_H+k{〈\mathcal{L}\phi ,v〉}_H,$$

(2.6)

for all $v\in X_1$ and $0\le t\le T<\mathrm{\infty }$.

Definition 2.2 Let $u_n,u_0\in L^p((0,T),X_2)$. We say $u_n\rightharpoonup u_0$ in $L^p((0,T),X_2)$ is uniformly weakly convergent if $\{u_n\}\subset L^p((0,T),H)$ is bounded, and

$$\{\begin{array}{c}{u}_n\rightharpoonup u_0\text{in }{L}^p((0,T),X_2),\hfill \\ {lim}_{n\to \mathrm{\infty }}{\int }_0^T{|{〈u_n-u_0,v〉}_H|}^{2}dt=0,\mathrm{\forall }v\in H.\hfill \end{array}$$

(2.7)

Definition 2.3 We say that a map $G:X_2\times (0,\mathrm{\infty })\to X_1^{\ast }$ is T-coercive weakly continuous if for all $\{u_n\}\subset L_{\mathrm{loc}}^p((0,\mathrm{\infty }),X_2)\cap L_{\mathrm{loc}}^{\mathrm{\infty }}((0,\mathrm{\infty }),H)$, $u_n\rightharpoonup u_0$ in $L^p((0,T),X_2)$ is uniformly weakly convergent, and

$$\underset{n\to \mathrm{\infty }}{lim}{\int }_0^t|〈G{u}_n-G{u}_0,L{u}_n-L{u}_0〉|dt=0,0<T<\mathrm{\infty },$$

then

$$\underset{n\to \mathrm{\infty }}{lim}{\int }_0^t|〈G{u}_n,v〉|dt=\underset{n\to \mathrm{\infty }}{lim}{\int }_0^T|〈G{u}_0,v〉|dt,\mathrm{\forall }v\in X_1,0<t<\mathrm{\infty }.$$

Lemma 2.4 ([30])

Let$\{u_n\}\in L^p((0,T),W^{m,p}(\mathrm{\Omega }))$ ($m\ge 1$) be bounded sequences, and$\{u_n\}$uniformly weakly convergent to$\{u_0\}\in L^p((0,T),W^{m,p}(\mathrm{\Omega }))$. Then, for all$|\alpha |\le m-1$, it follows that

$$D^{\alpha }{u}_n\to D^{\alpha }{u}_0\mathit{\text{in}}{L}^2((0,T)\times \mathrm{\Omega }).$$

(2.8)

Lemma 2.5 ([30])

Let$\mathrm{\Omega }\subset R^n$be a open set, and$f:\mathrm{\Omega }\times R^N\to R^1$satisfy the Caratheodory condition and

$$|f(x,\xi )|\le C\sum _{i=1}^N{|{\xi }_i|}^{\frac{p_i}{p}}+b(x).$$

(2.9)

If$\{u_{i_k}\}\subset L^{p_i}(\mathrm{\Omega })$ ($1\le i\le N$) is bounded and$u_{i_k}$convergent to$u_i$in${\mathrm{\Omega }}_0$for all bounded${\mathrm{\Omega }}_0\subset \mathrm{\Omega }$, then for all$v\in L^{p^{\prime }}$, the following equality holds:

$$\underset{k\to \mathrm{\infty }}{lim}{\int }_{\mathrm{\Omega }}f(x,u_{1_k},\dots ,u_{N_k})vdx={\int }_{\mathrm{\Omega }}f(x,u_1,\dots ,u_N)vdx.$$

3 Existence of solutions to abstract equations

Let $G=A+B:X_2\times R^{+}\to X_1^{\ast }$. Assume:

(A1) There is a $C^1$ functional $F:X_2\to R^1$ such that

$$〈Au,Lv〉=〈-DF(u),v〉,\mathrm{\forall }u,v\in X.$$

(3.1)

(A2) Functional $F:X_2\to R^1$ is coercive, i.e.,

$$F(u)\to \mathrm{\infty }\iff {\parallel u\parallel }_{X_2}\to \mathrm{\infty }.$$

(3.2)

(A3) B satisfies

$$|〈Bu,Lv〉|\le C_{1}F(u)+\frac{k}{2}{\parallel v\parallel }_{H_1}^2+g(t),\mathrm{\forall }u,v\in X,$$

(3.3)

for $g\in L_{\mathrm{loc}}^1(0,\mathrm{\infty })$.

Theorem 3.1 If$G:X_2\times R^{+}\to X_1^{\ast }$is T-coercively weakly continuous, and

$$\underset{n\to \mathrm{\infty }}{lim}{\int }_0^t|〈G{u}_n-G{u}_0,L{u}_n-L{u}_0〉|dt+\underset{n\to \mathrm{\infty }}{lim}{\parallel u_n-u_0\parallel }_{H_2}^2=0,$$

then for all$(\phi ,\psi )\in X_2\times H_1$, then the following assertions hold:

• (1) If $G=A$ satisfies (A 1) and (A 2), then Eq. (2.4) has a global weak solution

  $$u\in W^{1,\mathrm{\infty }}((0,\mathrm{\infty }),H_1)\cap W^{1,2}((0,\mathrm{\infty }),H_2)\cap L^{\mathrm{\infty }}((0,\mathrm{\infty }),X_2).$$

  (3.4)

• (2) If $G=A+B$ satisfies (A 1)-(A 3), then Eq. (2.4) has a global weak solution

  $$u\in W_{\mathrm{loc}}^{1,\mathrm{\infty }}((0,\mathrm{\infty }),H_1)\cap W_{\mathrm{loc}}^{1,2}((0,\mathrm{\infty }),H_2)\cap L_{\mathrm{loc}}^{\mathrm{\infty }}((0,\mathrm{\infty }),X_2).$$

  (3.5)

• (3) Furthermore, if $\mathcal{L}:X_2\to X_1$ is a symmetric sectorial operator, i.e., $〈\mathcal{L}u,v〉=〈u,\mathcal{L}v〉$, and $G=A+B$ satisfies

  $$|〈Gu,v〉|\le CF(u)+\frac{1}{2}{\parallel v\parallel }_H^2+g(t),$$

  (3.6)

for$g\in L^1(0,T)$, then$u\in W_{\mathrm{loc}}^{2,2}((0,\mathrm{\infty });H)$.

Proof Let $\{e_k\}\subset X$ be a common orthogonal basis of H and $H_3$, satisfying (2.3). Set

$$\{\begin{array}{c}{X}_n=\{{\sum }_{i=1}^n{\alpha }_i{e}_i|{\alpha }_i\in R^1\},\hfill \\ {\tilde{X}}_n=\{{\sum }_{j=1}^n{\beta }_j(t)e_j|{\beta }_j(t)\in C^2[0,\mathrm{\infty })\}.\hfill \end{array}$$

(3.7)

Clearly, $L{X}_n=X_n$, $L{\tilde{X}}_n={\tilde{X}}_n$.

By using the Galerkin method, there exists $u_n\in C^2([0,\mathrm{\infty }),X_n)$ satisfying

$$\{\begin{array}{c}{〈\frac{d{u}_n}{dt},v〉}_H+k{〈\mathcal{L}{u}_n,v〉}_H={\int }_0^t〈G(u_n),v〉dt+{〈{\psi }_n,v〉}_H+k{〈\mathcal{L}{\phi }_n,v〉}_H,\hfill \\ u_n(0)={\phi }_n,u_n^{\prime }(0)={\psi }_n,\hfill \end{array}$$

(3.8)

for $\mathrm{\forall }v\in X_n$, and

$${\int }_0^t[{〈\frac{d^2{u}_n}{d^{2}t},v〉}_H+k{〈\mathcal{L}\frac{d{u}_n}{dt},v〉}_H]dt={\int }_0^t〈G{u}_n,v〉dt$$

(3.9)

for $\mathrm{\forall }v\in {\tilde{X}}_n$.

Firstly, we consider $G=A$. Let $v=\frac{d}{dt}L{u}_n$ in (3.9). Taking into account (2.2) and (3.1), it follows that

$$\begin{array}{rcl}0& =& {\int }_0^t[\frac{1}{2}\frac{d}{dt}{〈\frac{d{u}_n}{dt},\frac{d{u}_n}{dt}〉}_{H_1}+k{〈\frac{d{u}_n}{dt},\frac{d{u}_n}{dt}〉}_{H_2}+〈DF(u_n),\frac{d{u}_n}{dt}〉]dt\\ =& \frac{1}{2}{\parallel \frac{d{u}_n}{dt}\parallel }_{H_1}^2-\frac{1}{2}{\parallel {\psi }_n\parallel }_{H_1}^2+k{\int }_0^t{\parallel \frac{d{u}_n}{dt}\parallel }_{H_2}^{2}dt+F(u_n)-F({\phi }_n).\end{array}$$

We get

$$\frac{1}{2}{\parallel \frac{d{u}_n}{dt}\parallel }_{H_1}^2+k{\int }_0^t{\parallel \frac{d{u}_n}{dt}\parallel }_{H_2}^{2}dt+F(u_n)=F({\phi }_n)+\frac{1}{2}{\parallel {\psi }_n\parallel }_{H_1}^2.$$

(3.10)

Let $\phi \in H_3$. From (2.1) and (2.2), it is known that $\{e_n\}$ is an orthogonal basis of $H_1$. We find that ${\phi }_n\to \phi$ in $H_3$, and ${\psi }_n\to \psi$ in $H_1$. From that $H_3\subset X_2$ is an imbedding, it follows that

$$\{\begin{array}{cc}{\phi }_n\to \phi \hfill & \text{in }{X}_2,\hfill \\ {\psi }_n\to \psi \hfill & \text{in }{H}_1.\hfill \end{array}$$

(3.11)

From (3.2), (3.10), and (3.11), we obtain

$$\{u_n\}\subset W^{1,\mathrm{\infty }}((0,\mathrm{\infty }),H_1)\cap W^{1,2}((0,\mathrm{\infty }),H_2)\cap L^{\mathrm{\infty }}((0,\mathrm{\infty }),X_2)\text{is bounded}.$$

Let

$$\{\begin{array}{cc}{u}_n\rightharpoonup u_0\hfill & \text{in }{W}^{1,\mathrm{\infty }}((0,\mathrm{\infty }),H_1)\cap L^{\mathrm{\infty }}((0,\mathrm{\infty }),X_2),\hfill \\ u_n\rightharpoonup u_0\hfill & \text{in }{W}^{1,2}((0,\mathrm{\infty }),H_2),\hfill \end{array}$$

(3.12)

which implies that $u_n\to u_0$ in $W^{1,2}((0,\mathrm{\infty }),H)$ is uniformly weakly convergent from that $H_2\subset H$ is a compact imbedding.

If we have the following equality,

$$\underset{n\to \mathrm{\infty }}{lim}[-{\int }_0^t|〈G{u}_n-G{u}_0,L{u}_n-L{u}_0〉|dt+\frac{k}{2}{\parallel u_n-u_0\parallel }_{H_2}]=0,$$

(3.13)

then $u_0$ is a weak solution of Eq. (2.4) in view of (3.8), (3.12), and T-coercively weakly continuous of G.

We will show (3.13) as follows. It follows that from (2.5)

$$\begin{array}{rcl}{\int }_0^t{〈\frac{d}{dt}\mathcal{L}{u}_n-\frac{d}{dt}\mathcal{L}{u}_0,L{u}_n-L{u}_0〉}_{H}dt& =& \frac{1}{2}{\int }_0^t\frac{d}{dt}{〈u_n-u_0,u_n-u_0〉}_{H_2}dt\\ =& \frac{1}{2}{\parallel u_n(t)-u_0(t)\parallel }_{H_2}^2-\frac{1}{2}{\parallel {\phi }_n-\phi \parallel }_{H_2}^2.\end{array}$$

Taking into account (2.2), (2.5) and (3.9), we get that

From (2.1) and (3.12), we have

Then we get

(3.14)

In view of (3.9), (3.12), we obtain for all $v\in {\bigcup }_{n=1}^{\mathrm{\infty }}{\tilde{X}}_n$

$$\begin{array}{rcl}\underset{n\to \mathrm{\infty }}{lim}{\int }_0^t〈G{u}_n,Lv〉dt& =& {\int }_0^t[k{〈\frac{d{u}_0}{dt},v〉}_{H_2}-{〈\frac{d{u}_0}{dt},\frac{dv}{dt}〉}_{H_1}]dt\\ +{〈\frac{d{u}_0}{dt},v〉}_{H_1}-{〈\psi ,v(0)〉}_{H_1}.\end{array}$$

(3.15)

Since ${\bigcup }_{n=1}^{\mathrm{\infty }}{\tilde{X}}_n$ is dense in $W^{1,2}((0,T),H_2)\cap L^p((0,T),X_2)$, $\mathrm{\forall }p<\mathrm{\infty }$, (3.15) holds for all $v\in W^{1,2}((0,T),H_2)\cap L^p((0,T),X_2)$. Thus, we have

$$\begin{array}{rcl}\underset{n\to \mathrm{\infty }}{lim}{\int }_0^t〈G{u}_n,L{u}_0〉dt& =& {\int }_0^t[k{〈\frac{d{u}_0}{dt},u_0〉}_{H_2}-{\parallel \frac{d{u}_0}{dt}\parallel }_{H_1}^2]dt\\ +{〈\frac{d{u}_0}{dt},u_0〉}_{H_1}-{〈\psi ,\phi 〉}_{H_1}.\end{array}$$

(3.16)

From (3.12) and $H_2\subset H_1$ is compact imbedding, it follows that

Clearly,

$$\underset{n\to \mathrm{\infty }}{lim}{\int }_0^t{〈\frac{d{u}_n}{dt},u_n〉}_{H_1}dt={\int }_0^t{〈\frac{d{u}_0}{dt},u_0〉}_{H_1}dt.$$

Then (3.13) follows from (3.14)-(3.16), which imply assertion (1).

Secondly, we consider $G=A+B$. Let $v=\frac{d}{dt}L{u}_n$ in (3.9). In view of (2.2) and (3.1), it follows that

$$\frac{1}{2}{\parallel \frac{d{u}_n}{dt}\parallel }_{H_1}^2+k{\int }_0^t{\parallel \frac{d{u}_n}{dt}\parallel }_{H_2}^{2}dt+F(u_n)={\int }_0^t〈B(u_n),\frac{d}{dt}L{u}_n〉dt+F({\phi }_n)+\frac{1}{2}{\parallel {\psi }_n\parallel }_{H_1}^2.$$

From (3.3), we have

$$\frac{1}{2}{\parallel \frac{d{u}_n}{dt}\parallel }_{H_1}^2+F(u_n)+k{\int }_0^t{\parallel \frac{d{u}_n}{dt}\parallel }_{H_2}^{2}dt\le C{\int }_0^t[F(u_n)+\frac{1}{2}{\parallel \frac{d{u}_n}{dt}\parallel }_{H_1}^2]dt+f(t),$$

(3.17)

where $f(t)={\int }_0^{t}g(\tau )d\tau +\frac{1}{2}{\parallel \psi \parallel }_{H_1}^2+{sup}_{n}F({\phi }_n)$.

By using the Gronwall inequality, it follows that

$$\frac{1}{2}{\parallel \frac{d{u}_n}{dt}\parallel }_{H_1}^2+F(u_n)\le f(0)e^{Ct}+{\int }_0^{t}f(\tau )e^{C(t-\tau )}d\tau ,$$

(3.18)

which implies that for all $0<T<\mathrm{\infty }$,

$$\{u_n\}\subset W^{1,\mathrm{\infty }}((0,T),H_1)\cap L^{\mathrm{\infty }}((0,T),X_2)\text{is bounded}.$$

From (3.17) and (3.18), it follows that

$$\{u_n\}\subset W^{1,2}((0,T),H_2)\text{is bounded}.$$

Let

$$\{\begin{array}{cc}{u}_n\rightharpoonup u_0\hfill & \text{in }{W}^{1,\mathrm{\infty }}((0,T),H_1)\cap L^{\mathrm{\infty }}((0,T),X_2),\hfill \\ u_n\rightharpoonup u_0\hfill & \text{in }{W}^{1,2}((0,T),H_2),\hfill \end{array}$$

(3.19)

which implies that $u_n\to u_0$ in $W^{1,2}((0,T),H)$ is uniformly weakly convergent from that $H_2\subset H$ is an compact imbedding.

The left proof is same as assertion (1).

Lastly, assume (3.6) holds. Let $v=\frac{d^2{u}_n}{d^{2}t}$ in (3.9). It follows that

From (3.18), the above inequality implies

$${\int }_0^t{\parallel \frac{d^2{u}_n}{d{t}^2}\parallel }_H^{2}d\tau \le C(C>0\text{ is constant}).$$

(3.20)

We see that for all $0<T<\mathrm{\infty }$, $\{u_n\}\subset W^{2,2}((0,T),H)$ is bounded. Thus, $u\in W^{2,2}((0,T),H)$. □

4 Main result

We consider the strongly damped quasilinear wave equations (1.1). We give the following assumption for (1.1). There exists an $C^1$ function $F(x,\zeta )$, where $\zeta =\{{\zeta }_{\alpha }||\alpha |\le m\}$, ${\zeta }_{\alpha }$ corresponds to $D^{\alpha }u$ such that

(4.1)

(4.2)

(4.3)

where $\lambda >0$, $\eta =\{{\eta }_{\beta }||\beta |=m\}$, $\xi =\{{\xi }_{\alpha }||\alpha |\le m-1\}$,

(4.4)

(4.5)

Definition 4.1 We say $u\in W_{\mathrm{loc}}^{1,2}((0,\mathrm{\infty }),L^2(\mathrm{\Omega }))\cap L_{\mathrm{loc}}^{\mathrm{\infty }}((0,\mathrm{\infty }),W_0^{m,p}(\mathrm{\Omega }))$ is the weak solution of (1.1), if $u(0)=\phi$, and for $\mathrm{\forall }v\in C_0^{\mathrm{\infty }}(\mathrm{\Omega })$, the following equality holds:

(4.6)

Theorem 4.2 Under conditions (4.1)-(4.5), for$(\phi ,\psi )\in W_0^{m,p}(\mathrm{\Omega })\times L^p(\mathrm{\Omega })$, there exists a global weak solution for (1.1)

Proof We introduce spatial sequences

Define map $G=A+B:X_2\to X_1^{\ast }$ by

We show that $G=A+B:X_2\to X_1^{\ast }$ is T-coercively weakly continuous. Let $\{u_n\}\subset L^{\mathrm{\infty }}(0,T,W^{2,p}(\mathrm{\Omega })\cap W_0^{1,p}(\mathrm{\Omega }))$ satisfying (2.7) and

(4.7)

We need prove that

(4.8)

From (2.7) and Lemma 2.4, we obtain

$$u_n\to u_0,D{u}_n\to D{u}_0,\dots ,D^{m-1}{u}_n\to D^{m-1}{u}_0,\text{in }{L}^2((0,T)\times \mathrm{\Omega }).$$

(4.9)

We have the deformation

(4.10)

From (4.9), (4.4), (4.5), and Lemma 2.5, we have

(4.11)

(4.12)

From (4.7), (4.3), (4.10)-(4.12), it follows that

$$\begin{array}{rcl}0& =& {\int }_0^T{\int }_{\mathrm{\Omega }}\left[\right(\sum _{|\alpha |\le m}{A}_{\alpha }(x,u_n,\dots ,D^{m-1}{u}_n,D^m{u}_n)\\ -\sum _{|\alpha |\le m}{A}_{\alpha }(x,u_n,\dots ,D^{m-1}{u}_n,D^m{u}_0)\left)(D^{\alpha }{u}_n-D^{\alpha }{u}_0)\right]dxdt\\ \ge & \lambda {\int }_0^T{\int }_{\mathrm{\Omega }}{|D^m{u}_n-D^m{u}_0|}^{2}dxdt.\end{array}$$

Since $\lambda >0$, we have

$$\underset{n\to \mathrm{\infty }}{lim}{\int }_0^T{\int }_{\mathrm{\Omega }}{|D^m{u}_n-D^m{u}_0|}^{2}dxdt=0.$$

(4.13)

From (4.9), (4.13), (4.4), (4.5), and Lemma 2.5, we get (4.8). Hence, $G=A+B:X_2\to X_1^{\ast }$ is T-coercively weakly continuous.

From (4.1) and (4.2), we get

which imply conditions (A1), (A2) of Theorem 3.1.

We will show (3.3) as follows. It follows that

$$\begin{array}{rcl}|〈Bu,Lv〉|& =& {\int }_{\mathrm{\Omega }}\left|g(x,u,\dots ,D^{m}u)\right||v|dx\\ \le & \frac{k}{2}{\int }_{\mathrm{\Omega }}{|v|}^{2}dx+\frac{2}{k}{\int }_{\mathrm{\Omega }}{\left|g(x,u,\dots ,D^{m}u)\right|}^{2}dx\\ \le & \frac{k}{2}{\parallel v\parallel }_{H_2}^2+C{\int }_{\mathrm{\Omega }}{[\sum _{|\alpha |\le m}{|\zeta |}^{\frac{p}{2}}+1]}^{2}dx\\ \le & \frac{k}{2}{\parallel v\parallel }_{H_2}^2+CF(u)+C,\end{array}$$

which implies condition (A3) of Lemma 2.4. From Lemma 2.4, Eq. (1.1) has a solution

satisfying

 □