Existence and nonexistence of solutions for a generalized Boussinesq equation

Ying Wang

doi:10.1186/s13661-014-0259-3

Research

Open Access

Existence and nonexistence of solutions for a generalized Boussinesq equation

Ying Wang¹Email author

Boundary Value Problems20152015:1

https://doi.org/10.1186/s13661-014-0259-3

Received: 10 September 2014

Accepted: 2 December 2014

Published: 10 January 2015

Abstract

The Cauchy problem for a generalized Boussinesq equation is investigated. The existence and uniqueness for the local solution and global solution of the problem are established under certain conditions. Moreover, the potential well method is used to discuss the finite-time blow-up for the problem.

Keywords

Boussinesq equationblow-upglobal solutionnonexistence

MSC

35Q2076B15

1 Introduction

In 1872, the Boussinesq equation was derived by Boussinesq [1] to describe the propagation of small amplitude long waves on the surface of shallow water. This was also the first to give a scientific explanation of the existence to solitary waves. One of the classical Boussinesq equations takes the form

$$ u_{tt}=-au_{xxxx}+u_{xx}+\beta\bigl(u^{2} \bigr)_{xx}, $$

(1)

where $u(t,x)$ is an elevation of the free surface of fluid, and the constant coefficients a and β depend on the depth of fluid and the characteristic speed of long waves. Extensive research has been carried out to study the classical Boussinesq equation in various respects. The Cauchy problem of (1) has been discussed in [2–10]. In [11–13], the initial boundary value problem and the Cauchy problem for the Boussinesq equation

$$ u_{tt}=u_{xx}+u_{xxtt}+u_{xxxx}-ku_{xxt}+f(u)_{xx} $$

(2)

were studied.

In order to discuss the water wave problem with surface tension, Schneider and Eugene [14] investigated the following Boussinesq model:

$$ u_{tt}=u_{xx}+u_{xxtt}+\mu u_{xxxx}-u_{xxxxtt}+f(u)_{xx}, $$

(3)

where $t,x,\mu\in R$ and $u(t,x)\in R$. Equation (3) can also be derived from the 2D water wave problem. For a degenerate case, Schneider and Eugene [14] have proved that the long wave limit can be described approximately by two decoupled Kawahara equations. In [15, 16], Wang and Mu studied the well-posedness of the local and globally solution, the blow-up of solutions and nonlinear scattering for small amplitude solutions to the Cauchy problem of (3). In [17, 18], the authors investigated the Cauchy problem of the following Rosenau equation:

$$ u_{tt}-u_{xx}+ u_{xxxx}+ u_{xxxxtt}=f(u)_{xx}. $$

(4)

The existence and uniqueness of the global solution and blow-up of the solution for (4) are proved by Wang and Xu [17]. Wang and Wang [18] also proved the global existence and asymptotic behavior of the solution in n-dimensional Sobolev spaces. Recently, Xu et al. [19, 20] proved the global existence and finite-time blow-up of the solutions for (4) by means of the family of potential wells. The results in [20] improve the results obtained by Wang and Xu [17].

This work considers the Cauchy problem for the following equation:

$$ \left \{ \begin{array}{l} u_{tt}-\Delta u_{tt}+\Delta^{2} u_{tt}=-\Delta^{2}u+\Delta u+\Delta f(u),\quad x\in R^{n},t>0 , \\ u(x,0)=\phi(x),\qquad u_{t}(x,0)=\psi(x),\quad x\in R^{n}, \end{array} \right . $$

(5)

where $f(u)$ satisfies one of the following three assumptions:

$$\begin{aligned} (\mathrm{A}_{1})&\quad f(u)=\pm a|u|^{p} \quad \text{or} \quad -a|u|^{p-1}u,\quad a>0, p>1, \\ (\mathrm{A}_{2})&\quad \left \{ \begin{array}{l} f(u)=\pm a|u|^{p},\quad a>0, p>1, p\neq2k, k=1,2,\ldots\quad \text{or} \\ f(u)=-a|u|^{p-1}u,\quad a>0, p>1, p\neq2k+1, k=1,2,\ldots, \end{array} \right . \\ (\mathrm{A}_{3})&\quad \left \{ \begin{array}{l} f(u)=\pm a|u|^{2k},\quad a>0, p>1, k=1,2,\ldots\quad \text{or} \\ f(u)=-a|u|^{2k+1}u,\quad k=1,2,\ldots. \end{array} \right . \end{aligned}$$

In this paper, we discuss problem (5) in high dimensional space. To our knowledge, there have been few results on the global existence of a solution to problem (5). In [21], Wang and Xue only proved the global existence and finite-time blow-up of the solution to (3) in one space dimension. Though the arguments and methods used in this paper are similar to those in [20], the first equation of problem (5) is different from (3) and (4).

By the Fourier transform and Duhamel’s principle, the solution u of problem (5) can be written as

$$ u(t,x)=\bigl(\partial_{t} S(t)\phi\bigr) (x)+\bigl(S(t)\psi\bigr) (x)+ \int^{t}_{0}\Gamma(t-\tau )f\bigl(u(\tau)\bigr)\, d \tau. $$

(6)

Here $\Gamma(t)=S(t)(1-\Delta +\Delta ^{2})^{-1}\Delta $ and

$$\begin{aligned}& \bigl(\partial_{t} S(t)\phi\bigr) (x)=\frac{1}{(2\pi)^{n}}\int _{R^{n}}e^{ix\xi}\cos \biggl(\frac{|\xi|\sqrt{1+|\xi|^{2}}t}{\sqrt{1+|\xi|^{2}+|\xi|^{4}}}\biggr)\hat{ \phi}(\xi )\, d\xi, \\& \bigl(\partial_{t} S(t)\psi\bigr) (x)=\frac{1}{(2\pi)^{n}}\int _{R^{n}}e^{ix\xi}\sin \biggl(\frac{|\xi|\sqrt{1+|\xi|^{2}}t}{\sqrt{1+|\xi|^{2}+|\xi|^{4}}}\biggr) \frac{\sqrt{1+|\xi|^{2}+|\xi|^{4}}}{|\xi|\sqrt{1+|\xi|^{2}}}\hat{\psi}(\xi )\, d\xi, \end{aligned}$$

where $\hat{\phi}(\xi)=F(\phi)(\xi)=\int_{R^{n}}e^{-i(x,\xi)}\phi(x)\, dx$ is the Fourier transform of $\phi(x)$.

Throughout this paper: $L^{p}$ denotes the usual Lebesgue space on $R^{n}$ with norm $\|\cdot\|_{L^{p}}$, $H^{s}$ denotes the usual Sobolev space on $R^{n}$ with norm $\|u\|_{H^{s}}=\|(I-\Delta )^{\frac{s}{2}}u\|=\|(1+|\xi|^{2})^{\frac {s}{2}}\hat{u}\|$ and $|\xi|=\sqrt{\xi_{1}^{2}+\xi_{2}^{2}+\cdots+\xi_{1}^{2}}$.

First, by using the contraction mapping theorem, we obtain the following existence and uniqueness of the local solution to problem (5).

Theorem 1.1

Let $s>\frac{n}{2}$ and $f\in C^{m}$ with $m\geq s$ being an integer. Then, for any $\phi\in H^{s}$ and $\psi\in H^{s}$, the Cauchy problem (5) has a unique local solution $u\in C^{1}([0,T], H^{s})$. Moreover, if $T_{m}$ is the maximal existence time of u, and

$$ \max_{0\leq t< T_{m}}\bigl[\bigl\Vert u(t)\bigr\Vert _{H^{s}}+ \bigl\Vert u_{t}(t)\bigr\Vert _{H^{s}}\bigr]<\infty, $$

then $T_{m}=\infty$.

Theorem 1.2

Let $s>\frac{n}{2}$ and $f\in C^{m}$ with $m\geq s$ being an integer. Assume that $\phi\in H^{s}(R^{n})$, $\psi\in H^{s}(R^{n})$, and $(-\Delta )^{-\frac{1}{2}}\phi\in L^{2}$, $F(\phi)\in L^{1}$, $F(u)=\int^{t}_{0}f(\tau)\, d\tau$. Then, for the local solution u, we have $u\in C^{2}([0,T);H^{s})$, $(-\Delta )^{-\frac{1}{2}}u_{t}\in C^{1}([0, T_{m}), L^{2})$, satisfying

$$\begin{aligned} E(t) =&\frac{1}{2}\bigl[\bigl\Vert (-\Delta )^{-\frac{1}{2}}u_{t} \bigr\Vert ^{2}+\|\nabla u_{t}\| ^{2}+\|\nabla u \|^{2}+\|u\|^{2}+\|u_{t}\|^{2}\bigr]+\int _{R^{n}} F(u)\, dx \\ =&E(0), \quad \forall t\in(0,T_{m}). \end{aligned}$$

(7)

In order to use the potential well method, for $s>\frac{n}{2}$ ($s\geq1$) and $u\in X_{s}(T)$, we define

$$\begin{aligned}& J(u)=\frac{1}{2}\|u\|^{2}_{H^{1}}+\int _{R^{n}}F(u)\, dx, \\& I(u)=\|u\|^{2}_{H^{1}}+\int_{R^{n}}u f(u)\, dx, \\& d=\inf_{u\in N}J(u),\qquad N=\bigl\{ u\in H^{1}|I(u)=0, \|u\|_{H^{1}}\neq0\bigr\} , \\& W_{1}=\bigl\{ u\in H^{1}|I(u)>0, J(u)< d\bigr\} \cup\{0\}, \\& V_{1}=\bigl\{ u\in H^{1}|I(u)<0,J(u)<d\bigr\} \end{aligned}$$

and

$$\begin{aligned}& W_{2}=\bigl\{ u\in H^{1}|I(u)>0\bigr\} \cup\{0\}, \\& V_{2}=\bigl\{ u\in H^{1}|I(u)<0\bigr\} . \end{aligned}$$

From $u\in C^{1}([0,T]; H^{s})$, we get $u\in C^{1}([0,T];L^{\infty})$ and $u\in C^{1}([0,T];L^{q})$ for all $2\leq q<\infty$. Hence, $J(u)$, $I(u)$, d, $W_{1}$, and $V_{1}$ are all well defined. Now, we give the following results for problem (5).

Theorem 1.3

Let $s>\frac{n}{2}$ with $s\geq1$, and $f(u)$ satisfy (A₂) with $[p]\geq s$ or (A₃). Assume that $\phi\in H^{s}$, $\psi\in H^{s}$, and $(-\Delta )^{-\frac{1}{2}}\psi\in L^{2}$, $E(0)< d$. Then both $W_{2}$ and $V_{2}$ are invariant under the flow of problem (5).

Theorem 1.4

Let $n\leq3$ and $f(u)$ satisfy (A₁), where $2\leq p<\infty$ for $n=1,2$; $\frac{7}{3}\leq p\leq5$ for $n=3$, $\phi\in H^{2}$, $\psi\in H^{2}$, and $(-\Delta)^{-\frac{1}{2}}\phi\in L^{2}$. Assume $E(0)< d$ and $\phi\in W_{2}$. Then problem (5) admits a unique global solution $u\in C^{2}([0, \infty), H^{2})$, with $(-\Delta)^{-\frac {1}{2}}u_{t}\in C^{1}([0,\infty), L^{2})$ and $u\in W_{1}$ for $0\leq t<\infty$.

Theorem 1.5

Let $n\leq3$ and let $f(u)$ satisfy (A₁), where $3\leq p<\infty$ for $n=1,2$; $3\leq p\leq5$ for $n=3$, $\phi\in H^{3}$, $\psi\in H^{3}$, and $(-\Delta)^{-\frac{1}{2}}\phi\in L^{2}$. Assume that $E(0)< d$ and $\phi\in W_{2}$. Then problem (5) admits a unique global solution $u\in C^{2}([0, \infty), H^{3})$ with $(-\Delta)^{-\frac {1}{2}}u_{t}\in C^{1}([0,\infty), L^{2})$ and $u\in W$ for $0\leq t<\infty$.

Theorem 1.6

Let $n\leq3$ and $f(u)$ satisfy (A₁), where $4\leq p<\infty$ for $n=1,2$; $4\leq p\leq5$ for $n=3$, $\phi\in H^{4}$, $\psi\in H^{4}$, and $(-\Delta)^{-\frac{1}{2}}\phi\in L^{2}$. Assume that $E(0)< d$ and $\phi\in W_{2}$. Then problem (5) admits a unique global solution $u\in C^{2}([0, \infty), H^{4})$ with $(-\Delta)^{-\frac {1}{2}}u_{t}\in C^{1}([0,\infty), L^{2})$ and $u\in W$ for $0\leq t<\infty$.

Theorem 1.7

Let $s>\frac{n}{2}$ with $s\geq1$, and $f(u)$ satisfy (A₂) with $[p]\geq3$ or $\phi,\psi\in H^{s}$, $(-\Delta )^{-\frac{1}{2}}\phi, (-\Delta)^{-\frac{1}{2}}\psi\in L^{2}$. Assume that $E(0)< d$ and $I(\phi)<0$. Then the solution of problem (5) blows up in finite time, i.e., the maximal existence time $T_{m}$ of u is finite, and

$$ \lim_{t\rightarrow T_{m}}\sup\bigl(\bigl\Vert u(t)\bigr\Vert _{H^{s}}+\bigl\Vert u_{t}(t)\bigr\Vert _{H^{s}} \bigr)=\infty. $$

The remainder of this paper is organized as follows. In Section 2, Theorems 1.1 and 1.2 are proved. In Section 3, we give some preliminary lemmas and the proof of Theorem 1.3. The proofs of Theorems 1.4, 1.5 and 1.6 are given in Section 4. Finally, Section 5 is devoted to the proof of Theorem 1.7.

2 Existence of local solutions

In this section, we consider the local existence and uniqueness of solutions to problem (5).

Lemma 2.1

For the operators $\partial_{t}S(t)$, $S(t)$ and $\Gamma(t)$ defined in Section 1, we have

$$\begin{aligned}& \bigl\Vert \partial_{t} S(t)\phi\bigr\Vert _{H^{s}}\leq \Vert \phi \Vert _{H^{s}},\quad \forall\phi\in H^{s}, \end{aligned}$$

(8)

$$\begin{aligned}& \bigl\Vert \partial_{t} S(t)\psi\bigr\Vert _{H^{s}} \leq2(1+t)\Vert \psi \Vert _{H^{s}}, \quad \forall\psi\in H^{s}, \end{aligned}$$

(9)

$$\begin{aligned}& \bigl\Vert \partial_{tt} S(t)\phi\bigr\Vert _{H^{s}}\leq \sqrt{2}\Vert \phi \Vert _{H^{s}}, \quad \forall \phi\in H^{s}, \end{aligned}$$

(10)

$$\begin{aligned}& \bigl\Vert \Gamma(t)f\bigr\Vert _{H^{s}}\leq\sqrt{2}\Vert f\Vert _{H^{s-2}}, \quad \forall f\in H^{s-2}, \end{aligned}$$

(11)

$$\begin{aligned}& \bigl\Vert \partial_{t}\Gamma(t)f\bigr\Vert _{H^{s}}\leq \Vert f\Vert _{H^{s-2}}, \quad \forall f\in H^{s-2}. \end{aligned}$$

(12)

Proof

We only need to prove (9) and (11), since the proofs of the other inequalities are similar. Using the Plancherel theorem, we have

$$\begin{aligned}& \bigl\Vert \partial_{t} S(t)\psi\bigr\Vert ^{2}_{H^{s}} = \int_{R}\bigl(1+|\xi|^{2}\bigr)^{s} \frac{1+|\xi |^{2}+|\xi|^{4}}{|\xi|^{2}(1+|\xi|^{2})}\sin\biggl(\frac{t|\xi|\sqrt{1+|\xi|^{2}}}{\sqrt {1+|\xi|^{2}+|\xi|^{4}}}\biggr)\bigl\vert \hat{\psi}(\xi) \bigr\vert ^{2}\, d\xi \\& \hphantom{\bigl\Vert \partial_{t} S(t)\psi\bigr\Vert ^{2}_{H^{s}}}\leq \int_{|\xi|\leq1}\bigl(1+|\xi|^{2} \bigr)^{s} t^{2}\bigl\vert \hat{\psi}(\xi)\bigr\vert ^{2}\, d\xi \\& \hphantom{\bigl\Vert \partial_{t} S(t)\psi\bigr\Vert ^{2}_{H^{s}}=}{}+ \int_{|\xi|> 1}\bigl(1+|\xi|^{2} \bigr)^{s} \frac{(1+|\xi|^{2}+|\xi|^{4})^{2}}{|\xi|^{2}(1+|\xi |^{2})}\bigl\vert \hat{\psi}(\xi)\bigr\vert ^{2}\, d\xi \\& \hphantom{\bigl\Vert \partial_{t} S(t)\psi\bigr\Vert ^{2}_{H^{s}}}\leq t^{2}\int_{|\xi|\leq1}\bigl(1+| \xi|^{2}\bigr)^{s}\bigl\vert \hat{\psi}(\xi)\bigr\vert ^{2}\, d\xi+4\int_{|\xi|>1}\bigl(1+|\xi|^{2} \bigr)^{s}\bigl\vert \hat{\psi}(\xi)\bigr\vert ^{2}\, d\xi \\& \hphantom{\bigl\Vert \partial_{t} S(t)\psi\bigr\Vert ^{2}_{H^{s}}}\leq4(1+t)^{2}\Vert \psi \Vert ^{2}_{H^{s}}, \\& \bigl\Vert \Gamma(t)f\bigr\Vert ^{2}_{H^{s}}=\int _{R}\bigl(1+|\xi|^{2}\bigr)^{s} \sin^{2}\biggl(\frac{t|\xi|\sqrt {1+|\xi|^{2}}}{\sqrt{1+|\xi|^{2}+|\xi|^{4}}}\biggr) \\& \hphantom{\bigl\Vert \Gamma(t)f\bigr\Vert ^{2}_{H^{s}}=}{}\times\frac{1+|\xi|^{2}+|\xi|^{4}}{|\xi|^{2}(1+|\xi|^{2})} \frac{|\xi|^{4}}{(1+|\xi |^{2}+|\xi|^{4})^{2}}\bigl\vert \hat{f}(\xi)\bigr\vert ^{2}\, d\xi \\& \hphantom{\bigl\Vert \Gamma(t)f\bigr\Vert ^{2}_{H^{s}}}\leq2\int_{R}\bigl(1+|\xi|^{2} \bigr)^{s-2}\bigl|\hat{f}(\xi)\bigr|^{2}\, d\xi=2\Vert f\Vert ^{2}_{H^{s-2}}. \end{aligned}$$

Therefore (9) and (11) hold. This completes the proof of the lemma. □

Lemma 2.2

([17])

Let $g\in C^{m}(R)$, where $m\geq0$ is an integer.

(i)

If $0\leq s\leq m$ and $u\in H^{s}(R^{n})\cap L^{\infty}(R^{n})$, then $g(u)\in H^{s}(R^{n})$ and
$$ \bigl\Vert g(u)\bigr\Vert _{H^{s}}\leq C\bigl(\Vert u\Vert _{\infty}\bigr)\|u\|_{H^{s}}. $$

(13)
(ii)

If $s\leq m$ and $u,v\in H^{s}(R^{n})\cap L^{\infty}(R^{n})$, then
$$ \bigl\Vert g(u)-g(v)\bigr\Vert _{H^{s}}\leq K\bigl(\Vert u\Vert _{\infty},\|v\|_{\infty}\bigr)\|u-v\|_{H^{s}}. $$

(14)

In particular, if $u,v\in H^{s}$ for some $s>\frac{n}{2}$, then u and $v\in L^{\infty}$, (13) and (14) hold.

Proof of Theorem 1.1

Let $s>\frac{n}{2}$,

$$\begin{aligned}& X_{s}(T)=C^{1}\bigl([0,T]; H^{s}\bigr), \\& \|u\|_{X_{s}(T)}=\max_{0\leq t\leq T}\bigl\{ \bigl\Vert u(t)\bigr\Vert _{H^{s}}+\bigl\Vert u_{t}(t)\bigr\Vert _{H^{s}}\bigr\} \end{aligned}$$

and

$$\begin{aligned}& B u=\bigl(\partial_{t} S(t)\phi\bigr) (x)+\bigl(S(t)\psi\bigr) (x)+ \int^{t}_{0}\Gamma(t-\tau )f\bigl(u(\tau)\bigr)\, d \tau, \\& A_{R}(T)=\bigl\{ u\in X_{s}(T)|\Vert u\Vert _{X_{s}(T)}< R\bigr\} . \end{aligned}$$

Similarly to the proofs in [15, 16], we see that for sufficiently small T,

$$ B u: A_{R}\rightarrow A_{R} $$

is a contract mapping. Hence by the contracting-mapping principle we obtain the result of Theorem 1.1. □

Corollary 2.3

Under the assumption of Theorem 1.1, if $T_{m}<\infty$, we have

$$ \lim_{t\rightarrow T_{m}}\sup\bigl(\bigl\Vert u(t)\bigr\Vert _{H^{s}}+\bigl\Vert u_{t}(t)\bigr\Vert _{H^{s}} \bigr)=+\infty. $$

Corollary 2.4

Let $s>\frac{n}{2}$ and $f(u)$ satisfy (A₂) or (A₃). Then, for any $\phi\in H^{s}$ and $\psi\in H^{s}$, problem (5) admits a unique local solution $u\in C^{1}([0, T_{m}), H^{s_{1}})$, where $T_{m}$ is the maximal existence time of u. Moreover, either $T_{m}=+\infty$ or $T_{m}<\infty$ and

$$ \lim_{t\rightarrow T_{m}}\sup\bigl(\bigl\Vert u(t)\bigr\Vert _{H^{s}}+\bigl\Vert u_{t}(t)\bigr\Vert _{H^{s}} \bigr)=+\infty. $$

Lemma 2.5

Assume $s>\frac{n}{2}$, $f\in C^{m}(R)$, $\phi\in H^{s}$, and $\psi\in H^{s}$. Then for the local solution $u\in C^{1}([0, T_{m}), H^{s})$ given in Theorem 1.1, we have $u_{tt}\in C([0, T_{m}), H^{s})$.

Proof

Using the Fourier transformation, we have

$$ \hat{u}_{tt}=-\frac{|\xi|^{2}(1+|\xi|^{2})}{1+|\xi|^{2}+|\xi|^{4}}\hat{u}+\frac {|\xi|^{2}}{1+|\xi|^{2}+|\xi|^{4}}\hat{f}(u). $$

(15)

Since

$$\begin{aligned}& |\xi|^{2}\bigl(1+|\xi|^{2}\bigr)<\bigl(1+| \xi|^{2}+|\xi|^{4}\bigr), \\& |\xi|^{2}<\bigl(1+|\xi|^{2}+|\xi|^{4}\bigr), \end{aligned}$$

which together with (15) yields

$$ \|u_{tt}\|_{H^{s}}=\|\hat{u}_{tt}\|_{H^{s}} \leq\|\hat{u}\|_{H^{s}}+\bigl\Vert \hat {f}(u)\bigr\Vert _{H^{s}}\leq\bigl(1+C\Vert u\Vert _{\infty}\bigr)\|u \|_{H^{s}}\leq C(T). $$

Furthermore, using

$$\begin{aligned} \bigl\Vert u_{tt}(t+\Delta t)-u_{tt}(t)\bigr\Vert _{H^{s}} =&\bigl\Vert \hat{u}_{tt}(t+\Delta t)-\hat {u}_{tt}(t)\bigr\Vert _{H^{s}} \\ \leq& C(T)\bigl\Vert u(t+\Delta t)-u(t)\bigr\Vert _{H^{s}} \rightarrow0\quad \mbox{as }\Delta t\rightarrow0, \end{aligned}$$

we obtain $u_{tt}\in C([0, T_{m}); H^{s})$. □

Lemma 2.6

Assume $s>\frac{n}{2}$, $f\in C^{m}(R)$, $\phi\in H^{s}$, $\psi\in H^{s}$, and $(-\Delta)^{-\frac{1}{2}}\phi\in L^{2}$. Then for the local solution $u\in C^{1}([0, T_{m}), H^{s})$ given in Theorem 1.1, we have $(-\Delta)^{-\frac{1}{2}}u_{t}\in C^{1}([0, T_{m}), L^{2})$.

Proof

First for the local solution u given in Theorem 1.1, we obtain

$$ (-\Delta )^{-\frac{1}{2}}u_{tt}\in C\bigl([0, T_{m}), H^{s+1}\bigr). $$

From (15), we get

$$\begin{aligned}& \frac{1}{|\xi|}\hat{u}_{tt}=-\frac{|\xi|^{2}(1+|\xi|^{2})}{|\xi|(1+|\xi |^{2}+|\xi|^{4})}\hat{u}+ \frac{|\xi|^{2}}{|\xi|(1+|\xi|^{2}+|\xi|^{4})}\hat {f}(u), \\& \biggl\Vert \frac{|\xi|(1+|\xi|^{2})}{1+|\xi|^{2}+|\xi|^{4}}\hat{u}\biggr\Vert ^{2}_{H^{s+1}} =\int_{R^{n}}\bigl(1+\vert \xi \vert \bigr)^{s+1} \frac{|\xi|^{2}(1+|\xi|^{2})^{2}}{(1+|\xi|^{2}+|\xi |^{4})^{2}}\bigl\vert \hat{u}(\xi)\bigr\vert ^{2}\, d\xi \\& \hphantom{\biggl\Vert \frac{|\xi|(1+|\xi|^{2})}{1+|\xi|^{2}+|\xi|^{4}}\hat{u}\biggr\Vert ^{2}_{H^{s+1}}} \leq\int_{R^{n}}\bigl(1+|\xi|^{2} \bigr)^{s}\frac{(1+|\xi|^{2})^{4}}{(1+|\xi|^{2}+|\xi |^{4})^{2}}\bigl\vert \hat{u}(\xi)\bigr\vert ^{2}\, d\xi \\& \hphantom{\biggl\Vert \frac{|\xi|(1+|\xi|^{2})}{1+|\xi|^{2}+|\xi|^{4}}\hat{u}\biggr\Vert ^{2}_{H^{s+1}}} \leq C\int_{R^{n}}\bigl(1+|\xi|^{2} \bigr)^{s}\bigl\vert \hat{u}(\xi)\bigr\vert ^{2}\, d\xi=C \|u\|^{2}_{H^{s}}, \\& \biggl\Vert \frac{|\xi|}{1+|\xi|^{2}+|\xi|^{4}}\hat{f}(u)\biggr\Vert ^{2}_{H^{s+1}} =\int_{R^{n}}\bigl(1+\vert \xi \vert \bigr)^{s+1} \frac{|\xi|^{2}}{(1+|\xi|^{2}+|\xi|^{4})^{2}}\bigl\vert \hat {f}(u)\bigr\vert ^{2}\, d\xi \\& \hphantom{\biggl\Vert \frac{|\xi|}{1+|\xi|^{2}+|\xi|^{4}}\hat{f}(u)\biggr\Vert ^{2}_{H^{s+1}}} \leq\int_{R^{n}}\bigl(1+\vert \xi \vert \bigr)^{s+1}\frac{(1+|\xi|^{2})^{4}}{(1+|\xi|^{2}+|\xi |^{4})}\bigl\vert \hat{f}(u)\bigr\vert ^{2}\, d\xi \\& \hphantom{\biggl\Vert \frac{|\xi|}{1+|\xi|^{2}+|\xi|^{4}}\hat{f}(u)\biggr\Vert ^{2}_{H^{s+1}}} \leq C\int_{R^{n}}\bigl(1+|\xi|^{2} \bigr)^{s}\bigl\vert \hat{f}(u)\bigr\vert ^{2}\, d\xi=C \bigl\Vert \hat{f}(u)\bigr\Vert ^{2}_{H^{s}} \\& \hphantom{\biggl\Vert \frac{|\xi|}{1+|\xi|^{2}+|\xi|^{4}}\hat{f}(u)\biggr\Vert ^{2}_{H^{s+1}}} \leq C\bigl(\Vert u\Vert _{H^{s}}\bigr)\|u \|^{2}_{H^{s}}. \end{aligned}$$

Furthermore, we get $\|(-\Delta)^{-\frac{1}{2}}u_{tt}(t+\Delta t)-(-\Delta)^{-\frac {1}{2}}u_{tt}(t)\|_{H^{s+1}}\rightarrow0$ as $\Delta t\rightarrow0$.

Hence, we have

$$ (-\Delta)^{-\frac{1}{2}}u_{tt}\in C\bigl([0,T_{m} ),H^{s+1}\bigr). $$

Using

$$ (-\Delta)^{-\frac{1}{2}}u_{t}\in L^{2} $$

and

$$ (-\Delta)^{-\frac{1}{2}}u_{t}=(-\Delta)^{-\frac{1}{2}} \psi+\int ^{t}_{0}(-\Delta)^{-\frac{1}{2}}u_{\tau\tau}\, d\tau, $$

we get

$$ (-\Delta)^{-\frac{1}{2}}u_{t}\in C^{1}\bigl([0,T_{m} ),L^{2}\bigr). $$

□

Proof of Theorem 1.2

Using (5), it follows by straightforward calculation that

$$\begin{aligned} E'(t) =&\bigl((-\Delta )^{-\frac{1}{2}}u_{tt}, (- \Delta )^{-\frac {1}{2}}u_{t}\bigr)+(u_{tt}, u_{t})+(\nabla u_{tt}, \nabla u_{t})+(u_{x}, \nabla u_{t})+(u, u_{t})+\bigl(f(u), u_{t}\bigr) \\ =&\bigl\langle (-\Delta )^{-1}u_{tt}+u_{tt}- \Delta u_{tt}-\Delta u+u+f(u), u_{t}\bigr\rangle _{X\ast X}=0, \end{aligned}$$

where $(\cdot,\cdot)$ denotes the inner product of $L^{2}$ space, $\langle \cdot,\cdot\rangle_{{X\ast X}}$ means the usual duality of $X^{\ast}$ and X with $X=H^{1}$. Integrating the above equality with respect to t, we have identity (7). The theorem is proved. □

Corollary 2.7

Let $s>\frac{n}{2}$ with $s\geq1$ and $f(u)$ satisfy (A₂), with $[p]\geq s $ or (A₃). Assume that $\phi \in H^{s}$, $\psi\in H^{s}$, and $(-\Delta )^{-\frac{1}{2}}\psi\in L^{2}$, problem (5) admits a unique local solution $u\in C^{2}([0, T_{m}), H^{s})$, with $(-\Delta )^{-\frac{1}{2}}u_{t}\in C^{1}([0, T_{m}), L^{2})$ satisfying (7), where $T_{m}$ is the maximal existence time of u. Moreover, either $T_{m}=+\infty$ or $T_{m}<\infty$ and

$$ \lim_{t\rightarrow T_{m}}\sup\bigl(\bigl\Vert u(t)\bigr\Vert _{H^{s}}+\bigl\Vert u_{t}(t)\bigr\Vert _{H^{s}} \bigr)=+\infty. $$

(16)

Proof

Since $\phi\in H^{s}$ and $s>\frac{n}{2}$, we have $\phi \in L^{\infty}$. Hence, $\phi\in L^{q}$ for all $2\leq q\leq\infty$. From $|F(\phi)|=C|\phi|^{p+1}$, $2< p+1<\infty$. We obtain $F(\phi)\in L^{1}$. □

3 Preliminary lemmas and invariant sets

In this section, we will prove several lemmas which are related with the potential well for problem (5). By arguments similar to those in [20], we obtain the following lemmas.

Lemma 3.1

Let $s>\frac{n}{2}$ with $s\geq1$ and let $f(u)$ satisfy (A₁), $u\in H^{s}$ and $g(\lambda)=-\frac{1}{\lambda } \int_{R^{n}} uf(\lambda u)\, dx$. Assume $\int_{R^{n}}u f(u)\, dx<0$. Then:

(i)

$g(\lambda)$ is increasing on $0<\lambda<\infty$.
(ii)

$\lim_{\lambda\rightarrow0}g(\lambda)=0$, $\lim_{\lambda \rightarrow+\infty}g(\lambda)=+\infty$.

Lemma 3.2

Let $s>\frac{n}{2}$ with $s\geq1$, $u\in H^{s}$, and let $f(u)$ satisfy (A₁), $u\neq0$. We have:

(i)

$\lim_{\lambda\rightarrow0}J(\lambda u)=0$.
(ii)

$I(\lambda u)=\lambda\frac{d}{d\lambda}J(\lambda u)$, $\forall\lambda >0$.

Furthermore, if $\int_{R^{n}}u f(u)\, dx<0$, then:

(iii)

$\lim_{\lambda\rightarrow+\infty}J(\lambda u)=-\infty$.
(iv)

In the interval $0<\lambda<\infty$, there exists a unique $\lambda^{\ast}=\lambda^{\ast}(u)$ such that
$$ \biggl.\frac{d}{d\lambda}J(\lambda u)\biggr|_{\lambda=\lambda^{\ast}}=0. $$
(v)

$J(\lambda u)$ is increasing on $0<\lambda<\lambda^{\ast}$, decreasing on $\lambda^{\ast}<\lambda<\infty$ and $I(\lambda^{\ast})=0$.
(vi)

$I(\lambda u)>0 $ for $0<\lambda<\lambda^{\ast}$, $I(\lambda u)<0$ for $\lambda^{\ast}<\lambda<\infty$ and $I(\lambda^{\ast})=0$.

Lemma 3.3

Let $s>\frac{n}{2}$ with $s\geq1$, $u\in H^{s}$, and let $f(u)$ satisfy (A₁). Then:

(i)

If $0<\|u\|_{H^{1}}<r_{0}$, then $I(u)>0$.
(ii)

If $I(u)<0$, then $\|u\|_{H^{1}}>r_{0}$.
(iii)

If $I(u)=0$ and $\|u\|_{H^{1}}\neq0$, then $\|u\|_{H^{1}}\geq r_{0}$, where $r_{0}=(\frac{1}{a C_{\ast}^{p+1}})^{\frac{1}{p-1}}$.

Lemma 3.4

Let $s>\frac{n}{2}$ with $s\geq1$ and $f(u)$ satisfy (A₁). We have

$$ d\geq d_{0}=\frac{p-1}{2(p+1)}r_{0}^{2}= \frac{p-1}{2(p+1)}\biggl(\frac{1}{a C_{*}^{p+1}}\biggr)^{\frac{2}{p-1}}. $$

Lemma 3.5

Let $s>\frac{n}{2}$ with $s\geq1$ and $f(u)$ satisfy (A₁). Assume $u\in H^{s}$ and $I(u)<0$. Then

$$ d<\frac{p-1}{2(p+1)}\|u\|^{2}_{H^{1}}. $$

(17)

Proof of Theorem 1.3

We only prove the invariance of $W_{1}$ since the proof for the invariance of $V_{1}$ is similar. Let $u(t,x)$ be any weak solution of problem (5) with $\phi\in W_{1}$, T be the maximal existence time of $u(t,x)$. Next we prove that $u(t,x)\in W_{1}$ for $0 < t < T$. Arguing by contradiction we assume there is a $t_{1}\in (0,T)$ such that $u(t_{1})\notin W_{1}$. By the continuity of $I(u(t))$ with respect to t, there exists a $t_{0}\in (0,T)$ such that $u(t_{0})\in \partial W_{1}$. From the definition of $W_{1}$ and (i) of Lemma 3.3 we have $R_{0}\subset W_{1}$, $R_{0}=\{u\in H^{1}\mid \|u\|_{H^{1}}< r_{0}\}$. Hence we know $0\notin \partial W_{1}$. From $u(t_{0})\in \partial W_{1}$, it holds that $I(u(t_{0})) =0$ and $\|u(t_{0})\|_{H^{1}}\neq 0$. The definition of d yields $J (u(t_{0}))\geq d$, which contradicts

$$ \frac{1}{2}\bigl[\bigl\| (-\Delta )^{-\frac{1}{2}}u_{t}\bigr\| ^{2}+\|\nabla u_{t}\|^{2}+\|u_{t}\|^{2}\bigr]+J(u)\leq E(0)< d. $$

The proof of Theorem 1.3 is complete. □

From Theorem 1.3, we can prove the following corollaries.

Corollary 3.6

Let s, $f(u)$, ϕ, ψ and $E(0)$ be the same as those in Theorem 1.3. Then:

(i)

All solutions of problem (5) belong to $W_{1}$, provided that $\phi\in W_{2}$.
(ii)

All solutions of problem (5) belong to $V_{1}$, provided that $\phi\in V_{2}$.

Corollary 3.7

Let $s>\frac{n}{2}$ with $s\geq1$, and let $f(u)$ satisfy (A₂) with $[p]\geq s$ or (A₃), $\phi\in H^{s}$, $\psi\in H^{s}$ and $(-\Delta )^{-\frac{1}{2}}\psi\in L^{2}$. Assume that $E(0)<0$ or $E(0)=0$, $\phi\neq0$. Then all the solutions of problem (5) belong to $V_{1}$.

4 Global existence of solutions

In this section, we prove the global existence of a solution for problem (5).

Lemma 4.1

Let $s>\frac{n}{2}$ with $s\geq1$ and $f(u)$ satisfy (A₂) with $[p]\geq s$ or $\phi\in H^{s}$, $\psi\in H^{s} $, and $(-\Delta)^{-\frac{1}{2}}\psi\in C^{1}([0,T_{m}), L^{2})$. Assume that $E(0)< d$ and $\phi\in W_{2}$. Then, for the local solution u given in Corollary 2.7, one has

$$ \bigl\Vert u_{t}(t)\bigr\Vert ^{2}_{H^{1}}+\bigl\Vert u(t)\bigr\Vert ^{2}_{H^{1}}<\frac{4p}{p-1}d. $$

(18)

Proof

Let u be the unique local solution of problem (5) given in Corollary 2.7. Then $u\in C^{2}([0, T_{m}); H^{s})$, $(-\Delta )^{-\frac{1}{2}} u_{t}\in C^{1}([0, T_{m}),L^{2})$ satisfying (7) and

$$ \frac{1}{2}\bigl\Vert (-\Delta)^{-\frac{1}{2}} u_{t}\bigr\Vert ^{2}+\frac{1}{2}\|\nabla u_{t}\|^{2}+ \frac{1}{2}\|u_{t}\|^{2}+\frac{p-1}{2(p+1)}\|u \|^{2}_{H^{1}}+\frac {1}{p+1}I(u) =E(0)< d. $$

(19)

From Theorem 1.3, we get $u\in W_{2}$ and $I(u)\geq0$ for $0\leq t\leq T_{m}$. Hence, (19) gives rise to

$$\begin{aligned}& \|u\|^{2}_{H^{1}}< \frac{2(p+1)}{p-1}d,\quad 0\leq t<T_{m}, \end{aligned}$$

(20)

$$\begin{aligned}& \frac{1}{2}\bigl\Vert (-\Delta)^{-\frac{1}{2}}u_{t}\bigr\Vert ^{2}+\frac{1}{2}\|\nabla u_{t}\| ^{2}+ \frac{1}{2}\|u_{t}\|^{2}< d, \quad 0\leq t<T_{m}. \end{aligned}$$

(21)

Thus, we obtain (18). □

Proof of Theorem 1.4

It follows from Corollary 2.7 that problem (5) admits a unique local solution $u\in C^{2}([0,T_{m}); H^{2})$, with $(-\Delta)^{-\frac{1}{2}}u_{t}\in C^{1}([0,T_{m});L^{2})$ satisfying (7), where $T_{m}$ is the maximal existence time of u.

Next, we prove that $T_{m}=+\infty$. Using Lemma 4.1 one derives (19). Since $u\in C^{2}([0,T_{m}); H^{2})$ satisfies (5), we have

$$ u_{tt}-\Delta u_{tt}+\Delta^{2} u_{tt}+ \Delta^{2}u-\Delta u=\Delta f(u)\quad \text{in } C\bigl([0, T_{m}), H^{-2}\bigr) $$

and

$$ u_{tt}+u-\Delta u_{tt}+\Delta^{2} u_{tt}+\Delta^{2}u-\Delta u=\Delta f(u)+u,\quad 0\leq t< T_{m}. $$

(22)

Multiplying (22) by $u_{t}\in C^{1}([0,T_{m}), H^{2})$ and integrating on $R^{n}$, we obtain

$$\begin{aligned}& \frac{1}{2}\frac{d}{dt}\bigl[\|u_{t}\|^{2}+\| \nabla u_{t}\|^{2}+\|\Delta u_{t}\|^{2}+\| u\|^{2}+\|\nabla u\|^{2}+\|\Delta u\|^{2}\bigr] \\& \quad =-\bigl(f'(u)\nabla u, \nabla u_{t} \bigr)+(u,u_{t}). \end{aligned}$$

(23)

For $n=3$, we get

$$ -\bigl(f'(u)\nabla u, \nabla u_{t}\bigr)\leq\bigl\Vert f'(u)\bigr\Vert _{\frac{3}{2}}\|\nabla u\|_{6}\| \nabla u_{t}\|_{H^{2}}. $$

(24)

For $n=3$, we have $H^{1}\hookrightarrow L^{2}$ for $2\leq q\leq6$, $|f'(u)|=A|u|^{p-1}$. From $\frac{7}{3}\leq p\leq5$, we have $\frac {4}{3}\leq p-1\leq4$ and $2\leq\frac{3}{2}(p-1)\leq6$. Hence, we have $\|f'(u)\|_{\frac{3}{2}}\leq C(p)$ for $0\leq t< T_{m}$. From (23) and (24), we get

$$\begin{aligned}& \frac{1}{2}\frac{d}{dt}\bigl[\|u_{t}\|^{2}+\| \nabla u_{t}\|^{2}+\|\Delta u_{t}\|^{2}+\| u\|^{2}+\|\nabla u\|^{2}+\|\Delta u\|^{2}\bigr] \\& \quad \leq C\bigl(\|u_{t}\|^{2}+\|\nabla u_{t} \|^{2}+\|\Delta u_{t}\|^{2}+\|u\|^{2}+ \|\nabla u\|^{2}+\|\Delta u\|^{2}\bigr). \end{aligned}$$

(25)

For $n=1 \mbox{ or } 2$, we have

$$\begin{aligned} -\bigl(f'(u)\nabla u, \nabla u_{t}\bigr) \leq&\bigl\Vert f'(u)\bigr\Vert _{3}\|\nabla u\|_{3} \|\nabla u_{t}\|_{3}\leq C\|u\|_{H^{2}} \|u_{t}\|_{H^{2}} \\ \leq& C\bigl(\|u_{t}\|^{2}+\|\nabla u_{t} \|^{2}+\|\Delta u_{t}\|^{2}+\|u\|^{2}+\| \nabla u\|^{2}+\|\Delta u\|^{2}\bigr) \end{aligned}$$

and (25). Let

$$ E_{1}(t)=\frac{1}{2}\bigl(\|u_{t}\|^{2}+\| \nabla u_{t}\|^{2}+\|\Delta u_{t}\|^{2}+ \|u\| ^{2}+\|\nabla u\|^{2}+\|\Delta u\|^{2}\bigr). $$

Using (25) yields

$$ E_{1}(t)=E_{1}(0)+C\int^{t}_{0}E_{1}( \tau)\, d\tau,\quad 0\leq t< T_{m} $$

and

$$ E_{1}(0)\leq E_{0}e^{Ct},\quad 0\leq t< T_{m}. $$

(26)

From (26), we obtain $T_{m}=+\infty$. If the conclusion $T_{m}=+\infty$ is false, then $T_{m}<\infty$. By (26), we get

$$ E_{1}(t)\leq E_{1}(0)e^{C T_{m}}, \quad \text{for } 0 \leq t< T_{m}, $$

which contradicts (16). □

Proof of Theorem 1.5

It follows from Corollary 2.7 that problem (5) admits a unique local solution $u\in C^{2}([0,T_{m}]; H^{3})$ and $(-\Delta)^{-\frac{1}{2}}u_{t}\in C^{1}([0, T_{m}); L^{2})$.

Multiplying (22) by $-\Delta u_{t}$, we obtain

$$\begin{aligned}& \frac{1}{2}\frac{d}{dt}\bigl[\|\nabla u_{t} \|^{2}+\bigl\| \nabla^{3} u_{t}\bigr\| ^{2}+\| \Delta u_{t}\|^{2}+\|\nabla u\|^{2}+\bigl\Vert \nabla^{3} u\bigr\Vert ^{2}+\|\Delta u\| ^{2} \bigr] \\& \quad =-\bigl(f'(u)\nabla u, \nabla^{3} u_{t} \bigr)+(\nabla u, \nabla u_{t}),\quad 0\leq t< T_{m}. \end{aligned}$$

(27)

From (23) and (27), for $0\leq t< T_{m}$, we get

$$\begin{aligned} \begin{aligned}[b] &\frac{1}{2}\frac{d}{dt}\bigl[\| u_{t}\|^{2}+2\| \nabla u_{t}\|^{2}+\|\Delta u_{t}\| ^{2}+\bigl\Vert \nabla^{3} u_{t}\bigr\Vert ^{2} \\ &\qquad {}+\bigl\Vert \nabla^{3} u\bigr\Vert ^{2}+\|u \|^{2}+\bigl\Vert \nabla^{3} u\bigr\Vert ^{2}+2 \|\Delta u\| ^{2}\bigr] \\ &\quad =(u, u_{t})+(\nabla u, \nabla u_{t})- \bigl(f'(u)\nabla u, \nabla^{3} u_{t}\bigr)+ \bigl(f'(u)\nabla u, \nabla u_{t}\bigr) \end{aligned} \end{aligned}$$

(28)

and

$$\begin{aligned}& (u, u_{t})+(\nabla u, \nabla u_{t})\leq\frac{1}{2} \bigl(\|u\|^{2}+\|u_{t}\|^{2}+\| \nabla u \|^{2}+\|\nabla u_{t}\|^{2}\bigr), \\& -\bigl(f'(u)\nabla u, \nabla u_{t}\bigr) \leq C \bigl( \|u_{t}\|^{2}+\|\nabla u_{t}\|^{2}+\| \Delta u_{t}\|^{2} \\& \hphantom{-\bigl(f'(u)\nabla u, \nabla u_{t}\bigr) \leq}{}+\|u\|^{2}+2\|\nabla u \|^{2}+2\|\Delta u\|^{2} \bigr), \\& \bigl(f'(u)\nabla u, \nabla^{3}u_{t}\bigr) \leq\bigl\Vert f'(u)\bigr\Vert _{4}\|\nabla u \|_{4}\bigl\Vert \nabla ^{3} u_{t}\bigr\Vert \leq C\|u\|_{H^{2}}\bigl\Vert \nabla^{3} u_{t}\bigr\Vert \\& \hphantom{\bigl(f'(u)\nabla u, \nabla^{3}u_{t}\bigr)}\leq C\bigl(\|u\|^{2}_{H^{2}}+\bigl\Vert \nabla^{3} u_{t}\bigr\Vert ^{2}\bigr) \\& \hphantom{\bigl(f'(u)\nabla u, \nabla^{3}u_{t}\bigr)}\leq C\bigl(\|u\|^{2}+\|\nabla u\|^{2}+\| \Delta u\|^{2}+\bigl\Vert \nabla^{3} u_{t} \bigr\Vert ^{3}\bigr). \end{aligned}$$

Let

$$\begin{aligned} E_{2}(t) =&\frac{1}{2}\bigl(\|u_{t}\|^{2}+2 \|\nabla u_{t}\|^{2}+\|\Delta u_{t} \|^{2}+\bigl\Vert \nabla^{3} u_{t}\bigr\Vert ^{2}+\|u\|^{2} \\ &{} +2\|\nabla u\|^{2}+2\|\Delta u\|^{2}+\bigl\Vert \nabla^{3} u\bigr\Vert ^{2}\bigr). \end{aligned}$$

Using (28) and the estimates above, we obtain

$$ \frac{d}{dt}E_{2}(t)\leq C E_{2}(t),\qquad E_{2}(t)\leq E_{2}(0)+C\int^{t}_{0}E_{2}( \tau)\, d\tau,\quad 0\leq t< T_{m} $$

and

$$ E_{2}(t)\leq E_{2}(0)e^{Ct},\quad 0\leq t< T_{m}. $$

(29)

Thus $T_{m}=+\infty$. □

Proof of Theorem 1.6

From Corollary 2.7, it follows that problem (5) admits a unique local solution $u\in C^{2}([0,T_{m}]; H^{4})$, with $(-\Delta)^{-\frac{1}{2}}u_{t}\in C^{1}([0, T_{m}); L^{2})$, where $T_{m}$ is the maximal existence time of u.

Multiplying (22) by $-\Delta^{2} u_{t}$ and integrating on $R^{n}$, we have

$$\begin{aligned}& \frac{1}{2}\frac{d}{dt}\bigl[\|\Delta u_{t} \|^{2}+\bigl\Vert \nabla^{3} u_{t}\bigr\Vert ^{2}+\bigl\Vert \Delta ^{2} u_{t}\bigr\Vert ^{2}+\|\Delta u\|^{2}+\bigl\Vert \nabla^{3} u \bigr\Vert ^{2}+\bigl\Vert \Delta ^{2}u\bigr\Vert ^{2}\bigr] \\& \quad =\bigl(\Delta f(u), \Delta ^{2} u_{t}\bigr)+( \Delta u, \Delta u_{t}). \end{aligned}$$

(30)

From (23) and (30), we obtain

$$\begin{aligned}& \frac{1}{2}\frac{d}{dt}\bigl[\|u_{t}\|^{2}+2\| \Delta u_{t}\|^{2}+\bigl\Vert \nabla^{3} u_{t}\bigr\Vert ^{2}+\bigl\Vert \Delta ^{2} u_{t}\bigr\Vert ^{2}+\|u\|^{2} \\& \qquad {}+\|\nabla u\|^{2}+2\|\Delta u\|^{2}+2\bigl\Vert \nabla^{3} u\bigr\Vert ^{2}+\bigl\Vert \Delta ^{2} u\bigr\Vert ^{2}\bigr] \\& \quad =(u, u_{t})+(\Delta u, \Delta u_{t})-\bigl( \Delta f(u), \Delta ^{2} u_{t}\bigr)+(\Delta u, \Delta u_{t}), \quad 0\leq t< T_{m}, \\& (u,u_{t})+(\Delta u, \Delta u_{t})\leq\frac{1}{2} \bigl(\|u\|^{2}+\|u_{t}\|^{2}+\| \Delta u \|^{2}+\|\Delta u_{t}\|^{2}\bigr), \\& -\bigl(f'(u)\nabla u, \nabla u_{t}\bigr) \leq C\|u \|_{H^{2}}\|u_{t}\|_{H^{2}} \\& \hphantom{-\bigl(f'(u)\nabla u, \nabla u_{t}\bigr)}\leq C\bigl(\|u\|^{2}+\|\nabla u\|^{2}+\| \Delta u\|^{2}+\|u_{t}\|^{2}+\|\Delta u_{t}\|^{2}\bigr), \\& \bigl(\Delta f(u), \Delta^{2}u_{t}\bigr)\leq\bigl\Vert \Delta f(u)\bigr\Vert \bigl\Vert \Delta^{2} u_{t}\bigr\Vert \\& \hphantom{\bigl(\Delta f(u), \Delta^{2}u_{t}\bigr)}\leq C\bigl(\|u\|^{2}_{H^{2}}+\bigl\Vert \Delta^{2} u_{t}\bigr\Vert ^{2}\bigr) \\& \hphantom{\bigl(\Delta f(u), \Delta^{2}u_{t}\bigr)}\leq C\bigl(\|u\|^{2}+\|\nabla u\|^{2}+\| \Delta u\|^{2}+\bigl\Vert \Delta ^{2} u_{t} \bigr\Vert ^{2}\bigr). \end{aligned}$$

(31)

Let

$$\begin{aligned} \begin{aligned} E_{3}(t)={}&\frac{1}{2}\bigl(\|u_{t}\|^{2}+2 \|\Delta u_{t}\|^{2}+\bigl\Vert \nabla^{3}u_{t} \bigr\Vert ^{2}+\|u\|^{2}+\|\nabla u\|^{2} \\ &{}+2\|\Delta u\|^{2}+\bigl\Vert \nabla^{3} u\bigr\Vert ^{2}+\bigl\Vert \Delta ^{2} u\bigr\Vert ^{2}\bigr). \end{aligned} \end{aligned}$$

Then, from (31) and the estimates above, we obtain

$$ \frac{d}{dt}E_{3}(t)\leq CE_{3}(t),\qquad E_{3}(t)\leq E_{3}(0)+C\int^{t}_{0}E_{3}( \tau)\, d\tau, \quad 0\leq t< T_{m} $$

and

$$ E_{3}(t)\leq E_{3}(0)e^{Ct},\quad 0\leq t< T_{m}, $$

(32)

from which one derives $T_{m}=+\infty$. □

5 Finite-time blow-up of the solution

In this section, we study the finite-time blow-up of the solution for problem (5).

Lemma 5.1

Under the assumptions of Corollary 2.7, we have

$$ (-\Delta)^{-\frac{1}{2}} u\in C^{2}\bigl([0, T_{m}); L^{2}\bigr) $$

provided that $(-\Delta)^{-\frac{1}{2}}u_{0}\in L^{2}$.

Proof

From $(-\Delta )^{-\frac{1}{2}}u\in C^{2}([0, T_{m}); L^{2})$ and

$$ (-\Delta)^{-\frac{1}{2}} u=(-\Delta)^{-\frac{1}{2}} u_{0}+\int ^{t}_{0}(-\Delta )^{-\frac{1}{2}}u_{\tau} \, d\tau, $$

we obtain the result. □

Proof of Theorem 1.7

Let $u\in C^{2}([0, T_{m}); H^{s})$ and $(-\Delta)^{-\frac{1}{2}}u_{t}\in C^{1}([0, T_{m}); L^{2})$ be the unique local solution of problem (5). Then, by Lemma 5.1, we have $(-\Delta)^{-\frac{1}{2}}u\in C^{2}([0, T_{m});L^{2})$, where $T_{m}$ is the maximal existence time of u. Suppose that $T_{m}=+\infty$. Then $u\in C^{2}([0, \infty); H^{s})$ with $(-\Delta)^{-\frac{1}{2}}u \in C^{2}([0,\infty ); L^{2})$ and $(-\Delta)^{-\frac{1}{2}}u_{t}\in C^{1}([0,\infty); L^{2})$. Let

$$ H(t)=\bigl\Vert (-\Delta)^{-\frac{1}{2}}u\bigr\Vert ^{2}+\|u \|^{2}+\|\nabla u\|^{2},\quad 0\leq t<\infty, $$

then

$$\begin{aligned}& H'(t) =2\bigl((-\Delta)^{-\frac{1}{2}}u_{t},(- \Delta)^{-\frac {1}{2}}u\bigr)+2(\nabla u_{t},\nabla u)+2(u,u_{t}), \end{aligned}$$

(33)

$$\begin{aligned}& H''(t) =2\bigl\Vert (-\Delta )^{-\frac{1}{2}}u_{t} \bigr\Vert ^{2}+2\|\nabla u_{t}\|^{2}+2\| u_{t}\|^{2}+2\bigl((-\Delta )^{-\frac{1}{2}}u_{tt},(- \Delta )^{-\frac {1}{2}}u\bigr) \\& \hphantom{H''(t)=}{}+2(\nabla u_{tt}, \nabla u)+2(u_{tt},u) \\& \hphantom{H''(t)}=2\bigl\Vert (-\Delta )^{-\frac{1}{2}}u_{t}\bigr\Vert ^{2}+2\|\nabla u_{t}\|^{2}+2 \|u_{t}\| ^{2}+2\bigl((-\Delta )^{-1}u_{tt},u \bigr) \\& \hphantom{H''(t)=}{}-2(\Delta u_{tt},u)+2(u_{tt},u) \\& \hphantom{H''(t)}=2\bigl\Vert (-\Delta )^{-\frac{1}{2}}u_{t}\bigr\Vert ^{2}+2\|\nabla u_{t}\|^{2}+2 \|u_{t}\| ^{2}-2I(u). \end{aligned}$$

(34)

Using the energy equality (7), we obtain

$$ \frac{1}{2}\bigl\Vert (-\Delta )^{-\frac{1}{2}}u_{t}\bigr\Vert ^{2}+\frac{1}{2}\| u_{t}\| ^{2}+ \frac{1}{2}\|\nabla u_{t}\|^{2}+\frac{1}{2}\|u \|^{2}_{H^{1}}+\int_{R^{n}}F(u)\, dx=E(0), $$

from which one derives

$$ \frac{1}{2}\bigl\Vert (-\Delta )^{-\frac{1}{2}}u_{t}\bigr\Vert ^{2}+\frac{1}{2}\| u_{t}\| ^{2}+ \frac{1}{2}\|\nabla u_{t}\|^{2}+\frac{p-1}{2(p+1)}\|u \|^{2}_{H^{1}}+\frac {1}{p+1}I(u)=E(0) $$

and

$$\begin{aligned} -2I(u) =&(p+1)\bigl[\bigl\Vert (-\Delta )^{-\frac{1}{2}}u_{t}\bigr\Vert ^{2}+\|\nabla u_{t}\| ^{2}+\|u_{t} \|^{2}\bigr] \\ &{} +(p-1)\|u\|^{2}_{H^{1}}-2(p+1)E(0). \end{aligned}$$

(35)

Substituting (35) into (33), we obtain

$$ H''(t)=(p+3)\bigl[\bigl\Vert (- \Delta )^{-\frac{1}{2}}u_{t}\bigr\Vert ^{2}+\|\nabla u_{t}\|^{2}+\| u_{t}\|^{2}\bigr]+(p-1)\|u \|^{2}_{H^{1}}-2(p+1)E(0). $$

(36)

On the other hand, from (33), we get

$$\begin{aligned} \bigl(H'(t)\bigr)^{2} =&4\bigl((-\Delta )^{-\frac{1}{2}}u_{t},(- \Delta )^{-\frac {1}{2}}u\bigr)+(\nabla u_{t}, \nabla u)+(u, u_{t})^{2} \\ =&4\bigl[\bigl((-\Delta )^{-\frac{1}{2}}u_{t},(- \Delta )^{-\frac {1}{2}}u\bigr)^{2}+(\nabla u_{t},\nabla u)^{2}+(u,u_{t})^{2} \\ &{}+2\bigl((-\Delta )^{-\frac{1}{2}}u_{t},(-\Delta )^{-\frac {1}{2}}u \bigr) (\nabla u_{t}, \nabla u) \\ &{}+2\bigl((-\Delta )^{-\frac{1}{2}}u_{t}, (-\Delta )^{-\frac {1}{2}}u \bigr) (u,u_{t})+2(\nabla u_{t}, \nabla u) (u, u_{t})\bigr] \\ \leq&4\bigl[\bigl\Vert (-\Delta )^{-\frac{1}{2}}u_{t}\bigr\Vert ^{2}\bigl\Vert (-\Delta )^{-\frac {1}{2}}u\bigr\Vert ^{2}+\Vert \nabla u_{t}\Vert ^{2}\Vert \nabla u\Vert ^{2}+\Vert u_{t}\Vert ^{2}\Vert u \Vert ^{2} \\ &{} +\bigl\Vert (-\Delta )^{-\frac{1}{2}}u_{t}\bigr\Vert ^{2}\Vert \nabla u\Vert ^{2}+\bigl\Vert (-\Delta )^{-\frac{1}{2}}u\bigr\Vert ^{2}\Vert \nabla u_{t}\Vert ^{2}+\bigl\Vert (-\Delta )^{-\frac{1}{2}}u\bigr\Vert ^{2}\Vert u\Vert ^{2} \\ &{}+\bigl\Vert (-\Delta )^{-\frac{1}{2}}u\bigr\Vert ^{2}\Vert u_{t}\Vert ^{2}+\Vert \nabla u_{t}\Vert ^{2}\Vert u\Vert ^{2}+\Vert \nabla u\Vert ^{2}\Vert u_{t}\Vert ^{2}\bigr] \\ =&4H(t) \bigl(\bigl\Vert (-\Delta )^{-\frac{1}{2}}u_{t}\bigr\Vert ^{2}+\Vert \nabla u_{t}\Vert ^{2}+ \Vert u_{t}\Vert ^{2}\bigr). \end{aligned}$$

(37)

From (36) and (37), we get

$$\begin{aligned} H(t)H''(t)-\frac{p+3}{4}\bigl(H'(t) \bigr)^{2} \geq& H(t) \bigl((p-1)\|u\| ^{2}_{H^{1}}-2(p+1)E(0) \bigr) \\ >&H(t) \bigl((p-1)\|u\|^{2}_{H^{1}}-2(p+1)d\bigr). \end{aligned}$$

Using $I(u_{0})<0$ and Theorem 1.3, we get $u\in V_{2}$ and $I(u)<0$ for $0\leq t\leq\infty$. Hence, by Lemma 3.3, we obtain $H(t)>0$ for $0\leq t<\infty$. Using Lemma 3.5, we have $(p-1)\|u\| ^{2}_{H^{1}}>2(p+1)d$. Thus, we get

$$ H(t)H''(t)-\frac{p+3}{4}\bigl(H'(t) \bigr)^{2}>0,\quad 0\leq t<\infty. $$

(38)

On the other hand, from (36), we obtain

$$\begin{aligned} H''(t) \geq&(p-1)\|u\|^{2}_{H^{1}}-2(p+1)E(0) \\ =&(p-1)\|u\|^{2}_{H^{1}}-2(p+1)d+2(p+1) \bigl(d-E(0)\bigr) \\ >& 2(p+1) \bigl(d-E(0)\bigr)=\delta_{0},\quad 0\leq t<\infty. \end{aligned}$$

Hence there exists a $t_{0}\geq0$ such that $H'(t)>0$, from which, together with $H(t_{0})>0$ and (37), one derives that there exists a $T_{1}>0$ such that

$$ \lim_{t\rightarrow T_{1}}H(t)=\infty, $$

which contradicts $u\in C^{2}([0,\infty); H^{s})$, $(-\Delta )^{-\frac {1}{2}}u\in C^{2}([0, \infty);L^{2})$. Finally, from $T_{m}<\infty$ and Corollary 2.4, we obtain

$$ \lim_{t\rightarrow T_{m}}\sup\bigl(\bigl\Vert u(t)\bigr\Vert _{H^{s}}+\bigl\Vert u_{t}(t)\bigr\Vert _{H^{s}} \bigr)=+\infty. $$

□

Declarations

Acknowledgements

The author would like to thank the editor and the reviewers for their constructive suggestions and helpful comments. The work was partially supported by the National Natural Science Foundation of China (grant number 11101069).

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Authors’ Affiliations

(1)

School of Mathematical Sciences, University of Electronic Science and Technology of China, Chengdu, China

References

Boussinesq, J: Théorie des ondes et de remous qui se propagent le long d’un canal rectangulaire horizontal, en communiquant au liquide contenu dans ce canal des vitesses sensiblement pareilles de la surface au fond. J. Math. Pures Appl. 17, 55-108 (1872) MATHGoogle Scholar
Linares, F: Global existence of small solutions for a generalized Boussinesq equation. J. Differ. Equ. 106, 257-293 (1993) View ArticleMATHMathSciNetGoogle Scholar
Xue, R: Local and global existence of solutions for the Cauchy problem of a generalized Boussinesq equation. J. Math. Anal. Appl. 316, 307-327 (2006) View ArticleMATHMathSciNetGoogle Scholar
Yang, Z, Guo, B: Cauchy problem for the multi-dimensional Boussinesq type equation. J. Math. Anal. Appl. 340, 64-80 (2008) View ArticleMATHMathSciNetGoogle Scholar
Lai, SY, Wu, YH: The asymptotic solution of the Cauchy problem for a generalized Boussinesq equation. Discrete Contin. Dyn. Syst. 3, 401-408 (2003) View ArticleMATHMathSciNetGoogle Scholar
Lin, Q, Wu, YH, Loxton, R: On the Cauchy problem for a generalized Boussinesq equation. J. Math. Anal. Appl. 353, 186-195 (2009) View ArticleMATHMathSciNetGoogle Scholar
Liu, Y: Instability and blow-up of solutions to a generalized Boussinesq equation. SIAM J. Math. Anal. 26, 1527-1546 (1995) View ArticleMATHMathSciNetGoogle Scholar
Liu, Y: Decay and scattering of small solutions of a generalized Boussinesq equation. J. Funct. Anal. 147, 51-68 (1997) View ArticleMATHMathSciNetGoogle Scholar
Liu, YC, Xu, RZ: Global existence and blow up of solutions for Cauchy problem of generalized Boussinesq equation. Physica D 237, 721-731 (2008) View ArticleMATHMathSciNetGoogle Scholar
Xu, RY: Local and global existence of solutions for the Cauchy problem of a generalized Boussinesq equation. J. Math. Anal. Appl. 316, 307-327 (2006) View ArticleMathSciNetGoogle Scholar
Chen, GW, Wang, YP, Wang, SB: Initial boundary value problem of the generalized cubic double dispersion equation. J. Math. Anal. Appl. 299, 563-577 (2004) View ArticleMATHMathSciNetGoogle Scholar
Wang, SB, Chen, GW: Cauchy problem of the generalized double dispersion equation. Nonlinear Anal. 64, 159-173 (2006) View ArticleMATHMathSciNetGoogle Scholar
Liu, YC, Xu, RZ: Potential well method for Cauchy problem of the generalized double dispersion equations. J. Math. Anal. Appl. 338, 1169-1187 (2008) View ArticleMATHMathSciNetGoogle Scholar
Schneider, G, Eugene, CW: Kawahara dynamics in dispersive media. Physica D 152-153, 384-394 (2001) View ArticleGoogle Scholar
Wang, Y, Mu, CL: Blow-up and scattering of solution for a generalized Boussinesq equation. Appl. Math. Comput. 188, 1131-1141 (2007) View ArticleMATHMathSciNetGoogle Scholar
Wang, Y, Mu, CL: Global existence and blow-up of the solutions for the multidimensional generalized Boussinesq equation. Math. Methods Appl. Sci. 30, 1403-1417 (2007) View ArticleMATHMathSciNetGoogle Scholar
Wang, SB, Xu, GX: The Cauchy problem for the Rosenau equation. Nonlinear Anal. 71, 456-466 (2009) View ArticleMATHMathSciNetGoogle Scholar
Wang, HW, Wang, SB: Global existence and asymptotic behavior of solution for the Rosenau equation with hydrodynamical damped term. J. Math. Anal. Appl. 401, 763-773 (2013) View ArticleMATHMathSciNetGoogle Scholar
Xu, RZ, Liu, YC, Yu, T: Global existence of solution for Cauchy problem of multidimensional generalized double dispersion equation. Nonlinear Anal. 71, 4977-4983 (2009) View ArticleMATHMathSciNetGoogle Scholar
Xu, RZ, Liu, YC, Liu, BW: The Cauchy problem for a class of the multidimensional Boussinesq-type equation. Nonlinear Anal. 74, 2425-2437 (2011) View ArticleMATHMathSciNetGoogle Scholar
Wang, SB, Xue, HX: Global solution for a generalized Boussinesq equation. Appl. Math. Comput. 204, 130-136 (2008) View ArticleMATHMathSciNetGoogle Scholar

Boundary Value Problems

Existence and nonexistence of solutions for a generalized Boussinesq equation

Abstract

Keywords

MSC

1 Introduction

Theorem 1.1

Theorem 1.2

Theorem 1.3

Theorem 1.4

Theorem 1.5

Theorem 1.6

Theorem 1.7

2 Existence of local solutions

Lemma 2.1

Proof

Lemma 2.2

Proof of Theorem 1.1

Corollary 2.3

Corollary 2.4

Lemma 2.5

Proof

Lemma 2.6

Proof

Proof of Theorem 1.2

Corollary 2.7

Proof

3 Preliminary lemmas and invariant sets

Lemma 3.1

Lemma 3.2

Lemma 3.3

Lemma 3.4

Lemma 3.5

Proof of Theorem 1.3

Corollary 3.6

Corollary 3.7

4 Global existence of solutions

Lemma 4.1

Proof

Proof of Theorem 1.4

Proof of Theorem 1.5

Proof of Theorem 1.6

5 Finite-time blow-up of the solution

Lemma 5.1

Proof

Proof of Theorem 1.7

Declarations

Acknowledgements

Authors’ Affiliations

References

Copyright