Skip to content


  • Research
  • Open Access

Global existence and blow-up of solution for the semilinear wave equation with interior and boundary source terms

Boundary Value Problems20192019:18

  • Received: 8 October 2018
  • Accepted: 15 January 2019
  • Published:


This paper is concerned with semilinear wave equations with nonlinear interior and boundary sources and subject to a nonlinear dynamical boundary condition. By using the potential well method combined with a standard continuous argument, under appropriate assumptions imposed on the source term, we establish global existence of solutions. Moreover, for certain initial data in the unstable set, the finite time blow-up phenomenon is exhibited.


  • Global existence
  • Blow-up
  • Dynamical boundary condition
  • Wave equation
  • Potential well theory


  • 35A01
  • 35L35
  • 35B44
  • 76X05

1 Introduction

In this paper, we consider the following model of semilinear wave equation with nonlinear interior and boundary sources:
$$\begin{aligned}& u_{tt}- \Delta u_{tt} - \Delta u=g(u),\quad t > 0, \end{aligned}$$
$$\begin{aligned}& \frac{\partial u_{tt}}{\partial\nu}+\frac{\partial u}{\partial\nu }+u=f(u), \quad x \in\varGamma, t>0, \end{aligned}$$
$$\begin{aligned}& u(x, 0)=u_{0}(x),\qquad u_{t}(x, 0)=u_{1}(x), \quad x\in\varOmega, \end{aligned}$$
in a bounded domain \(\varOmega\subset R^{n}\) with smooth boundary \(\partial\varOmega=\varGamma\), where \(f(s)\), \(g(s)\) are continuous functions and \(\frac{\partial}{\partial\nu}\) denotes the unit outer normal derivative. In this paper, we take \(f(s)=b|u|^{k-1}u\), \(g(s)= a|u|^{p-1}u\), where a, b are positive constants. For simplicity, we take \(a=b=1\).
Problem (1.1)–(1.3) arises from a model equation of ion-sound waves in ‘non-magnetized’ plasma taking account of nonlinear sources localized on the boundary [16]. This generates a nonlinear dynamical boundary condition which is ’close’ to the nonlinear Neumann–Dirichlet condition [1]. Problem (1.1)–(1.3) when \(g(u)=0\) (i.e., without interior source term) has been considered by Korpusov [1]. Korpusov proved that the solution of problem (1.1)–(1.3) exists locally in time for all initial data \(u_{0} (x), u_{1} (x)\in H^{1}(\varOmega)\) and that the solution blows up in a finite time provided that the initial data (the functions \(u_{0} (x)\) and \(u_{1} (x)\)) are sufficiently ‘large’, i.e.,
$$\begin{aligned}& \int_{\varOmega}\bigl[|\nabla u_{1} |^{2}+|u_{1} |^{2} \bigr]\,dx+ \int_{\varOmega}|\nabla u_{0} |^{2}\,dx < 2 \int_{\varGamma} \int_{0}^{u_{0}}f(s)\,ds\,dx, \\& \int_{\varOmega}[\nabla u_{1} \nabla u_{0}+u_{0}u_{1}] \,dx>0, \end{aligned}$$
by using a modification of Levine’s energy method [7, 8]. Park and Kim [9] discussed the existence and uniform decay rates of the energy of solutions for the following problem:
$$\begin{aligned}& |u_{t}|^{\rho}u_{tt}- \beta\Delta u_{tt} - \Delta u- \Delta u_{t}=0, \quad \mbox{in }\varOmega\times(0,\infty), \\& \beta\frac{\partial u_{tt}}{\partial\nu}+\frac{\partial u}{\partial\nu}+\frac{\partial u_{t}}{\partial\nu}+u= \int_{0}^{t} g(t-s)\bigl|u_{t}(s)\bigr|^{\gamma}u_{t}(s) \,ds,\quad \mbox{on } \varGamma_{1} \times(0,\infty ), \\& u=0,\quad \mbox{on } \varGamma_{0} \times(0,\infty), \end{aligned}$$
with initial condition (1.3), where \(\varGamma_{1} \cup\varGamma _{0}=\partial\varOmega=\varGamma\) and \(\varGamma_{1} \cap\varGamma_{0}=\o\). However, as far as we know, until now there have not been many works on this class of problems. In this paper, we will extend the result in [1] for negative initial energy to the semilinear wave equation with positive initial energy and nonlinear interior and boundary sources. It is well known that the presence of the boundary source term in equation (1.2) brings great difficulty due to the fact that the Lopatinskii condition [10] does not hold [11]. A combination of interior and boundary sources with positive initial energy is a much more challenging problem.
To motivate our work, let us recall some results of the following wave equations:
$$\begin{aligned}& u_{tt} - \Delta u+g(u_{t})=f(u), \quad \mbox{in }\varOmega \times(0,T), \end{aligned}$$
$$\begin{aligned}& \frac{\partial u}{\partial\nu}+u+g_{1}(u_{t})=h(u),\quad \mbox{on } \varGamma\times (0,T). \end{aligned}$$
This problem has been widely studied. Several results have been established. It is worth noting the pioneering work of Lasiecka and Tataru [12] in which (1.4) with \(g=0\) was conducted under a very weak geometrical condition on ∂Ω. They established the uniform decay rates for the solutions. Vitillaro [13] obtained a full analysis of local and global existence of problem (1.4), (1.5) and (1.3). Recently, Boicu and Lasiecka et al. [11, 1428] studied problem (1.4), (1.5) and (1.3) with interior and boundary sources and damping terms. They obtained global existence of a unique weak solution and established explicit uniform energy rates. As for blow-up of solutions, they established blow-up results with up-to-critical boundary sources. Especially, at the super-critical level for both interior and boundary sources terms, the blow-up theorem was presented in [15] for initial data of negative energy, and Bociu, Rammaha, and Toundykov [18] proved a blow-up result for weak solutions with nonnegative initial energy.
It is important to observe that similar equations to the one given in (1.1) arise also in the study of viscoelastic plates. Ji and Lasiecka [29] proved that a semilinear Kirchhoff equation
$$ u_{tt}- \Delta u_{tt} + \Delta^{2} u=f(u) $$
with nonlinear dissipation acting via moments only is uniform energy decay.
Motivated by these papers, in this paper we aim to investigate the existence and nonexistence of global solutions for problem (1.1)–(1.3) with nonnegative initial energy. More precisely, under appropriate assumptions imposed on the source term, we shall establish global existence of solutions by using the potential well method combined with a standard continuous argument. Moreover, for certain initial data in the unstable set, we will extend the finite time blow-up result in [1] for negative initial energy to the semilinear wave equation with positive initial energy and nonlinear interior and boundary sources. Combining this method with the method of [18, 19, 27], we can also consider the equation
$$\begin{aligned}& u_{tt}- \Delta u_{tt} - \Delta u+ \int_{0}^{t}k(t-s)\Delta u(s)\,ds+h(u_{t})=g(u), \end{aligned}$$
$$\begin{aligned}& \frac{\partial u_{tt}}{\partial\nu}+\frac{\partial u}{\partial\nu }+u+h_{1}(u_{t})=f(u), \quad x \in\varGamma, \end{aligned}$$
with initial condition (1.3). The plan of this article is as follows. In Sect. 2, we introduce some notations, assumptions, and preliminaries. In Sect. 3, we show the main results of this article.

2 Preliminaries

In this section, we present some materials needed in the proof of our results. We use the standard Lebesgue space \(L^{p}(\varOmega)\) (\(1< p<\infty\)) and the Sobolev space \(H^{1}(\varOmega)\) with their usual scalar products and norms. For simplicity, \(\|u\|_{L^{p}(\varOmega)}= \| u \|_{p}\) and \(\|u\|_{L^{q}(\varGamma)}= \| u \|_{q,\varGamma}\) for \(1\le p,q\le\infty\). In particular, we denote \(\|u\|_{L^{2}(\varOmega)}= \| u \|\) and \(\|u\|_{L^{2}(\varGamma)}= \| u \|_{\varGamma}\). It is well known that the norm \((\|\nabla u \|^{2}+\| u \|^{2}_{\varGamma})^{\frac{1}{2}}\) is equivalent to the norm \(\|u\|_{H^{1}(\varOmega)}\) on the space \(H^{1}(\varOmega)\). Thus we put \(\|u\|_{H^{1}(\varOmega)}=\|u\|_{1,\varOmega}=(\|\nabla u \|^{2}+\| u \|^{2}_{\varGamma})^{\frac{1}{2}}\) for \(u \in H^{1}(\varOmega)\). The constants C used throughout this paper are positive generic constants, which may be different in various occurrences.

We assume that
$$ 1\le p\le\frac{n}{n-2},\qquad 1\le k \le\frac{n-1}{n-2}\quad \mbox{if } n \ge3;\qquad p\ge 1,\qquad k\ge1 \quad \mbox{if } n=1,2. $$
In this case, we have the Sobolev embedding \(H^{1}(\varOmega )\hookrightarrow L^{p+1}(\varOmega)\) and the Trace–Sobolev embedding \(H^{1}(\varOmega)\hookrightarrow L^{k+1}(\varGamma)\). In these cases, the embedding constants are denoted by \(c_{*}\), \(B_{*}\) respectively, i.e.,
$$ \| u \|_{p+1}\le c_{*}\|u\|_{1,\varOmega},\qquad \|u\|_{k+1,\varGamma}\le B_{*}\|u\|_{1,\varOmega}. $$
A function \(u(x,t)\) of class \(L^{\infty}(0,T;H^{1}(\varOmega))\) with \(u_{t},u_{tt}\in L^{\infty}(0,T;H^{1}(\varOmega))\) is called a weak generalized solution of problem (1.1)–(1.3) [1] if it satisfies the equation
$$ (u_{tt},\phi)+(\nabla u_{tt},\nabla\phi) + (\nabla u,\nabla \phi)+ \int _{\varGamma}u\phi \,dx= \int_{\varOmega}|u|^{p-1}u\phi \,dx+ \int_{\varGamma }|u|^{k-1}u\phi \,dx $$
for any \(\phi\in H^{1}(\varOmega)\) and for almost all \(t\in[0,T]\) and the initial condition
$$u(x,0)=u_{0}(x),\qquad u_{t}(x,0)=u_{1}(x). $$

Theorem 2.1

Let \(u_{0},u_{1}\in H^{1}\) and p, k satisfy (2.1), then problem (1.1)(1.3) has a unique weak generalized solution on \([0,T_{0})\) for some \(T_{0}>0\), and we have either \(T_{0}=+\infty\) or \(T_{0}<+\infty\) and
$$\lim_{t \rightarrow T_{0}}\sup\bigl[\|u\|^{2}_{1,\varOmega }+ \|u_{t}\|^{2}_{1,\varOmega}\bigr]=+\infty. $$


This theorem can be easily established by combining the argument of [30] and Theorem 2.2 in [1], so we omit it.

We define the functional that plays as the “potential energy”
$$\begin{aligned} J(u) =&\frac{1}{2}\|\nabla u \|^{2}+\frac{1}{2}\|u \|^{2}_{\varGamma}-\frac {1}{p+1}\|u \|^{p+1}_{p+1} -\frac{1}{k+1}\|u\|^{k+1}_{k+1,\varGamma} \\ =&\frac{1}{2}\|u\|^{2}_{1,\varOmega}-\frac{1}{p+1}\|u \|^{p+1}_{p+1} -\frac {1}{k+1}\|u\|^{k+1}_{k+1,\varGamma}, \end{aligned}$$
and the Nehari functional
$$ I(u)=\|u\|^{2}_{1,\varOmega}-\|u \|^{p+1}_{p+1} - \|u\|^{k+1}_{k+1,\varGamma }. $$
We have also the following energy identity:
$$ E(t)=\frac{1}{2}\| u_{t} \|^{2}_{1,\varOmega}+J(u)=E(0). $$
In the sequel, a crucial role is played by the Nehari manifold to I, that is,
$$N=\bigl\{ u\in H^{1}(\varOmega)| I(u)=0, \|u\|_{1,\varOmega}\neq0 \bigr\} , $$
and we can readily give the mountain-pass level d by \(d=\inf_{u\in N}J(u)\).

Next, we show some properties related to functions \(J(u)\) and \(I(u)\) in the following lemma.

Lemma 2.2

Let \(u \in H^{1}(\varOmega)\) and \(\|u\|_{1,\varOmega}\neq0\), then
  1. (i)

    \(\lim_{\lambda\rightarrow0}J(\lambda u)=0\), \(\lim_{\lambda\rightarrow+ \infty}J(\lambda u)=- \infty\);

  2. (ii)

    There exists unique \(\lambda_{0}=\lambda_{0}(u)\) such that \(\frac{d}{d \lambda}J(\lambda u)|_{\lambda=\lambda_{0}}=0\);

  3. (iii)

    \(J(\lambda u)\) is increasing on \(0<\lambda\le\lambda_{0}\), decreasing on \(\lambda_{0} \le\lambda<+\infty\), and takes the maximum at \(\lambda=\lambda_{0}\);

  4. (iv)

    \(I(\lambda u)>0\) for \(0<\lambda<\lambda_{0}\); \(I(\lambda u)<0\) for \(\lambda>\lambda_{0}\), and \(I(\lambda_{0}u)=0\).



The first conclusion follows from
$$ J(\lambda u)=\frac{\lambda^{2}}{2}\|u\|^{2}_{1,\varOmega}- \frac{\lambda ^{p+1}}{p+1}\|u \|^{p+1}_{p+1} -\frac{\lambda ^{k+1}}{k+1}\|u \|^{k+1}_{k+1,\varGamma}. $$
As in [19], let \(\lambda_{0}\) be the first positive zero of the function \(F'(x)\) where
$$ F(x)=\frac{1}{2}x^{2}-\frac{c_{*}^{p+1}}{p+1}x^{p+1} - \frac {B_{*}^{k+1}}{k+1}x^{k+1}, $$
and we can verify that the function \(F(x)\) is increasing in \(0<\lambda \le\lambda_{0}\), decreasing in \(\lambda_{0} \le\lambda<+\infty\), and F has a maximum at \(\lambda=\lambda_{0}\). Then we have that (ii) and (iii) hold. The conclusion (iv) follows from (iii) and the fact that \(I(\lambda u)=\lambda\frac{J(\lambda u)}{d \lambda}\). □

Lemma 2.3

Let \(I(u)\) be the Nehari functional defined in (2.4) and \(\lambda_{0}\) be the first positive zero of the function \(F'(x)\), then (i) if \(0 <\|u\|_{1,\varOmega}<\lambda_{0}\), then \(I(u)>0\); (ii) if \(I(u)<0\), then \(\|u\|_{1,\varOmega}>\lambda_{0}\); (iii) if \(I(u)=0\) and \(\|u\|_{1,\varOmega}\ne0\), i.e., \(u \in N\), then \(\|u\|_{1,\varOmega}\ge\lambda_{0}\).


We note that
$$ 1=c_{*}^{p+1}\lambda_{0}^{p-1} +B_{*}^{k+1}\lambda_{0}^{k-1}, $$
so we denote \(\phi(x)=c_{*}^{p+1}x^{p-1} +B_{*}^{k+1}x^{k-1}\), then \(\phi(\lambda_{0})=1\).
(i) Since \(\phi(x)\) is a strictly increasing function in \((0, \lambda _{0})\), from \(0 <\|u\|_{1,\varOmega}<\lambda_{0}\), we get \(\phi(\|u\|_{1,\varOmega})<\phi(\lambda_{0})\) and hence
$$\begin{aligned} I(u)&=\|u\|^{2}_{1,\varOmega}-\|u \|^{p+1}_{p+1} - \|u\|^{k+1}_{k+1,\varGamma } \\ &\ge\|u\|^{2}_{1,\varOmega}\bigl(1-c_{*}^{p+1}\|u \|_{1,\varOmega}^{p-1} -B_{*}^{k+1}\|u \|_{1,\varOmega}^{k-1}\bigr) \\ &=\|u\|^{2}_{1,\varOmega}\bigl(1-\phi\bigl(\|u\|_{1,\varOmega}\bigr)\bigr)>0. \end{aligned}$$
(ii) Condition \(I(u)<0\) gives
$$\begin{aligned} \phi(\lambda_{0})\|u\|^{2}_{1,\varOmega} =&\|u \|^{2}_{1,\varOmega}< \|u \|^{p+1}_{p+1} +\|u \|^{k+1}_{k+1,\varGamma} \\ \le&\bigl(c_{*}^{p+1}\|u\|_{1,\varOmega}^{p-1} +B_{*}^{k+1}\|u\|_{1,\varOmega }^{k-1}\bigr)\|u \|^{2}_{1,\varOmega}=\phi\bigl(\|u\|_{1,\varOmega}\bigr)\|u\|^{2}_{1,\varOmega}, \end{aligned}$$
which implies \(\|u\|_{1,\varOmega}\ne0\) and \(\|u\|_{1,\varOmega}>\lambda_{0}\) by the monotonicity of ϕ.
(iii) If \(I(u)=0\) and \(\|u\|_{1,\varOmega}\ne0\), then
$$ \phi(\lambda_{0})\|u\|^{2}_{1,\varOmega}=\|u \|^{2}_{1,\varOmega}=\|u \|^{p+1}_{p+1} +\|u \|^{k+1}_{k+1,\varGamma}\le\phi\bigl( \Vert u \Vert _{1,\varOmega } \bigr)\|u\|^{2}_{1,\varOmega}, $$
and from the monotonicity of ϕ we get \(\|u\|_{1,\varOmega}>\lambda_{0}\). □

Lemma 2.4

Let \(I(u)\) be the Nehari functional defined in (2.4), then (i) \(d\ge d_{0}=(\frac{1}{2}-\max\{\frac{1}{p+1} ,\frac {1}{k+1}\})\lambda_{0}^{2}\); (ii) if \(u\in H^{1}\) and \(I(u)<0\), then \(I(u)<\min\{p+1,k+1\} (J(u)-d)\).


(i) For \(u \in N\) (or \(I(u)=0\) and \(\|u\|_{1,\varOmega}\ne 0\)), by Lemma 2.3, we have \(\|u\|_{1,\varOmega}>\lambda_{0}\). Hence
$$\begin{aligned} J(u) \ge&\frac{1}{2}\|u\|^{2}_{1,\varOmega}-\max\biggl\{ \frac{1}{p+1}, \frac {1}{k+1} \biggr\} \bigl(\|u \|^{p+1}_{p+1}+ \|u\|^{k+1}_{k+1,\varGamma}\bigr) \\ =&\biggl(\frac{1}{2}-\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1} \biggr\} \biggr)\|u\|^{2}_{1,\varOmega }+\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1} \biggr\} I(u) \\ =&\biggl(\frac{1}{2}-\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1} \biggr\} \biggr)\|u\|^{2}_{1,\varOmega }\ge\biggl(\frac{1}{2}-\max \biggl\{ \frac{1}{p+1}, \frac{1}{k+1} \biggr\} \biggr)\lambda _{0}^{2}, \end{aligned}$$
which gives \(d\ge d_{0}\).
(ii) By Lemma 2.2, there exists \(\lambda_{0} \in(0,1)\) such that \(I(\lambda_{0} u)=0\) since \(I(1u)=I(u)<0\). Combining this \(I(\lambda_{0} u)=0\) with the definition of d and the fact that
$$\begin{aligned} J(u) =& \frac{1}{2}\|u\|^{2}_{1,\varOmega}-\frac{1}{p+1} \|u \|^{p+1}_{p+1}- \frac{1}{k+1} \|u\|^{k+1}_{k+1,\varGamma} \\ =&\biggl(\frac{1}{2}-\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1} \biggr\} \biggr)\|u\|^{2}_{1,\varOmega }+\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1} \biggr\} I(u) \\ &{}+\biggl[\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1}\biggr\} - \frac{1}{p+1}\biggr]\|u \|^{p+1}_{p+1} \\ &{}+\biggl[\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1}\biggr\} -\frac {1}{k+1}\biggr]\|u \|^{k+1}_{k+1,\varGamma}, \end{aligned}$$
we obtain
$$\begin{aligned} d \le& J(\lambda_{0} u) \\ =& \biggl(\frac{1}{2}-\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1} \biggr\} \biggr)\lambda_{0}^{2}\|u\|^{2}_{1,\varOmega} \\ &{}+\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1} \biggr\} I( \lambda_{0} u)+\biggl[\max\biggl\{ \frac {1}{p+1}, \frac{1}{k+1}\biggr\} -\frac{1}{p+1}\biggr]\lambda_{0}^{(p+1)} \|u \|^{p+1}_{p+1} \\ &{}+\biggl[\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1}\biggr\} - \frac{1}{k+1}\biggr]\lambda_{0}^{(k+1)}\|u \|^{k+1}_{k+1,\varGamma} \\ \le&\biggl(\frac{1}{2}-\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1} \biggr\} \biggr)\|u\|^{2}_{1,\varOmega}+\biggl[\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1}\biggr\} -\frac {1}{p+1}\biggr]\|u \|^{p+1}_{p+1} \\ &{}+\biggl[\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1}\biggr\} - \frac{1}{k+1}\biggr]\|u\|^{k+1}_{k+1,\varGamma} \\ =&J(u)-\max\biggl\{ \frac{1}{p+1}, \frac{1}{k+1} \biggr\} I(u), \end{aligned}$$
which gives the result since \(\max\{\frac{1}{p+1}, \frac{1}{k+1} \}=\min\{ p+1,k+1\}\) for \(p,k>1\). □
Now we define the subsets of \(H^{1}\) related to problem (1.1)–(1.3). Set
$$ W=\bigl\{ u \in H^{1}| J(u)< d,I(u)>0\bigr\} ,\qquad V=\bigl\{ u \in H^{1}| J(u)< d,I(u)< 0\bigr\} . $$

Lemma 2.5

If \(u_{0}, u_{1} \in H^{1}\) and \(0< E(0)< d\), u is a weak solution of problem (1.1)(1.3), then (i) \(u \in W\) if \(I(u_{0})>0\) or \(\|u\|_{1,\varOmega}= 0\); (ii) \(u \in V\) if \(I(u_{0})<0\).


We only prove (i), the proof for (ii) is similar. Let \(T_{m}\) be maximal existence time of a weak solution of \(u(t)\). We are going to prove that \(u \in W\) for \(0< t< T_{m}\). From the energy identity (2.5), we have
$$ E(t)=\frac{1}{2}\|u_{t}\|^{2}_{1,\varOmega}+J(u)=E(0)< d \quad \mbox{for any } t \in[0,T), $$
which implies \(J(u(t))< d\). To prove that \(u \in W\) for \(0< t< T_{m}\), we argue by contradiction. Indeed, if it is not the case, there would exist \(t_{0} \in (0, T_{m})\) such that \(u(t_{0}) \in N\). By the definition of \(d=\inf_{u\in N}J(u)\), one has \(d< J(u(t_{0})) < E(t_{0})\le d\), we reach a contradiction. □

3 Global existence and blow-up of solutions

In this section, we prove the global existence and blow-up of solutions for problem (1.1)–(1.3).

Theorem 3.1

Let \(u_{0}, u_{1} \in H^{1}\), \(0< E(0)<d\), \(I(u_{0})>0\) or \(\|u\|_{1,\varOmega}= 0\), and p, k satisfy (2.1), then the weak solution u of problem (1.1)(1.3) in Theorem 2.1 can be extended to \((0,\infty)\).


By Lemma 2.5, we have \(u \in W\), then \(I(u)>0\) and \(J(u)< d\) for all \(t\in(0,T)\). Therefore
$$\begin{aligned}& \biggl(\frac{1}{2}-\frac{1}{p+1}\biggr)\|u \|^{p+1}_{p+1}+ \biggl(\frac{1}{2}- \frac {1}{k+1} \biggr)\|u\|^{k+1}_{k+1,\varGamma} \\& \quad =\frac{1}{2}\bigl(\|u \|^{p+1}_{p+1}+\|u \|^{k+1}_{k+1,\varGamma}\bigr) -\frac {1}{p+1}\|u \|^{p+1}_{p+1}- \frac{1}{k+1}\|u\|^{k+1}_{k+1,\varGamma } \\& \quad =\frac{1}{2}\|\nabla u\|^{2}-\frac{1}{2}I(u)- \frac{1}{p+1}\|u \|^{p+1}_{p+1}- \frac{1}{k+1}\|u \|^{k+1}_{k+1,\varGamma} \\& \quad \le J(u)< d \end{aligned}$$
for all \(t\in(0,T)\). Define \(\alpha=\min\{\frac{1}{2}-\frac {1}{p+1},\frac{1}{2}- \frac{1}{k+1}\}>0\), then (3.1) implies
$$ \|u \|^{p+1}_{p+1}+\|u\|^{k+1}_{k+1,\varGamma}< \frac{d}{\alpha} $$
for all \(t\in(0,T)\). By the energy identity, the definition of \(J(u)\) and (3.2), we have
$$\begin{aligned} \frac{1}{2}\| u_{t} \|^{2}+\frac{1}{2}\|u \|^{2}_{1,\varOmega} =&E(0)+\frac {1}{p+1}\|u \|^{p+1}_{p+1} +\frac{1}{k+1}\|u\|^{k+1}_{k+1,\varGamma } \\ < &d\biggl(1+\frac{1}{\alpha}\max\biggl\{ \frac{1}{p+1},\frac{1}{k+1} \biggr\} \biggr) \end{aligned}$$
for all \(t\in(0,T)\). It follows from (3.3) and from a standard continuous argument that the local weak solution u furnished by Theorem 2.1 can be extended to the whole interval \([0,\infty)\), that is, u is a global solution. □

Theorem 3.2

Let \(u_{0}, u_{1} \in H^{1}\), \(0< E(0)<d\), \(I(u_{0})<0\), and \(p,k\) satisfy (2.1), then the weak solution u of problem (1.1)(1.3) blows up in finite time, that is, the maximum existence time \(T_{m}\) of u is finite and
$$\lim_{t \rightarrow T_{m}}\sup\bigl[\|u\|^{2}_{1,\varOmega }+ \|u_{t}\|^{2}_{1,\varOmega}\bigr]=+\infty. $$


Arguing by contradiction, we assume that \(T_{m}=+\infty\). Set
$$ H(t)= \|u\|^{2}_{1,\varOmega}, $$
then by taking the time derivative of the function \(H(t)\), performing integration by parts, and using equations (1.1) and (1.2), we get
$$\begin{aligned}& H'(t)=2(u,u_{t})+2(\nabla u,\nabla u_{t}), \end{aligned}$$
$$\begin{aligned}& H''(t)=2 \|u_{t}\|^{2}+2 \|\nabla u_{t}\|^{2}+2(u,u_{tt})+2(\nabla u,\nabla u_{tt}) \\& \hphantom{H''(t)}=2\|u_{t}\|^{2}+2 \|\nabla u_{t} \|^{2}-2I(u). \end{aligned}$$
By virtue of the Schwarz inequality, we have
$$ H^{\prime 2}(t)\le4 H(t) \bigl(\|u_{t} \|^{2}+ \|\nabla u_{t}\|^{2}\bigr). $$
$$\begin{aligned} H(t)H''(t)-\frac{\rho+2}{4}H^{\prime 2}(t) \ge& H(t)\bigl[H''(t)-(\rho+2) \bigl(\|u_{t} \|^{2}+ \|\nabla u_{t}\|^{2}\bigr)\bigr] \\ =& H(t)\bigl[-\rho\bigl(\|u_{t}\|^{2}+ \|\nabla u_{t}\|^{2}\bigr)-2I(u)\bigr], \end{aligned}$$
where we denote \(\rho=\min\{k,p\}\). Next, we treat the part \(-\rho (\|u_{t}\|^{2}+ \|\nabla u_{t}\|^{2})\) in the above estimate. By the energy identity \(E(t)=E(0)\), we have
$$-\rho\bigl(\|u_{t}\|^{2}+ \|\nabla u_{t} \|^{2}\bigr)=2\rho\bigl(J(u)-E(0)\bigr). $$
Substituting this into (3.7), we find
$$\begin{aligned} H(t)H''(t)-\frac{\rho+2}{4}H^{\prime 2}(t) \ge&2H(t)\bigl[\rho \bigl(J(u)-E(0)\bigr)-I(u)\bigr] \\ \ge&2 H(t)\bigl[\rho\bigl(J(u)-d\bigr))-I(u)\bigr]. \end{aligned}$$
From \(u_{0}\in V\) and Lemma 2.5, we have \(u(t)\in V\), that is, \(I(u)<0\) for all \(0< t<\infty\), then Lemma 2.4(ii) holds, by (3.8), which leads to
$$ H(t)H''(t)-\frac{\rho+2}{4}H^{\prime 2}(t) \ge0. $$
$$ \bigl(H^{-\beta}(t)\bigr)''=\frac{-\beta}{H^{\beta+2}(t)} \bigl(H(t)H''(t)-(\beta +1)H^{\prime 2}(t) \bigr)< 0,\quad \beta=\frac{\rho}{4}. $$
From (3.6), Lemma 2.4(ii), and \(E(0)< d\), we see that
$$ H''(t)\ge-2I(u)\ge2\rho\bigl(d-J(u)\bigr)\ge2\rho \bigl(d-E(0)\bigr), $$
and then
$$ H'(t)\ge2\rho\bigl(d-E(0)\bigr)+H'(0). $$
Hence there exists \(t_{0}\ge0\) such that \(H'(t)>H'(0)>0\) for \(t_{0}<+\infty \) and
$$ H(t)> H'(0) (t-t_{0})+H(t_{0})\ge H'(0) (t-t_{0}). $$
Consequently, there exists \(t_{1}\) such that \(H(t_{1})>0\) and \(H'(t_{1})>0\). From this and (3.9), one can find \(T_{1}>0\) such that \(\lim_{t \rightarrow T_{1}}H^{-\beta}(t)=0\), therefore \(\lim_{t \rightarrow T_{1}}H(t)=+\infty\), which contradicts \(T_{m}=+\infty\). Finally, from \(T_{m}<+\infty\) and Theorem 2.1, we get the result. □


Combining this method with the method of [18, 19, 27], we can also consider equations (1.7), (1.8).



The authors would like to thank the referees for their useful suggestions.

Availability of data and materials

Not applicable.


This work is supported by the National Natural Science Foundation of China (No. 11801145).

Authors’ contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

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

Authors’ Affiliations

Department of Mathematics, Henan University of Technology, Zhengzhou, P.R. China


  1. Korpusov, M.O.: Blow-up of ion-sound waves in plasma with non-linear sources on the boundary. Izv. Math. 76(2), 310–345 (2012) MathSciNetMATHGoogle Scholar
  2. Gabov, S.A.: New Problems of the Mathematical Theory of Waves. Fizmatlit, Moscow (1998) (in Russian) MATHGoogle Scholar
  3. Al’shin, A.B., Pletner, Y.D., Sveshnikov, A.G.: Unique solvability of the Dirichlet problem for the ion-sound wave equation in plasma. Dokl. Math. 58(1), 148–150 (1998) MATHGoogle Scholar
  4. Alghamdi, A.M., Gala, S., Ragusa, M.A.: On the blow-up criterion for incompressible Stokes–MHD equations. Results Math. 73(3), Article number 110 (2014) MathSciNetMATHGoogle Scholar
  5. Gala, S., Ragusa, M.A., Sawano, Y., Tanaka, H.: Uniqueness criterion of weak solutions for the dissipative quasi-geostrophic equations in Orlicz–Morrey spaces. Appl. Anal. 93(2), 356–368 (2014) MathSciNetMATHGoogle Scholar
  6. Gala, S., Guo, Z., Ragusa, M.A.: A remark on the regularity criterion of Boussinesq equations with zero heat conductivity. Appl. Math. Lett. 27, 70–73 (2014) MathSciNetMATHGoogle Scholar
  7. Levine, H.A.: Instability and nonexistence of global solutions to nonlinear wave equations of the form \(P u _{tt }=- Au + F(u)\). Trans. Am. Math. Soc. 192, 1–21 (1974) Google Scholar
  8. Kalantarov, V.K., Ladyzhenskaya, O.A.: The occurrence of collapse for quasilinear equations of parabolic and hyperbolic types. J. Math. Sci. 10(1), 53–70 (1978) MATHGoogle Scholar
  9. Park, J.Y., Kim, J.A.: Existence and uniform decay for a nonlinear viscoelastic equation with strong damping and nonlinear boundary memory damping term. Dyn. Syst. Appl. 18, 605–620 (2009) MathSciNetMATHGoogle Scholar
  10. Sakamoto, R.: Mixed problems for hyperbolic equations. J. Math. Kyoto Univ. 10(2), 243–373 (1970) Google Scholar
  11. Bociu, L., Rammaha, M., Toundykov, D.: Wave equations with super-critical interior and boundary nonlinearities. Math. Comput. Simul. 82, 1017–1029 (2012) MathSciNetMATHGoogle Scholar
  12. Lasiecka, I., Tataru, D.: Uniform boundary stabilization of semilinear wave equations with nonlinear boundary damping. Differ. Integral Equ. 6(3), 507–533 (1993) MathSciNetMATHGoogle Scholar
  13. Vitillaro, E.: Global existence for the wave equation with nonlinear boundary damping and source terms. J. Differ. Equ. 186(1), 259–298 (2002) MathSciNetMATHGoogle Scholar
  14. Bociu, L.: Local and global well posedness of weak solutions for the wave equation with nonlinear boundary and interior sources of supercritical exponents and damping. Nonlinear Anal. 71(12), e560–e575 (2009) MATHGoogle Scholar
  15. Bociu, L., Lasiecka, I.: Blow-up of weak solutions for the semilinear wave equations with nonlinear boundary and interior sources and damping. Appl. Math. 35, 281–304 (2008) MathSciNetMATHGoogle Scholar
  16. Bociu, L., Lasiecka, I.: Uniqueness of weak solutions for the semilinear wave equations with supercritical boundary/interior sources and damping. Discrete Contin. Dyn. Syst. 22, 835–860 (2008) MathSciNetMATHGoogle Scholar
  17. Bociu, L., Lasiecka, I.: Hadamard well posedness for nonlinear wave equations with supercritical sources and damping. J. Differ. Equ. 249, 654–683 (2010) MathSciNetMATHGoogle Scholar
  18. Bociu, L., Rammaha, M., Toundykov, D.: On a wave equation with supercritical interior and boundary sources and damping terms. Math. Nachr. 284(16), 2032–2064 (2011) MathSciNetMATHGoogle Scholar
  19. Cavalcanti, M.M., Cavalcanti, V.N.D., Lasiecka, I.: Well-posedness and optimal decay rates for wave equation with nonlinear boundary damping-source interaction. J. Differ. Equ. 236, 407–459 (2007) MathSciNetMATHGoogle Scholar
  20. Cavalcanti, M.M., Cavalcanti, V.N.D., Martinez, P.: Existence and decay rates for the wave equation with nonlinear boundary damping and source term. J. Differ. Equ. 203, 119–158 (2004) MathSciNetMATHGoogle Scholar
  21. Cavalcanti, M.M., Cavalcanti, V.N.D., Soriano, J.: Global solvability and asymptotic stability for the wave equation with nonlinear feedback and source term on the boundary. Adv. Math. Sci. Appl. 16, 661–696 (2006) MathSciNetMATHGoogle Scholar
  22. Chueshov, I., Eller, M., Lasiecka, I.: On the attractor for a semilinear wave equation with critical exponent and nonlinear boundary dissipation. Commun. Partial Differ. Equ. 27, 1901–1951 (2002) MathSciNetMATHGoogle Scholar
  23. Daoulatli, M., Lasiecka, I., Toundykov, D.: Uniform energy decay for a wave equation with partially supported nonlinear boundary dissipation without growth restrictions. Discrete Contin. Dyn. Syst., Ser. S 2, 67–94 (2009) MathSciNetMATHGoogle Scholar
  24. Guo, Y.Q., Rammaha, M.A.: Global existence and decay of energy to systems of wave equations with damping and supercritical sources. Z. Angew. Math. Phys. 64, 621–658 (2013) MathSciNetMATHGoogle Scholar
  25. Guo, Y.Q., Rammaha, M.A.: Systems of nonlinear wave equations with damping and supercritical boundary and interior sources. Trans. Am. Math. Soc. 366(5), 2265–2325 (2014) MathSciNetMATHGoogle Scholar
  26. Levine, H., Smith, A.: A potential well theory for the wave equation with a nonlinear boundary conditions. J. Reine Angew. Math. 374, 1–23 (1987) MathSciNetMATHGoogle Scholar
  27. Wu, S.T.: General decay and blow-up of solutions for a viscoelastic equation with nonlinear boundary damping-source interactions. Z. Angew. Math. Phys. 63, 65–106 (2012) MathSciNetMATHGoogle Scholar
  28. Wu, S.T.: Blow-up of positive initial energy solutions for a system of nonlinear wave equations with supercritical sources. J. Dyn. Control Syst. 20(2), 207–227 (2014) MathSciNetMATHGoogle Scholar
  29. Ji, G., Lasiecka, I.: Nonlinear boundary feedback stabilization for a semilinear Kirchhoff plate with dissipation acting only via moments-limiting behavior. J. Math. Anal. Appl. 229(2), 452–479 (1999) MathSciNetMATHGoogle Scholar
  30. Lions, J.L.: Quelques methodes de resolution des problemes aur limites non lineaires. Dunod/Gauthier-Villars, Paris (1969) MATHGoogle Scholar


© The Author(s) 2019