Skip to main content

Blow-up for a viscoelastic von Karman equation with strong damping and variable exponent source terms

Abstract

In this article, we deal with a strongly damped von Karman equation with variable exponent source and memory effects. We investigate blow-up results of solutions with three levels of initial energy such as non-positive initial energy, certain positive initial energy, and high initial energy. Furthermore, we estimate not only the upper bound but also the lower bound of the blow-up time.

Introduction

In this work, we discuss a viscoelastic von Karman equation with strong damping and variable exponent source terms,

$$\begin{aligned}& w_{tt} + \Delta ^{2} w - \int ^{t}_{0} h(t-s) \Delta ^{2} w(s) \,ds - \Delta w_{t} \\& \quad = \bigl[w, \chi ( w ) \bigr] + \vert w \vert ^{q(x)-2} w \quad \text{in } \Omega \times (0,T), \end{aligned}$$
(1.1)
$$\begin{aligned}& \Delta ^{2} \chi ( w ) = - [w,w] \quad \text{in } \Omega \times (0,T), \end{aligned}$$
(1.2)
$$\begin{aligned}& w= \frac{\partial w}{\partial \nu } = 0, \quad\quad \chi ( w ) = \frac{\partial \chi ( w ) }{\partial \nu } = 0 \quad \text{on } \partial \Omega \times (0, T), \end{aligned}$$
(1.3)
$$\begin{aligned}& w(0)=w_{0}, \quad\quad w_{t}(0)=w_{1} \quad \text{in } \Omega , \end{aligned}$$
(1.4)

where \(\Omega \subset {\mathbb{R}}^{2}\) is a bounded domain with sufficiently smooth boundary Ω, \(\nu = (\nu _{1}, \nu _{2})\) is the unit normal vector outward to Ω, the differentiable kernel function h defined on \([0, \infty ) \) satisfies \(h(0) >0\), \(h(t) \geq 0\), \(h'(t) \leq 0\), and

$$ 1- \int ^{\infty }_{0} h(s)\,ds : = l >0 . $$

The Von Karman bracket \([\cdot ,\cdot ]\) is given as

$$ [ y ,v ] = y_{x_{1} x_{1}} v_{x_{2} x_{2}} + y_{x_{2} x_{2}} v_{x_{1} x_{1}} - 2 y_{x_{1} x_{2}} v_{x_{1} x_{2}}, $$

here \(x=(x_{1}, x_{2}) \in \Omega \). The exponent function \(q(\cdot )\) is measurable and verifies

$$ \bigl\vert q(\overline{x})-q(x) \bigr\vert \leq - \frac{a}{\log \vert \overline{x} - x \vert } \quad \text{for all } \overline{x}, x \in \Omega \text{ with } \vert \overline{x} -x \vert < \kappa , $$
(1.5)

where \(a >0\) and \(0 < \kappa < 1\), and

$$ 2 \leq q_{1} : = \operatorname{ess} \inf _{x\in \Omega } q(x) \leq q(x) \leq q_{2} :=\operatorname{ess} \sup_{x\in \Omega } q(x) < \infty . $$

The von Karman equations (1.1)–(1.4) model a nonlinear elastic plate by describing the transversal displacement w and the Airy-stress function \(\chi (w)\). Von Karman equation also arises in many applications such as bifurcation theory and shells. The type of von Karman equations

$$\begin{aligned} w_{tt} + \Delta ^{2} w - \int ^{t}_{0} h(t-s) \Delta ^{2} w(s) \,ds + g(x, w_{t}) = \bigl[w, \chi ( w ) \bigr] \end{aligned}$$
(1.6)

associated with different boundary conditions has been intensively treated about existence and stability (see [5, 8, 9, 1618] and the references therein). When \(h=g=0 \), the authors of [8] studied the unique existence of global solution. When \(g(x, u_{t}) = a(x) u_{t} \) and \(h=0\), Horn and Lasiecka [9] discussed energy decay estimates. When \(g=0 \), Park et al. [18] obtained the general decay behavior of solutions.

On the other hand, problems with variable exponent source have been attracting great interest [1315, 21]. Such problems appear in physical phenomena such as nonlinear elastics [22], electrorheological fluids [20], stationary thermorheological viscous flows of non-Newtonian fluids [2], and image precessing [1]. Recently, Messaoudi et al. [15] considered wave equations with source and damping terms of variable exponent,

$$\begin{aligned} w_{tt} - \Delta w + a \vert w_{t} \vert ^{\gamma (x)-2} w_{t} = b \vert w \vert ^{q(x)-2} w. \end{aligned}$$

They obtained the local existence of solutions under appropriate conditions on \(\gamma (\cdot )\) and \(q(\cdot )\) by utilizing the Faedo–Galerkin’s technique and the contraction mapping theorem. Furthermore, they showed that the solution with negative initial energy blows up in a finite time. Later, Park and Kang [19] improved and complemented the result of [15] by obtaining a blow-up result of solution with certain positive initial energy for a wave equation of memory type. We also refer to a recent work [4] for a nonlinear diffusion system involving variable exponents dependent on spatial and time variables and cross-diffusion terms. At this point, it is worthwhile to mention that there is little work concerning global nonexistence of solutions for viscoelastic von Karman equations with variable source effect. Particularly, there is no literature concerning blow-up results of solutions with high initial energy for the equations. Thus, in this article, we establish blow-up results of solutions with three levels of initial energy such as non-positive initial energy, certain positive initial energy, and high initial energy. Furthermore, we estimate not only the upper bound but also the lower bound of the blow-up time. These are inspired by the ideas of [23], where the authors proved blow-up results of solutions with high initial energy and estimated bounds of existence time of solutions for wave equation with logarithmic nonlinear source term.

The outline of this article is here. In Sect. 2, we state some definitions, notations, and auxiliary lemmas. In Sect. 3, we construct blow-up results and obtain bounds of the blow-up time.

Preliminaries

We denote \(( y , v ) = \int _{\Omega } y(x) v(x) \,dx\), \(\Vert y \Vert _{2}^{2} = ( y , y ) \). Generally, we denote by \(\Vert \cdot \Vert _{Y} \) the norm of a space Y. For simplicity, we write \(\Vert \cdot \Vert _{L^{p}(\Omega )}\) by \(\Vert \cdot \Vert _{p} \). If there is no ambiguity, we will omit the variables t and x. Let \(B_{1} \) and \(B_{2}\) be the constants with

$$ \Vert y \Vert _{2} \leq B_{1} \Vert \nabla y \Vert _{2} \quad \text{for } y \in H^{1}_{0} (\Omega ), \quad\quad \Vert \nabla y \Vert _{2} \leq B_{2} \Vert \Delta y \Vert _{2} \quad \text{for } y \in H^{2}_{0} (\Omega ) . $$
(2.1)

For a measurable function \(p : \Omega \subset {\mathbb{R}}^{n} \to [1, \infty ] \), the Lebesgue space

$$ L^{p(\cdot )}(\Omega ) = \biggl\{ y : \Omega \to {\mathbb{R}} \Bigm| y \text{ is measurable in } \Omega , \int _{\Omega } \bigl\vert \delta y(x) \bigr\vert ^{p(x)} \,dx < \infty \text{ for some } \delta >0 \biggr\} $$

is a Banach space equipped with Luxembourg-type norm

$$ \Vert y \Vert _{p(\cdot )} = \inf \biggl\{ \delta > 0 \Bigm| \int _{\Omega } \biggl\vert \frac{ y (x)}{\delta } \biggr\vert ^{p(x)} \,dx \leq 1 \biggr\} . $$

Lemma 2.1

([3])

If \({ 1 < p_{1} := \operatorname{ess} \inf_{x\in \Omega } p(x) \leq p(x) \leq p_{2} :=\operatorname{ess} \sup_{x\in \Omega } p(x) < \infty , } \) then

$$ \min \bigl\{ \Vert y \Vert _{p(\cdot )}^{p_{1}} , \Vert y \Vert _{p(\cdot )}^{p_{2}} \bigr\} \leq \int _{\Omega } \bigl\vert y (x) \bigr\vert ^{p(x)} \,dx \leq \max \bigl\{ \Vert y \Vert _{p(\cdot )}^{p_{1}} , \Vert y \Vert _{p(\cdot )}^{p_{2} } \bigr\} $$

for any \(y \in L^{p(\cdot )}(\Omega )\).

Since \(\dim (\Omega ) =2 \), the embedding \({ H^{2}_{0}(\Omega ) \hookrightarrow L^{q(\cdot )}( \Omega )} \) (\(2 \leq q(x) < \infty \)) is continuous and compact [11]. We let B be the constant of the embedding inequality

$$ \Vert y \Vert _{ q (\cdot )} \leq B \Vert \Delta y \Vert _{2} \quad \text{for } y \in H^{2}_{0} (\Omega ). $$
(2.2)

See [6, 7, 11] for more properties of a Lebesgue space with variable exponent.

Lemma 2.2

([9], Lemma 2.1)

If \(y \in H^{2}(\Omega )\), then \(\chi ( y ) \in W^{2, \infty }(\Omega ) \) and \(\Vert \chi ( y ) \Vert _{ W^{2, \infty }(\Omega ) } \leq a_{1} \Vert y \Vert ^{2}_{H^{2}( \Omega )}\).

Lemma 2.3

([8], p. 270)

If \(y \in H^{2}(\Omega )\) and \(v \in W^{2, \infty }(\Omega )\), then \([ y , v ] \in L^{2}(\Omega ) \) and \(\Vert [ y , v ] \Vert _{2} \leq a_{2} \Vert y \Vert _{H^{2}(\Omega )} \Vert v \Vert _{W^{2, \infty }(\Omega )}\).

Lemma 2.4

([5])

Let \(y_{1}, y_{2}, y_{3} \in H^{2}(\Omega )\). If at least one of them is an element of \(H^{2}_{0}(\Omega )\), then

$$ \int _{\Omega } [ y_{1}, y_{2}] y_{3} \,dx = \int _{\Omega } [ y_{1}, y_{3}] y_{2} \,dx. $$

By combining the arguments of [10, 19], for every \((w_{0}, w_{1}) \in H^{2}_{0}(\Omega ) \times L^{2}(\Omega )\), we can get a unique local solution w of problem (1.1)–(1.4) with \(w \in C(0,T; H^{2}_{0}(\Omega ) ) \cap C^{1} ( 0,T; L^{2}(\Omega )) \) and \(w_{t} \in L^{2}(0,T; H^{1}_{0}(\Omega ))\).

Blow-up results

In this section, we establish blow-up results of solutions with three levels of initial energy and estimate bounds of blow-up time. For this, we need ab auxiliary lemma.

Lemma 3.1

([12])

Let \(B(t)\) be a positive, twice differentiable function verifying

$$ B(t) B''(t) - ( 1+ \theta ) \bigl( B'(t) \bigr)^{2} \geq 0 $$

for \(t > 0 \), where θ is a positive constant. If \(B(0) >0\) and \(B'(0) >0\), then there exists a \(T_{1} \leq \frac{B(0)}{\theta B'(0)} \) with \({ \lim_{t \to T_{1}^{-} } B(t) = \infty } \).

Taking the scalar product (1.1) by \(w_{t}\) in \(L^{2}(\Omega )\) and using (1.3), we get

$$\begin{aligned}& \frac{d}{dt} \biggl( \frac{1}{2} \Vert w_{t} \Vert _{2}^{2} + \frac{1}{2} \Vert \Delta w \Vert _{2}^{2} - \int _{\Omega } \frac{ \vert w \vert ^{ q (x)} }{q(x)} \,dx \biggr) - \int ^{t}_{0} h (t-s) \bigl( \Delta w(s) , \Delta w_{t} (t) \bigr) \,ds \\& \quad = - \Vert \nabla w_{t} \Vert _{2}^{2} + \bigl( \bigl[w, \chi (w) \bigr] , w_{t} \bigr) . \end{aligned}$$

From Lemma 2.4, (1.2) and (1.3), we have

$$\begin{aligned} \bigl( \bigl[w, \chi (w) \bigr] , w_{t} \bigr) = \frac{1}{2} \biggl( \frac{d}{dt} [w, w ] , \chi (w) \biggr) = - \frac{1}{4} \frac{d}{dt} \bigl\Vert \Delta \chi (w) \bigr\Vert _{2}^{2} . \end{aligned}$$

Using this and the relation

$$\begin{aligned}& - \int ^{t}_{0} h (t-s) \bigl( \Delta w(s) , \Delta w_{t} (t) \bigr) \,ds \\& \quad = \frac{1}{2} \frac{d}{dt} \biggl\{ ( h \circ \Delta w ) - \biggl( \int ^{t}_{0} h (s) \,ds \biggr) \Vert \Delta w \Vert _{2}^{2} \biggr\} + \frac{h(t)}{2} \Vert \Delta w \Vert _{2}^{2} - \frac{1}{2} \bigl( h' \circ \Delta w \bigr) , \end{aligned}$$

we get

$$\begin{aligned} E'(t) = - \Vert \nabla w_{t} \Vert _{2}^{2} - \frac{h(t)}{2} \Vert \Delta w \Vert _{2}^{2} + \frac{1}{2} \bigl(h' \circ \Delta w \bigr) \leq - \Vert \nabla w_{t} \Vert _{2}^{2} \leq 0, \quad t\in [0, T_{*}) \end{aligned}$$
(3.1)

and

$$\begin{aligned} E(t) + \int ^{t}_{0} \bigl\Vert \nabla w_{t} (s) \bigr\Vert _{2}^{2} \,ds \leq E(0), \quad t \in [0, T_{*}) , \end{aligned}$$
(3.2)

where

$$\begin{aligned} \begin{aligned}[b] E(t) = {}&\frac{1}{2} \Vert w_{t} \Vert _{2}^{2} +\frac{1}{2} \biggl( 1 - \int ^{t}_{0} h(s) \,ds \biggr) \Vert \Delta w \Vert _{2}^{2} + \frac{1}{2} (h \circ \Delta w) \\&{}+ \frac{1}{4} \bigl\Vert \Delta \chi ( w ) \bigr\Vert _{2}^{2} - \int _{\Omega } \frac{ \vert w \vert ^{q(x)}}{q(x)} \,dx,\end{aligned} \end{aligned}$$
(3.3)

here

$$ (h \circ \Delta w) (t) = \int ^{t}_{0} h(t-s) \bigl\Vert \Delta w(t) - \Delta w(s) \bigr\Vert _{2}^{2} \,ds , $$

and \(T_{*} = \sup \{ T : [0,T] \text{ is the existence interval of the solution to (1.1)--(1.4)} \}\).

Case of non-positive initial energy

Theorem 3.1

Let \(q_{1} \geq 4\) and the kernel function h satisfy

$$ \int ^{\infty }_{0} h(s) \,ds \leq \frac{ q_{1} ( q_{1} -2 ) }{ q_{1} ( q_{1} -2 ) + 1 }. $$
(3.4)

Let one of the following hold.

  1. (i)

    \(E(0) < 0 \);

  2. (ii)

    \(E( 0) = 0 \) and \((w_{0} , w_{1} ) > \frac{ 2 \Vert \nabla w_{0} \Vert _{2}^{2} }{ q_{1} -2} \).

Then the solution w of problem (1.1)(1.4) blows up in a finite time \(T_{*}\), that is,

$$ \lim_{t \to T_{*}^{-}} \bigl\Vert \Delta w(t) \bigr\Vert _{2} = \infty . $$
(3.5)

In addition, \(T_{*}\) satisfies

$$ T_{*} \leq \frac{ 2 \Vert w_{0} \Vert _{2}^{2} + 2 \alpha \beta ^{2} }{ ( q_{1} -2) \{ (w_{0}, w_{1}) + \alpha \beta \} -2 \Vert \nabla w_{0} \Vert _{2}^{2} } , $$
(3.6)

where

$$\begin{aligned} \textstyle\begin{cases} 0 < \alpha \leq -2E(0) \quad \textit{and} \quad \beta > \max \{ 0 , - \frac{( w_{0}, w_{1} )}{ \alpha } , \frac{ 2 \Vert \nabla w_{0} \Vert _{2}^{2} - ( q_{1} -2 ) ( w_{0} , w_{1}) }{ q_{1} -2 } \} \quad \textit{if } E( 0) < 0 ; \\ \alpha =0 \quad \textit{if } E( 0) = 0 \quad \textit{and}\quad (w_{0} , w_{1} ) > \frac{ 2 \Vert \nabla w_{0} \Vert _{2}^{2} }{ q_{1} -2} . \end{cases}\displaystyle \end{aligned}$$
(3.7)

Proof

Suppose that w is global. For \(0 < T < T_{*} \), we define a function F on \([0,T]\) by

$$ F(t) = \Vert w \Vert _{2}^{2} + \int ^{t}_{0} \bigl\Vert \nabla w(s) \bigr\Vert _{2}^{2} \,ds + (T-t) \Vert \nabla w_{0} \Vert _{2}^{2} + \alpha (t+ \beta )^{2}, $$
(3.8)

where \(\alpha \geq 0 \) and \(\beta >0 \) are the constants satisfying (3.7), then

$$\begin{aligned}& F(t) > 0 \quad \text{for } t \in [0,T], \end{aligned}$$
(3.9)
$$\begin{aligned}& F'(t) = 2(w, w_{t}) + 2 \int ^{t}_{0} \bigl(\nabla w(s), \nabla w_{t}(s) \bigr) \,ds + 2 \alpha (t+ \beta ), \end{aligned}$$
(3.10)

and

$$\begin{aligned} F''(t) = & 2 \Vert w_{t} \Vert _{2}^{2} - 2 \biggl( 1 - \int ^{t}_{0} h(s) \,ds \biggr) \Vert \Delta w \Vert _{2}^{2} + 2 \bigl( w, \bigl[ w, \chi ( w ) \bigr] \bigr) + 2 \int _{ \Omega } \vert w \vert ^{q(x)} \,dx \\ & {} - 2 \int ^{t}_{0} h(t-s) \bigl(\Delta w(t), \Delta w(t) - \Delta w(s) \bigr) \,ds + 2 \alpha . \end{aligned}$$

From Lemma 2.4, (1.2), and (1.3), we have

$$\begin{aligned} 2 \bigl( w, \bigl[ w, \chi ( w ) \bigr] \bigr) = 2 \bigl( [ w, w ] , \chi ( w ) \bigr) = - 2 \bigl\Vert \Delta \chi ( w ) \bigr\Vert _{2}^{2} . \end{aligned}$$

Thus, we get

$$\begin{aligned} F''(t) = & 2 \Vert w_{t} \Vert _{2}^{2} - 2 \biggl( 1 - \int ^{t}_{0} h(s) \,ds \biggr) \Vert \Delta w \Vert _{2}^{2} - 2 \bigl\Vert \Delta \chi ( w ) \bigr\Vert _{2}^{2} + 2 \int _{\Omega } \vert w \vert ^{q(x)} \,dx \\ & {} - 2 \int ^{t}_{0} h(t-s) \bigl(\Delta w(t), \Delta w(t) - \Delta w(s) \bigr) \,ds + 2 \alpha . \end{aligned}$$
(3.11)

Using the inequality \(( a \xi _{1} + b \xi _{2} + c \xi _{3} )^{2} \leq ( a^{2} + b^{2} + c^{2} ) ( \xi _{1}^{2} + \xi _{2}^{2} + \xi _{3}^{2} ) \) and (3.8), we get

$$\begin{aligned} \bigl(F'(t) \bigr)^{2} \leq 4 F(t) \biggl( \Vert w_{t} \Vert _{2}^{2} + \int ^{t}_{0} \bigl\Vert \nabla w_{t}(s) \bigr\Vert _{2}^{2} \,ds + \alpha \biggr) . \end{aligned}$$
(3.12)

Using (3.11), (3.12), (3.3), (3.2), and Young’s inequality, one finds

$$\begin{aligned}& F(t) F''(t) - \frac{q_{1} + 2}{4} \bigl(F'(t) \bigr)^{2} \\& \quad \geq F(t) \biggl\{ - q_{1} \Vert w_{t} \Vert _{2}^{2} - 2 \biggl( 1 - \int ^{t}_{0} h(s) \,ds \biggr) \Vert \Delta w \Vert _{2}^{2} - 2 \bigl\Vert \Delta \chi ( w ) \bigr\Vert _{2}^{2} + 2 \int _{\Omega } \vert w \vert ^{q(x)} \,dx \\& \quad \quad {} - 2 \int ^{t}_{0} h(t-s) \bigl(\Delta w(t), \Delta w(t) - \Delta w(s) \bigr) \,ds - ( q_{1} +2 ) \int ^{t}_{0} \bigl\Vert \nabla w_{t}(s) \bigr\Vert _{2}^{2} \,ds - q_{1} \alpha \biggr\} \\& \quad = F(t) \biggl\{ - 2 q_{1} E(t)+ ( q_{1} - 2 ) \biggl( 1 - \int ^{t}_{0} h(s) \,ds \biggr) \Vert \Delta w \Vert _{2}^{2} + q_{1} (h \circ \Delta w) \\& \quad \quad {} - 2 \int ^{t}_{0} h(t-s) \bigl(\Delta w(t), \Delta w(t) - \Delta w(s) \bigr) \,ds + \biggl( \frac{q_{1}}{2} -2 \biggr) \bigl\Vert \Delta \chi ( w ) \bigr\Vert _{2}^{2} \\& \quad \quad {} - ( q_{1} +2 ) \int ^{t}_{0} \bigl\Vert \nabla w_{t}(s) \bigr\Vert _{2}^{2} \,ds - 2 q_{1} \int _{\Omega } \frac{ \vert w \vert ^{q(x)} }{q(x)} \,dx + 2 \int _{ \Omega } \vert w \vert ^{q(x)} \,dx - q_{1} \alpha \biggr\} \\& \quad \geq F(t) \biggl\{ - 2 q_{1} E(0)+ ( q_{1} - 2 ) \biggl( 1 - \int ^{t}_{0} h(s) \,ds \biggr) \Vert \Delta w \Vert _{2}^{2} + q_{1} (h \circ \Delta w) \\& \quad \quad {} - 2 \int ^{t}_{0} h(t-s) \bigl(\Delta w(t), \Delta w(t) - \Delta w(s) \bigr) \,ds + \biggl( \frac{q_{1}}{2} -2 \biggr) \bigl\Vert \Delta \chi ( w ) \bigr\Vert _{2}^{2} \\& \quad \quad {} + ( q_{1} - 2 ) \int ^{t}_{0} \bigl\Vert \nabla w_{t}(s) \bigr\Vert _{2}^{2} \,ds - 2 q_{1} \int _{\Omega } \frac{ \vert u \vert ^{q(x)} }{q(x)} \,dx + 2 \int _{ \Omega } \vert w \vert ^{q(x)} \,dx - q_{1} \alpha \biggr\} . \end{aligned}$$
(3.13)

Using the relations

$$\begin{aligned} - 2 q_{1} \int _{\Omega } \frac{ \vert w \vert ^{q(x)} }{q(x)} \,dx \geq - 2 \int _{\Omega } \vert w \vert ^{q(x)} \,dx \end{aligned}$$

and

$$\begin{aligned} - 2 \int ^{t}_{0} h(t-s) \bigl(\Delta w (t), \Delta w(t) - \Delta w(s) \bigr) \,ds \geq - \epsilon (h \circ \Delta w ) - \frac{1}{\epsilon } \biggl( \int ^{t}_{0} h(s) \,ds \biggr) \Vert \Delta w \Vert _{2}^{2} \end{aligned}$$

for \(\epsilon >0 \), we infer

$$\begin{aligned} F(t) F''(t) - \frac{q_{1} + 2}{4} \bigl(F'(t) \bigr)^{2} \geq F(t)G(t) , \end{aligned}$$
(3.14)

where

$$\begin{aligned} G(t) = & {-} 2 q_{1} E(0) - q_{1} \alpha + ( q_{1} - \epsilon ) (h \circ \Delta w) \\ & {} + \biggl\{ ( q_{1} - 2 ) - \biggl( q_{1} - 2 + \frac{1}{\epsilon } \biggr) \int ^{t}_{0} h(s) \,ds \biggr\} \Vert \Delta w \Vert _{2}^{2} . \end{aligned}$$
(3.15)

Taking \(\epsilon = q_{1}\) in (3.15), and using (3.4) and (3.7), we find

$$\begin{aligned} G(t) \geq - 2 q_{1} E(0) + \biggl\{ ( q_{1} - 2 ) - \biggl( q_{1} - 2 + \frac{1}{ q_{1} } \biggr) \int ^{t}_{0} h(s) \,ds \biggr\} \Vert \Delta w \Vert ^{2} - q_{1} \alpha \geq 0. \end{aligned}$$

From the condition (3.7), it is clear that

$$ F'(0) = 2 (w_{0}, w_{1}) + 2 \alpha \beta >0 . $$

Thus, applying Lemma 3.1, we get the existence of \(T_{*}\) satisfying

$$ T_{*} \leq \frac{ 4 F(0)}{(q_{1} -2) F '(0)} = \frac{ 2 ( \Vert w_{0} \Vert _{2}^{2} + T \Vert \nabla w_{0} \Vert _{2}^{2} + \alpha \beta ^{2} )}{ (q_{1} -2) \{ ( w_{0}, w_{1}) + \alpha \beta \} } $$
(3.16)

and

$$ \lim_{t \to T_{*}^{-} } F(t) = \infty , $$

which gives

$$ \lim_{t \to T_{*}^{-}} \bigl\Vert \Delta w(t) \bigr\Vert _{2} = \infty . $$

Moreover, using (3.16) and the relation \(0 < T < T_{*} \), we see

$$ T_{*} \leq \frac{ 2 ( \Vert w_{0} \Vert _{2}^{2} + T_{*} \Vert \nabla w_{0} \Vert _{2}^{2} + \alpha \beta ^{2} )}{ (q_{1} -2) \{ ( w_{0}, w_{1}) + \alpha \beta \} } . $$

This gives (3.6) under the condition β given in (3.7). □

Case of certain positive initial energy

We set

$$ {\overline{B}} = \max \biggl\{ 1, \frac{B}{\sqrt{l}} \biggr\} , \quad\quad \eta _{1} = \biggl( \frac{1}{ {\overline{B}} } \biggr)^{\frac{ q_{1} }{ q_{1} -2}}, \quad\quad E_{1} = \frac{( q_{1} -2 ) \eta _{1}^{2}}{2 q_{1} }, $$
(3.17)

where B is the embedding constant given in (2.2), and define a function g by

$$ g(\eta ) = \frac{1}{2} \eta ^{2} - \frac{ {\overline{B}}^{ q_{1} }}{ q_{1} } \eta ^{ q_{1} } . $$
(3.18)

Then one knows

  1. (i)

    \(g(0)=0 \) and \({ \lim_{\eta \to + \infty } g(\eta ) = -\infty }\),

  2. (ii)

    g is increasing on \((0, \eta _{1})\) and decreasing on \((\eta _{1}, \infty ) \),

  3. (iii)

    g has the maximum value \(g(\eta _{1}) = E_{1} \).

Lemma 3.2

Let w be the solution of problem (1.1)(1.4). Assume that

$$ E(0) < E_{1} \quad \textit{and}\quad \eta _{1} < \sqrt{l} \Vert \Delta w_{0} \Vert _{2} \leq \frac{1}{ {\overline{B}} }. $$
(3.19)

Then there exists a constant \(\eta _{*} > \eta _{1}\) such that

$$ l \Vert \Delta w \Vert _{2}^{2} \geq \eta _{*}^{2} \quad \textit{for } 0 \leq t < T_{*} . $$
(3.20)

Proof

From (3.3), Lemma 2.1, (2.2) and (3.17), we have

$$\begin{aligned} E(t) \geq & \frac{1}{2} \biggl( 1 - \int ^{t}_{0} h(s) \,ds \biggr) \Vert \Delta w \Vert _{2}^{2} - \int _{\Omega } \frac{ \vert w \vert ^{q(x)} }{q(x)} \,dx \\ \geq & \frac{l}{2} \Vert \Delta w \Vert _{2}^{2} - \frac{1}{ q_{1} } \max \bigl\{ \Vert w \Vert ^{ q_{1} }_{q(\cdot )}, \Vert w \Vert ^{ q_{2} }_{q(\cdot )} \bigr\} \\ \geq & \frac{l}{2} \Vert \Delta w \Vert _{2}^{2} - \frac{1}{ q_{1} } \max \bigl\{ B^{ q_{1} } \Vert \Delta w \Vert _{2}^{ q_{1} }, B^{ q_{2} } \Vert \Delta w \Vert _{2}^{ q_{2} } \bigr\} \} \\ \geq & \frac{1}{2} \bigl( \sqrt{l} \Vert \Delta w \Vert _{2} \bigr) ^{2} - \frac{1}{ q_{1} } \max \bigl\{ { \overline{B}}^{ q_{1} } \bigl( \sqrt{l} \Vert \Delta w \Vert _{2} \bigr)^{q_{1} }, {\overline{B}}^{ q_{2} } \bigl( \sqrt{l} \Vert \Delta w \Vert _{2} \bigr)^{ q_{2} } \bigr\} \\ = & f \bigl( \sqrt{l} \Vert \Delta w \Vert _{2} \bigr), \end{aligned}$$
(3.21)

where

$$ f(\eta ) = \frac{1}{2} \eta ^{2} - \frac{1}{ q_{1} } \max \bigl\{ { \overline{B}}^{ q_{1} } \eta ^{ q_{1} }, {\overline{B}}^{ q_{2} } \eta ^{q_{2} } \bigr\} . $$

It is easily seen that

$$ f(\eta ) = g(\eta ) \quad \text{for } 0 \leq \eta \leq \frac{1}{ {\overline{B}} }. $$
(3.22)

Since \(E(0) < E_{1}\), there exists \(\eta _{*} > \eta _{1}\) such that

$$ E(0) = g(\eta _{*}). $$
(3.23)

From (3.23), (3.21), and (3.19), we observe

$$ g(\eta _{*}) = E(0) \geq f \bigl( \sqrt{l} \Vert \Delta w_{0} \Vert _{2} \bigr) = g \bigl( \sqrt{l} \Vert \Delta w_{0} \Vert _{2} \bigr) . $$

Since g is decreasing on \((\eta _{1}, \infty )\), we see that

$$ \eta _{*} \leq \sqrt{l} \Vert \Delta w_{0} \Vert _{2}. $$

From (3.19), we also know

$$ \eta _{1} < \eta _{*} \leq \frac{1}{{\overline{B}}} . $$
(3.24)

We will show (3.20) by contradiction. Suppose that there exists \(t_{0} \in [0, T_{*} ) \) such that

$$ \sqrt{l} \bigl\Vert \Delta w ( t_{0}) \bigr\Vert _{2} < \eta _{*} . $$

Because the solution w is continuous in t, there exists \(t_{1} >0\) such that

$$ \eta _{1} < \sqrt{l} \bigl\Vert \Delta w(t_{1}) \bigr\Vert _{2} < \eta _{*} . $$
(3.25)

Noting that g is decreasing on \((\eta _{1}, \infty )\) and using (3.23), (3.25), (3.22), (3.24), (3.21), (3.1), we get

$$ E(0) = g( \eta _{*} ) < g \bigl( \sqrt{l} \bigl\Vert \Delta w (t_{1}) \bigr\Vert _{2} \bigr) = f \bigl( \sqrt{l} \bigl\Vert \Delta w (t_{1}) \bigr\Vert _{2} \bigr) \leq E(t_{1}) \leq E(0). $$

This is a contradiction. □

Theorem 3.2

Let the conditions of Lemma 3.2are valid. If \(E(0) = \gamma E_{1} \), where \(0< \gamma <1 \), and

$$ \int ^{\infty }_{0} h(s) \,ds \leq \frac{ q_{1} -2}{ q_{1} -2 + \frac{1}{(1- \gamma )^{2} q_{1} + 2 \gamma (1- \gamma ) } }, $$
(3.26)

the solution w to problem (1.1)(1.4) blows up in a finite time \(T_{*} \). Moreover, \(T_{*}\) satisfies

$$ T_{*} \leq \frac{ 2 \Vert w_{0} \Vert _{2}^{2} + 2 \alpha \beta ^{2} }{ ( q_{1} -2) \{ (w_{0}, w_{1}) + \alpha \beta \} -2 \Vert \nabla w_{0} \Vert _{2}^{2} } , $$

where

$$ \begin{gathered} 0 < \alpha \leq \frac{ \gamma \lambda ( q_{1} -2 ) }{ q_{1} }, \quad \textit{and} \\ \beta > \max \biggl\{ 0 , - \frac{( w_{0}, w_{1} )}{ \alpha } , \frac{ 2 \Vert w_{0} \Vert _{2}^{2} - ( q_{1} -2 ) ( w_{0} , w_{1}) }{ q_{1} -2 } \biggr\} , \end{gathered} $$
(3.27)

here \(0 < \lambda < \eta _{*}^{2} - \eta _{1}^{2} \).

Proof

Let F be the function given in (3.8) with (3.27). Then (3.9), (3.10), (3.11), (3.14), and (3.15) are valid. Taking \(\epsilon = (1- \gamma ) q_{1} + 2 \gamma \) in (3.15), we have

$$\begin{aligned} G(t) \geq & {-} 2 q_{1} E(0) - q_{1} \alpha + \gamma ( q_{1} -2) (h \circ \Delta w ) \\ & {} + \biggl\{ ( q_{1} -2) - \biggl( q_{1} - 2 + \frac{1}{(1- \gamma ) q_{1} + 2 \gamma } \biggr) \int ^{t}_{0} h(s)\,ds \biggr\} \Vert \Delta w \Vert _{2}^{2} . \end{aligned}$$
(3.28)

The condition (3.26) implies

$$\begin{aligned} ( q_{1} -2) - \biggl( q_{1} -2 + \frac{1}{ (1- \gamma ) q_{1} + 2 \gamma } \biggr) \int ^{t}_{0} h(s)\,ds \geq \gamma ( q_{1} -2) \biggl( 1 - \int ^{\infty }_{0} h(s)\,ds \biggr). \end{aligned}$$

Since w is continuous in t, Lemma 3.2 guarantees the existence of \(\lambda >0\) with

$$\begin{aligned} \eta _{1}^{2} + \lambda < \eta _{*}^{2} \leq l \Vert \Delta w \Vert _{2}^{2} \quad \text{for all } t\in [0,T] . \end{aligned}$$

Adapting these too, noting the definition of \(E_{1}\) given in (3.17), and using (3.27), we have

$$\begin{aligned} G(t) \geq & {-} 2 q_{1} E(0) - q_{1} \alpha + \gamma ( q_{1} -2) l \Vert \Delta w \Vert _{2}^{2} \\ \geq & {-} 2 q_{1} \gamma E_{1} - q_{1} \alpha + \gamma ( q_{1} -2 ) \bigl( \eta _{1}^{2} + \lambda \bigr) \\ = & \gamma ( q_{1} - 2 ) \lambda - q_{1} \alpha \geq 0. \end{aligned}$$

By the same argument of Theorem 3.1, we complete the proof. □

Case of high initial energy

Lemma 3.3

If \(q_{1} \geq 4\) and h satisfies (3.4), it fulfills

$$\begin{aligned} \biggl( (w, w_{t}) - \frac{2 q_{1} + k B_{2}^{2}}{ 2k Q } E(t) \biggr) \geq e^{rt} \biggl( (w_{0} , w_{1}) - \frac{2 q_{1} + k B_{2}^{2}}{ 2k Q } E(0) \biggr) \quad \textit{for } t\in [0,T_{*}), \end{aligned}$$
(3.29)

here

$$ \begin{gathered} Q = ( q_{1} - 2 ) - \biggl( q_{1} - 2 + \frac{1}{q_{1} } \biggr) (1- l ) , \\ k = \min \biggl\{ \frac{ q_{1} +2}{ q_{1} -2}, \frac{1}{B_{1}^{2} B_{2}^{2}} \biggr\} , \quad\quad r = \frac{2 k q_{1} Q }{2 q_{1} + k B_{2}^{2}} .\end{gathered} $$
(3.30)

Proof

Using (1.1)–(1.4) and Young’s inequality, we get

$$\begin{aligned} \frac{d}{dt}(w, w_{t} ) = & \Vert w_{t} \Vert _{2}^{2} - \biggl( 1- \int ^{t}_{0} h(s) \,ds \biggr) \Vert \Delta w \Vert _{2}^{2} - (\nabla w, \nabla w_{t} ) - \bigl\Vert \Delta \chi ( w ) \bigr\Vert _{2}^{2} \\ & {} + \int ^{t}_{0} h(t-s) \bigl( \Delta w(s) - \Delta w(t), \Delta w(t) \bigr) \,ds + \int _{\Omega } \vert w \vert ^{q(x)} \,dx \\ \geq & \Vert w_{t} \Vert _{2}^{2} - \biggl\{ \biggl( 1- \int ^{t}_{0} h(s) \,ds \biggr) + \frac{1}{2 q_{1}} \int ^{t}_{0} h(s) \,ds \biggr\} \Vert \Delta w \Vert _{2}^{2} - \bigl\Vert \Delta \chi ( w ) \bigr\Vert _{2}^{2} \\ & {} - \frac{ \delta }{2} \Vert \nabla w \Vert _{2}^{2} - \frac{ 1 }{2 \delta } \Vert \nabla w_{t} \Vert _{2}^{2} - \frac{q_{1}}{2} ( h \circ \Delta w) + \int _{\Omega } \vert w \vert ^{q(x)} \,dx \end{aligned}$$
(3.31)

for \(\delta >0 \). From (3.3), we observe

$$\begin{aligned} \int _{\Omega } \vert w \vert ^{q(x)} \,dx \geq& - q_{1} E(t) + \frac{ q_{1} }{2} \Vert w_{t} \Vert _{2}^{2} + \frac{ q_{1} }{2} \biggl( 1 - \int ^{t}_{0} h(s) \,ds \biggr) \Vert \Delta w \Vert _{2}^{2} \\ &{}+ \frac{ q_{1} }{2} (h \circ \Delta w) + \frac{ q_{1} }{4} \bigl\Vert \Delta \chi ( w ) \bigr\Vert _{2}^{2} . \end{aligned}$$

Applying this to (3.31) and using (3.1), we have

$$\begin{aligned} \frac{d}{dt}(w, w_{t} ) \geq & \frac{ q_{1} +2}{2} \Vert w_{t} \Vert _{2}^{2} + \frac{1}{2 \delta } E'(t) - q_{1} E(t) \\ & {} + \biggl[ \biggl\{ ( q_{1} - 2 ) - \biggl( q_{1} - 2 + \frac{1}{q_{1}} \biggr) \int ^{t}_{0} h(s) \,ds \biggr\} B_{2}^{-2} - \delta \biggr] \frac{ \Vert \nabla w \Vert _{2}^{2} }{2} \\ \geq & \frac{ q_{1} +2}{2} \Vert w_{t} \Vert _{2}^{2} + \frac{1}{2 \delta } E'(t) - q_{1} E(t) \\ & {} + \frac{1}{2 B_{1}^{2} B_{2}^{2} } \biggl[ \biggl\{ ( q_{1} - 2 ) - \biggl( q_{1} - 2 + \frac{1}{q_{1}} \biggr) \int ^{t}_{0} h(s) \,ds \biggr\} - B_{2}^{2} \delta \biggr] \Vert w \Vert _{2}^{2} . \end{aligned}$$

Recalling (3.30), we have

$$\begin{aligned}& \frac{d}{dt} \biggl( (w, w_{t} ) - \frac{1}{2 \delta } E(t) \biggr) \\& \quad \geq \frac{ q_{1} +2}{2} \Vert w_{t} \Vert _{2}^{2} + \frac{ Q - B_{2}^{2} \delta }{2 B_{1}^{2} B_{2}^{2}} \Vert w \Vert _{2}^{2} - q_{1} E(t) \\& \quad \geq \frac{ k ( q_{1} - 2 ) }{2} \Vert w_{t} \Vert _{2}^{2} + \frac{ k ( Q - B_{2}^{2} \delta ) }{2} \Vert w \Vert _{2}^{2} - q_{1} E(t) \\& \quad \geq \frac{ k ( Q - B_{2}^{2} \delta )}{2} \bigl( \Vert w_{t} \Vert _{2}^{2} + \Vert w \Vert _{2}^{2} \bigr) - q_{1} E(t) \\& \quad \geq k \bigl( Q - B_{2}^{2} \delta \bigr) \biggl( ( w, w_{t} ) - \frac{ q_{1} }{ k ( Q - B_{2}^{2} \delta ) } E(t) \biggr) \quad \text{for } 0 < \delta < \frac{ Q }{B_{2}^{2}} . \end{aligned}$$

Taking

$$ \delta = \frac{ k Q }{ 2 q_{1} + k B_{2}^{2} } , $$

we find

$$\begin{aligned} \frac{d}{dt} \biggl( (w, w_{t} ) - \frac{2 q_{1} + k B_{2}^{2}}{ 2k Q } E(t) \biggr) \geq \frac{2 k q_{1} Q }{2 q_{1} + k B_{2}^{2}} \biggl( ( w, w_{t} ) - \frac{2 q_{1} + k B_{2}^{2}}{ 2k Q } E(t) \biggr) . \end{aligned}$$

This completes the proof. □

Theorem 3.3

Let \(q_{1} \geq 4 \) and h satisfy (3.4). If \(0 < E(0) < \frac{2k Q }{2 q_{1} + k B_{2}^{2}} (w_{0}, w_{1}) \), then the solution w blows up in a finite time \(T_{*}\). Moreover, if \(E(0) < \frac{ Q \Vert u_{0} \Vert _{2}^{2} }{ 2 q_{1} B_{1}^{2} B_{2}^{2}} \), then \(T_{*}\) satisfies

$$ T_{*} \leq \frac{ 2 \Vert w_{0} \Vert _{2}^{2} + 2 \alpha \beta ^{2} }{ ( q_{1} -2) \{ (w_{0}, w_{1}) + \alpha \beta \} -2 \Vert \nabla w_{0} \Vert _{2}^{2} }, $$

where

$$\begin{aligned} \begin{gathered} 0 < \alpha \leq \frac{ - 2 q_{1} B_{1}^{2} B_{2}^{2} E(0) + Q \Vert w_{0} \Vert _{2}^{2} }{ q_{1} B_{1}^{2} B_{2}^{2} } \quad \textit{and} \\ \beta > \max \biggl\{ 0, \frac{ - ( q_{1} -2)(w_{0}, w_{1}) + 2 \Vert \nabla w_{0} \Vert _{2}^{2} }{ ( q_{1} -2) \alpha } \biggr\} . \end{gathered} \end{aligned}$$
(3.32)

Proof

Suppose that w is global. Then, using (3.2), we get

$$\begin{aligned} \Vert w \Vert _{2} \leq & \Vert w_{0} \Vert _{2} + \int ^{t}_{0} \bigl\Vert w_{t} (s) \bigr\Vert _{2} \,ds \leq \Vert w_{0} \Vert _{2} + B_{1} t^{\frac{1}{2}} \biggl( \int ^{t}_{0} \bigl\Vert \nabla w_{t} (s) \bigr\Vert _{2}^{2} \,ds \biggr)^{\frac{1}{2}} \\ \leq & \Vert w_{0} \Vert _{2} + B_{2} \bigl( t \bigl( E(0) -E(t) \bigr) \bigr)^{\frac{1}{2}}, \quad t \geq 0 . \end{aligned}$$
(3.33)

In the case \(E(t) \geq 0\) for all \(t\geq 0 \), from (3.33), we see

$$\begin{aligned} \Vert w \Vert _{2}^{2} \leq 2 \Vert w_{0} \Vert _{2}^{2} + 2 B_{2}^{2} E(0)t, \quad t\geq 0. \end{aligned}$$
(3.34)

Applying Lemma 3.3, we also have

$$\begin{aligned} \Vert w \Vert _{2}^{2} = & \Vert w_{0} \Vert _{2}^{2} + 2 \int ^{t}_{0} \bigl(w(s), w_{t} (s) \bigr) \,ds \\ \geq & \Vert w_{0} \Vert _{2}^{2} + 2 \biggl\{ \int ^{t}_{0} e^{rs} \biggl( (w_{0} , w_{1}) - \frac{2 q_{1} + k B_{2}^{2}}{ 2k Q } E(0) \biggr) \,ds + \int ^{t}_{0} \frac{2 q_{1} + k B_{2}^{2}}{ 2k Q } E(s) \,ds \biggr\} \\ \geq & \Vert w_{0} \Vert _{2}^{2} + 2 \biggl( (w_{0} , w_{1}) - \frac{2 q_{1} + k B_{2}^{2}}{ 2k Q } E(0) \biggr) \frac{ e^{rt} -1 }{r} \quad \text{for all } t\geq 0. \end{aligned}$$
(3.35)

But this contradicts (3.34) for t appropriately large. In the case \(E( t_{1} ) < 0\) for some \(t_{1} > 0 \), there exists the first \(t_{2} >0\) with \(0 < t_{2} < t_{1} \) satisfying \(E(t_{2}) =0 \), \(E(t) >0\) for \(0 \leq t < t_{2}\), and \(E(t_{0}) < 0\) for some \(t_{0} > t_{2}\). Taking \(w(t_{0})\) as a new initial datum, by Theorem 3.1, the solution w blows up after the time \(t_{0}\). This also is a contradiction. Consequently, \(T_{*} < \infty \).

Let F be the function given in (3.8) with (3.32). Then (3.9), (3.10), (3.11), (3.14), and (3.15) are also valid. Taking \(\epsilon = q_{1}\) in (3.15) and using (3.35), we have

$$\begin{aligned} F(t) F''(t) - \frac{q_{1} + 2}{4} \bigl(F'(t) \bigr)^{2} \geq & F(t) \bigl( - 2 q_{1} E(0) - q_{1} \alpha + Q \Vert \Delta w \Vert _{2}^{2} \bigr) \\ \geq & F(t) \biggl( - 2 q_{1} E(0) - q_{1} \alpha + \frac{ Q }{ B_{1}^{2} B_{2}^{2}} \Vert w_{0} \Vert _{2}^{2} \biggr). \end{aligned}$$

From (3.32), we observe

$$ F(t) F''(t) - \frac{ q_{1} +2}{4} \bigl( F'(t) \bigr)^{2} \geq 0 . $$

By the same argument of Theorem 3.1, we complete the proof. □

Theorem 3.4

Let the conditions of one of Theorem 3.1–Theorem 3.3are satisfied. Then the blow-up time \(T_{*}\) verifies

$$ \int ^{\infty }_{D(0)} \frac{1}{2 y + d_{1} y^{3} + d_{2} y^{ q_{1} -1 } + d_{3} y^{ q_{2} -1 } } \,dy \leq T_{*}, $$
(3.36)

where \(D(0) = \Vert w_{1} \Vert _{2}^{2} + \Vert \Delta w_{0} \Vert _{2}^{2} \) and \(d_{i} >0\) (\(i=1,2,3\)) are certain constants.

Proof

We let

$$ D(t) = \Vert w_{t} \Vert _{2}^{2} + \biggl( 1 - \int ^{t}_{0} h(s) \,ds \biggr) \Vert \Delta w \Vert _{2}^{2} + ( h \circ \Delta w ). $$
(3.37)

From (3.5), it is observed

$$ \lim_{t \to T_{*}^{-}} D(t) \geq \lim_{t \to T_{*}^{-}} \bigl( \Vert w_{t} \Vert _{2}^{2} + l \Vert \Delta w \Vert _{2}^{2} \bigr) = \infty . $$
(3.38)

Using (1.1)–(1.4), one gets

$$\begin{aligned} D'(t) = & {-} 2 \Vert \nabla w_{t} \Vert _{2}^{2} - h(t) \Vert \Delta w \Vert _{2}^{2} + \bigl(h' \circ \Delta w \bigr) + 2 \bigl( w_{t}, \bigl[w, \chi ( w ) \bigr] \bigr) + 2 \int _{ \Omega } w_{t} \vert w \vert ^{ q(x) -2} w \,dx \\ \leq & 2 \Vert w_{t} \Vert _{2}^{2} + \bigl\Vert \bigl[w, \chi ( w ) \bigr] \bigr\Vert _{2}^{2} + \int _{ \Omega } \vert w \vert ^{2(q(x) -1 )} \,dx. \end{aligned}$$
(3.39)

From Lemma 2.2 and Lemma 2.3, we see

$$\begin{aligned} \bigl\Vert \bigl[w, \chi ( w ) \bigr] \bigr\Vert _{2}^{2} \leq & \bigl( a_{2} \Vert w \Vert _{H^{2}(\Omega )} \bigl\Vert \chi ( w ) \bigr\Vert _{W^{2, \infty }(\Omega )} \bigr)^{2} \\ \leq & \bigl( a_{1} a_{2} \Vert w \Vert _{H^{2}(\Omega )}^{3} \bigr)^{2} \\ \leq & b_{1} \Vert \Delta w \Vert _{2}^{6} \end{aligned}$$
(3.40)

for some \(b_{1} >0 \). The last term of (3.39) is estimated as

$$\begin{aligned} \int _{\Omega } \vert w \vert ^{2(q(x) -1 )} \,dx \leq & \int _{ \vert w \vert < 1} \vert w \vert ^{2( q_{1} - 1 )} \,dx + \int _{ \vert w \vert \geq 1 } \vert w \vert ^{2( q_{2} - 1 )} \,dx \\ \leq & \Vert w \Vert _{2 ( q_{1} -1 )}^{2 ( q_{1} -1 )} + \Vert w \Vert _{2 ( q_{2} -1 )}^{2 ( q_{2} -1 )} \\ \leq & b_{2} \Vert \Delta w \Vert _{2}^{2 ( q_{1} -1 )} + b_{3} \Vert \Delta w \Vert _{2}^{2 ( q_{2} -1 )} \end{aligned}$$
(3.41)

for some \(b_{2}, b_{3} >0 \). From (3.39), (3.40), (3.41), and (3.37), we arrive at

$$\begin{aligned} D'(t) \leq & 2 \Vert w_{t} \Vert _{2}^{2} + b_{1} \Vert \Delta w \Vert _{2}^{6} + b_{2} \Vert \Delta w \Vert _{2}^{2 ( q_{1} -1 )} + b_{3} \Vert \Delta w \Vert _{2}^{2 ( q_{2} -1 )} \\ \leq & 2 D(t) + d_{1} \bigl(D(t) \bigr)^{3} + d_{2} \bigl(D(t) \bigr)^{ q_{1} -1 } + d_{3} \bigl(D(t) \bigr)^{ q_{2} -1 } \end{aligned}$$

for some \(d_{1}, d_{2}, d_{3} >0\). Using the integration of substitution and (3.38), we get (3.36). □

Conclusion

In this paper, the author considered a viscoelastic von Karman equation with strong damping and variable exponent source terms. We showed that the solutions with three levels of initial energy such as non-positive initial energy, certain positive initial energy, and high initial energy blow up in a finite time. Moreover, we estimated not only the upper bound but also the lower bound of the blow-up time.

Availability of data and materials

Not applicable.

References

  1. 1.

    Aboulaich, R., Meskine, D., Souissi, A.: New diffusion models in image processing. Comput. Math. Appl. 56, 874–882 (2008)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Antontsev, S., Shmarev, S.: A model porous medium equation with variable exponent of nonlinearity: existence, uniqueness and localization properties of solutions. Nonlinear Anal. 60, 515–545 (2005)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Antontsev, S., Shmarev, S.: Evolution PDEs with Nonstandard Growth Conditions. Existence, Uniqueness, Localization, Blow-up. Atlantis Studies in Differential Equations, vol. 4. Atlantis Press, Paris (2015), xviii+409 pp.

    Book  Google Scholar 

  4. 4.

    Arumugam, G., Erhardt, A.H.: Existence of weak solutions to a certain homogeneous parabolic Neumann problem involving variable exponents and cross-diffusion. J. Elliptic Parabolic Equ. 6, 685–709 (2020)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Chueshov, I., Lasiecka, I.: Von Karman Evolution Equations: Well-Posedness and Long-Time Dynamics. Springer, New York (2010)

    Book  Google Scholar 

  6. 6.

    Edmunds, D., Rakosnik, J.: Sobolev embeddings with variable exponent. Stud. Math. 143, 267–293 (2000)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Fan, X., Zhao, C.: On the spaces \(L^{p(x)}(\Omega )\) and \(W^{m,p(x)}(\Omega )\). J. Math. Anal. Appl. 263, 424–446 (2001)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Favini, A., Horn, M.A., Lasiecka, I., Tataru, D.: Global existence, uniqueness and regularity of solutions to a von Karman system with nonlinear boundary dissipation. Differ. Integral Equ. 6, 267–294 (1996), Addendum to this paper Differ. Integral Equ. 10, 197–200 (1997)

    MATH  Google Scholar 

  9. 9.

    Horn, M.A., Lasiecka, I.: Uniform decay of weak solutions to a von Karman plate with nonlinear boundary dissipation. Differ. Integral Equ. 7, 885–908 (1994)

    MATH  Google Scholar 

  10. 10.

    Kang, J.-R.: Existence and blow-up of solutions for von Karman equations with time delay and variable exponents. Appl. Math. Comput. 371, Article ID 124917 (2020)

    MathSciNet  MATH  Google Scholar 

  11. 11.

    Lars, D., Harjulehto, P., Hasto, P., Ruzicka, M.: Lebesgue and Sobolev Spaces with Variable Exponents. Lecture Notes in Mathematics, vol. 2017. Springer, Berlin (2011)

    MATH  Google Scholar 

  12. 12.

    Levine, H.A.: Instability and nonexistence of global solutions of nonlinear wave equation of the form \(Pu_{tt} = Au + F(u)\). Trans. Am. Math. Soc. 192, 1–21 (1974)

    MATH  Google Scholar 

  13. 13.

    Li, X., Guo, B., Liao, M.: Asymptotic stability of solutions to quasilinear hyperbolic equations with variable sources. Comput. Math. Appl. 79, 1012–1022 (2020)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Lian, S., Gao, W., Cao, C., Yuan, H.: Study of the solutions to a model porous medium equation with variable exponent of nonlinearity. J. Math. Anal. Appl. 342, 27–38 (2008)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Messaoudi, S.A., Talahmeh, A.A., Al-Smail, J.H.: Nonlinear damped wave equation: existence and blow-up. Comput. Math. Appl. 74, 3024–3041 (2017)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Munoz Rivera, J.E., Menzala, G.P.: Decay rates of solutions of a von Karman system for viscoelastic plates with memory. Q. Appl. Math. LVII, 181–200 (1999)

    Article  Google Scholar 

  17. 17.

    Park, J.Y., Park, S.H.: Uniform decay for a von Karman plate equation with a boundary memory condition. Math. Methods Appl. Sci. 28, 2225–2240 (2005)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Park, J.Y., Park, S.H., Kang, Y.H.: General decay for a von Karman equation of memory type with acoustic boundary conditions. Z. Angew. Math. Phys. 63, 813–823 (2012)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Park, S.-H., Kang, J.-R.: Blow-up of solutions for a viscoelastic wave equation with variable exponents. Math. Methods Appl. Sci. 42, 2083–2097 (2019)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Rajagopal, K., Ružička, M.: Mathematical modeling of electrorheological materials. Contin. Mech. Thermodyn. 13, 59–78 (2001)

    Article  Google Scholar 

  21. 21.

    Shangerganesh, L., Gurusamy, A., Balachandran, K.: Weak solutions for nonlinear parabolic equations with variable exponents. Commun. Math. 25, 55–70 (2017)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Zhikov, V.V.: Solvability of the three-dimensional thermistor problem. Proc. Steklov Inst. Math. 261, 98–111 (2008)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Zu, G., Guo, B.: Bounds for lifespan of solutions to strongly damped semilinear wave equations with logarithmic sources and arbitrary initial energy. Evol. Equ. Control Theory. https://doi.org/10.3934/eect.2020065

Download references

Acknowledgements

The author is grateful to the anonymous referees for their careful reading and valuable comments.

Funding

This work was supported by Basic Science Research Program through the National Research Foundation of Korea(NRF) funded by the Ministry of Education (2020R1I1A3066250).

Author information

Affiliations

Authors

Contributions

The author read and approved the final manuscript.

Corresponding author

Correspondence to Sun-Hye Park.

Ethics declarations

Competing interests

The author declares that they have no competing interests.

Additional information

Abbreviations

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 http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Park, SH. Blow-up for a viscoelastic von Karman equation with strong damping and variable exponent source terms. Bound Value Probl 2021, 63 (2021). https://doi.org/10.1186/s13661-021-01537-2

Download citation

MSC

  • 35B44
  • 74D99

Keywords

  • Blow-up
  • von Karman equation
  • Variable exponent
  • High initial energy
  • Bounds of blow-up time