Existence of solutions for fractional p -Laplacian problems via Leray-Schauder’s nonlinear alternative

Hong Qiu; Mingqi Xiang

doi:10.1186/s13661-016-0593-8

Research
Open Access

Existence of solutions for fractional p-Laplacian problems via Leray-Schauder’s nonlinear alternative

Hong Qiu¹ and
Mingqi Xiang¹Email author

Boundary Value Problems20162016:83

https://doi.org/10.1186/s13661-016-0593-8

Received: 5 April 2016
Accepted: 12 April 2016
Published: 19 April 2016

Abstract

In this paper, we are concerned with the existence of solutions for a class of quasilinear elliptic problems driven by a nonlocal integro-differential operator with homogeneous Dirichlet boundary data. As a particular case, we study the following problem:

$$\begin{aligned}& (-\Delta)_{p}^{s} u =f (x,u )\quad \mbox{in } \Omega, \\& u=0 \quad \mbox{in } \mathbb{R}^{N}\setminus\Omega, \end{aligned}$$

where $(-\Delta)_{p}^{s}$ is the fractional p-Laplace operator, Ω is an open bounded subset of $\mathbb{R}^{N}$ with Lipschitz boundary, and $f:\Omega\times\mathbb{R}\rightarrow\mathbb{R}$ is a Carathéodory function. The existence of nonnegative solutions is obtained by using Leray-Schauder’s nonlinear alternative.

Keywords

fractional p-Laplacian equation
integro-differential operator
Leray-Schauder alternative theorem

MSC

35R11
35A15
47G20

1 Introduction and main results

Recently, a great deal of attention has been paid to the study of problems involving fractional and nonlocal operators, both in pure mathematical research and in real-world applications, such as optimization, finance, continuum mechanics, phase transition phenomena, population dynamics, minimal surfaces, and game theory, as they are the typical outcome of stochastically stabilization of Lévy processes; see [1–4] and the references therein. Especially, the fractional Laplacian operators of the form $(-\Delta)^{s}$ can be viewed as the infinitesimal generators of stable Lévy processes; see for instance [5]. Some interesting topics concerning the nonlocal fractional operators, such as the nonlinear fractional Schrödinger equation (see [6]), the fractional porous medium equation (see [7, 8]), and so on, have attracted considerable attention. There is no doubt that the literature on fractional and nonlocal operators is quite large; see for example [9–18]. For the basic properties of fractional Sobolev spaces and their applications to elliptic fractional problems, we refer the reader to [19, 20] and the references therein.

In this paper we are interested in the existence of solutions for the following problem:

$$ \textstyle\begin{cases} \mathcal{L}_{K} u =f (x,u ) \quad \mbox{in } \Omega, \\ u=0 \quad \mbox{in } \mathbb{R}^{N}\setminus\Omega, \end{cases} $$

(1.1)

where $\Omega\subset\mathbb{R}^{N}$ is an open bounded set with Lipschitz boundary ∂Ω, $f:\Omega\times\mathbb {R}\rightarrow\mathbb{R}$ is a Carathéodory function, and $\mathcal{L}_{K}$ is a nonlocal operator defined as

$$ \mathcal{L}_{K} \varphi(x)=\lim_{\varepsilon\rightarrow0^{+}}2 \int_{\mathbb{R}^{N}\setminus B_{\varepsilon}(x)}\bigl\vert \varphi(x)-\varphi (y)\bigr\vert ^{p-2}\bigl(\varphi(x)-\varphi(y)\bigr)K(x-y) \,dy,\quad x\in \mathbb{R}^{N}, $$

along any $\varphi\in C_{0}^{\infty}(\mathbb{R}^{N})$, where $B_{\varepsilon}(x)$ denotes the ball in $\mathbb{R}^{N}$ of radius $\varepsilon>0$ at the center $x\in\mathbb{R}^{N}$ and $K:\mathbb {R}^{N}\setminus \{0 \}\rightarrow\mathbb{R}^{+}$ is a measurable function with the following property:

$$ \textstyle\begin{cases} \gamma K\in L^{1}(\mathbb{R}^{N}),\mbox{where } \gamma(x)=\min\{ |x|^{p},1\}; \\ \mbox{there exist } s\in(0,1) \mbox{ and } K_{0} >0 \\ \quad \mbox{such that } K(x)\geq K_{0}\vert x\vert ^{-(N+ps)} \mbox{ for any } x\in\mathbb {R}^{N}\setminus \{0 \}. \end{cases} $$

(1.2)

Throughout the paper, without further mention, we always assume that $0< s<1$ and $1< p< N/s$.

A typical example for K is given by the singular kernel $K(x)= \vert x\vert ^{-(N+ps)}$. In this case, problem (1.1) becomes

$$ \textstyle\begin{cases} (-\Delta)_{p}^{s} u =f (x,u ) \quad \mbox{in } \Omega, \\ u=0 \quad \mbox{in } \mathbb{R}^{N}\setminus\Omega, \end{cases} $$

(1.3)

where $(-\Delta)_{p}^{s}$ is the fractional p-Laplace operator; see [19] for more details. When $p=2$, problem (1.3) reduces to the fractional Laplacian problem

$$ \textstyle\begin{cases} (-\Delta)^{s} u= f(x,u) \quad \mbox{in } \Omega, \\ u=0 \quad \mbox{in } \mathbb{R}^{N}\setminus\Omega. \end{cases} $$

(1.4)

A distinguishing characterization of the fractional operator $(-\Delta )^{s}$ in (1.4) is in the nonlocality, in the sense that this operator takes care of the behavior of the solution in the whole space. This is in contrast with the usual elliptic partial differential equations, which are governed by local differential operators like the Laplace operator. Of course, there are other explanations for this feature; see for example [21, 22]. The functional space that takes into account this boundary condition was introduced in [23]. In [22], the authors get the existence of nontrivial weak solutions of problem (1.4) by using the mountain pass theorem. See also [24] for the related discussions. In [25], the author studied the existence of solutions to a variational inequality involving nonlocal elliptic operators and obtained the existence of solutions by using Schauder’s fixed point theorem combined with adequate variational arguments and a penalization technique.

In the present paper, motivated by the above papers, we study the existence of weak solutions for problem (1.1) involving nonlocal fractional operator. It is worth noticing that there are a few authors addressing the fractional p-Laplacian problems by using the nonlinear alternative of Leray-Schauder.

In this spirit, we suppose that $f: \Omega\times\mathbb {R}\rightarrow\mathbb{R}$ is a Carathéodory function satisfying:

(f₁):: there exist $q\in(1,p)$ and $C>0$ such that
$$ \bigl\vert f(x,t)\bigr\vert \leq a(x)+C\vert t\vert ^{q/q^{\prime}}\quad \mbox{for all } t\in\mathbb{R} \mbox{ and a.e. } x\in\Omega, $$
where $q^{\prime}$ satisfies $\frac{1}{q}+\frac{1}{q^{\prime}}=1$, and $a\in L^{q^{\prime}}(\Omega)$, with $a\geq0$ a.e. in Ω.

A simple example of f is given by $f(x,t)=|t|^{q-2}t+\ln(1+|t|)$ for all $(x,t)\in\Omega\times\mathbb{R}$.

Now we are in a position to give the main result as follows.

Theorem 1.1

Let $K:\mathbb{R}^{N}\setminus\{0\}\rightarrow\mathbb{R}^{+}$ be a function satisfying (1.2). Suppose that f satisfies (f₁). If $1< q< p$, then there exists $R>0$ such that problem (1.1) has a solution $u\in W_{0}$ with $\|u\|_{W_{0}}\leq R$, where the fractional Sobolev space $W_{0}$ will be introduced in Section 2.

This paper is organized as follows. In Section 2, we recall some necessary definitions and properties of the fractional Sobolev space $W_{0}$. In Section 3, applying the properties of the operator $\mathcal {L}_{K}$ and the nonlinear alternative of Leray-Schauder, we obtain the existence of solutions for problem (1.1).

2 Preliminaries

In this section, we first recall some basic results, which will be used in the next section. Let $0< s<1<p<\infty$ be real numbers and the fractional critical exponent $p^{*}_{s}$ be defined as

$$ p_{s}^{*}= \textstyle\begin{cases} \frac{Np}{N-sp} &\mbox{if } sp< N, \\ \infty &\mbox{if } sp\geq N. \end{cases} $$

In the following, we denote $Q=\mathbb{R}^{2N}\setminus\mathcal {O}$, where

$$\mathcal{O}=\mathcal{C}(\Omega)\times\mathcal{C}(\Omega)\subset {\mathbb {R}}^{2N}, $$

and $\mathcal{C}(\Omega)=\mathbb{R}^{N}\setminus\Omega$. W is a linear space of Lebesgue measurable functions from $\mathbb{R}^{N}$ to $\mathbb{R}$ such that the restriction to Ω of any function u in W belongs to $L^{p}(\Omega)$ and

$$ \iint_{Q}\bigl\vert u(x)-u(y)\bigr\vert ^{p}K(x-y)\,dx\,dy< \infty. $$

The space W is equipped with the norm

$$ \|u\|_{W}=\|u\|_{L^{p}(\Omega)}+ \biggl( \iint _{Q}\bigl\vert u(x)-u(y)\bigr\vert ^{p}K(x-y)\,dx\,dy \biggr)^{1/p}. $$

It is easy to prove that $\|\cdot\|_{W}$ is a norm on W. We shall work in the closed linear subspace

$$ W_{0}= \bigl\{ u\in W :u(x)=0 \mbox{ a.e. in } \mathbb {R}^{N}\setminus\Omega \bigr\} , $$

endowed with the norm

$$ \|u\|_{W_{0}}:=[u]_{s,p,K}= \biggl( \iint_{Q}\bigl\vert u(x)-u(y)\bigr\vert ^{p}K(x-y)\,dx\,dy \biggr)^{1/p}. $$

Then $(W_{0},\|\cdot\|_{W_{0}})$ is a uniformly convex Banach space; see [26]. Moreover, $C_{0}^{\infty}(\Omega)$ is dense in $W_{0}$; see [27].

Lemma 2.1

(see Lemma 2.5 of [26])

Let $K:\mathbb{R}^{N}\setminus\{0\}\rightarrow\mathbb{R}^{+}$ satisfy (1.2) and let $v_{j}$ be a bounded sequence in $W_{0}$. Then there exists $v\in L^{\nu}(\mathbb{R}^{N})$ with $v=0$ a.e. in $\mathbb {R}^{N}\setminus\Omega$ such that up to a subsequence,

$$ v_{j}\rightarrow v \quad \textit{strongly in } L^{\nu}( \Omega) \textit{ as } j\rightarrow\infty $$

for any $\nu\in[1,p_{s}^{*})$.

3 Proof of the main result

In this section we prove the existence of solutions to problem (1.1). Our method is based on the properties of the operator $\mathcal{L}_{K}$ and again on the nonlinear alternative of Leray-Schauder.

Let $W_{0}^{*}$ denote the dual space of $W_{0}$. We first give some properties to operator $\mathcal{L}_{K}$.

Lemma 3.1

(1)

$\mathcal{L}_{K}: W_{0}\rightarrow W_{0}^{*}$ is a continuous, bounded and strictly monotone operator;
(2)

$\mathcal{L}_{K}$ is a mapping of type $(S_{+})$, i.e. if $u_{n}\rightharpoonup u$ in $W_{0}$ and
$$\limsup_{n\rightarrow\infty}\langle\mathcal{L}_{K} u_{n}-\mathcal {L}_{K}u, u_{n}-u\rangle\leq0, $$
then $u_{n}\rightarrow u$ in $W_{0}$;
(3)

$\mathcal{L}: W_{0}\rightarrow W_{0}^{*}$ is a homomorphism.

Proof

(1) Note that, by the Hölder inequality, one has

$$\begin{aligned} \bigl\vert \langle\mathcal{L}_{K}u,v\rangle\bigr\vert &= \biggl\vert \iint_{Q} \bigl\vert u(x)-u(y)\bigr\vert ^{p-2} \bigl(u(x)-u(y)\bigr) \bigl(v(x)-v(y)\bigr)K(x-y)\,dx\,dy\biggr\vert \\ &\leq\|u\|_{W_{0}}^{p-1}\|v\|_{W_{0}} \end{aligned}$$

for all $u,v\in W_{0}$. Following this inequality, we easily see that $\mathcal{L}_{K}$ is continuous and bounded.

Let us now recall the well-known Simon inequality (see [26] and [28]): for all $\xi,\eta\in\mathbb{R}$, there exists $C_{p}>0$ such that

$$ C_{p} \bigl(|\xi|^{p-2}\xi-|\eta|^{p-2} \eta \bigr)\cdot(\xi-\eta )\geq \textstyle\begin{cases} |\xi-\eta|^{p} &\mbox{if } p\geq2, \\ |\xi-\eta|^{2}(|\xi|^{p}+|\eta|^{p})^{(p-2)/p} &\mbox{if } 1< p< 2. \end{cases} $$

(3.1)

It follows from (3.1) that the operator $\mathcal{L}_{K}$ is strictly monotone.

(2) By (1), if $u_{n}\rightharpoonup u$ and $\limsup_{n\rightarrow \infty}\langle\mathcal{L}_{K} u_{n}-\mathcal{L}_{K}u, u_{n}-u\rangle\leq 0$, then $\lim_{n\rightarrow\infty}\langle\mathcal{L}_{K} u_{n}-\mathcal{L}_{K}u, u_{n}-u\rangle=0 $. Using the well-known vector inequalities (3.1), we obtain, for $p>2$,

$$ \|u_{n}-u\|_{W_{0}}^{p}\leq C_{p} \langle\mathcal{L}_{K}u_{n}-\mathcal {L}_{K}u,u_{n}-u\rangle=o(1), $$

(3.2)

and, for $1< p<2$,

$$\begin{aligned} \|u_{n}-u\|_{W_{0}}^{p}& \leq C_{p}^{p/2} \bigl[\langle\mathcal {L}_{K}u_{n}- \mathcal{L}_{K}u,u_{n}-u\rangle\bigr]^{p/2} \bigl( \|u_{n}\|_{W_{0}}^{p}+\|u\| _{W_{0}}^{p} \bigr)^{(2-p)/2} \\ &\leq C_{p}^{p/2} \bigl[\langle\mathcal{L}_{K}u_{n}- \mathcal{L}_{K}u,u_{n}-u\rangle \bigr]^{p/2} \bigl( \|u_{n}\|_{W_{0}}^{p(2-p)/2}+\|u\|_{W_{0}}^{p(2-p)/2} \bigr) \\ &\leq C \bigl[\langle\mathcal{L}_{K}u_{n}- \mathcal{L}_{K}u,u_{n}-u\rangle\bigr]^{p/2}=o(1), \end{aligned}$$

(3.3)

where $C>0$ is a constant. Combining (3.2) with (3.3), we obtain $u_{n}\rightarrow u$ in $W_{0}$ as $n\rightarrow\infty$, i.e. $\mathcal{L}_{K}$ is of type $(S_{+})$.

(3) By the strictly monotonicity, $\mathcal{L}_{K}$ is an injection. Since

$$\begin{aligned} \lim_{\|u\|_{W_{0}}\rightarrow\infty}\frac{\langle\mathcal {L}_{K}u,u\rangle}{\|u\|_{W_{0}}} &=\lim_{\|u\|_{W_{0}}\rightarrow\infty} \frac{ \iint _{Q}|u(x)-u(y)|^{p}K(x-y)\,dx\,dy}{\|u\|_{W_{0}}} \\ &=\lim_{\|u\|_{W_{0}}\rightarrow\infty}\|u\|_{W_{0}}^{p-1}=\infty, \end{aligned}$$

thanks to $1< p<\frac{N}{s}$. Hence $\mathcal{L}_{K}$ is coercive on $W_{0}$. Furthermore, by the Minty-Browder theorem (see Theorem 26A of [29]), we know $\mathcal {L}_{K}$ is a surjection. Thus $\mathcal{L}_{K}$ has an inverse mapping $\mathcal {L}_{K}^{-1}:W_{0}^{*}\rightarrow W_{0}$. Now we check the continuity of $\mathcal{L}_{K}^{-1}$. Assume $g_{n},g\in W_{0}^{*}$, with $g_{n}\rightarrow g$ in $W_{0}^{*}$. Let $u_{n}=\mathcal {L}_{K}^{-1}g_{n}$ and $u=\mathcal{L}_{K}^{-1}g $, then $\mathcal{L}_{K}u_{n}=g_{n}$ and $\mathcal{L}_{K}u=g$. Clearly, $\{ u_{n}\}$ is bounded in $W_{0}$. Thus there exist $u_{0}\in W_{0}$ and a subsequence of $\{u_{n}\}$ still denoted by $\{u_{n}\}$ such that $u_{n}\rightharpoonup u_{0}$. Since $g_{n}\rightarrow g$, we have

$$ \lim_{n\rightarrow\infty}\langle\mathcal{L}_{K}u_{n}- \mathcal {L}_{k}u_{0},u_{n}-u_{0} \rangle=\lim_{n\rightarrow\infty} \langle g_{n}, u_{n}-u_{0}\rangle=0. $$

In view of $\mathcal{L}_{K}$ is of type $(S_{+})$, we get $u_{n}\rightarrow u_{0}$ in $W_{0}$. Moreover, $u=u_{0}$ a.e. in Ω. Hence $u_{n}\rightarrow u$ in $W_{0}$, so that $\mathcal{L}_{K}^{-1}$ is continuous. Thus, we complete the proof. □

To prove the existence of solutions for problem (1.1), we need the following theorem.

Theorem 3.1

(Alternative of Leray-Schauder; see [30])

Let $B(0,R)$ denote the closed ball in a Banach space X, $\{u\in X : u\leq R\}$, and let $I:B(0,R)\rightarrow X$ be a compact operator. Then either:

(i)

the equation $\lambda Iu=u$ has a solution in $B(0,R)$ for $\lambda =1$ or
(ii)

there exists $u\in X $ with $\|u\|=R$ satisfying $\lambda Iu=u$ for some $\lambda\in(0,1)$.

Proof of Theorem 1.1

Following the idea of [31], for simplicity of notation, we set

$$ Y=L^{q}(\Omega),\qquad Y^{*}=L^{q^{\prime}}(\Omega),\qquad \|\cdot \|_{Y}=\|\cdot\| _{L^{q}(\Omega)} . $$

By Lemma 2.1 and $1< q<p_{s}^{*}$, $W_{0}$ is compactly embedded in Y. Denote by i the compact injection of $W_{0}$ in Y and by $i^{*}:Y^{*}\rightarrow W_{0}^{*}$, $i^{*}v=v\circ i$ for all $v\in Y^{*}$, its adjoint. It follows from assumption (f₁) that the Nemytskii operator $N_{f}$ generated by f, $(N_{f}u)(x)=f(x,u(x))$, is well defined from Y into $Y^{*}$, continuous, and bounded (see for example [32]). In order to prove that problem (1.1) has a weak solution in $W_{0}$ it is sufficient to prove that the equation

$$ \mathcal{L}_{K}u=\bigl(i^{*}N_{f}i\bigr)u $$

(3.4)

has a solution in $W_{0}$. Indeed, if $u\in W_{0}$ satisfies (3.4), then for all $v\in W_{0}$, one has

$$ \langle\mathcal{L}_{K}u,v\rangle=\bigl\langle \bigl(i^{*}N_{f}i \bigr)u,v\bigr\rangle =\bigl\langle N_{f}(iu),iv\bigr\rangle , $$

which can be rewritten

$$ \iint_{Q}\bigl\vert u(x)-u(y)\bigr\vert ^{p-2} \bigl(u(x)-u(y)\bigr) \bigl(v(x)-v(y)\bigr)K(x-y)\,dx\,dy= \int_{\Omega}f(x,u)v\, dx, $$

this means that u is a weak solution in $W_{0}$ to problem (1.1).

By Lemma 3.1, $\mathcal{L}_{K}$ is a homeomorphism of $W_{0}$ onto $W_{0}^{*}$. Equation (3.4) can be equivalently rewritten

$$ u=\mathcal{L}_{K}^{-1}\bigl(i^{*}N_{f}i\bigr)u. $$

(3.5)

Therefore, proving problem (1.1) has a weak solution in $W_{0}$ reduces to proving that the compact operator

$$ \mathscr{L}=\mathcal{L}_{K}^{-1}\bigl(i^{*}N_{f}i \bigr):W_{0}\rightarrow W_{0}^{*} $$

has a fixed point.

By Theorem 3.1, a sufficient condition for $\mathscr{L}$ to have a fixed point is that there exists a constant $R>0$ such that

$$\mathcal{S}=\bigl\{ u\in W_{0}: u=\lambda\mathscr{L}u \mbox{ for some } t\in [0,1]\bigr\} \subset B(0,R). $$

Since for $\lambda=0$ the only solution of equation $u=\lambda \mathscr{L}u$ is $u =0$, it is enough to show that there exists a constant such that any $u\in W_{0}$ which satisfies

$$ u=\lambda\mathcal{L}_{K}^{-1}\bigl[ \bigl(i^{*}N_{f}i\bigr)u\bigr] $$

(3.6)

for some $\lambda\in(0,1]$ belongs to $B(0,R)$.

Indeed, if $u\in W_{0}$ satisfies (3.6) for some $\lambda\in(0,1]$, then we have

$$ \langle\mathcal{L}_{K} u,u\rangle= \lambda\bigl\langle \bigl(i^{*}N_{f}i\bigr)u,u\bigr\rangle . $$

(3.7)

It follows from (3.7) that

$$\begin{aligned} \Vert u\Vert _{W_{0}}^{p}&= \lambda\bigl\langle \bigl(i^{*}N_{f}i\bigr)u,u\bigr\rangle \leq\bigl\langle \bigl(i^{*}N_{f}i\bigr)u,u\bigr\rangle \\ &\leq\bigl\Vert i^{*}\bigr\Vert \bigl\Vert N_{f}(iu)\bigr\Vert _{Y^{*}}\Vert u\Vert _{W_{0}}. \end{aligned}$$

(3.8)

In order to estimate $\|N_{f}(iu)\|_{Y^{*}}$, we deduce first from assumption (f₁) that

$$ \bigl\vert (N_{f}v) (x)\bigr\vert =\bigl\vert f(x,v)\bigr\vert \leq c_{1}\bigl\vert v(x)\bigr\vert ^{q/q^{\prime}}+a(x). $$

Hence,

$$ \Vert N_{f}v\Vert _{Y^{*}}\leq\bigl\Vert c_{1}\bigl\vert v(x)\bigr\vert ^{q/q^{\prime}}+a(x)\bigr\Vert _{Y^{*}} \leq c_{1}\Vert v\Vert _{Y}^{q-1}+ \bigl\Vert a(x)\bigr\Vert _{Y^{*}}. $$

(3.9)

By taking (3.9) for $v=iu$, $u\in W_{0}$, we have

$$ \bigl\Vert N_{f}(iu)\bigr\Vert _{Y^{*}}\leq c_{1}\Vert i\Vert ^{q-1}\Vert u\Vert _{W_{0}}^{q-1}+\Vert a\Vert _{Y^{*}}. $$

(3.10)

In particular, if $u\in W_{0}$ and satisfies (3.6) for some $\lambda\in(0,1]$, we derive from (3.8) and (3.10) that

$$ \Vert u\Vert _{W_{0}}^{p}\leq\bigl\Vert i^{*} \bigr\Vert \bigl(c_{1}\Vert i\Vert ^{q-1}\Vert u\Vert _{W_{0}}^{q-1}+\Vert a\Vert _{Y^{*}}\bigr)\Vert u \Vert _{W_{0}} =C_{1}\Vert u\Vert _{W_{0}}^{q}+C_{2} \Vert u\Vert _{W_{0}}, $$

(3.11)

where $C_{1}=c_{1}\|i^{*}\|\|i\|^{q}$, $C_{2}=\|i^{*}\|\|a\|_{Y^{*}}$. Applying the Young inequality, we get

$$ \Vert u\Vert _{W_{0}}^{q}C_{1}\leq \frac{1}{4}\Vert u\Vert _{W_{0}}^{p}+4^{\frac {q}{p-q}}C_{1}^{\frac{p}{p-q}} $$

and

$$ \Vert u\Vert _{W_{0}}C_{2}\leq\frac{1}{4}\Vert u \Vert _{W_{0}}^{p}+4^{\frac {1}{p-1}}C_{2}^{\frac{p}{p-1}}. $$

Inserting these two inequalities into (3.11), one has

$$ \frac{1}{2}\|u\|_{W_{0}}^{p}\leq4^{\frac{q}{p-q}}C_{1}^{\frac {p}{p-q}}+4^{\frac{1}{p-1}}C_{2}^{\frac{p}{p-1}}. $$

Set

$$R= \bigl(2^{\frac{p+q}{p-q}}C_{1}^{\frac{p}{p-q}}+2^{\frac {p+1}{p-1}}C_{2}^{\frac{p}{p-1}} \bigr)^{1/p}. $$

Then $\|u\|_{W_{0}}\leq R$, this implies the set $\mathcal{S}$ is bounded. □

Declarations

Acknowledgements

H Qiu was supported by the National Natural Science Foundation of China (No. 11401574 and No. 11326197) and Fundamental Research Funds for the Central Universities (No. 3122013k005).

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)

College of Science, Civil Aviation University of China, Tianjin, 300300, P.R. China

References

Caffarelli, L: Nonlocal diffusions, drifts and games. In: Nonlinear Partial Differential Equations. Abel Symposia, vol. 7, pp. 37-52 (2012) View ArticleGoogle Scholar
Laskin, N: Fractional quantum mechanics and Lévy path integrals. Phys. Lett. A 268, 298-305 (2000) MathSciNetView ArticleMATHGoogle Scholar
Metzler, R, Klafter, J: The restaurant at the random walk: recent developments in the description of anomalous transport by fractional dynamics. J. Phys. A 37, 161-208 (2004) MathSciNetView ArticleMATHGoogle Scholar
Caffarelli, L, Roquejoffre, JM, Savin, O: Nonlocal minimal surfaces. Commun. Pure Appl. Math. 63, 1111-1144 (2010) MathSciNetMATHGoogle Scholar
Applebaum, D: Lévy Processes and Stochastic Calculus. Cambridge University Press, Cambridge (2009) View ArticleMATHGoogle Scholar
Laskin, N: Fractional Schrödinger equation. Phys. Rev. E 66, 056108 (2002) MathSciNetView ArticleGoogle Scholar
Caffarelli, L, Vázquez, JL: Asymptotic behaviour of a porous medium equation with fractional diffusion. Discrete Contin. Dyn. Syst. 29, 1393-1404 (2011) MathSciNetMATHGoogle Scholar
Vázquez, JL: Nonlinear diffusion with fractional Laplacian operators. In: Nonlinear Partial Differential Equations. Abel Symposia, vol. 7, pp. 271-298 (2012) View ArticleGoogle Scholar
Molica Bisci, G, Repovs, D: On doubly nonlocal fractional elliptic equations. Atti Accad. Naz. Lincei, Rend. Lincei, Mat. Appl. 26, 161-176 (2015) MathSciNetView ArticleMATHGoogle Scholar
Molica Bisci, G, Repovs, D: Existence and localization of solutions for nonlocal fractional equations. Asymptot. Anal. 90, 367-378 (2014) MathSciNetMATHGoogle Scholar
Molica Bisci, G: Sequence of weak solutions for fractional equations. Math. Res. Lett. 21, 241-253 (2014) MathSciNetView ArticleMATHGoogle Scholar
Molica Bisci, G, Repovs, D: Multiple solutions for elliptic equations involving a general operator in divergence form. Ann. Acad. Sci. Fenn., Math. 39(1), 259-273 (2014) MathSciNetView ArticleMATHGoogle Scholar
Molica Bisci, G, Radulescu, V: Ground state solutions of scalar field fractional Schrödinger equations. Calc. Var. Partial Differ. Equ. 54, 2985-3008 (2015) MathSciNetView ArticleMATHGoogle Scholar
Ferrara, M, Molica Bisci, G, Repovs, D: Existence results for nonlinear elliptic problems on fractal domains. Adv. Nonlinear Anal. 5(1), 75-84 (2016) MathSciNetMATHGoogle Scholar
Autuori, G, Pucci, P: Elliptic problems involving the fractional Laplacian in $\mathbb{R}^{N}$. J. Differ. Equ. 255, 2340-2362 (2013) MathSciNetView ArticleMATHGoogle Scholar
Fiscella, A, Valdinoci, E: A critical Kirchhoff type problem involving a nonlocal operator. Nonlinear Anal. 94, 156-170 (2014) MathSciNetView ArticleMATHGoogle Scholar
Pucci, P, Xiang, MQ, Zhang, BL: Multiple solutions for nonhomogeneous Schrödinger-Kirchhoff type equations involving the fractional p-Laplacian in $\mathbb{R}^{N}$. Calc. Var. Partial Differ. Equ. 54, 2785-2806 (2015) MathSciNetView ArticleMATHGoogle Scholar
Xiang, MQ, Zhang, BL, Radulescu, V: Existence of solutions for perturbed fractional p-Laplacian equations. J. Differ. Equ. 260, 1392-1413 (2016) MathSciNetView ArticleMATHGoogle Scholar
Di Nezza, E, Palatucci, G, Valdinoci, E: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521-573 (2012) MathSciNetView ArticleMATHGoogle Scholar
Molica Bisci, G, Radulescu, V, Servadei, R: Variational Methods for Nonlocal Fractional Problems. Encyclopedia of Mathematics and Its Applications, vol. 162. Cambridge University Press, Cambridge (2016). Foreword by J Mawhin. ISBN:9781107111943 View ArticleMATHGoogle Scholar
Iannizzotto, A, Liu, S, Perera, K, Squassina, M: Existence results for fractional p-Laplacian problems via Morse theory. Adv. Calc. Var. (2016). doi:10.1515/acv-2014-0024 MathSciNetMATHGoogle Scholar
Servadei, R, Valdinoci, E: Mountain pass solutions for non-local elliptic operators. J. Math. Anal. Appl. 389, 887-898 (2012) MathSciNetView ArticleMATHGoogle Scholar
Servadei, R, Valdinoci, E: Variational methods for non-local operators of elliptic type. Discrete Contin. Dyn. Syst. 33, 2105-2137 (2013) MathSciNetMATHGoogle Scholar
Servadei, R, Valdinoci, E: Léwy-Stampacchia type estimates for variational inequalities driven by (non)local operators. Rev. Mat. Iberoam. 29, 1091-1126 (2013) MathSciNetView ArticleMATHGoogle Scholar
Xiang, MQ: A variational inequality involving nonlocal elliptic operators. Fixed Point Theory Appl. 2015, 148 (2015). doi:10.1186/s13663-015-0394-2 MathSciNetView ArticleGoogle Scholar
Xiang, MQ, Zhang, BL, Ferrara, M: Existence of solutions for Kirchhoff type problem involving the non-local fractional p-Laplacian. J. Math. Anal. Appl. 424, 1021-1041 (2015) MathSciNetView ArticleMATHGoogle Scholar
Fiscella, A, Servadei, R, Valdinoci, E: Density properties for fractional Sobolev spaces. Ann. Acad. Sci. Fenn., Math. 40, 235-253 (2015) MathSciNetView ArticleMATHGoogle Scholar
Filippucci, R, Pucci, P, Radulescu, V: Existence and non-existence results for quasilinear elliptic exterior problems with nonlinear boundary conditions. Commun. Partial Differ. Equ. 33, 706-717 (2008) MathSciNetView ArticleMATHGoogle Scholar
Zeider, E: Nonlinear Functional Analysis and Its Applications. II/B: Nonlinear Monotone Operators. Springer, New York (1990) View ArticleGoogle Scholar
Dugundji, J, Granas, A: Fixed Point Theory. I. Monografie Matematyczne, vol. 61. PWN, Warsaw (1982) MATHGoogle Scholar
Dinca, G: A fixed point method for the $p(\cdot)$-Laplacian. C. R. Acad. Sci. Paris, Ser. I 347, 757-762 (2009) MathSciNetView ArticleMATHGoogle Scholar
Fan, XL, Zhang, QH: Existence of solutions for $p(x)$-Laplacian Dirichlet problem. Nonlinear Anal. 52, 1843-1852 (2003) MathSciNetView ArticleMATHGoogle Scholar