Infinitely Many Homoclinic Solutions for Fourth Order p-Laplacian Differential Equations

Abstract

The existence of infinitely many homoclinic solutions for the fourth-order differential equation ${\left({\phi }_p\left(u^{″}\left(t\right)\right)\right)}^{″}+w{\left({\phi }_p\left(u^{\prime }\left(t\right)\right)\right)}^{\prime }+V\left(t\right){\phi }_p\left(u\left(t\right)\right)=a\left(t\right)f(t,u\left(t\right)),t\in \mathbb{R}$ is studied in the paper. Here ${\phi }_p\left(t\right)={\left|t\right|}^{p-2}t,p\ge 2$, w is a constant, V and a are positive functions, f satisfies some extended growth conditions. Homoclinic solutions u are such that $u\left(t\right)\to 0,\left|t\right|\to \infty$, $u\ne 0$, known in physical models as ground states or pulses. The variational approach is applied based on multiple critical point theorem due to Liu and Wang.

1. Introduction

In this paper, we study the existence of infinitely many nonzero solutions homoclinic solutions for the fourth-order p-Laplacian differential equation

$${\left({\phi }_p\left(u^{″}\left(t\right)\right)\right)}^{″}+w{\left({\phi }_p\left(u^{\prime }\left(t\right)\right)\right)}^{\prime }+V\left(t\right){\phi }_p\left(u\left(t\right)\right)=a\left(t\right)f(t,u\left(t\right)),$$

(1)

where $t\in \mathbb{R}$, w is a constant, ${\phi }_p\left(t\right)={\left|t\right|}^{p-2}t,$ for $p\ge 2$, V is a positive bounded function, a is a positive continuous function and $f\in C^1(\mathbb{R},\mathbb{R})$ satisfies some growth conditions with respect to p. As usual, we say that a solution u of (1) is a nontrivial homoclinic solution to zero solution of (1) if

$$u\ne 0,u\left(t\right)\to 0,\left|t\right|\to \infty .$$

(2)

They are known in phase transitions models as ground states or pulses (see [1]). The existence of homoclinic and heteroclinic solutions of fourth-order equations is studied by various authors (see [2,3,4,5,6,7,8,9,10,11,12] and references therein). Sun and Wu [4] obtained existence of two homoclinic solutions for a class of fourth-order differential equations:

$$u^{\left(4\right)}+w{u}^{″}+a\left(t\right)u=f(t,u)+\lambda h\left(t\right){\left|u\right|}^{p-2}u,t\in \mathbb{R},$$

where w is a constant, $\lambda >0,1\le p<2,$ $a\in C\left(\mathbb{R},{\mathbb{R}}^{+}\right)$ and $h\in L^{\frac{2}{2-p}}\left(\mathbb{R}\right)$ by using mountain pass theorem.

Yang [8] studies the existence of infinitely many homoclinic solutions for a the fourth-order differential equation:

$$u^{\left(4\right)}+w{u}^{″}+a\left(t\right)u=f(t,u),t\in \mathbb{R},$$

where w is a constant, $a\in C\left(\mathbb{R}\right)$ and $f\in C\left(\mathbb{R}\times \mathbb{R},\mathbb{R}\right)$. A critical point theorem, formulated in the terms of Krasnoselskii’s genus (see [13], Remark 7.3), is applied, which ensures the existence of infinitely many homoclinic solutions.

We suppose the following conditions on the functions $a,f$ and V.

$\left(A\right)$$a\in C(\mathbb{R},{\mathbb{R}}^{+})$ and $a\left(t\right)\to 0$ as $\left|t\right|\to +\infty .$

$\left(F_1\right)$ There are numbers p and q s.t. $1<q<2\le p$ and for $f\in C^1(\mathbb{R},\mathbb{R})$

$$uf(t,u)\le qF(t,u),\forall u\in \mathbb{R},u\ne 0,$$

where $F(t,u)={\int }_0^{u}f(t,x)dx$.

$\left(F_2\right)$$\left|f(t,u)\right|\le {b\left(t\right)\left|u\right|}^{q-1},\forall (t,u)\in \mathbb{R}\times \mathbb{R},$ where b is a positive function, s.t. $b\in L^r\left(\mathbb{R}\right)\bigcap L^{\frac{p}{2-q}}\left(\mathbb{R}\right)$, where $r=\frac{p}{p-q}.$

$\left(F_3\right)$ There exists an interval $J\subset \mathbb{R}$ and a constant $c>0$ s. t. $F(t,u)\ge {c\left|u\right|}^q,\forall (t,u)\in J\times \mathbb{R}.$

$\left(F_4\right)$$F(t,-u)=F(t,u)$ for all $(t,u)\in \mathbb{R}\times \mathbb{R}.$

$\left(V\right)$ There exist positive constants $v_1$ and $v_2$ such that $0<v_1\le V\left(t\right)\le v_2,\forall t\in \mathbb{R}$.

Let

$$w^{\ast }=\underset{u\ne 0}{inf}\frac{{\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p+{\left|u\left(t\right)\right|}^p\right)dt}{{\int }_{\mathbb{R}}{\left|u^{\prime }\left(t\right)\right|}^{p}dt}.$$

Denote by X the Sobolev’s space

$$X:=W^{2,p}\left(\mathbb{R}\right)=\{u\in L^p\left(\mathbb{R}\right):u^{\prime }\in L^p\left(\mathbb{R}\right),u^{″}\in L^p\left(\mathbb{R}\right)\},$$

equipped by the usual norm

$${\left|\right|u\left|\right|}_X:={\left({\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p+{\left|u^{\prime }\left(t\right)\right|}^p+{\left|u\left(t\right)\right|}^p\right)dt\right)}^{1/p}.$$

The functional $I:X\to \mathbb{R}$ is defined as follows

$$I\left(u\right)={\int }_{\mathbb{R}}({\mathsf{\Phi }}_p\left(u^{″}\left(t\right)\right)-w{\mathsf{\Phi }}_p\left(u^{\prime }\left(t\right)\right)+V\left(t\right){\mathsf{\Phi }}_p\left(u\left(t\right)\right))dt-{\int }_{\mathbb{R}}a\left(t\right)F(t,u\left(t\right)dt,$$

(3)

where $\mathsf{\Phi }\left(t\right)=\frac{{\left|t\right|}^p}{p}$ for $p\ge 2.$

Under conditions $\left(A\right),\left(F_1\right)-\left(F_3\right)$ and V the functional I is differentiable and for all $u,v\in X$ we have

$$\begin{array}{ccc}\hfill ⟨I^{\prime }\left(u\right),v⟩& =& {\int }_{\mathbb{R}}\left({\phi }_p\left(u^{″}\left(t\right)\right)v^{″}\left(t\right)-w{\phi }_p\left(u^{\prime }\left(t\right)\right)v^{\prime }\left(k\right)\right)dt+V\left(t\right){\phi }_p\left(u\left(t\right)\right)v\left(t\right)dt\hfill \\ & & -{\int }_{\mathbb{R}}a\left(t\right)f\left(t,u\left(t\right)\right)v\left(t\right)dt.\hfill \end{array}$$

where $⟨.,.⟩$ means the duality pairing between X and it’s dual space $X^{\ast }.$ The homoclinic solutions of the Equation (1) are the critical points of the functional I, i.e., $u_0$ is a homoclinic solution of the problem if $⟨I^{\prime }\left(u_0\right),v⟩=0$ for every $v\in X$ (see [6,11,12]).

Let $v_0=min\{1,v_1\},$ where $v_1$ is the positive constant from condition $\left(V\right).$ Our main result is:

Theorem 1.

Let $p\ge 2,w<v_0{w}^{\ast }$ and the functions $a,f$ and V satisfy the assumptions $\left(A\right)$, $\left(F_1\right)-\left(F_3\right)$ and $\left(V\right)$. Then the Equation (1) has at least one nonzero homoclinic solution $u_0\in X.$ Additionally if $\left(F_4\right)$ holds, the Equation (1) has infinitely many nonzero solutions $u_j$ such that $\left|\right|u_j{\left|\right|}_{\infty }\to 0$ as $j\to \infty .$

Remark 1.

An example of a function $f(t,u)$, which satisfies the assumptions $\left(F_1\right)-\left(F_4\right)$ is as follows. Let $p=3,q=\frac{3}{2}$ and $f(t,u)={\alpha \left(t\right)\left|u\right|}^{1/2}u$, where

$$\alpha \left(t\right)=\left\{\begin{array}{cc}\frac{3-t^2}{2},& \left|t\right|\le 1,\\ \frac{1}{\left|t\right|},& \left|t\right|\ge 1.\end{array}\right.$$

We have that $r=\frac{p}{p-q}=2$, $\frac{p}{2-q}=6$ and $b\left(t\right)=\alpha \left(t\right)\in L^2\left(\mathbb{R}\right)\cap L^6\left(\mathbb{R}\right)$, because $\underset{1}{\overset{\infty }{\int }}\frac{1}{t^2}dt=1$ and $\underset{1}{\overset{\infty }{\int }}\frac{1}{t^6}dt=\frac{1}{5}.$ Moreover $\alpha \left(t\right)\ge 1$ if $t\in (-1,1)=J.$ Next, we have

$$\begin{array}{ccc}\hfill \left|f\right(t,u\left)\right|& =& {\alpha \left(t\right)\left|u\right|}^{3/2},\hfill \\ \hfill F(t,u)& =& \frac{2}{5}\alpha \left(t\right){\left|u\right|}^{5/2},\hfill \end{array}$$

and $F(t,u)\ge \frac{2}{5}{\left|u\right|}^{5/2}$, $t\in J=(-1,1).$

As an open problem we state the existence of weak solutions of the problem when $1<q<p<2$.

This paper is organized as follows. In Section 2 we present the variational formulation of the problem and critical point theorems used in the proof of the main result. In Section 3, we give the proof of Theorem 1.

2. Preliminaries

In this section we give the variational formulation of the problem and present two critical point theorems.

Let $X_1$ be the Sobolev’s space

$$X_1:=\{u\in X:{\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p-w{\left|u^{\prime }\left(t\right)\right|}^p+V\left(t\right){\left|u\left(t\right)\right|}^p\right)dt<\infty \},$$

equipped by the norm

$$\left|\right|u\left|\right|:={\left({\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p-w{\left|u^{\prime }\left(t\right)\right|}^p+V\left(t\right){\left|u\left(t\right)\right|}^p\right)dt\right)}^{1/p}.$$

Denote

$$w^{\ast }=\underset{u\ne 0}{inf}\frac{{\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p+{\left|u\left(t\right)\right|}^p\right)dt}{{\int }_{\mathbb{R}}{\left|u^{\prime }\left(t\right)\right|}^{p}dt}.$$

and $v_0=min\{1,v_1\}.$ The next lemma shows that under condition $\left(V\right)$ for $w<v_0{w}^{\ast }$ the norms $\left|\right|.\left|\right|$ and ${\left|\right|.\left|\right|}_X$ are equivalent and $X=X_1.$

Lemma 1.

Let $w<v_0{w}^{\ast }.$ Then, there exists a constant $C>0$ such that

$${\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p-w{\left|u^{\prime }\left(t\right)\right|}^p+V\left(t\right){\left|u\left(t\right)\right|}^p\right)dt\ge C{∥u∥}_X^p,\forall u\in X.$$

(4)

Proof of Lemma 1. 

In view of Lemma 4.10 in [14], there exists a positive constant $K=K\left(p\right)$ depending only on p such that

$${\int }_{\mathbb{R}}{\left|u^{\prime }\left(t\right)\right|}^{p}dt\le K{\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p+{\left|u\left(t\right)\right|}^p\right)dt.$$

Then

$$\frac{1}{K}\le w^{\ast }=\underset{u\ne 0}{inf}\frac{{\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p+{\left|u\left(t\right)\right|}^p\right)dt}{{\int }_{\mathbb{R}}{\left|u^{\prime }\left(t\right)\right|}^{p}dt}.$$

Let

$$C_0=\frac{v_0{w}^{\ast }-w}{(K+1)v_0{w}^{\ast }}$$

and $C=v_0{C}_0.$ We have

$$\begin{array}{cc}& {\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p-w{\left|u^{\prime }\left(t\right)\right|}^p+V\left(t\right){\left|u\left(t\right)\right|}^p\right)dt\hfill \\ \ge & v_0{\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p-\frac{w}{v_0}{\left|u^{\prime }\left(t\right)\right|}^p+{\left|u\left(t\right)\right|}^p\right)dt\hfill \\ =& v_0((1-\frac{w}{v_0{w}^{\ast }}){\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p+{\left|u\left(t\right)\right|}^p\right)dt\hfill \\ & +\frac{w}{v_0{w}^{\ast }}{\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p-w^{\ast }{\left|u^{\prime }\left(t\right)\right|}^p+{\left|u\left(t\right)\right|}^p\right)dt)\hfill \\ \ge & v_0(1-\frac{w}{v_0{w}^{\ast }}){\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p+{\left|u\left(t\right)\right|}^p\right)dt\hfill \\ =& v_0{C}_0(K+1){\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p+{\left|u\left(t\right)\right|}^p\right)dt\hfill \\ \ge & v_0{C}_0{\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p+{\left|u^{\prime }\left(t\right)\right|}^p+{\left|u\left(t\right)\right|}^p\right)dt={C\left|\right|u\left|\right|}_X^p,\hfill \end{array}$$

which completes the proof. □

By Brezis [15], Theorem 8.8 and Corollary 8.9 for $u\in X$ and $s>p$

$$\begin{array}{ccc}\hfill {\left|\right|u\left|\right|}_{\infty }& :& ={\left|\right|u\left|\right|}_{{}_{L^{\infty }\left(\mathbb{R}\right)}}\le C_1{\left|\right|u\left|\right|}_X,\hfill \\ \hfill {\int }_{\mathbb{R}}{\left|u\left(t\right)\right|}^{s}dt& \le & {\left|\right|u\left|\right|}_{\infty }^{s-p}{\left|\right|u\left|\right|}_X^p,\hfill \end{array}$$

and $\underset{\left|t\right|\to \infty }{lim}u\left(t\right)=0.$

We consider the functional $I:X\to \mathbb{R}$

$$I\left(u\right)={\int }_{\mathbb{R}}({\mathsf{\Phi }}_p\left(u^{″}\left(t\right)\right)-w{\mathsf{\Phi }}_p\left(u^{\prime }\left(t\right)\right)+V\left(t\right){\mathsf{\Phi }}_p\left(u\left(t\right)\right))dt-{\int }_{\mathbb{R}}a\left(t\right)F(t,u\left(t\right)dt,$$

(5)

where $\mathsf{\Phi }\left(t\right)=\frac{{\left|t\right|}^p}{p}$ for $p\ge 2.$

One can show that under conditions $\left(A\right),\left(F_1\right)-\left(F_3\right)$ and V the functional I is differentiable and for all $u,v\in X$ we have

$$\begin{array}{c}\hfill ⟨I^{\prime }\left(u\right),v⟩={\int }_{\mathbb{R}}\left({\phi }_p\left(u^{″}\left(t\right)\right)v^{″}\left(t\right)-w{\phi }_p\left(u^{\prime }\left(t\right)\right)v^{\prime }\left(k\right)\right)dt+V\left(t\right){\phi }_p\left(u\left(t\right)\right)v\left(t\right)dt\\ \hfill -{\int }_{\mathbb{R}}a\left(t\right)f\left(t,u\left(t\right)\right)v\left(t\right)dt.\end{array}$$

(6)

Let $L_a^p\left(\mathbb{R}\right),p\ge 1$ be the weighted Lebesque space of functions $u:\mathbb{R}\to \mathbb{R}$ with norm ${\left|\right|u\left|\right|}_{p,a}:={\left(\underset{\mathbb{R}}{\int }a\left(t\right){\left|u\left(t\right)\right|}^{p}dt\right)}^{1/p}$. We have

Lemma 2.

Assume that the assumptions $\left(A\right)$ and $\left(V\right)$ hold. Then, the inclusion $X\subset L_a^p\left(\mathbb{R}\right)$ is continuous and compact.

Proof of Lemma 2. 

The embedding $X\subset L_a^p\left(\mathbb{R}\right)$ is continuous by the boundedness of the function a by $\left(A\right)$. We show that the inclusion is compact. Let $\left\{u_j\right\}\subset X$ be a sequence such that $\left|\right|u_j\left|\right|\le M$ and $u_j\rightharpoonup u$ weakly in X. We’ll show that $u_j\to u$ strongly in $L_a^p\left(\mathbb{R}\right).$ Without loss of generality we can assume that $u=0$, considering the sequence $\left\{u_j-u\right\}.$ By $\left(A\right)$ for any $\epsilon >0,$ there exists $R>0$, such that for $\left|t\right|\ge R$

$$0\le a\left(t\right)\le \frac{\epsilon }{2(1+M^p)}.$$

Then

$$\underset{\left|t\right|\ge R}{\int }a\left(t\right){\left|u_j\left(t\right)\right|}^{p}dt\le \frac{\epsilon M^p}{2(1+M^p)}.$$

By Sobolev’s imbedding theorem $u_j\to 0$ strongly in $C\left(\right[-R,R\left]\right)$ and there exists $j_0$ such that for $j>j_0:$

$$\underset{\left|t\right|\le R}{\int }a\left(t\right){\left|u_j\left(t\right)\right|}^{p}dt<\frac{\epsilon }{2(1+M^p)}.$$

Then, for $j>j_0$ we have $\underset{\mathbb{R}}{\int }a\left(t\right){\left|u_j\left(t\right)\right|}^{p}dt<\epsilon ,$ which shows that $u_j\to 0$ strongly in $L_a^p\left(\mathbb{R}\right).$ □

Lemma 3.

Let assumptions $\left(A\right),\left(F_1\right)-\left(F_3\right)$ and $\left(V\right)$ hold. If $u_j\rightharpoonup u$ weakly in $X,$ there exists a subsequence of the sequence $\left\{u_j\right\},$ still denoted by $\left\{u_j\right\}$ such that $f(t,u_j)\to f(t,u)$ in $L_a^p\left(\mathbb{R}\right).$

Proof of Lemma 3. 

Let $u_j\rightharpoonup u$ weakly in $X.$ By Banach-Steinhaus theorem there exists $M_1>0$, such that $\left|\right|u_j\left|\right|\le M_1$ and $\left|\right|u\left|\right|\le M_1.$ By the elementary inequality for $a>0,b>0,p>1$

$${(a+b)}^p\le 2^{p-1}(a^p+b^p),$$

and $\left(F_2\right)$ we have

$$\begin{array}{c}\hfill |f(t,u_j)-f(t,u){|}^p\le 2^{p-1}\left(\right|f(t,u_j){|}^p+|f(t,u){|}^p)\\ \hfill \le 2^{p-1}{\left|b\left(t\right)\right|}^p\left(\right|u_j{|}^{p(q-1)}+{\left|u\right|}^{p(q-1)}).\end{array}$$

Let $0<a\left(t\right)\le A.$ Then, by Hölder inequality and $b\in L^{\frac{p}{2-q}}\left(\mathbb{R}\right)$ it follows that

$$\begin{array}{cc}& {\int }_{\mathbb{R}}a\left(t\right){|f(t,u_j\left(t\right))-f(t,u\left(t\right))|}^{p}dt\hfill \\ \le & 2^{p-1}A{\int }_{\mathbb{R}}{\left|b\left(t\right)\right|}^p\left(\right|u_j{|}^{p(q-1)}+{\left|u\right|}^{p(q-1)})dt\hfill \\ \le & 2^{p-1}A({\int }_{\mathbb{R}}{\left|b\left(t\right)\right|}^{\frac{p}{2-q}}{)}^{2-q}\left(\right({\int }_{\mathbb{R}}|u_j{\left(t\right)|}^p{dt)}^{q-1}+({\int }_{\mathbb{R}}{\left|u\left(t\right)\right|}^{p}dt{)}^{q-1})\hfill \\ \le & 2^p{A\left|\right|b\left|\right|}_{L^{\frac{p}{2-q}}\left(\mathbb{R}\right)}^p{M}_{1_{}}^{p(q-1)}.\hfill \end{array}$$

By Lemma 2, $u_j\rightharpoonup u$ weakly in X implies that there exists a subsequence $\left\{u_j\right\},$ such that $u_j\to u$ strongly in $L_a^p\left(\mathbb{R}\right).$ By analogous way as above we have that there exists $B>0$, such that

$${\int }_{\mathbb{R}}{|f(t,u_j\left(t\right))-f(t,u\left(t\right))|}^{p}dt\le B.$$

Let $\epsilon >0,R>0$ are s.t. $0<a\left(t\right)<\frac{\epsilon }{2B}$ for $\left|t\right|\ge R$ by $\left(A\right).$ Then

$${\int }_{\left|t\right|\ge R}a\left(t\right){|f(t,u_j\left(t\right))-f(t,u\left(t\right))|}^{p}dt<\frac{\epsilon }{2}.$$

(7)

Let $0<a_R<a\left(t\right)\le A$ for $\left|t\right|\le R.$ By $u_j\to u$ strongly in $L_a^p\left(\mathbb{R}\right)$ it follows that

$${\int }_{\left|t\right|\le R}a\left(t\right)|u_j{\left(t\right)-u\left(t\right)|}^{p}dt\ge a_R{\int }_{\left|t\right|\le R}{|u_j\left(t\right)-u\left(t\right)|}^{p}dt\to 0$$

and $u_j\left(t\right)-u\left(t\right)\to 0$ a.e. in $\left|t\right|\le R.$ Then, by Lebesque’s dominated convergence theorem

$$I_R:={\int }_{\left|t\right|\le R}a\left(t\right){|f(t,u_j\left(t\right))-f(t,u\left(t\right))|}^{p}dt\to 0.$$

Let $j_0$ is sufficiently large, such that for $j>j_0,0\le I_R<\frac{\epsilon }{2}.$ Then by (7) for $j>j_0$ we have

$${\int }_{\mathbb{R}}a\left(t\right){|f(t,u_j\left(t\right))-f(t,u\left(t\right))|}^{p}dt<\epsilon ,$$

which completes the proof. □

Next we have:

Lemma 4.

Under assumptions $\left(A\right),\left(F_1\right)-\left(F_3\right),\left(V\right)$ the functional $I\in C^1(X,\mathbb{R})$ and the identity (6) holds for all $u,v\in X.$ holds.

It can be proved in a standard way using Lemma 3 (see Yang [8], Tersian, Chaparova [6]).

Lemma 5.

Under assumptions $\left(A\right),\left(F_1\right)-\left(F_3\right)$ and $\left(V\right)$ the functional I satisfies the $\left(PS\right)$ condition.

Proof of Lemma 5. 

Let $\left\{u_j\right\}$ be a sequence such that $\left\{I\left(u_j\right)\right\}$ is bounded in X and $I^{\prime }\left(u_j\right)\to 0$ in $X^{\ast }.$ Then, there exists a constant $C_1>0$, s.t.

$$\left|\right|I\left(u_j\right)\left|\right|\le C_1,\left|\right|I^{\prime }\left(u_j\right){\left|\right|}_{X^{\ast }}\le C_1.$$

By $\left(F_2\right)$ we have

$$\begin{array}{ccc}\hfill C_1+\frac{C_1}{q}\left|\right|u_j\left|\right|& \ge & \frac{1}{q}<I^{\prime }\left(u_j\right),u_j>-I\left(u_j\right)\hfill \\ & =& \left(\frac{1}{q}-\frac{1}{p}\right)\left|\right|u_j{\left|\right|}^p+{\int }_{\mathbb{R}}a\left(t\right)(F(t,u_j\left(t\right))-\frac{1}{q}f(t,u_j\left(t\right))u_j\left(t\right))dt\hfill \\ & \ge & \left(\frac{1}{q}-\frac{1}{p}\right)\left|\right|u_j{\left|\right|}^p.\hfill \end{array}$$

Then, $\left\{u_j\right\}$ is a bounded sequence in X and up to a subsequence, still denoted by $\left\{u_j\right\}$, $u_j\rightharpoonup u$ weakly in X. There exists $M_2>0$, such that $\left|\right|u_j\left|\right|\le M_2,\left|\right|u\left|\right|\le M_2.$ By Lemma 2, $u_m\to u$ in $L_a^2\left(\mathbb{R}\right)$ and by Lemma 3, $f(t,u_m\left(t\right))\to f(t,u\left(t\right))$ in $L_a^2\left(\mathbb{R}\right)$. By Hölder inequality we have:

$$\begin{array}{cc}& I_j:={\int }_{\mathbb{R}}a\left(t\right)(f(t,u_j\left(t\right))-f(t,u\left(t\right)))(u_j\left(t\right)-u\left(t\right))dt\hfill \\ =& {\int }_{\mathbb{R}}{a}^{\frac{p-1}{p}}\left(t\right)(f(t,u_j\left(t\right))-f(t,u\left(t\right)))a^{\frac{1}{p}}\left(t\right)(u_j\left(t\right)-u\left(t\right))dt\hfill \\ \le & A^{\frac{p-1}{p}}{\int }_{\mathbb{R}}a\left(t\right){|u_j\left(t\right)-u\left(t\right)|}^{p}dt{\left({\int }_{\mathbb{R}}{|f(t,u_j\left(t\right))-f(t,u\left(t\right))|}^{\frac{p}{p-1}}dt\right)}^{\frac{p-1}{p}}.\hfill \end{array}$$

As in the proof of Lemma 3, by assumption $\left(F_2\right)$, $b\in L^{\frac{p}{p-q}}\left(\mathbb{R}\right)$ and Hölder inequality we have for $p_1=\frac{p}{p-1}>1$:

$$\begin{array}{cc}& {\int }_{\mathbb{R}}{|f(t,u_j\left(t\right))-f(t,u\left(t\right))|}^{p_1}dt\hfill \\ \le & 2^{p_1-1}{\int }_{\mathbb{R}}{\left|b\left(t\right)\right|}^{p_1}|\left(|u_j{\left(t\right)|}^{(q-1)p_1}+{\left|u\left(t\right)\right|}^{(q-1)p_1}\right)dt\hfill \\ \le & 2^{p_1-1}{\left({\int }_{\mathbb{R}}{\left|b\right|}^{\frac{p}{p-q}}dt\right)}^{\frac{p-q}{p-1}}\left({\left({\int }_{\mathbb{R}}{\left|u_j\right|}^{p}dt\right)}^{\frac{q-1}{p-1}}+{\left({\int }_{\mathbb{R}}{\left|u\right|}^{p}dt\right)}^{\frac{q-1}{p-1}}\right)\hfill \\ \le & 2^{p_1}{\left|\right|b\left|\right|}_{L^{\frac{p}{p-q}}}^{p_1}{M}_2^{(q-1)p_1}.\hfill \end{array}$$

Then, by $u_j\to u$ in $L_a^2\left(\mathbb{R}\right)$ it follows that $I_j\to 0$ as $j\to \infty .$ Next, we have

$$\left|\right|u_j-u{\left|\right|}^p\le <I^{\prime }\left(u_j\right)-I^{\prime }\left(u\right),u_j-u>+I_j,$$

which shows that $u_j\to u$ in $X.$ □

Next, we recall a minimization theorem which will be used in the proof of Theorem 1. (see [16], Theorem 2.7 of [13]).

Theorem 2.

(Minimization theorem) Let E be a real Banach space and $J\in C^1(E,\mathbb{R})$ satisfying $\left(PS\right)$ condition. If J is bounded below, then $c={inf}_{E}I$ is a critical value of $J.$

We will use also the following generalization of Clark’s theorem (see Rabinowitz [13], p. 53) due to Z. Liu and Z. Wang [17]:

Theorem 3.

(Generalized Clark’s theorem, [17]) Let E be a Banach spa ce, $J\in C^1(E,\mathbb{R})$. Assume that J satisfies the $\left(PS\right)$ condition, it is even, bounded from below and $J\left(0\right)=0$. If for any $k\in \mathbb{N}$, there exists a $k-$dimensional subspace $E^k$ of E and ${\rho }_k>0$ such that ${sup}_{E^k\cap S_{{\rho }_k}}J<0$, where $S_{\rho }={\{u\in E,\parallel u\parallel }_E=\rho \}$, then at least one of the following conclusions holds:

1. 

There exists a sequence of critical points $\left\{u_k\right\}$ satisfying $J\left(u_k\right)<0$ for all k and ${lim}_{k\to \infty }{\parallel u_k\parallel }_E=0$.

2. 

There exists $r>0$ such that for any $0<\alpha <r$ there exists a critical point u such that ${\parallel u\parallel }_E=\alpha$ and $J\left(u\right)=0$.

Note that Theorem 3 implies the existence of infinitely many pairs of critical points $(u_k,-u_k)$, $u_k\ne 0$ of J, s.t. $J\left(u_k\right)\le 0$, ${lim}_{k\to +\infty }J\left(u_k\right)=0$ and ${lim}_{k\to +\infty }{\parallel u_k\parallel }_E=0$.

Lemma 6.

Assume that assumptions $\left(A\right),\left(F_2\right)$ and $\left(V\right)$ hold. Then the functional I is bounded from below.

Proof of Lemma 6. 

By $\left(F_2\right)$ and the proof of Lemma 3 we have

$$\left|F(t,u)\right|\le \frac{1}{q}b\left(t\right){\left|u\right|}^q.$$

and

$$\begin{array}{ccc}\hfill I\left(u\right)& =& \frac{1}{p}{\left|\right|u\left|\right|}^p-{\int }_{\mathbb{R}}a\left(t\right)F(t,u\left(t\right))dt\hfill \\ & \ge & \frac{1}{p}{\left|\right|u\left|\right|}^p-\frac{A}{q}{\int }_{\mathbb{R}}b\left(t\right){\left|u\left(t\right)\right|}^{q}dt\hfill \\ & \ge & \frac{1}{p}{\left|\right|u\left|\right|}^p-\frac{A}{q}{\left({\int }_{\mathbb{R}}{\left|b\left(t\right)\right|}^{\frac{p}{p-q}}dt\right)}^{\frac{p-q}{p}}{\left({\int }_{\mathbb{R}}{\left|u\left(t\right)\right|}^{p}dt\right)}^{\frac{q}{p}}\hfill \\ & \ge & \frac{1}{p}{\left|\right|u\left|\right|}^p-\frac{A}{q}{\left|\right|b\left|\right|}_{L^{\frac{p}{p-q}}}{\left|\right|u\left|\right|}^q.\hfill \end{array}$$

By $p>q$ it follows that I is bounded from below functional. □

3. Proof of the Main Result

In this section we prove Theorem 1. The proof is based on the minimization Theorem 2 and multiplicity result Theorem 3. Their conditions are satisfied according to Lemmas 1–6.

Proof of Theorem 1. 

The functional I satisfies the assumptions of minimization Theorem 2. Let $u_0$ be the minimizer of I. Since $I\left(0\right)=0$ to show that $u_0\ne 0,$ let us take $v\in W_0^{2,p}\left(J\right)$, where J is the interval from condition $\left(F_3\right)$. Suppose that ${\left|\right|v\left|\right|}_{\infty }\le 1$. Then for $\lambda >0$ by $\left(F_3\right)$

$$\begin{array}{ccc}\hfill I\left(\lambda v\right)& =& \frac{{\lambda }^p}{p}{\left|\right|v\left|\right|}^p-{\int }_{J}a\left(t\right)F(t,\lambda v\left(t\right))dt\hfill \\ & \le & \frac{{\lambda }^p}{p}{\left|\right|v\left|\right|}^p-c{\lambda }^q{\int }_{J}a\left(t\right){\left|v\left(t\right)\right|}^{q}dt.\hfill \end{array}$$

By $1<q<p$ and the last inequality it follows for ${\lambda }_0$ sufficiently small and ${\lambda }_0>\lambda >0$ $I\left(\lambda v\right)<0$. Then $I\left(u_0\right)=min\{I\left(u\right):u\in X\}<I\left(\lambda v\right)<0$ and $u_0$ is a nonzero weak solution. Let the condition $\left(F_4\right)$ holds additionally. We show that the functional I satisfies the assumptions of Theorem 3. We construct a sequence of finite dimensional subspaces $X_n\subset X$ and spheres $S_{r_n}^{n-1}\subset X_n$ with sufficiently small radius $r_n>0$ such that $sup\{I\left(u\right):u\in S_{r_n}^{n-1}\}<0.$ Let $J=(a,b)\subset \mathbb{R}$ and for $k\in \{1,2,...,n\}$ $J_k=(x_{k-1},x_k)$, where $x_k=a+\frac{k}{n}(b-a).$ Next, we choose functions $v_k\in C_0^2\left(J_k\right)$ such that $\left|\right|v_k{\left|\right|}_{\infty }<\infty$ and $\left|\right|v_k{\left|\right|}_X=1.$

Let $X_n$ be the $n-$ dimensional subspace $X_n:=span\{v_1,...,v_k\}\subset X$ and

$$S_{\rho }^{n-1}:=\{u\in X_n{:\left|\right|u\left|\right|}_X=\rho \}.$$

For $u={\sum }_{k=1}^n{c}_k{v}_k\in X_n$ we have

$$\begin{array}{ccc}\hfill {\left|\right|u\left|\right|}^p& =& {\int }_{\mathbb{R}}\left({\left|u^{″}\left(t\right)\right|}^p-w{\left|u^{\prime }\left(t\right)\right|}^p+V\left(t\right){\left|u\left(t\right)\right|}^p\right)dt\hfill \\ & =& \sum _{j=k}^n|c_k{|}^p{\int }_{J_k}\left(\right|v_k^{″}{\left(t\right)|}^p-w|v_k^{\prime }{\left(t\right)|}^p+V\left(t\right)|v_k{\left(t\right)|}^p\left)\right)dt\hfill \\ & =& \sum _{k=1}^n{\left|c_k\right|}^p.\hfill \end{array}$$

By analogous way for ${\gamma }_k={\int }_{J_k}\left(\right|v_k{\left(t\right)|}^{q}dt>0$ we have

$${\left|\right|u\left|\right|}_n^q=\sum _{k=1}^n{\gamma }_k{\left|c_k\right|}^q$$

(8)

The space $X_n$ is n-dimensional and the norms $\left|\right|.\left|\right|$ and ${\left|\right|.\left|\right|}_n$ are equivalent. There are positive constants $d_{1n}$ and $d_{2n}$ s.t.

$$d_{1n}\left|\right|u\left|\right|\le {\left|\right|u\left|\right|}_n\le d_{2n}\left|\right|u\left|\right|,\forall u\in X_n.$$

(9)

Then, for $u\in X_n\bigcap S_1^{n-1}$

$$\begin{array}{ccc}\hfill I\left(\lambda u\right)& =& \frac{{\lambda }^p}{p}{\left|\right|u\left|\right|}^p-\sum _{k=1}^n{\int }_{J_k}a\left(t\right)F(t,\lambda c_k{v}_k\left(t\right))dt\hfill \\ & \le & \frac{{\lambda }^p}{p}{\left|\right|u\left|\right|}^p-c{\lambda }^q\sum _{k=1}^n|c_k{|}^q{\int }_{J_k}a\left(t\right){\left|v_k\left(t\right)\right|}^{q}dt\hfill \\ & \le & \frac{{\lambda }^p}{p}{\left|\right|u\left|\right|}^p-c{\lambda }^q{d}_{1n}{\left|\right|u\left|\right|}^q\hfill \end{array}$$

By $1<q<p$ and the last inequality it follows that $I\left(v\right)<0$ for $v\in S_{n-1}^{\rho }:=\{u\in X_n:\left|\right|u\left|\right|=\rho \}$. Finally, all assumptions of Theorem 3 are satisfied and by Remark 1 there exist infinitely many weak solutions $\left\{u_j\right\}$ of the problem (1), such that $I\left(\left\{u_j\right\}\right)\le 0$ and $\left|\right|u_j\left|\right|\to 0$. By imbedding $X\subset L^{\infty }\left(\mathbb{R}\right)$ it follows that $\left|\right|u_j{\left|\right|}_{\infty }\to 0$ as $j\to \infty$ which completes the proof. □

4. Conlusions

In this paper, we obtained the existence of infinitely many homoclinic solutions of Equation (1) under conditions $\left(A\right),\left(F_1\right)-\left(F_4\right),\left(V\right)$ in the case $1<q<2\le p.$ The equation is an extension of the stationary Fisher-Kolmogorov equation which appears in the phase transition models. The variational approach is applied based on the multiple critical point theorem due to Liu and Wang. It will be interesting to extend the result to the case $1<q<p<2.$