\documentclass[reqno]{amsart}
\usepackage{hyperref}

\AtBeginDocument{{\noindent\small
\emph{Electronic Journal of Differential Equations},
Vol. 2016 (2016), No. 288, pp. 1--10.\newline
ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu}
\thanks{\copyright 2016 Texas State University.}
\vspace{8mm}}

\begin{document}
\title[\hfilneg EJDE-2016/288\hfil $p$-Laplacian boundary-value problems]
{Infinitely many solutions for $p$-Laplacian boundary-value problems
on the real line}

\author[S. Shakeri, A. Hadjian \hfil EJDE-2016/288\hfilneg]
{Saleh Shakeri, Armin Hadjian}

\address{Saleh Shakeri \newline
Department of Mathematics,
Ayatollah Amoli Branch,
Islamic Azad University,
 Amol, Iran}
\email{s.shakeri@iauamol.ac.ir}

\address{Armin Hadjian \newline
Department of Mathematics,
Faculty of Basic Sciences,
University of Bojnord, P.O. Box 1339,
Bojnord 94531, Iran}
\email{hadjian83@gmail.com, a.hadjian@ub.ac.ir}

\thanks{Submitted April 11, 2016. Published October 26, 2016.}
\subjclass[2010]{35D30, 35J20, 35J60}
\keywords{Boundary-value problems on the real line; weak solution;
\hfill\break\indent variational methods; infinitely many solutions}

\begin{abstract}
 Under appropriate oscillating behaviour of the
 nonlinear term, we prove the existence of multiple solutions
 for  $p$-Laplacian parametric equations on unbounded intervals.
 These problems have a variational structure, so we use an abstract
 result for smooth functionals defined on reflexive Banach spaces.
\end{abstract}

\maketitle
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{example}[theorem]{Example}
\allowdisplaybreaks



\section{Introduction}

Boundary value problems (briefly BVPs) on infinite intervals
frequently occur in mathematical modelling of various applied
problems. Typically, these problems arise very frequently in fluid
dynamics, aerodynamics, quantum mechanics, electronics,
astrophysics, and other domains of science. As examples we have:
the study of unsteady flow of a gas through a semi-infinite medium
\cite{Ki,HW}, heat transfer in the radial flow between parallel
circular disks \cite{N}, draining flows \cite{AO1}, circular
membranes \cite{AO5,D1,D2}, plasma physics \cite{G}, non-Newtonian
fluid flows \cite{AO4}, study of stellar structure, thermal behavior
of a spherical cloud of gas, isothermal gas sphere, theory of
thermionic currents \cite{C,Da,R}, and modeling of vortex solitons
\cite{Fl,P}.

Motivated by this interest, the aim of this article is to study the
following elliptic problem on the real line:
Find $u\in W^{1,p}(\mathbb{R})$ satisfying
\begin{equation}\label{e1.1}
\begin{gathered}
-\left(|u'(x)|^{p-2}u'(x)\right)'+B|u(x)|^{p-2}u(x)=\lambda\alpha(x)g(u(x)), \quad
 x\in \mathbb{R},\\
u(-\infty)=u(+\infty)=0,
\end{gathered}
\end{equation}
where $\lambda$ is a real positive parameter, $B$ is a real positive
number, and $\alpha, g : \mathbb{R}\to\mathbb{R}$ are two functions
such that
\[
\alpha\in L^1(\mathbb{R}),\quad\alpha(x)\geq 0\text{ for a.e. } x\in
\mathbb{R},\; \alpha\not\equiv 0,
\]
and $g$ is continuous and non-negative.

Our goal in this paper is to obtain some sufficient conditions to
guarantee that, for suitable values of $\lambda$, problem
\eqref{e1.1} has infinitely many solutions. To this end, we require
that the potential $G$ of $g$ satisfies a suitable oscillatory
behavior either at infinity (for obtaining unbounded solutions) or
at the origin (for finding arbitrarily small solutions). Our
analysis is mainly based on a general critical point theorem (see
Lemma \ref{lem2.1} below) contained in \cite{Bonanno}.

We are motivated by the  recent paper of Bonanno et al.
\cite{BBO} in which the existence and multiplicity of non-negative
solutions for problem \eqref{e1.1} was established.

For more information, we refer the reader to the papers
\cite{BO,CM,CK,GR,HGS,L,ZL} where the existence and multiplicity of
solutions for BVPs (parametric or otherwise) on unbounded intervals
using variational methods and critical point theory is proved. In
conclusion, we cite a recent monograph by Krist\'aly, R\u adulescu
and Varga \cite{KRV} as a general reference on variational methods
adopted here.
Here, as an example, we state a special case of our results.

\begin{theorem}\label{thm1.1}
Let $\alpha$ be a continuous function on $\mathbb{R}$ and
$$
\liminf_{\xi\to +\infty}\frac{\int_0^\xi g(t)dt}{\xi^p}=0,\quad
\limsup_{\xi\to +\infty}\frac{\int_0^\xi g(t)dt}{\xi^p}=+\infty.
$$
Then, for each $\lambda>0$, problem \eqref{e1.1} admits an unbounded
sequence of non-negative classical solutions.
\end{theorem}

This article is organized as follows. In Section 2, we present some
necessary preliminary facts that will be needed in the paper. In
Section 3 our main result (see Theorem \ref{thm3.1}) and some
significative consequences (see Corollaries \ref{cor3.3},
\ref{cor3.4} and \ref{cor3.5}) are presented.

\section{Preliminaries}

In this section, we first introduce some necessary definitions and
notation which will be used here.

Let $(E,|\cdot|)$ be a real Banach space. We denote by $E^*$ the
dual space of $E$, while $\langle\cdot,\cdot\rangle$ stands for the
duality pairing between $E^*$ and $E$.
We denote by $|\cdot|$ and by $|\cdot|_t$ the usual norms on $\mathbb{R}$ 
and on $L^t(\mathbb{R})$, for all $t\in[1,+\infty]$, while
$W^{1,p}(\mathbb{R})$ indicates the closure of 
$C_0^\infty(\mathbb{R})$ with
respect to the norm
\[
\|u\|_{1,p}:=\left(|u'|^p_p+|u|_p^p\right)^{1/p}.
\]
When $p=2$ the norm is induced by the scalar product
\[
(u,v)=(u',v')_{L^2}+(u,v)_{L^2}.
\]
It is well known that $W^{1,p}(\mathbb{R})\equiv W_0^{1,p}(\mathbb{R})$ and
$W^{1,p}(\mathbb{R})$ is embedded in $L^t(\mathbb{R})$ for any
$t\in[p,+\infty]$. Also, the embedding 
$W^{1,p}(\mathbb{R})\hookrightarrow C([-R,R])$, $R>0$, 
is compact and the embedding
$W^{1,p}(\mathbb{R})\hookrightarrow L^\infty(\mathbb{R})$ is continuous.

In the following, we consider $E:=W^{1,p}(\mathbb{R})$ endowed with the
norm
\[
\|u\|:=\Big(\int_{\mathbb{R}}\left(|u'(x)|^p+B|u(x)|^p\right)dx\Big)^{1/p},
\]
which is equivalent to the usual norm, that is, when $B = 1$. The
following proposition corresponds to \cite[Proposition 2.2]{BBO}.

\begin{proposition}\label{prop2.1}
One has
\begin{equation}\label{embedding}
|u|_\infty\leq c_B\|u\|
\end{equation}
for all $u\in W^{1,p}(\mathbb{R})$, where
\begin{equation}\label{constant}
c_B:=2^{(p-2)/p}\Big(\frac{p-1}{p}\Big)^{(p-1)/p}
\Big(\frac{1}{B}\Big)^{(p-1)/{p^2}}.
\end{equation}
\end{proposition}

\begin{definition} \rm
We say that a function $u\in E$ is a \textit{(weak) solution} of
problem \eqref{e1.1} if
\begin{align*}
\int_{\mathbb{R}}\left(|u'(x)|^{p-2}u'(x)v'(x)+B|u(x)|^{p-2}u(x)v(x)\right)dx
-\lambda\int_{\mathbb{R}}\alpha(x)g(u(x))v(x)dx=0
\end{align*}
for all $v\in E$. Moreover, when $\alpha$ is, in addition, a
continuous function on $\mathbb{R}$, the (weak) solutions of
\eqref{e1.1} are actually classical, as standard computations show.
\end{definition}

\begin{definition} \rm
Let $\Phi,\Psi:E\to \mathbb{R}$ be two continuously G\^{a}teaux
differentiable functionals. Put $I_\lambda:=\Phi-\lambda\Psi$,
$\lambda>0$, and fix $r\in[-\infty,+\infty]$. We say that the
functional $I_\lambda$ satisfies the Palais-Smale condition cut off
upper at $r$ (in short, the ${\rm(PS)}^{[r]}$-condition) if any
sequence $\{u_n\}\subset E$ such that
\begin{itemize}
\item[$\bullet$] $\{I_\lambda(u_n)\}$ is bounded,
\item[$\bullet$] $\lim_{n\to +\infty}\|I'_\lambda(u_n)\|_*=0$,
\item[$\bullet$] $\Phi(u_n)<r$ for all $n\in\mathbb{N}$,
\end{itemize}
has a convergent subsequence.
\end{definition}


\begin{remark}\label{rem1}\rm
Clearly, if $r=+\infty$, then ${\rm(PS)}^{[r]}$-condition coincides
with the classical ${\rm(PS)}$-condition. Moreover, if $I_\lambda$
satisfies ${\rm(PS)}^{[r]}$-condition, then it satisfies
${\rm(PS)}^{[\rho]}$-condition for all $\rho\in[-\infty,+\infty]$
such that $\rho\leq r$. So, in particular, if $I_\lambda$ satisfies
the classical ${\rm(PS)}$-condition, then it satisfies
${\rm(PS)}^{[\rho]}$-condition for all $\rho\in[-\infty,+\infty]$.
\end{remark}


We shall prove our results applying the following lemma by Bonanno
\cite[Theorem 7.4]{Bonanno}, which improves 
\cite[Theorem 2.5]{Ricceri1}. We point out that Ricceri's variational principle
generalizes the celebrated three critical point theorem by Pucci and
Serrin \cite{pucser1, pucser2} and is an useful result that gives
alternatives for the multiplicity of critical points of certain
functions depending on a parameter.

\begin{lemma}\label{lem2.1}
Let $X$ be a real Banach space and let $\Phi,\Psi:X\to\mathbb{R}$ 
be two continuous G\^{a}teaux differentiable functionals with $\Phi$ bounded 
from below. For  $r>\inf_X\Phi$, let
\begin{gather*}
\varphi(r):=\inf_{u\in\Phi^{-1}(-\infty,r)}
\frac{\big(\sup_{v\in\Phi^{-1}(-\infty,r)}\Psi(v)\big)-\Psi(u)}{r-\Phi(u)}, \\
\gamma:=\liminf_{r\to +\infty}\varphi(r),\quad
\delta:=\liminf_{r\to(\inf_X\Phi)^+}\varphi(r).
\end{gather*}
Then:
\begin{itemize}
\item[(a)] If $\gamma<+\infty$ and for every 
$\lambda\in (0,1/\gamma)$ the functional $I_\lambda:=\Phi-\lambda\Psi$ satisfies
the ${\rm(PS)}^{[r]}$-condition for all $r\in\mathbb{R}$, then, for each
$\lambda\in (0,1/\gamma)$, the following alternative holds: either
\begin{itemize}
\item[(1)] $I_\lambda$ possesses a global minimum, or

\item[(2)] there is a sequence $\{u_n\}$ of critical points
(local minima) of $I_\lambda$ such that
$\lim_{n\to+\infty}\Phi(u_n)=+\infty$.
\end{itemize}

\item[(b)] If $\delta<+\infty$ and for every 
$\lambda\in (0,1/\delta)$ the functional $I_\lambda:=\Phi-\lambda\Psi$ satisfies
the ${\rm(PS)}^{[r]}$-condition for all $r>\inf_X \Phi$, then, for each
$\lambda\in (0,1/\gamma)$, the following alternative holds: either
\begin{itemize}

\item[(1)] there is a global minimum of $\Phi$ which is a
local minimum of $I_\lambda$, or

\item[(2)] there is a sequence $\{u_n\}$ of pairwise distinct critical points
(local minima) of $I_\lambda$ such that
$\lim_{n\to+\infty}\Phi(u_n)=\inf_X \Phi$.
\end{itemize}
\end{itemize}
\end{lemma}

We also refer the interested reader to the papers \cite{BMR,MR,MRE},
in which Ricceri's variational principle and its variants have been
successfully used to obtain the existence of solutions for different
boundary value problems; see also the related papers \cite{LAT,Re}.

\section{Main results}

In this section we establish the main abstract result of this article.
We set
$$
G(\xi):=\int_0^\xi g(t)dt,\quad \forall\xi\in\mathbb{R}.
$$
Our hypotheses on $g$ guarantee that $G\in C^1(\mathbb{R})$ and
$G'(\xi)=g(\xi)\geq 0$ for all $\xi\in\mathbb{R}$, so $G$ is
non-decreasing. Now, we put
\begin{gather*}
\alpha_0:=\int_{-1}^1\alpha(x)dx, \\
l:=c_B\left(2^{2p-1}+\frac{B}{2(p+1)}+2B\right)^{1/p}, \\
B^\infty:=\limsup_{\xi\to +\infty} \frac{G(\xi)}{\xi^p}.
\end{gather*}
With the above notation, we are able to prove the following result.

\begin{theorem}\label{thm3.1}
Assume that there exist two sequences $\{a_n\}$ and $\{b_n\}$ in
$]0,+\infty[$, with $\lim_{n\to +\infty}b_n=+\infty$, such that
\begin{itemize}
\item[(H1)] $a_n<\frac{b_n}{l}$ for each $n\in\mathbb{N}$;
\item[(H2)] $\mathcal{A}_\infty:=\lim_{n\to +\infty}
\frac{|\alpha|_1G(b_n)-\alpha_0G(a_n)}{b_n^p-(a_nl)^p}
<\frac{\alpha_0}{l^p}B^\infty$.
\end{itemize}
Then, for each
$$
\lambda\in\frac{1}{pc_B^p}\Big]\frac{l^p}{\alpha_0B^\infty},
\frac{1}{\mathcal{A}_\infty}\Big[,
$$
problem \eqref{e1.1} admits an unbounded sequence of non-negative
solutions in $E$.
\end{theorem}

\begin{proof}
Our aim is to apply Lemma \ref{lem2.1}(a) to problem \eqref{e1.1}.
To this end, let the functionals $\Phi,\Psi:E\to\mathbb{R}$
be defined by
$$
\Phi(u):=\frac{1}{p}\|u\|,\quad \Psi(u):=\int_{\mathbb{R}}\alpha(x)G(u(x))dx,
$$
and put
$$
I_{\lambda}(u):=\Phi(u)-\lambda\Psi(u),
$$
for every $u\in E$.

It is clear that the assumptions on $\alpha$ and $g$ guarantee that
the functional $\Psi$ is well defined.

It is well known that $\Phi$ and $\Psi$ are continuous G\^{a}teaux
differentiable functionals whose G\^{a}teaux derivatives at the
point $u \in E$ are
\begin{gather*}
\Phi'(u)(v)=\int_{\mathbb{R}}\left(|u'(x)|^{p-2}u'(x)v'(x)
+B|u(x)|^{p-2}u(x)v(x)\right)dx, \\
\Psi'(u)(v)=\int_{\mathbb{R}}\alpha(x)g(u(x))v(x)dx,
\end{gather*}
for every $v \in E$. Thus, a critical point of the functional
$I_\lambda$ is a solution of \eqref{e1.1}. Moreover, it is proved in
\cite[Lemma 2.8]{BBO} that the functional $I_\lambda$ satisfies
${\rm(PS)}^{[r]}$-condition for all $r\in\mathbb{R}$.

Fix $\lambda$ as in the statement of the theorem. First, we show that
$\lambda<1/\gamma$. To this end, write
\begin{equation}\label{e3.1}
r_n:=\frac{1}{p}\left(\frac{b_n}{c_B}\right)^p,\quad \forall\,n\in
\mathbb{N}.
\end{equation}
Then, for all $u\in E$ with $\Phi(u)<r_n$, taking Proposition
\ref{prop2.1} into account, one has
$$
|u|_\infty\leq c_B\|u\|<c_B(pr_n)^{1/p}=b_n,\quad \forall\,n\in \mathbb{N}.
$$
Then, for every $n\in\mathbb{N}$, it follows that
\begin{align*}
\varphi(r_n)
&\leq \inf_{\Phi(u)<r_n}\frac{\int_{\mathbb{R}}\alpha(x)
 \sup_{|\xi|< b_n}G(\xi)dx-\int_{\mathbb{R}}\alpha(x)
G(u(x))dx}{\frac{1}{p}\big(\frac{b_n}{c_B}\big)^p-\frac{1}{p}\|u\|^p}\\
&\leq \left(pc_B^p\right)\inf_{\Phi(u)<r_n}\frac{|\alpha|_1G(b_n)
-\int_{\mathbb{R}}\alpha(x) G(u(x))dx}{ b_n^p-(c_B\|u\|)^p}.
\end{align*}
For  $n\in\mathbb{N}$, let
\begin{equation*}
w_n(x):=\begin{cases}
 4a_n(x+1)+a_n & x\in [-\frac{5}{4},-1[,\\
 a_n & x\in [-1,1],\\
 4a_n(1-x)+a_n & x\in ]1,\frac{5}{4}],\\
 0 & \mathrm{otherwise}.
\end{cases}
\end{equation*}
Clearly, $w_n\in E$. Moreover, one has
\begin{align*}
\|w_n\|^p
&= \int_{\mathbb{R}}|w_n'(x)|^pdx+B\int_{\mathbb{R}}|w_n(x)|^pdx\\
&= \frac{(4a_n)^p}{2}+B\Big(\frac{1}{2(p+1)}+2\Big)a_n^p\\
&= a_n^p\Big(2^{2p-1}+\frac{B}{2(p+1)}+2B\Big)\\
&= \Big(\frac{a_nl}{c_B}\Big)^p.
\end{align*}
Hence, by assumption (H1), one has $\Phi(w_n)<r_n$. Moreover,
\begin{align*}
\Psi(w_n)
&= \int_{-\frac{5}{4}}^{\frac{5}{4}}\alpha(x)G(w_n(x))dx\\
&\geq \int_{-1}^1\alpha(x)G(w_n(x))dx\\
&= \alpha_0G(a_n),
\end{align*}
for each $n\in\mathbb{N}$. Then, it follows that
$$
\varphi(r_n)\leq\left(pc_B^p\right)\frac{|\alpha|_1G(b_n)-\alpha_0
G(a_n)}{ b_n^p-(a_nl)^p},
$$
for every $n\in \mathbb{N}$. Hence, bearing in mind assumption (H2), we
can write
$$
0\leq\gamma\leq\lim_{n\to +\infty}\varphi(r_n)\leq
pc_B^p\mathcal{A}_\infty<+\infty.
$$
Taking into account the above relation, since
$$
\lambda<\frac{1}{pc_B^p\mathcal{A}_\infty},
$$
we also have $\lambda<1/\gamma$.

Now, we claim that the functional $I_\lambda$ is unbounded from
below. Since
$$
\frac{1}{\lambda}<\frac{pc_B^p\alpha_0}{l^p}B^\infty,
$$
there exist a sequence $\{\eta_n\}$ of positive numbers and $\tau>0$
such that $\lim_{n\to +\infty}\eta_n=+\infty$
and
$$
\frac{1}{\lambda}<\tau<\frac{pc_B^p\alpha_0}{l^p}
\frac{G(\eta_n)}{\eta_n^p},
$$
for each $n\in\mathbb{N}$ large enough. For  $n\in\mathbb{N}$,
let $s_n\in E$ defined by
\begin{equation*}
s_n(x):=\begin{cases}
 4\eta_n(x+1)+\eta_n & x\in [-\frac{5}{4},-1[,\\
 \eta_n & x\in [-1,1],\\
 4\eta_n(1-x)+\eta_n & x\in ]1,\frac{5}{4}],\\
 0 & \mathrm{otherwise}.\\
\end{cases}
\end{equation*}
Thus, we obtain
\begin{align*}
I_{\lambda}(s_n)
&= \Phi(s_n)-\lambda\Psi(s_n)\\
&\leq \frac{1}{p}\left(\frac{\eta_nl}{c_B}\right)^p-\lambda\alpha_0G(\eta_n)\\
&< \frac{1}{p}\left(\frac{\eta_nl}{c_B}\right)^p(1-\lambda\tau),
\end{align*}
for every $n\in\mathbb{N}$ large enough. Since $\lambda\tau>1$ and
$\lim_{n\to +\infty}\eta_n=+\infty$, we have
$$
\lim_{n\to +\infty}I_\lambda(s_n)=-\infty.
$$
Then, the functional $I_\lambda$ is unbounded from below, and it
follows that $I_\lambda$ has no global minimum. Therefore, by Lemma
\ref{lem2.1}(a), there exists a sequence $\{u_n\}$ of critical
points of $I_\lambda$ such that
$$
\lim_{n\to +\infty}\|u_n\|=+\infty.
$$
Finally, it is proved in \cite[proof of Theorem 3.1]{BBO} that the
critical points of the energy are non-negative. The proof is
complete.
\end{proof}

Put
$$
B^0:=\limsup_{\xi\to 0^+}\frac{G(\xi)}{\xi^p}.
$$
Arguing as in the proof of Theorem \ref{thm3.1} and applying part
 Lemma \ref{lem2.1} (b), we obtain the following result.

\begin{theorem}\label{thm3.2}
Assume that there exist two sequences $\{c_n\}$ and $\{d_n\}$ in
$]0,+\infty[$, with $\lim_{n\to +\infty}d_n=0$,
such that
\begin{itemize}
\item[(H3)] $ c_n<\frac{d_n}{l}$ for each $n\in\mathbb{N}$;
\item[(H4)] $\mathcal{A}_0:=\lim_{n\to +\infty}
\frac{|\alpha|_1G(d_n)-\alpha_0G(c_n)}{d_n^p-(c_nl)^p}
<\frac{\alpha_0}{l^p}B^0$.
\end{itemize}
Then, for each
$$
\lambda\in\frac{1}{pc_B^p}\Big]\frac{l^p}{\alpha_0B^0},
\frac{1}{\mathcal{A}_0}\Big[,
$$
problem \eqref{e1.1} admits a sequence of non-trivial and
non-negative solutions which converges strongly to zero in $E$.
\end{theorem}

Now, we point out some consequences of Theorem \ref{thm3.1}. First,
by setting
$$
A_\infty:=\liminf_{\xi\to +\infty}\frac{G(\xi)}{\xi^p},
$$
we obtain the following result.

\begin{corollary}\label{cor3.3}
Assume that
\begin{itemize}
\item[(H5)]
$ A_\infty<\frac{\alpha_0}{|\alpha|_1l^p}B^\infty$.
\end{itemize}
Then, for each
$$
\lambda\in\frac{1}{pc_B^p}\Big]\frac{l^p}{\alpha_0B^\infty},
\frac{1}{|\alpha|_1A_\infty}\Big[,
$$
problem \eqref{e1.1} admits an unbounded sequence of non-negative
solutions in $E$.
\end{corollary}

\begin{proof}
Let $\{b_n\}$ be a sequence of positive numbers which goes to
infinity such that
$$
\lim_{n\to +\infty}\frac{G(b_n)}{b_n^p}=A_\infty.
$$
Taking $a_n=0$ for every $n\in\mathbb{N}$, by Theorem \ref{thm3.1}
the conclusion follows.
\end{proof}


\begin{remark}\label{rem3.5}\rm
Theorem \ref{thm1.1}  immediately follows from
Corollary \ref{cor3.3}.
\end{remark}

A special case of Corollary \ref{cor3.3} is the following.

\begin{corollary}\label{cor3.4}
Assume that
\begin{itemize}
\item[(H6)] $ A_\infty<\frac{1}{pc_B^p|\alpha|_1}$ and
$ B^\infty>\frac{l^p}{pc_B^p\alpha_0}$.
\end{itemize}
Then, problem \eqref{e1.1} with $\lambda=1$ admits an unbounded sequence 
of non-negative solutions in $E$.
\end{corollary}

The next result is a consequence of Theorem \ref{thm3.1} and
guarantees the existence of infinitely many solutions to
\eqref{e1.1} for each $\lambda$ which lies in a precise half-line.

\begin{corollary}\label{cor3.5}
Assume that there exist two sequences $\{a_n\}$ and $\{b_n\}$ in
$]0,+\infty[$, with $\lim_{n\to +\infty}b_n=+\infty$, such that {\rm(H1)}
holds and
\begin{itemize}
\item[(H7)] $\alpha_0G(a_n)=|\alpha|_1G(b_n)$ for each $n\in \mathbb{N}$.
\end{itemize}
If $B^\infty>0$, then, for each
$$
\lambda>\frac{l^p}{pc_B^p\alpha_0|B^\infty},
$$
problem \eqref{e1.1} admits an unbounded sequence of non-negative
solutions in $E$.
\end{corollary}

\begin{proof}
By (H7) we obtain $\mathcal{A}_\infty=0$. Hence, since
$B^\infty>0$, condition (H2) of Theorem \ref{thm3.1} holds and
the proof is complete.
\end{proof}

\begin{remark}\label{rem3.6}\rm
From Theorem \ref{thm3.2} we obtain the same consequences of Theorem
\ref{thm3.1}. Namely, substituting $\xi\to +\infty$ with
$\xi\to 0^+$, statements such as Corollaries \ref{cor3.3},
\ref{cor3.4} and \ref{cor3.5} can be established.
\end{remark}

Next we present an example  which is an application of
Corollary \ref{cor3.3}.

\begin{example}\label{exa3.7}\rm
Put
$$
a_n:=\frac{2n!(n+2)!-1}{4(n+1)!},\quad
b_n:=\frac{2n!(n+2)!+1}{4(n+1)!}.
$$
for every $n\in\mathbb{N}$, and define the non-negative continuous
function $g:\mathbb{R}\to\mathbb{R}$ by
$$
g(\xi):=\begin{cases}
\frac{32(n+1)!^2[(n+1)!^2-n!^2]}{\pi}\sqrt{\frac{1}{16(n+1)!^2}
-\big(\xi-\frac{n!(n+2)}{2}\big)^2},
& \text{ if } \xi\in\cup_{n\in\mathbb{N}}[a_n,b_n],\\
0, &  \text{otherwise}.
\end{cases}
$$
One has
$$
\int_{n!}^{(n+1)!}g(t)dt = \int_{a_n}^{b_n}g(t)dt =  (n+1)!^2-n!^2
$$
for every $n\in\mathbb{N}$. Then, one has
$$
\lim_{n\to +\infty}\frac{G(a_n)}{a_n^2}=0 \quad
\text{and} \quad \lim_{n\to +\infty} \frac{G(b_n)}{b_n^2}=4.
$$
Therefore, by a simple computation, we obtain
$$
\liminf_{\xi\to +\infty}\frac{G(\xi)}{\xi^2}=0 \quad
\text{and} \quad \limsup_{\xi\to +\infty}
\frac{G(\xi)}{\xi^2}=4.
$$
Also, let $\alpha(x):=1/(1+x^2)$ for all $x\in\mathbb{R}$. Then,
$\alpha$ is a non-negative continuous function with
$$
\alpha_0=\frac{\pi}{2}\quad\text{and} \quad|\alpha|_1=\pi.
$$
We have
$$
0=\liminf_{\xi\to +\infty}\frac{G(\xi)}{\xi^2}<
\frac{\alpha_0}{|\alpha|_1l^2}\limsup_{\xi\to
+\infty} \frac{G(\xi)}{\xi^2}=\frac{24}{61}.
$$
So, from Corollary \ref{cor3.3}, for each $\lambda>61/(24\pi)$, the
problem
\begin{gather*}
-u''+u=\lambda\frac{g(u)}{1+x^2}, \quad x\in \mathbb{R},\\
u(-\infty)=u(+\infty)=0,
\end{gather*}
admits an unbounded sequence of non-negative classical solutions in
$W^{1,2}(\mathbb{R})$. In particular, since $1>61/(24\pi)$, the problem
\begin{gather*}
-u''+u=\frac{g(u)}{1+x^2}, \quad x\in \mathbb{R},\\
u(-\infty)=u(+\infty)=0,
\end{gather*}
admits an unbounded sequence of non-negative classical solutions.
\end{example}

\subsection*{Acknowledgements} This research work has been
supported by a research grant from Islamic Azad University-Ayatollah
Amoli Branch.

\begin{thebibliography}{99}

\bibitem{AO1} R. P. Agarwal, D. O'Regan;
{Singular problems on the infinite interval modelling phenomena in
draining flows}, {\it IMA J. Appl. Math.}, \textbf{66} (2001), 621--635.

\bibitem{AO4} R. P. Agarwal, D. O'Regan;
{Infinite interval problems arising in non-linear mechanics and
non-Newtonian fluid flows}, {\it Int. J. Nonlin. Mech.} \textbf{38}
(2003), 1369--1376.

\bibitem{AO5} R. P. Agarwal, D. O'Regan;
{An infinite interval problem arising in circularly symmetric
deformations of shallow membrane caps}, {\it Int. J. Nonlin. Mech.}
\textbf{39} (2004), 779--784.

\bibitem{Bonanno} G. Bonanno;
{A critical point theorem via the Ekeland variational principle},
{\it Nonlinear Anal.} \textbf{75} (2012), 2992--3007.

\bibitem{BBO} G. Bonanno, G. Barletta, D. O'Regan;
{A variational approach to multiplicity results for boundary-value
problems on the real line}, {\it Proc. Roy. Soc. Edinburgh Sect. A}
\textbf{145} (2015), 13--29.

\bibitem{BMR} G. Bonanno, G. Molica Biscia, V. R\u{a}dulescu;
{Infinitely many solutions for a class of nonlinear eigenvalue
problem in Orlicz-Sobolev spaces}, {\it C. R. Math. Acad. Sci.
Paris} \textbf{349} (2011), 263--268.

\bibitem{BO} G. Bonanno, D. O'Regan;
{A boundary value problem on the half-line via critical point
methods}, {\it Dynam. Systems Appl.} \textbf{15} (2006), 395--408.

\bibitem{CM} P. Candito, G. Molica Bisci;
{Radially symmetric weak solutions for elliptic problems in ${\mathbb{R}}^N$}, 
{\it Differential Integral Equations} \textbf{26} (2013), 1009--1026.

\bibitem{C} S. Chandrasekhar;
{\it An Introduction to the Study of Stellar Structure}, {Dover, New
York, NY, USA}, 1957.

\bibitem{CK} E. B. Choi, Y.-H. Kim;
{Three solutions for equations involving nonhomogeneous operators of
$p$-Laplace type in ${\mathbb{R}}^N$}, {\it J. Inequal. Appl.} \textbf{427}
(2014), 1--15.

\bibitem{Da} H. T. Davis;
{\it Introduction to Nonlinear Differential and Integral Equations},
{Dover, New York, NY, USA}, 1962.

\bibitem{D1} R. W. Dickey;
{Membrane caps under hydrostatic pressure}, {\it Quart. Appl. Math.}
\textbf{46} (1988), 95--104.

\bibitem{D2} R. W. Dickey;
{Rotationally symmetric solutions for shallow membrane caps}, {\it
Quart. Appl. Math.} \textbf{47} (1989), 571--581.

\bibitem{Fl} G. R. Flierl;
{Baroclinic solitary waves with radial symmetry}, {\it Dynam. Atmos.
Oceans} \textbf{183} (1979), 15--38.

\bibitem{GR} F. Gazzola, V. R\u{a}dulescu;
{A nonsmooth critical point theory approach to some nonlinear
elliptic equations in ${\mathbb{R}}^N$}, {\it Differential Integral
Equations} \textbf{13} (2000), 47--60.

\bibitem{G} M. Gregu\v{s};
{On a special boundary value problem}, {\it Acta Math.} \textbf{40}
(1982), 161--168.

\bibitem{HW} I. Hashim, S. K. Wilson;
{The onset of oscillatory Marangoni convection in a semi-infinitely
deep layer of fluid}, {\it Z. Angew. Math. Phys.} \textbf{50} (1999),
546--558.

\bibitem{HGS} S. Heidarkhani, F. Gharehgazlouei, A. Solimaninia;
{Existence of infinitely many symmetric solutions to perturbed
elliptic equations with discontinuous nonlinearities in ${\mathbb{R}}^N$}, {\it Electron. J. Differential Equations} \textbf{123} (2015),
1--17.

\bibitem{Ki} R. E. Kidder;
{Unsteady flow of gas through a semi-infinite porous medium}, {\it
J. Appl. Mech.} \textbf{24} (1957), 329--332.

\bibitem{KRV} A. Krist\'{a}ly, V. R\u{a}dulescu, Cs. Varga;
{\it Variational Principles in Mathematical Physics, Geometry, and
Economics: Qualitative Analysis of Nonlinear Equations and
Unilateral Problems}, {Encyclopedia of Mathematics and its
Applications, No.~\textbf{136}, Cambridge University Press,
Cambridge}, 2010.

\bibitem{L} Y. Li;
{Multiple solutions for perturbed $p$-Laplacian problems on ${\mathbb{R}}^N$},
 {\it Electron. J. Differential Equations} \textbf{23} (2015),
1--9.

\bibitem{LAT} C. Li, R. P. Agarwal and C.-L. Tang;
{Infinitely many periodic solutions for ordinary $p$-Laplacian
systems}, {\it  Adv. Nonlinear Anal.} \textbf{4} (2015), 251--261.

\bibitem{MR} G. Molica Bisci, V. R\u{a}dulescu;
{Bifurcation analysis of a singular elliptic problem modelling the
equilibrium of anisotropic continuous media}, {\it Topol. Methods
Nonlinear Anal.} \textbf{45} (2015), 493--508.

\bibitem{MRE} G. Molica Bisci, D.  Repov\v{s};
{Algebraic systems with Lipschitz perturbations}, {\it J. Elliptic
Parabol. Equ.} \textbf{1} (2015), 189--199.

\bibitem{N} T. Y. Na;
{\it Computational Methods in Engineering Boundary Value Problems},
{Academic Press, New York, NY, USA}, 1979.

\bibitem{P} V. I. Petviashvili;
{Red spot of Jupiter and the drift soliton in a plasma}, {\it Jetp
Lett.} \textbf{32} (1981), 619--622.

\bibitem{pucser1}  P. Pucci, J. Serrin;
{Extensions of the mountain pass theorem}, {\it J. Funct. Anal.}
\textbf{59} (1984), 185--210.

\bibitem{pucser2}  P. Pucci, J. Serrin;
{A mountain pass theorem}, {\it J. Differential Equations} \textbf{60}
(1985), 142--149.

\bibitem{Re} D. Repov\v{s};
{Stationary waves of Schr\"{o}dinger-type equations with variable
exponent}, {\it Anal. Appl. (Singap.)} \textbf{13} (2015), 645--661.

\bibitem{Ricceri1} B. Ricceri;
{A general variational principle and some of its applications}, {\it
J. Comput. Appl. Math.} \textbf{113} (2000), 401--410.

\bibitem{R} O. U. Richardson;
{\it The Emission of Electricity from Hot Bodies}, {London, UK}, 1921.

\bibitem{ZL} G. Zhang, S. Liu;
{Three symmetric solutions for a class of elliptic equations
involving the $p$-Laplacian with discontinuous nonlinearities in
${\mathbb{R}}^N$}, {\it Nonlinear Anal.} \textbf{67} (2007), 2232--2239.

\end{thebibliography}

\end{document}
