Skip to main content

General stability for a von Kármán plate system with memory boundary conditions

Abstract

In this paper we consider a von Kármán plate system with memory condition at the boundary. We prove the asymptotic behavior of the corresponding solutions. We establish 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.

1 Introduction

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

$$\begin{aligned}& u_{tt} + \Delta^{2} u =[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}& \frac{\partial u}{\partial\nu} + { \int_{0}^{t} g_{1}(t-s) {\mathcal{B}}_{1} u(s)\,ds }= 0 \quad\mbox{on } \Gamma \times(0, \infty), \end{aligned}$$
(1.4)
$$\begin{aligned}& u- \int_{0}^{t} g_{2} (t-s) {\mathcal{B}}_{2} u(s)\,ds =0 \quad\mbox{on } \Gamma \times(0, \infty), \end{aligned}$$
(1.5)
$$\begin{aligned}& u(x, y, 0)= u_{0}(x, y) ,\qquad u_{t} (x, y,0) = u_{1} (x,y) \quad\mbox{in } \Omega, \end{aligned}$$
(1.6)

where Ω is a bounded domain of \({\mathbb{R}}^{2}\) with a smooth boundary Γ. Let us denote by \(\nu=(\nu_{1}, \nu_{2} )\) the external unit normal vector on Γ and by \(\tau=(-\nu_{2}, \nu_{1} )\) the corresponding unit tangent vector. The relaxation functions \(g_{1}, g_{2} \in C^{1} (0, \infty)\) are positive and nondecreasing. The von Kármán bracket is given by

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

Here, \({\mathcal{B}}_{1}\), \({\mathcal{B}}_{2}\) denote the differential operators

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

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 = \bigl(\nu_{1}^{2} - \nu_{2}^{2} \bigr)u_{xy} + \nu_{1} \nu_{2} (u_{yy} -u_{xx}) \end{aligned}$$

and the constant \(\mu\in( 0, \frac{1}{2})\) represents Poisson’s ratio.

From the physical point of view, this system describes the transversal displacement u and the Airy-stress function v of a vibrating plate. We know that the memory effect described in integral equations (1.4) and (1.5) can be caused by the interaction with another viscoelastic element. Problems related to equations (1.1)-(1.6) are interesting not only from the point of view of PDE general theory, but also due to its applications in mechanics.

The problem of stability of the solutions to a von Kármán system with dissipative effects has been studied by several authors [14]. Rivera and Menzala [5] considered the dynamical von Kármán equations for viscoelastic plates under the presence of a long range memory:

$$\begin{aligned} \textstyle\begin{cases} u_{tt } -h \Delta u_{tt}+ \Delta^{2} u - {\int_{0}^{t} g(t-\tau) \Delta^{2} u (\tau)\,d\tau} = [u, v] \quad\mbox{in } \Omega\times(0, \infty),\\ \Delta^{2} v = -[u, u] \quad\mbox{in } \Omega\times(0, \infty), \\ v = {\frac{\partial v}{\partial\nu}=0} \quad\mbox{on } \Gamma \times(0, \infty) , \\ u = {\frac{\partial u}{\partial\nu}=0} \quad\mbox{on } \Gamma _{0} \times(0, \infty) , \\ {\mathcal{B}}_{1} u - {{\mathcal{B}}_{1} \{ \int_{0}^{t} g(t-\tau) u(\tau)\,d\tau \}=0 }\quad \mbox{on } \Gamma_{1} \times(0, \infty), \\ {\mathcal{B}}_{2} u - {h\frac{\partial u_{tt}}{\partial\nu}- {\mathcal{B}}_{2} \{\int_{0}^{t} g (t-\tau) u(\tau)\,d\tau \} }=0 \quad\mbox{on } \Gamma_{1} \times(0, \infty), \\ u(x, y, 0)= u_{0}(x, y) ,\qquad u_{t} (x, y,0) = u_{1} (x,y) \quad \mbox{in } \Omega. \end{cases}\displaystyle \end{aligned}$$
(1.7)

The equations describe small vibration of a thin homogeneous, isotropic plate of uniform thickness h. They studied that the energy decays uniformly exponentially or algebraically with the same rate of decay as the relaxation function. Later, Raposo and Santos [6] proved the general decay of the solutions to von Kármán plate model (1.7) under condition on g such as

$$\begin{aligned} g' (t) \leq-\xi(t) g (t) , \qquad\xi(t) >0,\qquad \xi'(t) < 0,\quad t \geq0, \end{aligned}$$
(1.8)

where ξ is a differential function. This result generalized on the earlier ones in the literature. Kang [7] established an explicit and general decay rate result for von Kármán system (1.7) with nonlinear boundary damping \(h(u_{t})\). Kang improved the results of [6] without imposing any restrictive growth assumption on the damping function h and strongly weakening the usual assumptions on the relaxation function g. Kang [8] showed the exponential decay result of solutions for von Kármán equations (1.7) without the assumption (1.8). She studied that solutions decay exponentially to zero as time goes to infinity in case

$$\begin{aligned} g'(t) + \gamma g(t) \geq0, \qquad\int_{0}^{\infty}\bigl(g'(t) + \gamma g(t) \bigr)e^{\alpha t}\,dt < +\infty,\quad \forall t \geq0 \end{aligned}$$
(1.9)

for some \(\gamma, \alpha>0\). It is clear then that we are allowing \(g'(t)\) to take negative values. The kernel \(g(t)\) may oscillate. This result improved on the earlier ones concerning the exponential decay. Recently, Kang [9] considered the exponential decay for von Kármán equations (1.7) with acoustic boundary conditions when relaxation function satisfies (1.9). The construction of the Lyapunov function is based on the multiplier method.

On the other hand, Rivera et al. [10] studied the stability of the solutions to a von Kármán system for viscoelastic plates with memory effect in the boundary. They proved that the solution of system (1.1)-(1.6) decays uniformly exponentially or polynomially with the same rate of decay as the relaxation function. Later, Santos and Soufyane [11] improved the decay result of [10]. They assumed that the resolvent kernels satisfy

$$ \begin{aligned} &k_{i}(0)>0, \qquad k_{i}(t)\geq0,\\ &k_{i}'(t) \leq0 ,\qquad k_{i}''(t) \geq \gamma_{i} (t) \bigl(- k_{i} '(t)\bigr),\quad \forall t\geq0\ ( i=1, 2), \end{aligned} $$
(1.10)

where \(\gamma_{i} : {\mathbb{R}}^{+} \rightarrow{\mathbb{R}}^{+} \) is a function satisfying the following conditions:

$$\begin{aligned} \gamma_{i} (t) >0, \qquad \gamma'_{i} (t) \leq0, \qquad \int _{0}^{+\infty} \gamma_{i} (t)\,dt = +\infty. \end{aligned}$$

They studied that the energy decays with a rate of decay similar to the relaxation functions, which are not necessarily decaying like polynomial or exponential functions. Motivated by their results, we prove the general decay of the solution for a von Kármán plate system with memory boundary conditions (1.1)-(1.6) for resolvent kernels \(k_{i}\) satisfying

$$\begin{aligned} k_{i}''(t) \geq H \bigl(-k_{i}'(t) \bigr), \quad\forall t\geq0\ (i=1,2), \end{aligned}$$
(1.11)

where H is a positive function, with \(H(0)=H'(0) =0\), and H is linear or strictly increasing and strictly convex on \((0, r]\) for some \(0< r<1\). The proof is based on the multiplier method and makes use of some properties of convex functions including the use of general Young’s inequality and Jensen’s inequality. We establish an explicit decay rate result that allows a wider class of relaxation functions and generalizes previous decay results of [10, 11].

Moreover, there exists a large body of literature regarding viscoelastic problems with the memory term acting at the boundary. Cavalcanti et al. [12] considered the existence and uniform decay rates of solutions to a degenerate system with a memory condition at the boundary. Santos [13] and Santos et al. [14] proved the decay rates for solutions of a Timoshenko system and a nonlinear wave equation of Kirchhoff type with a memory condition at the boundary, respectively. Park and Kang [15] investigated the asymptotic behavior of the solutions of a multi-valued hyperbolic differential inclusion with a boundary condition of memory type. Precisely, denoting by k the resolvent kernel of \(- {g' / g(0)}\), they proved that the energy of the solution decays exponentially (polynomially) to zero provided k decays exponentially (polynomially) to zero. Messaoudi and Soufyane [16], Mustafa and Messaoudi [17] and Kang [18, 19] obtained the general stability for wave equation, the Timoshenko system and Kirchhoff plates with viscoelastic boundary conditions under condition k satisfying (1.10), respectively. Mustafa and Abusharkh [20] proved the general decay for plate equations with viscoelastic boundary damping when resolvent kernels \(k_{i}\) satisfy (1.11).

Besides, Mustafa and Messaoudi [21, 22] investigated the general stability result of viscoelastic equation for relaxation function g satisfying (1.11). These conditions on H are weaker than those imposed in [23].

The paper is organized as follows. In Section 2 we present some notations and material needed for our work. In Section 3 we prove the general decay of the solutions to the von Kármán plate system with memory condition at the boundary.

2 Preliminaries

In this section, we present some material needed in the proof of our main result. Throughout this paper we define

$$\begin{aligned} (u, v) = \int_{\Omega}u(x)v(x)\,dx ,\qquad (u, v)_{\Gamma} = \int _{\Gamma} u(x)v(x)\,d\Gamma. \end{aligned}$$

For a Banach space \(X, \|\cdot\|_{X}\) denotes the norm of X. For simplicity, we denote \(\|\cdot\|_{L^{2}(\Omega)}\) and \(\|\cdot\|_{L^{2} (\Gamma)}\) by \(\|\cdot\|\) and \(\|\cdot\|_{\Gamma}\), respectively. A simple calculation, based on the integration by parts formula, yields

$$\begin{aligned} \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}, \end{aligned}$$
(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\} \,dx \,dy . $$

We know that \(\sqrt{a(u,u)}\) is equivalent to \(H^{2} (\Omega)\), that is,

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

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}\),

$$\begin{aligned} \|u\|^{2} \leq C_{p} a(u, u) \quad\mbox{and}\quad \|\nabla u\|^{2} \leq C_{s} a(u, u) , \quad\forall u \in H^{2}( \Omega). \end{aligned}$$
(2.2)

We assume that there exists \(x_{0} \in{\mathbb{R}}^{2}\) such that

$$\begin{aligned} \Gamma= \bigl\{ x \in\Gamma: \nu(x) \cdot(x-x_{0} ) > 0 \bigr\} . \end{aligned}$$
(2.3)

We define \(m(x) = x - x_{0}\) and \(R=\max_{x\in\Omega}|m(x)| \).

The following identity will be used later.

Lemma 2.1

([24])

For every \(u\in H^{4} (\Omega)\), we have

$$\begin{aligned} \bigl(m\cdot\nabla u, \Delta^{2} u\bigr) =&a(u, u) +\int _{\Gamma}\biggl[( {\mathcal{B}}_{2} u) (m\cdot\nabla u) -({\mathcal{B}}_{1} u)\frac{\partial}{\partial \nu}(m\cdot\nabla u) \biggr]\,d\Gamma\\ &{}+\frac{1}{2}\int_{\Gamma}m\cdot\nu \bigl[ u_{xx}^{2} +u_{yy}^{2} +2 \mu u_{xx} u_{yy} + 2(1-\mu) u_{xy}^{2} \bigr]\,d\Gamma. \end{aligned}$$

Now, we introduce the relative results of the Airy stress function and von Karman bracket \([\cdot, \cdot]\).

Lemma 2.2

([25])

Let u, w be functions 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

$$\begin{aligned} \int_{\Omega}w [ v , u ]\,dx= \int_{\Omega}v [w, u ]\,dx . \end{aligned}$$

Now, we use the boundary conditions (1.4) and (1.5) to estimate the terms \({\mathcal{B}}_{1} u\) and \({\mathcal{B}}_{2} u\). Denoting by

$$(g * v ) (t) = \int_{0}^{t} g (t-s)v (s)\,ds $$

the convolution product operator and differentiating equations (1.4) and (1.5), we arrive at the following Volterra equation:

$$\begin{aligned} {\mathcal{B}}_{1} u +\frac{1}{{g_{1}(0)}} g_{1}' * {\mathcal{B}}_{1} u = - \frac{1 }{{g(0)}} \frac{\partial u_{t}}{\partial\nu} , \qquad {\mathcal{B}}_{2} u+ \frac{1}{g_{2} (0)} g_{2}' * {\mathcal{B}}_{2} u = \frac{1}{g_{2}(0)} u_{t} . \end{aligned}$$

Applying Volterra’s inverse operator, we have

$$\begin{aligned} {\mathcal{B}}_{1} u = - \frac{1}{{g_{1}(0)}} \biggl\{ \frac{\partial u_{t}}{\partial\nu} + k_{1} * \frac{\partial u_{t}}{\partial\nu} \biggr\} ,\qquad { {\mathcal{B}}_{2} u =\frac{1}{g_{2}(0)} \{ u_{t} + k_{2} * u_{t} \}, } \end{aligned}$$

where the resolvent kernels \(k_{i}\) (\(i=1, 2\)) satisfy

$$k_{i} + \frac{1}{{g_{i}(0)}} g_{i}' * k_{i} = - \frac{1}{{g_{i}(0)}} g_{i}' . $$

Assuming throughout the paper that \(u_{0} \equiv0\) on \(\Gamma\times (0, \infty)\) and defining \(\tau_{1} = {\frac{1}{{g_{1}(0)}}}\) and \(\tau_{2}=\frac{1}{g_{2}(0)}\), we can rewrite \({\mathcal{B}}_{1} u\) and \({\mathcal{B}}_{2} u\) as

$$\begin{aligned}& {\mathcal{B}}_{1} u = - \tau_{1} \biggl\{ \frac{\partial u_{t}}{\partial \nu} + k_{1} (0) \frac{\partial u}{\partial\nu} +k_{1}' * \frac{\partial u}{\partial\nu} \biggr\} , \end{aligned}$$
(2.4)
$$\begin{aligned}& {\mathcal{B}}_{2} u =\tau_{2} \bigl\{ u_{t} + k_{2}(0) u + k_{2}' * u \bigr\} . \end{aligned}$$
(2.5)

Hence, we use conditions (2.4) and (2.5) instead of the boundary conditions (1.4) and (1.5).

Let us define

$$( g \,\square\, v ) (t) := \int_{0}^{t} g(t-s) \bigl| v(t) -v (s) \bigr|^{2}\,ds. $$

By differentiating the term \(g \,\square\, v\), we obtain the following lemma for the important property of the convolution product operator.

Lemma 2.3

For \(g, v \in C^{1} ( [ 0, \infty): {\mathbb{R}} )\), we have

$$( g * v ) v_{t} = -\frac{1}{2} g(t) \bigl|v (t) \bigr|^{2} + \frac{1}{2} g' \,\square\, v - \frac{1}{2} \frac{d}{dt} \biggl[ g \,\square\, v - \biggl(\int_{0}^{t} g(s)\,ds \biggr) |v|^{2} \biggr] . $$

We consider the following assumptions on \(k_{1}\) and \(k_{2}\).

(A1) The resolvent kernels \(k_{i} : {\mathbb{R}}_{+} \rightarrow{\mathbb{R}}_{+} \) (\(i=1, 2\)) are twice differentiable functions such that

$$k_{i}(0)>0 ,\qquad \lim_{t\rightarrow\infty} k_{i}(t) =0,\qquad k_{i}' (t)\leq0, $$

and there exists a positive function \(H \in C^{1} ({\mathbb{R}}_{+})\), and H is a linear or strictly increasing and strictly convex \(C^{2}\) function on \((0, r]\), \(r<1\), with \(H(0)=H'(0)=0\), such that

$$\begin{aligned} k_{i}''(t) \geq H\bigl(- k_{i}' (t)\bigr) , \quad\forall t > 0. \end{aligned}$$
(2.6)

The energy of system (1.1)-(1.6) is given by

$$\begin{aligned} E(t) = &\frac{1}{2}\| u_{t} \|^{2} + \frac{1}{2} a(u, u) + \frac{1}{4} \|\Delta v\|^{2} + \frac{\tau_{2}}{2} k_{2}(t)\| u\|^{2}_{\Gamma} - \frac{\tau_{2}}{2} \int_{\Gamma} k_{2}' \,\square\, u \,d \Gamma\\ &{} +\frac{\tau_{1}}{2}k_{1} (t) \biggl\| \frac{\partial u}{\partial \nu} \biggr\| ^{2}_{\Gamma} -\frac{\tau_{1}}{2}\int_{\Gamma} k_{1}' \,\square\,\frac{\partial u}{\partial\nu}\,d\Gamma. \end{aligned}$$

The well-posedness of von Kármán system plates with boundary conditions of memory type is given by the following theorem.

Theorem 2.1

([10])

Let \(k_{i} \in C^{2} ( {\mathbb{R}}_{+} )\) be such that \(k_{i}, - k_{i}' , k_{i}'' \geq0 \) for \(i=1, 2\). If \(( u_{0} , u_{1} ) \in H^{2}(\Omega) \cap L^{2} (\Omega)\), then there exists a unique weak solution for system (1.1)-(1.6). Moreover, if \((u_{0}, u_{1})\in (H^{4} (\Omega)\cap H^{2} (\Omega)) \times H^{2} (\Omega)\), then the solution of (1.1)-(1.6) has the following regularity:

$$\begin{aligned} u\in C^{1} \bigl([0, T]: H^{2} (\Omega)\bigr)\cap C^{0} \bigl([0, T]: H^{4} (\Omega)\bigr),\qquad v\in C^{0} \bigl([0, T]: H^{4} (\Omega)\cap H^{2}_{0} (\Omega)\bigr). \end{aligned}$$

We are now ready to state our main result.

Theorem 2.2

Assume that (A1) holds. 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

$$\begin{aligned} \int_{0}^{+\infty} \frac{-k_{i}'(s)}{H_{0}^{-1} (k_{i}''(s))}\,ds < +\infty \quad\textit{for } i=1, 2 . \end{aligned}$$
(2.7)

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

$$\begin{aligned} E(t) \leq c_{3} H_{1}^{-1} (c_{1} t +c_{2} ) ,\quad \forall t\geq0, \end{aligned}$$
(2.8)

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)\,dt } < +\infty\), then we obtain

$$\begin{aligned} E(t) \leq c_{3} G^{-1} ( c_{1} t +c_{2}), \end{aligned}$$
(2.9)

where

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

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

Remark 2.1

(1) From (A1), we conclude that \({\lim_{t \rightarrow+\infty} (-k_{i}' (t)) =0}\) for \(i=1, 2\). This implies that \({\lim_{t \rightarrow+\infty} k_{i}'' (t)}\) cannot be equal to a positive number, and so it is natural to assume that \({\lim_{t \rightarrow+\infty} k_{i}'' (t) =0}\). Therefore, there is \(t_{0} >0\) large enough such that \(k'_{i}(t_{0}) <0\) and

$$\begin{aligned} \max\bigl\{ k_{i}(t), -k_{i}' (t), k_{i}''(t)\bigr\} < \min\bigl\{ r, H(r), H_{0} (r)\bigr\} ,\quad \forall t \geq t_{0} . \end{aligned}$$
(2.11)

From H is a positive continuous function, we obtain

$$\begin{aligned} d_{1} \leq H\bigl(-k_{i}'(t)\bigr) \leq d_{2}, \quad\forall t \in[0, t_{0}] \end{aligned}$$
(2.12)

for some positive constants \(d_{1}\) and \(d_{2}\). Since \(k_{i}'\) is nondecreasing, \(k_{i}'(0)<0\) and \(k_{i}'(t_{0} ) <0\), we have

$$\begin{aligned} 0< -k_{i}'( t_{0} ) \leq-k_{i}'(t) \leq-k_{i}'(0), \quad\forall t \in [0, t_{0}]. \end{aligned}$$
(2.13)

Hence, by (2.6), (2.12) and (2.13),

$$\begin{aligned} k_{i}''(t) \geq H\bigl( -k_{i}'(t)\bigr)\geq \frac{d_{1}}{k_{i}'(0)} k_{i}'(0) \geq \frac{d_{1}}{k_{i}'(0)} k_{i}'(t), \end{aligned}$$

which gives

$$\begin{aligned} k_{i}''(t) \geq-d_{3} k_{i}'(t), \quad\forall t \in[0, t_{0}], i=1,2, \end{aligned}$$
(2.14)

for some positive constant \(d_{3}\).

(2) By using the properties of H, we can prove that the function \(H_{1}\) is strictly decreasing and convex on \((0, 1]\), with \({\lim_{t\rightarrow0}H_{1} (t) = +\infty.}\) Thus, Theorem 2.2 ensures

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

Remark 2.2

The well-known Jensen’s inequality will be of essential use in establishing our main result. If \(F_{0}\) 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)\,dx = h_{0} >0\), then Jensen’s inequality states that

$$\begin{aligned} F_{0} \biggl(\frac{1}{h_{0}} \int_{\Omega}f(x) h(x)\,dx \biggr) \leq\frac{1}{h_{0}}\int_{\Omega}F_{0} \bigl( f(x) \bigr)h(x)\,dx . \end{aligned}$$
(2.15)

3 General decay

In this section, we study the asymptotic behavior of the solutions for system (1.1)-(1.6). To prove the decay property, we first obtain the dissipative property of system (1.1)-(1.6). Multiplying equation (1.1) by \(u_{t}\) and integrating by parts over Ω, we get

$$\begin{aligned} \frac{d}{dt} \biggl[\frac{1}{2}\| u_{t} \|^{2} + \frac{1}{2} a(u,u) + \frac{1}{4}\|\Delta v\|^{2} \biggr] = \biggl( {\mathcal{B}}_{1} u , \frac{\partial u_{t}}{\partial\nu} \biggr)_{\Gamma}-({\mathcal{B}}_{2} u , u_{t} )_{\Gamma}. \end{aligned}$$

From the boundary conditions (2.4) and (2.5) and Lemma 2.3, we have

$$\begin{aligned} E' (t) \leq& - {\tau_{2}} \| u_{t} \|^{2}_{\Gamma} + \frac{\tau_{2}}{2} k_{2}' (t) \| u \|^{2}_{\Gamma} \\ &{}- \frac{\tau_{2}}{2}\int _{\Gamma} k_{2}'' \,\square\, u \,d \Gamma -{\tau_{1}} \biggl\| \frac{\partial u_{t}}{\partial\nu} \biggr\| ^{2}_{\Gamma} + \frac{\tau_{1}}{2} k_{1}' (t) \biggl\| \frac{\partial u}{\partial\nu} \biggr\| ^{2}_{\Gamma} - \frac{\tau_{1}}{2}\int _{\Gamma} k_{1}'' \,\square\, \frac{\partial u}{\partial \nu}\,d\Gamma. \end{aligned}$$
(3.1)

Let us introduce the following functional:

$$\begin{aligned} \Phi(t) := \int_{\Omega}\biggl\{ m \cdot\nabla u + \frac{1}{2} u \biggr\} u_{t} \,d x . \end{aligned}$$

The following lemma plays an important role in the construction of the Lyapunov functional.

Lemma 3.1

There exists \(C>0\) such that

$$\begin{aligned} \Phi' (t) \leq& - \frac{1}{2}\| u_{t} \|^{2} -\frac{1}{2} a(u, u) -\|\Delta v\|^{2}+ \frac{1}{2} \int_{\Gamma} ( m \cdot\nu) | u_{t} |^{2}\,d\Gamma \\ &{} + C \int_{\Gamma} \bigl(|u_{t}|^{2} +\bigl| k_{2}(t) u\bigr|^{2} + \bigl| k_{2}'\circ u\bigr|^{2} \bigr)\,d\Gamma \\ &{}+C \int_{\Gamma} \biggl( \biggl| \frac{\partial u_{t}}{\partial \nu} \biggr|^{2} + \biggl| k_{1}(t) \frac{\partial u}{\partial\nu} \biggr|^{2} + \biggl| k_{1}'\circ\frac{\partial u}{\partial\nu} \biggr|^{2} \biggr)\,d\Gamma . \end{aligned}$$
(3.2)

Proof

Differentiating \(\Phi(t)\) and using (1.1), (2.1) and Lemma 2.1, we obtain

$$\begin{aligned} \Phi'(t) = & \int_{\Omega}u_{t} ( m \cdot \nabla u_{t} )\,dx + \frac{1}{2} \| u_{t}\|^{2} + \int_{\Omega}\biggl[ (m \cdot \nabla u)+ \frac{1}{2}u \biggr] \bigl( -\Delta^{2} u +[u, v] \bigr)\,dx \\ =& \frac{1}{2} \int_{\Gamma} ( m \cdot \nu) | u_{t} |^{2}\,d\Gamma -\frac{1}{2}\|u_{t}\|^{2}- \frac{3}{2}a(u, u) \\ &{}-\frac{1}{2} \|\Delta v\|^{2} -\int _{\Gamma}({\mathcal{B}}_{2} u ) \biggl( m\cdot\nabla u+ \frac{1}{2} u \biggr)\,d\Gamma \\ &{} + \int_{\Gamma}({\mathcal{B}}_{1} u) \frac{\partial}{\partial\nu} \biggl( m\cdot\nabla u+ \frac{1}{2} u \biggr)\,d\Gamma \\ &{}-\frac{1}{2} \int_{\Gamma}m\cdot\nu \bigl[ u_{xx}^{2} + u_{yy}^{2} +2 \mu u_{xx}u_{yy}+2(1-\mu)u_{xy}^{2} \bigr]\,d\Gamma \\ &{} +\int_{\Omega}( m\cdot\nabla u) [u, v]\,dx. \end{aligned}$$
(3.3)

According to Lemma 2.2, we have

$$\begin{aligned} \int_{\Omega}( m\cdot \nabla u) [u, v]\,dx = \int _{\Omega}[ m\cdot\nabla u , u] v \,d x =-\frac{1}{2}\|\Delta v\|^{2} -\frac{1}{2}\int_{\Gamma}(m\cdot \nu)| \Delta v|^{2}\,d\Gamma. \end{aligned}$$
(3.4)

Using the trace theorem, (2.2), (2.3) and Young’s inequality, we get, for \(\epsilon_{1} >0\),

$$\begin{aligned} & \biggl|-\int_{\Gamma}({\mathcal{B}}_{2} u ) \biggl( m\cdot\nabla u+ \frac{1}{2} u \biggr)\,d\Gamma \biggr|+ \biggl| \int _{\Gamma}({\mathcal{B}}_{1} u) \frac{\partial}{\partial\nu} \biggl( m\cdot\nabla u+ \frac{1}{2} u \biggr)\,d\Gamma \biggr| \\ &\quad\leq \epsilon_{1} \int_{\Gamma} \biggl( m \cdot\nabla u + \frac{1}{2} u \biggr)^{2}\,d\Gamma + C_{ \epsilon_{1}} \int_{\Gamma} | {\mathcal{B}}_{2} u |^{2}\,d\Gamma \\ &\qquad{}+\epsilon_{1} \int_{\Gamma } \biggl| \frac{\partial}{\partial\nu} \biggl( m \cdot\nabla u + \frac {1}{2} u \biggr) \biggr|^{2}\,d\Gamma + C_{ \epsilon_{1}} \int_{\Gamma} | { \mathcal{B}}_{1} u |^{2}\,d\Gamma \\ &\quad\leq \epsilon_{1} c (C_{p} +C_{s} ) a(u, u) + \epsilon_{1} c \int_{\Gamma}(m\cdot\nu) \bigl[ u_{xx}^{2} + u_{yy}^{2} +2 \mu u_{xx}u_{yy}+2(1-\mu)u_{xy}^{2} \bigr]\,d\Gamma \\ &\qquad{} + C_{ \epsilon_{1}} \int_{\Gamma} | {\mathcal{B}}_{2} u |^{2}\,d\Gamma+C_{ \epsilon_{1}} \int_{\Gamma} | { \mathcal{B}}_{1} u |^{2}\,d\Gamma , \end{aligned}$$
(3.5)

where \(\epsilon_{1}\) is a positive constant. From (3.3)-(3.5), we obtain

$$\begin{aligned} \Phi' (t) \leq& \frac{1}{2} \int _{\Gamma} ( m \cdot\nu) | u_{t} |^{2}\,d\Gamma- \frac{1}{2}\| u_{t} \|^{2} - \biggl( \frac{3}{2}-\epsilon_{1} c(C_{p} +C_{s}) \biggr)a(u, u) -\|\Delta v\|^{2} \\ &{} - \biggl(\frac{1}{2}-\epsilon_{1} c \biggr) \int _{\Gamma}(m\cdot\nu) \bigl[ u_{xx}^{2} + u_{yy}^{2} +2 \mu u_{xx}u_{yy}+2(1- \mu)u_{xy}^{2} \bigr]\,d\Gamma \\ &{}-\frac{1}{2}\int_{\Gamma}(m\cdot\nu) |\Delta v|^{2}\,d\Gamma+ C_{ \epsilon_{1}} \int_{\Gamma} | { \mathcal{B}}_{2} u |^{2}\,d\Gamma+C_{ \epsilon_{1}} \int _{\Gamma} | {\mathcal{B}}_{1} u |^{2}\,d\Gamma. \end{aligned}$$
(3.6)

Note that

$$\begin{aligned} k'*u(t)= - \bigl(k'\circ u\bigr) (t) +u(t)\bigl[k(t)-k(0)\bigr]. \end{aligned}$$

From the above inequality, the boundary conditions (2.4) and (2.5) can be written as

$$\begin{aligned}& {\mathcal{B}}_{1} u = - \tau_{1} \biggl\{ \frac{\partial u_{t}}{\partial\nu} + k_{1}(t) \frac{\partial u}{\partial\nu} - k_{1}' \circ \frac{\partial u}{\partial\nu} \biggr\} , \end{aligned}$$
(3.7)
$$\begin{aligned}& {\mathcal{B}}_{2} u = \tau_{2} \bigl\{ u_{t} + k_{2}(t) u - k_{2}' \circ u \bigr\} . \end{aligned}$$
(3.8)

Substituting (3.7) and (3.8) into (3.6) and choosing \(\epsilon_{1}\) small enough, we have estimate (3.2). □

Let us consider the following binary operator:

$$(k \circ v ) (t) := \int_{0}^{t} k(t-s) \bigl( v (t)- v (s)\bigr)\,ds . $$

Then, applying Hölder’s inequality for \(0 \leq\alpha\leq1\), we get

$$\begin{aligned} \bigl| ( k \circ v ) (t) \bigr|^{2} \leq \biggl[ \int_{0}^{t} \bigl| k(s)\bigr|^{2(1-\alpha)}\,ds \biggr] \bigl( |k|^{2\alpha} \,\square\, v \bigr) (t). \end{aligned}$$
(3.9)

Proof of Theorem 2.2

Let us introduce the Lyapunov functional

$$\begin{aligned} L(t) := N E(t) + \Phi(t) \end{aligned}$$

with \(N >0\).

Using (3.1), (3.2) and (3.9) with \(\alpha= \frac{1}{2}\), we obtain

$$\begin{aligned} L '(t) \leq& -\frac{1}{2}\| u_{t} \|^{2} -\frac{1}{2} a(u, u) -\|\Delta v\|^{2} - \biggl({\tau_{2} N}-\frac{R}{2}-C \biggr) \|u_{t}\|^{2}_{\Gamma}- ({\tau_{1} N}-C ) \biggl\| \frac{\partial u_{t}}{\partial\nu} \biggr\| ^{2}_{\Gamma} \\ &{} + \biggl(\frac{\tau_{2} N}{2}k_{2}'(t) + C k_{2}^{2}(t) \biggr)\| u\|^{2}_{\Gamma} + \biggl(\frac{\tau_{1} N}{2}k_{1}'(t) + C k_{1}^{2}(t) \biggr) \biggl\| \frac{\partial u}{\partial \nu} \biggr\| ^{2}_{\Gamma} \\ &{} - \frac{\tau_{2} N}{2}\int_{\Gamma}k_{2}'' \,\square\, u \,d \Gamma-C \int_{\Gamma} k_{2}' \,\square\, u \,d \Gamma - \frac{\tau_{1} N}{2} \int_{\Gamma}k_{1}'' \,\square\,\frac{\partial u}{\partial\nu}\,d\Gamma-C \int_{\Gamma} k_{1}' \,\square\,\frac{\partial u}{\partial\nu}\,d\Gamma . \end{aligned}$$

Taking N large, for some positive constant β,

$$\begin{aligned} L'(t)\leq-\beta E(t) +C k_{2}^{2}(t) \| u\|^{2}_{\Gamma }-C\int_{\Gamma} k_{2}' \,\square\, u \,d \Gamma+C k_{1}^{2}(t) \biggl\| \frac{\partial u}{\partial \nu} \biggr\| ^{2}_{\Gamma}-C\int _{\Gamma} k_{1}' \,\square\,\frac{\partial u}{\partial\nu}\,d\Gamma, \end{aligned}$$

which, using trace theory and the fact that \({\lim_{t\rightarrow\infty}} k_{i}(t) =0\) for \(i=1, 2\), yields, for large \(t_{0}\),

$$\begin{aligned} L'(t)\leq-\beta E(t) -C\int_{\Gamma} k_{2}' \,\square\, u \,d \Gamma-C\int_{\Gamma} k_{1}' \,\square\,\frac{\partial u}{\partial\nu}\,d\Gamma, \quad\forall t\geq t_{0} . \end{aligned}$$
(3.10)

On the other hand, it is not difficult to see that \(L(t)\) satisfies

$$\begin{aligned} q_{0} E(t) \leq L(t) \leq q_{1} E(t) \end{aligned}$$
(3.11)

for some positive constants \(q_{0}\), \(q_{1}\). Using (2.14), (3.1) and (3.10), we have

$$\begin{aligned} L'(t) \leq& -\beta E(t) +\frac{C}{d_{3}}\int _{0}^{t_{0}} k_{2}''(s) \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \\ &{}-C\int _{t_{0}}^{t} k_{2}'(s) \int _{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \\ &{}+\frac{C}{d_{3}}\int_{0}^{t_{0}} k_{1}''(s) \int_{\Gamma} \biggl| \frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial \nu} \biggr|^{2}\,d\Gamma\,d s \\ &{}-C\int _{t_{0}}^{t} k_{1}'(s) \int _{\Gamma} \biggl|\frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial \nu} \biggr|^{2}\,d\Gamma\,d s \\ \leq& -\beta E(t) -\frac{2C}{d_{3} \tau}E'(t) -C\int _{t_{0}}^{t} k_{2}'(s) \int _{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \\ &{} -C\int_{t_{0}}^{t} k_{1}'(s) \int_{\Gamma} \biggl|\frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma\,d s,\quad \forall t\geq t_{0} , \end{aligned}$$
(3.12)

where \(\tau=\min\{ \tau_{1}, \tau_{2} \}\). We take \({\mathcal{L}}(t) = L(t) +\frac{2C}{d_{3} \tau}E(t)\), which is equivalent to \(E(t)\), and use (3.12) to get

$$\begin{aligned} {\mathcal{L}}'(t) \leq&-\beta E(t)-C\int_{t_{0}}^{t} k_{2}'(s) \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \\ &{}-C\int_{t_{0}}^{t} k_{1}'(s) \int_{\Gamma} \biggl| \frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma\,d s . \end{aligned}$$
(3.13)

(A) The general case: This case is obtained on account of the ideas presented in [20, 22] as follows. Let \(H_{0}^{*}\) be the convex conjugate of \(H_{0}\) in the sense of Young (see [26]); then

$$\begin{aligned} 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] \end{aligned}$$
(3.14)

and \(H_{0}^{*}\) satisfies the following Young’s inequality:

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

We define \(\eta(t)\) and \(\xi(t)\) by

$$\begin{aligned}& \eta(t):=\int_{t_{0}}^{t} \frac{-k_{2}'(s)}{H_{0}^{-1} (k_{2}''(s)) }\int _{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s , \\& \xi(t) := \int_{t_{0}}^{t} \frac{-k_{1}'(s)}{H_{0}^{-1} (k_{1}''(s)) }\int _{\Gamma} \biggl|\frac{\partial u(t)}{\partial \nu}-\frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma\,d s, \end{aligned}$$

where \(H_{0}\) is such that (2.7) is satisfied. From (2.7), (3.1) and trace theory, and choosing \(t_{0}\) even larger if needed, we find that \(\eta(t)\) and \(\xi(t)\) satisfy

$$\begin{aligned} \eta(t) < 1 , \qquad\xi(t) < 1 ,\quad \forall t\geq t_{0}. \end{aligned}$$
(3.16)

Besides, we define \(\kappa(t)\) and \(\chi(t)\) by

$$\begin{aligned}& \kappa(t):= \int_{t_{0}}^{t} k_{2}''(s) \frac{-k_{2}'(s)}{H_{0}^{-1} (k_{2}''(s)) }\int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s , \\& \chi(t) := \int_{t_{0}}^{t} k_{1}''(s) \frac{-k_{1}'(s)}{H_{0}^{-1} (k_{1}''(s)) }\int_{\Gamma} \biggl|\frac{\partial u(t)}{\partial \nu}- \frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma\,d s . \end{aligned}$$

By (2.6) and the properties of \(H_{0}\) and D, we obtain

$$\begin{aligned} \frac{-k_{i}'(s)}{H_{0}^{-1} (k_{i}''(s)) } \leq\frac{-k_{i}'(s)}{H_{0}^{-1} (H(-k_{i}'(s)))} = \frac{-k_{i}'(s)}{D^{-1} (-k_{i}'(s)) } \leq \alpha_{0},\quad i=1,2, \end{aligned}$$
(3.17)

for some positive constant \(\alpha_{0}\). Then, using (2.11), (3.1) and (3.17) and choosing \(t_{0}\) even larger, we can see that \(\kappa(t)\) satisfies, for all \(t\geq t_{0}\),

$$\begin{aligned} \kappa(t) \leq& \alpha_{0} \int_{t_{0}}^{t} k_{2}''(s) \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \leq c { E}(0) \int_{t_{0}}^{t} k_{2}''(s)\,ds \leq-c k_{2}'(t_{0}) {E}(0) \\ \leq& \min\bigl\{ r, H(r), H_{0} (r)\bigr\} . \end{aligned}$$
(3.18)

Similarly, we deduce that \(\chi(t) \leq\min\{ r, H(r), H_{0} (r)\}\). Since \(H_{0}\) is strictly convex on \((0, r]\) and \(H_{0} (0)=0\), then

$$\begin{aligned} H_{0} (\lambda x )\leq\lambda H_{0} (x) \end{aligned}$$
(3.19)

provided \(0\leq \lambda\leq1\) and \(x\in(0, r]\). Using (3.16), (3.19) and Jensen’s inequality (2.15), we have

$$\begin{aligned} \kappa(t) =&\frac{1}{\eta(t)}\int_{t_{0}}^{t} \eta(t) H_{0} \bigl[H_{0}^{-1}\bigl(k_{2}''(s) \bigr)\bigr]\frac{-k_{2}'(s)}{H_{0}^{-1} (k_{2}''(s)) }\int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s\\ \geq& \frac{1}{\eta(t)}\int_{t_{0}}^{t} H_{0} \bigl[\eta(t) H_{0}^{-1}\bigl(k_{2}''(s) \bigr)\bigr]\frac{-k_{2}'(s)}{H_{0}^{-1} (k_{2}''(s)) }\int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s\\ \geq & H_{0} \biggl( \int_{t_{0}}^{t} -k_{2}'(s) \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \biggr) . \end{aligned}$$

This implies that

$$\begin{aligned} \int_{t_{0}}^{t} -k_{2}'(s) \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \leq H_{0}^{-1} \bigl(\kappa(t)\bigr) . \end{aligned}$$
(3.20)

Similarly, we get

$$\begin{aligned} \int_{t_{0}}^{t} -k_{1}'(s) \int_{\Gamma} \biggl|\frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma\,d s \leq H_{0}^{-1} \bigl(\chi(t) \bigr) . \end{aligned}$$
(3.21)

From (3.13), (3.20) and (3.21) we deduce that

$$\begin{aligned} {\mathcal{L}}'(t) \leq-\beta { E}(t) +C H_{0}^{-1} \bigl(\kappa(t)\bigr) + C H_{0}^{-1} \bigl(\chi(t)\bigr) ,\quad \forall t\geq t_{0} . \end{aligned}$$
(3.22)

For \(\epsilon_{0} < r\) and \(d_{0} > 0\), we define the functional

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

which satisfies

$$\begin{aligned} \alpha_{1} F(t) \leq{ E}(t) \leq\alpha_{2} F (t) \end{aligned}$$
(3.23)

for some \(\alpha_{1}, \alpha_{2}>0\). Also, by \(\epsilon_{0} < r\), \({ E}' \leq 0\), we get \(\epsilon_{0} \frac{{ E}(t)}{{ E}(0)}< r\). Using (3.1), (3.14), (3.15), (3.18) and (3.22) and the fact that \({ E}' \leq0\), \(H_{0} >0\), \(H_{0}' > 0\) and \(H_{0}''> 0\) on \((0, r]\), we obtain

$$\begin{aligned} F' (t) =& {\mathcal{L}} '(t) H_{0}' \biggl(\epsilon_{0} \frac{{ E}(t)}{{ E}(0)} \biggr) +\epsilon_{0} {\mathcal{L}} (t)\frac{{ E}'(t)}{{ E}(0)} H_{0}'' \biggl(\epsilon_{0} \frac{{E}(t)}{{ E}(0)} \biggr)+ d_{0} { E}'(t)\\ \leq& -\beta{ E}(t)H_{0}' \biggl( \epsilon_{0} \frac{{ E}(t)}{{E}(0)} \biggr) + C H_{0}' \biggl(\epsilon_{0} \frac{{ E}(t)}{{ E}(0)} \biggr) H_{0}^{-1} \bigl(\kappa(t)\bigr)\\ &{}+ C H_{0}' \biggl( \epsilon_{0} \frac{{ E}(t)}{{ E}(0)} \biggr) H_{0}^{-1} \bigl(\chi(t)\bigr)+d_{0} { E}'(t)\\ \leq& -\beta{ E}(t)H_{0}' \biggl( \epsilon_{0} \frac{{ E}(t)}{{ E}(0)} \biggr) +C H_{0}^{*} \biggl(H_{0}' \biggl(\epsilon_{0} \frac{{ E}(t)}{{ E}(0)} \biggr) \biggr)+ C \kappa(t) +C\chi(t)+ d_{0} { E}'(t)\\ \leq& -\beta { E}(t)H_{0}' \biggl( \epsilon_{0} \frac{{ E}(t)}{{ E}(0)} \biggr) + \epsilon_{0} C \frac{{ E}(t)}{{ E}(0)}H_{0}' \biggl(\epsilon_{0} \frac{{ E}(t)}{{ E}(0)} \biggr) \\ &{}-C H_{0} \biggl(\epsilon_{0} \frac{{ E}(t)}{{ E}(0)} \biggr) + C\bigl(\kappa(t)+\chi(t)\bigr)+ d_{0} { E}'(t) \\ \leq& -\bigl(\beta{ E}(0)-\epsilon_{0} C \bigr) \frac{{ E}(t)}{{ E}(0)}H_{0}' \biggl(\epsilon_{0} \frac{{ E}(t)}{{ E}(0)} \biggr)-\frac{2C \alpha_{0}}{\tau} { E}'(t)+d_{0} { E}'(t) . \end{aligned}$$

Therefore, with a suitable choice of \(\epsilon_{0}\) and \(d_{0}\), we have, for all \(t \geq t_{0}\),

$$\begin{aligned} F' (t) \leq-\alpha_{3} \biggl(\frac{{ E}(t)}{{ E}(0)} \biggr)H_{0}' \biggl(\epsilon_{0} \frac{{ E}(t)}{{ E}(0)} \biggr)=-\alpha_{3} H_{2} \biggl( \frac{{ E}(t)}{{ E}(0)} \biggr), \end{aligned}$$
(3.24)

where \(\alpha_{3}>0\) and \(H_{2} (t) = t H_{0}' (\epsilon_{0} t)\). By the strict convexity of \(H_{0}\) on \((0, r]\), we see 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

$$K(t) =\frac{\alpha_{1} F(t)}{{ E}(0)}, $$

which is clearly equivalent to \({E}(t)\). Using (3.23), (3.24) and \(H_{2}'>0\), we get

$$K'(t) = \frac{\alpha_{1} F '(t)}{{ E}(0)} \leq-\frac{ \alpha_{1} \alpha _{3}}{{ E}(0)}H_{2} \biggl(\frac{{ E}(t)}{{E}(0)} \biggr) \leq- k_{0} H_{2} \bigl(K(t) \bigr),\quad \forall t \geq t_{0} , $$

where \(k_{0} = \frac{ \alpha_{1} \alpha_{3}}{{ E}(0)} >0 \). Then, using 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\), we obtain, for some \(k_{1}, k_{2}>0\),

$$\begin{aligned} K(t) \leq H_{1}^{-1} (k_{1} t +k_{2} ),\quad \forall t\geq t_{0}, \end{aligned}$$
(3.25)

where \(H_{1} (t) =\int_{t}^{1} \frac{1}{H_{2} (s)}\,ds\). Using (3.23) and (3.25), we have (2.8). Moreover, if \(\int_{0}^{t} H_{1} (t)\,dt < +\infty\), then \(\int_{0}^{+\infty} H_{1} ^{-1} (t)\,dt < +\infty\). From (2.8) we get \(\int_{0}^{+\infty} E(t)\,dt < \infty\) and

$$\begin{aligned}& \int_{0}^{t} \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \leq c \int_{0}^{t} E(s)\,ds < +\infty,\\& \int_{0}^{t} \int_{\Gamma} \biggl| \frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma\,d s \leq c \int _{0}^{t} E(s)\,ds < +\infty. \end{aligned}$$

Similarly, we define, for large \(t_{0}\),

$$\begin{aligned}& \eta_{1} (t):= \int_{t_{0}}^{t} \int _{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s < 1 , \quad\forall t\geq t_{0} , \\& \xi_{1}(t) := \int_{t_{0}}^{t} \int _{\Gamma} \biggl|\frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma\,d s < 1 , \quad \forall t\geq t_{0} \end{aligned}$$

and

$$\begin{aligned}& \kappa_{1}(t):= \int_{t_{0}}^{t} k_{2}'' (s) \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s ,\\& \chi_{1}(t):= \int_{t_{0}}^{t} k_{1}'' (s)\int_{\Gamma} \biggl| \frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma\,d s . \end{aligned}$$

From (2.6), the strict convexity of H and Jensen’s inequality (2.15), we obtain

$$\begin{aligned}[b] \kappa_{1}(t)& \geq \frac{1}{\eta_{1}(t)} \int_{t_{0}}^{t} \eta_{1}(t) H\bigl(-k_{2}' (s)\bigr) \int _{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \\ &\geq \frac{1}{\eta_{1}(t)} \int_{t_{0}}^{t} H \bigl(-\eta_{1}(t) k_{2}' (s)\bigr) \int _{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \\ &\geq H \biggl( \int_{t_{0}}^{t} -k_{2}'(s) \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \biggr) . \end{aligned} $$

Therefore, we deduce that

$$\int_{t_{0}}^{t} \bigl(-k_{2}'(s) \bigr) \int_{\Gamma} \bigl|u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \leq H^{-1} \bigl( \kappa_{1}(t)\bigr). $$

Similarly, we have

$$\int_{t_{0}}^{t} \bigl(-k_{1}'(s) \bigr) \int_{\Gamma} \biggl|\frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma\,d s \leq H^{-1} \bigl( \chi_{1}(t) \bigr). $$

Thus, (3.13) becomes

$${\mathcal{L}}'(t) \leq-\beta{ E} (t) +C H^{-1}\bigl( \kappa_{1}(t)\bigr) +C H^{-1}\bigl(\chi_{1}(t)\bigr), \quad \forall t\geq t_{0} . $$

Hence, repeating the same procedures, we see that for some \(c_{1}\), \(c_{2}\) and \(c_{3} >0\),

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

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

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

Case 1. \(p=1\): Using (2.6) and (3.1), estimate (3.13) yields, for all \(t \geq t_{0} \),

$$\begin{aligned} {\mathcal{L}}'(t) \leq& - \beta{ E}(t) + \frac{C}{c} \int_{t_{0}}^{t}k_{2}''(s) \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \\ &{}+ \frac{C}{c}\int_{t_{0}}^{t} k_{1}''(s) \int_{\Gamma} \biggl| \frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma\,d s\\ \leq& - \beta{ E}(t) - \frac{2C}{c\tau} { E}'(t) , \end{aligned}$$

which gives

$$\begin{aligned} \biggl({\mathcal{L}}+ \frac{2C}{c\tau} { E}\biggr)'(t) \leq- \beta{ E}(t), \quad \forall t \geq t_{0} . \end{aligned}$$

From (3.11) we know that \({\mathcal{L}}+ \frac{2C}{c\tau} { E} \sim E\). Hence, we easily get

$$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}\): We can see that

$$\begin{aligned} \int_{0}^{\infty} \bigl(-k_{i}'(s) \bigr)^{1-\delta_{0}}\,ds < \infty, \quad i=1, 2, \end{aligned}$$
(3.26)

for any \(\delta_{0} <2-p\). Using (3.1) and (3.26) and choosing \(t_{0}\) even larger if needed, we conclude that for all \(t \geq t_{0}\),

$$\begin{aligned} I(t) :=&\int_{t_{0}}^{t} \bigl(-k_{2}'(s)\bigr)^{1-\delta_{0} } \int _{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \\ \leq& 2 \int_{t_{0}}^{t} \bigl(-k_{2}'(s) \bigr)^{1-\delta_{0} } \int_{\Gamma} \bigl[ \bigl|u(t)\bigr|^{2} + \bigl|u(t-s)\bigr|^{2} \bigr]\,d\Gamma\,d s \\ \leq& c {E}(0) \int_{t_{0}}^{t} \bigl(-k_{2}'(s)\bigr)^{1-\delta_{0} }\,ds < 1 , \end{aligned}$$
(3.27)

and

$$\begin{aligned} J(t) :=&\int_{t_{0}}^{t} \bigl(-k_{1}'(s)\bigr)^{1-\delta_{0} } \int _{\Gamma} \biggl|\frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma\,d s\\ \leq& 2 \int_{t_{0}}^{t} \bigl(-k_{1}'(s) \bigr)^{1-\delta_{0} } \int_{\Gamma} \biggl[ \biggl|\frac{\partial u(t)}{\partial\nu} \biggr|^{2} + \biggl|\frac{\partial u(t-s)}{\partial \nu} \biggr|^{2} \biggr]\,d\Gamma\,d s \\ \leq& c {E}(0) \int_{t_{0}}^{t} \bigl(-k_{1}'(s) \bigr)^{1-\delta_{0} }\,ds < 1 . \end{aligned}$$

From Hölder’s inequality, Jensen’s inequality, (2.6), (3.1) and (3.27), we get

$$\begin{aligned} &\int_{t_{0}}^{t}\bigl(-k_{2}'(s) \bigr) \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \\ &\quad= \int_{t_{0}}^{t} \bigl(-k_{2}'(s)\bigr)^{(p-1+\delta_{0})(\frac{\delta_{0}}{p-1+\delta_{0}})} \bigl(-k_{2}'(s) \bigr)^{1-\delta_{0}} \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma \,ds \\ &\quad\leq \biggl( \int_{t_{0}}^{t} \bigl(-k_{2}'(s)\bigr)^{p-1+\delta_{0}} \bigl(-k_{2}'(s)\bigr)^{1-\delta_{0}} \int _{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \biggr)^{\frac{\delta_{0}}{p-1+\delta_{0}}} \\ &\qquad{}\times \biggl( \int_{t_{0}}^{t} \bigl(-k_{2}'(s)\bigr)^{1-\delta_{0}} \int _{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \biggr)^{\frac{p-1}{p-1+\delta_{0}}} \\ &\quad=I(t) \biggl(\frac{1}{I(t)} \int_{t_{0}}^{t} \bigl(-k_{2}'(s)\bigr)^{p-1+\delta_{0}} \bigl(-k_{2}'(s)\bigr)^{1-\delta_{0}} \int _{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \biggr)^{\frac{\delta_{0}}{p-1+\delta_{0}}} \\ &\quad\leq\biggl( \int_{t_{0}}^{t} \bigl(-k_{2}'(s)\bigr)^{p} \int _{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \biggr)^{\frac{\delta_{0}}{p-1+\delta_{0}}} \\ &\quad\leq \biggl(\frac{1}{c} \biggr)^{\frac{ \delta_{0}}{p-1+\delta_{0}}} \biggl( \int_{t_{0}}^{t} k_{2}''(s) \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \biggr)^{\frac{\delta_{0}}{p-1+\delta_{0}}} \\ &\quad\leq \biggl(\frac{1}{c} \biggr)^{\frac{\delta_{0}}{p-1+\delta_{0}}} \bigl(-{ E}'(t) \bigr)^{\frac{\delta_{0}}{p-1+\delta_{0}}}. \end{aligned}$$
(3.28)

Similarly, we obtain

$$\begin{aligned} \int_{t_{0}}^{t}\bigl(- k_{1}'(s) \bigr) \int_{\Gamma} \biggl|\frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma\,d s \leq \biggl(\frac{1}{c} \biggr)^{\frac{ \delta_{0}}{p-1+\delta_{0}}} \bigl(-{ E}'(t) \bigr)^{\frac{\delta_{0}}{p-1+\delta_{0}}}. \end{aligned}$$
(3.29)

Therefore, using (3.28) and (3.29), we see that (3.13) yields, for \(\delta_{0} =\frac{1}{2}\),

$$\begin{aligned} {\mathcal{L}}'(t) \leq- \beta{ E}(t)+ \frac{2C}{ c^{\frac{1}{2p-1}}} \bigl(-{ E}'(t) \bigr)^{\frac{1}{2p-1}}. \end{aligned}$$
(3.30)

Multiplying (3.30) by \({ E}^{\gamma}(t)\), with \(\gamma=2p-2\), and using (3.1) and Young’s inequality, with \(\frac{1}{\gamma+1}+\frac{\gamma}{\gamma+1}=1\), we have

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

Choosing \(\varepsilon<\beta\), we get, for some \(C_{1}>0\),

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

where \(L_{0} ={\mathcal{L} }{ E}^{\gamma}+C_{\varepsilon}{ E} \sim E \). Then we conclude that

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

Since \(p<\frac{3}{2}\) and using (3.31), we see that

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

Using this fact, we have

$$\begin{aligned}& \int_{0}^{t} \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma\,d s \leq c\int_{0}^{t} E(s)\,ds < +\infty, \end{aligned}$$
(3.32)
$$\begin{aligned}& \int_{0}^{t} \int_{\Gamma} \biggl| \frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma\,d s \leq c\int _{0}^{t} E(s)\,ds < +\infty. \end{aligned}$$
(3.33)

Then, by (2.6), (3.1), (3.32), (3.33) and Hölder’s inequality, estimate (3.13) gives

$$\begin{aligned} {\mathcal{L}}'(t) \leq& - \beta{ E}(t)+ C \biggl(\int _{0}^{t} \int_{\Gamma} \bigl| u(t)-u(t-s)\bigr|^{2}\,d\Gamma \,ds \biggr)^{\frac{p-1}{p}} \biggl(\int _{\Gamma}\bigl(-k_{2}'\bigr)^{p} \,\square\, u \,d \Gamma \biggr)^{\frac{1}{p}} \\ &{}+ C \biggl(\int_{0}^{t} \int _{\Gamma} \biggl|\frac{\partial u(t)}{\partial\nu}-\frac{\partial u(t-s)}{\partial\nu} \biggr|^{2}\,d\Gamma \,ds \biggr) ^{\frac{p-1}{p}} \biggl(\int_{\Gamma}\bigl(-k_{1}'\bigr)^{p} \,\square\, \frac{\partial u}{\partial\nu}\,d\Gamma \biggr)^{\frac{1}{p}} \\ \leq& - \beta{ E}(t)+ c \biggl(\int_{\Gamma}k_{2}'' \,\square\, u \,d\Gamma \biggr)^{\frac{1}{p}} +c \biggl(\int_{\Gamma}k_{1}'' \,\square\, \frac{\partial u}{\partial\nu}\,d\Gamma \biggr)^{\frac{1}{p}} \\ \leq& - \beta E(t)+ 2c \bigl( -{ E}'(t) \bigr)^{\frac{1}{p}} . \end{aligned}$$
(3.34)

Now, we multiply (3.34) by \({ E}^{\gamma}(t)\) with \(\gamma=p-1\). Hence, repeating the above steps, we find that

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

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). $$

 □

Example

We give an example to explain the energy decay rates given by Theorem 2.2.

(1) If

$$k_{i}'(t) = -\frac{1}{a +t^{q}},\quad \forall i=1,2, $$

for \(q>3\) and \(a>1\), then \(k_{i}''(t) =H(-k_{i}'(t))\), where

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

Because

$$\begin{aligned} 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}}}, \end{aligned}$$

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

$$\begin{aligned} 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}}} . \end{aligned}$$

Thus,

$$\begin{aligned} 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 . \end{aligned}$$

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

$$\begin{aligned} 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}] }\,du \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}}\,du . \end{aligned}$$

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}}\), we get

$$\begin{aligned} 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}}\,du = \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]. \end{aligned}$$

Next, we find that if \(\alpha< \frac{2q}{1+q}\),

$$\begin{aligned} \int_{0}^{1} H_{1} (t)\,dt \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]\,dt \\ =& \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}$$

Taking \(\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})}\,dv \\ \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}\,dv = \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,

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

Hence we can use (2.9) to deduce that the energy decays

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

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

(2) As in [20], let \(0< q<1\)

$$\begin{aligned} k_{i}'(t)= -\exp\bigl(-t^{q}\bigr) ,\quad \forall i=1, 2, \end{aligned}$$

then \(k_{i}''(t)=H(-k_{i}'(t))\), where, for \(t\in(0, r]\), \(r<1\), \(H(t)= \frac {qt }{[\ln(1/t)]^{\frac{1}{q}-1}}\). Hence

$$\begin{aligned} E(t) \leq c \exp\bigl(-\omega t^{q}\bigr) . \end{aligned}$$

References

  1. Favini, A, Horn, M, Lasiecka, I, Tataru, D: Global existence, uniqueness and regularity of solutions to a von Kármán system with nonlinear boundary dissipation. Differ. Integral Equ. 9(2), 267-294 (1996)

    MATH  MathSciNet  Google Scholar 

  2. Horn, MA, Lasiecka, I: Uniform decay of weak solutions to a von Kármán plate with nonlinear boundary dissipation. Differ. Integral Equ. 7, 885-908 (1994)

    MATH  MathSciNet  Google Scholar 

  3. Horn, MA, Lasiecka, I: Global stabilization of a dynamic von Kármán plate with nonlinear boundary feedback. Appl. Math. Optim. 31, 57-84 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  4. Puel, J, Tucsnak, M: Boundary stabilization for the von Kármán equations. SIAM J. Control 33, 255-273 (1996)

    Article  MathSciNet  Google Scholar 

  5. Rivera, JEM, Menzala, GP: Decay rates of solutions to a von Kármán system for viscoelastic plates with memory. Q. Appl. Math. LVII, 181-200 (1999)

    Google Scholar 

  6. Raposo, CA, Santos, ML: General decay to a von Kármán system with memory. Nonlinear Anal. 74, 937-945 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  7. Kang, JR: Energy decay rates for von Kármán system with memory and boundary feedback. Appl. Math. Comput. 218, 9085-9094 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  8. Kang, JR: Exponential decay for a von Kármán equations with memory. J. Math. Phys. 54, 033501 (2013)

    Article  MathSciNet  Google Scholar 

  9. Kang, JR: Exponential decay for a von Kármán equations of memory type with acoustic boundary conditions. Math. Methods Appl. Sci. 38, 598-608 (2015)

    Article  MATH  MathSciNet  Google Scholar 

  10. Rivera, JEM, Oquendo, HP, Santos, ML: Asymptotic behavior to a von Kármán plate with boundary memory conditions. Nonlinear Anal. 62, 1183-1205 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  11. Santos, ML, Soufyane, A: General decay to a von Kármán plate system with memory boundary conditions. Differ. Integral Equ. 24(1-2), 69-81 (2011)

    MATH  MathSciNet  Google Scholar 

  12. Cavalcanti, MM, Domingos Cavalcanti, VN, Santos, ML: Existence and uniform decay rates of solutions to a degenerate system with memory conditions at the boundary. Appl. Math. Comput. 150(2), 439-465 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  13. Santos, ML: Decay rates for solutions of a Timoshenko system with a memory condition at the boundary. Abstr. Appl. Anal. 7(10), 531-546 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  14. Santos, ML, Ferreira, J, Pereira, DC, Raposo, CA: Global existence and stability for wave equation of Kirchhoff type with memory condition at the boundary. Nonlinear Anal. 54, 959-976 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  15. Park, JY, Kang, JR: Uniform decay for hyperbolic differential inclusion with memory condition at the boundary. Numer. Funct. Anal. Optim. 27(7-8), 875-888 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  16. Messaoudi, SA, Soufyane, A: General decay of solutions of a wave equation with a boundary control of memory type. Nonlinear Anal., Real World Appl. 11, 2896-2904 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  17. Mustafa, MI, Messaoudi, SA: Energy decay rates for a Timoshenko system with viscoelastic boundary conditions. Appl. Math. Comput. 218, 9125-9131 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  18. Kang, JR: General decay for Kirchhoff plates with a boundary condition of memory type. Bound. Value Probl. 2012, 129 (2012)

    Article  Google Scholar 

  19. Kang, JR: General decay for a differential inclusion of Kirchhoff type with a memory condition at the boundary. Acta Math. Sci. 34(3), 729-738 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  20. Mustafa, MI, Abusharkh, GA: Plate equations with viscoelastic boundary damping. Indag. Math. 26, 307-323 (2015)

    Article  MATH  MathSciNet  Google Scholar 

  21. Messaoudi, SA, Mustafa, MI: A general stability result for a quasilinear wave equation with memory. Nonlinear Anal., Real World Appl. 14, 1854-1864 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  22. Mustafa, MI, Messaoudi, SA: General stability result for viscoelastic wave equations. J. Math. Phys. 53, 053702 (2012)

    Article  MathSciNet  Google Scholar 

  23. Alabau-Boussouira, F, Cannarsa, P: A general method for proving sharp energy decay rates for memory dissipative evolution equations. C. R. Math. Acad. Sci. Paris 347, 867-872 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  24. Lagnese, JE: Boundary Stabilization of Thin Plates. SIAM, Philadelphia (1999)

    Google Scholar 

  25. Chueshov, I, Lasiecka, I: Global attractors for von Karman evolutions with a nonlinear boundary dissipation. J. Differ. Equ. 198, 196-231 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  26. Arnold, VI: Mathematical Methods of Classical Mechanics. Springer, New York (1989)

    Book  Google Scholar 

Download references

Acknowledgements

This research was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Science, ICT & Future Planning (2014R1A1A1003440).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jum-Ran Kang.

Additional information

Competing interests

The author declares that they have no competing interests.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kang, JR. General stability for a von Kármán plate system with memory boundary conditions. Bound Value Probl 2015, 167 (2015). https://doi.org/10.1186/s13661-015-0431-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-015-0431-4

Keywords