A general stability for a von Kármán system with memory

Abstract

In this paper we study the von Kármán plate model with long-range memory. We prove an explicit and general decay rate result using some properties of the convex functions. Our result is obtained without imposing any restrictive assumptions on the behavior of the relaxation function at infinity. These general decay estimates extend and improve on some earlier results: exponential or polynomial decay rates.

Introduction

This paper is concerned with the general decay of the solutions to a von Kármán system for the plate equation with memory:

$$\begin{aligned}& u'' -h\Delta u'' + \Delta^{2} u -\int_{0}^{t} g(t-s) \Delta^{2} u (s)\, d s = [ u, v ]\quad \mbox{in } \Omega\times(0 , \infty), \end{aligned}$$

(1.1)

$$\begin{aligned}& \Delta^{2} v = -[u, u] \quad \mbox{in } \Omega\times(0 , \infty), \end{aligned}$$

(1.2)

$$\begin{aligned}& v = \frac{\partial v }{\partial\nu} = 0\quad \mbox{on } \Gamma \times(0, \infty), \end{aligned}$$

(1.3)

$$\begin{aligned}& u = \frac{\partial u }{\partial\nu} = 0 \quad \mbox{on } \Gamma_{0} \times(0, \infty), \end{aligned}$$

(1.4)

$$\begin{aligned}& {\mathcal{B}}_{1} u - {\mathcal{B}}_{1} \biggl\{ \int _{0}^{t} g(t-s ) u(s ) \, d s \biggr\} =0\quad \mbox{on } \Gamma_{1} \times(0 ,\infty), \end{aligned}$$

(1.5)

$$\begin{aligned}& {\mathcal{B}}_{2} u- h\frac{\partial u''}{\partial\nu}- {\mathcal{B}}_{2} \biggl\{ \int_{0}^{t} g(t-s) u(s )\, d s \biggr\} =0 \quad \mbox{on } \Gamma_{1} \times(0, \infty), \end{aligned}$$

(1.6)

$$\begin{aligned}& u( x,y,0) = u_{0} (x,y) ,\qquad u' (x,y,0) = u_{1} (x,y) \quad \mbox{in } \Omega, \end{aligned}$$

(1.7)

where Ω is an open bounded set of ${\mathbb{R}}^{2}$ with a sufficiently smooth boundary $\Gamma=\Gamma_{0} \cup\Gamma_{1}$. Here, $\Gamma_{0}$ and $\Gamma_{1}$ are closed and disjoint. The equations describe small vibrations of a thin homogeneous isotropic plate of uniform thickness h. Let us denote by $\nu= (\nu_{1} , \nu_{2} )$ the external unit normal to Γ, and by $\eta= ( - \nu_{2} , \nu_{1} )$ the unitary tangent positively oriented on Γ. Here

$$ {\mathcal{B}}_{1} u = \Delta u + (1-\mu) B_{1} u \quad \mbox{and} \quad {\mathcal{B}}_{2} u = \frac{ \partial\Delta u}{\partial\nu} + (1-\mu) B_{2} u, $$

where constant μ ($0< \mu< \frac{1}{2}$) is Poisson’s ratio and

$$\begin{aligned}& B_{1} u = 2 \nu_{1} \nu_{2} u_{xy} - \nu_{1}^{2} u_{yy} - \nu_{2}^{2} u_{xx}, \\& B_{2} u = \frac{\partial}{\partial\eta}\bigl[\bigl(\nu_{1}^{2} - \nu_{2}^{2} \bigr)u_{xy} + \nu_{1} \nu_{2} ( u_{yy}-u_{xx})\bigr]. \end{aligned}$$

The von Kármán bracket is given by

$$[u, v] = u_{xx}v_{yy} - 2 u_{xy} v_{xy}+ u_{yy}v_{xx} . $$

For the last several decades, the mathematical models of vibrating, flexible structures have been considerably stimulated by an increasing number of questions of practical concern. The main purpose of this monograph is to present a systematic study of uniform stabilization of the motion of a thin plate through the action of forces and moments applied at the edge of the plate. Among the elastic plate models, the von Kármán model is a ‘large deflection’ plate model, in a sense of a nonlinear analogue of the Kirchhoff model. However, it is assumed that the vertical deflection is small in comparison with the lateral dimensions of the plate. This hypothesis leads to a coupled pair of fourth-order, nonlinear partial differential equations for the vertical displacement u and the Airy-stress function v. We may interpret Eq. (1.1) as saying that the stresses at any instant depend on the complete history of strains which the material has undergone. We will give later the precise condition on g in order to obtain the general decay results.

The problem of stability of the solutions to a von Kármán system with dissipative effects has been studied by several authors. In [1–4] the authors considered the von Kármán system with frictional dissipations effective in the boundary. It is shown in these works that these dissipations produce uniform rate of decay of the solution when t goes to infinity. Rivera and Menzala [5] and Rivera et al. [6] studied the stability of the solutions to a von Kármán system for viscoelastic plates with memory and boundary memory conditions, respectively. They proved that the energy decays uniformly exponentially or algebraically with the same rate of decay as the relaxation function. Later, Santos and Soufyane [7] generalized the decay result of [6]. Raposo and Santos [8] investigated the general decay of the solutions to a von Kármán plate model. Recently, Kang [9] proved the general decay of the solutions to a von Kármán plate model with memory and boundary damping. Kang [9] improved the results of [8] without imposing any restrictive growth assumption on the damping term and strongly weakening the usual assumption on the relaxation function.

On the other hand, the problem of stability of the solutions to a viscoelastic system with memory has been studied by many authors. In [10–13] the authors showed exponential and polynomial decay for a viscoelastic wave equation under the usual condition

$$ -c_{1} g(t) \leq g' (t) \leq-c_{2} g(t)\quad \mbox{and}\quad 0 \leq g'' (t) \leq c_{3} g(t) $$

for some $c_{i}$, $i=1,2,3$. Later, this assumption was relaxed by several authors. Berrimi and Messaoudi [14] studied exponential and polynomial decay rates under condition on g such as

$$ g' (t) \leq-\xi g^{p} (t)\quad \mbox{for } 1 \leq p < \frac{3}{2}, t\geq0, $$

(1.8)

where $\xi>0$. Messaoudi and Tatar [15] and Liu [16] considered exponential and polynomial decay for a quasilinear equation and a system of two coupled quasilinear viscoelastic equations under condition (1.8) by choosing a suitable perturbed energy, respectively. Messaoudi [17] and Han and Wang [18] proved a general decay rate for viscoelastic equations under a more general condition on g such as

$$ g'(t) \leq- \xi(t) g(t), \qquad \frac{|\xi'(t)|}{|\xi (t)|}\leq k, \quad \xi(t) >0, \xi'(t) \leq0 , \forall t>0. $$

(1.9)

Guesmia and Messaoudi [19] obtained general stability for a Timoshenko system under weaker condition

$$ g'(t) \leq-\xi(t) g(t), $$

(1.10)

where ξ is a nonincreasing and positive function. The stability of the solutions to a viscoelastic system under condition (1.10) was studied in [20–23] and the references therein. Mustafa and Messaoudi [24, 25] investigated the general stability result for a viscoelastic equation for a relaxation function satisfying

$$ g'(t) \leq -H \bigl( g(t) \bigr), $$

(1.11)

where H is a nonnegative function, with $H(0) =0$, and H is a linear or strictly increasing and strictly convex on $(0, r]$ for some $r >0$. The above conditions are weaker conditions on H than those imposed in [26]. Recently, Cavalcanti et al. [27] proved the uniform decay rates of the energy for solutions of a von Kármán system with long memory for the memory kernel g satisfying (1.11).

Motivated by the work in [24–27], we establish an explicit and general decay of the solutions to a von Kármán plate model (1.1)-(1.7) for relaxation functions satisfying (1.11). The proof is based on the multiplier method and makes use of some properties of convex functions. This result improves on earlier ones in the literature because it allows certain relaxation functions which are not necessarily of exponential or polynomial decay.

The paper is organized as follows. In Section 2, we present some notations and material needed for our work and state a global existence theorem. In Section 3, we prove the general decay of the solutions to the von Kármán system with memory.

Preliminaries

In this section, we present some material needed in the proof of our result and state the main result. Throughout this paper we denote $(u, v) = {\int_{\Omega}u(x,y)v(x,y)\, d \Omega}$ and define

$$V=\bigl\{ v \in H^{1} (\Omega) \mid v =0 \mbox{ on } \Gamma_{0} \bigr\} ,\qquad U= \biggl\{ u \in H^{2} (\Omega ) \Bigm| u = \frac{\partial u }{\partial\nu} =0 \mbox{ on } \Gamma_{0} \biggr\} . $$

For a Banach space X, $\|\cdot\|_{X}$ denotes the norm of X. For simplicity, we denote $\|\cdot\|_{L^{2}(\Omega)}$ by $\|\cdot\|$.

A simple calculation, based on the integration by parts formula, yields

$$ \bigl( \Delta^{2} u , v \bigr)= a(u, v) + ({ \mathcal{B}}_{2} u ,v )_{\Gamma}- \biggl({\mathcal{B}}_{1} u , \frac {\partial v }{\partial\nu} \biggr)_{\Gamma}, $$

(2.1)

where the bilinear symmetric form $a(u, v)$ is given by

$$a(u, v)= \int_{\Omega}\bigl\{ u_{xx} v_{xx} +u_{yy}v_{yy} +\mu (u_{xx}v_{yy}+u_{yy}v_{xx})+ 2 ( 1 -\mu) u_{xy} v_{xy} \bigr\} \, d\Omega , $$

where $d\Omega=dx\,dy$. Since $\Gamma_{0} \neq\emptyset$, we know that $\sqrt{a(u,u)}$ is equivalent to the $H^{2} (\Omega)$ norm on U, i.e.,

$$ c_{0} \|u\|^{2}_{H^{2} (\Omega)} \leq a(u, u) \leq\tilde {c}_{0} \|u\|^{2}_{H^{2} (\Omega)}, $$

where $c_{0}$ and $\tilde{c}_{0}$ are generic positive constants. This and the Sobolev imbedding theorem imply that for some positive constants $C_{p}$ and $C_{s}$,

$$ \|u\|^{2} \leq C_{p} a(u, u) ,\qquad \|\nabla u\|^{2} \leq C_{s} a(u, u) , \quad \forall u \in U . $$

(2.2)

We consider the following hypotheses:

• (H1) $g:{\mathbb{R}}^{+} \rightarrow{\mathbb{R}}^{+}$ is a differentiable function such that

  $$ g(0)>0 ,\qquad l:=\int_{0}^{\infty}g(s) \, ds < 1 . $$

  (2.3)

• (H2) There exists a positive function $H\in C^{1} ({\mathbb{R}}^{+})$, with $H(0)=0$, and H is a linear or strictly increasing and strictly convex $C^{2}$ function on $(0, r]$ for some $r<1$ such that

  $$ g'(t) \leq- H\bigl(g(t) \bigr), \quad \forall t \geq 0 . $$

  (2.4)

  To simplify calculation in our analysis, we introduce the following notation:

  $$\begin{aligned}& (g*u) (t) := \int_{0}^{t} g(t- s) u (s )\, d s , \\& (g \,\square\, u) (t) := \int_{0}^{t} g(t-s) \bigl\Vert u(\cdot, t)-u(\cdot, s) \bigr\Vert ^{2} \, ds, \\& \bigl(g \,\square\,\partial^{2} u\bigr) (t) := \int _{0}^{t} g(t-s) a\bigl(u(\cdot, t)-u(\cdot, s),u( \cdot, t)-u(\cdot, s)\bigr)\, ds . \end{aligned}$$

  From the symmetry of $a(\cdot, \cdot)$ we have that for any $v\in C^{1} (0, T; H^{2}(\Omega))$,

  $$\begin{aligned} a\bigl(g*v, v' \bigr) =&-\frac{1}{2}g(t) a(v, v) +\frac{1}{2}g' \,\square\,\partial^{2} v \\ &{} - \frac{1}{2} \frac{d}{dt} \biggl\{ g \,\square\,\partial^{2} v - \biggl(\int_{0}^{t} g(s) \,ds \biggr) a(v, v) \biggr\} . \end{aligned}$$

  (2.5)

We introduce the following lemma for the bracket’s binary.

Lemma 2.1

([28])

Let $u, w \in H^{2}(\Omega)$ and $v \in H^{2}_{0} (\Omega)$, where Ω is an open bounded and connected set of ${\mathbb{R}}^{2}$ with regular boundary. Then

$$ \int_{\Omega}w[v, u] \,d\Omega= \int _{\Omega}v [w, u] \,d\Omega. $$

(2.6)

Lemma 2.2

([1])

If $u, v \in H^{2}(\Omega)$, then $[u, v] \in L^{2}(\Omega)$ and satisfies

$$ \bigl\Vert [u, v]\bigr\Vert \leq c_{0}' \Vert u\Vert _{H^{2}}\Vert v\Vert _{W^{2, \infty}} \quad \textit{and}\quad \Vert v\Vert _{W^{2, \infty}} \leq c_{0}' \Vert u\Vert _{H^{2}}^{2} . $$

(2.7)

By using Galerkin’s approximation, we can obtain the following result for the solution. For the initial data $(u_{0}, u_{1}) \in H^{4}(\Omega) \times H^{2}(\Omega)$, $h>0$, system (1.1)-(1.7) has a unique weak solution u in the following class:

$$ u \in L^{\infty}\bigl(0, \infty;U\cap H^{4}(\Omega)\bigr), \qquad u' \in L^{\infty}\bigl(0, \infty;V\cap H^{2}( \Omega)\bigr) . $$

We introduce the energy of problem (1.1)-(1.7) as

$$ E(t) = \frac{1}{2} \bigl\Vert u' \bigr\Vert ^{2}+\frac{1}{2} a(u, u) +\frac{h}{2}\bigl\Vert \nabla u'\bigr\Vert ^{2} + \frac{1}{4}\Vert \Delta v \Vert ^{2}. $$

(2.8)

Now, we are ready to state the following main result.

Theorem 2.1

Assume that (H1) and (H2) hold. Suppose that D is a positive $C^{1}$ function, with $D(0)=0$, for which $H_{0}$ is a strictly increasing and strictly convex $C^{2}$ function on $(0, r]$ and

$$ \int_{0}^{+\infty} \frac{g(s)}{H_{0}^{-1} (-g'(s))} \,ds < +\infty. $$

(2.9)

Then there exist positive constants $k_{1}$, $k_{2}$, $k_{3}$ and $\epsilon_{0}$ such that the solution of (1.1)-(1.7) satisfies

$$ E(t) \leq k_{3} H_{1}^{-1} (k_{1} t +k_{2} ) ,\quad \forall t\geq0, $$

(2.10)

where

$$H_{1} (t) = \int_{t}^{1} \frac{1}{s H'_{0} (\epsilon_{0} s)} \,ds \quad \textit{and} \quad H_{0} (t) = H \bigl(D(t) \bigr). $$

Moreover, for some choice of D, if ${\int_{0}^{1} H_{1} (t)\, d t } < +\infty$, then we obtain

$$ E(t) \leq k_{3} G^{-1} ( k_{1} t +k_{2} ), $$

(2.11)

where

$$ G(t) = \int_{t}^{1} \frac{1}{s H' (\epsilon_{0} s)} \,ds . $$

(2.12)

In particular, (2.11) is valid for the special case $H(t) = c t^{p}$ for $1\leq p< \frac{3}{2}$.

Remark 2.1

If F is a convex function on $[a, b]$, $f:\Omega\rightarrow [a, b]$ and h are integrable functions on Ω, $h(x)\geq0$, and $\int_{\Omega}h (x) \, d x = h_{0} >0$, then Jensen’s inequality states that

$$ F \biggl(\frac{1}{h_{0}} \int_{\Omega}f(x) h(x) \,dx \biggr) \leq\frac{1}{h_{0}}\int_{\Omega}F \bigl( f(x) \bigr)h(x) \,dx . $$

(2.13)

Remark 2.2

1. From the properties of H, we can show that the function $H_{1}$ is strictly decreasing and convex on $(0, 1]$, with $\lim_{t\rightarrow0}H_{1} (t) = +\infty$. Then Theorem 2.1 ensures

$$ \lim_{t \rightarrow+\infty} E(t) = 0. $$

2. By using (H1) and (H2), we conclude that $\lim_{t \rightarrow+\infty} g (t) =0$. This implies that $\lim_{t \rightarrow+\infty} (- g' (t))$ cannot be equal to a positive number, and so it is natural to assume that $\lim_{t \rightarrow+\infty} (-g' (t)) =0$. Therefore, there is $t_{0} >0$ large enough such that $g(t_{0}) >0$ and

$$ \max\bigl\{ g(t), -g' (t)\bigr\} < \min\bigl\{ r, H(r), H_{0} (r)\bigr\} , \quad \forall t \geq t_{0} . $$

(2.14)

Since g is nonincreasing, $g(0)>0$ and $g(t_{0} ) >0$, we obtain

$$ 0< g( t_{0} ) \leq g(t) \leq g(0), \quad \forall t \in [0, t_{0}]. $$

(2.15)

From H is a positive continuous function, we have

$$ c_{1} \leq H\bigl(g(t)\bigr) \leq c_{2}, \quad \forall t \in[0, t_{0}] $$

(2.16)

for some positive constants $c_{1}$ and $c_{2}$. Hence, by (2.4), (2.15) and (2.16),

$$ g'(t) \leq-H\bigl( g(t)\bigr)\leq -\frac{c_{1}}{g(0)} g(0) \leq - \frac{c_{1}}{g(0)} g(t), $$

which gives

$$ g'(t) \leq-c_{3} g(t), \quad \forall t \in[0, t_{0}] $$

(2.17)

for some positive constant $c_{3}$.

General decay of the energy

In this section we prove the decay rates in Theorem 2.1. The following result shows the dissipative property of system (1.1)-(1.7). Multiplying (1.1) by $u' (t)$, we have the identity

$$ E'(t) = a\bigl(g* u , u'\bigr). $$

(3.1)

We define the modified energy by

$$ {\mathcal{E}}(t) = \frac{1}{2} \bigl\Vert u'\bigr\Vert ^{2}+\frac{h}{2} \bigl\Vert \nabla u'\bigr\Vert ^{2}+\frac{1}{2} \biggl(1-\int_{0}^{t} g(s) \,ds \biggr) a(u, u) + \frac{1}{2} g \,\square\,\partial^{2} u +\frac{1}{4}\Vert \Delta v\Vert ^{2}. $$

From (2.5) and (3.1), we get

$$ {\mathcal{E}}'(t) =-\frac{1}{2}g(t) a(u, u) + \frac{1}{2}g' \,\square\, \partial^{2} u . $$

(3.2)

This implies that ${\mathcal{E}}(t)$ is nonincreasing, and from (2.3) one sees that

$$ E(t) \leq\frac{1}{1-l} {\mathcal{E}}(t), \quad \forall t \geq0. $$

(3.3)

First, let us define the perturbed modified energy by

$$ L(t) = N {\mathcal{E}}(t) +\epsilon\Phi(t) + \Psi(t), $$

(3.4)

where

$$\Phi(t) = \int_{\Omega}u' u \,d\Omega+ h \int _{\Omega}\nabla u' \nabla u \,d\Omega $$

and

$$\Psi(t) =\int_{\Omega}\bigl(h \Delta u' - u' \bigr)\int_{0}^{t} g(t-s) \bigl(u(t)-u(s)\bigr)\,ds \,d\Omega . $$

Using the ideas presented in [9], we easily obtain the following lemmas.

Lemma 3.1

For $N>0$ large enough, there exist $\alpha_{1}>0$ and $\alpha_{2}>0$ such that

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

(3.5)

Proof

By Young’s inequality, (2.2) and (2.3), we have

$$ \bigl\vert \Phi(t)\bigr\vert \leq \frac{1}{2} \bigl\Vert u'\bigr\Vert ^{2} + \frac{h}{2} \bigl\Vert \nabla u'\bigr\Vert ^{2} + \frac{C_{p} +C_{s} h}{2} a (u,u) $$

(3.6)

and

$$ \bigl\vert \Psi(t) \bigr\vert \leq \frac{1}{2} \bigl\Vert u'\bigr\Vert ^{2} +\frac{h}{2}\bigl\Vert \nabla u'\bigr\Vert ^{2} + \frac{(C_{p} + C_{s} h) l}{2} g \, \square\, \partial^{2} u . $$

(3.7)

From (3.6) and (3.7) we obtain

$$\begin{aligned} \bigl\vert L(t) - N {\mathcal{E}}(t) \bigr\vert \leq& \frac{1}{2}( \epsilon+1) \bigl\Vert u'\bigr\Vert ^{2}+ \frac{h}{2}(\epsilon+1) \bigl\Vert \nabla u'\bigr\Vert ^{2} \\ &{} + \frac{(C_{p} +C_{s} h)\epsilon}{2} a (u,u) + \frac{(C_{p} + C_{s} h) l}{2} g \,\square\, \partial^{2} u \\ \leq& C_{0} {\mathcal{E}}(t), \end{aligned}$$

where $C_{0}$ is a positive constant depending on ϵ, h, $C_{p}$, $C_{s}$ and l. Choosing $N>0$ large, we complete the proof of Lemma 3.1. □

Lemma 3.2

For each $t_{0} > 0$ and sufficiently large $N>0$, there exist positive constants $\beta_{1}$ and $\beta_{2}$ such that

$$ L'(t) \leq- \beta_{1} {\mathcal{E}}(t) + \beta_{2} g \,\square\,\partial^{2} u ,\quad \forall t \geq t_{0} . $$

(3.8)

Proof

Direct computations, using (1.1), yield

$$ \Phi'(t)= -a(u, u) +a (g*u, u) + \bigl([u, v], u \bigr) +\bigl\Vert u'\bigr\Vert ^{2} +h \bigl\Vert \nabla u'\bigr\Vert ^{2} . $$

(3.9)

By Young’s inequality, we have

$$ a(g*u, u) \leq( \delta+1) \biggl(\int_{0}^{t} g(s) \,ds \biggr) a(u, u) +\frac{1}{4 \delta} g \,\square\,\partial^{2} u . $$

(3.10)

From (3.9) and (3.10), we get

$$\begin{aligned} \Phi'(t) \leq&\bigl\Vert u'\bigr\Vert ^{2} +h \bigl\Vert \nabla u'\bigr\Vert ^{2} +\frac{1}{4\delta} g \,\square\,\partial^{2} u \\ &{}- \biggl(1-(\delta+1) \int_{0}^{t} g(s) \,ds \biggr)a(u, u) -\Vert \Delta v\Vert ^{2}, \end{aligned}$$

(3.11)

where $\delta>0$. Similarly we deduce

$$\begin{aligned} \Psi'(t) =& \int_{0}^{t} g(t-s)a \bigl( u(t)-u(s), u(t) \bigr)\,ds - \int_{0}^{t} g(t-s) \bigl( u(t)-u(s), [u, v]\bigr) \,ds \\ &{} - \int_{0}^{t} g(t-s)a \biggl( u(t)-u(s), \int_{0}^{t} g(t-\tau) u(\tau)\, d \tau\biggr) \,ds \\ &{} - h \int_{0}^{t} g'(t-s) \bigl( \nabla u(t)-\nabla u(s), \nabla u'(t)\bigr) \,ds -h \biggl( \int _{0}^{t} g(s) \,ds \biggr)\bigl\Vert \nabla u'\bigr\Vert ^{2} \\ &{} - \int_{0}^{t} g'(t-s) \bigl( u(t)-u(s), u'(t)\bigr) \,ds - \biggl(\int_{0}^{t} g(s)\,ds \biggr) \bigl\Vert u'\bigr\Vert ^{2} \\ :=& I_{1}+I_{2}+\cdots+I_{5} -h \biggl(\int _{0}^{t} g(s) \,ds \biggr) \bigl\Vert \nabla u'\bigr\Vert ^{2} - \biggl(\int_{0}^{t} g(s)\,ds \biggr)\bigl\Vert u'\bigr\Vert ^{2}. \end{aligned}$$

(3.12)

Now, we estimate the terms on the right-hand side of (3.12). Since $E(t)$ is bounded, we have that $\|v\|_{\infty}\leq \int_{\Omega}|\Delta v|^{2} \,d\Omega$ is also bounded, and then Young’s and Hölder’s inequalities, (2.2), (2.3), (2.6) and (2.7) give that

$$\begin{aligned}& |I_{1}| \leq \eta \biggl(\int_{0}^{t} g(s) \,ds \biggr) a(u, u) + \frac{1}{4\eta}g \,\square\,\partial^{2} u , \\& |I_{2}| = \int_{\Omega}\biggl[u, \int _{0}^{t} g(t-s) \bigl( u(t)-u(s)\bigr) \,ds \biggr] v \,d\Omega\leq \eta a(u,u) +c_{\eta}l\|v\|^{2}_{\infty} g \,\square\, \partial^{2} u, \\& |I_{3} | \leq l \int_{0}^{t} g(t-s) a \bigl(u(t)-u(s) , u(t)-u(s)\bigr) \,ds + l \int_{0}^{t} g(t-s) a\bigl(u(t)-u(s) , u(t)\bigr) \,ds \\& \hphantom{|I_{3} |}\leq \biggl(l + \frac{l}{4\eta} \biggr)g \,\square\, \partial^{2} u + l^{2} \eta a(u, u) , \\& |I_{4}| \leq h\eta\bigl\Vert \nabla u'\bigr\Vert ^{2} + \frac{h}{4\eta} \int_{\Omega}\biggl( \int _{0}^{t} g' (t-s)\bigl|\nabla u(t)-\nabla u(s)\bigr| \,ds \biggr)^{2} \,d\Omega \\& \hphantom{|I_{4}|}\leq h\eta \bigl\Vert \nabla u'\bigr\Vert ^{2} -\frac{ g(0)C_{s} h }{4\eta} g' \, \square\,\partial^{2} u , \\& |I_{5}| \leq \eta \bigl\Vert u'\bigr\Vert ^{2}+\frac{1}{4\eta}\int_{\Omega}\biggl( \int _{0}^{t} g' (t-s)\bigl| u(t)-u(s)\bigr| \,ds \biggr)^{2} \,d\Omega \\& \hphantom{|I_{5}|}\leq \eta\bigl\Vert u'\bigr\Vert ^{2}- \frac{g(0)C_{p}}{4 \eta} g' \,\square\, \partial^{2} u . \end{aligned}$$

From the above estimates, we see that

$$\begin{aligned} \Psi'(t) \leq& \biggl(h \eta-h\int _{0}^{t} g(s) \,ds \biggr) \bigl\Vert \nabla u'\bigr\Vert ^{2} + \biggl( \eta- \int _{0}^{t} g(s) \,ds \biggr) \bigl\Vert u'\bigr\Vert ^{2} + \eta \bigl(1+l+l^{2} \bigr)a(u, u) \\ &{} + \biggl( l+\frac{l}{4 \eta} +\frac{1}{4\eta} +c_{\eta}l \Vert v\Vert _{\infty}^{2} \biggr)g\,\square\, \partial^{2} u -\frac{g(0)(C_{s} h +C_{p})}{4\eta} g' \,\square\, \partial^{2} u . \end{aligned}$$

(3.13)

Let $\int_{0}^{t_{0}} g(s) \,ds:=g_{0}$, where $t_{0}$ was introduced in (2.13). Since g is positive, we have $\int_{0}^{t} g(s) \,ds \geq g_{0}$ for all $t\geq t_{0}$. Thus, making use of this and combining (3.2), (3.4), (3.11) and (3.13), we obtain

$$\begin{aligned} L' (t) \leq& - (g_{0}-\eta-\epsilon)\bigl\Vert u'\bigr\Vert ^{2} -h( g_{0} -\eta-\epsilon) \bigl\Vert \nabla u'\bigr\Vert ^{2} \\ &{}- \biggl[ \frac{N}{2} g(t) +\epsilon\bigl( 1-(1+\delta)l\bigr)-\eta \bigl(1+l+l^{2}\bigr) \biggr] a(u, u) \\ &{} -\epsilon \Vert \Delta v\Vert ^{2} + \biggl( \frac{N}{2}-\frac{ g(0)(C_{s} h +C_{p})}{4\eta} \biggr) g' \,\square\, \partial^{2} u \\ &{}+ \biggl( l+\frac{\epsilon}{4\delta} +\frac{1}{4\eta}+ \frac{l}{4\eta}+ c_{\eta}l \Vert v\Vert _{\infty}^{2} \biggr)g \,\square\, \partial^{2} u . \end{aligned}$$

We first take $\epsilon>0$ and $\delta>0$ so small that $g_{0} -\epsilon>0$ and $1-(1+\delta)l >0$, respectively. And then, we choose $\eta>0$ sufficiently small so that $g_{0} -\eta-\epsilon>0$ and $\epsilon( 1-(1+\delta)l )-\eta(1+l+ l^{2})>0$. Finally, taking $N>0$ large enough, we deduce that (3.8). □

Proof of Theorem 2.1

From (2.17), (3.2) and (3.8), we have

$$\begin{aligned} L'(t) \leq& - \beta_{1} {\mathcal{E}}(t) - \frac{\beta_{2}}{c_{3}} \int_{0}^{t_{0}} g'(t-s) a\bigl(u(t)-u(s), u(t)-u(s)\bigr) \,ds \\ &{} + \beta_{2} \int_{t_{0}}^{t} g(t-s) a \bigl(u(t)-u(s), u(t)-u(s)\bigr) \,ds \\ \leq& - \beta_{1} {\mathcal{E}}(t) -\frac{2\beta_{2}}{c_{3}} { \mathcal{E}}'(t) + \beta_{2} \int_{t_{0}}^{t} g(t-s) a\bigl(u(t)-u(s), u(t)-u(s)\bigr) \,ds . \end{aligned}$$

(3.14)

We take ${\mathcal{L}}(t)=L(t)+\frac{2\beta_{2}}{c_{3}} {\mathcal{E}}(t)$, which is clearly equivalent to ${\mathcal{E}}(t)$. By (3.14), we get, for all $t\geq t_{0}$,

$$ {\mathcal{L}}'(t) \leq- \beta_{1} { \mathcal{E}}(t)+ \beta_{2} \int_{t_{0}}^{t} g(s) a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds . $$

(3.15)

(A) The special case $H(t) =ct^{p}$ and $1\leq p< \frac{3}{2}$.

Case 1. $p=1$. Using (2.4) and (3.2), estimate (3.15) yields

$$\begin{aligned} {\mathcal{L}}'(t) \leq& - \beta_{1} { \mathcal{E}}(t) - \frac{\beta_{2}}{c} \int_{t_{0}}^{t} g'(s) a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \\ \leq& - \beta_{1} {\mathcal{E}}(t) - \frac{2\beta_{2}}{c} {\mathcal{E}}'(t) , \end{aligned}$$

(3.16)

which gives

$$ \biggl({\mathcal{L}}+ \frac{2\beta_{2}}{c} {\mathcal{E}}\biggr)'(t) \leq- \beta_{1} {\mathcal{E}}(t), \quad \forall t \geq t_{0} . $$

From (3.3) and (3.5), we see that ${\mathcal{L}}+ \frac{2\beta_{2}}{c} {\mathcal{E}} \sim{\mathcal{E}} \sim E$. Then we have

$$E(t) \leq c'e^{-c t }=c' G^{-1} (t), $$

where

$$G(t) = \int_{t}^{1} \frac{1}{s H'(\epsilon_{0} s)} \,ds = \int _{t}^{1} \frac{1}{s c} \,ds =- \frac{\ln t}{c} . $$

Case 2. $1< p<\frac{3}{2}$. By (2.4) we obtain

$$ g'(t) \leq-c g^{p}(t),\quad 1< p< \frac{3}{2} . $$

(3.17)

Using (2.3) and (3.17) we see that

$$ \int_{0}^{\infty} g^{1-\theta}(s) \,ds < \infty $$

(3.18)

for any $\theta<2-p$. By (3.2) and (3.18) and taking $t_{0}$ even larger if needed, we deduce that, for all $t \geq t_{0}$,

$$\begin{aligned} k(t) :=&\int_{t_{0}}^{t} g^{1-\theta}(s) a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \\ \leq& 2 \int_{t_{0}}^{t} g^{1-\theta}(s) \bigl[ a\bigl(u(t),u(t)\bigr)+ a\bigl(u(t-s),u(t-s)\bigr) \bigr] \,ds \\ \leq& c { \mathcal{E}}(0) \int_{t_{0}}^{t} g^{1-\theta}(s) \,ds < 1 . \end{aligned}$$

(3.19)

From Hölder’s inequality, Jensen’s inequality (2.13), (3.2), (3.17) and (3.19), we have

$$\begin{aligned}& \int_{t_{0}}^{t} g(s) a\bigl(u(t)-u(t-s), u(t)-u(t-s) \bigr) \,ds \\& \quad = \int_{t_{0}}^{t} g^{(p-1+\theta)(\frac{\theta}{p-1+\theta})}(s) g^{1-\theta}(s) a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \\& \quad \leq \biggl( \int_{t_{0}}^{t} g^{p-1+\theta}(s) g^{1-\theta}(s)a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \biggr)^{\frac{\theta}{p-1+\theta}} \\& \qquad {} \times \biggl( \int_{t_{0}}^{t} g^{1-\theta}(s) a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \biggr)^{\frac{p-1}{p-1+\theta}} \\& \quad = k(t) \biggl(\frac{1}{k(t)} \int_{t_{0}}^{t} g^{p-1+\theta}(s) g^{1-\theta}(s)a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \biggr)^{\frac{\theta}{p-1+\theta}} \\& \quad \leq \biggl( \int_{t_{0}}^{t} g^{p}(s) a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \biggr)^{\frac{\theta}{p-1+\theta}} \\& \quad \leq \biggl(\frac{1}{c} \biggr)^{\frac{\theta}{p-1+\theta}} \biggl( \int_{t_{0}}^{t} - g'(s) a \bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \biggr)^{\frac{\theta}{p-1+\theta}} \\& \quad \leq \biggl(\frac{1}{c} \biggr)^{\frac{\theta}{p-1+\theta}} \bigl(-{\mathcal{E}}'(t) \bigr)^{\frac{\theta}{p-1+\theta}}. \end{aligned}$$

(3.20)

Then, using (3.20), we show that (3.15) yields, for $\theta =\frac{1}{2}$,

$$ {\mathcal{L}}'(t) \leq- \beta_{1} { \mathcal{E}}(t)+ \frac{\beta_{2}}{ c^{\frac{1}{2p-1}}} \bigl(-{\mathcal{E}}'(t) \bigr)^{\frac{1}{2p-1}}. $$

(3.21)

Multiplying (3.21) by ${\mathcal{E}}^{\gamma}(t)$, with $\gamma=2p-2$, and using (3.2) and Young’s inequality, we obtain

$$\begin{aligned} \bigl({\mathcal{L} } {\mathcal{E}}^{\gamma}\bigr)'(t) =& { \mathcal{L} }'(t) {\mathcal{E} }^{\gamma}(t) + \gamma{ \mathcal{L}}(t){\mathcal{E} }^{\gamma-1}(t) {\mathcal{E} }'(t) \leq- \beta_{1} {\mathcal{E}}^{\gamma+1}(t)+ \frac{\beta_{2}}{ c^{\frac{1}{\gamma+1}}}{ \mathcal{E}}^{\gamma}(t) \bigl(-{\mathcal{E}}'(t) \bigr)^{\frac{1}{\gamma+1}} \\ \leq& - \beta_{1} {\mathcal{E}}^{\gamma+1}(t)+ \varepsilon{ \mathcal{E}}^{\gamma+1}(t) +C_{\varepsilon}\bigl(-{\mathcal{E}}'(t) \bigr). \end{aligned}$$

Taking $\varepsilon<\beta_{1}$, we have, for some $C_{1}>0$,

$$ L_{0}'(t)\leq-C_{1} L_{0}^{\gamma+1}(t), $$

where $L_{0} ={\mathcal{L} }{\mathcal{E}}^{\gamma}+C_{\varepsilon}{\mathcal{E}} \sim{\mathcal{E}}\sim E$. Therefore we deduce that

$$ E(t) \leq\frac{c}{(c'+ c'' t)^{\frac{1}{\gamma}}}. $$

(3.22)

Since $p<\frac{3}{2}$ and by (3.22), we find that

$$ \int_{0}^{\infty}E(t) \, d t \leq\int _{0}^{\infty}\frac{c}{(c'+ c'' t)^{\frac{1}{2p-2}}}\, d t < +\infty. $$

Using this fact, we have

$$ \int_{0}^{t} a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \leq c\int_{0}^{t} E(s) \,ds < +\infty. $$

(3.23)

Hence, from (3.2), (3.17), (3.23) and Hölder’s inequality, estimate (3.15) gives

$$\begin{aligned} {\mathcal{L}}'(t) \leq& - \beta_{1} { \mathcal{E}}(t)+ \beta_{2} \biggl(\int_{0}^{t} a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \biggr)^{\frac{p-1}{p}} \bigl(g^{p} \,\square\,\partial^{2} u \bigr)^{\frac{1}{p}} \\ \leq& - \beta_{1} {\mathcal{E}}(t)+ c \bigl(- g' \, \square\, \partial^{2} u \bigr)^{\frac{1}{p}} \leq - \beta_{1} {\mathcal{E}}(t)+ c \bigl( -{\mathcal{E}}'(t) \bigr)^{\frac{1}{p}} . \end{aligned}$$

(3.24)

Now, we multiply (3.24) by ${\mathcal{E}}^{\gamma}(t)$, with $\gamma=p-1$. Then, repeating the above steps, we see that

$$ E(t) \leq\frac{c}{(c'+ c'' t)^{\frac{1}{\gamma}}} =cG^{-1} \bigl(a'+a''t\bigr), $$

(3.25)

where

$$G(t)=\frac{1}{cp\epsilon_{0}^{p-1}}\int_{t}^{1} \frac{1}{s^{p}} \,ds = \frac {1}{cp(p-1)\epsilon_{0}^{p-1}} \biggl(\frac{1}{t^{p-1}}-1 \biggr). $$

(B) The general case. This case is obtained on account of the ideas presented in [24, 25] as follows. Let $H_{0}^{*}$ be the convex conjugate of $H_{0}$ in the sense of Young (see [29]); then

$$ H_{0}^{*} (s) = s\bigl(H_{0}' \bigr)^{-1} (s) -H_{0}\bigl[\bigl(H_{0}' \bigr)^{-1}(s)\bigr], \quad \mbox{if } s \in \bigl(0, H_{0}' (r) \bigr] $$

(3.26)

and $H_{0}^{*}$ satisfies the following Young’s inequality:

$$ AB \leq H_{0}^{*} (A) +H_{0}(B), \quad \mbox{if } A \in \bigl(0, H_{0}'(r) \bigr], B\in(0, r]. $$

(3.27)

We define $\eta(t)$ by

$$ \eta(t):=\int_{t_{0}}^{t} \frac{g(s)}{H_{0}^{-1} (-g'(s)) }a \bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds , $$

where $H_{0}$ is such that (2.9) is satisfied. As in (3.19), we find that $\eta(t)$ satisfies

$$ \eta(t) < 1 , \quad \forall t\geq t_{0}. $$

(3.28)

Furthermore, we define $I(t)$ by

$$ I(t):=- \int_{t_{0}}^{t} g'(s) \frac{g(s)}{H_{0}^{-1} (-g'(s)) }a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds . $$

Since $H_{0}$ is strictly convex on $(0, r]$ and $H_{0} (0)=0$, then

$$ H_{0} (\lambda x )\leq\lambda H_{0} (x) $$

(3.29)

provided $0\leq \lambda\leq1$ and $x\in(0, r]$. From (3.28), (3.29) and Jensen’s inequality (2.13), we obtain

$$\begin{aligned} I(t) =&\frac{1}{\eta(t)}\int_{t_{0}}^{t} \eta(t) H_{0} \bigl[H_{0}^{-1}\bigl(-g'(s) \bigr)\bigr]\frac{g(s)}{H_{0}^{-1} (-g'(s)) }a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \\ \geq & \frac{1}{\eta(t)}\int_{t_{0}}^{t} H_{0} \bigl[\eta(t) H_{0}^{-1} \bigl(-g'(s)\bigr)\bigr]\frac{g(s)}{H_{0}^{-1} (-g'(s)) }a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \\ \geq& H_{0} \biggl( \int_{t_{0}}^{t} g(s) a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \biggr) . \end{aligned}$$

This implies that

$$ \int_{t_{0}}^{t} g(s) a \bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \leq H_{0}^{-1} \bigl(I(t)\bigr) . $$

(3.30)

Using (3.15) and (3.30) we see that

$$ {\mathcal{L}}'(t) \leq-\beta_{1} { \mathcal{E}}(t) +\beta_{2} H_{0}^{-1} \bigl(I(t) \bigr) , \quad \forall t\geq t_{0} . $$

(3.31)

By (2.3), (2.4) and the properties of $H_{0}$ and D, we have

$$ \frac{g(s)}{H_{0}^{-1} (-g'(s)) } \leq\frac{g(s)}{H_{0}^{-1} (H(g(s)))} = \frac{g(s)}{D^{-1} (g(s)) } \leq\delta_{0} $$

(3.32)

for some positive constant $\delta_{0}$. Thus, using (2.13), (3.2) and (3.32) and choosing $t_{0}$ even larger, we can find that $I(t)$ satisfies, for all $t\geq t_{0}$,

$$\begin{aligned} I(t) \leq& - \delta_{0} \int_{t_{0}}^{t} g'(s) a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \leq -c { \mathcal{E}}(0) \int_{t_{0}}^{t} g'(s) \,ds \\ \leq& cg(t_{0}) {\mathcal{E}}(0) \leq \min\bigl\{ r, H(r), H_{0} (r)\bigr\} . \end{aligned}$$

(3.33)

Now, for $\epsilon_{0} < r$ and $d_{0} > 0$, we define the functional

$$F_{1} (t) := {\mathcal{L}}(t) H_{0}' \biggl( \epsilon_{0} \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)} \biggr) + d_{0} { \mathcal{E}}(t), $$

which satisfies

$$ d_{1} F_{1}(t) \leq{\mathcal{E}}(t) \leq d_{2} F_{1} (t) $$

(3.34)

for some $d_{1}, d_{2}>0$. From (3.33), we have $H_{0}^{-1}(I (t)) \leq r$. Also, by $\epsilon_{0} < r$, ${\mathcal{E}}' \leq0$, we get $\epsilon_{0} \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)}< r$. Using the fact that ${\mathcal{E}}' \leq0$, $H_{0} > 0$, $H_{0}'> 0$ and $H_{0}'' >0$ on $(0, r]$ and (3.2), (3.26), (3.27), (3.31) and (3.33), we obtain

$$\begin{aligned} F_{1}' (t) \leq& -\beta_{1} { \mathcal{E}}(t)H_{0}' \biggl(\epsilon_{0} \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)} \biggr) + \beta_{2} H_{0}' \biggl(\epsilon_{0} \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)} \biggr) H_{0}^{-1} \bigl(I(t)\bigr)+d_{0} {\mathcal{E}}'(t) \\ \leq& -\beta_{1} {\mathcal{E}}(t)H_{0}' \biggl(\epsilon_{0} \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)} \biggr) +\beta_{2} H_{0}^{*} \biggl(H_{0}' \biggl( \epsilon_{0} \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)} \biggr) \biggr)+ \beta_{2} I(t)+ d_{0} {\mathcal{E}}'(t) \\ \leq & -\beta_{1} {\mathcal{E}}(t)H_{0}' \biggl(\epsilon_{0} \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)} \biggr) + \beta_{2} \epsilon_{0} \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)}H_{0}' \biggl( \epsilon_{0} \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)} \biggr) \\ &{}-\beta_{2} H_{0} \biggl(\epsilon_{0} \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)} \biggr) + \beta_{2} I(t)+ d_{0} {\mathcal{E}}'(t) \\ \leq& - \bigl(\beta_{1} {\mathcal{E}}(0)- \beta_{2} \epsilon_{0} \bigr) \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)}H_{0}' \biggl(\epsilon_{0} \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)} \biggr)-2\beta_{2} \delta_{0} {\mathcal{E}}'(t)+d_{0} { \mathcal{E}}'(t) . \end{aligned}$$

Therefore, with a suitable choice of $\epsilon_{0}$ and $d_{0}$, we see that

$$ F_{1}' (t) \leq-k \biggl(\frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)} \biggr)H_{0}' \biggl(\epsilon_{0} \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)} \biggr)=-k H_{2} \biggl(\frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)} \biggr), \quad \forall t \geq t_{0}, $$

(3.35)

where $k>0$ and $H_{2} (t) = t H_{0}' (\epsilon_{0} t)$. From the strict convexity of $H_{0}$ on $(0, r]$, we find that $H_{2} (t) >0$ and $H_{2} ' (t)= H_{0}'(\epsilon_{0} t)+\epsilon_{0} t H_{0}'' (\epsilon_{0} t)>0$ on $(0, 1]$. We take

$$R(t) =\frac{d_{1} F_{1}(t)}{{\mathcal{E}}(0)}, $$

which is clearly equivalent to ${\mathcal{E}}(t)$. By (3.34), (3.35) and $H_{2}'>0$, we have

$$R'(t) \leq-\frac{k d_{1}}{{\mathcal{E}}(0)}H_{2} \biggl( \frac{{\mathcal{E}}(t)}{{\mathcal{E}}(0)} \biggr) \leq- k_{0} H_{2} \bigl(R(t) \bigr), \quad \forall t \geq t_{0} , $$

where $k_{0} = \frac{k d_{1}}{{\mathcal{E}}(0)} >0$. Hence, a simple integration gives, for some $k_{1}, k_{2}>0$,

$$ R(t) \leq H_{1}^{-1} (k_{1} t +k_{2} ), \quad \forall t\geq t_{0}, $$

(3.36)

where $H_{1} (t) =\int_{t}^{1} \frac{1}{H_{2} (s)} \,ds$. Here, we have used, on the basis of the properties of $H_{2}$, the fact that $H_{1}$ is a strictly decreasing function on $(0, 1]$ and $\lim_{t\rightarrow0} H_{1} (t)= +\infty$. From (3.3), (3.34) and (3.36), estimate (2.10) is established.

Moreover, if $\int_{0}^{t} H_{1} (t)\, dt < +\infty$, then

$$\int_{0}^{t} a\bigl(u(t)-u(t-s), u(t)-u(t-s) \bigr) \,ds \leq c \int_{0}^{t} E(s) \,ds < + \infty. $$

Similarly, we define, for large $t_{0}$,

$$ \eta(t):= \int_{t_{0}}^{t} a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds < 1 $$

and

$$ I(t):=- \int_{t_{0}}^{t} g' (s) a \bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds . $$

Using (2.4), the strict convexity of H and Jensen’s inequality (2.13), we have

$$\begin{aligned} I(t) \geq& \frac{1}{\eta(t)} \int_{t_{0}}^{t} \eta(t) H\bigl(g (s)\bigr) a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \\ \geq& \frac{1}{\eta(t)} \int_{t_{0}}^{t} H\bigl( \eta(t) g (s)\bigr) a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \\ \geq & H \biggl( \frac{1}{\eta(t)} \int_{t_{0}}^{t} \eta(t) g (s) a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \biggr) \\ =& H \biggl( \int_{t_{0}}^{t} g (s) a \bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \biggr) . \end{aligned}$$

Thus, we deduce that

$$\int_{t_{0}}^{t} g (s) a\bigl(u(t)-u(t-s), u(t)-u(t-s)\bigr) \,ds \leq H^{-1} \bigl( I(t)\bigr), $$

and (3.15) becomes

$${\mathcal{L}}'(t) \leq-\beta_{1} {\mathcal{E}} (t) + \beta_{2} H^{-1}\bigl(I(t)\bigr) , \quad \forall t\geq t_{0} . $$

Therefore, repeating the same procedures, we find that for some $k_{1}$, $k_{2}$ and $k_{3} >0$,

$$E(t) \leq k_{3} G^{-1} (k_{1} t +k_{2} ), $$

where $G(t) = \int_{t}^{1} \frac{1}{sH'(\epsilon_{0} s)} \,ds$. □

Example

We give an example to illustrate the energy decay rates given by Theorem 2.1. If

$$g(t) = \frac{1}{a +t^{q}} $$

for $q>3$ and $a>1$ chosen so that g satisfies (2.3), then $g'(t) =-H(g(t))$, where

$$ H(t) = {q t^{2}} { \biggl(\frac{1}{t} -a \biggr)^{1-\frac{1}{q}}}. $$

Since

$$ H'(t) = \frac{q(1+\frac{1}{q} -2at)}{(\frac{1}{t}-a)^{\frac{1}{q}}}, \qquad H''(t) = \frac{\frac{2a^{2}q}{t^{2}}(t-\frac{1+q-\sqrt{q^{2} -1}}{2a q})(t-\frac{1+q+\sqrt{q^{2} -1}}{2a q})}{(\frac{1}{t}-a)^{1+\frac{1}{q}}}, $$

then the function H satisfies hypothesis (H2) on the interval $(0, r]$ for any $0< r<\frac{1+q-\sqrt{q^{2}-1}}{2aq}$. By choosing $D(t)=t^{\alpha}$, (2.9) is satisfied for any $\alpha>\frac{q}{q-1}$. Then an explicit rate of decay can be obtained by Theorem 2.1. The function $H_{0} (t) = H(t^{\alpha})$ has derivative

$$ H_{0}'(t) = \frac{q \alpha t^{\alpha-1}[1+\frac{1}{q}- 2 a t^{\alpha}]}{(\frac{1}{t^{\alpha}}-a)^{\frac{1}{q}}} . $$

Hence,

$$ H_{1} (t) = \int_{t}^{1} \frac{ [\frac{1}{( \epsilon_{0} s)^{\alpha}} -a ]^{\frac{1}{q}}}{q \alpha s (\epsilon_{0} s)^{\alpha-1}[1+\frac{1}{q}- 2 a (\epsilon_{0} s)^{\alpha}]} \,ds . $$

Let $\frac{1}{(\epsilon_{0} s)^{\alpha}} =u$, then we have

$$ H_{1} (t) = \int_{\frac{1}{\epsilon_{0} ^{\alpha}}}^{\frac{1}{(\epsilon_{0} t)^{\alpha}}} \frac{ (u -a )^{\frac{1}{q}} u^{-\frac{1}{\alpha}}}{q \alpha^{2}[1+\frac{1}{q}- \frac{2 a}{u}] }\, d u \leq \frac{1}{q \alpha^{2}[1+\frac{1}{q}- 2 a \epsilon_{0}^{\alpha}] } \int_{\frac{1}{\epsilon_{0} ^{\alpha}}}^{\frac{1}{(\epsilon_{0} t)^{\alpha}}} (u -a )^{\frac{1}{q}} u^{-\frac{1}{\alpha}} \, d u . $$

Using the fact that the function $f(u) = (u-a)^{\frac{1}{q}}$ is increasing on $(a, +\infty)$ and $(u-a)^{\frac{1}{q}} < u^{\frac{1}{q}}$ and taking $\epsilon_{0} < a^{-\frac{1}{\alpha}}$, then

$$ H_{1} (t) \leq\frac{ 1 }{q \alpha^{2}[1+\frac{1}{q}- 2 a \epsilon_{0}^{\alpha}] } \int_{\frac{1}{\epsilon_{0} ^{\alpha}}}^{\frac{1}{(\epsilon_{0} t)^{\alpha}}}u^{\frac{1}{q}-\frac{1}{\alpha}} \, d u = \frac{ \epsilon_{0}^{\frac{q-\alpha-\alpha q}{q}}}{\alpha(\alpha-q+\alpha q)[1+\frac{1}{q}- 2 a \epsilon_{0}^{\alpha}] } \bigl[ t^{\frac{q-\alpha-\alpha q}{q}} -1 \bigr]. $$

Now, we find that if $\alpha< \frac{2q}{1+q}$,

$$\begin{aligned} \int_{0}^{1} H_{1} (t)\, d t \leq& \frac{ \epsilon_{0}^{\frac{q-\alpha-\alpha q}{q}}}{\alpha(\alpha-q+\alpha q)[1+\frac{1}{q}- 2 a \epsilon_{0}^{\alpha}] } \int_{0}^{1} \bigl[ t^{\frac{q-\alpha-\alpha q}{q}}-1 \bigr]\, d t \\ =& \frac{ \epsilon_{0}^{\frac{q-\alpha-\alpha q}{q}}}{ \alpha(2q-\alpha-\alpha q)[1+\frac{1}{q}- 2 a \epsilon_{0}^{\alpha}]} < + \infty. \end{aligned}$$

Choosing $\frac{1}{\epsilon_{0} s} =v$ and $\epsilon_{0} < a^{-1}$, we obtain

$$\begin{aligned} G(t) =& \int_{t}^{1} \frac{1}{s H' (\epsilon_{0} s)} \,ds = \int_{t}^{1} \frac{(\frac{1}{\epsilon_{0} s}-a)^{\frac{1}{q}}}{s q (1+\frac{1}{q}-2a\epsilon_{0} s )} \,ds = \int _{\frac{1}{\epsilon_{0}}}^{\frac{1}{\epsilon_{0} t} } \frac{(v-a)^{\frac{1}{q}} v^{-1}}{q(1+\frac{1}{q}-\frac{2a}{v})}\, d v \\ \leq& \frac{1}{q(1+\frac{1}{q}-{2a \epsilon_{0}})} \int_{\frac{1}{\epsilon_{0}}}^{\frac{1}{\epsilon_{0} t} } v^{\frac{1}{q}-1}\, d v = \frac{1}{1+\frac{1}{q}-{2a \epsilon_{0}}} \biggl[ \biggl(\frac{1}{\epsilon_{0} t} \biggr)^{\frac{1}{q}} - \biggl(\frac{1}{\epsilon_{0}} \biggr)^{\frac{1}{q}} \biggr]. \end{aligned}$$

Therefore,

$$ G^{-1} (t) \leq\frac{1}{\epsilon_{0} [ (\frac{1}{\epsilon_{0}} )^{\frac{1}{q}} + (1+\frac{1}{q}-{2a \epsilon_{0}} )t ]^{q}}. $$

Then we can use (2.11) to deduce that the energy decays at the same rate of g, that is,

$$ E(t) \leq\frac{\tilde{c}_{1}}{ \tilde{c}_{2}+ \tilde {c}_{3}t^{q}}, $$

where $\tilde{c}_{i}$ ($i=1, 2 , 3$) are constants.