Skip to main content

Stability result of a viscoelastic plate equation with past history and a logarithmic nonlinearity


In this paper, we are concerned with the decay rate of the solution of a viscoelastic plate equation with infinite memory and logarithmic nonlinearity. We establish an explicit and general decay rate results with imposing a minimal condition on the relaxation function. In fact, we assume that the relaxation function h satisfies

$$ h^{\prime}(t)\le-\xi(t) H\bigl(h(t)\bigr),\quad t\geq0, $$

where the functions ξ and H satisfy some conditions. Our proof is based on the multiplier method, convex properties, logarithmic inequalities, and some properties of integro-differential equations. Moreover, we drop the boundedness assumption on the history data, usually made in the literature. In fact, our results generalize, extend, and improve earlier results in the literature.

1 Introduction

In this work, we consider the following viscoelastic plate problem with velocity-dependent material density and logarithmic nonlinearity:

$$ \vert u_{t} \vert ^{\rho} u_{tt}+\Delta^{2} u+\Delta^{2} u_{tt}- \int_{0}^{+\infty}h(s)\Delta^{2} u(t-s) \,ds=\alpha u \ln{ \vert u \vert } \quad\text{in } \varOmega\times(0, \infty), $$

equipped with initial and boundary conditions

$$ \begin{gathered} u(x,t)=\frac{\partial u}{\partial n}(x,t)=0\quad \text{in } \partial \varOmega\times(0,\infty), \\ u(x,-t)=u_{0}(x,t),\qquad u_{t}(x,0)=u_{1}(x)\quad \text{in } \varOmega, \end{gathered} $$

where Ω is a bounded domain of \(\mathbb{R}^{2}\) with smooth boundary ∂Ω, n is the unit outer normal to ∂Ω, and ρ and α are positive constants. The relaxation function h satisfies the following general condition:

$$ h^{\prime}(t)\le-\xi(t) H\bigl(h(t)\bigr), $$

where the functions ξ and H satisfy some conditions specified later. To motivate our work, let us recall some results regarding problems with logarithmic nonlinearity.

1.1 Problems with logarithmic nonlinearity

The logarithmic nonlinearity has many applications in physics such as nuclear physics, optics, and geophysics [13]. For the problems with logarithmic nonlinearity, we start with the works of Birula and Mycielski [4] and [5], where they proved that the wave equations with logarithmic nonlinearity have stable and localized solutions. Cazenave and Haraux [6] considered the Cauchy problem

$$ u_{tt} -\Delta u= u \ln{ \vert u \vert }^{\alpha} $$

in \(\mathbb{R}^{3}\) and established the existence and uniqueness of the solution. The corresponding one-dimensional problem of (4) was studied by Gorka [1], who established the global existence of weak solutions, provided that \((u_{0},u_{1}) \in H^{1}_{0} \times L^{2}\). Bartkowski and Gorka [2] investigated weak solutions and also proved the existence of classical solutions. Hiramatsu et al. [3] considered the problem

$$ u_{tt} -\Delta u+u+u_{t}+ \vert u \vert ^{2} u=u \ln{ \vert u \vert } $$

and investigated numerical solutions of this problem without theoretical analysis. Recently, Al-Gharabli et al. [7] considered the problem

$$ \begin{aligned} u_{tt}+ \Delta^{2} u+u- \int_{0}^{t}h(t-s)\Delta^{2} u(s) \,ds=\alpha u \ln { \vert u \vert } \quad\text{in } \varOmega\times(0, \infty) \end{aligned} $$

and proved existence and decay results of the solutions under the following condition on the relaxation function:

$$ h^{\prime}(t)\le-\xi(t)h^{p}(t),\quad 1\le p < \frac{3}{2}. $$

Al-Gharabli et al. [8] considered the problem

$$\vert u_{t} \vert ^{\rho} u_{tt}+ \Delta^{2} u+\Delta^{2} u_{tt}- \int _{0}^{t}h(t-s)\Delta^{2} u(s) \,ds=\alpha u \ln{ \vert u \vert } \quad\text{in } \varOmega\times (0, \infty) $$

and as in [7] proved the existence and decay results for the solutions with imposing the same condition (7). Very recently, Al-Gharabli [9] considered the same problem (6) and established a general decay result for which the relaxation function h satisfies \(h^{\prime}(t)\le-\xi(t) H(h(t))\). For more results on some problems with logarithmic nonlinearity, we refer to the recent works [1014].

1.2 Problems with infinite memory

Giorgi et al. [15] considered the following semilinear hyperbolic equation with linear memory in a bounded domain \(\varOmega \subset\mathbb{R}^{3}\):

$$ u_{tt}- K(0)\Delta u - \int_{0}^{+\infty}K^{\prime}(s) \Delta u(t-s) \, ds+g(u)=f\quad \text{in } \varOmega\times \mathbb{R}_{+}, $$

with \(K(0), K(+\infty)>0\) and \(K^{\prime}\le0\) and proved the existence of global attractors for the solutions. Conti and Pata [16] considered the following semilinear hyperbolic equation:

$$ u_{tt}+\alpha u_{t}- K(0)\Delta u - \int_{0}^{+\infty}K^{\prime}(s) \Delta u(t-s) \,ds+g(u)=f \quad\text{in } \varOmega\times\mathbb{R}_{+}, $$

where the memory kernel is a convex decreasing smooth function such that \(K(0)>K(+\infty)>0\), and \(g:\mathbb{R_{+}}\rightarrow\mathbb{R_{+}}\) is a nonlinear term of at most cubic growth satisfying some conditions. They proved the existence of a regular global attractor. Appleby et al. [17] studied the linear integro-differential equation

$$ u_{tt}+Au(t)+ \int_{-\infty}^{t}K(t-s)Au(s)\,ds=0 \quad\text{for } t>0 $$

and established an exponential decay result for strong solutions in a Hilbert space. Pata [18] discussed the decay properties of the semigroup generated by the following equation:

$$ u_{tt}+\alpha Au(t)+\beta u_{t}(t)- \int_{0}^{+\infty}\mu(s)Au(t-s)\, ds=0\quad \text{for } t>0, $$

where A is a strictly positive self-adjoint linear operator, \(\alpha>0\), \(\beta\ge0\), and the memory kernel μ is a decreasing function satisfying specific conditions. Subsequently, they established necessary and sufficient conditions for the exponential stability. Guesmia [19] considered the equation

$$ u_{tt}+Au- \int_{0}^{+\infty}h(s)Bu(t-s)\,ds=0 \quad\text{for } t>0 $$

and introduced a new ingenuous approach for proving a more general decay result based on the properties of convex functions and the generalized Young inequality. He used a larger class of infinite history kernels satisfying the condition

$$ \int_{0}^{+\infty}\frac{h(s)}{H^{-1}(-h^{\prime}(s))}\,ds+\sup _{s\in \mathbb{R}_{+}}\frac{h(s)}{H^{-1}(-h^{\prime}(s))}< +\infty $$


$$ H(0)=H^{\prime}(0)=0 \quad\text{and}\quad \lim _{t\rightarrow +\infty}{H^{\prime}(t)}=+\infty, $$

where \(H:\mathbb{R}_{+}\to\mathbb{R}_{+}\) is an increasing strictly convex function. Using this approach, Guesmia and Messaoudi [20] later considered the equation

$$ u_{tt}-\Delta u + \int_{0}^{t}h_{1}(t-s) div \bigl(a_{1}(x) \nabla u(s)\bigr)\,ds + \int_{0}^{+\infty}h_{2}(s)div \bigl(a_{2}(x) \nabla u(t-s)\bigr)\,ds=0 $$

in a bounded domain under suitable conditions on \(a_{1}\) and \(a_{2}\) for a wide class of relaxation functions \(h_{1}\) and \(h_{2}\), which are not necessarily decaying polynomially or exponentially, and established a general decay result such that the usual exponential and polynomial decay rates are only particular cases. Messaoudi and Al-Gharabli [7] considered the nonlinear wave equation

$${ \vert u_{t} \vert }^{\rho}u_{tt}-\Delta u-\Delta u_{tt}+ \int _{0}^{+\infty}h(s)\Delta u(t-s)\,ds=0\quad \text{in } \varOmega\times (0,+\infty), $$

in which the relaxation function g satisfies

$$ h^{\prime}(t)\le-\xi(t) h(t),\quad t\ge0, $$

and they proved a general decay result on the solution energy using an approach different from that introduced by Guesmia [19]. Recently, Al-Mahdi and Al-Gharabli [21] considered the viscoelastic problem

$$ \begin{gathered} \textstyle\begin{cases} u_{tt}-\Delta u+\int_{0}^{+\infty}h(s)\Delta u(t-s)\,ds+{ \vert u_{t} \vert }^{m-2}u_{t}=0 \quad\text{in } \varOmega\times(0,+\infty), \\ u(x,t)=0 \quad\text{on } \partial\varOmega\times(0,+\infty), \\ u(x,-t)=u_{0}(x,t),\qquad u_{t}(x,0)=u_{1}(x) \quad\text{in } \varOmega\times (0,+\infty), \end{cases}\displaystyle \end{gathered} $$

established decay results in which the relaxation function h satisfies

$$ h^{\prime}(t)\le-\xi(t) h^{p}(t),\quad t\ge 0, 1 \leq p < \frac{3}{2}, $$

and obtained a better decay rate than that in [19] and [22]. For more results on problems with infinite memory and finite memory, we refer the reader to [2327]. Motivated by all these works, we intend to establish a three-fold objective:

  1. (a)

    To extend many earlier works for the wave equations such as those discussed in [1, 3, 7, 2830] to the plate equation with logarithmic nonlinearity.

  2. (b)

    To extend some general decay results, known for the case of finite history, to the case of infinite history where the relaxation function satisfies a wider class of relaxation functions instead of those considered in [7, 8, 12, 19, 21, 29, 31].

  3. (c)

    To drop the boundedness assumptions on the history data considered in many earlier results in [7, 19, 21].

We obtain our results by using the multiplier method with some logarithmic inequalities and some properties of integro-differential equations and inequalities. Our decay result is based on ξ, H, and α. This paper is organized as follows. In Sect. 2, we present some notations, assumptions, and a local and global existence result of our problem. In Sect. 3, we establish some lemmas needed in the proof of our result. Stability results with an example are presented in Sect. 4. Some conclusions are given in Sect. 5.

2 Preliminaries

In this section, we introduce our assumptions and give some useful lemmas. We use c to denote a positive generic constant.


\(h: \mathbb{R}_{+}\to\mathbb{R}_{+}\) is a \(C^{1}\) nonincreasing function satisfying, for some \(\beta_{0} > 0\),

$$ -\beta_{0} h(s) \leq h'(s),\qquad h(t) > 0\quad\text{and}\quad 1- \int_{0}^{+\infty }h(s)\,ds:={\ell} > 0, $$

\(H:(0,\infty)\to(0,\infty)\) is a function in \(C^{1}(\mathbb{R}_{+}) \cap C^{2}(\mathbb{R}_{+}^{*})\) that is increasing and strictly convex, with \(H(0)=H^{\prime}(0)=0\) and \(\lim_{s\rightarrow+ \infty} H^{\prime}(s)=+\infty\), \(s\mapsto s H^{\prime}(s) \) and \(s \mapsto s (H^{\prime} )^{-1}(s)\) are convex on \((0,r]\), and there exists a nonincreasing function \(\xi:\mathbb{R}_{+}\to\mathbb{R}_{+}\) such that

$$ h^{\prime}(t)\le-\xi(t) H\bigl(h(t)\bigr),\quad t\ge0. $$

The constant α in (1) is such that \(0<\alpha<\alpha_{0}=\frac{2\pi\ell e^{3} }{c_{p}}\), where \(c_{p}\) is the smallest positive number satisfying \(\| \nabla u\|^{2}_{2} \le c_{p} \| \Delta u\|^{2}_{2}\) for \(u \in H_{0}^{2}(\varOmega)\), where \(\|\cdot\|_{2} =\|\cdot\|_{L^{2}(\varOmega)}\).

Remark 2.1

Assumption \((A3)\) is needed for establishing the local existence of the solutions of problem (1). For more details, we refer to [8].

Remark 2.2

If H is a strictly increasing and strictly convex \(C^{2}\) function on \((0, r]\) with \(H(0) = H'(0) = 0\), then it has an extension that is strictly increasing and strictly convex \(C^{2}\) function on \((0,+\infty)\). For instance, if \(H(r) = a\), \(H'(r) = b\), and \(H''(r) = C\), we can define for \(t > r\) by

$$ \overline{H}(t)=\frac{C}{2} t^{2}+ (b-Cr)t+ \biggl(a+\frac{C}{2} {r}^{2}-b r \biggr). $$

For simplicity, in the rest of this paper, we use H instead of .

Remark 2.3

Since H is strictly convex on \((0,r]\) and \(H(0)=0\), then

$$ H(\theta t)\le\theta H(t),\quad 0\le\theta\le 1\text{ and }t\in(0,r]. $$

Remark 2.4

The function \(g(s)=\sqrt{\frac{2\pi\ell}{c_{p} s}}-e^{-\frac{3}{2}}\) is a continuous decreasing function on \((0,\infty)\) with

$$ \lim_{s\to0^{+}}g(s)=\infty \quad\mbox{and}\quad \lim_{x\to \infty}g(x)=-e^{-\frac{3}{2}}. $$

Then there exists a unique \(\alpha_{0} >0\) such that \(g(\alpha_{0})=0\). Moreover,

$$ e^{-\frac{3}{2}}< \sqrt{\frac{2\pi\ell}{c_{p} s}} ,\quad s\in(0, \alpha_{0} ), $$

which implies that the selection of α in \((A3)\) is possible.

The modified energy functional associated with problem (1)–(2) is given by

$$ \begin{aligned}[b]E(t)={}&\frac{1}{\rho+2} \Vert u_{t} \Vert _{\rho+2}^{\rho+2}+ \frac{\ell}{2} \Vert \Delta u \Vert _{2}^{2}+ \frac{1}{2} \Vert \Delta u_{t} \Vert _{2}^{2}-\frac{\alpha}{2} \int _{\varOmega}u^{2}\ln{ \vert u \vert }\,dx \\ & +\frac{\alpha}{4} \Vert u \Vert _{2}^{2}+ \frac{1}{2}(h \circ\Delta u), \end{aligned} $$


$$(h \circ\Delta u) (t)= \int_{0}^{+ \infty}h(s) \bigl\Vert \Delta u(s) - \Delta u(t-s) \bigr\Vert _{2}^{2} \,ds. $$

Direct differentiation of (23) using (1)–(2) leads to

$$ E^{\prime}(t)=\frac{1}{2}\bigl(h^{\prime}\circ\Delta u\bigr) (t)\le0. $$

Lemma 2.1

([32, 33] (Logarithmic Sobolev inequality))

Letube any function in\(H^{1}_{0}(\varOmega)\), and letabe any positive real number. Then

$$ \int_{\varOmega}u^{2} \ln{ \vert u \vert }\,dx \le \frac{1}{2}{ \Vert u \Vert }^{2}_{2}\ln{ \Vert u \Vert }^{2}_{2}+\frac{a^{2}}{2\pi}{ \Vert \nabla u \Vert }^{2}_{2} -(1+\ln{a}){ \Vert u \Vert }^{2}_{2}. $$

Corollary 2.1

Letube any function in\(H^{2}_{0}(\varOmega)\), and letabe any positive real number. Then

$$ \int_{\varOmega}u^{2} \ln{ \vert u \vert }\,dx \le \frac{1}{2}{ \Vert u \Vert }^{2}_{2}\ln{ \Vert u \Vert }^{2}_{2}+\frac{ c_{p} a^{2}}{2\pi}{ \Vert \Delta u \Vert }^{2}_{2} -(1+\ln{a}){ \Vert u \Vert }^{2}_{2} . $$

Lemma 2.2

Let\(\varepsilon_{0} \in(0,1)\). Then there exists\(d_{\varepsilon_{0}}>0\)such that

$$ s \vert \ln{s} \vert \le s^{2} +d_{ \varepsilon_{0}} s^{1- \varepsilon_{0}}, \quad s > 0. $$


Let \(f(s)=s^{ \varepsilon_{0}} (\vert\ln{s}\vert-s )\). Note that f is continuous on \((0,\infty)\), its limit at 0+ is 0+, and its limit at ∞ is −∞. Then f has a maximum \(d_{ \varepsilon_{0}}\) on \((0,\infty)\), so (27) holds. □

2.1 Existence results

In this subsection, we state without proof a local existence result of our problem (1)–(2).

Theorem 2.1

Let\((u_{0},u_{1}) \in H^{2}_{0}(\varOmega) \times H^{2}_{0}(\varOmega)\). Assume that\((A1)\)\((A3)\)hold and

$$ e^{-\frac{3}{2}} < a < \sqrt{\frac{2\pi\ell}{\alpha c_{p}}}. $$

Then problem (1)(2) has a weak solution on\([0,T]\).

The proof of Theorem 2.1 can be obtained by following the same arguments as in [8] and adapting the finite history to the infinite case. For the global existence, we have the following:

Theorem 2.2

Assume that\((A1)\)\((A3)\)hold. Let\((u_{0},u_{1})\in H^{2}_{0}(\varOmega)\times H^{2}_{0}(\varOmega)\)be such that

$$ I(0)>0 \quad\textit{and}\quad\sqrt{54}\alpha c^{3}_{*} \biggl(\frac{E(0)}{\ell} \biggr)^{\frac{1}{2}} < \ell, $$

where\(c^{3}_{*}\)is a positive embedding constant. Then we have:

  1. (i)
    $$ I(t)>0,\quad t\in[0,T). $$
  2. (ii)

    Problem (1)(2) has a global weak solution,


$$ I(t):=\ell \Vert \Delta u \Vert _{2}^{2}+ \Vert \Delta u_{t} \Vert _{2}^{2}+(h \circ \Delta u) (t)-3\alpha \int_{\varOmega}u^{2}\ln{ \vert u \vert }\,dx $$


$$ \begin{aligned} &J(t):=\frac{1}{3} \bigl[ \ell \Vert \Delta u \Vert _{2}^{2}+ \Vert \Delta u_{t} \Vert _{2}^{2}+g\circ\Delta u \bigr]+ \frac{k}{4} \Vert u \Vert _{2}^{2}+ \frac{1}{6}I(t). \end{aligned} $$

The proof of Theorem 2.2 can be obtained by following the same arguments as in [8] by adapting the finite memory to infinite memory.

3 Technical lemmas

In this section, we start by establishing several lemmas needed for the proof of our main result.

Lemma 3.1

There exists a positive constant\(M_{1}\)such that

$$ \begin{aligned} \int_{t}^{\infty}h(s) \bigl(\triangle u(t)-\triangle u(t-s) \bigr)^{2} \,ds \,dx \leq M_{1} h_{1}(t), \end{aligned} $$

where\(h_{1}(t):=\int_{0}^{+\infty} h(t+s) (1+\Vert\triangle u_{0}(s)\Vert^{2} ) \,ds\).


The proof is based on some arguments in [30]. In fact, we have

$$ \begin{aligned}[b] & \int_{t}^{+\infty} h(s) \bigl\Vert \triangle u(t)- \triangle u(t-s) \bigr\Vert ^{2} \,ds \\ &\quad\leq2 \bigl\Vert \triangle u(t) \bigr\Vert ^{2} \int_{t}^{+\infty}h(s) \,ds +2 \int_{t}^{+\infty}h(s) \bigl\Vert \triangle u(t-s) \bigr\Vert ^{2} \,ds \\ &\quad\leq2 \sup_{s\geq0} \bigl\Vert \triangle u(s) \bigr\Vert ^{2} \int_{0}^{+\infty}h(t+s) \,ds +2 \int_{0}^{+\infty}g(t+s) \bigl\Vert \triangle u(-s) \bigr\Vert ^{2} \,ds \\ &\quad\leq \biggl(\frac{4}{\ell}E(s) \biggr) \int_{0}^{\infty} h(t+s) \,ds +2 \int_{0}^{\infty}h(t+s) \bigl\Vert \triangle u_{0}(s) \bigr\Vert ^{2} \,ds \\ &\quad\leq \biggl(\frac{4}{\ell} E(0) \biggr) \int_{0}^{+\infty} h(t+s) \,ds +2 \int_{0}^{+\infty}h(t+s) \bigl\Vert \triangle u_{0}(s) \bigr\Vert ^{2} \, ds \\ &\quad\leq M_{1} \int_{0}^{+\infty}h(t+s) \bigl(1+ \bigl\Vert \triangle u_{0}(s) \bigr\Vert ^{2} \bigr) \,ds, \end{aligned} $$

where \(M_{1} =\max \{2, \frac{4E(0)}{\ell} \}\). □

Lemma 3.2

Assume thathsatisfies\((A1)\). Then, for\(u\in H^{2}_{0}(\varOmega)\),

$$\begin{gathered} \int_{\varOmega} \biggl( \int_{0}^{+ \infty}h(s) \bigl(u(t)-u(t-s)\bigr)\,ds \biggr)^{2}\,dx\le c(h \circ\Delta u) (t), \\ \int_{\varOmega} \biggl( \int_{0}^{+\infty} h^{\prime}(s) \bigl(u(t)-u(t-s)\bigr)\,ds \biggr)^{2}\,dx\le-c\bigl(h^{\prime} \circ \Delta u\bigr) (t).\end{gathered} $$


The proof can be easily obtained by applying the Cauchy–Schwarz and Poincaré inequalities. □

Lemma 3.3

Assume that\((A1)\)\((A3)\)and (29) hold. Then the functionals

$$\begin{gathered} \psi(t):=\frac{1}{\rho+1} \int_{\varOmega}{ \vert u_{t} \vert }^{\rho}u_{t}u\,dx+ \int_{\varOmega}\Delta u\Delta u_{t}\,dx, \\ \chi(t):=- \int_{\varOmega} \biggl(\Delta^{2} u_{t}+ \frac{1}{\rho+1}{ \vert u_{t} \vert }^{\rho}u_{t} \biggr) \int_{0}^{+\infty}h(s) \bigl(u(t)-u(t-s)\bigr)\,ds\,dx,\end{gathered} $$

satisfy, along the solutions of (1)(2), the following estimates for any\(\delta,\delta_{1},\delta_{2}>0\)and\(\varepsilon_{0} \in (0,1)\):

$$\begin{aligned}& \begin{aligned}[b]\psi^{\prime}(t)&\le- \frac{\ell}{2} \int_{\varOmega}{ \vert \Delta u \vert }^{2}\,dx+ \int_{\varOmega}{ \vert \Delta u_{t} \vert }^{2}\,dx +\frac{1}{\rho+1} \int_{\varOmega}{ \vert u_{t} \vert }^{\rho+2}\,dx+c(h \circ\Delta u) (t) \\ &\quad +\alpha \int_{\varOmega}u^{2} \ln{ \vert u \vert }\,dx, \end{aligned} \end{aligned}$$
$$\begin{aligned}& \begin{aligned}[b]\chi^{\prime}(t)&\le \biggl[ \bigl(1+2(1-\ell)^{2}\bigr)\delta_{1}+ \frac{\delta}{4} \biggr] \int_{\varOmega }{ \vert \Delta u \vert }^{2}\,dx- \frac{(1-\ell)}{\rho+1} \int_{\varOmega}{ \vert u_{t} \vert }^{\rho+2}\,dx \\ &\quad +c \biggl(\delta_{1}+\frac{1}{\delta_{1}}+\frac{1}{\delta} \biggr) (h \circ\Delta u) (t)-\frac{c}{\delta_{2}}\bigl(h^{\prime}\circ\nabla u\bigr) (t) \\ &\quad + \bigl[\delta_{2}+c\delta_{2} \bigl(E(0) \bigr)^{\rho}-(1-\ell) \bigr] \int_{\varOmega}{ \vert \Delta u_{t} \vert }^{2}\,dx+c_{ \varepsilon_{0} ,\delta}(h \circ\Delta u)^{\frac{1}{1+ \varepsilon_{0}}}(t). \end{aligned} \end{aligned}$$


The proof of Lemma 3.3 is similar to that in [8] with some adjustments according to the infinite memory case. □

Lemma 3.4

Assume that\((A1)\)\((A3)\)and (29) hold and let\(\varepsilon_{0} \in(0,1)\). Assume that

$$ 0< E(0)< \frac{e\ell\pi}{4 c_{p}} . $$

Then, forαsmall enough, there exist positive constantsεandNsuch that the functional

$$L:=NE+\varepsilon\psi+\chi $$


$$ L\sim E, $$

and, for any\(t\geq0\), there exists a positive constantmsuch that

$$ L^{\prime}(t)\le-m E(t)+c(h \circ\Delta u) (t)+c_{ \varepsilon_{0}}(h \circ\Delta u)^{\frac{1}{1+ \varepsilon_{0}}}(t). $$


For the proof of (38), we refer to [8]. To prove (39), we let \(\int_{0}^{+\infty}h(s)\,ds=: h_{0}\) and using (24), (35), and (36), for \(t \ge0\), we have

$$ \begin{aligned}[b]L^{\prime}(t)&\le \biggl( \frac{N}{2}-\frac{c}{\delta_{2}} \biggr) \bigl(h^{\prime}\circ\Delta u\bigr) (t)-\frac{h_{0} -\varepsilon}{\rho+1} \int _{\varOmega}{ \vert u_{t} \vert }^{\rho+2}\,dx \\ &\quad - \biggl[\varepsilon\frac{\ell}{2}-\bigl(1+2(1-\ell)^{2} \bigr)\delta_{1}-\frac {\delta}{4} \biggr]{ \Vert \Delta u \Vert }_{2}^{2} \\ & \quad- \bigl[h_{0}-\varepsilon-\delta_{2}-c \delta_{2}\bigl(E(0)\bigr)^{\rho} \bigr]{ \Vert \Delta u_{t} \Vert }_{2}^{2} \\ & \quad+c \biggl(\varepsilon+\delta_{1}+\frac{1}{\delta_{1}}+ \frac{1}{\delta } \biggr) (h \circ\Delta u) (t) \\ &\quad +c_{ \varepsilon_{0} ,\delta}(h \circ\Delta u)^{\frac{1}{1+ \varepsilon_{0}}}(t)+\varepsilon \alpha \int_{\varOmega}u^{2} \ln{ \vert u \vert }\,dx. \end{aligned} $$

Using the definition of \(E(t)\), we obtain, for any \(m>0\),

$$ \begin{aligned}[b] L^{\prime}(t)&\le-mE(t)+ \biggl(\frac{N}{2}-\frac{c}{\delta_{2}} \biggr) \bigl(h^{\prime}\circ \Delta u\bigr) (t)- \biggl(\frac{h_{0} -\varepsilon}{\rho+1}-\frac {m}{\rho+2} \biggr) \int_{\varOmega}{ \vert u_{t} \vert }^{\rho+2}\,dx \\ &\quad - \biggl[\varepsilon\frac{\ell}{2}-\bigl(1+2(1-\ell)^{2} \bigr)\delta_{1}-\frac {\delta}{4}-\frac{m(1-h_{0})}{2} \biggr]{ \Vert \Delta u \Vert }_{2}^{2} \\ & \quad- \biggl[h_{0}-\varepsilon-\delta_{2}-c \delta_{2}\bigl(E(0)\bigr)^{\rho}-\frac {m}{2} \biggr]{ \Vert \Delta u_{t} \Vert }_{2}^{2} \\ &\quad + \biggl[c \biggl(\varepsilon+\delta_{1}+\frac{1}{\delta_{1}}+ \frac {1}{\delta} \biggr)+\frac{m}{2} \biggr](h \circ\Delta u) (t) \\ &\quad +c_{ \varepsilon_{0} ,\delta}(h \circ\Delta u)^{\frac{1}{1+ \varepsilon _{0}}}(t)+\frac{m \alpha}{4} \Vert u \Vert _{2}^{2} \\ &\quad + \biggl(\varepsilon-\frac{m}{2} \biggr) \alpha \int_{\varOmega}u^{2} \ln{ \vert u \vert }\,dx. \end{aligned} $$

Using the logarithmic Sobolev inequality (26), we get, for \(0< m<2 \varepsilon\),

$$ \begin{aligned}[b] L^{\prime}(t)&\le-mE(t)+ \biggl[\frac{N}{2}-\frac{c}{\delta_{2}} \biggr]\bigl(h^{\prime}\circ \Delta u\bigr) (t)- \biggl(\frac{h_{0} -\varepsilon}{\rho+1}-\frac {m}{\rho+2} \biggr) \int_{\varOmega}{ \vert u_{t} \vert }^{\rho+2}\,dx \\ &\quad - \biggl[\varepsilon\frac{\ell}{2}-\bigl(1+2(1-\ell)^{2} \bigr)\delta_{1}-\frac {\delta}{4}-\frac{m(1-h_{0})}{2}- \biggl( \varepsilon-\frac{m}{2} \biggr)\frac{ \alpha c_{p} a^{2}}{2\pi} \biggr] \Vert \Delta u \Vert _{2}^{2} \\ &\quad - \biggl(h_{0}-\varepsilon-\delta_{2}-c \delta_{2}\bigl(E(0)\bigr)^{\rho}-\frac {m}{2} \biggr) \Vert \Delta u_{t} \Vert _{2}^{2} \\ &\quad + \biggl[c \biggl(\varepsilon+\delta_{1}+\frac{1}{\delta_{1}}+ \frac {1}{\delta} \biggr)+\frac{m}{2} \biggr](h \circ\Delta u) (t)+c_{ \varepsilon_{0} ,\delta}(h \circ\Delta u)^{\frac{1}{1+ \varepsilon _{0}}}(t) \\ & \quad- \biggl(\varepsilon-\frac{m}{2} \biggr)\frac{\alpha}{2} \bigl( 2(1+\ln{a})-\ln{ \Vert u \Vert }^{2}_{2} \bigr){ \Vert u \Vert }^{2}_{2}+\frac{m \alpha}{4} \Vert u \Vert _{2}^{2} . \end{aligned} $$

At this point, we carefully choose our constant. First, we pick \(0<\varepsilon< h_{0}\). Then for \(\delta_{1}\), \(\delta_{2}\), and δ small enough, we have

$$k_{1} :=\varepsilon\frac{\ell}{2}-\bigl(1+2(1- \ell)^{2}\bigr)\delta_{1}-\frac{\delta}{4}>0 $$


$$k_{2} :=h_{0}-\varepsilon-\delta_{2}-c \delta_{2}\bigl(E(0)\bigr)^{\rho}>0. $$

Then, for N sufficiently large,

$$N>c(1+\varepsilon)\quad\mbox{and}\quad\frac{N}{2}- \frac{c}{\delta_{2}}\ge 0. $$

Consequently, we get

$$ \begin{aligned}[b] L^{\prime}(t)&\le-mE(t)- \biggl( \frac{h_{0}-\varepsilon}{\rho+1}-\frac {m}{\rho+2} \biggr) \int_{\varOmega}{ \vert u_{t} \vert }^{\rho+2}\,dx \\ & \quad- \biggl[k_{1}-\frac{m(1-h_{0})}{2}- \biggl(\varepsilon- \frac{m}{2} \biggr)\frac{ \alpha c_{p} a^{2}}{2\pi} \biggr] \Vert \Delta u \Vert _{2}^{2} \\ &\quad - \biggl(k_{2}-\frac{m}{2} \biggr) \Vert \Delta u_{t} \Vert _{2}^{2}+ \biggl(c+ \frac {m}{2} \biggr) (h \circ\Delta u) (t) \\ &\quad +c_{ \varepsilon_{0}}(h \circ\Delta u)^{\frac{1}{1+ \varepsilon _{0}}}(t)+\frac{m \alpha}{4} \Vert u \Vert _{2}^{2} \\ & \quad- \biggl(\varepsilon-\frac{m}{2} \biggr)\frac{\alpha}{2} \bigl( 2(1+\ln{a})-\ln{ \Vert u \Vert }^{2}_{2} \bigr){ \Vert u \Vert }^{2}_{2}. \end{aligned} $$

Finally, we choose m and α small enough so that \(m \le \varepsilon\) (so \(\frac{m \alpha}{4}\le (\varepsilon-\frac{m}{2} )\frac{\alpha}{2}\)),

$$\begin{gathered} \frac{h_{0}-\varepsilon}{\rho+1}-\frac{m}{\rho+2}>0, \\ k_{1}-\frac{m(1-h_{0})}{2}- \biggl(\varepsilon- \frac{m}{2} \biggr)\frac{ \alpha c_{p} a^{2}}{2\pi}>0,\end{gathered} $$


$$k_{2}-\frac{m}{2}>0, $$

and we get

$$ \begin{aligned}[b]L^{\prime}(t)&\le-mE(t)+c(h \circ\Delta u) (t)+c_{\varepsilon_{0}}(h \circ\Delta u)^{\frac{1}{1+\varepsilon_{0}}}(t) \\ &\quad - \biggl(\varepsilon-\frac{m}{2} \biggr)\frac{\alpha}{2} \bigl(1+2\ln {a}-\ln{ \Vert u \Vert _{2}^{2}} \bigr) \Vert u \Vert _{2}^{2}. \end{aligned} $$

Using (23), (24), (30), (31), (32), and (37), we have

$$ \begin{aligned} \ln{ \Vert u \Vert _{2}^{2}}\leq\ln{ \biggl(\frac{4}{\alpha}J(t) \biggr)}\leq\ln{ \biggl(\frac {4}{\alpha}E(t) \biggr)}\leq\ln{ \biggl( \frac{4}{\alpha}E(0) \biggr)}\leq \ln{ \biggl(\frac{e\ell\pi}{\alpha c_{p}} \biggr)}. \end{aligned} $$

By choosing a satisfying

$$ \max \biggl\{ e^{-\frac{3}{2}} , \sqrt{\frac{\ell\pi}{\alpha c_{p}}} \biggr\} < a < \sqrt{\frac{2\ell\pi}{\alpha c_{p}}} $$

we achieve that (28) is satisfied. This selection gives a guarantee that

$$1+2\ln{a}-\ln{ \Vert u \Vert }^{2}_{2} \geq0, $$

which completes the proof of (39). □

Remark 3.1

Recalling (23), (24), (30), and (32), we have

$$E(0)\ge E(t)=J(t)+\frac{1}{\rho+2} \Vert u_{t} \Vert ^{\rho+2}_{\rho+2}\ge J(t)\ge\frac{1}{3} (h \circ\Delta u) (t), $$

which gives

$$ (h \circ\Delta u) (t) \le3 E(0). $$

Using (47), for any \(\varepsilon_{0} \in(0,1)\), we obtain that

$$ \begin{aligned}[b](h \circ\Delta u) (t)&=(h \circ \Delta u)^{\frac{ \varepsilon_{0}}{1+ \varepsilon_{0}}}(t) (h \circ\Delta u)^{\frac{1}{1+ \varepsilon_{0}}}(t) \\ & \le c (h\circ\Delta u)^{\frac{1}{1+ \varepsilon_{0}}}(t). \end{aligned} $$

Lemma 3.5

If\((A1)\)\((A2)\)are satisfied, then we have, for all\(t > 0\), the estimate

$$ \int_{0}^{t}h(s) \bigl\Vert \Delta u(t)- \Delta u(t-s) \bigr\Vert _{2}^{2}\,ds\le \frac{t+1}{q_{0}} H^{-1} \biggl(\frac{q_{0}\mu(t+1)}{t\xi(t)} \biggr), $$

where\(q_{0} > 0\)is small enough, His defined in Remark2.2, and

$$ \mu(t):=- \int_{0}^{t}h'(s) \bigl\Vert \Delta u(t)-\Delta u(t-s) \bigr\Vert _{2}^{2}\,ds\le-c E^{\prime}(t). $$


To establish (49), we introduce the functional

$$ \lambda(t):=\frac{q_{0}}{t+1} \int_{0}^{t} \bigl\Vert \Delta u(t)-\Delta u(t-s) \bigr\Vert _{2}^{2}\,ds. $$

Then since E is nonincreasing, by (23) we get

$$ \begin{aligned}[b]\lambda(t)&\leq\frac{2q_{0}}{t+1} \biggl( \int_{0}^{t} \bigl\Vert \Delta u(t) \bigr\Vert _{2}^{2}+ \int_{0}^{t} \bigl\Vert \Delta u(t-s) \bigr\Vert _{2}^{2}\,ds \biggr) \\ & \le\frac{4q_{0}}{\ell(t+1)} \biggl( \int_{0}^{t} \bigl(E(t)+E(t-s) \bigr)\, ds \biggr) \\ & \le\frac{8q_{0}}{\ell(t+1)} \int_{0}^{t} E(s) \,ds \\ & \le\frac{8q_{0}}{\ell(t+1)} \int_{0}^{t} E(0) \,ds \\ & < + \infty. \end{aligned} $$

Thus \(q_{0}\) can be chosen so small so that, for all \(t > 0\),

$$ \lambda(t)< 1. $$

Without loss of generality, for all \(t > 0\), we assume that \(\lambda(t)> 0\); otherwise, we get an exponential decay from (39). Using Jensen’s inequality, (2.3), (50), and (53) gives

$$ \begin{aligned}[b]\mu(t)&=\frac{1}{q_{0}\lambda(t)} \int_{0}^{t}\lambda(t) \bigl(-h'(s) \bigr) \int _{\varOmega}{q_{0} \bigl\vert \Delta u(t)-\Delta u(t-s) \bigr\vert }^{2}\,dx\,ds \\ & \ge\frac{1}{q_{0}\lambda(t)} \int_{0}^{t}\lambda(t)\xi(s) H\bigl(h(s)\bigr) \int _{\varOmega}{q_{0} \bigl\vert \Delta u(t)-\Delta u(t-s) \bigr\vert }^{2}\,dx\,ds \\ & \ge\frac{\xi(t)}{q_{0}\lambda(t)} \int_{0}^{t}H\bigl(\lambda(t)h(s)\bigr) \int _{\varOmega}{q_{0} \bigl\vert \Delta u(t)-\Delta u(t-s) \bigr\vert }^{2}\,dx\,ds \\ & \ge\frac{(t+1)\xi(t)}{q_{0}}H \biggl(\frac{q_{0}}{(t+1)} \int _{0}^{t}h(s) \int_{\varOmega}{ \bigl\vert \Delta u(t)-\Delta u(t-s) \bigr\vert }^{2}\,dx\,ds \biggr) \\ & =\frac{(t+1) \xi(t)}{q_{0}}H \biggl(\frac{q_{0}}{(t+1)} \int_{0}^{t}h(s) \int_{\varOmega}{ \bigl\vert \Delta u(t)-\Delta u(t-s) \bigr\vert }^{2}\,dx\,ds \biggr), \end{aligned} $$

and hence (49) is established. □

4 Decay result

In this section, we state and prove our main result and provide an example to illustrate our decay results. Let us start introducing some functions and then establishing several lemmas needed for the proof of our main result. As in [30], we introduce the following functions:

$$\begin{aligned}& G_{1}(t):= \int_{t}^{1}\frac{1}{s G^{\prime}(s)}\,ds, \end{aligned}$$
$$\begin{aligned}& G_{2}(t)=t G^{\prime}(t),\qquad G_{3}(t)=t \bigl(G'\bigr)^{-1}(t), \qquad G_{4}(t)=G_{3}^{*}(t), \end{aligned}$$

where \(G^{-1}(t)= (H^{-1} (t) )^{\frac{1}{1+ \varepsilon_{0}}}\) and \(\varepsilon_{0} \in(0,1)\). Further, we introduce the class S of functions \(\chi: \mathbb{R}_{+} \rightarrow\mathbb{R}_{+}^{*}\) satisfying, for fixed \(c_{1}, c_{2} > 0\) (should be selected carefully in (76)),

$$ \chi\in C^{1}(\mathbb{R}_{+}),\quad \chi\leq1, \chi' \leq0, $$


$$ c_{2} G_{4} \biggl[ \frac{c}{d} q(t) h_{0}(t) \biggr]\leq c_{1} \biggl( G_{2} \biggl(\frac{G_{5}(s)}{\chi(s)} \biggr)- \frac{G_{2} (G_{5}(t) )}{\chi (t)} \biggr), $$

where \(d >0\), c is a generic positive constant that may change from line to line, \(h_{2}\) and q will be defined later in the proof of our main result, and

$$ G_{5}(t)=G_{1}^{-1} \biggl(c_{1} \int_{0}^{t} \xi(s)\,ds \biggr). $$

Remark 4.1

According to the properties of H introduced in \((A2)\) and the definition of G, we can see that \(G' > 0\) and \(G''> 0 \) on \((0,r]\), \(G_{2}\) is convex increasing and defines a bijection from \(\mathbb{R}_{+}\) to \(\mathbb{R}_{+}\), \(G_{1}\) is decreasing and defines a bijection from \((0,1]\) to \(\mathbb{R}_{+}\), and \(G_{3}\) and \(G_{4}\) are convex increasing functions on \((0,r]\). Then the set S is not empty because it contains \(\chi(s)=\varepsilon G_{5}(s)\) with \(0 <\varepsilon\leq1\) small enough. Indeed, (57) is satisfied (since (55) and (59)).

Theorem 4.1

Assume that\((A1)\)\((A3)\)and (29) hold. Then for anyχsatisfying (57) and (58) and for any\(\varepsilon_{0} \in(0,1)\), there exists a strictly positive constantCsuch that the solution of (1)(2) satisfies, for all\(t \geq0\),

$$ E(t)\leq\frac{C G_{5}(t)}{\chi(t)q(t)}, $$

where\(G_{5}\)andχare defined in (55) and (57), respectively, andqwill be defined later in the proof.


Using (39), (48), and (49), for some positive constant m, \(\varepsilon_{0} \in(0,1)\), and any \(t \geq0\), we get

$$ \begin{aligned} L^{\prime}(t)&\le-m E(t)+c \biggl(\frac{t+1}{q_{0}} \biggr)^{\frac{1}{1+\varepsilon_{0}}} \biggl(H^{-1} \biggl(\frac{q_{0}\mu(t)}{(t+1)\xi(t)} \biggr) \biggr)^{\frac {1}{1+\varepsilon_{0}}}(t)+c h_{1}^{\frac{1}{1+\varepsilon_{0}}}(t). \end{aligned} $$

Combining the strict increasing of H and the inequality \(\frac{1}{t+1} < 1\) for \(t > 0\), we obtain

$$ H^{-1} \biggl(\frac{q_{0}\mu(t)}{(t+1)\xi(t)} \biggr)\le H^{-1} \biggl(\frac{q_{0}\mu(t)}{(t+1)^{\frac{1}{1+\varepsilon_{0}}}\xi (t)} \biggr), $$

and, then (61) becomes, for any \(t\geq0\) and \(\varepsilon_{0} \in(0,1)\),

$$ \begin{aligned} &L^{\prime}(t)\le-m E(t)+c_{\varepsilon_{0}}\frac{(t+1)^{\frac{1}{1+\varepsilon_{0}}}}{q_{0}} \biggl(H^{-1} \biggl( \frac{q_{0}\mu(t)}{(t+1)^{\frac{1}{1+\varepsilon_{0}}}\xi (t)} \biggr) \biggr)^{\frac{1}{1+\varepsilon_{0}}}(t)+c h_{1}^{\frac{1}{1+\varepsilon_{0}}}(t). \end{aligned} $$

For simplicity, we let \(q(t):= q_{0} (t+1 )^{\frac{-1}{1+\varepsilon_{0}}} \) and \(h_{2}(t):=c h_{1}^{\frac{1}{1+\varepsilon_{0}}}(t)\). Then (63) becomes

$$ \begin{aligned} &L^{\prime}(t)\le-m E(t)+ \frac{c_{\varepsilon_{0}}}{\gamma(t)} \biggl( H^{-1} \biggl(\frac{q(t)\mu (t)}{\xi(t)} \biggr) \biggr)^{\frac{1}{1+\varepsilon_{0}}}(t)+c h_{2}(t). \end{aligned} $$

Further, letting \(G^{-1}(t)= (H^{-1}(t) )^{\frac{1}{1+\varepsilon_{0}}}\) we reduce (64) to

$$ \begin{aligned} &L^{\prime}(t)\le-m E(t)+ \frac{c_{\varepsilon_{0}}}{\gamma(t)}G^{-1} \biggl(\frac{q(t)\mu (t)}{\xi(t)} \biggr)+c h_{2}(t),\quad t \geq0. \end{aligned} $$

For \(\varepsilon_{1} < r \), let the functional \(\mathcal{F}\) be defined by

$$\mathcal{F}(t):=G^{\prime} \biggl(\varepsilon_{1} \frac {E(t)q(t)}{E(0)} \biggr)L(t), $$

which satisfies \(\mathcal{F} \sim E\). Noting that \(G^{\prime\prime}\geq0\), \(q'\leq0\), and \(E'\leq0\), we get

$$ \begin{aligned}[b]\mathcal{F}^{\prime}(t)&= \varepsilon_{1}\frac{(qE)^{\prime }(t)}{E(0)}G^{\prime\prime} \biggl( \varepsilon_{1}\frac {E(t)q(t)}{E(0)} \biggr)L(t)+G^{\prime} \biggl(\varepsilon_{1}\frac {E(t)q(t)}{E(0)} \biggr)L^{\prime}(t) \\ & \le-m E(t)G^{\prime} \biggl(\varepsilon_{1} \frac{E(t)q(t)}{E(0)} \biggr)+\frac{c}{q(t)} G^{\prime} \biggl( \varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr)G^{-1} \biggl(\frac{q(t) \mu(t)}{\xi(t)} \biggr) \\ & \quad+c h_{2}(t) G^{\prime} \biggl(\varepsilon_{1} \frac{E(t)q(t)}{E(0)} \biggr). \end{aligned} $$

Let \(G^{*}\) be the convex conjugate of G in the sense of Young (see [34]). Then

$$ G^{*}(s)=s\bigl(G^{\prime} \bigr)^{-1}(s)-G \bigl[\bigl(G^{\prime}\bigr)^{-1}(s) \bigr] \quad\text{for } s\in \bigl(0,G^{\prime}(r)\bigr], $$

and \(G^{*}\) satisfies the generalized Young inequality

$$ A B\le G^{*}(A)+G(B)\quad \text{if } A\in \bigl(0,G^{\prime}(r)\bigr], B\in(0,r]. $$

So, with \(A=G^{\prime} (\varepsilon_{1}\frac{E(t)q(t)}{E(0)} )\) and \(B=G^{-1} (\frac{q(t) \mu(t)}{\xi(t)} )\), using (24) and (66)–(68), we arrive at

$$ \begin{aligned}[b]\mathcal{F}^{\prime}(t)&\le-m E(t)G^{\prime} \biggl(\varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr)+\frac{c}{q(t)} G^{*} \biggl(G^{\prime} \biggl( \varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr) \biggr)+c \biggl( \frac{ \mu(t)q(t)}{\xi(t)} \biggr) \\ & \quad+c h_{2}(t) G^{\prime} \biggl(\varepsilon_{1} \frac{E(t)q(t)}{E(0)} \biggr) \\ & \le -m E(t)G^{\prime} \biggl(\varepsilon_{1} \frac{E(t)q(t)}{E(0)} \biggr)+c\varepsilon_{1}\frac{E(t)}{E(0)}G^{\prime} \biggl(\varepsilon_{1}\frac {E(t)q(t)}{E(0)} \biggr)+c \biggl( \frac{ \mu(t)q(t)}{\xi(t)} \biggr) \\ &\quad +c h_{2}(t) G^{\prime} \biggl(\varepsilon_{1} \frac{E(t)q(t)}{E(0)} \biggr). \end{aligned} $$

Multiplying (69) by \(\xi(t)\), using (50), and the facts that \(\varepsilon_{1}\frac{E(t)q(t)}{E(0)}< r\) and \(G^{\prime} (\varepsilon_{1}\frac{E(t)q(t)}{E(0)} )=G^{\prime } (\varepsilon_{1}\frac{E(t)q(t)}{E(0)} )\), we get

$$ \begin{aligned}[b] \xi(t) \mathcal{F}^{\prime}(t)&\le-m \xi(t) E(t)G^{\prime} \biggl(\varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr)+c \xi(t)\varepsilon_{1}\frac{E(t)}{E(0)}G^{\prime} \biggl(\varepsilon _{1}\frac{E(t)q(t)}{E(0)} \biggr) \\ & \quad+c \mu(t)q(t)+c \xi(t)h_{2}(t)G^{\prime} \biggl( \varepsilon_{1}\frac {E(t)q(t)}{E(0)} \biggr) \\ & \le- \biggl(\frac{m E(0)}{\varepsilon_{1}} -c \biggr) \xi(t)\varepsilon_{1} \frac{E(t)}{E(0)}G^{\prime} \biggl(\varepsilon _{1} \frac{E(t)q(t)}{E(0)} \biggr)\\&\quad-c E^{\prime}(t)+c \xi(t) h_{2}(t)G^{\prime} \biggl(\varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr). \end{aligned} $$

Consequently, recalling the definition of \(G_{2}\) and choosing \(\varepsilon_{1}\) such that \(k=(\frac{m E(0)}{\varepsilon_{1}} -c)>0\), we obtain, for all \(t \in\mathbb{R}_{+}\),

$$ \begin{aligned}[b] \mathcal{F}_{1}^{\prime}(t)& \le-k \varepsilon_{1} \xi(t) \biggl(\frac{E(t)}{E(0)} \biggr)G^{\prime} \biggl(\varepsilon_{1}\frac {E(t)q(t)}{E(0)} \biggr)+c \xi(t) h_{2}(t)G^{\prime} \biggl( \varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr) \\ &=-k\frac{\xi(t)}{q(t)} G_{2} \biggl(\frac{E(t)q(t)}{E(0)} \biggr)+c \xi(t) h_{2}(t)G^{\prime} \biggl( \varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr), \end{aligned} $$

where \(\mathcal{F}_{1}=\xi\mathcal{F}+c E \sim E\) satisfies, for some \(\alpha_{1},\alpha_{2}>0\),

$$ \alpha_{1}\mathcal{F}_{1}(t)\le E(t) \le\alpha_{2}\mathcal{F}_{1}(t). $$

Since \(G^{\prime}_{2}(t)=G^{\prime}(t)+t G^{\prime\prime}(t)\), using the strict convexity of G on \((0,r]\), we find that \(G_{2}^{\prime}(t), G_{2}(t)>0\) on \((0,r]\). Applying the general Young inequality (68) to the last term in (71) with \(A=G^{\prime} (\varepsilon_{1}\frac{E(t)q(t)}{E(0)} )\) and \(B=[\frac{c}{d}h_{2} (t)]\), we have

$$ \begin{aligned}[b] c h_{2} (t)G^{\prime} \biggl(\varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr)&=\frac{d}{q(t)} \biggl[\frac{c}{d }q(t) h_{2}(t) \biggr] \biggl(G' \biggl( \varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr) \biggr) \\ &\leq \frac{d}{q(t)} G_{3} \biggl(G' \biggl( \varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr) \biggr)+ \frac {d}{q(t)}G_{3}^{*} \biggl[\frac{c}{d }q(t) h_{2}(t) \biggr] \\ &\leq\frac{d}{q(t)} \biggl(\varepsilon_{1} \frac{E(t)q(t)}{E(0)} \biggr) \biggl(G' \biggl( \varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr) \biggr)+ \frac{d}{q(t)} G_{4} \biggl[\frac{c}{d }q(t) h_{2}(t) \biggr]\hspace{-24pt} \\ &\leq\frac{d}{q(t)} G_{2} \biggl(\varepsilon_{1} \frac{E(t)q(t)}{E(0)} \biggr)+\frac{d}{q(t)} G_{4} \biggl[ \frac{c}{d }q(t) h_{2}(t) \biggr]. \end{aligned} $$

Now, combining (71) and (73) and choosing d small enough so that \(k_{1}=(k-d)>0\), we arrive at

$$ \begin{aligned}[b] \mathcal{F}_{1}^{\prime}(t) &\leq- k \frac{\xi(t)}{q(t)} G_{2} \biggl(\varepsilon_{1} \frac{E(t)q(t)}{E(0)} \biggr) + \frac{d \xi(t)}{q(t)} G_{2} \biggl( \varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr)+\frac{d \xi(t)}{q(t)} G_{4} \biggl[\frac{c}{d }q(t) h_{2}(t) \biggr]\hspace{-12pt} \\ & \leq - k_{1} \frac{\xi(t)}{q(t)} G_{2} \biggl( \varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr)+\frac{d \xi(t)}{q(t)}G_{4} \biggl[\frac{c}{d }q(t) h_{2}(t) \biggr]. \end{aligned} $$

Using the equivalent property in (72) and the nonincrease of \(G_{2}\), we have, for some \(d_{0}=\frac{\alpha_{1}}{E(0)}>0\),

$$ G_{2} \biggl(\varepsilon_{1}\frac{E(t)q(t)}{E(0)} \biggr)\geq G_{2} \bigl(d_{0} \mathcal{F}_{1}(t)q(t) \bigr). $$

Letting \(\mathcal{F}_{2}(t):=d_{0} \mathcal{F}_{1}(t)q(t)\) and recalling that \(q'\leq0\), we arrive at,

$$ \mathcal{F}_{2}'(t)\leq d_{0} q(t) \biggl(- k_{1} \frac{\xi(t)}{q(t)} \varPsi_{2} \biggl(\varepsilon_{0}\frac{E(t)q(t)}{E(0)} \biggr)+\frac{d \xi(t)}{q(t)}\varPsi_{4} \biggl[\frac{c}{d }q(t) h_{0}(t) \biggr] \biggr). $$

Then (75) becomes, for some constants \(c_{1}=d_{0} k_{1} > 0\) and \(c_{2}=d_{0} d >0\),

$$ \mathcal{F}_{2}'(t) \leq-c_{1}\xi(t)G_{2}\bigl(\mathcal{F}_{2}(t) \bigr)+c_{2} \xi(t)G_{4} \biggl[\frac{c}{d }q(t) h_{2}(t) \biggr]. $$

Since \(d_{0}q(t)\) is nonincreasing. Using the equivalent property \(\mathcal{F}_{1}\sim E\) implies that there exists \(b_{0} > 0\) such that \(\mathcal{F}_{2}(t)\geq b_{0} E(t)q(t)\). Since \(\chi(t)\) satisfies (57) and (58), if \(b_{0} q(t) E(t) \leq 2 \frac{G_{5}(t)}{\chi(t)}\), then we get

$$ E(t) \leq\frac{2 }{b_{0}} \frac{G_{5}(t)}{\chi(t)q(t)}. $$

If \(b_{0} q(t) E(t) > 2 \frac{G_{5}(t)}{\chi(t)}\), then since \(q(t) E(t)\) is a nonincreasing function, for any \(0 \leq s \leq t\), we have \(b_{0} q(s) E(s) > 2 \frac{G_{5}(t)}{\chi(t)}\). Therefore, for any \(0\leq s \leq t\),

$$ \mathcal{F}_{2}(s) > 2 \frac{G_{5}(t)}{\chi(t)}. $$

Using (21), \(0< \chi\leq1\), and the convexity of \(G_{2}\), we have, for any \(0 <\varepsilon_{2} \leq1\),

$$ \begin{aligned}[b] G_{2} \bigl( \varepsilon_{2} \chi(s)\mathcal{F}_{2}(s)- \varepsilon_{2} G_{5}(s) \bigr) &=G_{2} \biggl(\varepsilon_{2} \chi(s)\mathcal{F}_{2}(s)- \frac{\varepsilon_{2} \chi(s) G_{5}(s)}{\chi(s)} \biggr) \\ &\leq\varepsilon_{2} \chi(s)G_{2} \biggl( \mathcal{F}_{2}(s)- \frac{G_{5}(s)}{\chi(s)} \biggr). \end{aligned} $$

Recalling the definition of \(G_{2}\), that is, \(G_{2}(t)=tG'(t)\), (79) becomes

$$ \begin{aligned}[b]G_{2} \bigl( \varepsilon_{2} \chi(s)\mathcal{F}_{2}(s)- \varepsilon_{2} G_{5}(s) \bigr)&\leq\varepsilon_{2} \chi(s) \biggl(\mathcal{F}_{2}(s)- \frac{G_{5}(s)}{\chi(s)} \biggr)G^{\prime} \biggl(\mathcal{F}_{2}(s)- \frac{G_{5}(s)}{\chi(s)} \biggr) \\ &\leq\varepsilon_{2} \chi(s)\mathcal{F}_{2}(s) G^{\prime} \biggl(\mathcal{F}_{2}(s)- \frac{G_{5}(s)}{\chi(s)} \biggr)\\ &\quad-\varepsilon_{2} \chi(s)\frac{G_{5}(s)}{\chi(s)}G^{\prime} \biggl(\mathcal{F}_{2}(s)- \frac{G_{5}(s)}{\chi(s)} \biggr). \end{aligned} $$

Now, using (78) and the increase of \(G^{\prime}\), for any \(0 \leq s \leq t\), we have

$$ \begin{aligned} G^{\prime} \biggl( \mathcal{F}_{2}(s)- \frac{G_{5}(s)}{\chi(s)} \biggr) < G^{\prime} \bigl(\mathcal{F}_{2}(s) \bigr), G^{\prime} \biggl( \mathcal{F}_{2}(s) - \frac{G_{5}(s)}{\chi(s)} \biggr)>G^{\prime} \biggl(\frac{G_{5}(s)}{\chi(s)} \biggr). \end{aligned} $$

Combining (81) and (80), we arrive at

$$ \begin{aligned} &G_{2} \bigl( \epsilon_{1} \chi(s)\mathcal{F}_{2}(s)- \varepsilon_{2} G_{5}(s) \bigr)\leq \varepsilon_{2} \chi(s)\mathcal{F}_{2}(s) G^{\prime} \bigl( \mathcal{F}_{2}(s) \bigr)-\varepsilon_{2} \chi(s) \frac{G_{5}(s)}{\chi(s)}G^{\prime} \biggl(\frac{G_{5}(s)}{\chi(s)} \biggr). \end{aligned} $$

Now we let

$$ \mathcal{F}_{3}(s)=\varepsilon_{2} \chi(s)\mathcal{F}_{2}(s)-\varepsilon_{2} G_{5}(s), $$

where \(\varepsilon_{2}\) is small enough such that \(\mathcal{F}_{3}(0)\leq 1\). Recalling the definition of \(G_{2}\), (82) becomes, for any \(0 \leq s \leq t\),

$$ \begin{aligned} &G_{2} \bigl( \mathcal{F}_{3}(s) \bigr) \leq\varepsilon_{2} \chi(t)G_{2} \bigl(\mathcal{F}_{2}(s) \bigr)- \varepsilon_{2} \chi(t)G_{2} \biggl(\frac{G_{5}(s)}{\chi(s)} \biggr). \end{aligned} $$

Further, we have

$$ \begin{aligned} \mathcal{F}'_{3}(t)= \varepsilon_{2} \chi'(t)\mathcal{F}_{2}(t) +\varepsilon_{2}\chi(s)\mathcal{F}'_{2}(t)- \varepsilon_{2} G_{5}'(t). \end{aligned} $$

Since \(\chi' \leq0\), using (76), for any \(0 \leq s \leq t\) and \(0 < \varepsilon_{2} \leq1\), we obtain

$$ \begin{aligned}[b]\mathcal{F}'_{3}(t) &\leq \varepsilon_{2}\chi(s)\mathcal{F}'_{2}(t)- \varepsilon_{2} G_{5}'(t) \\ &\leq-c_{1}\varepsilon_{2} \xi(t) \chi(t)G_{2} \bigl(\mathcal{F}_{2}(t)\bigr)+c_{2}\varepsilon_{2} \xi(t) \chi(s)G_{4} \biggl[\frac{c}{d }q(t) h_{2}(t) \biggr]-\varepsilon_{2}G_{5}'(t). \end{aligned} $$

Then, using (58) and (84), we get

$$ \begin{aligned}[b]\mathcal{F}'_{3}(t) &\leq-c_{1} \xi(t) G_{2}\bigl(\mathcal{F}_{3}(t) \bigr)+c_{2}\varepsilon_{2} \xi (t)\chi(t)G_{4} \biggl[\frac{c}{d }q(t) h_{2}(t) \biggr] \\ &\quad-c_{1}\varepsilon_{2} \xi (t)\chi(t)G_{2} \biggl(\frac{G_{5}(s)}{\chi(s)} \biggr)-\varepsilon_{2}G_{5}'(t). \end{aligned} $$

From the definitions of \(G_{1}\) and \(G_{5}\) we have

$$ G_{1} \bigl(G_{5}(s) \bigr)=c_{1} \int_{0}^{s} \xi(\tau)\, d\tau, $$

and hence

$$ G_{5}'(s)=-c_{1} \xi(s) G_{2} \bigl(G_{5}(s) \bigr). $$

Now we have

$$ \begin{aligned}[b] &c_{2} \varepsilon_{2} \xi(t)\chi(t)G_{4} \biggl[ \frac{c}{d }q(t) h_{2}(t) \biggr]-c_{1} \varepsilon_{2} \xi (t)\chi(t)G_{2} \biggl( \frac{G_{5}(s)}{\chi(s)} \biggr)-\varepsilon_{2}G_{5}'(t) \\ &\quad=c_{2}\varepsilon_{2} \xi(t)\chi(t)G_{4} \biggl[\frac{c}{d }q(t) h_{2}(t) \biggr]-c_{1} \varepsilon_{2} \xi (t)\chi(t)G_{2} \biggl( \frac{G_{5}(s)}{\chi(s)} \biggr)+c\varepsilon_{2}\xi (t)G_{2} \bigl(G_{5}(t) \bigr) \\ &\quad=\varepsilon_{2} \xi(t)\chi(t) \biggl(c_{2} G_{4} \biggl[\frac{c}{d }q(t) h_{2}(t) \biggr]-c_{1}G_{2} \biggl(\frac{G_{5}(s)}{\chi(s)} \biggr) \biggr)+\frac {G_{2} (G_{5}(t) )}{\chi(t)}. \end{aligned} $$

Then, according to (58), we get

$$\varepsilon_{2} \xi (t)\chi(t) \biggl(c_{2}G_{4} \biggl[\frac{c}{d }q(t) h_{2}(t) \biggr]-c_{1}G_{2} \biggl(\frac{G_{5}(s)}{\chi(s)} \biggr) \biggr)-\frac {G_{2} (G_{5}(t) )}{\chi(t)}\leq 0. $$

Then (87) gives

$$ \begin{aligned} &\mathcal{F}'_{3}(t) \leq-c_{1} \xi(t) G_{2}\bigl(\mathcal{F}_{3}(t) \bigr). \end{aligned} $$

Thus from (90) and the definitions of \(G_{1}\) and \(G_{2}\) in (55) and (56) we obtain

$$ \bigl(G_{1} \bigl(\mathcal{F}_{3}(t) \bigr) \bigr)'\geq c_{1} \xi(t). $$

Integrating (91) over \([0, t]\), we get

$$ G_{1} \bigl(\mathcal{F}_{3}(t) \bigr) \geq c_{1} \int_{0}^{t} \xi(s)\,ds+G_{1} \bigl( \mathcal{F}_{3}(0) \bigr). $$

Since \(G_{1}\) is decreasing, \(\mathcal{F}_{3}(0)\leq1\), and \(G_{1}(1)=0\), we have

$$ \mathcal{F}_{3}(t)\leq G_{1}^{-1} \biggl(c_{1} \int_{0}^{t} \xi(s)\,ds \biggr)=G_{5}(t). $$

Recalling that \(\mathcal{F}_{3}(t)=\varepsilon_{2} \chi(t)\mathcal{F}_{2}(t)-\varepsilon_{2} G_{5}(t)\), we have

$$ \mathcal{F}_{2}(t)\leq\frac{(1+\varepsilon_{2})}{\varepsilon_{2}} \frac{G_{5}(t)}{\chi(t)}. $$

Similarly, recalling that \(\mathcal{F}_{2}(t):=d_{0} \mathcal{F}_{1}(t)q(t)\), we get

$$ \mathcal{F}_{1}(t)\leq\frac{(1+\varepsilon_{2})}{d_{0}\varepsilon_{2}} \frac{G_{5}(t)}{\chi(t)q(t)}. $$

Since \(\mathcal{F}_{1}\sim E\), for some \(b>0\), we have \(E(t)\leq b \mathcal{F}_{1}\), which gives

$$ E(t)\leq\frac{b(1+\varepsilon_{2})}{d_{0}\varepsilon_{2}} \frac{G_{5}(t)}{\chi(t)q(t)}. $$

From (77) and (96) we obtain the estimate

$$ E(t)\leq c_{3} \biggl(\frac{G_{5}(t)}{\chi(t)q(t)} \biggr), $$

where \(c_{3}=\max\{\frac{2}{b_{0}}, \frac{b(1+\varepsilon_{2})}{d_{0}\varepsilon_{2}}\}\). □

In the following example, we illustrate our decay result.

Example 4.2

Let \(h(t)=\frac{a}{(1+t)^{\nu}}\), where \(\nu>1\) and \(0< a<\nu-1\), so that \((A1)\) is satisfied. In this case, \(\xi(t)=\nu a^{\frac{-1}{\nu}}\), \(H(t)=t^{\frac{\nu+1}{\nu}}\), and \(G^{-1}(t)= (H^{-1} (t) )^{\frac{1}{1+ \varepsilon_{0}}}\). Then for any \(\varepsilon_{0} \in(0,1)\), we have \(G(t)=t^{\lambda}\), where \(\lambda:=\frac{(\varepsilon_{0}+1)(\nu+1)}{\nu}>1\). Recall the definitions of the functions \(G_{i}\), \(i=1,\ldots,5\):

$$ \begin{aligned} &G_{1}(t)=a_{1} \bigl(t^{1-\lambda}-1\bigr),\qquad G_{2}(t)=a_{2} t^{\lambda},\quad G_{3}(t)=a_{3} t^{\frac{\lambda}{\lambda-1}},\qquad G_{4}(t)=a_{4} t^{\lambda}, \\ &G_{5}(t)=a_{5} (1+t )^{\frac{1}{1-\lambda}}, \end{aligned} $$

where \(a_{i}\), \(i=1,2,3,4,5\), are positive constants depending on a, ν, and \(\varepsilon_{0}\). As in [30], we consider

$$ m_{0} (1+t)^{r} \leq1+ \Vert \triangle u_{0} \Vert ^{2} \leq m_{1} (1+t)^{r}, $$

where \(r < \nu-1\) and \(m_{0} , m_{1} > 0\). Then for some positive constants \(a_{i}\) (\(i = 6,7\)) depending only on a, ν, \(m_{0}\), \(m_{1}\), r, we have

$$ \begin{aligned} & a_{6} (1+t)^{-\nu+1+r}\leq h_{1}(t) \leq a_{7} (1+t)^{-\nu+1+r}, \end{aligned} $$

where \(-\nu+1+r<0\). Recalling the definitions of the functions \(h_{1}\), \(h_{2}\), and q, we have

$$q(t) h_{2}(t)=(1+t)^{\frac{-\nu+r}{1+\varepsilon_{0}}}. $$

It is clear that condition (58) is satisfied if

$$ q^{\lambda}(t) h_{2}^{\lambda}(t) \chi^{\lambda}(t) +(1+t)^{\frac {-\lambda}{\lambda-1}} \chi^{\lambda-1}(t)\leq (1+t)^{\frac{-\lambda}{\lambda-1}}. $$

Choosing \(\chi(t)=(1+t)^{m}\), where \(m < \min (0, \frac{-1}{\lambda-1}+\frac{(\nu-r)(\nu+1)}{\lambda\nu} )\), we have the following two cases depending on r.

Case 1: If \(0 < r < \nu-1\), then for any \(\varepsilon >0\), there exists \(C_{\varepsilon}>0\) such that we have the following decay rate estimate of E (60):

$$ E(t)\leq C_{\varepsilon}(1+t)^{-(\nu-r-1)+\varepsilon}. $$

Case 2: If \(r \leq0\), then for any \(\varepsilon >0\), there exists \(C_{\varepsilon}>0\) such that the decay rate estimate of E (60) is given by:

$$ E(t)\leq C_{\varepsilon}(1+t)^{-(\nu-1)+\varepsilon}. $$

Thus estimates (102) and (103) give \(\lim_{t\rightarrow +\infty} E(T)=0\).

5 Conclusion

As far as we know, there are no decay results in the literature known for logarithmic plate equation with infinite memory and a wider class of relaxation functions. Our work extends the works for some wave equations treated in the literature to the plate equation with logarithmic nonlinearity. Also, we succeed to extend some general decay results, known for the case of finite history, to the case of infinite history, where the relaxation function satisfies a wider class of relaxation functions. Furthermore, we dropped the boundedness assumption on the history data considered in earlier results in the literature.


  1. Gorka, P.: Logarithmic Klein–Gordon equation. Acta Phys. Pol. 40, 59–66 (2009)

    MathSciNet  MATH  Google Scholar 

  2. Bartkowski, K., Górka, P.: One-dimensional Klein–Gordon equation with logarithmic nonlinearities. J. Phys. A, Math. Theor. 41(35), Article ID 355201 (2008)

    Article  MathSciNet  Google Scholar 

  3. Hiramatsu, T., Kawasaki, M., Takahashi, F.: Numerical study of Q-ball formation in gravity mediation. J. Cosmol. Astropart. Phys. 2010(6), Article ID 008 (2010)

    Article  Google Scholar 

  4. Bialynicki-Birula, I., Mycielski, J.: Wave equations with logarithmic nonlinearities. Bull. Acad. Pol. Sci., Cl. Trois. 23, 461–466 (1975)

    MathSciNet  Google Scholar 

  5. Bialynicki-Birula, I., Mycielski, J.: Nonlinear wave mechanics. Ann. Phys. 100(1–2), 62–93 (1976)

    Article  MathSciNet  Google Scholar 

  6. Cazenave, T., Haraux, A.: Équations d’évolution avec non linéarité logarithmique. Ann. Fac. Sci. Toulouse, 2, 21–51 (1980)

    Article  MathSciNet  Google Scholar 

  7. Al-Gharabli, M.M., Guesmia, A., Messaoudi, S.A.: Existence and a general decay results for a viscoelastic plate equation with a logarithmic nonlinearity. Commun. Pure Appl. Anal. 18(1), 159–180 (2019)

    Article  MathSciNet  Google Scholar 

  8. Al-Gharabli, M.M., Guesmia, A., Messaoudi, S.A.: Well-posedness and asymptotic stability results for a viscoelastic plate equation with a logarithmic nonlinearity. Appl. Anal. 99(1), 50–74 (2018)

    Article  MathSciNet  Google Scholar 

  9. Al-Gharabli, M.M.: New general decay results for a viscoelastic plate equation with a logarithmic nonlinearity. Bound. Value Probl. 2019, Article ID 194 (2019)

    Article  MathSciNet  Google Scholar 

  10. Han, X.: Global existence of weak solutions for a logarithmic wave equation arising from Q-ball dynamics. Bull. Korean Math. Soc. 50(1), 275–283 (2013)

    Article  MathSciNet  Google Scholar 

  11. Lian, W., Xu, R.: Global well-posedness of nonlinear wave equation with weak and strong damping terms and logarithmic source term. Adv. Nonlinear Anal. 9(1), 613–632 (2019)

    Article  MathSciNet  Google Scholar 

  12. Peyravi, A.: General stability and exponential growth for a class of semi-linear wave equations with logarithmic source and memory terms. Appl. Math. Optim. 81, 545–561 (2020)

    Article  MathSciNet  Google Scholar 

  13. Xu, R., Lian, W., Kong, X., Yang, Y.: Fourth order wave equation with nonlinear strain and logarithmic nonlinearity. Appl. Numer. Math. 141, 185–205 (2019)

    Article  MathSciNet  Google Scholar 

  14. Wang, X., Chen, Y., Yang, Y., Li, J., Xu, R.: Kirchhoff-type system with linear weak damping and logarithmic nonlinearities. Nonlinear Anal. 188, 475–499 (2019)

    Article  MathSciNet  Google Scholar 

  15. Giorgi, C., Rivera, J.E.M., Pata, V.: Global attractors for a semilinear hyperbolic equation in viscoelasticity. J. Math. Anal. Appl. 260(1), 83–99 (2001)

    Article  MathSciNet  Google Scholar 

  16. Conti, M., Pata, V.: Weakly dissipative semilinear equations of viscoelasticity. Commun. Pure Appl. Anal. 4(4), 705–720 (2005)

    Article  MathSciNet  Google Scholar 

  17. Appleby, J.A., Fabrizio, M., Lazzari, B., Reynolds, D.W.: On exponential asymptotic stability in linear viscoelasticity. Math. Models Methods Appl. Sci. 16(10), 1677–1694 (2006)

    Article  MathSciNet  Google Scholar 

  18. Pata, V.: Stability and exponential stability in linear viscoelasticity. Milan J. Math. 77(1), 333–360 (2009)

    Article  MathSciNet  Google Scholar 

  19. Guesmia, A.: Asymptotic stability of abstract dissipative systems with infinite memory. J. Math. Anal. Appl. 382(2), 748–760 (2011)

    Article  MathSciNet  Google Scholar 

  20. Guesmia, A., Messaoudi, S.A.: A general decay result for a viscoelastic equation in the presence of past and finite history memories. Nonlinear Anal., Real World Appl. 13(1), 476–485 (2012)

    Article  MathSciNet  Google Scholar 

  21. Al-Mahdi, A.M., Al-Gharabli, M.M.: New general decay results in an infinite memory viscoelastic problem with nonlinear damping. Bound. Value Probl. 2019, Article ID 140 (2019)

    Article  MathSciNet  Google Scholar 

  22. Guesmia, A., Messaoudi, S.A.: A new approach to the stability of an abstract system in the presence of infinite history. J. Math. Anal. Appl. 416(1), 212–228 (2014)

    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. 347(15–16), 867–872 (2009)

    Article  MathSciNet  Google Scholar 

  24. Cavalcanti, M.M., Cavalcanti, A.D., Lasiecka, I., Wang, X.: Existence and sharp decay rate estimates for a von Karman system with long memory. Nonlinear Anal., Real World Appl. 22, 289–306 (2015)

    Article  MathSciNet  Google Scholar 

  25. Yang, X.-G., Zhang, J., Wang, S.: Stability and dynamics of a weak viscoelastic system with memory and nonlinear time-varying delay. Discrete Contin. Dyn. Syst., Ser. A 40(3), 1493–1515 (2020)

    Article  Google Scholar 

  26. Conti, M., Pata, V.: General decay properties of abstract linear viscoelasticity. Z. Angew. Math. Phys. 71, Article ID 6 (2020)

    Article  MathSciNet  Google Scholar 

  27. Al-Mahdi, A.M.: Optimal decay result for Kirchhoff plate equations with nonlinear damping and very general type of relaxation functions. Bound. Value Probl. 2019, Article ID 82 (2019)

    Article  MathSciNet  Google Scholar 

  28. Mustafa, M.I., Messaoudi, S.A.: General stability result for viscoelastic wave equations. J. Math. Phys. 53(5), Article ID 053702 (2012)

    Article  MathSciNet  Google Scholar 

  29. Mustafa, M.I.: Optimal decay rates for the viscoelastic wave equation. Math. Methods Appl. Sci. 41(1), 192–204 (2018)

    Article  MathSciNet  Google Scholar 

  30. Guesmia, A.: New general decay rates of solutions for two viscoelastic wave equations with infinite memory. Math. Model. Anal. (2020, in press)

  31. Messaoudi, S.A., Al-Khulaifi, W.: General and optimal decay for a quasilinear viscoelastic equation. Appl. Math. Lett. 66, 16–22 (2017)

    Article  MathSciNet  Google Scholar 

  32. Gross, L.: Logarithmic Sobolev inequalities. Am. J. Math. 97(4), 1061–1083 (1975)

    Article  MathSciNet  Google Scholar 

  33. Chen, H., Luo, P., Liu, G.: Global solution and blow-up of a semilinear heat equation with logarithmic nonlinearity. J. Math. Anal. Appl. 422(1), 84–98 (2015)

    Article  MathSciNet  Google Scholar 

  34. Arnold, V.I.: Mathematical Methods of Classical Mechanics. Graduate Texts in Mathematics, vol. 60. Springer, Berlin (2013)

    Google Scholar 

Download references


The author thanks KFUPM for its continuous support and an anonymous referee for her/his careful reading and valuables remarks. This work is funded by KFUPM under Project (SB181039).

Availability of data and materials

Not applicable.

Authors’ information

Not applicable.


This work is funded by KFUPM under Project (SB181039).

Author information

Authors and Affiliations



I read and approved the final manuscript.

Corresponding author

Correspondence to Adel M. Al-Mahdi.

Ethics declarations

Competing interests

The author declares that he has no competing interests.

Additional information


Not applicable.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Al-Mahdi, A.M. Stability result of a viscoelastic plate equation with past history and a logarithmic nonlinearity. Bound Value Probl 2020, 84 (2020).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: