Open Access

Arbitrary energy global existence for wave equation with combined power-type nonlinearities of different signs

Boundary Value Problems20162016:214

https://doi.org/10.1186/s13661-016-0722-4

Received: 26 May 2016

Accepted: 22 November 2016

Published: 1 December 2016

Abstract

This paper proves the global existence of solution for a class of nonlinear wave equations with nonlinear combined power-type nonlinearities of different signs for the initial data at sup-critical energy level.

Keywords

initial boundary valuewave equationglobal existencesup-critical energy

1 Introduction

In the present paper, we mainly consider the initial boundary value problem for the nonlinear wave equation with combined power-type nonlinearities of different signs,
$$\begin{aligned}& u_{tt}-\Delta u=f(u),\quad x\in\Omega, t\in[0,\infty), \end{aligned}$$
(1)
$$\begin{aligned}& u(x,t)=0, \quad x\in\partial\Omega,t\in[0,\infty), \end{aligned}$$
(2)
$$\begin{aligned}& u(x,0)=u_{0}(x), \qquad u_{t}(x,0)=u_{1}(x), \quad x\in\Omega , \end{aligned}$$
(3)
where \(\Omega\subset\mathbb{R}^{n}\) (\(n\geq1\)) is an open bounded domain with smooth boundary Ω, Δ is the Laplace operator on \(\mathbb{R}^{n}\), \(f(u)\) is for nonlinear combined power-type nonlinearities of different signs function of u, i.e.
$$f(u)\equiv\sum_{k=1}^{l}a_{k}|u|^{p_{k}-1}u- \sum_{j=1}^{s}b_{j}|u|^{q_{j}-1}u, $$
\(a_{k}\geq0\), \(1\leq k\leq l\), \(b_{j}>0\), \(1\leq j\leq s\). In addition, \(p_{k}\) and \(q_{j}\) satisfy the following conditions (H):
$$(\mathrm{H})\quad \textstyle\begin{cases} 1< q_{s}< q_{s-1}\cdots< q_{1}=q< p=p_{l}< p_{l-1}< \cdots< p_{1}< \infty & \mbox{if } n=1,2, \\ 1< q_{s}< q_{s-1}\cdots< q_{1}=q< p=p_{l}< p_{l-1}< \cdots< p_{1}\leq\frac {n+2}{n-2}& \mbox{if } n\geq3. \end{cases} $$

Equation (1) is a class of important mathematical physical models, so there has been a lot of important work, such as [16], focused on it. Recently Li and Zhang [7] and Tao et al. [8] considered combined power-type nonlinearities since this kind of nonlinearities is more general than a single source term. The effects of this kind of nonlinearities on the prosperities of solution were well treated. However, the nonlinear terms considered in our paper are more general, we aim to provide some new results in this direction. This paper is a continued study of [9, 10], and [11], so we give a quick introduction here; for detailed background of this problem, we refer the reader to [11] and the references therein. The authors in [9] first considered problem (1)-(3) and obtained the global existence and blow up of solutions for the sub-critical case \(E(0)< d\), where \(E(0)\) is the initial energy and d is the depth of the potential well or the mountain pass level, which will be defined later. In the same paper the critical case \(E(0)=d\) was also considered and the global existence was derived. Later, Yu proved blow up of the solution for the critical case \(E(0)=d\) in [10]. Furthermore, the high energy case \(E(0)>0\) was treated in [11], and the blow up result was also given. Observing the above results for problem (1)-(3), helpful in the potential well method which was introduced by Payne and Sattinger [1], the global existence for the sup-critical case, i.e. \(E(0)>0\), is still not solved. So the present paper solves this problem by introducing a new stable invariant set and, using the method of [12], we are focusing on proving the global existence of the solution for problem (1)-(3) in the sup-critical case \(E(0)>0\).

Throughout the present paper, the following notations are used for a precise statement: \(L^{p}\) denotes the space consisting of all \(L^{p}\)-functions on Ω with norm \(\|u\|_{p}=\|u\|_{L^{p}(\Omega )}\), \(\|u\|_{2}=\|u\|_{L^{2}(\Omega)}\), and the inner product \((u,v)=\int _{\Omega}uv\, dx\).

2 Global existence at sup-critical case \(E(0)>0\)

For problem (1)-(3) we introduce the energy functional and the Nehari functional as follows:
$$ E(t)=\frac{1}{2}\|u_{t}\|_{2}^{2}+ \frac{1}{2}\|\nabla u\|_{2}^{2}-\sum _{k=1}^{l}\frac{a_{k}}{p_{k}+1}\|u\|^{p_{k}+1}_{p_{k}+1}+ \sum_{j=1}^{s}\frac {b_{j}}{q_{j}+1}\|u \|^{q_{j}+1}_{q_{j}+1} $$
(4)
and
$$ I(u)=\|\nabla u\|_{2}^{2}-\sum _{k=1}^{l}a_{k}\|u\|^{p_{k}+1}_{p_{k}+1}+ \sum_{j=1}^{s}b_{j}\|u \|^{q_{j}+1}_{q_{j}+1}. $$
(5)
Furthermore, for problem (1)-(3), we define a new stable set
$$ \mathcal{W}=\biggl\{ u\in H_{0}^{1}(\Omega)\Big|I(u)> \frac{3(p+1)}{2}\|u_{t}\|^{2}\biggr\} , $$
(6)
which will be used to investigate the existence of a global solution with sup-critical initial energy.

Next, we give a definition of the weak solution for problem (1)-(3).

Definition 2.1

Weak solution [9]

We say that \(u=u(x,t)\) is a weak solution of problem (1)-(3) on \(\Omega\times[0,T_{0})\) if \(u\in L^{\infty}(0,T; H_{0}^{1}(\Omega))\), \(u_{t}\in L^{\infty}(0,T; L^{2}(\Omega))\) and
  1. (i)

    \((u_{t},v)+\int_{0}^{t}(\nabla u, \nabla v)\, d\tau=\int _{0}^{t}(f(u),v)\, d\tau+(u_{1},v) \) for all \(v\in H^{1}_{0}(\Omega)\), \(t\in(0,T_{0})\);

     
  2. (ii)

    \(u(x,0)=u_{0}(x)\) in \(H_{0}^{1}(\Omega)\), \(u_{t}(x,0)=u_{1}(x)\) in \(L^{2}(\Omega)\);

     
  3. (iii)

    \(E(t)=E(0)\), \(t\in[0,T)\).

     

Theorem 2.2

Local existence [9]

Suppose that \(u(x,0)\in H_{0}^{1}(\Omega)\), \(u_{t}(x,0)\in L^{2}(\Omega)\). Then problem (1)-(3) admits a unique local solution \(u(x,t)\) defined on a maximal time interval \([0,T_{0})\). Moreover, if
$$ \sup_{t\in[0,T_{0})}\bigl\Vert u(x,t)\bigr\Vert _{H_{0}^{1}}< \infty, $$
then \(T_{0}=\infty\).

The invariance of the stable set \(\mathcal{W}\) under the flow of (1)-(3) plays an essential role while proving the global existence of the weak solution for (1)-(3). In order to obtain the invariance, we need to prove the following lemma at first.

Lemma 2.3

Let \(u_{0}(x)\in H_{0}^{1}(\Omega)\), \(u_{1}(x)\in L^{2}(\Omega)\), and \(u(x,t)\) be solution of problem (1)-(3) with initial data \((u_{0},u_{1})\). Assume that \(E(0)>0 \) and the initial data satisfy
$$ 2\|u_{0}\|_{2}^{2}+4(u_{0},u_{1})+E(0)< 0. $$
(7)
Then the map \(\{t\mapsto\|u(t)\|_{2}^{2}+2(u,u_{t})\} \) is strictly decreasing as long as \(u(x,t)\in\mathcal{W}\).

Proof

Let \(F(t)=\|u(t)\|^{2}_{2}\), then
$$\begin{aligned}& F'(t)=2(u,u_{t}), \end{aligned}$$
(8)
$$\begin{aligned}& F''(t)=2(u,u_{tt})+2\|u_{t} \|_{2}^{2}. \end{aligned}$$
(9)
Multiplying equation (1) by u, and integrating the obtained result with respect to x over Ω, we have
$$ (u_{tt},u)+\|\nabla u\|_{2}^{2}=\sum _{k=1}^{l}a_{k}\|u\|^{p_{k}+1}_{p_{k}+1}- \sum_{j=1}^{s}b_{j}\|u \|^{q_{j}+1}_{q_{j}+1} \quad \text{for } t\in[ 0,\infty ). $$
(10)
From (5) and (10), we have
$$ (u_{tt},u)=\sum_{k=1}^{l}a_{k} \|u\|^{p_{k}+1}_{p_{k}+1}-\sum_{j=1}^{s}b_{j} \|u\| ^{q_{j}+1}_{q_{j}+1}-\|\nabla u\|_{2}^{2}=-I(u). $$
(11)
Furthermore, from \(u(t)\in\mathcal{W}\) we get
$$ F''(t)=2\|u_{t} \|_{2}^{2}-2I(u)< 0 \quad \text{for } t\in[0,\infty), $$
(12)
which shows that \(F'(t)\) is strictly decreasing on the interval \([0,\infty)\). Obviously from \(E(0)>0\) and (7), we can get
$$F'(0)=2(u_{0},u_{1})< 0. $$
Then
$$ F'(t)< F'(0)< 0. $$
(13)
We let \(H(t)=\|u(t)\|^{2}_{2}+2(u,u_{t})\), then
$$ H'(t)=2(u,u_{t})+2(u,u_{tt})+2 \|u_{t}\|^{2}_{2}. $$
(14)
From (11), (14) becomes
$$ H'(t)=2(u,u_{t})-2I(u)+2\|u_{t} \|^{2}_{2}. $$
By (12) and (13), we have
$$H'(t)< 0\quad \mbox{for } t\in[0,+\infty), $$
which completes the proof. □

In the following, we show the invariance of the new stable set \(\mathcal{W}\) under the flow of problem (1)-(3).

Lemma 2.4

Invariance of \(\mathcal{W}\) at sup-critical case \(E(0)>0\)

Let \(u_{0}(x)\in H_{0}^{1}(\Omega)\), \(u_{1}(x)\in L^{2}(\Omega)\), and \(u(x,t)\) be a weak solution of problem (1)-(3) with maximal existence time interval \([0,T_{0})\), \(T_{0}\leq+\infty\). Assume that the initial data satisfy (7). Then all solutions of problem (1)-(3) with \(E(0)>0\) belong to \(\mathcal{W}\), provided \(u_{0}\in \mathcal{W}\).

Proof

We prove \(u(t)\in\mathcal{W}\). Arguing by contradiction, we assume that \(t_{0}\in(0,T_{0})\) is the first time such that
$$ I\bigl(u (t_{0} )\bigr)=\frac{3(p+1)}{2}\bigl\Vert u_{t}(t_{0})\bigr\Vert ^{2}_{2} $$
(15)
and
$$ I \bigl(u(t) \bigr)>\frac{3(p+1)}{2}\bigl\Vert u_{t}(t)\bigr\Vert ^{2}_{2} \quad \text{for } t\in[0,t_{0}). $$
(16)
By (iii) in Definition 2.1, we get
$$E(t)=E(0),\quad 0\leq t< \infty. $$
And by (4) and (5), we obtain
$$\begin{aligned} E(0) =&E(t_{0}) \\ =&\frac{1}{2}\bigl\Vert u_{t}(t_{0})\bigr\Vert _{2}^{2}+\frac{1}{2}\bigl\Vert \nabla u(t_{0})\bigr\Vert _{2}^{2} \\ &{}-\sum_{k=1}^{l}\frac{a_{k}}{p_{k}+1}\bigl\Vert u(t_{0})\bigr\Vert ^{p_{k}+1}_{p_{k}+1}+\sum _{j=1}^{s}\frac{b_{j}}{q_{j}+1}\bigl\Vert u(t_{0})\bigr\Vert ^{q_{j}+1}_{q_{j}+1} \\ \geq&\frac{1}{2}\bigl\Vert u_{t}(t_{0})\bigr\Vert _{2}^{2}+\frac{1}{2}\bigl\Vert \nabla u(t_{0})\bigr\Vert ^{2}_{2} \\ &{}-\frac{1}{p+1} \Biggl(\sum_{k=1}^{l}a_{k} \bigl\Vert u(t_{0})\bigr\Vert ^{p_{k}+1}_{p_{k}+1}-\sum _{j=1}^{s}b_{j}\bigl\Vert u(t_{0})\bigr\Vert ^{q_{j}+1}_{q_{j}+1} \Biggr) \\ =&\frac{1}{2}\bigl\Vert u_{t}(t_{0})\bigr\Vert _{2}^{2}+ \biggl(\frac{1}{2}-\frac{1}{p+1} \biggr) \bigl\Vert \nabla u(t_{0})\bigr\Vert ^{2}_{2}+ \frac{1}{p+1}I \bigl(u(t_{0}) \bigr) \\ \geq&\frac{1}{2}\bigl\Vert u_{t}(t_{0})\bigr\Vert _{2}^{2}+\frac{1}{p+1}I \bigl(u(t_{0}) \bigr). \end{aligned}$$
(17)
Due to (15), we have
$$ E(0)\geq2\bigl\Vert u_{t}(t_{0})\bigr\Vert ^{2}_{2}. $$
(18)
By the Cauchy-Schwarz inequality, we can get
$$ 2\bigl\Vert u_{t}(t_{0})\bigr\Vert ^{2}=2\bigl\Vert u_{t}(t_{0})+u(t_{0}) \bigr\Vert ^{2}-2\bigl\Vert u(t_{0})\bigr\Vert ^{2}-4\bigl(u(t_{0}),u_{t}(t_{0}) \bigr). $$
(19)
From (19) and Lemma 2.3, (18) becomes
$$\begin{aligned} E(0)&\geq2\bigl\Vert u_{t}(t_{0})+u(t_{0}) \bigr\Vert ^{2}-2\bigl\Vert u(t_{0})\bigr\Vert ^{2}-4\bigl(u(t_{0}),u_{t}(t_{0})\bigr) \\ &\geq-2 \bigl(\bigl\Vert u(t_{0})\bigr\Vert ^{2}+2 \bigl(u(t_{0}),u_{t}(t_{0})\bigr) \bigr) \\ &\geq-2 \bigl(\Vert u_{0}\Vert ^{2}+2(u_{0},u_{1}) \bigr) \\ &= -2\Vert u_{0}\Vert ^{2}-4(u_{0},u_{1}), \end{aligned}$$
(20)
that is,
$$ 2\|u_{0}\|^{2}+4(u_{0},u_{1})+E(0) \geq0. $$
(21)
It is obvious that (7) contradicts (21). This completes the proof. □

Theorem 2.5

Let \(u_{0}(x)\in H_{0}^{1}(\Omega)\), \(u_{1}(x)\in L^{2}(\Omega)\), and let \(u(x,t)\) be a weak solution of problem (1)-(3) with maximal existence time interval \([0,T_{0})\), \(T_{0}\leq+\infty\). Assume that \(E(0)>0\), \(u_{0}\in\mathcal{W}\), and (7) holds, then the solution of problem (1)-(3) exists globally.

Proof

Let \(u(t)\) be the weak solution of problem (1)-(3) with \(E(0)>0\) and \(u_{0}\in\mathcal{W}\). Then from Lemma 2.4, we have \(u(x,t)\in\mathcal{W}\), that is,
$$ I \bigl(u(t) \bigr)>\frac{3(p+1)}{2}\bigl\Vert u_{t}(t)\bigr\Vert ^{2} \quad \text{for } t \in[0,T_{0}). $$
(22)
Therefore by (4), (5), and (22), we get
$$\begin{aligned} \begin{aligned}[b] E(0)={}&E(t) \\ ={}&\frac{1}{2}\bigl\Vert u_{t}(t)\bigr\Vert _{2}^{2}+\frac{1}{2}\bigl\Vert \nabla u(t)\bigr\Vert _{2}^{2} \\ &{}-\sum_{k=1}^{l}\frac{a_{k}}{p_{k}+1}\bigl\Vert u(t)\bigr\Vert ^{p_{k}+1}_{p_{k}+1}+\sum _{j=1}^{s}\frac{b_{j}}{q_{j}+1}\bigl\Vert u(t)\bigr\Vert ^{q_{j}+1}_{q_{j}+1} \\ \geq{}&\frac{1}{2}\bigl\Vert u_{t}(t)\bigr\Vert _{2}^{2}+ \biggl(\frac{1}{2}-\frac {1}{p+1} \biggr) \bigl\Vert \nabla u(t)\bigr\Vert _{2}^{2}+ \frac{1}{p+1}I \bigl(u(t) \bigr) \\ >{}&2\bigl\Vert u_{t}(t)\bigr\Vert _{2}^{2}+ \biggl(\frac{1}{2}-\frac{1}{p+1} \biggr)\bigl\Vert \nabla u(t)\bigr\Vert _{2}^{2}, \end{aligned} \end{aligned}$$
(23)
which implies
$$\begin{aligned}& u(x,t)\quad \text{is bounded in } L^{\infty}\bigl(0,T_{0};H^{1}_{0}( \Omega)\bigr), \\& u_{t}(x,t)\quad \text{is bounded in } L^{\infty}\bigl(0,T_{0};L^{2}(\Omega)\bigr). \end{aligned}$$
Hence from Theorem 2.2, it follows that \(T_{0}=\infty\) and the solution of problem (1)-(3) exists globally. □

Declarations

Acknowledgements

This work was supported by the National Natural Science Foundation of China (11471087), the China Postdoctoral Science Foundation (2013M540270), the Heilongjiang Postdoctoral Foundation (LBH-Z13056), the Support Plan for the Young College Academic Backbone of Heilongjiang Province (1252G020), the Fundamental Research Funds for the Central Universities. Dr. Xu Runzhang also thanks Prof. Yue Liu for his invitation of visit to UTA. The authors appreciate Prof. Weike Wang for his valuable suggestions.

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

Authors’ Affiliations

(1)
College of Science, Harbin Engineering University
(2)
College of Automation, Harbin Engineering University

References

  1. Payne, LE, Sattinger, DH: Saddle points and instability of nonlinear hyperbolic equations. Isr. J. Math. 22, 273-303 (1975) MathSciNetView ArticleMATHGoogle Scholar
  2. Gazzola, F, Squassina, M: Global solutions and finite time blow up for damped semilinear wave equations. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 23, 185-207 (2006) MathSciNetView ArticleMATHGoogle Scholar
  3. Ikehata, R: Some remarks on the wave equations with nonlinear damping and source terms. Nonlinear Anal. 27, 1165-1175 (1996) MathSciNetView ArticleMATHGoogle Scholar
  4. Cavalcanti, MM, Domingos Cavalcanti, VN, Martinez, P: Existence and decay rate estimates for the wave equation with nonlinear boundary damping and source term. J. Differ. Equ. 203, 119-158 (2004) MathSciNetView ArticleMATHGoogle Scholar
  5. Cavalcanti, MM, Domingos Cavalcanti, VN, Lasiecka, I: Well-posedness and optimal decay rates for the wave equation with nonlinear boundary damping-source interaction. J. Differ. Equ. 236, 407-459 (2007) MathSciNetView ArticleMATHGoogle Scholar
  6. Alves, CO, Cavalcanti, MM: On existence, uniform decay rates and blow up for solutions of the 2-D wave equation with exponential source. Calc. Var. Partial Differ. Equ. 34(3), 377-411 (2009) MathSciNetView ArticleMATHGoogle Scholar
  7. Li, K, Zhang, Q: Existence and nonexistence of global solutions for the equation of dislocation of crystals. J. Differ. Equ. 146, 5-21 (1998) MathSciNetView ArticleMATHGoogle Scholar
  8. Tao, T, Visan, M, Zhang, X: The nonlinear Schrödinger equation with combined power-type nonlinearities. Commun. Partial Differ. Equ. 32, 1281-1343 (2007) MathSciNetView ArticleMATHGoogle Scholar
  9. Liu, Y, Xu, R: Wave equations and reaction-diffusion equations with several nonlinear source terms of different sign. Discrete Contin. Dyn. Syst., Ser. B 7, 171-189 (2007) MathSciNetView ArticleMATHGoogle Scholar
  10. Yu, T, Tang, L, Liu, B, Xu, R: Wave equations and reaction-diffusion equations with several nonlinear source terms with critical energy. AIP Conf. Proc. 1479, 2435-2438 (2012) Google Scholar
  11. Shen, J, Xu, R, Yang, Y, Chen, S, Su, J, Huang, S: Nonlinear wave equations and reaction-diffusion equations with several nonlinear source terms of different signs at high energy level. ANZIAM J. 54, 153-170 (2013) MathSciNetMATHGoogle Scholar
  12. Yang, Y, Shen, J, Xu, R: Global existence of solutions for 1-D nonlinear wave equation of sixth order at high initial energy level. Bound. Value Probl. 2014, 31 (2014) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2016