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

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:

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.

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:

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

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:

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

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

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 Ω.

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).

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

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

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

The space W is equipped with the norm

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

endowed with the norm

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,

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

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. (1)

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

2. (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. (3)

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

Proof

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

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

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\),

and, for \(1< p<2\),

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

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

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:

1. (i)

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

2. (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

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

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

which can be rewritten

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

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

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

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

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

It follows from (3.7) that

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

Hence,

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

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

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

and

Inserting these two inequalities into (3.11), one has

Set

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

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).

Affiliations

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

   • Hong Qiu
   •  & Mingqi Xiang

Corresponding author

Correspondence to Mingqi Xiang.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Reprints and Permissions