Existence and exponential decay estimates for an N-dimensional nonlinear wave equation with a nonlocal boundary condition

Abstract

Motivated by the recent known results as regards the existence and exponential decay of solutions for wave equations, this paper is devoted to the study of an N-dimensional nonlinear wave equation with a nonlocal boundary condition. We first state two local existence theorems. Next, we give a sufficient condition to guarantee the global existence and exponential decay of weak solutions. The main tools are the Faedo-Galerkin method and the Lyapunov method.

1 Introduction

In this paper, we consider the following initial-boundary value problem:

$$\begin{aligned}& u_{tt}-\Delta u+Ku+\lambda u_{t}=a\vert u\vert ^{p-2}u+f(x,t), \quad x\in\Omega, t>0, \end{aligned}$$

(1.1)

$$\begin{aligned}& -\frac{\partial u}{\partial\nu}(x,t)=g(x,t)+ \int _{\Omega }h(x,y,t)u(y,t)\, dy,\quad x\in\partial\Omega, t \geq0, \end{aligned}$$

(1.2)

$$\begin{aligned}& u(x,0)=u_{0}(x),\qquad u_{t}(x,0)=u_{1}(x), \end{aligned}$$

(1.3)

where Ω is a bounded domain in $\mathbb{R}^{N}$ with a smooth boundary ∂Ω, ν is the unit outward normal on ∂Ω; $a=\pm1$, K, λ, p are given constants, and $u_{0}$, $u_{1}$, f, g, h are given functions satisfying conditions specified later.

The wave equation

$$ u_{tt}-\Delta u=f(x,t,u,u_{t}), $$

(1.4)

with different boundary conditions, has been extensively studied by many authors, for example, we refer to [1–25] and the references given therein. In these works, many interesting results about the existence, regularity and the asymptotic behavior of solutions were obtained. In [3], Beilin investigated the existence and uniqueness of a generalized solution for the following wave equation with an integral nonlocal condition:

$$ \left \{ \textstyle\begin{array}{l} u_{tt}-\Delta u+c(x,t)u=f(x,t),\quad (x,t)\in Q=\Omega\times (0,T), \\ \frac{\partial u}{\partial\nu}+\int _{0}^{t}\int _{ \Omega}k(x,\xi,\tau)u(\xi,\tau)\, d\xi\, d\tau=0, \quad (x,t)\in\partial \Omega\times [0,T ), \\ u(x,0)=u_{0}(x), \qquad u_{t}(x,0)=u_{1}(x),\quad x\in\Omega,\end{array}\displaystyle \right . $$

(1.5)

where Ω is a bounded domain in $\mathbb{R}^{N}$ with a smooth boundary, ν is the unit outward normal on ∂Ω, f, $u_{0}$, $u_{1}$, $k(x,\xi,\tau)$ are given functions. Nonlocal conditions come up when values of the function on the boundary is connected to values inside the domain. There are various type of nonlocal boundary conditions of integral form for hyperbolic, parabolic or elliptic equations, introduced in [3]. In [4], the following problem was considered:

$$ \left \{ \textstyle\begin{array}{l} u_{tt}-\Delta u+g(u_{t})+f(u)=0,\quad x\in\Omega, t>0, \\ u=0,\quad x\in\partial\Omega, t\geq0, \\ u(x,0)=u_{0}(x), \qquad u_{t}(x,0)=u_{1}(x),\quad x\in\Omega,\end{array}\displaystyle \right . $$

(1.6)

where $f(u)=-b|u|^{p-2}u$, $g(u_{t})=a(1+|u_{t}|^{m-2})u_{t}$, $a, b>0$, $m, p>2$, and Ω is a bounded domain of $\mathbb{R}^{N}$, with a smooth boundary ∂Ω. Benaissa and Messaoudi showed that for suitably chosen initial data, (1.6) possesses a global weak solution, which decays exponentially even if $m>2$. The proof of the global existence is based on the use of the potential well theory.

As [4], Messaoudi [10] also showed the problem (1.6), with $f(u)=b|u|^{p-2}u$, $b>0$ has a unique global solution with energy decaying exponentially for any initial data $( u_{0},u_{1} ) \in H^{1}(\Omega)\times L^{2}(\Omega)$. So if $f(u)=b|u|^{p-2}u$, and $g(u_{t})=|u_{t}|^{m-2}u_{t}$, Nakao [16] showed that (1.6) has a unique global weak solution if $0\leq p-2\leq\frac{2}{N-2}$, $N\geq 3$, and a global unique strong solution if $p-2>\frac{2}{N-2}$, $N\geq3$ (of course if $N=1$ or $N=2$ then the only requirement is $p\geq2$). On the other hand, in both cases it has been shown that the energy of the solution decays algebraically if $m>2$ and decays exponentially if $m=2$. Also as [4], Nakao and Ono [17] extended this result to the Cauchy problem,

$$ \left \{ \textstyle\begin{array}{l} u_{tt}-\Delta u+\lambda^{2}(x)u+g(u_{t})+f(u)=0,\quad x\in \mathbb{R}^{N}, t>0, \\ u(x,0)=u_{0}(x),\qquad u_{t}(x,0)=u_{1}(x),\quad x\in \mathbb{R}^{N}, \end{array}\displaystyle \right . $$

(1.7)

where $g(u_{t})$ behaves like $|u_{t}|^{m-2}u_{t}$, $f(u)$ behaves like $-|u|^{p-2}u$ and the initial data $(u_{0},u_{1})$ is small enough in $H^{1}(\Omega)\times L^{2}(\Omega)$. Later on, Ono [19] studied the global existence and the decay properties of smooth solutions to the Cauchy problem related to (1.6), for $f(u)\equiv0$ and gave sharp decay estimates of the solution without any restrictions on the data size $( u_{0},u_{1} )$.

In [21], Munoz-Rivera and Andrade dealt with the global existence and exponential decay of solutions of the nonlinear one-dimensional wave equation with a viscoelastic boundary condition. In [22–24], Santos also studied the asymptotic behavior of solutions to a coupled system of wave equations having integral convolutions as memory terms. The main results show that the solutions of that system decay uniformly in time, with rates depending on the rate of decay of the kernel of the convolutions.

In [25], the global existence and regularity of weak solutions for the linear wave equation

$$ u_{tt}-u_{xx}+Ku+\lambda u_{t}=f(x,t),\quad 0< x< 1, t>0, $$

(1.8)

with the initial conditions as in (1.3) and two-point boundary conditions. The exponential decay of solutions was also given there by using Lyapunov method.

The works introduced as above lead to the study of the existence and exponential decay of solutions for the problem (1.1)-(1.3). This paper consists of three sections. The preliminaries are presented and two existence results with $a=1$ are done in Section 2. The decay of the solution with respect to $a=1$, $g=0$, $K>0$, $\lambda>0$, and $2< p\leq \frac{2N-2}{N-2}$, $N\geq3$ is established in Section 3. The proofs of the existences are based on the Faedo-Galerkin method for strong solutions and standard arguments of density for weak solutions. Because this problem is solved in an N-dimensional domain, it causes technical difficulties, so we need the relations between the norms as in Lemmas 2.1-2.3 below. To obtain the exponential decay, we use the multiplier technique combined with a suitable Lyapunov functional in the form $\mathcal{L}(t)=E(t)+\delta \psi (t)$, where

$$\begin{aligned}& E(t)=\frac{1}{2}\bigl\Vert u^{\prime}(t)\bigr\Vert ^{2}+\frac{1}{2}\bigl\Vert \nabla u(t)\bigr\Vert ^{2}+\frac{K}{2}\bigl\Vert u(t) \bigr\Vert ^{2}- \frac{1}{p}\bigl\Vert u(t)\bigr\Vert _{L^{p}}^{p}+ \int _{\partial\Omega}\bigl\langle h(x,t),u(t)\bigr\rangle u(x,t) \,dS_{x}, \\& \psi(t)=\bigl\langle u(t),u^{\prime}(t)\bigr\rangle +\frac{\lambda}{2}\bigl\Vert u(t)\bigr\Vert ^{2}, \end{aligned}$$

$\delta>0$ is chosen sufficiently small, which allows us to show that if

$$ \Vert \nabla u_{0}\Vert ^{2}+K\Vert u_{0} \Vert ^{2}-\Vert u_{0}\Vert _{L^{p}}^{p}+p \int _{\partial \Omega} \biggl( \int _{\Omega}h(x,y,0)u_{0}(y)\,dy \biggr) u_{0}(x)\,dS_{x}>0 $$

and if the initial energy $E(0)$, f, h given are small enough, then the energy $E(t)$ of the solution decays to zero exponentially when t goes to infinity.

We end the paper with a remark about a situation where $a=-1$, precisely we consider (1.1) in the form

$$ u_{tt}-\Delta u+Ku+\lambda u_{t}+\vert u\vert ^{p-2}u=f(x,t), \quad x\in\Omega, t>0. $$

(1.9)

With some suitable conditions for f, h, g, we obtain a unique global solution for (1.2)-(1.3) and (1.9), with energy decaying exponentially as $t\rightarrow+\infty$, without any restrictions on the data size $(u_{0},u_{1})$ as in [19].

2 Preliminaries and existence results

In this paper, $\Omega\subset \mathbb{R}^{N}$ is an open and bounded set with a smooth boundary ∂Ω and the usual function spaces $C^{m} ( \overline{\Omega} )$, $W^{m,p}=W^{m,p} ( \Omega )$, $L^{p}=W^{0,p} ( \Omega )$, $H^{m}=W^{m,2} ( \Omega )$, $1\leq p\leq\infty$, $m=0,1,\ldots$ are used. Let $\langle\cdot,\cdot\rangle$ be either the scalar product in $L^{2}$ or the dual pairing of a continuous linear functional and an element of a function space. The notation $\Vert \cdot \Vert$ stands for the norm in $L^{2}$ and we denote by $\Vert \cdot \Vert _{X}$ the norm in the Banach space X. We call $X^{\prime}$ the dual space of X. We denote by $L^{p}(0,T;X)$, $1\leq p\leq\infty$, the Banach space of the real functions $u:(0,T)\rightarrow X$ measurable, such that

$$ \Vert u\Vert _{L^{p}(0,T;X)}= \biggl( \int _{0}^{T}\bigl\Vert u(t)\bigr\Vert _{X}^{p}\,dt \biggr) ^{1/p}< \infty\quad \text{for }1\leq p< \infty $$

and

$$ \Vert u\Vert _{L^{\infty}(0,T;X)}= \mathop{\operatorname{ess} \sup}_{0< t< T}\bigl\Vert u(t)\bigr\Vert _{X}\quad \text{for }p=\infty. $$

Let $u(t)$, $u^{\prime}(t)=u_{t}(t)$, $u^{\prime\prime }(t)=u_{tt}(t)$, $\nabla u(t)$, $\Delta u(t)$ denote $u(x,t)$, $\frac{\partial u}{\partial t}(x,t)$, $\frac{\partial^{2}u}{\partial t^{2}}(x,t)$, $(\frac{\partial u}{\partial x_{1}}(x,t), \ldots, \frac{\partial u}{\partial x_{N}}(x,t))$, $\sum_{i=1}^{N}\frac{\partial^{2}u}{\partial x_{i}^{2}}(x,t)$, respectively.

On $H^{1}$ we shall use the following norm: $\Vert v\Vert _{H^{1}}= ( \Vert v\Vert ^{2}+\Vert \nabla v \Vert ^{2} ) ^{1/2}$.

In cases $N=1$ or $N=2$, by the continuity and compactness of the injections $H^{1}(\Omega)\hookrightarrow C^{0}(\overline{\Omega})$ with $N=1$ or $H^{1}(\Omega)\hookrightarrow L^{q}(\Omega)$ with $N=2$, it is not difficult to study problem (1.1)-(1.3). On the other hand, it is obvious that the problem considered with $a=1$ is more difficult than the one with $a=-1$,so in what follows we only consider problem (1.1)-(1.3) with $N\geq3$, $a=1$. A remark in the end of this paper will give a note in the case $a=-1$.

First, we recall the following results, see [26].

Lemma 2.1

Let $\Omega\subset \mathbb{R}^{N}$ be an open and bounded set of class $C^{1}$. Then the embedding $H^{1}\hookrightarrow L^{q}$, is continuous if $1\leq q\leq2^{\ast}$ and compact if $1\leq q<2^{\ast}$, where $2^{\ast}=\frac{2N}{N-2}$, $N\geq3$.

Lemma 2.2

Let $\Omega\subset \mathbb{R}^{N}$ be an open and bounded set with a smooth boundary ∂Ω. Then

$$ \biggl( \int _{\partial\Omega}v^{2}(x)\,dS_{x} \biggr) ^{1/2}\leq \gamma_{\Omega} \Vert v\Vert _{H^{1}}\quad \textit{for all } v\in H^{1}, $$

(2.1)

where $\gamma_{\Omega}$ is a positive constant depending only on the domain Ω.

The proofs below also require the following lemma.

Lemma 2.3

Let $\Omega\subset \mathbb{R}^{N}$ be an open and bounded set with a smooth boundary ∂Ω. Let $2\leq p\leq\frac{2N-2}{N-2}$, $N\geq3$. Then there exists a constant $D_{p}>0$ depending on p, N and Ω such that

$$ \begin{aligned} (\mathrm{i}) &\quad \bigl\Vert \vert u\vert ^{p-2}u-\vert v\vert ^{p-2}v\bigr\Vert \\ &\qquad \leq D_{p} \bigl[ 1+ \bigl( \Vert u\Vert _{H^{1}}+\Vert v\Vert _{H^{1}} \bigr) ^{1/N}+ \bigl( \Vert u\Vert _{H^{1}}+ \Vert v\Vert _{H^{1}} \bigr) ^{p-2} \bigr] \Vert u-v\Vert _{H^{1}}, \\ (\mathrm{ii}) &\quad \bigl\Vert \vert u\vert ^{p-2}v\bigr\Vert \leq D_{p} \bigl[ 1+\Vert u\Vert _{H^{1}}^{1/N}+ \Vert u\Vert _{H^{1}}^{p-2} \bigr] \Vert v\Vert _{H^{1}} \end{aligned} $$

(2.2)

for all $u, v\in H^{1}$.

Proof

(i) We have

$$\begin{aligned} \bigl\vert \vert u\vert ^{p-2}u-\vert v\vert ^{p-2}v \bigr\vert =&\biggl\vert \int _{0}^{1}\frac{d}{d\theta } \bigl[ \bigl\vert v+\theta(u-v)\bigr\vert ^{p-2} \bigl( v+\theta (u-v) \bigr) \bigr] \,d \theta\biggr\vert \\ =&(p-1)\vert u-v\vert \int _{0}^{1}\bigl\vert v+\theta(u-v) \bigr\vert ^{p-2}\,d\theta\leq(p-1)\vert u-v\vert \vert W \vert ^{p-2}, \end{aligned}$$

(2.3)

with $W=\vert u\vert +\vert v\vert$.

Hence, by Hölder’s inequality we have

$$\begin{aligned} \begin{aligned}[b] \bigl\Vert \vert u\vert ^{p-2}u-\vert v\vert ^{p-2}v \bigr\Vert \leq{}&(p-1) \biggl( \int _{\Omega} \vert u-v\vert ^{2}\vert W\vert ^{2p-4}\,dx \biggr) ^{1/2} \\ \leq&{}(p-1) \biggl( \int _{\Omega} \vert u-v\vert ^{2\alpha}\,dx \biggr) ^{1/2\alpha} \biggl( \int _{\Omega} \vert W\vert ^{(2p-4)\alpha^{\prime}}\,dx \biggr) ^{1/2\alpha^{\prime}} \\ &\mbox{for all }\alpha>1.\end{aligned} \end{aligned}$$

(2.4)

Note that $H^{1}\hookrightarrow L^{q}$, $1\leq q\leq2^{\ast}=\frac {2N}{N-2}$, $N\geq3$, and $\Vert v\Vert _{L^{q}}\leq C_{q}\Vert v\Vert _{H^{1}}$, $\forall v\in H^{1}$, $1\leq q\leq2^{\ast}$.

Choose $\alpha=\frac{2^{\ast}}{2}=\frac{N}{N-2}$, we have $\alpha ^{\prime }=\frac{\alpha}{\alpha-1}=\frac{\frac{N}{N-2}}{\frac{N}{N-2}-1}=\frac {N}{2}$, and

$$ \biggl( \int _{\Omega} \vert u-v\vert ^{2\alpha }\,dx \biggr) ^{1/2\alpha}=\Vert u-v\Vert _{L^{2^{\ast}}}\leq C_{2^{\ast}} \Vert u-v\Vert _{H^{1}}. $$

(2.5)

By the condition $2\leq p\leq\frac{2N-2}{N-2}=2+\frac{2}{N-2}$, $N\geq3$ is equivalent to

$$ 0\leq(2p-4)\alpha^{\prime}\leq2^{\ast}=\frac{2N}{N-2}, $$

(2.6)

so we consider two cases as follows.

Case 1. $1\leq(2p-4)\alpha^{\prime}\leq2^{\ast}=\frac {2N}{N-2}$:

$$\begin{aligned} \biggl( \int _{\Omega} \vert W\vert ^{(2p-4)\alpha ^{\prime}}\,dx \biggr) ^{1/2\alpha^{\prime}} =&\Vert W\Vert _{L^{2(p-2)\alpha^{\prime}}}^{p-2}\leq \bigl( C_{2(p-2)\alpha^{\prime }}\Vert W\Vert _{H^{1}} \bigr) ^{p-2} \\ =&C_{2(p-2)\alpha ^{\prime}}^{p-2} \Vert W\Vert _{H^{1}}^{p-2}. \end{aligned}$$

(2.7)

Case 2. $0\leq\beta\equiv(2p-4)\alpha^{\prime}<1\leq 2^{\ast}=\frac{2N}{N-2}$:

$$\begin{aligned}& \vert W\vert ^{(2p-4)\alpha^{\prime}}=\vert W \vert ^{\beta}\leq1+\vert W\vert , \end{aligned}$$

(2.8)

$$\begin{aligned}& \begin{aligned}[b] \biggl( \int _{\Omega} \vert W\vert ^{(2p-4)\alpha ^{\prime}}\,dx \biggr) ^{1/2\alpha^{\prime}}&\leq \biggl( \int _{\Omega} \bigl( 1+\vert W\vert \bigr) \,dx \biggr) ^{1/2\alpha^{\prime}} \\ &\leq \bigl( \vert \Omega \vert + \vert \Omega \vert ^{1/2}\Vert W\Vert \bigr) ^{1/2\alpha ^{\prime}} \\ &\leq \bigl( \vert \Omega \vert +\vert \Omega \vert ^{1/2}\Vert W\Vert _{H^{1}} \bigr) ^{1/2\alpha^{\prime }} \\ &= \bigl( \vert \Omega \vert + \vert \Omega \vert ^{1/2}\Vert W\Vert _{H^{1}} \bigr) ^{1/N} \\ &\leq \vert \Omega \vert ^{1/N}+\vert \Omega \vert ^{1/2N}\Vert W\Vert _{H^{1}}^{1/N}. \end{aligned} \end{aligned}$$

(2.9)

Consequently, in both cases we get

$$ \biggl( \int _{\Omega} \vert W\vert ^{(2p-4)\alpha ^{\prime}}\,dx \biggr) ^{1/2\alpha^{\prime}}\leq \vert \Omega \vert ^{1/N}+\vert \Omega \vert ^{1/2N}\Vert W\Vert _{H^{1}}^{1/N}+C_{(p-2)N}^{p-2} \Vert W\Vert _{H^{1}}^{p-2}. $$

(2.10)

Hence

$$\begin{aligned} \bigl\Vert \vert u\vert ^{p-2}u-\vert v\vert ^{p-2}v \bigr\Vert \leq&(p-1)C_{2^{\ast}} \Vert u-v\Vert _{H^{1}} \\ &{}\times\bigl[ \vert \Omega \vert ^{1/N}+\vert \Omega \vert ^{1/2N}\Vert W\Vert _{H^{1}}^{1/N}+C_{(p-2)N}^{p-2} \Vert W\Vert _{H^{1}}^{p-2} \bigr] \\ \leq& D_{p}\Vert u-v\Vert _{H^{1}} \bigl[ 1+\Vert W \Vert _{H^{1}}^{1/N}+\Vert W\Vert _{H^{1}}^{p-2} \bigr] \\ \leq& D_{p} \bigl[ 1+ \bigl( \Vert u\Vert _{H^{1}}+\Vert v\Vert _{H^{1}} \bigr) ^{\frac{1}{N}}+ \bigl( \Vert u\Vert _{H^{1}}+\Vert v\Vert _{H^{1}} \bigr) ^{p-2} \bigr] \\ &{}\times \Vert u-v\Vert _{H^{1}}. \end{aligned}$$

(2.11)

Similarly (ii) is proved.

The proof of Lemma 2.3 is complete. □

Next, we state two local existence theorems. We make the following assumptions:

($\mathrm{A}_{0}$):

$2< p\leq\frac{2N-2}{N-2}$, $N\geq3$,

($\mathrm{B}_{0}$):

$K, \lambda\in \mathbb{R}$,

($\mathrm{A}_{1}$):

$f, f^{\prime}\in L^{1}(0,T;L^{2})$,

($\mathrm{A}_{2}$):

$h\in L^{2}(0,T;L^{2} ( \partial\Omega\times\Omega ) )$, $h^{\prime}, h^{\prime\prime}\in L^{2}(0,T;L^{2} ( \partial\Omega\times\Omega ) )$,

($\mathrm{A}_{3}$):

$g\in L^{2} ( \partial\Omega\times\Omega )$, $g^{\prime}, g^{\prime\prime}\in L^{2} ( \partial\Omega\times \Omega )$,

($\mathrm{A}_{1}^{\prime}$):

$f\in L^{2}(Q_{T})$,

($\mathrm{A}_{2}^{\prime}$):

$h\in L^{2}(0,T;L^{2} ( \partial\Omega\times \Omega ) )$, $h^{\prime}\in L^{2}(0,T;L^{2} ( \partial\Omega \times\Omega ) )$,

($\mathrm{A}_{3}^{\prime}$):

$g\in L^{2}(0,T;L^{2}(\partial\Omega))$, $g^{\prime }\in L^{2}(0,T;L^{2}(\partial\Omega))$.

Then we have the following theorem as regards the existence of a ‘strong solution’.

Theorem 2.4

Suppose that ($\mathrm{A}_{0}$), ($\mathrm{B}_{0}$), ($\mathrm{A}_{1}$)-($\mathrm{A}_{3}$) hold and the initial data $( u_{0},u_{1} ) \in H^{2}\times H^{1}$ satisfies the compatibility condition

$$ -\frac{\partial u_{0}}{\partial\nu}(x)=g(x,0)+ \int _{\Omega }h(x,y,0)u_{0}(y)\,dy. $$

(2.12)

Then problem (1.1)-(1.3) has a unique local solution

$$ u\in L^{\infty} \bigl( 0,T_{\ast};H^{2} \bigr) , \qquad u_{t}\in L^{\infty } \bigl( 0,T_{\ast};H^{1} \bigr) , \qquad u_{tt}\in L^{\infty} \bigl( 0,T_{\ast };L^{2} \bigr) $$

(2.13)

for $T_{\ast}>0$ small enough.

Remark 2.1

The regularity obtained by (2.13) shows that problem (1.1)-(1.3) has a unique strong solution

$$ \left \{ \textstyle\begin{array}{l} u\in L^{\infty} ( 0,T_{\ast};H^{2} ) \cap C^{0} ( 0,T_{\ast };H^{1} ) \cap C^{1} ( 0,T_{\ast};L^{2} ) , \\ u_{t}\in L^{\infty} ( 0,T_{\ast};H^{1} ) \cap C^{0} ( 0,T_{\ast};L^{2} ) , \\ u_{tt}\in L^{\infty} ( 0,T_{\ast};L^{2} ) .\end{array}\displaystyle \right . $$

(2.14)

With less regular initial data, we obtain the following theorem as regards the existence of a weak solution.

Theorem 2.5

Let ($\mathrm{A}_{0}$), ($\mathrm{B}_{0}$), ($\mathrm{A}_{1}^{\prime }$)-($\mathrm{A}_{3}^{\prime}$) hold and $( u_{0},u_{1} ) \in H^{1}\times L^{2}$.

Then problem (1.1)-(1.3) has a unique local solution

$$ u\in C \bigl( [0,T_{\ast}];H^{1} \bigr) \cap C^{1} \bigl( [0,T_{\ast }];L^{2} \bigr) $$

(2.15)

for $T_{\ast}>0$ small enough.

Proof of Theorem 2.4

Let $\{w_{j}\}$ be a denumerable base of $H^{2}$. Under the assumptions of Theorem 2.4, using the Faedo-Galerkin approximation and Lemmas 2.1-2.3, we find the approximate solution of problem (1.1)-(1.3) in the form

$$ u_{m}(t)=\sum_{j=1}^{m}c_{mj}(t)w_{j}, $$

(2.16)

where the coefficient functions $c_{mj}$ satisfy the system of ordinary differential equations

$$ \left \{ \textstyle\begin{array}{l} \langle u_{m}^{\prime\prime}(t),w_{j} \rangle+ \langle \nabla u_{m}(t),\nabla w_{j} \rangle+ \langle Ku_{m}(t)+\lambda u_{m}^{\prime}(t),w_{j} \rangle \\ \qquad {}+\int _{\partial\Omega} ( \langle h(x,t),u_{m}(t)\rangle +g(x,t) ) w_{j}(x)\,dS_{x} \\ \quad = \langle \vert u_{m}(t)\vert ^{p-2}u_{m}(t),w_{j} \rangle+ \langle f(t),w_{j} \rangle,\quad 1\leq j\leq m, \\ u_{m}(0)=u_{0},\qquad u_{m}^{\prime}(0)=u_{1}.\end{array}\displaystyle \right . $$

(2.17)

From the assumptions of Theorem 2.4, system (2.17) has a solution $u_{m}$ on an interval $[0,T_{m}]\subset[0,T]$. The following estimates allow one to take $T_{m}=T_{\ast}$ for all m, consisting of two key estimates.

In the first key estimate, we put $S_{m}(t)=\Vert u_{m}^{\prime }(t)\Vert ^{2}+\Vert \nabla u_{m}(t)\Vert ^{2}$, it implies from (2.17) that

$$\begin{aligned} S_{m}(t) =&S_{m}(0)+2 \int _{\partial\Omega} \bigl( \bigl\langle h(x,0),u_{0}\bigr\rangle +g(x,0) \bigr) u_{0}(x)\,dS_{x} \\ &{}-2 \int _{0}^{t} \bigl\langle Ku_{m}(s)+ \lambda u_{m}^{\prime}(s),u_{m}^{\prime}(s) \bigr\rangle \, ds \\ &{}+2 \int _{0}^{t} \bigl\langle f(s),u_{m}^{\prime }(s) \bigr\rangle \, ds+2 \int _{0}^{t} \bigl\langle \bigl\vert u_{m}(s)\bigr\vert ^{p-2}u_{m}(s),u_{m}^{\prime}(s) \bigr\rangle \, ds \\ &{}-2 \int _{\partial\Omega }g(x,t)u_{m}(x,t)\,dS_{x}-2 \int _{\partial\Omega}\bigl\langle h(x,t),u_{m}(t)\bigr\rangle u_{m}(x,t)\,dS_{x} \\ &{}+2 \int _{0}^{t}ds \int _{\partial \Omega} \bigl[ \bigl\langle h^{\prime}(x,s),u_{m}(s) \bigr\rangle +\bigl\langle h(x,s),u_{m}^{\prime}(s)\bigr\rangle +g^{\prime}(x,s) \bigr] u_{m}(x,s)\,dS_{x} \\ \equiv& S_{m}(0)+\sum_{j=1}^{7}I_{j}. \end{aligned}$$

(2.18)

By Lemmas 2.1-2.3 and the following inequalities:

$$ \left \{ \textstyle\begin{array}{l} 2ab\leq\beta a^{2}+\frac{1}{\beta}b^{2}\quad \text{for all }a, b\in \mathbb{R}, \beta>0, \\ ( a+b+c ) ^{q}\leq3^{q-1} ( a^{q}+b^{q}+c^{q} ) \quad \text{for all } q\geq1 , a , b , c\geq0 \end{array}\displaystyle \right . $$

(2.19)

and

$$ \Vert v\Vert \leq \Vert v\Vert _{H^{1}},\qquad \Vert v\Vert _{L^{q}}\leq C_{q}\Vert v\Vert _{H^{1}},\quad \forall v\in H^{1}, 1\leq q\leq2^{\ast}=\frac{2N}{N-2}, N \geq3, $$

(2.20)

with computing explicitly, all terms in the right-hand side of (2.18) are estimated, in which the following estimates are worthy of note:

$$\begin{aligned}& S_{m}(0)+I_{1}=S_{m}(0)+2 \int _{\partial\Omega} \bigl( \bigl\langle h(x,0),u_{0}\bigr\rangle +g(x,0) \bigr) u_{0}(x)\,dS_{x} \\& \hphantom{S_{m}(0)+I_{1}}=\Vert u_{1}\Vert ^{2}+\Vert \nabla u_{0} \Vert ^{2}+2 \int _{\partial \Omega} \bigl( \bigl\langle h(x,0),u_{0}\bigr\rangle +g(x,0) \bigr) u_{0}(x)\,dS_{x}\equiv \frac{1}{2}\overline{C}_{0}; \end{aligned}$$

(2.21)

$$\begin{aligned}& I_{2}=-2 \int _{0}^{t} \bigl\langle Ku_{m}(s)+ \lambda u_{m}^{\prime }(s),u_{m}^{\prime}(s) \bigr\rangle \,ds\leq \int _{0}^{t} \bigl\Vert u_{m}(s)\bigr\Vert ^{2}\,ds+ \bigl( K^{2}+2\vert \lambda \vert \bigr) \int _{0}^{t}\bigl\Vert u_{m}^{\prime}(s) \bigr\Vert ^{2}\,ds \\& \hphantom{I_{2}}\leq \int _{0}^{t} \biggl[ \Vert u_{0} \Vert + \int _{0}^{s}\bigl\Vert u_{m}^{\prime}(r) \bigr\Vert \,dr \biggr] ^{2}\,ds+ \bigl( K^{2}+2\vert \lambda \vert \bigr) \int _{0}^{t}S_{m}(s)\,ds \\& \hphantom{I_{2}}\leq2T\Vert u_{0}\Vert ^{2}+T^{2} \int _{0}^{t}\bigl\Vert u_{m}^{\prime}(r) \bigr\Vert ^{2}\,dr+ \bigl( K^{2}+2\vert \lambda \vert \bigr) \int _{0}^{t}S_{m}(s)\,ds \\& \hphantom{I_{2}}\leq2T\Vert u_{0}\Vert ^{2}+ \bigl( T^{2}+K^{2}+2\vert \lambda \vert \bigr) \int _{0}^{t}S_{m}(s)\,ds\leq C_{T} \biggl( 1+ \int _{0}^{t}S_{m}(s)\,ds \biggr) ; \end{aligned}$$

(2.22)

$$\begin{aligned}& I_{3}=2 \int _{0}^{t} \bigl\langle f(s),u_{m}^{\prime }(s) \bigr\rangle \,ds\leq \int _{0}^{T}\bigl\Vert f(s) \bigr\Vert ^{2}\,ds+ \int _{0}^{t}\bigl\Vert u_{m}^{\prime}(s) \bigr\Vert ^{2}\,ds\leq C_{T}+ \int _{0}^{t}S_{m}(s)\,ds; \end{aligned}$$

(2.23)

$$\begin{aligned}& I_{4}=2 \int _{0}^{t} \bigl\langle \bigl\vert u_{m}(s) \bigr\vert ^{p-2}u_{m}(s),u_{m}^{\prime}(s) \bigr\rangle \,ds\leq 2 \int _{0}^{t}\bigl\Vert \bigl\vert u_{m}(s)\bigr\vert ^{p-1}\bigr\Vert \bigl\Vert u_{m}^{\prime}(s)\bigr\Vert \,ds \\& \hphantom{I_{4}}\leq \int _{0}^{t}\bigl\Vert \bigl\vert u_{m}(s)\bigr\vert ^{p-1}\bigr\Vert ^{2}\,ds+ \int _{0}^{t}S_{m}(s)\,ds \\& \hphantom{\hphantom{I_{4}}}= \int _{0}^{t}\bigl\Vert u_{m}(s)\bigr\Vert _{L^{2p-2}}^{2p-2}\,ds+ \int _{0}^{t}S_{m}(s)\,ds\leq C_{2p-2}^{2p-2} \int _{0}^{t}\bigl\Vert u_{m}(s)\bigr\Vert _{H^{1}}^{2p-2}\,ds+ \int _{0}^{t}S_{m}(s)\,ds, \end{aligned}$$

(2.24)

since $1\leq2\leq2p-2\leq2^{\ast}$, and $H^{1}(\Omega )\hookrightarrow L^{2p-2}(\Omega)$, we have

$$\begin{aligned} \bigl\Vert u_{m}(t)\bigr\Vert _{H^{1}}^{2p-2} \leq& \biggl[ 2\Vert u_{0}\Vert ^{2}+S_{m}(t)+2t \int _{0}^{t}S_{m} ( s ) \,ds \biggr] ^{p-1} \\ \leq&3^{p-2}2^{p-1}\Vert u_{0}\Vert ^{2p-2}+3^{p-2} \bigl( S_{m}(t) \bigr) ^{p-1}+3^{p-2}2^{p-1}t^{2p-3} \int _{0}^{t} \bigl( S_{m} ( s ) \bigr) ^{p-1}\,ds, \end{aligned}$$

it leads to

$$\begin{aligned}& I_{4}=2 \int _{0}^{t} \bigl\langle \bigl\vert u_{m}(s) \bigr\vert ^{p-2}u_{m}(s),u_{m}^{\prime}(s) \bigr\rangle \,ds\leq C_{T}+C_{T} \int _{0}^{t} \bigl( S_{m} ( s ) \bigr) ^{p-1}\,ds+ \int _{0}^{t}S_{m}(s)\,ds; \end{aligned}$$

(2.25)

$$\begin{aligned}& I_{5}=-2 \int _{\partial\Omega}g(x,t)u_{m}(x,t)\,dS_{x}\leq 2 \gamma _{\Omega} \Vert g\Vert _{L^{\infty}(0,T;L^{2}(\partial \Omega ))}\bigl\Vert u_{m}(t)\bigr\Vert _{H^{1}} \\& \hphantom{I_{5}}\leq\frac{1}{\beta}\gamma_{\Omega}^{2}\Vert g\Vert _{L^{\infty}(0,T;L^{2}(\partial\Omega))}^{2}+\beta\bigl\Vert u_{m}(t)\bigr\Vert _{H^{1}}^{2} \\& \hphantom{\hphantom{I_{5}}}\leq\frac{1}{\beta}\gamma_{\Omega}^{2}\Vert g\Vert _{L^{\infty}(0,T;L^{2}(\partial\Omega))}^{2}+\beta \biggl[ 2\Vert u_{0}\Vert ^{2}+S_{m}(t)+2t \int _{0}^{t}S_{m} ( s ) \,ds \biggr] \\& \hphantom{\hphantom{\hphantom{I_{5}}}}\leq\frac{1}{\beta}C_{T}+\beta S_{m}(t)+C_{T} \int _{0}^{t}S_{m} ( s ) \,ds\quad \mbox{for all }0< \beta< 1; \end{aligned}$$

(2.26)

$$\begin{aligned}& I_{6}=-2 \int _{\partial\Omega}\bigl\langle h(x,t),u_{m}(t)\bigr\rangle u_{m}(x,t)\,dS_{x}\leq2\gamma_{\Omega} \Vert h\Vert _{L^{\infty }(0,T;L^{2} ( \partial\Omega\times\Omega ) )}\bigl\Vert u_{m}(t)\bigr\Vert \bigl\Vert u_{m}(t)\bigr\Vert _{H^{1}} \\& \hphantom{I_{6}}\leq \frac{1}{\beta}\gamma_{\Omega}^{2}\Vert h\Vert _{L^{\infty}(0,T;L^{2} ( \partial\Omega\times\Omega ) )}^{2}\bigl\Vert u_{m}(t)\bigr\Vert ^{2}+\beta\bigl\Vert u_{m}(t)\bigr\Vert _{H^{1}}^{2} \\& \hphantom{I_{6}}\leq\frac{1}{\beta}\gamma_{\Omega}^{2}\Vert h\Vert _{L^{\infty}(0,T;L^{2} ( \partial\Omega\times\Omega ) )}^{2} \biggl[ 2\Vert u_{0}\Vert ^{2}+2t \int _{0}^{t}S_{m} ( s ) \,ds \biggr] \\& \hphantom{I_{6}={}}{} +\beta \biggl[ 2\Vert u_{0}\Vert ^{2}+S_{m}(t)+2t \int _{0}^{t}S_{m} ( s ) \,ds \biggr] \\& \hphantom{I_{6}}\leq\frac{1}{\beta}C_{T}+\beta S_{m}(t)+ \frac{1}{\beta}C_{T} \int _{0}^{t}S_{m} ( s ) \,ds\quad \mbox{for all }\beta >0, \beta< 1; \end{aligned}$$

(2.27)

$$\begin{aligned}& I_{7}=2 \int _{0}^{t}\,ds \int _{\partial\Omega} \bigl[ \bigl\langle h^{\prime}(x,s),u_{m}(s) \bigr\rangle +\bigl\langle h(x,s),u_{m}^{\prime }(s)\bigr\rangle +g^{\prime}(x,s) \bigr] u_{m}(x,s)\,dS_{x} \\& \hphantom{I_{7}}\leq 2\gamma_{\Omega}\bigl\Vert h^{\prime}\bigr\Vert _{L^{\infty}(0,T;L^{2} ( \partial\Omega\times\Omega ) )} \int _{0}^{t}\bigl\Vert u_{m}(s)\bigr\Vert _{H^{1}}^{2}\,ds \\& \hphantom{I_{7}={}}{}+2\gamma_{\Omega} \Vert h\Vert _{L^{\infty }(0,T;L^{2} ( \partial\Omega\times\Omega ) )} \int _{0}^{t}\bigl\Vert u_{m}^{\prime}(s) \bigr\Vert \bigl\Vert u_{m}(s)\bigr\Vert _{H^{1}}\,ds \\& \hphantom{I_{7}={}}{}+2\gamma_{\Omega}\bigl\Vert g^{\prime}\bigr\Vert _{L^{\infty }(0,T;L^{2}(\partial\Omega))} \int _{0}^{t}\bigl\Vert u_{m}(s)\bigr\Vert _{H^{1}}\,ds \\& \hphantom{I_{7}}\leq C_{T}+C_{T} \int _{0}^{t}\bigl\Vert u_{m}(s)\bigr\Vert _{H^{1}}^{2}\,ds+ \int _{0}^{t}\bigl\Vert u_{m}^{\prime}(s) \bigr\Vert ^{2}\,ds\leq C_{T} \biggl( 1+ \int _{0}^{t}S_{m} ( s ) \,ds \biggr) . \end{aligned}$$

(2.28)

Combining estimations of all terms and choosing $\beta=\frac{1}{4}$, we obtain after some rearrangements

$$ S_{m}(t)\leq C_{T} \biggl( 1+ \int _{0}^{t}S_{m} ( s ) \,ds+ \int _{0}^{t} \bigl( S_{m} ( s ) \bigr) ^{p-1}\,ds \biggr) ,\quad 0\leq t\leq T_{m}, $$

(2.29)

where $C_{T}$ always indicates a constant depending on T.

Then, by solving a nonlinear Volterra integral inequality (2.29) (based on the methods in [27]), the following lemma is proved.

Lemma 2.6

There exists a constant $T_{\ast}>0$ depending on T (independent of m) such that

$$ S_{m}(t)\leq C_{T}, \quad \forall m\in \mathbb{N},\forall t \in[0,T_{\ast}], $$

(2.30)

where $C_{T}$ is a constant depending only on T.

By Lemma 2.6, we can take a constant $T_{m}=T_{\ast}$ for all m.

In the second key estimate, we put $X_{m}(t)=\Vert u_{m}^{\prime \prime }(t)\Vert ^{2}+\Vert \nabla u_{m}^{\prime}(t)\Vert ^{2}$,and it follows from (2.17) that

$$\begin{aligned} X_{m}(t) =&X_{m}(0)+2 \int _{\partial\Omega} \bigl( \bigl\langle h^{\prime}(x,0),u_{0} \bigr\rangle +\bigl\langle h(x,0),u_{1}\bigr\rangle +g^{\prime }(x,0) \bigr) u_{1}(x)\,dS_{x} \\ &{}-2 \int _{0}^{t} \bigl\langle Ku_{m}^{\prime }(s)+ \lambda u_{m}^{\prime\prime}(s),u_{m}^{\prime\prime }(s) \bigr\rangle \,ds+2 \int _{0}^{t} \bigl\langle f^{\prime }(s),u_{m}^{\prime\prime}(s) \bigr\rangle \,ds \\ &{}+2(p-1) \int _{0}^{t} \bigl\langle \bigl\vert u_{m}(s)\bigr\vert ^{p-2}u_{m}^{\prime}(s),u_{m}^{\prime\prime }(s) \bigr\rangle \,ds \\ &{}-2 \int _{\partial\Omega} \bigl( \bigl\langle h^{\prime}(x,t),u_{m}(t) \bigr\rangle +\bigl\langle h(x,t),u_{m}^{\prime }(t)\bigr\rangle +g^{\prime}(x,t) \bigr) u_{m}^{\prime}(x,t) \,dS_{x} \\ &{}+2 \int _{0}^{t}\,ds \int _{\partial \Omega}\bigl[ \bigl\langle h^{\prime\prime}(x,s),u_{m}(s) \bigr\rangle +2\bigl\langle h^{\prime}(x,s),u_{m}^{\prime}(s) \bigr\rangle \\ &{}+\bigl\langle h(x,s),u_{m}^{\prime\prime }(s)\bigr\rangle +g^{\prime\prime}(x,s)\bigr] u_{m}^{\prime }(x,s) \,dS_{x} \\ \equiv& X_{m}(0)+\sum_{i=1}^{6}J_{i} . \end{aligned}$$

(2.31)

Letting $t\rightarrow0_{+}$ in equation (2.17)₁, multiplying the result by $c_{mj}^{\prime\prime}(0)$, and using the compatibility (2.12), we get

$$ \bigl\Vert u_{m}^{\prime\prime}(0)\bigr\Vert ^{2}= \bigl\langle \Delta u_{0},u_{m}^{\prime\prime}(0) \bigr\rangle - \bigl\langle Ku_{0}+\lambda u_{1},u_{m}^{\prime\prime}(0) \bigr\rangle + \bigl\langle \vert u_{0}\vert ^{p-2}u_{0},u_{m}^{\prime\prime}(0) \bigr\rangle + \bigl\langle f(0),u_{m}^{\prime\prime}(0) \bigr\rangle . $$

This implies that

$$ \bigl\Vert u_{m}^{\prime\prime}(0)\bigr\Vert \leq \Vert \Delta u_{0}\Vert +\vert K\vert \Vert u_{0}\Vert + \vert \lambda \vert \Vert u_{1}\Vert +\bigl\Vert \vert u_{0}\vert ^{p-1}\bigr\Vert +\bigl\Vert f(0) \bigr\Vert =\overline{X}_{0} \quad \mbox{for all }m, $$

(2.32)

where $\overline{X}_{0}$ is a constant depending only on p, K, λ, $u_{0}$, $u_{1}$, f.

Also note the following estimations:

$$\begin{aligned}& \begin{aligned}[b] X_{m}(0)+J_{1}&=X_{m}(0)+2 \int _{\partial\Omega} \bigl( \bigl\langle h^{\prime}(x,0),u_{0} \bigr\rangle +\bigl\langle h(x,0),u_{1}\bigr\rangle +g^{\prime }(x,0) \bigr) u_{1}(x)\,dS_{x} \\ &\leq\overline{X}_{0}^{2}+\Vert \nabla u_{1} \Vert ^{2}+2 \int _{\partial\Omega} \bigl( \bigl\langle h^{\prime}(x,0),u_{0} \bigr\rangle +\bigl\langle h(x,0),u_{1}\bigr\rangle +g^{\prime }(x,0) \bigr) u_{1}(x)\,dS_{x} \\ &\equiv\frac{1}{2}X_{0}; \end{aligned} \end{aligned}$$

(2.33)

$$\begin{aligned}& \begin{aligned}[b] J_{2}&=-2 \int _{0}^{t} \bigl\langle Ku_{m}^{\prime}(s)+ \lambda u_{m}^{\prime\prime}(s),u_{m}^{\prime\prime}(s) \bigr\rangle \,ds \\ &\leq \int _{0}^{t}\bigl\Vert u_{m}^{\prime}(s) \bigr\Vert ^{2}\,ds+ \bigl( K^{2}+2\vert \lambda \vert \bigr) \int _{0}^{t}\bigl\Vert u_{m}^{\prime\prime}(s) \bigr\Vert ^{2}\,ds \\ &\leq C_{T}+ \bigl( K^{2}+2\vert \lambda \vert \bigr) \int _{0}^{t}X_{m}(s)\,ds; \end{aligned} \end{aligned}$$

(2.34)

$$\begin{aligned}& \begin{aligned}[b]J_{3}&=2 \int _{0}^{t} \bigl\langle f^{\prime}(s),u_{m}^{\prime \prime}(s) \bigr\rangle \,ds\leq \int _{0}^{t}\bigl\Vert f^{\prime }(s)\bigr\Vert \,ds+ \int _{0}^{t}\bigl\Vert f^{\prime }(s)\bigr\Vert \bigl\Vert u_{m}^{\prime\prime}(s)\bigr\Vert ^{2} \,ds \\ &\leq C_{T}+ \int _{0}^{t}\bigl\Vert f^{\prime}(s)\bigr\Vert X_{m}(s)\,ds. \end{aligned} \end{aligned}$$

(2.35)

From

$$ \bigl\Vert \bigl\vert u_{m}(s)\bigr\vert ^{p-2}u_{m}^{\prime }(s) \bigr\Vert \leq D_{p} \bigl[ 1+\bigl\Vert u_{m}(s)\bigr\Vert _{H^{1}}^{1/N}+\bigl\Vert u_{m}(s)\bigr\Vert _{H^{1}}^{p-2} \bigr] \bigl\Vert u_{m}^{\prime}(s) \bigr\Vert _{H^{1}}\leq D_{p}C_{T} \bigl\Vert u_{m}^{\prime}(s)\bigr\Vert _{H^{1}},$$

by Lemma 2.3(ii), it gives

$$\begin{aligned}& J_{4}=2(p-1) \int _{0}^{t} \bigl\langle \bigl\vert u_{m}(s)\bigr\vert ^{p-2}u_{m}^{\prime}(s),u_{m}^{\prime\prime }(s) \bigr\rangle \,ds \\& \hphantom{J_{4}}\leq2(p-1) \int _{0}^{t}\bigl\Vert \bigl\vert u_{m}(s)\bigr\vert ^{p-2}u_{m}^{\prime}(s) \bigr\Vert \bigl\Vert u_{m}^{\prime\prime}(s)\bigr\Vert \,ds \\& \hphantom{J_{4}}\leq2(p-1)D_{p}C_{T} \int _{0}^{t}\bigl\Vert u_{m}^{\prime }(s) \bigr\Vert _{H^{1}}\bigl\Vert u_{m}^{\prime\prime}(s)\bigr\Vert \,ds \\& \hphantom{J_{4}}\leq(p-1)^{2}D_{p}^{2}C_{T}^{2} \int _{0}^{t}\bigl\Vert u_{m}^{\prime}(s) \bigr\Vert _{H^{1}}^{2}\,ds+ \int _{0}^{t}\bigl\Vert u_{m}^{\prime\prime }(s) \bigr\Vert ^{2}\,ds \\& \hphantom{J_{4}}=(p-1)^{2}D_{p}^{2}C_{T}^{2} \biggl[ \int _{0}^{t}\bigl\Vert u_{m}^{\prime}(s) \bigr\Vert ^{2}\,ds+ \int _{0}^{t}\bigl\Vert \nabla u_{m}^{\prime}(s)\bigr\Vert ^{2}\,ds \biggr] + \int _{0}^{t} \bigl\Vert u_{m}^{\prime\prime}(s) \bigr\Vert ^{2}\,ds \\& \hphantom{J_{4}}\leq C_{T} \biggl( 1+ \int _{0}^{t}X_{m} ( s ) \,ds \biggr) ; \end{aligned}$$

(2.36)

$$\begin{aligned}& J_{5}=-2 \int _{\partial\Omega} \bigl( \bigl\langle h^{\prime }(x,t),u_{m}(t) \bigr\rangle +\bigl\langle h(x,t),u_{m}^{\prime}(t)\bigr\rangle +g^{\prime }(x,t) \bigr) u_{m}^{\prime}(x,t) \,dS_{x} \\& \hphantom{J_{5}}\leq2\gamma_{\Omega}\bigl[ \bigl\Vert u_{m}(t) \bigr\Vert \bigl\Vert h^{\prime}\bigr\Vert _{L^{\infty}(0,T;L^{2}(\partial \Omega \times\Omega))}+\bigl\Vert u_{m}^{\prime}(t)\bigr\Vert \Vert h\Vert _{L^{\infty}(0,T;L^{2}(\partial\Omega\times\Omega ))} \\& \hphantom{J_{5}={}}{}+\bigl\Vert g^{\prime}\bigr\Vert _{L^{\infty}(0,T;L^{2}(\partial\Omega))}\bigr] \bigl\Vert u_{m}^{\prime}(t)\bigr\Vert _{H^{1}} \\& \hphantom{J_{5}}\leq2C_{T}\bigl\Vert u_{m}^{\prime}(t) \bigr\Vert _{H^{1}}\leq \frac{1}{\beta}C_{T}+\beta\bigl\Vert u_{m}^{\prime}(t)\bigr\Vert _{H^{1}}^{2} \\& \hphantom{J_{5}}\leq\frac{1}{\beta}C_{T}+\beta \biggl[ 2\Vert u_{1}\Vert ^{2}+X_{m}(t)+2t \int _{0}^{t}X_{m} ( s ) \,ds \biggr] \\& \hphantom{J_{5}}\leq\frac{1}{\beta}C_{T}+\beta X_{m}(t)+C_{T} \biggl( 1+ \int _{0}^{t}X_{m} ( s ) \,ds \biggr) \quad \mbox{for all } \beta\in (0,1); \end{aligned}$$

(2.37)

$$\begin{aligned}& J_{6}=2 \int _{0}^{t}ds \int _{\partial\Omega}\bigl[ \bigl\langle h^{\prime\prime}(x,s),u_{m}(s) \bigr\rangle +2\bigl\langle h^{\prime }(x,s),u_{m}^{\prime}(s) \bigr\rangle \\& \hphantom{J_{6}={}}{}+ \bigl\langle h(x,s),u_{m}^{\prime\prime}(s)\bigr\rangle +g^{\prime\prime}(x,s)\bigr] u_{m}^{\prime }(x,s) \,dS_{x} \\& \hphantom{J_{6}}\leq2\gamma_{\Omega}C_{T} \int _{0}^{t}\bigl\Vert h^{\prime\prime}(s)\bigr\Vert _{L^{2}(\partial\Omega\times\Omega )}\bigl\Vert u_{m}^{\prime}(s)\bigr\Vert _{H^{1}}\,ds+4\gamma_{\Omega }C_{T} \int _{0}^{t}\bigl\Vert u_{m}^{\prime}(s) \bigr\Vert _{H^{1}}\,ds \\& \hphantom{J_{6}={}}{}+2\gamma_{\Omega}C_{T} \int _{0}^{t}\bigl\Vert u_{m}^{\prime\prime}(s) \bigr\Vert \bigl\Vert u_{m}^{\prime }(s)\bigr\Vert _{H^{1}}\,ds+2\gamma_{\Omega } \int _{0}^{t}\bigl\Vert g^{\prime\prime}(s)\bigr\Vert _{L^{2}(\partial\Omega)}\bigl\Vert u_{m}^{\prime}(s)\bigr\Vert _{H^{1}}\,ds \\& \hphantom{J_{6}}\leq\gamma_{\Omega}^{2}C_{T}^{2} \bigl\Vert h^{\prime\prime }\bigr\Vert _{L^{1}(0,T;L^{2}(\partial\Omega\times\Omega ))}+ \int _{0}^{t}\bigl\Vert h^{\prime\prime}(s)\bigr\Vert _{L^{2}(\partial\Omega\times\Omega)}\bigl\Vert u_{m}^{\prime }(s)\bigr\Vert _{H^{1}}^{2}\,ds \\& \hphantom{J_{6}={}}{}+4\gamma_{\Omega}^{2}C_{T}^{2}T+ \int _{0}^{t}\bigl\Vert u_{m}^{\prime}(s) \bigr\Vert _{H^{1}}^{2}\,ds+\gamma_{\Omega }^{2}C_{T}^{2} \int _{0}^{t}\bigl\Vert u_{m}^{\prime\prime }(s) \bigr\Vert ^{2}\,ds+ \int _{0}^{t}\bigl\Vert u_{m}^{\prime }(s) \bigr\Vert _{H^{1}}^{2}\,ds \\& \hphantom{J_{6}={}}{}+\gamma_{\Omega}^{2}\bigl\Vert g^{\prime\prime}\bigr\Vert _{L^{1}(0,T;L^{2}(\partial\Omega))}+ \int _{0}^{t}\bigl\Vert g^{\prime\prime}(s)\bigr\Vert _{L^{2}(\partial\Omega)}\bigl\Vert u_{m}^{\prime}(s)\bigr\Vert _{H^{1}}^{2}\,ds \\& \hphantom{J_{6}}\leq C_{T}+C_{T} \int _{0}^{t}X_{m}(s)\,ds+ \int _{0}^{t}\Phi (s)\bigl\Vert u_{m}^{\prime}(s)\bigr\Vert _{H^{1}}^{2}\,ds \\& \hphantom{J_{6}}\leq C_{T}+C_{T} \int _{0}^{t}X_{m}(s)\,ds+ \int _{0}^{t}\Phi (s) \biggl[ 2\Vert u_{1}\Vert ^{2}+X_{m}(s)+2s \int _{0}^{s}X_{m} ( r ) \,dr \biggr] \,ds \\& \hphantom{J_{6}}\leq C_{T}+C_{T} \int _{0}^{t}X_{m}(s)\,ds+ \int _{0}^{t}\Phi (s)X_{m}(s)\,ds, \end{aligned}$$

(2.38)

where

$$ \Phi(s)=2+\bigl\Vert h^{\prime\prime}(s)\bigr\Vert _{L^{2}(\partial \Omega\times\Omega)}+\bigl\Vert g^{\prime\prime}(s)\bigr\Vert _{L^{2}(\partial\Omega)}, \quad \Phi\in L^{1}(0,T). $$

(2.39)

Combining estimations and choosing $\beta=\frac{1}{2}$, we obtain after some rearrangements

$$ X_{m}(t)\leq C_{T}+ \int _{0}^{t}\Psi(s)X_{m}(s) \,ds, $$

(2.40)

where $C_{T}$ always indicates a constant depending on T, and

$$ \Psi(s)=C_{T} \bigl[ 1+\bigl\Vert f^{\prime}(s)\bigr\Vert + \bigl\Vert h^{\prime\prime}(s)\bigr\Vert _{L^{2}(\partial\Omega\times\Omega )}+\bigl\Vert g^{\prime\prime}(s)\bigr\Vert _{L^{2}(\partial\Omega )} \bigr] , \quad \Psi \in L^{1}(0,T). $$

(2.41)

By Gronwall’s lemma, we deduce from (2.40) that

$$ X_{m}(t)\leq C_{T}\exp \biggl[ \int _{0}^{T}\Psi(s)\,ds \biggr] \leq C_{T} \quad \mbox{for all }t\in[0,T_{\ast}]. $$

(2.42)

It verifies the existence of a subsequence of $\{u_{m}\}$, denoted by the same symbol, such that

$$ \left \{ \textstyle\begin{array}{l} u_{m}\rightarrow u \quad \text{in } L^{\infty}(0,T_{\ast};H^{1}) \text{ weakly}^{*}, \\ u_{m}^{\prime}\rightarrow u^{\prime} \quad \text{in } L^{\infty }(0,T_{\ast };H^{1}) \text{ weakly}^{*}, \\ u_{m}^{\prime\prime}\rightarrow u^{\prime\prime} \quad \text{in } L^{\infty }(0,T_{\ast};L^{2}) \text{ weakly}^{*}. \end{array}\displaystyle \right . $$

(2.43)

By the compactness lemma of Lions ([28], p.57), we can deduce from (2.43) the existence of a subsequence still denoted by $\{u_{m}\}$, such that

$$ \left \{ \textstyle\begin{array}{l} u_{m}\rightarrow u \quad \text{strongly in } L^{2}(Q_{T_{\ast }}) \text{ and a.e. in }Q_{T_{\ast}}, \\ u_{m}^{\prime}\rightarrow u^{\prime}\quad \text{strongly in } L^{2}(Q_{T_{\ast}}) \text{ and a.e. in }Q_{T_{\ast}} .\end{array}\displaystyle \right . $$

(2.44)

By means of the continuity of the function $t\longmapsto|t|^{p-2}t$, we have

$$ |u_{m}|^{p-2}u_{m}\rightarrow|u|^{p-2}u \quad \text{and a.e. in } Q_{T_{\ast }}. $$

(2.45)

On the other hand

$$\begin{aligned} \bigl\Vert |u_{m}|^{p-2}u_{m}\bigr\Vert _{L^{2}(Q_{T_{\ast }})}^{2} =& \int _{0}^{T_{\ast}}\,ds \int _{\Omega }\bigl|u_{m}(x,t)\bigr|^{2p-2}\,dx \\ =& \int _{0}^{T_{\ast}}\bigl\Vert u_{m}(t)\bigr\Vert _{L^{2p-2}}^{2p-2}\,dt \\ \leq& \int _{0}^{T_{\ast}} \bigl( C_{2p-2}\bigl\Vert u_{m}(t) \bigr\Vert _{H^{1}} \bigr) ^{2p-2}\,dt \\ \leq& C_{2p-2}^{2p-2}T_{\ast} \Vert u_{m}\Vert _{L^{\infty}(0,T_{\ast};H^{1})}^{2p-2}\leq C_{T} . \end{aligned}$$

(2.46)

Using the Lions lemma ([28], Lemma 1.3, p.12), it follows from (2.45) and (2.46) that

$$ |u_{m}|^{p-2}u_{m}\rightarrow|u|^{p-2}u \quad \text{in }L^{2}(Q_{T_{\ast }}) \text{ weakly}. $$

(2.47)

Passing to the limit in (2.17) by (2.43), (2.44), and (2.47), we have u satisfying the problem

$$ \left \{ \textstyle\begin{array}{l} \langle u^{\prime\prime}(t),v \rangle+ \langle\nabla u(t),\nabla v \rangle+ \langle Ku(t)+\lambda u^{\prime }(t),v \rangle \\ \qquad {}+\int _{\partial\Omega} ( \langle h(x,t),u(t)\rangle+g(x,t) ) v(x)\,dS_{x} \\ \quad = \langle \vert u(t)\vert ^{p-2}u(t),v \rangle+ \langle f(t),v \rangle \quad \mbox{for all } v\in H^{1}, \\ u(0)=u_{0} , \qquad u^{\prime}(0)=u_{1} .\end{array}\displaystyle \right . $$

(2.48)

On the other hand, we have from (2.43), (2.48)₁

$$ \Delta u=u^{\prime\prime}+Ku+\lambda u^{\prime}-|u|^{p-2}u-f\in L^{\infty}\bigl(0,T_{\ast};L^{2}\bigr). $$

(2.49)

Thus $u\in L^{\infty}(0,T_{\ast};H^{2})$ and the proof of existence is complete. The uniqueness of a weak solution is proved as follows.

Let $u_{1}$, $u_{2}$ be two weak solutions of problem (1.1)-(1.3), such that

$$ u_{i}\in L^{\infty} \bigl( 0,T_{\ast};H^{2} \bigr) , \qquad u_{i}^{\prime }\in L^{\infty} \bigl( 0,T_{\ast};H^{1} \bigr) , \qquad u_{i}^{\prime \prime} \in L^{\infty} \bigl( 0,T_{\ast};L^{2} \bigr) ,\quad i=1,2. $$

(2.50)

Then $u=u_{1}-u_{2}$ satisfy the variational problem

$$ \left \{ \textstyle\begin{array}{l} \langle u^{\prime\prime}(t),v \rangle+ \langle\nabla u(t),\nabla v \rangle+ \langle Ku(t)+\lambda u^{\prime }(t),v \rangle+\int _{\partial\Omega}\langle h(x,t),u(t)\rangle v(x)\,dS_{x} \\ \quad = \langle|u_{1}|^{p-2}u_{1}-|u_{2}|^{p-2}u_{2},v \rangle\quad \mbox{for all }v\in H^{1}, \\ u(0)=u^{\prime}(0)=0.\end{array}\displaystyle \right . $$

(2.51)

We take $v=u^{\prime}=u_{1}^{\prime}-u_{2}^{\prime}$ in (2.51) and integrating with respect to t, we obtain

$$\begin{aligned} \sigma(t) =&-2 \int _{0}^{t} \bigl\langle Ku(s)+\lambda u^{\prime }(s),u^{\prime}(s) \bigr\rangle \,ds-2 \int _{\partial\Omega }\bigl\langle h(x,t),u(t)\bigr\rangle u(x,t) \,dS_{x} \\ &{}+2 \int _{0}^{t}\,ds \int _{\partial\Omega } \bigl[ \bigl\langle h^{\prime}(x,s),u(s)\bigr\rangle +\bigl\langle h(x,s),u^{\prime }(s)\bigr\rangle \bigr] u(x,s) \,dS_{x} \\ &{}+2 \int _{0}^{t} \bigl\langle |u_{1}|^{p-2}u_{1}-|u_{2}|^{p-2}u_{2},u^{\prime}(s) \bigr\rangle \,ds=\sum_{j=1}^{4} \sigma_{j}, \end{aligned}$$

(2.52)

where

$$ \sigma(t)=\bigl\Vert u^{\prime}(t)\bigr\Vert ^{2}+\bigl\Vert \nabla u(t)\bigr\Vert ^{2}. $$

(2.53)

By (2.53) and the following inequalities:

$$\begin{aligned}& 2ab\leq\beta a^{2}+\frac{1}{\beta}b^{2}\quad \text{for all }a, b\in \mathbb{R} , \beta>0, \end{aligned}$$

(2.54)

$$\begin{aligned}& \bigl\Vert u(t)\bigr\Vert ^{2}= \biggl( \int _{0}^{t}\bigl\Vert u^{\prime}(s)\bigr\Vert \,ds \biggr) ^{2}\leq t \int _{0}^{t}\bigl\Vert u^{\prime}(s)\bigr\Vert ^{2}\,ds\leq t \int _{0}^{t}\sigma(s)\,ds, \\& \bigl\Vert u(t)\bigr\Vert _{H^{1}}^{2}=\bigl\Vert \nabla u(t) \bigr\Vert ^{2}+\bigl\Vert u(t)\bigr\Vert ^{2}\leq \sigma (t)+t \int _{0}^{t}\sigma(s)\,ds, \\& \int _{0}^{t}\bigl\Vert u(s)\bigr\Vert _{H^{1}}^{2}\,ds\leq \int _{0}^{t} \biggl[ \sigma(s)+s \int _{0}^{s}\sigma (r)\,dr \biggr] \,ds \leq \bigl( 1+t^{2} \bigr) \int _{0}^{t}\sigma (s)\,ds, \end{aligned}$$

(2.55)

we estimate the following integrals in the right-hand side of (2.52):

$$\begin{aligned}& \sigma_{1}=-2 \int _{0}^{t} \bigl\langle Ku(s)+\lambda u^{\prime }(s),u^{\prime}(s) \bigr\rangle \,ds \\& \hphantom{\sigma_{1}}\leq \int _{0}^{t}\bigl\Vert u(s)\bigr\Vert ^{2}\,ds+ \bigl( K^{2}+2\vert \lambda \vert \bigr) \int _{0}^{t}\bigl\Vert u^{\prime}(s)\bigr\Vert ^{2}\,ds \\& \hphantom{\sigma_{1}}\leq \int _{0}^{t} \biggl( s \int _{0}^{s}\sigma (r)\,dr \biggr) \,ds+ \bigl( K^{2}+2\vert \lambda \vert \bigr) \int _{0}^{t}\sigma(s)\,ds \\& \hphantom{\sigma_{1}}\leq T^{2} \int _{0}^{t}\sigma(r)\,dr+ \bigl( K^{2}+2 \vert \lambda \vert \bigr) \int _{0}^{t}\sigma (s)\,ds\leq C_{T} \int _{0}^{t}\sigma(s)\,ds; \end{aligned}$$

(2.56)

$$\begin{aligned}& \sigma_{2}=-2 \int _{\partial\Omega}\bigl\langle h(x,t),u(t)\bigr\rangle u(x,t) \,dS_{x} \\& \hphantom{\sigma_{2}}\leq2\gamma_{\Omega} \Vert h\Vert _{L^{\infty }(0,T;L^{2}(\partial\Omega\times\Omega))} \bigl\Vert u(t)\bigr\Vert \bigl\Vert u(t)\bigr\Vert _{H^{1}} \\& \hphantom{\sigma_{2}} \leq\frac{1}{\beta}\gamma_{\Omega}^{2}\Vert h\Vert _{L^{\infty}(0,T;L^{2}(\partial\Omega\times\Omega))}^{2}\bigl\Vert u(t)\bigr\Vert ^{2}+\beta\bigl\Vert u(t)\bigr\Vert _{H^{1}}^{2} \\& \hphantom{\sigma_{2}}\leq\frac{1}{\beta}\gamma_{\Omega}^{2}\Vert h\Vert _{L^{\infty}(0,T;L^{2}(\partial\Omega\times\Omega ))}^{2}t \int _{0}^{t}\sigma(s)\,ds+\beta \biggl[ \sigma (t)+t \int _{0}^{t}\sigma(s)\,ds \biggr] \\& \hphantom{\sigma_{2}}\leq\beta\sigma(t)+\frac{1}{\beta}C_{T} \int _{0}^{t}\sigma(s) \,ds; \end{aligned}$$

(2.57)

$$\begin{aligned}& \sigma_{3}=2 \int _{0}^{t}\,ds \int _{\partial\Omega } \bigl[ \bigl\langle h^{\prime}(x,s),u(s)\bigr\rangle +\bigl\langle h(x,s),u^{\prime }(s)\bigr\rangle \bigr] u(x,s)\,dS_{x} \\& \hphantom{\sigma_{3}}\leq2\gamma_{\Omega}\bigl\Vert h^{\prime}\bigr\Vert _{L^{\infty }(0,T;L^{2}(\partial\Omega\times\Omega ))} \int _{0}^{t}\bigl\Vert u(s)\bigr\Vert _{H^{1}}^{2}\,ds \\& \hphantom{\sigma_{3}\leq{}}{}+2\gamma_{\Omega} \Vert h\Vert _{L^{\infty }(0,T;L^{2}(\partial\Omega\times\Omega ))} \int _{0}^{t}\bigl\Vert u^{\prime}(s)\bigr\Vert \bigl\Vert u(s)\bigr\Vert _{H^{1}}\,ds \\& \hphantom{\sigma_{3}}\leq C_{T} \int _{0}^{t}\bigl\Vert u(s)\bigr\Vert _{H^{1}}^{2}\,ds+C_{T} \int _{0}^{t}\bigl\Vert u^{\prime }(s)\bigr\Vert ^{2}\,ds\leq C_{T} \int _{0}^{t}\sigma(s)\,ds. \end{aligned}$$

(2.58)

By Lemma 2.3(i), we have

$$\begin{aligned}& \bigl\Vert |u_{1}|^{p-2}u_{1}-|u_{2}|^{p-2}u_{2} \bigr\Vert \\& \quad \leq D_{p} \bigl[ 1+ \bigl( \Vert u_{1} \Vert _{H^{1}}+\Vert u_{2} \Vert _{H^{1}} \bigr) ^{1/N}+ \bigl( \Vert u_{1}\Vert _{H^{1}}+\Vert u_{2}\Vert _{H^{1}} \bigr) ^{p-2} \bigr] \bigl\Vert u(s)\bigr\Vert _{H^{1}} \\& \quad \leq D_{p} \bigl[ 1+M_{1}^{1/N}+M_{1}^{p-2} \bigr] \bigl\Vert u(s)\bigr\Vert _{H^{1}}\leq C_{T}\bigl\Vert u(s)\bigr\Vert _{H^{1}}, \end{aligned}$$

(2.59)

where $M_{1}=\Vert u_{1}\Vert _{L^{\infty} ( 0,T_{\ast };H^{1} ) }+\Vert u_{2}\Vert _{L^{\infty} ( 0,T_{\ast };H^{1} ) }$. Hence

$$\begin{aligned} \sigma_{4} =&2 \int _{0}^{t} \bigl\langle |u_{1}|^{p-2}u_{1}-|u_{2}|^{p-2}u_{2},u^{\prime}(s) \bigr\rangle \,ds \\ \leq& 2C_{T} \int _{0}^{t}\bigl\Vert u(s)\bigr\Vert _{H^{1}} \bigl\Vert u^{\prime}(s)\bigr\Vert \,ds \\ \leq &C_{T} \int _{0}^{t}\bigl\Vert u(s)\bigr\Vert _{H^{1}}^{2}\,ds+C_{T} \int _{0}^{t}\bigl\Vert u^{\prime }(s)\bigr\Vert ^{2}\,ds \\ \leq& C_{T} \int _{0}^{t}\sigma(s)\,ds. \end{aligned}$$

(2.60)

Combining (2.52), (2.56)-(2.58), (2.60) and choosing $\beta=\frac{1}{2}$, we obtain

$$ \sigma(t)\leq C_{T} \int _{0}^{t}\sigma(s)\,ds. $$

(2.61)

By Gronwall’s lemma, it follows from (2.61) that $\sigma\equiv0$, i.e., $u_{1}\equiv u_{2}$. Theorem 2.4 is proved completely.  □

Proof of Theorem 2.5

In order to prove this theorem, we use standard arguments of density.

First, we note that $W^{1}(0,T;L^{2}(\partial\Omega))=\{g\in L^{2}(0,T;L^{2}(\partial\Omega)):g^{\prime}\in L^{2}(0,T;L^{2}(\partial \Omega))\}$ is a Hilbert space with respect to the scalar product (see [27]):

$$ \langle f,g\rangle_{W^{1}(0,T;L^{2}(\partial\Omega ))}= \int _{0}^{T} \bigl[ \bigl\langle f(t),g(t)\bigr\rangle _{L^{2}(\partial \Omega)}+\bigl\langle f^{\prime}(t),g^{\prime}(t)\bigr\rangle _{L^{2}(\partial \Omega)} \bigr] \,dt. $$

(2.62)

Furthermore, we also have the embedding $W^{1}(0,T;L^{2}(\partial\Omega ))\hookrightarrow C^{0}([0,T];L^{2}(\partial\Omega))$ is continuous and

$$\begin{aligned} \Vert g\Vert _{C^{0}([0,T];L^{2}(\partial\Omega))}&\leq \gamma _{T}\sqrt{ \bigl( \Vert g\Vert _{L^{2}(0,T;L^{2}(\partial \Omega ))}^{2}+\bigl\Vert g^{\prime}\bigr\Vert _{L^{2}(0,T;L^{2}(\partial \Omega ))}^{2} \bigr) } \\ &\equiv \gamma_{T}\Vert g\Vert _{W^{1}(0,T;L^{2}(\partial\Omega))} \end{aligned}$$

(2.63)

for all $g\in W^{1}(0,T;L^{2}(\partial\Omega))$, where $\gamma _{T}=\sqrt{\frac{1}{2T}+\sqrt{4+\frac{1}{4T^{2}}}}$ (see the Appendix).

Similarly, $W^{1}(0,T;L^{2} ( \partial\Omega\times\Omega ) )=\{h\in L^{2}(0,T;L^{2} ( \partial\Omega\times\Omega ) ):h^{\prime}\in L^{2}(0,T;L^{2} ( \partial\Omega\times\Omega ) )\}$ is a Hilbert space with respect to the scalar product

$$ \langle h,k\rangle_{W^{1}(0,T;L^{2} ( \partial\Omega\times\Omega ) )}= \int _{0}^{T} \bigl[ \bigl\langle h(t),k(t)\bigr\rangle _{L^{2} ( \partial\Omega\times\Omega ) }+\bigl\langle h^{\prime }(t),k^{\prime}(t)\bigr\rangle _{L^{2} ( \partial\Omega\times\Omega ) } \bigr] \,dt, $$

(2.64)

and the embedding $W^{1}(0,T;L^{2} ( \partial\Omega\times\Omega ) )\hookrightarrow C^{0}([0,T];L^{2} ( \partial\Omega\times \Omega ) )$ is continuous and

$$\begin{aligned} \Vert h\Vert _{C^{0}([0,T];L^{2} ( \partial\Omega \times \Omega ) )}&\leq\gamma_{T}\sqrt{ \bigl( \Vert h\Vert _{L^{2}(0,T;L^{2} ( \partial\Omega\times\Omega ) )}^{2}+\bigl\Vert h^{\prime}\bigr\Vert _{L^{2}(0,T;L^{2} ( \partial \Omega\times\Omega ) )}^{2} \bigr) } \\ &\equiv\gamma_{T}\Vert h\Vert _{W^{1}(0,T;L^{2} ( \partial\Omega\times\Omega ) )} \end{aligned}$$

(2.65)

for all $h\in W^{1}(0,T;L^{2} ( \partial\Omega\times\Omega ) )$, where $\gamma_{T}=\sqrt{\frac{1}{2T}+\sqrt{4+\frac{1}{4T^{2}}}}$ (see the Appendix).

Consider $( u_{0},u_{1},f,g,h ) \in H^{1}\times L^{2}\times L^{2}(Q_{T})\times W^{1}(0,T;L^{2} ( \partial\Omega ) )\times W^{1}(0,T;L^{2} ( \partial\Omega\times\Omega ) )$.

Let the sequence $\{ ( u_{0m},u_{1m},f_{m},g_{m},h_{m} ) \} \subset H^{2}\times H^{1}\times C_{0}^{\infty} ( \overline{Q}_{T} ) \times C_{0}^{\infty} ( \partial\Omega\times\overline{\Omega} ) \times C_{0}^{\infty} ( \partial\Omega\times\overline{\Omega }\times [0,T] )$, such that

$$\begin{aligned}& \left \{ \textstyle\begin{array}{l} u_{0m}\rightarrow u_{0} \quad \text{strongly in } H^{1}, \\ u_{1m}\rightarrow u_{1} \quad \text{strongly in } L^{2}, \\ f_{m}\rightarrow f \quad \text{strongly in } L^{2}(Q_{T}) ,\end{array}\displaystyle \right . \end{aligned}$$

(2.66)

$$\begin{aligned}& \Vert g_{m}-g\Vert _{W^{1}(0,T;L^{2} ( \partial\Omega \times\Omega ) )}^{2}\equiv \Vert g_{m}-g\Vert _{L^{2}(0,T;L^{2}(\partial\Omega))}^{2}+\bigl\Vert g_{m}^{\prime }-g^{\prime}\bigr\Vert _{L^{2}(0,T;L^{2}(\partial\Omega ))}^{2} \rightarrow0 , \end{aligned}$$

(2.67)

$$\begin{aligned}& \Vert h_{m}-h\Vert _{W^{1}(0,T;L^{2} ( \partial\Omega \times\Omega ) )}^{2}\equiv \Vert h_{m}-h\Vert _{L^{2}(0,T;L^{2} ( \partial\Omega\times\Omega ) )}^{2}+\bigl\Vert h_{m}^{\prime}-h^{\prime}\bigr\Vert _{L^{2}(0,T;L^{2} ( \partial\Omega\times\Omega ) )}^{2} \\& \hphantom{\Vert h_{m}-h\Vert _{W^{1}(0,T;L^{2} ( \partial\Omega \times\Omega ) )}^{2}}\rightarrow0 . \end{aligned}$$

(2.68)

So $\{ ( u_{0m},u_{1m} ) \}$ satisfy, for all $m\in \mathbb{N}$, the compatibility condition

$$ -\frac{\partial u_{0m}}{\partial\nu}(x)=g_{m}(x,0)+ \int _{\Omega }h_{m}(x,y,0)u_{0m}(y)\,dy . $$

(2.69)

Then, for each $m\in \mathbb{N}$, there exists a unique function $u_{m}$ under the conditions of Theorem 2.4. Thus, we can verify

$$ \left \{ \textstyle\begin{array}{l} \langle u_{m}^{\prime\prime}(t),v \rangle+ \langle \nabla u_{m}(t),\nabla v \rangle+ \langle Ku_{m}(t)+\lambda u_{m}^{\prime }(t),v \rangle \\ \qquad {}+\int _{\partial\Omega} ( \langle h_{m}(x,t),u_{m}(t)\rangle +g_{m}(x,t) ) v(x)\,dS_{x} \\ \quad = \langle|u_{m}|^{p-2}u_{m},v \rangle+ \langle f_{m}(t),v \rangle \quad \mbox{for all } v\in H^{1}, \\ u_{m}(0)=u_{0m} ,\qquad u_{m}^{\prime}(0)=u_{1m} \end{array}\displaystyle \right . $$

(2.70)

and

$$ \left \{ \textstyle\begin{array}{l} u_{m}\in L^{\infty} ( 0,T_{\ast};H^{2} ) \cap C^{0} ( 0,T_{\ast};H^{1} ) \cap C^{1} ( 0,T_{\ast};L^{2} ) , \\ u_{m}^{\prime}\in L^{\infty} ( 0,T_{\ast};H^{1} ) \cap C^{0} ( 0,T_{\ast};L^{2} ) , \\ u_{m}^{\prime\prime}\in L^{\infty} ( 0,T_{\ast};L^{2} ) . \end{array}\displaystyle \right . $$

(2.71)

By the same arguments used to obtain the above estimates, we get

$$ \bigl\Vert u_{m}^{\prime}(t)\bigr\Vert ^{2}+\bigl\Vert u_{m}(t)\bigr\Vert _{H^{1}}^{2}\leq C_{T} , $$

(2.72)

$\forall t\in[0,T_{\ast}]$, where $C_{T}$ always indicates a constant depending on T as above.

On the other hand, we put $w_{m, l}=u_{m}-u_{l}$, $f_{m, l}=f_{m}-f_{l}$, $h_{m, l}=h_{m}-h_{l}$, $g_{m,l}=g_{m}-g_{l}$, $h_{m, l}(x,y,0)=\bar{h}_{m, l}^{(0)}(x,y)$, $g_{m, l}(x,0)=\bar{g}_{m, l}^{(0)}(x)$, from (2.70), it follows that

$$ \left \{ \textstyle\begin{array}{l} \langle w_{m,l}^{\prime\prime}(t),v \rangle+ \langle \nabla w_{m,l}(t),\nabla v \rangle+ \langle Kw_{m,l}(t)+\lambda w_{m,l}^{\prime}(t),v \rangle \\ \qquad {}+\int _{\partial\Omega} ( \langle h_{m}(x,t),w_{m,l}(t)\rangle+\langle h_{m, l}(x,t),u_{l}(t)\rangle+g_{m,l}(x,t) ) v(x)\,dS_{x} \\ \quad = \langle |u_{m}|^{p-2}u_{m}-|u_{l}|^{p-2}u_{l},v \rangle+ \langle f_{m, l}(t),v \rangle \quad \mbox{for all } v\in H^{1}, \\ w_{m,l}(0)=u_{0m}-u_{0l}\equiv\bar{w}_{m,l}^{(0)} ,\qquad w_{m,l}^{\prime }(0)=u_{1m}-u_{1l}\equiv\bar{w}_{m,l}^{(1)} .\end{array}\displaystyle \right . $$

(2.73)

We take $v=w_{m,l}=u_{m}-u_{l}$, in (2.73) and integrating with respect to t, we get

$$\begin{aligned} S_{m,l}(t) =&S_{m,l}(0)+2 \int _{\partial\Omega} \bigl( \bigl\langle h_{m}(x,0), \bar{w}_{m,l}^{(0)}\bigr\rangle +\bigl\langle h_{m, l}(x,0),u_{0l}\bigr\rangle +g_{m,l}(x,0) \bigr) \bar{w}_{m,l}^{(0)}(x)\,dS_{x} \\ &{}+2 \int _{0}^{t} \bigl\langle f_{m, l}(s),w_{m,l}^{\prime}(s) \bigr\rangle \,ds-2 \int _{0}^{t} \bigl\langle Kw_{m,l}(s)+ \lambda w_{m,l}^{\prime }(s),w_{m,l}^{\prime}(s) \bigr\rangle \,ds \\ &{}-2 \int _{\partial\Omega} \bigl( \bigl\langle h_{m}(x,t),w_{m,l}(t) \bigr\rangle +\bigl\langle h_{m, l}(x,t),u_{l}(t)\bigr\rangle +g_{m,l}(x,t) \bigr) w_{m,l}(x,t)\,dS_{x} \\ &{}+2 \int _{0}^{t}\,ds \int _{\partial\Omega} \bigl( \bigl\langle h_{m}^{\prime}(x,s),w_{m,l}(s) \bigr\rangle +\bigl\langle h_{m}(x,s),w_{m,l}^{\prime }(s) \bigr\rangle \bigr) w_{m,l}(x,s)\,dS_{x} \\ &{}+2 \int _{0}^{t}\,ds \int _{\partial\Omega} \bigl( \bigl\langle h_{m, l}^{\prime}(x,s),u_{l}(s) \bigr\rangle +\bigl\langle h_{m, l}(x,s),u_{l}^{\prime}(s) \bigr\rangle \bigr) w_{m,l}(x,s)\,dS_{x} \\ &{}+2 \int _{0}^{t}\,ds \int _{\partial\Omega }g_{m,l}^{\prime }(x,s)w_{m,l}(x,s) \,dS_{x} \\ &{}+2 \int _{0}^{t} \bigl\langle |u_{m}|^{p-2}u_{m}-|u_{l}|^{p-2}u_{l},w_{m,l}^{\prime}(s) \bigr\rangle \,ds\equiv S_{m,l}(0)+\sum_{j=1}^{8}Z_{j} , \end{aligned}$$

(2.74)

where

$$\begin{aligned}& S_{m,l}(t)=\bigl\Vert w_{m,l}^{\prime}(t)\bigr\Vert ^{2}+\bigl\Vert \nabla w_{m,l}(t)\bigr\Vert ^{2} , \end{aligned}$$

(2.75)

$$\begin{aligned}& S_{m,l}(0)=\Vert u_{1m}-u_{1l}\Vert ^{2}+\Vert \nabla u_{0m}-\nabla u_{0l}\Vert ^{2} . \end{aligned}$$

(2.76)

After all terms of $S_{m,l}(t)$ are estimated, in which we note the two main estimations $Z_{1}$, $Z_{8}$ as follows:

$$\begin{aligned} Z_{1} =&2 \int _{\partial\Omega} \bigl( \bigl\langle h_{m}(x,0), \bar{w}_{m,l}^{(0)}\bigr\rangle +\bigl\langle h_{m, l}(x,0),u_{0l}\bigr\rangle +g_{m,l}(x,0) \bigr) \bar{w}_{m,l}^{(0)}(x)\,dS_{x} \\ \leq&2\gamma_{\Omega} \bigl[ \bigl\Vert \bar{w}_{m,l}^{(0)} \bigr\Vert \bigl\Vert h_{m}(0)\bigr\Vert _{L^{2}(\partial \Omega\times\Omega)}+\Vert u_{0l}\Vert \bigl\Vert \bar{h}_{m, l}^{(0)} \bigr\Vert _{L^{2}(\partial\Omega\times\Omega )}+\bigl\Vert \bar{g}_{m, l}^{(0)} \bigr\Vert _{L^{2}(\partial \Omega)} \bigr] \bigl\Vert \bar{w}_{m,l}^{(0)} \bigr\Vert _{H^{1}} \\ \leq&2\gamma_{\Omega}\gamma_{T}\cdot \mathrm{const.} \bigl[ \bigl\Vert \bar{w}_{m,l}^{(0)}\bigr\Vert _{H^{1}}+ \Vert h_{m, l}\Vert _{W^{1}(0,T;L^{2} ( \partial\Omega\times\Omega ) )}+\Vert g_{m, l}\Vert _{W^{1}(0,T;L^{2} ( \partial \Omega ) )} \bigr] \bigl\Vert \bar{w}_{m,l}^{(0)}\bigr\Vert _{H^{1}} \\ \rightarrow&0 , \quad \mbox{as } m , l\rightarrow+\infty ; \end{aligned}$$

(2.77)

this result combined with (2.66)-(2.68) shows that

$$\begin{aligned} S_{m,l}(0)+Z_{1} =&\Vert u_{1m}-u_{1l} \Vert ^{2}+\Vert \nabla u_{0m}-\nabla u_{0l} \Vert ^{2}+Z_{1} \\ \equiv& R(m,l)\rightarrow0 ,\quad \mbox{as } m , l\rightarrow+\infty . \end{aligned}$$

(2.78)

On the other hand

$$\begin{aligned}& \bigl\Vert |u_{m}|^{p-2}u_{m}-|u_{l}|^{p-2}u_{l} \bigr\Vert \\& \quad \leq D_{p} \bigl[ 1+ \bigl( \Vert u_{m}\Vert _{H^{1}}+\Vert u_{l}\Vert _{H^{1}} \bigr) ^{1/N}+ \bigl( \Vert u_{m}\Vert _{H^{1}}+\Vert u_{l}\Vert _{H^{1}} \bigr) ^{p-2} \bigr] \bigl\Vert w_{m,l}(s)\bigr\Vert _{H^{1}} \\& \quad \leq C_{T}\bigl\Vert w_{m,l}(s)\bigr\Vert _{H^{1}} , \end{aligned}$$

(2.79)

by Lemma 2.3(i), we get

$$\begin{aligned} Z_{8} =&2 \int _{0}^{t} \bigl\langle |u_{m}|^{p-2}u_{m}-|u_{l}|^{p-2}u_{l},w_{m,l}^{\prime}(s) \bigr\rangle \,ds\leq2C_{T} \int _{0}^{t}\bigl\Vert w_{m,l}(s)\bigr\Vert _{H^{1}}\bigl\Vert w_{m,l}^{\prime}(s)\bigr\Vert \,ds \\ \leq& C_{T} \biggl[ 2t\bigl\Vert \bar{w}_{m,l}^{(0)} \bigr\Vert ^{2}+\bigl(1+t^{2}\bigr) \int _{0}^{t}S_{m,l}(s)\,ds \biggr] +C_{T}\int _{0}^{t}S_{m,l}(s) \,ds \\ \leq& C_{T} \biggl[ \bigl\Vert \bar{w}_{m,l}^{(0)} \bigr\Vert ^{2}+ \int _{0}^{t}S_{m,l}(s)\,ds \biggr] . \end{aligned}$$

(2.80)

We obtain

$$ S_{m,l}(t)\leq R_{T}^{(1)}(m,l)+C_{T} \int _{0}^{t}S_{m,l}(s)\,ds , $$

(2.81)

with

$$\begin{aligned} R_{T}^{(1)}(m,l) =&2R(m,l)+2\Vert f_{m, l}\Vert _{L^{2}(Q_{T})}^{2} \\ &{}+C_{T} \bigl( \bigl\Vert \bar{w}_{m,l}^{(0)} \bigr\Vert ^{2}+\Vert h_{m, l}\Vert _{W^{1}(0,T;L^{2} ( \partial\Omega\times\Omega ) )}^{2}+ \Vert g_{m,l}\Vert _{W^{1}(0,T;L^{2} ( \partial \Omega ) )}^{2} \bigr) \rightarrow0 , \end{aligned}$$

(2.82)

as $m, l\rightarrow+\infty$. By Gronwall’s lemma, it follows from (2.81) that

$$ S_{m,l}(t)\leq R_{T}^{(1)}(m,l)\exp ( TC_{T} ) \leq C_{T}R_{T}^{(1)}(m,l), \quad \forall t\in[0,T_{\ast}] . $$

(2.83)

Thus, convergence of the sequence $\{ ( u_{0m},u_{1m},f_{m},g_{m},h_{m} ) \}$ implies the convergence to zero as $m, l\rightarrow+\infty$ of the term on the right-hand side of (2.83). Therefore, we get

$$ u_{m}\rightarrow u \quad \text{strongly in } C^{0} \bigl([0,T_{\ast }];H^{1}\bigr)\cap C^{1} \bigl([0,T_{\ast}];L^{2}\bigr) . $$

(2.84)

On the other hand, from (2.72), we get the existence of a subsequence of $\{u_{m}\}$, still also so denoted, such that

$$ \left \{ \textstyle\begin{array}{l} u_{m}\rightarrow u \quad \text{in } L^{\infty}(0,T_{\ast};H^{1}) \text{ weakly}^{*}, \\ u_{m}^{\prime}\rightarrow u^{\prime} \quad \text{in } L^{\infty }(0,T_{\ast };L^{2}) \text{ weakly}^{*}.\end{array}\displaystyle \right . $$

(2.85)

By the compactness lemma of Lions ([28], p.57), we can deduce from (2.85) the existence of a subsequence, still denoted by $\{u_{m}\}$, such that

$$ \textstyle\begin{array}{l} u_{m}\rightarrow u \quad \text{strongly in } L^{2}(Q_{T\ast })\text{ and a.e. in }Q_{T_{\ast}} .\end{array} $$

(2.86)

Similarly, by (2.72), it follows from (2.86) that

$$ |u_{m}|^{p-2}u_{m}\rightarrow|u|^{p-2}u \quad \text{in }L^{2}(Q_{T_{\ast }}) \text{ weakly}. $$

(2.87)

Passing to the limit in (2.70) by (2.84)-(2.87), we have u satisfying the problem

$$ \left \{ \textstyle\begin{array}{l} \frac{d}{dt} \langle u^{\prime}(t),v \rangle+ \langle \nabla u(t),\nabla v \rangle+ \langle Ku(t)+\lambda u^{\prime }(t),v \rangle \\ \qquad {}+\int _{\partial\Omega} ( \langle h(x,t),u(t)\rangle+g(x,t) ) v(x)\,dS_{x} \\ \quad = \langle|u|^{p-2}u,v \rangle+ \langle f(t),v \rangle \quad \mbox{for all } v\in H^{1}, \\ u(0)=u_{0} , \qquad u^{\prime}(0)=u_{1} .\end{array}\displaystyle \right . $$

(2.88)

Next, the uniqueness of a weak solution is obtained by using the well-known regularization procedure due to Lions. Theorem 2.5 is proved completely. □

Remark 2.2

In the case $1< p\leq2$, $f\in L^{2}(Q_{T})$, $g\in W^{1}(0,T;L^{2} ( \partial\Omega ) )$, $h\in W^{1}(0,T;L^{2} ( \partial\Omega\times\Omega ) )$, and $( u_{0},u_{1} ) \in H^{1}\times L^{2}$, the integral inequality (2.29) leads to the following global estimation:

$$ S_{m}(t)\leq C_{T} ,\quad \forall m\in \mathbb{N} , \forall t\in[0,T] , \forall T>0 . $$

(2.89)

Then, by applying a similar argument to the proof of Theorem 2.4, we can obtain a global weak solution u of problem (1.1)-(1.3) satisfying

$$ u\in L^{\infty} \bigl( 0,T;H^{1} \bigr) , \qquad u_{t} \in L^{\infty} \bigl( 0,T;L^{2} \bigr) . $$

(2.90)

However, in the case $1< p<2$, we do not imply that a weak solution obtained here belongs to $C ( [0,T];H^{1} ) \cap C^{1} ( [0,T];L^{2} )$. Furthermore, the uniqueness of a weak solution is also not asserted.

3 Exponential decay

In this section, we study the exponentially decay of solutions of problem (1.1)-(1.3) corresponding to $a=1$, $g=0$, $K>0$, $\lambda >0$, and $2< p\leq\frac{2N-2}{N-2}$. For this purpose, we make the following assumptions:

($\mathrm{A}_{1}^{\prime\prime}$):

$f\in L^{2} ( 0,\infty;L^{2} ) =L^{2}(Q_{\infty})$, $Q_{\infty}=\Omega\times\mathbb{R}_{+}$, such that $\Vert f(t)\Vert \leq Ce^{-\gamma _{0}t}$, for all $t\geq0$, with $C>0$, $\gamma_{0}>0$ are given constants,

($\mathrm{A}_{2}^{\prime\prime}$):

$h\in L^{\infty}(0,\infty;L^{2} ( \partial\Omega\times\Omega ) )\cap L^{2} ( \mathbb{R} _{+}\times\partial\Omega\times\Omega )$, $h^{\prime\prime}\in L^{\infty}(0,\infty;L^{2} ( \partial\Omega\times\Omega ) )\cap L^{1}(0,\infty;L^{2} ( \partial\Omega\times\Omega ) )$,

($\mathrm{A}_{3}^{\prime\prime}$):

$g=0$.

Let $K>0$, on $H^{1}$ we shall use the following norm:

$$ \Vert v\Vert _{1}= \bigl( K\Vert v\Vert ^{2}+\Vert \nabla v\Vert ^{2} \bigr) ^{1/2} .$$

Then we have the following lemma.

Lemma 3.1

On $H^{1}$, two norms $\Vert v\Vert _{1}$, $\Vert v\Vert _{H^{1}}$ are equivalent and

$$ \frac{1}{\sqrt{\max\{1,K\}}}\Vert v\Vert _{1}\leq \Vert v\Vert _{H^{1}}\leq\frac{1}{\sqrt{\min\{1,K\}}}\Vert v\Vert _{1}\equiv C_{0}\Vert v\Vert _{1} \quad \textit{for all } v\in H^{1} ,$$

where $C_{0}=\frac{1}{\sqrt{\min\{1,K\}}}$.

The proof of this lemma is simple, we omit the details.

We construct the following Lyapunov functional:

$$ \mathcal{L}(t)=E(t)+\delta\psi(t), $$

(3.1)

where $\delta>0$ is chosen later and

$$\begin{aligned}& E(t)=\frac{1}{2}\bigl\Vert u^{\prime}(t)\bigr\Vert ^{2}+\frac{1}{2}\bigl\Vert u(t)\bigr\Vert _{1}^{2}-\frac{1}{p}\bigl\Vert u(t) \bigr\Vert _{L^{p}}^{p}+ \int _{\partial\Omega}\bigl\langle h(x,t),u(t)\bigr\rangle u(x,t) \,dS_{x} , \end{aligned}$$

(3.2)

$$\begin{aligned}& \psi(t)=\bigl\langle u(t),u^{\prime}(t)\bigr\rangle +\frac{\lambda}{2}\bigl\Vert u(t)\bigr\Vert ^{2} . \end{aligned}$$

(3.3)

Put

$$\begin{aligned}& I(t)=I\bigl(u(t)\bigr)=\bigl\Vert u(t)\bigr\Vert _{1}^{2}- \bigl\Vert u(t) \bigr\Vert _{L^{p}}^{p}+p \int _{\partial\Omega}\bigl\langle h(x,t),u(t)\bigr\rangle u(x,t) \,dS_{x} , \end{aligned}$$

(3.4)

$$\begin{aligned}& J(t)=J\bigl(u(t)\bigr)=\frac{1}{2}\bigl\Vert u(t)\bigr\Vert _{1}^{2}-\frac{1}{p} \bigl\Vert u(t)\bigr\Vert _{L^{p}}^{p}+ \int _{\partial\Omega }\bigl\langle h(x,t),u(t)\bigr\rangle u(x,t) \,dS_{x} \\& \hphantom{J(t)}= \biggl( \frac{1}{2}-\frac{1}{p} \biggr) \bigl\Vert u(t)\bigr\Vert _{1}^{2}+\frac{1}{p}I(t) , \end{aligned}$$

(3.5)

we rewrite

$$ E(t)=\frac{1}{2}\bigl\Vert u^{\prime}(t)\bigr\Vert ^{2}+J(t)=\frac {1}{2}\bigl\Vert u^{\prime}(t) \bigr\Vert ^{2}+ \biggl( \frac{1}{2}-\frac{1}{p} \biggr) \bigl\Vert u(t)\bigr\Vert _{1}^{2}+\frac{1}{p}I(t) . $$

(3.6)

Then we have the following theorem.

Theorem 3.2

Assume that ($\mathrm{A}_{1}^{\prime\prime}$)-($\mathrm{A}_{3}^{\prime\prime}$) hold. Let $I(0)>0$ and the initial energy $E(0)$ satisfy

$$ \eta_{\ast}= ( C_{p}C_{0} ) ^{p} \biggl( \frac{2p}{p-2}E_{\ast } \biggr) ^{\frac{p-2}{2}}+pC_{0}\bar{ \gamma}_{\Omega} \Vert h\Vert _{L^{\infty}(0,\infty;L^{2} ( \partial\Omega\times \Omega ) )}< 1 , $$

(3.7)

where

$$ \left \{ \textstyle\begin{array}{l} E_{\ast}= ( E ( 0 ) +\frac{1}{\lambda}\int _{0}^{\infty} \Vert f ( t ) \Vert ^{2}\,dt ) \exp ( \frac{2p}{p-2}\int _{0}^{\infty}\bar{h}(t)\,dt ) , \\ \bar{h}(t)=\bar{\gamma}_{\Omega} ( C_{0}\Vert h^{\prime }(t)\Vert _{L^{2} ( \partial\Omega\times\Omega ) }+\frac{1}{\lambda}\bar{\gamma}_{\Omega} \Vert h(t)\Vert _{L^{2} ( \partial\Omega\times\Omega ) }^{2} ) ,\end{array}\displaystyle \right . $$

(3.8)

$\bar{\gamma}_{\Omega}=\gamma_{\Omega}C_{0}$ and $C_{p}$ is a constant satisfying the inequality $\Vert v\Vert_{L^{p}}\leq C_{p}\Vert v\Vert _{H^{1}}$, for all $v\in H^{1}$.

Then, for $E ( 0 )$, $\Vert f\Vert _{L^{\infty }(0,\infty;L^{2})}$, $\Vert h\Vert _{L^{\infty}(0,\infty ;L^{2} ( \partial\Omega\times\Omega ) )}$, $\Vert h^{\prime} \Vert _{L^{\infty}(0,\infty;L^{2} ( \partial \Omega \times\Omega ) )}$ sufficiently small, there exist positive constants C, γ such that

$$ E(t)\leq C\exp(-\gamma t)\quad \textit{for all }t\geq0. $$

(3.9)

Proof of Theorem 3.2

At first, we state and prove Lemmas 3.3-3.6 as follows.

Lemma 3.3

The energy functional $E(t)$ satisfies

$$\begin{aligned} E^{\prime} ( t ) \leq&-\frac{\lambda}{2}\bigl\Vert u^{\prime } ( t ) \bigr\Vert ^{2}+\frac{1}{\lambda}\bigl\Vert f ( t ) \bigr\Vert ^{2} \\ &{}+\bar{\gamma}_{\Omega} \biggl( C_{0}\bigl\Vert h^{\prime}(t)\bigr\Vert _{L^{2} ( \partial\Omega\times\Omega ) }+\frac{1}{\lambda}\bar{ \gamma}_{\Omega}\bigl\Vert h(t) \bigr\Vert _{L^{2} ( \partial\Omega\times\Omega ) }^{2} \biggr) \bigl\Vert u(t)\bigr\Vert _{1}^{2} . \end{aligned}$$

(3.10)

Proof

Multiplying (1.1) by $u^{\prime}(x,t)$ and integrating over $[0,1]$, we get

$$ E^{\prime} ( t ) =-\lambda\bigl\Vert u^{\prime} ( t ) \bigr\Vert ^{2}+\bigl\langle f(t),u^{\prime}(t)\bigr\rangle + \int _{\partial\Omega} \bigl[ \bigl\langle h^{\prime }(x,t),u(t)\bigr\rangle +\bigl\langle h(x,t),u^{\prime}(t)\bigr\rangle \bigr] u(x,t) \,dS_{x} . $$

(3.11)

We have

$$ \bigl\langle f(t),u^{\prime}(t)\bigr\rangle \leq\frac{\lambda}{4}\bigl\Vert u^{\prime} ( t ) \bigr\Vert ^{2}+\frac{1}{\lambda}\bigl\Vert f ( t ) \bigr\Vert ^{2} . $$

(3.12)

By Lemmas 2.1, 2.2, 3.1, we obtain

$$\begin{aligned}& \int _{\partial\Omega}\bigl\langle h^{\prime}(x,t),u(t)\bigr\rangle u(x,t)\,dS_{x}\leq\bigl\Vert u(t)\bigr\Vert \int _{\partial \Omega }\bigl\Vert h^{\prime}(x,t)\bigr\Vert \bigl\vert u(x,t)\bigr\vert \,dS_{x} \\& \hphantom{\int _{\partial\Omega}\bigl\langle h^{\prime}(x,t),u(t)\bigr\rangle u(x,t)\,dS_{x}}\leq C_{0}\bigl\Vert u(t)\bigr\Vert _{1} \biggl( \int _{\partial \Omega}\bigl\Vert h^{\prime}(x,t)\bigr\Vert ^{2}\,dS_{x} \biggr) ^{1/2} \biggl( \int _{\partial\Omega}u^{2}(x,t)\,dS_{x} \biggr) ^{1/2} \\& \hphantom{\int _{\partial\Omega}\bigl\langle h^{\prime}(x,t),u(t)\bigr\rangle u(x,t)\,dS_{x}}\leq C_{0}\bar{\gamma}_{\Omega}\bigl\Vert h^{\prime}(t)\bigr\Vert _{L^{2} ( \partial\Omega\times\Omega ) }\bigl\Vert u(t)\bigr\Vert _{1}^{2} , \end{aligned}$$

(3.13)

$$\begin{aligned}& \int _{\partial\Omega}\bigl\langle h(x,t),u^{\prime}(t)\bigr\rangle u(x,t)\,dS_{x}\leq\bigl\Vert u^{\prime}(t)\bigr\Vert \int _{\partial\Omega}\bigl\Vert h(x,t)\bigr\Vert \bigl\vert u(x,t) \bigr\vert \,dS_{x} \\& \hphantom{\int _{\partial\Omega}\bigl\langle h(x,t),u^{\prime}(t)\bigr\rangle u(x,t)\,dS_{x}}\leq\bigl\Vert u^{\prime}(t)\bigr\Vert \bar{ \gamma}_{\Omega} \bigl\Vert h(t)\bigr\Vert _{L^{2} ( \partial\Omega\times\Omega ) }\bigl\Vert u(t)\bigr\Vert _{1} \\& \hphantom{\int _{\partial\Omega}\bigl\langle h(x,t),u^{\prime}(t)\bigr\rangle u(x,t)\,dS_{x}}\leq\frac{\lambda}{4}\bigl\Vert u^{\prime} ( t ) \bigr\Vert ^{2}+\frac{1}{\lambda}\bar{\gamma}_{\Omega}^{2} \bigl\Vert h(t) \bigr\Vert _{L^{2} ( \partial\Omega\times\Omega ) }^{2}\bigl\Vert u(t) \bigr\Vert _{1}^{2} . \end{aligned}$$

(3.14)

Combining (3.11)-(3.14), (3.10) follows. Lemma 3.3 is proved completely. □

Lemma 3.4

Suppose that ($\mathrm{A}_{1}^{\prime\prime}$)-($\mathrm{A}_{3}^{\prime\prime}$) hold. Then, if we have $I(0)>0$ and

$$ \eta_{\ast}= ( C_{p}C_{0} ) ^{p} \biggl( \frac{2p}{p-2}E_{\ast } \biggr) ^{\frac{p-2}{2}}+pC_{0}\bar{ \gamma}_{\Omega} \Vert h\Vert _{L^{\infty}(0,\infty;L^{2} ( \partial\Omega\times \Omega ) )}< 1 , $$

(3.15)

then $I(t)>0$, $\forall t\geq0$.

Proof

By the continuity of $I(t)$ and $I(0)>0$, there exists $T_{1}>0$ such that

$$ I(t)=I\bigl(u(t)\bigr)\geq0, \quad \forall t\in[0,T_{1}], $$

(3.16)

this implies

$$\begin{aligned} J(t) =& \biggl( \frac{1}{2}-\frac{1}{p} \biggr) \bigl\Vert u(t)\bigr\Vert _{1}^{2}+\frac{1}{p}I(t) \\ \geq& \biggl( \frac{1}{2}-\frac{1}{p} \biggr) \bigl\Vert u(t)\bigr\Vert _{1}^{2} \\ \geq&\frac{p-2}{2p}\bigl\Vert u(t)\bigr\Vert _{1}^{2}, \quad \forall t\in[0,T_{1}] . \end{aligned}$$

(3.17)

It follows from (3.6), (3.17) that

$$ \bigl\Vert u(t)\bigr\Vert _{1}^{2}\leq \frac{2p}{p-2}J(t)\leq\frac {2p}{p-2}E(t),\quad \forall t \in[0,T_{1}]. $$

(3.18)

Equation (3.10) leads to

$$\begin{aligned} E^{\prime} ( t ) \leq&-\frac{\lambda}{2}\bigl\Vert u^{\prime } ( t ) \bigr\Vert ^{2}+\frac{1}{\lambda}\bigl\Vert f ( t ) \bigr\Vert ^{2} \\ &{}+\bar{\gamma}_{\Omega} \biggl( C_{0}\bigl\Vert h^{\prime}(t)\bigr\Vert _{L^{2} ( \partial\Omega\times\Omega ) }+\frac{1}{\lambda}\bar{ \gamma}_{\Omega}\bigl\Vert h(t) \bigr\Vert _{L^{2} ( \partial\Omega\times\Omega ) }^{2} \biggr) \bigl\Vert u(t)\bigr\Vert _{1}^{2} \\ \leq&\frac{1}{\lambda}\bigl\Vert f ( t ) \bigr\Vert ^{2}+ \frac{2p}{p-2}\bar{\gamma}_{\Omega} \biggl( C_{0} \bigl\Vert h^{\prime}(t)\bigr\Vert _{L^{2} ( \partial\Omega\times\Omega ) }+\frac{1}{\lambda}\bar{ \gamma}_{\Omega}\bigl\Vert h(t) \bigr\Vert _{L^{2} ( \partial\Omega\times\Omega ) }^{2} \biggr) E(t) \\ =&\frac{1}{\lambda}\bigl\Vert f ( t ) \bigr\Vert ^{2}+ \frac{2p}{p-2}\bar{h}(t)E(t) . \end{aligned}$$

(3.19)

Integrating with respect to t, we obtain

$$ E ( t ) \leq E ( 0 ) +\frac{1}{\lambda}\int _{0}^{\infty}\bigl\Vert f ( t ) \bigr\Vert ^{2}\,dt+\frac{2p}{p-2} \int _{0}^{t}\bar{h}(s)E(s)\,ds , $$

(3.20)

where $\bar{h}(t)$ is as in (3.8).

Combining (3.18), (3.20), and using the Gronwall lemma, we have

$$ E ( t ) \leq \biggl( E ( 0 ) +\frac{1}{\lambda}\int _{0}^{\infty}\bigl\Vert f ( t ) \bigr\Vert ^{2}\,dt \biggr) \exp \biggl( \frac{2p}{p-2} \int _{0}^{\infty}\bar {h}(s)\,ds \biggr) =E_{\ast} $$

(3.21)

and

$$ \bigl\Vert u(t)\bigr\Vert _{1}^{2}\leq \frac{2p}{p-2}E(t)\leq\frac {2p}{p-2}E_{\ast}, \quad \forall t \in[0,T_{1}] . $$

(3.22)

Hence, it follows from (3.7), (3.22) that

$$\begin{aligned}& \bigl\Vert u(t)\bigr\Vert _{L^{p}}^{p}-p \int _{\partial \Omega }\bigl\langle h(x,t),u(t)\bigr\rangle u(x,t) \,dS_{x} \\& \quad \leq ( C_{p}C_{0} ) ^{p}\bigl\Vert u(t) \bigr\Vert _{1}^{p}+pC_{0}\bar { \gamma}_{\Omega}\bigl\Vert h(t)\bigr\Vert _{L^{2} ( \partial\Omega \times \Omega ) } \bigl\Vert u(t)\bigr\Vert _{1}^{2} \\& \quad \leq \biggl[ ( C_{p}C_{0} ) ^{p} \biggl( \frac{2p}{p-2}E_{\ast} \biggr) ^{\frac{p-2}{2}}+pC_{0}\bar{ \gamma}_{\Omega} \Vert h\Vert _{L^{\infty }(0,\infty;L^{2} ( \partial\Omega\times\Omega ) )} \biggr] \bigl\Vert u(t) \bigr\Vert _{1}^{2} \\& \quad =\eta _{\ast}\bigl\Vert u(t)\bigr\Vert _{1}^{2}< \bigl\Vert u(t)\bigr\Vert _{1}^{2}, \quad \forall t \in[0,T_{1}] . \end{aligned}$$

(3.23)

Therefore, $I(t)>0$, $\forall t\in[0,T_{1}]$.

Now, we put $T_{\infty}=\sup \{ T>0:I(u(t))>0, \forall t\in [0,T] \}$. If $T_{\infty}<+\infty$ then, by the continuity of $I(t)$, we have $I(T_{\infty})\geq0$. By the same arguments as in the above part, we can deduce that there exists $T_{2}>T_{\infty}$ such that $I(t)>0$, $\forall t\in[0,T_{2}]$. Hence, we conclude that $I(t)>0$, $\forall t\geq0$.

Lemma 3.4 is proved completely. □

Lemma 3.5

Let $I(0)>0$ and (3.7) hold. Then there exist the positive constants $\beta_{1}$, $\beta_{2}$ such that

$$ \beta_{1}E(t)\leq \mathcal{L}(t)\leq\beta_{2}E(t), \quad \forall t\geq0 $$

(3.24)

for δ is sufficiently small.

Proof

A simple computation gives

$$ \begin{aligned} &\mathcal{L}(t)=\frac{1}{2}\bigl\Vert u^{\prime}(t)\bigr\Vert ^{2}+ \biggl( \frac{1}{2}- \frac{1}{p} \biggr) \bigl\Vert u(t)\bigr\Vert _{1}^{2}+ \frac {1}{p}I(t)+\delta\bigl\langle u(t),u^{\prime}(t)\bigr\rangle + \frac{\delta\lambda }{2}\bigl\Vert u(t)\bigr\Vert ^{2}, \\ &E(t)=\frac{1}{2}\bigl\Vert u^{\prime}(t)\bigr\Vert ^{2}+J(t)=\frac {1}{2}\bigl\Vert u^{\prime}(t) \bigr\Vert ^{2}+ \biggl( \frac{1}{2}-\frac{1}{p} \biggr) \bigl\Vert u(t)\bigr\Vert _{1}^{2}+\frac{1}{p}I(t) .\end{aligned} $$

(3.25)

From the following inequalities:

$$ \begin{aligned} &\delta\bigl\langle u(t),u^{\prime}(t)\bigr\rangle \leq\delta C_{0}\bigl\Vert u(t)\bigr\Vert _{1}\bigl\Vert u^{\prime}(t)\bigr\Vert \leq\delta \bigl\Vert u^{\prime}(t) \bigr\Vert ^{2}+\frac{1}{4}\delta C_{0}^{2} \bigl\Vert u(t)\bigr\Vert _{1}^{2}, \\ &\frac{\delta\lambda}{2}\bigl\Vert u(t)\bigr\Vert ^{2}\leq \frac {\delta \lambda}{2}C_{0}^{2}\bigl\Vert u(t)\bigr\Vert _{1}^{2} ,\end{aligned} $$

(3.26)

we deduce from (3.25) that

$$\begin{aligned} \mathcal{L}(t) \geq&\frac{1}{2}\bigl\Vert u^{\prime}(t)\bigr\Vert ^{2}+ \biggl( \frac{1}{2}-\frac{1}{p} \biggr) \bigl\Vert u(t)\bigr\Vert _{1}^{2}+\frac{1}{p}I(t)-\delta\bigl\Vert u^{\prime}(t)\bigr\Vert ^{2} \\ &{}-\frac{1}{4}\delta C_{0}^{2}\bigl\Vert u(t)\bigr\Vert _{1}^{2}-\frac {\delta \lambda}{2}C_{0}^{2} \bigl\Vert u(t)\bigr\Vert _{1}^{2} \\ =& \biggl( \frac{1}{2}-\delta \biggr) \bigl\Vert u^{\prime }(t) \bigr\Vert ^{2}+ \biggl[ \frac{1}{2}-\frac{1}{p}- \frac{1}{2}\delta C_{0}^{2} \biggl( \lambda+ \frac{1}{2} \biggr) \biggr] \bigl\Vert u(t)\bigr\Vert _{1}^{2}+\frac{1}{p}I(t) \\ =& ( 1-2\delta ) \frac{1}{2}\bigl\Vert u^{\prime }(t)\bigr\Vert ^{2}+ \biggl[ 1-\frac{\frac{1}{2}\delta C_{0}^{2} ( \lambda+\frac{1}{2} ) }{\frac{1}{2}-\frac{1}{p}} \biggr] \biggl( \frac{1}{2}- \frac{1}{p} \biggr) \bigl\Vert u(t)\bigr\Vert _{1}^{2}+ \frac {1}{p}I(t) \\ \geq&\beta_{1}E(t) , \end{aligned}$$

(3.27)

where we choose

$$ \beta_{1}=\min \biggl\{ 1, 1-2\delta, 1-\frac{\frac {1}{2}\delta C_{0}^{2} ( \lambda+\frac{1}{2} ) }{\frac{1}{2}-\frac {1}{p}} \biggr\} , $$

(3.28)

with δ being small enough, $0<\delta<\min \{ \frac {1}{2}, \frac{\frac{1}{2}-\frac{1}{p}}{\frac{1}{2}C_{0}^{2} ( \lambda+\frac{1}{2} ) } \}$.

Similarly, we can prove that

$$\begin{aligned} \begin{aligned}[b] \mathcal{L}(t)&\leq \biggl( \frac{1}{2}+\delta \biggr) \bigl\Vert u^{\prime }(t)\bigr\Vert ^{2}+ \biggl[ \frac{1}{2}- \frac{1}{p}+\frac{1}{2}\delta C_{0}^{2} \biggl( \lambda+\frac{1}{2} \biggr) \biggr] \bigl\Vert u(t)\bigr\Vert _{1}^{2}+\frac{1}{p}I(t) \\ &= ( 1+2\delta ) \frac{1}{2}\bigl\Vert u^{\prime }(t)\bigr\Vert ^{2}+ \biggl[ 1+\frac{\frac{1}{2}\delta C_{0}^{2} ( \lambda+\frac{1}{2} ) }{\frac{1}{2}-\frac{1}{p}} \biggr] \biggl( \frac{1}{2}- \frac{1}{p} \biggr) \bigl\Vert u(t)\bigr\Vert _{1}^{2}+ \frac {1}{p}I(t) \\ &\leq\beta_{2}E(t) , \end{aligned} \end{aligned}$$

(3.29)

where

$$ \beta_{2}=\max \biggl\{ 1+2\delta, 1+\frac{\frac{1}{2}\delta C_{0}^{2} ( \lambda+\frac{1}{2} ) }{\frac{1}{2}-\frac{1}{p}} \biggr\} . $$

(3.30)

Lemma 3.5 is proved completely. □

Lemma 3.6

Let $I(0)>0$ and (3.7) hold. Then the functional $\psi(t)$ defined by (3.3) satisfies

$$\begin{aligned} \psi^{\prime} ( t ) \leq&\bigl\Vert u^{\prime} ( t ) \bigr\Vert ^{2}+\frac{1}{4\varepsilon_{1}}C_{0}^{2}\bigl\Vert f(t) \bigr\Vert ^{2}-\frac{1}{2}I(t) \\ &{}- \biggl[ \frac{1}{2}(1-\eta_{\ast }{})-\varepsilon _{1}-(p-1)C_{0}\bar{\gamma}_{\Omega} \Vert h\Vert _{L^{\infty }(0,\infty;L^{2} ( \partial\Omega\times\Omega ) )} \biggr] \bigl\Vert u(t)\bigr\Vert _{1}^{2} \end{aligned}$$

(3.31)

for all $\varepsilon_{1}>0$.

Proof

By multiplying (1.1) by $u(x,t)$ and integrating over $[0,1]$, we obtain

$$\begin{aligned} \psi^{\prime} ( t ) =&\bigl\Vert u^{\prime} ( t ) \bigr\Vert ^{2}-\bigl\Vert u ( t ) \bigr\Vert _{1}^{2}+ \bigl\Vert u(t)\bigr\Vert _{L^{p}}^{p}+\bigl\langle f(t),u(t)\bigr\rangle - \int _{\partial \Omega}\bigl\langle h(x,t),u(t)\bigr\rangle u(x,t) \,dS_{x} \\ =&\bigl\Vert u^{\prime} ( t ) \bigr\Vert ^{2}-\frac{1}{2}I(t)-\frac{1}{2}I(t)+(p-1) \int _{\partial\Omega }\bigl\langle h(x,t),u(t)\bigr\rangle u(x,t) \,dS_{x}+\bigl\langle f(t),u(t)\bigr\rangle . \end{aligned}$$

(3.32)

Note that

$$\begin{aligned}& I(t)\geq(1-\eta_{\ast})\bigl\Vert u(t)\bigr\Vert _{1}^{2}, \\& \int _{\partial\Omega}\bigl\langle h(x,t),u(t)\bigr\rangle u(x,t) \,dS_{x}\leq C_{0}\bar{\gamma}_{\Omega} \Vert h \Vert _{L^{\infty}(0,\infty;L^{2} ( \partial\Omega\times\Omega ) )}\bigl\Vert u(t)\bigr\Vert _{1}^{2}, \\& \bigl\langle f(t),u(t)\bigr\rangle \leq\varepsilon_{1}\bigl\Vert u(t) \bigr\Vert _{1}^{2}+\frac{1}{4\varepsilon_{1}}C_{0}^{2} \bigl\Vert f(t)\bigr\Vert ^{2} , \end{aligned}$$

(3.33)

hence, Lemma 3.6 is proved by using some estimates. □

Now, we prove Theorem 3.2.

It follows from (3.1), (3.10), and (3.31) that

$$\begin{aligned} \mathcal{L}^{\prime}(t) \leq&-\biggl(\frac{\lambda}{2}-\delta\biggr)\bigl\Vert u^{\prime} ( t ) \bigr\Vert ^{2}-\frac{\delta }{2}I(t) \\ &{}-\biggl\{ \delta \biggl[ \frac{1}{2}(1-\eta_{\ast })- \varepsilon_{1} \biggr] -\delta(p-1)C_{0}\bar{\gamma }_{\Omega }\Vert h\Vert _{L^{\infty}(0,\infty;L^{2} ( \partial \Omega \times\Omega ) )} \\ &{}- \bar{\gamma }_{\Omega } \biggl( C_{0}\bigl\Vert h^{\prime}\bigr\Vert _{L^{\infty}(0,\infty ;L^{2} ( \partial\Omega\times\Omega ) )}+\frac{1}{\lambda }\bar{\gamma}_{\Omega} \Vert h\Vert _{L^{\infty}(0,\infty ;L^{2} ( \partial\Omega\times\Omega ) )}^{2} \biggr) \biggr\} \bigl\Vert u(t)\bigr\Vert _{1}^{2} \\ &{}+ \biggl( \frac{1}{\lambda}+\frac{\delta}{4\varepsilon_{1}}C_{0}^{2} \biggr) \bigl\Vert f(t)\bigr\Vert ^{2} \\ =&-\biggl(\frac{\lambda}{2}-\delta\biggr)\bigl\Vert u^{\prime} ( t ) \bigr\Vert ^{2}-\frac{\delta}{2}I(t)- \biggl\{ \delta \biggl[ \frac{1}{2}(1-\eta_{\ast})-\varepsilon_{1} \biggr] -\bigl\Vert [h]\bigr\Vert \biggr\} \bigl\Vert u(t)\bigr\Vert _{1}^{2} \\ &{}+ \biggl( \frac{1}{\lambda}+\frac{\delta}{4\varepsilon_{1}}C_{0}^{2} \biggr) \bigl\Vert f(t)\bigr\Vert ^{2} \end{aligned}$$

(3.34)

for all $\delta, \varepsilon_{1}>0$, where

$$\begin{aligned} \bigl\Vert [ h]\bigr\Vert \equiv&\delta(p-1)C_{0}\bar{ \gamma}_{\Omega} \Vert h\Vert _{L^{\infty}(0,\infty;L^{2} ( \partial\Omega\times\Omega ) )} \\ &{}+\bar{\gamma}_{\Omega} \biggl( C_{0}\bigl\Vert h^{\prime}\bigr\Vert _{L^{\infty}(0,\infty;L^{2} ( \partial \Omega \times\Omega ) )}+\frac{1}{\lambda}\bar{ \gamma}_{\Omega} \Vert h\Vert _{L^{\infty}(0,\infty;L^{2} ( \partial\Omega\times \Omega ) )}^{2} \biggr) . \end{aligned}$$

(3.35)

Let δ, $\varepsilon_{1}$ satisfy

$$ 0< \delta< \frac{\lambda}{2} , \qquad 0< \varepsilon_{1}< \frac{1}{2}(1-\eta _{\ast}) . $$

(3.36)

Then, for δ small enough such that $0<\delta<\frac{\lambda}{2}$ and if h satisfy

$$ \bigl\Vert [ h]\bigr\Vert < \delta \biggl[ \frac{1}{2}(1-\eta _{\ast })-\varepsilon_{1} \biggr] , $$

(3.37)

we deduce from (3.34), (3.36), and (3.37) that there exists a constant $\gamma>0$ such that

$$\begin{aligned} \mathcal{L}^{\prime}(t) \leq&-(\lambda-2\delta)\frac{1}{2}\bigl\Vert u^{\prime} ( t ) \bigr\Vert ^{2}-\frac{1}{2}\delta p\frac {1}{p}I(t) \\ &{}-\frac{ \{ \delta [ \frac{1}{2}(1-\eta_{\ast })-\varepsilon _{1} ] -\Vert [h]\Vert \} }{\frac {1}{2}-\frac{1}{p}} \biggl( \frac{1}{2}- \frac{1}{p} \biggr) \bigl\Vert u(t)\bigr\Vert _{1}^{2}+ \rho(t) \\ \leq&-\gamma_{1}E(t)+\rho(t)\leq-\frac{\gamma _{1}}{\beta _{2}}\mathcal{L}(t)+ \rho(t)\leq-\gamma \mathcal{L}(t)+\rho(t) , \end{aligned}$$

(3.38)

where

$$\begin{aligned}& \gamma_{1}=\min \biggl\{ \lambda-2\delta, \frac{1}{2}\delta p,\frac{ \{ \delta [ \frac{1}{2}(1-\eta_{\ast })-\varepsilon_{1} ] -\Vert [h]\Vert \} }{\frac{1}{2}-\frac{1}{p}} \biggr\} >0, \\& \rho(t)= \biggl( \frac{1}{\lambda}+\frac{\delta}{4\varepsilon_{1}}C_{0}^{2} \biggr) \bigl\Vert f(t)\bigr\Vert ^{2}\leq C_{\ast }e^{-2\gamma _{0}t}, \\& 0< \gamma< \min\{\gamma_{1},2\gamma_{0}\} . \end{aligned}$$

(3.39)

Combining (3.38) and (3.39), we get (3.9). Theorem 3.2 is proved completely.  □

Remark

We consider the following problem:

$$ \textstyle\begin{array}{l} \left \{ \textstyle\begin{array}{l} u_{tt}-\Delta u+Ku+\lambda u_{t}+\vert u\vert ^{p-2}u=f(x,t), \quad x\in\Omega, t>0, \\ -\frac{\partial u}{\partial\nu}(x,t)=g(x,t)+\int _{\Omega }h(x,y,t)u(y,t)\,dy, \quad x\in\partial\Omega, t\geq0, \\ u(x,0)=u_{0}(x), \qquad u_{t}(x,0)=u_{1}(x). \end{array}\displaystyle \right . \end{array} $$

(3.40)

With the suitable conditions for K, λ, p, $u_{0}$, $u_{1}$, f, g, h, we prove that problem (3.40) has a unique global solution $u(t)$ with energy decaying exponentially as $t\rightarrow+\infty$, without the initial data $( u_{0},u_{1} )$ being small enough. The results obtained are as follows and their proofs are not difficult with a procedure analogous to the ones in Theorems 2.4, 3.2.

Theorem 3.7

Suppose that $2< p\leq\frac {2N-2}{N-2}$, $K>0$, $\lambda>0$, $g\equiv0$, $( u_{0},u_{1} ) \in H^{1}\times L^{2}$ and ($\mathrm{A}_{1}^{\prime\prime}$), ($\mathrm{A}_{2}^{\prime \prime}$) hold. Then problem (3.40) has a unique global solution $u\in L^{\infty} ( 0,\infty;H^{1} ) \cap C ( [0,\infty);H^{1} ) \cap C^{1} ( [0,\infty);L^{2} )$ such that $u_{t}\in L^{\infty} ( 0,\infty;L^{2} )$.

Furthermore, if $\Vert h\Vert _{L^{\infty}(0,\infty ;L^{2} ( \partial\Omega\times\Omega ) )}$, $\Vert h^{\prime} \Vert _{L^{\infty}(0,\infty;L^{2} ( \partial \Omega \times\Omega ) )}$ are sufficiently small then there exist positive constants C, γ such that

$$ \bigl\Vert u^{\prime}(t)\bigr\Vert ^{2}+\bigl\Vert u(t) \bigr\Vert _{1}^{2}+\bigl\Vert u(t)\bigr\Vert _{L^{p}}^{p}\leq C\exp(-\gamma t)\quad \textit{for all }t\geq0. $$

Appendix

Lemma A.1

Let H be Hilbert space with respect to the scalar product $\langle\cdot,\cdot\rangle$. Then the embedding $W^{1}(0,T;H)=\{F\in L^{2}(0,T;H):F^{\prime}\in L^{2}(0,T;H)\}\hookrightarrow C^{0}([0,T];H)$ is continuous and

$$ \Vert F\Vert _{C^{0}([0,T];H)}\leq\gamma_{T}\sqrt{ \bigl( \Vert F\Vert _{L^{2}(0,T;H)}^{2}+\bigl\Vert F^{\prime } \bigr\Vert _{L^{2}(0,T;H)}^{2} \bigr) }\equiv\gamma_{T} \Vert F\Vert _{W^{1}(0,T;H)} $$

for all $F\in W^{1}(0,T;H)$, where $\gamma_{T}=\sqrt{ \frac{1}{2T}+\sqrt{4+\frac{1}{4T^{2}}}}$.

Proof

Let $F\in W^{1}(0,T;H)$, for all $t, s\in[0,T]$, we have

$$ \bigl\Vert F(t)-F(s)\bigr\Vert =\biggl\Vert \int _{s}^{t}F^{\prime }(r)\,dr\biggr\Vert \leq\biggl\vert \int _{s}^{t}\bigl\Vert F^{\prime }(r)\bigr\Vert \,dr\biggr\vert \leq\sqrt{\vert t-s\vert }\bigl\Vert F^{\prime}\bigr\Vert _{L^{2}(0,T;H)} . $$

(A.1)

Hence $F\in C^{0}([0,T];H)$.

On the other hand

$$ \bigl\Vert F(t)\bigr\Vert ^{2}=\bigl\Vert F(s)\bigr\Vert ^{2}+ \int _{s}^{t}\frac{d}{dt}\bigl\Vert F(r) \bigr\Vert ^{2}\,dr=\bigl\Vert F(s)\bigr\Vert ^{2}+2 \int _{s}^{t}\bigl\langle F(r),F^{\prime}(r) \bigr\rangle \,dr . $$

(A.2)

Integrating with respect to s, we obtain

$$\begin{aligned} T\bigl\Vert F(t)\bigr\Vert ^{2} =& \int _{0}^{T}\bigl\Vert F(s)\bigr\Vert ^{2}\,ds+2 \int _{0}^{T}\,ds \int _{s}^{t}\bigl\langle F(r),F^{\prime }(r) \bigr\rangle \,dr \\ =&\Vert F\Vert _{L^{2}(0,T;H)}^{2}+2 \int _{0}^{T}\,ds \int _{0}^{t}\bigl\langle F(r),F^{\prime}(r) \bigr\rangle \,dr-2 \int _{0}^{T}\,ds \int _{0}^{s}\bigl\langle F(r),F^{\prime }(r) \bigr\rangle \,dr \\ =&\Vert F\Vert _{L^{2}(0,T;H)}^{2}+2T \int _{0}^{t}\bigl\langle F(r),F^{\prime }(r) \bigr\rangle \,dr-2 \int _{0}^{T}\,ds \int _{0}^{s}\bigl\langle F(r),F^{\prime}(r) \bigr\rangle \,dr . \end{aligned}$$

(A.3)

Inverting the variables s and r in the last integral of (A.3), we rewrite it as follows:

$$ -2 \int _{0}^{T}\,ds \int _{0}^{s}\bigl\langle F(r),F^{\prime }(r) \bigr\rangle \,dr=-2 \int _{0}^{T}(T-r)\bigl\langle F(r),F^{\prime }(r) \bigr\rangle \,dr . $$

(A.4)

By the inequality $2ab\leq\alpha a^{2}+\frac{1}{\alpha}b^{2}$, for all $a,b\in \mathbb{R}$, $\alpha>0$, we deduce from (A.3), (A.4) that

$$\begin{aligned} T\bigl\Vert F(t)\bigr\Vert ^{2} \leq&\Vert F\Vert _{L^{2}(0,T;H)}^{2}+2T \int _{0}^{t}\bigl\Vert F(r)\bigr\Vert \bigl\Vert F^{\prime}(r)\bigr\Vert \,dr+2 \int _{0}^{T}(T-r)\bigl\Vert F(r)\bigr\Vert \bigl\Vert F^{\prime}(r)\bigr\Vert \,dr \\ \leq&\Vert F\Vert _{L^{2}(0,T;H)}^{2}+4T \int _{0}^{T}\bigl\Vert F(r)\bigr\Vert \bigl\Vert F^{\prime}(r)\bigr\Vert \,dr \\ \leq&\Vert F\Vert _{L^{2}(0,T;H)}^{2}+4T\Vert F\Vert _{L^{2}(0,T;H)}\bigl\Vert F^{\prime}\bigr\Vert _{L^{2}(0,T;H)} \\ \leq&\Vert F\Vert _{L^{2}(0,T;H)}^{2}+2T \biggl( \alpha \Vert F \Vert _{L^{2}(0,T;H)}^{2}+\frac{1}{\alpha}\bigl\Vert F^{\prime}\bigr\Vert _{L^{2}(0,T;H)}^{2} \biggr) \\ \leq& ( 1+2T\alpha ) \Vert F\Vert _{L^{2}(0,T;H)}^{2}+ \frac{2T}{\alpha}\bigl\Vert F^{\prime }\bigr\Vert _{L^{2}(0,T;H)}^{2} . \end{aligned}$$

(A.5)

Choose $\alpha>0$ such that $1+2T\alpha=\frac{2T}{\alpha}$, or $\alpha=\frac{2}{\frac{1}{2T}+\sqrt{4+\frac{1}{4T^{2}}}}$. Hence

$$\begin{aligned} \Vert F\Vert _{C^{0}([0,T];L^{2})}^{2} \leq& \biggl( \frac {1}{2T}+\sqrt{4+\frac{1}{4T^{2}}} \biggr) \bigl( \Vert F \Vert _{L^{2}(0,T;H)}^{2}+\bigl\Vert F^{\prime}\bigr\Vert _{L^{2}(0,T;H)}^{2} \bigr) \\ \equiv&\gamma_{T}^{2} \Vert F\Vert _{W^{1}(0,T;H)}^{2}. \end{aligned}$$

(A.6)

 □