Existence of positive solutions to elliptic problems involving the fractional Laplacian

Bin Ge; Chao Zhang

doi:10.1186/s13661-015-0501-7

Research
Open Access

Existence of positive solutions to elliptic problems involving the fractional Laplacian

Bin Ge¹Email author and
Chao Zhang²

Boundary Value Problems20152015:235

https://doi.org/10.1186/s13661-015-0501-7

Received: 14 June 2015

Accepted: 30 November 2015

Published: 12 December 2015

Abstract

This paper focuses on the following elliptic problem involving a fractional Laplacian:

$$(-\Delta)^{\alpha}u+V(x)u=f(u) \quad \text{in } \mathbb{R}^{N}, $$

where $N\geq2$, $\alpha\in(0,1)$, $(-\Delta)^{\alpha}$ stands for the fractional Laplacian. Using some variational methods, we obtain the existence of positive solutions without compactness conditions.

Keywords

fractional-Laplacian
variational method
positive solutions
Pohozaev type identity

MSC

34A08
35A15
58E30

1 Introduction

In this paper, we consider the existence of positive solutions to the following fractional Schrödinger equation:

$$ (-\Delta)^{\alpha}u+V(x)u=f(u) \quad \text{in } \mathbb{R}^{N}, $$

(P)

where $N\geq2$, $\alpha\in(0,1)$, $(-\Delta)^{\alpha}$ stands for the fractional Laplacian, $f\in C(\mathbb{R}_{+},\mathbb{R}_{+})$. The fractional Laplacian $(-\Delta)^{\alpha}$ with $\alpha\in(0,1)$ of a function $\phi\in \mathcal{S}$ is defined by

$$\mathcal{F}\bigl(\bigl((-\Delta)^{\alpha}\bigr)\phi\bigr) (\xi)=| \xi|^{2\alpha}\mathcal {F}(\phi) (\xi),\quad \forall\alpha\in(0,1), $$

where $\mathcal{S}$ denotes the Schwartz space of rapidly decreasing $C^{\infty}$ functions in $\mathbb{R}^{N}$, $\mathcal{F}$ is the Fourier transform, i.e.,

$$\mathcal {F}(\phi) (\xi)=\frac{1}{(2\pi)^{N/2}} \int_{\mathbb{R}^{N}}e^{-2\pi i\xi\cdot x}\phi(x)\, dx. $$

In the past few years, there have been research activities (see [1–6], etc.) on the study of existence and multiplicity of solutions for such kind of problems (P). Here we just mention some results related to our problems.

For the case $V\equiv1$, the authors in [5] studied the existence of positive solutions of (P) when f has subcritical growth and satisfies the Ambrosetti-Rabinowitz condition.
For the case $V\equiv0$, Chang and Wang in [3] obtained the existence of a positive ground state under the general Berestycki-Lions type assumptions.
Moreover, for the general potential V, which is allowed to vary, ground states were found by imposing a coercivity assumption on V, i.e.,
$$\lim_{|x|\rightarrow+\infty}V(x)=+\infty. $$

We refer the readers to [4, 6] for details. Recently, when the potential V satisfies the conditions $H(V)$(1) and $H(V)$(3), Chang in [2] proved the existence of ground state solutions under the assumption that $f(u)$ is asymptotically linear with respect to u.

Inspired by the above-mentioned papers, we are concerned with the existence of positive solutions of (P). The novelties in this paper are mainly two parts. First, we just assume that the nonlinear term $f(u)$ is superlinear with respect to u at infinity instead of the asymptotically linear condition or Ambrosetti-Rabinowitz condition, which is completely different from those appearing in the literature. To compensate the lack of compactness, we employ the Pohozaev identity to obtain the boundedness of Palais-Smale sequence. Second, it is worth mentioning that in the present paper we consider the existence of non-radial positive solutions of (P). We have to prove a new compact embedding theorem by virtue of some assumptions imposed on the potential V.

Throughout this paper, we assume:

$H(V)$::

(1)

$V\in C^{1}(\mathbb{R}^{N},\mathbb{R}^{N})$, $V_{0}:=\inf_{x\in\mathbb{R}^{N}}V(x)>0$.
(2)

$\langle\nabla V(x),x\rangle\in L^{\frac{N}{2\alpha}}(\mathbb{R}^{N})$ and
$$\bigl\vert \bigl\langle \nabla V(x),x\bigr\rangle \bigr\vert _{L^{\frac{N}{2\alpha}}(\mathbb{R}^{N})}< 2 \alpha S_{\alpha}, $$
where $S_{\alpha}$ is the best Sobolev constant of the embedding $\dot{H}^{\alpha}(\mathbb{R}^{N})\hookrightarrow L^{2_{\alpha}^{*}}(\mathbb{R}^{N})$, i.e., $S_{\alpha}=\inf_{u\in \dot{H}^{\alpha}(\mathbb{R}^{N})} \frac{\int_{\mathbb{R}^{N}}|(-\Delta)^{\frac{\alpha }{2}}u|^{2}\, dx}{|u|^{2}_{2_{\alpha}^{*}}} $ (see [7]).
(3)

There exists $r>0$ such that, for any $b>0$,
$$\lim_{|y|\rightarrow\infty}\mu\bigl(\bigl\{ x\in\mathbb{R}^{N}:V(x) \leq b\bigr\} \cap B_{r}(y)\bigr)=0, $$
where μ is the Lebesgue measure on $\mathbb{R}^{N}$.

$H(f)$::

(1)

$f:\mathbb{R}_{+}\rightarrow\mathbb{R}_{+}$ is of class $C^{1,\gamma}$ for some $\gamma>\max\{0,1-2\alpha\}$.
(2)

$|f(u)|\leq C(|u|+|u|^{p-1})$ for all $u\in \mathbb{R}_{+}=[0,+\infty)$ and $p\in(2,2_{\alpha}^{*})$, where $2_{\alpha}^{*}=\frac{2N}{N-2\alpha}$ for $N\geq2$.
(3)

$\lim_{u\rightarrow0}\frac{f(u)}{u}=0$.
(4)

$\lim_{u\rightarrow \infty}\frac{f(u)}{u}=\infty$.

Next, we state our main result.

Theorem 1

Assume that $H(V)$ and $H(f)$ hold. Then problem (P) has at least one positive solution.

The rest of this paper is organized as follows. In Section 2, we state and prove some preliminary results which will be used later. We will finish the proof of our main result (Theorem 1) in Section 3.

2 Preliminary

In this section we recall some results on Sobolev spaces of fractional order. A very complete introduction to fractional Sobolev spaces can be found in [8].

Consider the fractional order Sobolev space

$$H^{\alpha}\bigl(\mathbb{R}^{N}\bigr)= \biggl\{ u\in L^{2}\bigl(\mathbb{R}^{N}\bigr): \int_{\mathbb {R}^{N}} \bigl(|\xi|^{2\alpha}\hat{u}^{2}+ \hat{u}^{2} \bigr)\, d\xi< +\infty \biggr\} , $$

where $\hat{u}\doteq\mathcal{F}(u)$. The norm is defined by

$$\|u\|_{H^{\alpha}(\mathbb{R}^{N})}= \biggl( \int_{\mathbb{R}^{N}}\bigl(|\xi|^{2\alpha}\hat{u}^{2}+ \hat{u}^{2}\bigr)\, d\xi \biggr)^{\frac{1}{2}}. $$

The homogeneous fractional Sobolev space $D^{\alpha,2}(\mathbb{R}^{N})$, also denoted by $\dot{H}^{\alpha}(\mathbb{R}^{N})$, is defined as the completion of $C_{0}^{\infty}(\mathbb{R}^{N})$ with respect to the norm

$$\|u\|_{\dot{H}^{\alpha}(\mathbb{R}^{N})}= \biggl( \int_{\mathbb{R}^{N}}|\xi|^{2\alpha}\hat{u}^{2}\, d\xi \biggr)^{\frac {1}{2}}= \biggl( \int_{\mathbb{R}^{N}}\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u(x)\bigr\vert ^{2}\, dx \biggr)^{\frac{1}{2}}. $$

In this paper we consider its subspace:

$$E= \biggl\{ u\in\dot{H}^{\alpha}\bigl(\mathbb{R}^{N}\bigr): \int_{\mathbb {R}^{N}}V(x)u^{2}\, dx< +\infty \biggr\} $$

with the norm

$$\|u\|_{E}= \biggl( \int_{\mathbb{R}^{N}}\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u(x)\bigr\vert ^{2}\, dx + \int_{\mathbb{R}^{N}}V(x)u^{2}\, dx \biggr)^{\frac{1}{2}}. $$

Lemma 1

([5])

$H^{\alpha}(\mathbb{R}^{N})$ continuously embedded into $L^{p}(\mathbb{R}^{N})$ for $p\in[2,2_{\alpha}^{*}]$, and compactly embedded into $L_{\mathrm{loc}}^{p}(\mathbb{R}^{N})$ for $p\in[2,2_{\alpha}^{*})$.

Using the above lemma, we can obtain the following result.

Theorem 2

Assume that $H(V)$(1) and $H(V)$(3) hold. Then:

(i)

we have a compact embedding $E\hookrightarrow L^{2}(\mathbb{R}^{N})$;
(ii)

for any $p\in(2,2_{\alpha}^{*})$, we have a compact embedding $E\hookrightarrow L^{p}(\mathbb{R}^{N})$.

Proof

(i) Assume $u_{n}\rightharpoonup0$ in E, and $\|u_{n}\|_{E}\leq c_{1}$. We need to show $u_{n}\rightarrow0$ in $L^{2}(\mathbb{R}^{N})$. By Lemma 1, we have $u_{n}\rightarrow0$ in $L_{\mathrm{loc}}^{2}(\mathbb{R}^{N})$. It suffices to show that for every $\varepsilon>0$, there exists $R>0$ such that

$$\int_{B_{R}^{c}}|u_{n}|^{2}\, dx\leq\varepsilon \quad \mbox{for all } n=1,2,\ldots, $$

where $B_{R}=\{x\in\mathbb{R}^{N}: |x|< R\}$, $B_{R}^{c}=\{x\in \mathbb{R}^{N}: |x|\geq R\}$.

First of all, choose $\{y_{i}\}\subset\mathbb{R}^{N}$ such that $\mathbb{R}^{N}\subset\bigcup_{i=1}^{\infty}B_{r}(y_{i})$ and each $x\in\mathbb{R}^{N}$ is covered by at most $2^{N}$ such balls. So

$$\begin{aligned} \begin{aligned} \int_{B_{R}^{c}}|u_{n}|^{2}\, dx&\leq\sum _{|y_{i}|\geq R-r} \int _{B_{r}(y_{i})}|u_{n}|^{2}\, dx \\ &=\sum_{|y_{i}|\geq R-r} \biggl[ \int_{B_{r}(y_{i})\cap\{x\in\mathbb{R}^{N}:V(x)>b\}}|u_{n}|^{2}\, dx+ \int _{A_{b}(y_{i})}|u_{n}|^{2}\, dx \biggr], \end{aligned} \end{aligned}$$

where $A_{b}(y_{i})=B_{r}(y_{i})\cap\{x\in\mathbb{R}^{N}:V(x)\leq b\}$.

On the one hand,

$$\int_{B_{r}(y_{i})\cap\{x\in\mathbb{R}^{N}:V(x)>b\}}|u_{n}|^{2}\, dx\leq \frac {1}{b} \int_{B_{r}(y_{i})}V(x)|u_{n}|^{2}\, dx, $$

where $B_{r}(y)=\{x\in\mathbb{R}^{N}:|x-y|< r\}$.

On the other hand, since Sobolev embedding $E\hookrightarrow H^{\alpha}(\mathbb{R}^{N})\hookrightarrow L^{2_{\alpha}^{*}}(\mathbb{R}^{N})$ is continuous, there is a constant $c_{2}>0$ such that

$$|u_{n}|_{2_{\alpha}^{*}}\leq c_{2}\|u_{n} \|_{E}\leq c_{1}c_{2}. $$

Applying the Hölder inequality, we get

$$\begin{aligned} \int_{A_{b}(y_{i})}|u_{n}|^{2}\,dx \leq& \biggl( \int_{A_{b}(y_{i})}|u_{n}|^{\frac {2N}{N-2\alpha} }\,dx \biggr)^{\frac{N-2\alpha}{N}} \biggl( \int_{A_{b}(y_{i})}1^{\frac{N}{2\alpha}}\,dx \biggr)^{\frac{2\alpha}{N}} \\ \leq& \biggl( \int_{A_{b}(y_{i})}|u_{n}|^{\frac{2N}{N-2\alpha} }\,dx \biggr)^{\frac{N-2\alpha}{N}}\sup_{|y_{i}|\geq R-r}\bigl[\mu\bigl(A_{b}(y_{i}) \bigr)\bigr]^{\frac{2\alpha}{N}}. \end{aligned}$$

Hence,

$$\begin{aligned} \int_{B_{R}^{c}}|u_{n}|^{2}\,dx \leq&\sum _{|y_{i}|\geq R-r} \biggl[\frac{1}{b} \int_{B_{r}(y_{i})}V(x)|u_{n}|^{2}\,dx \\ &{}+ \biggl( \int_{A_{b}(y_{i})}|u_{n}|^{\frac{2N}{N-2\alpha} }\,dx \biggr)^{\frac{N-2\alpha}{N}}\sup_{|y_{i}|\geq R-r} \bigl[\mu\bigl(A_{b}(y_{i}) \bigr) \bigr]^{\frac{2\alpha}{N}} \biggr] \\ \leq&\frac{2^{N}}{b} \int_{B_{R-2r}^{c}}V(x)|u_{n}|^{2}\,dx \\ &{}+ \biggl(2^{N} \int_{B_{R-2r}^{c}}|u_{n}|^{\frac{2N}{N-2\alpha} }\,dx \biggr)^{\frac{N-2\alpha}{N}}\sup_{|y_{i}|\geq R-r} \bigl[\mu\bigl(A_{b}(y_{i}) \bigr) \bigr]^{\frac{2\alpha}{N}} \\ \leq&\frac{2^{N}}{b} \int_{\mathbb{R}^{N}}V(x)|u_{n}|^{2}\,dx \\ &{}+2^{N-2\alpha} \biggl( \int_{\mathbb{R}^{N}}|u_{n}|^{\frac{2N}{N-2\alpha }}\,dx \biggr)^{\frac{N-2\alpha}{N}}\sup_{|y|\geq R-r} \bigl[\mu\bigl(A_{b}(y) \bigr) \bigr]^{\frac{2\alpha}{N}} \\ \leq&\frac{2^{N}}{b} \int_{\mathbb{R}^{N}} \bigl(\bigl\vert (-\Delta)^{\frac{\alpha}{2}} u_{n}\bigr\vert ^{2}+V(x)|u_{n}|^{2} \bigr)\,dx \\ &{}+2^{N-2\alpha} |u_{n}|^{2}_{2_{\alpha}^{*}} \sup _{|y|\geq R-r} \bigl[\mu\bigl(A_{b}(y)\bigr) \bigr]^{\frac{2\alpha}{N}} \\ \leq&\frac{2^{N}}{b} \|u_{n}\|_{E}^{2}+2^{N-2\alpha}c_{2}^{2} \|u_{n}\|^{2}_{E} \sup_{|y|\geq R-r} \bigl[\mu\bigl(A_{b}(y)\bigr) \bigr]^{\frac{2\alpha}{N}} \\ \leq&\frac{2^{N}}{b}c_{1}^{2} +2^{N-2\alpha}c_{2}^{2} c_{1}^{2} \sup_{|y|\geq R-r} \bigl[\mu \bigl(A_{b}(y)\bigr) \bigr]^{\frac{2\alpha}{N}}. \end{aligned}$$

Now, choose $b>0$ such that

$$ \frac{2^{N}}{b}c_{1}^{2}< \frac{\varepsilon}{2}. $$

(1)

For such a fixed $b>0$, since

$$\sup_{|y|\geq R-r} \bigl[\mu\bigl(A_{b}(y)\bigr) \bigr]^{\frac{2\alpha}{N}}\rightarrow 0 \quad \mbox{as } R\rightarrow+\infty, $$

there exists $R>0$ large enough such that

$$ \sup_{|y|\geq R-r} \bigl[\mu\bigl(A_{b}(y) \bigr) \bigr]^{\frac{2\alpha}{N}}\leq \frac{\varepsilon}{2^{N-2\alpha+1}c_{2}^{2} c_{1}^{2}}. $$

(2)

It follows from (1) and (2) that

$$ \int_{B_{R}^{c}}|u_{n}|^{2}\,dx\leq\varepsilon, $$

from which conclusion (i) of the lemma follows.

(ii) To prove the lemma for general exponent $p\in(2,2_{\alpha}^{*})$, we use an interpolation argument. Let $u_{n}\rightharpoonup0$ in E, we have just proved that $u_{n}\rightarrow0$ in $L^{2}(\mathbb{R}^{N})$.

Moreover, since the embedding $E\hookrightarrow L^{2_{\alpha}^{*}}(\mathbb{R}^{N})$ is continuous and $\{u_{n}\}$ is bounded in E, we also have $\sup_{n}\int_{\mathbb{R}^{N}}|u_{n}|^{2_{\alpha}^{*}}\,dx<+\infty$.

Since $2< p< 2_{\alpha}^{*}$, there exists $\lambda\in(0,1)$ such that

$$\frac{1}{p}=\frac{\lambda}{2}+\frac{1-\lambda}{2_{\alpha}^{*}}. $$

Then we have

$$s=\frac{2}{p\lambda}>1 \quad \mbox{and}\quad t=\frac{2_{\alpha}^{*}}{p(1-\lambda)}>1. $$

Using Hölder’s inequality, we deduce that

$$\begin{aligned} \int_{\mathbb{R}^{N}}|u_{n}|^{p}\,dx =& \int_{\mathbb{R}^{N}}|u_{n}|^{\frac {2}{s}}|u_{n}|^{\frac{2_{\alpha}^{*}}{t}} \,dx \\ \leq& \bigl\vert \vert u_{n}\vert ^{\frac{2}{s}}\bigr\vert _{s} \bigl\vert \vert u_{n}\vert ^{\frac{2_{\alpha}^{*}}{t}}\bigr\vert _{t} \\ =&|u_{n}|_{2}^{\frac{2}{s}}|u_{n}|_{2_{\alpha}^{*}}^{\frac{2_{\alpha}^{*}}{t}} \rightarrow 0 \quad \mbox{as } n\rightarrow+\infty. \end{aligned}$$

This implies $u_{n}\rightarrow0$ in $L^{p}(\mathbb{R}^{N})$, and the proof of conclusion (ii) is completed. □

Next, we state the following version of the Pohozaev identity, which will be used to obtain the boundedness of $\|u_{n}\|_{E}$. Similar results can be found in [3, 8–10]. Its proof is a mixture of many ingredients that are scattered through the literature. We refer the readers to Proposition 4.1 in [10] (see also Proposition 4.1 in [3] for the case that $V(x)\equiv0$) for the details.

Lemma 2

Let $N\geq2$. Assume that $H(f)$(1) and $H(f)$(2) hold. If $u\in E$ is a weak solution of (P), then the following Pohozaev type identity holds:

$$\begin{aligned}& \frac{N-2\alpha}{2} \int_{\mathbb{R}^{N}}\bigl\vert (-\Delta)^{\frac{\alpha }{2}}u\bigr\vert ^{2}\,dx+ \frac{N}{2} \int_{\mathbb{R}^{N}}V(x)|u|^{2}\,dx +\frac{1}{2} \int_{\mathbb{R}^{N}}\bigl\langle \nabla V(x),x\bigr\rangle \bigl\vert u(x) \bigr\vert ^{2}\,dx \\& \quad =N \int_{\mathbb{R}^{N}}F\bigl(u(x)\bigr)\,dx. \end{aligned}$$

Remark 1

We would like to mention that the regularity condition $H(f)$(1) is necessary to prove the Pohozaev identity. The smoothness of f will only be used here.

In order to discuss the problem (P), we need to define a functional in E:

$$ \varphi(u)=\frac{1}{2} \int_{\mathbb{R}^{N}} \bigl(\bigl\vert (-\Delta)^{\frac{\alpha }{2}}u(x)\bigr\vert ^{2}+V(x)\bigl\vert u(x)\bigr\vert ^{2} \bigr) \,dx - \int_{\mathbb{R}^{N}}F\bigl(u(x)\bigr)\,dx, \quad \forall u\in E. $$

Then we see from $H(f)$(1) and $H(f)$(2) that φ is well defined on E and is of $C^{1}$, and

$$ \bigl\langle \varphi'(u),v\bigr\rangle = \int_{\mathbb{R}^{N}} \bigl((-\Delta)^{\frac {\alpha}{2}}u(- \Delta)^{\frac{\alpha}{2}}v +V(x)uv \bigr)\,dx- \int_{\mathbb{R}^{N}}f(u)v \,dx, \quad \forall u,v\in E. $$

It is standard to verify that the weak solutions of (P) correspond to the critical points of the functional φ.

Next we recall a monotonicity method due to Struwe [11] and Jeanjean [12], which will be used in our proof. The version here is from [12].

Theorem 3

Let $(X,\|\cdot\|)$ be a Banach space and $I\subset\mathbb{R}_{+}$ an interval. Consider the family of $C^{1}$ functionals on X,

$$\varphi_{\lambda}(u)=A(u)-\lambda B(u), \quad \lambda\in I, $$

with B nonnegative and either $A(u)\rightarrow\infty$ or $B(u)\rightarrow\infty$ as $\|u\|\rightarrow\infty$ and such that $\varphi_{\lambda}(0)=0$.

For any $\lambda\in I$ we set $\mathcal{T}_{\lambda}=\{\gamma\in C([0,1],X):\gamma(0)=0, \varphi_{\lambda}(\gamma(1))<0\}$.

If for every $\lambda\in I$ the set $\mathcal{T}_{\lambda}$ is nonempty and

$$c_{\lambda}=\inf_{\gamma\in\mathcal {T}_{\lambda}}\max_{t\in[0,1]} \varphi_{\lambda}\bigl(\gamma(t)\bigr)>0, $$

then for almost every $\lambda\in I$ there is a sequence $\{u_{n}\}\subset X$ such that:

(1)

$\{u_{n}\}$ is bounded;
(2)

$\varphi_{\lambda}(u_{n})\rightarrow c_{\lambda}$ as $n\rightarrow\infty$;
(3)

$\varphi'_{\lambda}(u_{n})\rightarrow0$ as $n\rightarrow\infty$, in the dual space $X^{-1}$ of X.

In our case, $X=E$,

$$ A(u)=\frac{1}{2} \int_{\mathbb{R}^{N}} \bigl(\bigl|(-\Delta)^{\frac{\alpha}{2}}u\bigr|^{2} +V(x)u^{2} \bigr)\,dx \quad \mbox{and}\quad B(u)= \int_{\mathbb{R}^{N}}F(u) \,dx. $$

3 Some lemmas and proof of main result

In this section, to overcome the lack of compactness, we need to consider the functional $\varphi_{\lambda}$ in the functions space E. We shall prove that $\varphi_{\lambda}$ satisfies the conditions of Theorem 3 in the next several lemmas.

Lemma 3

Let $\mathcal{T}_{\lambda}$ be the set of paths defined in Theorem 3. Then $\mathcal{T}_{\lambda}\neq\emptyset$ for $\lambda\in I=[\delta,1]$, where $\delta\in(0,1)$ is a positive constant.

Proof

We choose $\eta\in C_{0}^{\infty}(\mathbb{R}^{N})$ with $\|\eta\|_{E}=1$ and $\sup\eta\subset B_{r}(0)$ for some $r>0$. From $H(f)$(4), we know that for any $c_{3}>0$ with $c_{3}\delta\int_{B_{r}(0)}\eta^{2}\,dx> 1/2$, there exists $c_{4}>0$ such that

$$ F(u)\geq c_{3}|u|^{2}-c_{4},\quad u\in\mathbb{R}_{+}. $$

(3)

Then we have

$$\begin{aligned} \varphi_{\lambda}(t\eta) =&\frac{t^{2}}{2} \int_{\mathbb{R}^{N}} \bigl(\bigl\vert (-\Delta )^{\frac{\alpha}{2}}\eta\bigr\vert ^{2} +V(x)\eta^{2} \bigr)\,dx-\lambda \int_{\mathbb{R}^{N}}F(t\eta) \,dx \\ =& \frac{t^{2}}{2}-\lambda \int_{\mathbb{R}^{N}}F(t\eta) \,dx \\ \leq& \frac{t^{2}}{2}-\delta c_{3}t^{2} \int_{B_{r}(0)}\eta^{2}\,dx+c_{4}\bigl\vert B_{r}(0)\bigr\vert \\ =& t^{2} \biggl(\frac{1}{2}-\delta c_{3} \int_{B_{r}(0)}\eta^{2}\,dx \biggr)+c_{4}\bigl\vert B_{r}(0)\bigr\vert . \end{aligned}$$

Therefore, we can choose $t>0$ large such that $\varphi_{\lambda}(t\eta)<0$. The proof is completed. □

Lemma 4

Let $c_{\lambda}$ be the set of paths defined in Theorem 3. Then there exists a constant $\overline{c}>0$ such that $c_{\lambda}\geq\overline{c}$ for $\lambda\in[\delta,1]$.

Proof

By $H(f)$(2) and $H(f)$(3), for any $\varepsilon\in(0, 1/2)$, there exists $c_{\varepsilon}>0$ such that

$$ \bigl\vert F(u)\bigr\vert \leq\frac{\varepsilon V_{0}}{2}|u|^{2}+c_{\varepsilon}|u|^{p}, \quad u\in\mathbb{R}_{+}. $$

(4)

Furthermore, by Theorem 2, we have $E\hookrightarrow L^{p}(\mathbb{R}^{N})$ compactly. Then there exists $c_{5}>0$ such that $|u|_{p}\leq c_{5}\|u\|_{E}$. Hence, for any $u\in E$ and $\lambda\in [\delta,1]$, using (4) it follows that

$$\begin{aligned} \varphi_{\lambda}(u) =&\frac{1}{2} \int_{\mathbb{R}^{N}} \bigl(\bigl\vert (-\Delta)^{\frac {\alpha}{2}}u\bigr\vert ^{2} +V(x)u^{2} \bigr)\,dx-\lambda \int_{\mathbb{R}^{N}}F(u) \,dx \\ \geq& \frac{1}{2}\|u\|_{E}^{2}- \int_{\mathbb{R}^{N}} \biggl( \frac{\varepsilon V_{0}}{2}|u|^{2}+c_{\varepsilon}|u|^{p} \biggr)\,dx \\ \geq& \frac{1}{2}\|u\|_{E}^{2}- \frac{\varepsilon}{2} \int_{\mathbb{R}^{N}} V(x)|u|^{2}\,dx-c_{\varepsilon}\int_{\mathbb{R}^{N}}|u|^{p}\,dx \\ \geq& \frac{1}{2}\|u\|_{E}^{2}- \frac{\varepsilon}{2} \int_{\mathbb{R}^{N}} \bigl( \bigl\vert (-\Delta)^{\frac{\alpha}{2}}u\bigr\vert ^{2}+V(x)|u|^{2} \bigr)\,dx-c_{\varepsilon}\int _{\mathbb{R}^{N}}|u|^{p}\,dx \\ \geq& \frac{1}{4}\|u\|_{E}^{2}-c_{\varepsilon}|u|_{p}^{p} \\ \geq& \frac{1}{4}\|u\|_{E}^{2}-c_{\varepsilon}c_{5}^{p}\|u\|_{E}^{p}, \end{aligned}$$

which implies that there exists $\rho>0$ such that $\varphi_{\lambda}(u)>0$ for every $u\in E$ and $\|u\|_{E}\in(0,\rho]$. In particular, for $\|u\|_{E}=\rho$, we have $\varphi_{\lambda}(u)\geq \overline{c}>0$. Fix $\lambda\in[\delta,1]$ and $\gamma\in\mathcal {T}_{\lambda}$. By the definition of $\mathcal{T}_{\lambda}$ we can see that $\|\gamma(1)\|_{E}>\rho$. By continuity, we deduce that there exists $t_{\gamma}\in(0,1)$ such that $\|\gamma(t_{\gamma})\|_{E}=\rho$. Thus, for any $\lambda\in[\delta,1]$,

$$c_{\lambda}\geq\inf_{\gamma\in\mathcal{T}_{\lambda}}\varphi_{\lambda}\bigl( \gamma(t_{\gamma})\bigr)\geq\overline{c}>0. $$

Therefore, we complete the proof. □

Next we prove that the functional $\varphi_{\lambda}$ can achieve the critical value at $c_{\lambda}$ for any $\lambda\in[\delta,1]$.

Lemma 5

For any $\lambda\in[\delta,1]$, each bounded $(PS)$ sequence of the functional $\varphi_{\lambda}$ admits a convergent subsequence.

Proof

Let $\lambda\in[\delta,1]$. Suppose that $\{u_{n}\}\subset E$ is a $(PS)$ sequence for $\varphi_{\lambda}$, that is, $\{u_{n}\}$ and $\varphi_{\lambda}(u_{n})$ are bounded, $\varphi'_{\lambda}(u_{n})\rightarrow0$ in $E'$, where $E'$ is the dual space of E. Then there exists $u\in E$ such that $u_{n} \rightharpoonup u$ in E. Thus, Theorem 2 implies that

$$\begin{aligned}& u_{n}\rightarrow u\quad \mbox{in } L^{p}\bigl( \mathbb{R}^{N}\bigr), \\& u_{n}\rightarrow u \quad \mbox{a.e. in } \mathbb{R}^{N}. \end{aligned}$$

By virtue of hypothesis $H(f)$(2) and $H(f)$(3), for any $\varepsilon\in(0, 1/2)$, there exists $c_{\varepsilon}>0$ such that

$$ \bigl\vert f(u)\bigr\vert \leq \varepsilon |u|+c_{\varepsilon}|u|^{p-1},\quad u\in\mathbb{R}_{+}. $$

(5)

So it follows from (5) that

$$\begin{aligned} \biggl\vert \int_{\mathbb{R}^{N}}f(u_{n}) (u_{n}-u) \,dx\biggr\vert \leq& \int_{\mathbb {R}^{N}}\bigl\vert f(u_{n})\bigr\vert | u_{n}-u | \,dx \\ \leq& \int_{\mathbb{R}^{N}}\bigl(\varepsilon |u_{n}|+c_{\varepsilon}|u_{n}|^{p-1} \bigr)| u_{n}-u | \,dx \\ \leq& \varepsilon |u_{n}|_{2}| u_{n}-u |_{2} + c_{\varepsilon}\bigl\vert \vert u_{n}\vert ^{p-1}\bigr\vert _{p'}| u_{n}-u |_{p} \\ \leq& \varepsilon |u_{n}|_{2}| u_{n}-u |_{2} + c_{\varepsilon}|u_{n}|^{p-1}_{p}| u_{n}-u |_{p} \\ \leq& \varepsilon c_{5} \|u_{n}\|_{E}| u_{n}-u |_{2} + c_{\varepsilon}c_{5}^{p-1} \|u_{n}\|^{p-1}_{E}| u_{n}-u |_{p}, \end{aligned}$$

which implies that

$$\int_{\mathbb{R}^{N}}f(u_{n}) (u_{n}-u) \,dx \rightarrow0\quad \mbox{as } n\rightarrow\infty. $$

Thus

$$\begin{aligned}& \bigl\langle \varphi_{\lambda}'(u_{n}),u_{n}-u \bigr\rangle \\& \quad = \int_{\mathbb{R}^{N}} \bigl((-\Delta)^{\frac{\alpha}{2}}u_{n}(-\Delta )^{\frac{\alpha}{2}}(u_{n}-u) +V(x)u_{n}(u_{n}-u) \bigr)\,dx \\& \qquad {}-\lambda \int_{\mathbb{R}^{N}}f(u_{n}) (u_{n}-u) \,dx \\& \quad = \int_{\mathbb{R}^{N}} \bigl((-\Delta)^{\frac{\alpha}{2}}u_{n}(-\Delta )^{\frac{\alpha}{2}}(u_{n}-u) +V(x)u_{n}(u_{n}-u) \bigr)\,dx+o(1) \end{aligned}$$

and

$$\int_{\mathbb{R}^{N}} \bigl((-\Delta)^{\frac{\alpha}{2}}u_{n}(- \Delta)^{\frac {\alpha}{2}}(u_{n}-u)+V(x)u_{n}(u_{n}-u) \bigr)\,dx \rightarrow0 \quad \text{as } n\rightarrow\infty. $$

Therefore we conclude that $\|u_{n}\|_{E}^{2}\rightarrow\|u\|_{E}^{2}$. This together with $u_{n}\rightharpoonup u$ in E shows that $u_{n}\rightarrow u$ in E. The proof is completed. □

Now we are in the position to show that the modified functional $\varphi_{\lambda}$ has a nontrivial critical point.

Lemma 6

For almost every $\lambda\in[\delta,1]$, there exists $u_{\lambda}\in E\backslash\{0\}$ such that $\varphi'_{\lambda}(u_{\lambda})=0$ and $\varphi_{\lambda}(u_{\lambda})=c_{\lambda}$.

Proof

By virtue of Theorem 3, for almost every $\lambda\in[\delta,1]$, there exists a bounded sequence $\{u_{\lambda}^{n}\}\subset E$ such that

$$\varphi_{\lambda}\bigl(u_{\lambda}^{n}\bigr)\rightarrow c_{\lambda}\quad \mbox{and} \quad \varphi'_{\lambda}\bigl(u_{\lambda}^{n}\bigr)\rightarrow0 \quad \text{as } n \rightarrow\infty. $$

According to Lemma 5, we may assume that there exists $u_{\lambda}\in E$ such that $u_{\lambda}^{n}\rightarrow u_{\lambda}$ in E. Then it follows that $\varphi_{\lambda}(u_{\lambda})= c_{\lambda}$ and $\varphi'_{\lambda}(u_{\lambda})=0$ and $u_{\lambda}\neq0$ from Lemma 4. □

From Lemma 6 we know that there exist a sequence $\lambda_{n}\in[\delta,1]$ with $\lambda_{n}\rightarrow1^{-}$ and an associated sequence $\{u_{n}\}\subset E$ such that

$$ \varphi_{\lambda_{n}}(u_{n})=c_{\lambda_{n}} \quad \mbox{and}\quad \varphi'_{\lambda_{n}}(u_{n})=0. $$

(6)

Next, we will show that the sequence $\{u_{n}\}$ is bounded, which is a key ingredient in this paper.

Lemma 7

Let $u_{n}$ be a critical point of $\varphi_{\lambda_{n}}$ at the level $c_{\lambda_{n}}$ as defined in (6). Then there exists a constant $c_{6}>0$ such that $\|u_{n}\|_{E}\leq c_{6}$ for all n.

Proof

In view of Lemma 2 and (6), we see that $u_{n}$ satisfies the following Pohozaev identity:

$$\begin{aligned}& \frac{N-2\alpha}{2} \int_{\mathbb{R}^{N}}\bigl\vert (-\Delta)^{\frac{\alpha }{2}}u_{n} \bigr\vert ^{2}\,dx+\frac{N}{2} \int_{\mathbb{R}^{N}}V(x)|u_{n}|^{2}\,dx + \frac{1}{2} \int_{\mathbb{R}^{N}}\bigl\langle \nabla V(x),x\bigr\rangle |u_{n}|^{2} \,dx \\& \quad =\lambda_{n}N \int_{\mathbb{R}^{N}}F(u_{n})\,dx. \end{aligned}$$

(7)

Recall that $\varphi_{\lambda_{n}}(u_{n})=c_{\lambda_{n}}$. So we have

$$ \frac{N}{2} \int_{\mathbb{R}^{N}} \bigl(\bigl|(-\Delta)^{\frac{\alpha}{2}}u_{n}\bigr|^{2} +V(x)u_{n}^{2} \bigr)\,dx-\lambda_{n}N \int_{\mathbb{R}^{N}}F(u_{n}) \,dx=c_{\lambda_{n}}N. $$

(8)

Then from (7), (8), and hypothesis $H(f)$(2), it follows that

$$\begin{aligned} \alpha \int_{\mathbb{R}^{N}}\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u_{n} \bigr\vert ^{2}\,dx =&c_{\lambda _{n}}N+\frac{1}{2} \int_{\mathbb{R}^{N}} \bigl\langle \nabla V(x),x\bigr\rangle \vert u_{n}\vert ^{2}\,dx \\ \leq& c_{\lambda_{n}}N +\frac{1}{2}\bigl\vert \bigl\langle \nabla V(x),x\bigr\rangle \bigr\vert _{L^{\frac{N}{2\alpha}}(\mathbb{R}^{N})} \vert u_{n}\vert _{2_{\alpha}^{*}}^{2} \\ \leq& c_{\lambda_{n}}N +\frac{1}{2S_{\alpha}}\bigl\vert \bigl\langle \nabla V(x),x\bigr\rangle \bigr\vert _{L^{\frac{N}{2\alpha}}(\mathbb{R}^{N})} \int_{\mathbb{R}^{N}}\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u_{n} \bigr\vert ^{2}\,dx. \end{aligned}$$

(9)

Set $M_{0}=\alpha- \frac{1}{2S_{\alpha}}|\langle\nabla V(x),x\rangle|_{L^{\frac{N}{2\alpha}}(\mathbb{R}^{N})}$. Then

$$ M_{0} \int_{\mathbb{R}^{N}}\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u_{n} \bigr\vert ^{2}\,dx\leq c_{\lambda_{n}}N. $$

(10)

We estimate the right-hand side of (9). By the min-max definition of the mountain pass level $c_{\lambda_{n}}$, Lemma 3 and (3), we have

$$\begin{aligned} c_{\lambda_{n}} \leq&\max_{t} \varphi_{\lambda_{n}}(t\eta) \\ \leq& \max_{t} \biggl\{ \frac{t^{2}}{2}- \lambda_{n} \int_{\mathbb {R}^{N}}F(t\eta) \,dx \biggr\} \\ \leq& \max_{t} \biggl\{ t^{2} \biggl( \frac{1}{2}-\delta c_{3} \int_{B_{r}(0)}\eta^{2}\,dx \biggr)+c_{4}\bigl\vert B_{r}(0)\bigr\vert \biggr\} \\ \leq& c_{4}\bigl\vert B_{r}(0)\bigr\vert . \end{aligned}$$

(11)

From (10) and (11), we conclude that

$$ M_{0} \int_{\mathbb{R}^{N}}\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u_{n} \bigr\vert ^{2}\,dx\leq c_{4}N\bigl\vert B_{r}(0)\bigr\vert . $$

(12)

Note that $E\subset\dot{H}^{\alpha}(\mathbb{R}^{N})$ and the embedding $\dot{H}^{\alpha}(\mathbb{R}^{N})\hookrightarrow L^{2_{\alpha}^{*}}(\mathbb{R}^{N})$ is continuous. Then we have

$$|u|^{2}_{2_{\alpha}^{*}}\leq\frac{1}{S_{\alpha}} \int_{\mathbb{R}^{N}}\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u\bigr\vert ^{2}\,dx, \quad \forall u\in E. $$

Recall from (6)

$$ \int_{\mathbb{R}^{N}} \bigl(\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u_{n} \bigr\vert ^{2} +V(x)u_{n}^{2} \bigr)\,dx=N \lambda_{n} \int_{\mathbb{R}^{N}}f(u_{n})u_{n}\, dx. $$

(13)

Using (5) in (13), we obtain

$$\begin{aligned}& \int_{\mathbb{R}^{N}} \bigl(\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u_{n} \bigr\vert ^{2} +V(x)u_{n}^{2} \bigr)\,dx \\& \quad \leq N \int_{\mathbb{R}^{N}} \bigl(\varepsilon \vert u_{n}\vert ^{2}+c_{\varepsilon} \vert u_{n}\vert ^{p} \bigr)\,dx \\& \quad \leq N \int_{\mathbb{R}^{N}} \biggl(\varepsilon \frac{V(x)}{V_{0}}\vert u_{n}\vert ^{2}+c_{\varepsilon} \vert u_{n} \vert ^{2_{\alpha}^{*}} \biggr)\,dx \\& \quad \leq \frac{N\varepsilon}{V_{0}} \int_{\mathbb{R}^{N}} \bigl(\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u_{n} \bigr\vert ^{2} + V(x)\vert u_{n}\vert ^{2} \bigr)\,dx + c_{\varepsilon}N \int_{\mathbb{R}^{N}} \vert u_{n}\vert ^{2_{\alpha}^{*}} \,dx \\& \quad \leq \frac{N\varepsilon}{V_{0}} \int_{\mathbb{R}^{N}} \bigl(\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u_{n} \bigr\vert ^{2} + V(x)\vert u_{n}\vert ^{2} \bigr)\,dx \\& \qquad {}+ c_{\varepsilon}N \biggl[\frac{1}{S_{\alpha}} \int_{\mathbb{R}^{N}}\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u_{n} \bigr\vert ^{2} \,dx \biggr]^{\frac{N}{N-2\alpha}}, \end{aligned}$$

(14)

which implies that

$$\begin{aligned}& \biggl(1-\frac{N\varepsilon}{V_{0}} \biggr) \int_{\mathbb{R}^{N}} \bigl(\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u_{n} \bigr\vert ^{2} +V(x)u_{n}^{2} \bigr)\,dx \\& \quad \leq c_{\varepsilon}N \biggl[\frac{1}{S_{\alpha}} \int_{\mathbb{R}^{N}}\bigl\vert (-\Delta)^{\frac{\alpha}{2}}u_{n} \bigr\vert ^{2} \,dx \biggr]^{\frac{N}{N-2\alpha}} \\& \quad \leq c_{\varepsilon}N \biggl[\frac{1}{S_{\alpha}} \frac{c_{4}N\vert B_{r}(0)\vert }{\alpha} \biggr]^{\frac{N}{N-2\alpha}}. \end{aligned}$$

It follows that

$$\|u_{n}\|_{E}^{2}\leq c_{\varepsilon}N \biggl[ \frac{1}{S_{\alpha}} \frac{c_{4}N|B_{r}(0)|}{M_{0}} \biggr]^{\frac{N}{N-2\alpha}}\frac{V_{0}}{(V_{0}- N\varepsilon )}. $$

Then the conclusion holds. □

Finally, we are ready to prove our main theorem.

Proof of Theorem 1

Let $u_{n}$ be a critical point for $\varphi_{\lambda_{n}}$ at the level $c_{\lambda_{n}}$. Then from Lemma 7 we may assume that $\|u_{n}\|_{E}\leq c_{6}$.

Note that $\lambda_{n}\rightarrow1$, we can show that $\{u_{n}\}$ is a $(PS)$ sequence of φ. Indeed, the boundedness of $\{u_{n}\}$ implies that $\{\varphi(u_{n})\}$ is bounded. Also

$$ \bigl\langle \varphi'(u_{n}),v\bigr\rangle =\bigl\langle \varphi_{\lambda_{n}}'(u_{n}),v\bigr\rangle +( \lambda_{n}-1) \int_{\mathbb{R}^{N}}f(u_{n})v \,dx, \quad \forall u\in E. $$

Hence, $\varphi'(u_{n})\rightarrow0$, and consequently $\{u_{n}\}$ is a bounded $(PS)$ sequence of φ. By Lemma 5, $\{u_{n}\}$ has a convergent subsequence, hence without loss of generality we may assume that $u_{n}\rightarrow u$. Therefore, $\varphi'(u)= 0$. By virtue of Lemma 4, we have

$$ \varphi(u) =\lim_{n\rightarrow\infty} \varphi(u_{n}) =\lim _{n\rightarrow\infty} \varphi_{\lambda_{n}}(u_{n})\geq \overline{c}>0, $$

and u is a positive solution by the condition $H(f)$(1). The proof is completed. □

Declarations

Acknowledgements

This work was supported by the National Natural Science Foundation of China (Nos. 11201095, 11201098), the Youth Scholar Backbone Supporting Plan Project of Harbin Engineering University, the Fundamental Research Funds for the Central Universities, Postdoctoral research startup foundation of Heilongjiang (No. LBH-Q14044) and the Science Research Funds for Overseas Returned Chinese Scholars of Heilongjiang Province (No. LC201502).

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

Authors’ Affiliations

(1)

Department of Applied Mathematics, Harbin Engineering University, Harbin, P.R. China

(2)

Department of Mathematics, Harbin Institute of Technology, Harbin, P.R. China

References

Autuori, G, Pucci, P: Elliptic problems involving the fractional Laplacian in $\mathbb{R}^{N}$. J. Differ. Equ. 255, 2340-2362 (2013) View ArticleMathSciNetMATHGoogle Scholar
Chang, XJ: Ground state solutions of asymptotically linear fractional Schrödinger equations. J. Math. Phys. 54, 061504 (2013) View ArticleMathSciNetGoogle Scholar
Chang, XJ, Wang, ZQ: Ground state of scalar field equations involving a fractional Laplacian with general nonlinearity. Nonlinearity 26, 479-494 (2013) View ArticleMathSciNetMATHGoogle Scholar
Cheng, M: Bound state for the fractional Schrödinger equation with unbounded potential. J. Math. Phys. 53, 043507 (2012) View ArticleMathSciNetGoogle Scholar
Felmer, P, Quaas, A, Tan, JG: Positive solutions of nonlinear Schrödinger equation with the fractional Laplacian. Proc. R. Soc. Edinb., Sect. A, Math. 142, 1237-1262 (2012) View ArticleMathSciNetMATHGoogle Scholar
Secchi, S: Ground state solutions for nonlinear fractional Schrödinger equations in $\mathbb{R}^{N}$. J. Math. Phys. 54, 031501 (2013) View ArticleMathSciNetGoogle Scholar
Chen, WX, Li, CM, Ou, B: Classification of solutions for an integral equation. Commun. Pure Appl. Math. 59, 330-343 (2006) View ArticleMathSciNetMATHGoogle Scholar
Nezza, ED, Palatucci, G, Valdinoci, E: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521-573 (2012) View ArticleMathSciNetMATHGoogle Scholar
Ros-Oton, X, Serra, J: The Pohozaev identity for the fractional Laplacian. Arch. Ration. Mech. Anal. 213, 587-628 (2014) View ArticleMathSciNetMATHGoogle Scholar
Secchi, S: On fractional Schrödinger equations in $\mathbb{R}^{N}$ without the Ambrosetti-Rabinowitz condition (2012). arXiv:1210.0755
Struwe, M: Variational Methods: Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems, 4th edn. Ergeb. Math. Grenzgeb. (3), vol. 34. Springer, Berlin (2008) Google Scholar
Jeanjean, L: On the existence of bounded Palais-Smale sequences and application to a Landesman-Lazer-type problem set on $\mathbb{R}^{N}$. Proc. R. Soc. Edinb., Sect. A, Math. 129, 787-809 (1999) View ArticleMathSciNetMATHGoogle Scholar

Boundary Value Problems

Existence of positive solutions to elliptic problems involving the fractional Laplacian

Abstract

Keywords

MSC

1 Introduction

Theorem 1

2 Preliminary

Lemma 1

Theorem 2

Proof

Lemma 2

Remark 1

Theorem 3

3 Some lemmas and proof of main result

Lemma 3

Proof

Lemma 4

Proof

Lemma 5

Proof

Lemma 6

Proof

Lemma 7

Proof

Proof of Theorem 1

Declarations

Acknowledgements

Authors’ Affiliations

References

Copyright