# High energy solutions for the fourth-order elliptic equations in ${R}^{N}$

- Bitao Cheng
^{1}Email author

**2014**:199

https://doi.org/10.1186/s13661-014-0199-y

© Cheng; licensee Springer 2014

**Received: **15 June 2014

**Accepted: **7 August 2014

**Published: **25 September 2014

## Abstract

In the present paper, we study the following fourth-order elliptic equations: ${\mathrm{\Delta}}^{2}u-\mathrm{\Delta}u+V(x)u=f(x,u)$, for $x\in {R}^{N}$, $u(x)\in {H}^{2}({R}^{N})$, where $V\in C({R}^{N},R)$, $f\in C({R}^{N}\times R,R)$. Under more relaxed assumptions on $f(x,u)$, by using some special techniques, a new existence result of high energy solutions is obtained via the symmetric mountain pass theorem.

## Keywords

## 1 Introduction and main results

where ${\mathrm{\Delta}}^{2}:=\mathrm{\Delta}(\mathrm{\Delta})$ is the biharmonic operator, $V\in C({R}^{N},R)$, $f\in C({R}^{N}\times R,R)$ satisfy some further conditions.

arises in many applications from mathematical physics, which is usually used to describe some phenomena appearing in various physical, engineering, and other sciences. In [1], [2], Lazer and Mckenna firstly proposed and studied the problem (1.2) of periodic oscillations and traveling waves in a suspension bridge. It was pointed out in [3]–[6] that the problem (1.2) furnishes a good model to the study of the static deflection of an elastic plate in a fluid. Moreover, Ahmed and Harbi presented that the problem (1.2) can also be applied to engineering, such as communication satellites, space shuttles and space stations equipped with large antennas mounted on long flexible beams in [7]. Further, there is a large quantity of studies on the existence and multiplicity of solutions in the literature, we refer the readers to [8]–[21] and the references therein.

where $\mathrm{\Omega}\subset {R}^{N}$ ($N\ge 5$) is a bounded domain with smooth boundary *∂* Ω, $0\in \mathrm{\Omega}$, $F\in {C}^{1}({R}^{2},{R}^{+})$ is homogeneous of degree 2_{∗} (${2}_{\ast}=\frac{2N}{N-4}$ denotes the Sobolev critical exponent). The existence and multiplicity results of nontrivial solutions for the system (1.3) were obtained by using the variational methods and the Nehari manifold.

*f*, and

*V*satisfy some certain assumptions. Under a weak version of the Ambrosetti-Rabinowitz condition, by means of variational methods, a family of solutions was proved to exist and to concentrate at a point in the limit. Very recently, some authors studied the following fourth-order elliptic equations in ${R}^{N}$:

where $\lambda \ge 1$ is a parameter and $f\in C({R}^{N},R)$. For the potential $V(x)$, they usually assumed one of the following assumptions.

(V_{1}):$V\in C({R}^{N},R)$ satisfies $infV(x)\ge {V}_{0}>0$ and for each $M>0$, $meas\{x\in {R}^{N}:V(x)\le M\}<+\mathrm{\infty}$, where ${V}_{0}$ is a constant and meas denote the Lebesgue measure in ${R}^{N}$.

(${\mathrm{V}}_{1}^{\prime}$):$V\in C({R}^{N},R)$ satisfies $infV(x)\ge {V}_{0}>0$ and there exists a constant $b>0$ such that the set $\{x\in {R}^{N}:V(x)\le b\}$ is nonempty and $meas\{x\in {R}^{N}:V(x)\le b\}<+\mathrm{\infty}$, where ${V}_{0}$ is a constant and meas denote the Lebesgue measure in ${R}^{N}$.

Yin and Wu [25] obtained three new results of the existence of infinitely many high energy solutions for the equation (1.6) with $\lambda =1$ and *V* satisfying (V_{1}). Soon after, Ye and Tang [26] unified and improved their results by means of fountain theorem. To be precise, they assumed the following assumptions.

_{1}): There exist ${C}_{1}>0$ and $p\in (2,{2}_{\ast})$ such that

where ${2}_{\ast}=\frac{2N}{N-4}$, if $N>4$; ${2}_{\ast}=+\mathrm{\infty}$, if $N\le 4$.

(${\mathrm{f}}_{2}^{\prime}$): There exists ${L}_{0}>0$ such that ${inf}_{x\in {R}^{N},|t|={L}_{0}}F(x,t)>0$, where $F(x,t)={\int}_{0}^{t}f(x,s)\phantom{\rule{0.2em}{0ex}}ds$.

(f_{4}):$f(x,-t)=-f(x,t)$ for all $(x,t)\in {R}^{N}\times R$.

We restate the corresponding result in [26] as follows.

### Theorem A

(see [26], Theorem 1.1])

*Assume that*(V

_{1}), (f

_{1}), (${\mathrm{f}}_{2}^{\prime}$)-(${\mathrm{f}}_{3}^{\prime}$),

*and*(f

_{4})

*hold*.

*Then the problem*(1.1)

*possesses infinitely many solutions*$\{{u}_{k}\}$

*such that*

More recently, Liu *et al.* in [27] studied the existence and multiplicity of nontrivial solutions of (1.6) for large *λ* and *V* satisfying (${\mathrm{V}}_{1}^{\prime}$). These results had been subsequently unified and improved by Ye and Tang in [28]. For the sublinear case of the fourth-order elliptic equation (1.1), by using the genus properties in critical point theory, infinitely many small negative energy solutions were also established; we refer the readers to [26], [28], [29].

### Remark 1

The condition (V_{1}), which contains the coercivity condition: $V(x)\to \mathrm{\infty}$ as $|x|\to \mathrm{\infty}$, was first introduced by Bartsch and Wang in [30] to ensure the compactness of embedding of the working space. Furthermore, when replacing (V_{1}) by the weaker condition (${\mathrm{V}}_{1}^{\prime}$), this situation becomes more delicate due to the lack of compactness. Although the compactness of embedding of the working space fails, thanks to the fact that the parameter *λ* can be taken sufficiently large, two main theorems as regards the existence and multiplicity of nontrivial solutions of (1.6) were obtained via variational methods successfully.

Motivated by the spirit of [25]–[28], we shall consider the fourth-order elliptic equations with Bartsch type potential (that is, *V* satisfies the condition (V_{1})) and superlinear nonlinearity case in the whole space ${R}^{N}$, and we are interested in high energy solutions of the problem (1.1). Under more relaxed assumptions on the nonlinear term *f*, we will present a new proof technique to construct high energy solutions for the problem (1.1).

*E*is a Hilbert space with the inner product and the norm

*I*defined on

*E*:

We say that a weak solutions sequence $\{{u}_{n}\}\subset E$ for the problem (1.1) is a sequence of high energy solutions if the energy $I({u}_{n})\to +\mathrm{\infty}$ as $n\to \mathrm{\infty}$.

In order to reduce the statements of our result, we make the following assumptions.

(f_{2}): There exists $2<\theta <{2}_{\ast}$ such that ${lim\hspace{0.17em}inf}_{|t|\to +\mathrm{\infty}}\frac{F(x,t)}{{|t|}^{\theta}}>0$ uniformly in $x\in {R}^{N}$.

_{3}): There exist $\mu >2$, $L>0$, and $a\in [0,\frac{(\mu -2){V}_{0}}{4})$ such that

Now, we can state our result about the existence of a sequence of high energy solutions for the fourth-order elliptic equations (1.1) in ${R}^{N}$.

### Theorem 1.1

*Assume that* (V_{1}), (f_{1})-(f_{4}) *hold*. *Then the problem* (1.1) *possesses a sequence of high energy solutions in* *E*.

### Remark 2

_{1}) is much weaker than the combination of the usual subcritical condition and the asymptotically linear condition near zero. Furthermore, conditions (f

_{2})-(f

_{3}) are much weaker than (${\mathrm{f}}_{2}^{\prime}$)-(${\mathrm{f}}_{3}^{\prime}$). Indeed, for any $x\in {R}^{N}$, $z\in R$, define

where $c={(\frac{1}{{L}_{0}})}^{{\mu}_{0}}{inf}_{x\in {R}^{N},|t|={L}_{0}}F(x,t)>0$. Hence, (1.9) implies that (f_{2}) holds by taking $\theta ={\mu}_{0}$. Further, it follows from (${\mathrm{f}}_{3}^{\prime}$) that (f_{3}) holds by taking $L={L}_{0}$, $\mu ={\mu}_{0}$. Consequently, (f_{2})-(f_{3}) are much weaker than (${\mathrm{f}}_{2}^{\prime}$)-(${\mathrm{f}}_{3}^{\prime}$). Thus, Theorem 1.1 sharply improves Theorem A and, of course, unites and improves the results of [25].

## 2 Some lemmas

In order to apply variational techniques, we first state the key compactness result.

### Lemma 2.1

(Lemma 3.4 in [31])

*Under the assumption*(V

_{1}),

*the embedding*

*is compact*.

The following lemma was proved by [26], Lemma 2.1].

### Lemma 2.2

*Assume that*(V

_{1})

*and*(f

_{1})

*hold*.

*Then*

*I*

*is well defined on*

*E*, $I\in {C}^{1}(E,R)$,

*and for any*$u,v\in E$,

*Moreover*, ${\mathrm{\Psi}}^{\prime}:E\to {E}^{\ast}$*is compact*, *where*$\mathrm{\Psi}(u)={\int}_{{R}^{N}}F(x,u)\phantom{\rule{0.2em}{0ex}}dx$.

Recall that we say *I* satisfies the (PS) condition at the level $c\in R$ ((PS)_{
c
} condition for short) if any sequence $\{{u}_{n}\}\subset E$ along with $I({u}_{n})\to c$ and ${I}^{\prime}({u}_{n})\to 0$ as $n\to \mathrm{\infty}$ possesses a convergent subsequence. If *I* satisfies the (PS)_{
c
} condition for each $c\in R$, then we say that *I* satisfies the (PS) condition.

### Lemma 2.3

*Let assumption* (V_{1}) *and* (f_{1}) *hold*. *Then any bounded Palais*-*Smale sequence of* *I* *has a strongly convergent subsequence in* *E*.

### Proof

*I*. Then, up to a subsequence, there exists $c\in R$ such that

_{1}), using the Hölder inequality, we can conclude

This completes the proof. □

### Lemma 2.4

*Let assumptions* (V_{1}), (f_{1}), *and* (f_{3}) *hold*. *Then any Palais*-*Smale sequence of* *I* *is bounded*.

### Proof

*I*, then, up to a subsequence, there exists ${c}_{1}\in R$ such that

_{1}) with (f

_{3}) implies

_{1}), one has

_{1}) and (2.9), we can conclude

_{1}), and it follows from (2.8) and (2.10) that

which implies $\{{u}_{n}\}\subset E$ is bounded in *E*. Hence the proof is completed. □

### Remark 3

We present a new proof technique to verify the boundedness of Palais-Smale sequences, which is much clearer and simpler than the previous literature.

## 3 Proof of Theorem 1.1

In this section we will use the classical symmetric mountain pass theorem of Rabinowitz instead of the fountain theorem in [26] to obtain high energy solutions for the problem (1.1) and prove Theorem 1.1. First of all, we present some notations.

*E*has a countable orthogonal basis ${\{{e}_{j}\}}_{j=1}^{\mathrm{\infty}}$. Let

where ${X}_{j}=span\{{e}_{j}\}$. Thus, $E={E}_{k}\oplus {Z}_{k}$ and ${E}_{k}$ is finite dimensional.

### Lemma 3.1

*Let the assumption*(V

_{1})

*hold*.

*Define*

*then there exists*${k}_{0}\in N$*such that*$0<\eta ({k}_{0})\le {(\frac{1}{2{C}_{1}})}^{\frac{1}{2}}$.

### Proof

*k*. Furthermore, for any $k\in N$, by the definition of $\eta (k)$, there exists ${u}_{k}\in {Z}_{k}$ such that

*E*. By virtue of Lemma 2.1, we can conclude

The combination (3.1) with (3.2) implies that $\eta (k)\to 0$, as $k\to \mathrm{\infty}$. Then there exists ${k}_{0}\in N$ such that $0<\eta ({k}_{0})\le {(\frac{1}{2{C}_{1}})}^{\frac{1}{2}}$. Hence the proof is completed. □

### Lemma 3.2

*Let assumptions* (V_{1}) *and* (f_{1}) *hold*, *then there exist some constants* *ρ*, *α* *such that*$I(u)\ge \alpha $*whenever*$u\in {Z}_{{k}_{0}}$*with*${\parallel u\parallel}_{E}=\rho $.

### Proof

_{1}), (3.3), and the Hölder inequality, one has

whenever $u\in {Z}_{{k}_{0}}$ with ${\parallel u\parallel}_{E}=\rho $. This completes the proof. □

### Lemma 3.3

*Let assumptions* (f_{1})-(f_{2}) *hold*, *then for each finite dimensional subspace*$\tilde{E}\subset E$, *there is an*$r=r(\tilde{E})>0$*such that*$I{|}_{\tilde{E}\mathrm{\setminus}{B}_{r}}<0$.

### Proof

_{1})-(f

_{2}), there exist two positive constants ${C}_{2}$ and ${C}_{3}$ such that

for all $u\in \tilde{E}$. Note that $\theta >2$, hence there is an $r=r(\tilde{E})>0$ such that $I{|}_{\tilde{E}\mathrm{\setminus}{B}_{r}}<0$. This completes the proof. □

Next, we shall prove our Theorem 1.1. To begin with, for convenience of notation, we state the classical symmetric mountain pass theorem as follows.

### Theorem 3.4

([32], Theorem 9.12])

*Let* *E* *be an infinite dimensional Banach space*, *and let*$I\in {C}^{1}(E,R)$*be even and satisfy the* (*PS*) *condition and*$I(0)=0$. *If*$E=Y\oplus Z$, *Y* *is finite dimensional*, *and* *I* *satisfies*

(I_{1}):*there exist constants*$\rho ,\alpha >0$*such that*$I{|}_{\partial {B}_{\rho}\cap Z}\ge \alpha $, *and*

(I_{2}):*for each finite dimensional subspace*$\tilde{E}\subset E$, *there is*$r=r(\tilde{E})$*such that*$I\le 0$*on*$\tilde{E}\setminus {B}_{r}$,

*then* *I* *possesses an unbounded sequence of critical values*.

### Proof of Theorem 1.1

The proof is to verify *I* satisfies all the conditions of Theorem 3.4. Set $Y={E}_{{k}_{0}}$, $Z={Z}_{{k}_{0}}$, then $E=Y\oplus Z$ and *Y* is finite dimensional. First, *I* satisfies (I_{1}) and (I_{2}) in Theorem 3.4 by Lemmas 3.2 and 3.3, respectively. Second, *I* satisfies the (PS) condition by virtue of Lemmas 2.3 and 2.4. Finally, $I(0)=0$, *I* is even on *E* due to (f_{4}) and $I\in {C}^{1}(E,R)$ by Lemma 2.2. Hence, the conclusion directly follows from Theorem 3.4. The proof is completed. □

### Remark 4

Compared with Theorem A (see [26], Theorem 1.1]), on one hand, the assumptions imposed on *f* are much weaker. On the other hand, we present a new proof technique to verify the boundedness of Palais-Smale sequences, and we apply the classical symmetric mountain pass theorem of Rabinowitz instead of the fountain theorem in [26] to obtain high energy solutions for the problem (1.1). Hence, it is very different.

## Declarations

### Acknowledgements

This work is partly supported the Foundation of Education of Commission of Yunnan Province (2014Z153, 2012Z123C), and the Youth Program of Yunnan Provincial Science and Technology Department (2013FD046).

## Authors’ Affiliations

## References

- Lazer AC, Mckenna PJ: Large-amplitude periodic oscillations in suspension bridges: some new connections with nonlinear analysis.
*SIAM Rev.*1990, 32(4):537-578. 10.1137/1032120MathSciNetView ArticleGoogle Scholar - Lazer AC, Mckenna PJ: Global bifurcation and a theorem of Tarantello.
*J. Math. Anal. Appl.*1994, 181(3):648-655. 10.1006/jmaa.1994.1049MathSciNetView ArticleGoogle Scholar - Tarantella G: A note on a semilinear elliptic problem.
*Differ. Integral Equ.*1992, 5(3):561-565.Google Scholar - Mckenna PJ, Walter W: Traveling waves in a suspension bridge.
*SIAM J. Appl. Math.*1990, 50: 703-715. 10.1137/0150041MathSciNetView ArticleGoogle Scholar - Chen Y, Mckenna PJ: Traveling waves in a nonlinear suspension beam: theoretical results and numerical observations.
*J. Differ. Equ.*1997, 135: 325-355. 10.1006/jdeq.1996.3155MathSciNetView ArticleGoogle Scholar - Pao CV: On fourth-order elliptic boundary value problems.
*Proc. Am. Math. Soc.*2000, 128: 1023-1030. 10.1090/S0002-9939-99-05430-1MathSciNetView ArticleGoogle Scholar - Ahmed NU, Harbi H: Mathematical analysis of dynamic models of suspension bridges.
*SIAM J. Appl. Math.*1998, 58: 853-874. 10.1137/S0036139996308698MathSciNetView ArticleGoogle Scholar - Micheletti AM, Pistoia A: Multiplicity results for a fourth-order semilinear elliptic problem.
*Nonlinear Anal.*1998, 31(7):895-908. 10.1016/S0362-546X(97)00446-XMathSciNetView ArticleGoogle Scholar - Micheletti AM, Pistoia A: Nontrivial solutions for some fourth order semilinear elliptic problems.
*Nonlinear Anal.*1998, 34(4):509-523. 10.1016/S0362-546X(97)00596-8MathSciNetView ArticleGoogle Scholar - Zhang J: Existence results for some fourth-order nonlinear elliptic problems.
*Nonlinear Anal.*2001, 45(1):29-36. 10.1016/S0362-546X(99)00328-4MathSciNetView ArticleGoogle Scholar - Xu G, Zhang J: Existence results for some fourth-order nonlinear elliptic problems of local superlinearity and sublinearity.
*J. Math. Anal. Appl.*2003, 281(2):633-640. 10.1016/S0022-247X(03)00170-7MathSciNetView ArticleGoogle Scholar - Zhang J, Li S: Multiple nontrivial solutions for some fourth-order semilinear elliptic problems.
*Nonlinear Anal.*2005, 60(2):221-230. 10.1016/j.na.2004.07.047MathSciNetView ArticleGoogle Scholar - Wang W, Zang A, Zhao P: Multiplicity of solutions for a class of fourth-order elliptic equations.
*Nonlinear Anal.*2009, 70(12):4377-4385. 10.1016/j.na.2008.10.020MathSciNetView ArticleGoogle Scholar - Zhou J, Wu X: Sign-changing solutions for some fourth-order nonlinear elliptic problems.
*J. Math. Anal. Appl.*2008, 342(1):542-558. 10.1016/j.jmaa.2007.12.020MathSciNetView ArticleGoogle Scholar - Wang Y, Shen Y: Infinitely many sign-changing solutions for a class of biharmonica equation without symmetry.
*Nonlinear Anal.*2009, 71: 967-977. 10.1016/j.na.2008.11.052View ArticleGoogle Scholar - Yang Y, Zhang J: Existence of solutions for some fourth-order nonlinear elliptic problems.
*J. Math. Anal. Appl.*2009, 351(1):128-137. 10.1016/j.jmaa.2008.08.023MathSciNetView ArticleGoogle Scholar - Liu X, Huang Y: On sign-changing solutions for a fourth-order asymptotically linear elliptic problems.
*Nonlinear Anal.*2010, 72(5):2271-2276. 10.1016/j.na.2009.11.001MathSciNetView ArticleGoogle Scholar - Qian AX, Li SJ: Multiple solutions for a fourth-order asymptotically linear elliptic problems.
*Acta Math. Sin. Engl. Ser.*2006, 22(4):1121-1126. 10.1007/s10114-005-0665-7MathSciNetView ArticleGoogle Scholar - An Y, Liu R: Existence of nontrivial solutions of an asymptotically linear fourth-order elliptic equations.
*Nonlinear Anal.*2008, 68(11):3325-3331. 10.1016/j.na.2007.03.028MathSciNetView ArticleGoogle Scholar - Zhang J, Wei Z: Infinitely many nontrivial solutions for a class of biharmonic equations via variant fountain theorems.
*Nonlinear Anal.*2011, 74: 7474-7485. 10.1016/j.na.2011.07.067MathSciNetView ArticleGoogle Scholar - Zhang J, Wei Z: Multiple solutions for a class of biharmonic equations with a nonlinearity concave at the origin.
*J. Math. Anal. Appl.*2011, 383: 291-306. 10.1016/j.jmaa.2011.05.030MathSciNetView ArticleGoogle Scholar - Lü D: Multiple solutions for a class of biharmonic elliptic system with Sobolev critical exponent.
*Nonlinear Anal.*2011, 74(17):6371-6382. 10.1016/j.na.2011.06.018MathSciNetView ArticleGoogle Scholar - Chabrowski J, Marcos do Ó J:On some fourth-order semilinear elliptic problems in ${R}^{N}$.
*Nonlinear Anal.*2002, 49: 861-884. 10.1016/S0362-546X(01)00144-4MathSciNetView ArticleGoogle Scholar - Pimenta MTO, Soares SHM: Existence and concentration of solutions for a class biharmonic equation.
*J. Math. Anal. Appl.*2012, 390: 274-289. 10.1016/j.jmaa.2012.01.039MathSciNetView ArticleGoogle Scholar - Yin Y, Wu X: High energy solutions and nontrivial solutions for fourth-order elliptic equations.
*J. Math. Anal. Appl.*2011, 375: 699-705. 10.1016/j.jmaa.2010.10.019MathSciNetView ArticleGoogle Scholar - Ye Y, Tang C: Infinitely many solutions for fourth-order elliptic equations.
*J. Math. Anal. Appl.*2012, 394: 841-854. 10.1016/j.jmaa.2012.04.041MathSciNetView ArticleGoogle Scholar - Lin J, Chen S, Wu X:Existence and multiplicity of solutions for a class of fourth-order elliptic equations in ${R}^{N}$.
*J. Math. Anal. Appl.*2012, 395: 608-615. 10.1016/j.jmaa.2012.05.063MathSciNetView ArticleGoogle Scholar - Ye Y, Tang C:Existence and multiplicity of solutions for fourth-order elliptic equations in ${R}^{N}$.
*J. Math. Anal. Appl.*2013, 406: 335-351. 10.1016/j.jmaa.2013.04.079MathSciNetView ArticleGoogle Scholar - Zhang W, Tang X, Zhang J: Infinitely many solutions for fourth-order elliptic equations with general potentials.
*J. Math. Anal. Appl.*2013, 407: 359-368. 10.1016/j.jmaa.2013.05.044MathSciNetView ArticleGoogle Scholar - Bartsch T, Wang ZQ:Existence and multiplicity results for some superlinear elliptic problems on ${R}^{N}$.
*Commun. Partial Differ. Equ.*1995, 20: 1725-1741. 10.1080/03605309508821149MathSciNetView ArticleGoogle Scholar - Zou WM, Schechter M:
*Critical Point Theory and Its Applications*. Springer, New York; 2006.Google Scholar - Rabinowitz PH:
*Minimax Methods in Critical Point Theory with Application to Differential Equations*. Am. Math. Soc., Providence; 1986.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd.**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.