Uniqueness of Positive Solutions to Non-Local Problems of Brézis–Oswald Type Involving Hardy Potentials

Abstract

The aim of this paper is to demonstrate the existence of a unique positive solution to non-local fractional p-Laplacian equations of the Brézis–Oswald type involving Hardy potentials. The main feature of this paper is solving the difficulty that arises in the presence of a singular coefficient and in the lack of the semicontinuity property of an energy functional associated with the relevant problem. The main tool for overcoming this difficulty is the concentration–compactness principle in fractional Sobolev spaces. Also, the uniqueness result of the Brézis–Oswald type is obtained by exploiting the discrete Picone inequality.

1. Introduction

In the last few decades, a great deal of work has been devoted to fractional Sobolev spaces and their corresponding non-local problems, arising in many fields such as fractional quantum mechanics, game theory, Lévy processes, image processing, thin obstacle problems, optimization, frame propagation, geophysical fluid dynamics, anomalous diffusion in plasma, and American options; see [1,2,3,4,5] and references therein for more details.

In this paper, we deal with a Brézis–Oswald-type problem driven by a non-local p-Laplacian fractional involving Hardy potential as follows:

$$\left\{\begin{array}{cc}{\mathcal{L}}^{s,p}\varphi \left(z\right)=\lambda {\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^{p-2}\varphi \left(z\right)}{{\left|z\right|}^{sp}}}+g(z,\varphi \left(z\right))\hfill & \mathrm{in}\Omega ,\hfill \\ \varphi =0\hfill & \mathrm{on}\partial \Omega ,\hfill \end{array}\right.$$

(1)

where $\lambda$ is a real parameter, $\Omega \subset {\mathbb{R}}^N(N\ge 2)$ is a bounded open set with Lipschitz boundary $\partial \Omega$, $0\in \Omega$, $s\in (0,1)$, $p\in (1,+\infty )$, $sp<N$, and $g:\Omega \times \mathbb{R}\to \mathbb{R}$ is non-negative function, which will be specified later. Here, ${\mathcal{L}}^{s,p}$ is a non-local operator defined pointwise as

$${\mathcal{L}}^{s,p}\varphi \left(z\right)=2{\int }_{{\mathbb{R}}^N}{|\varphi \left(z\right)-\varphi \left(y\right)|}^{p-2}(\varphi \left(z\right)-\varphi \left(y\right))\mathcal{K}(z,y)dy\mathrm{for}\mathrm{all}z\in {\mathbb{R}}^N,$$

where the kernel $\mathcal{K}:{\mathbb{R}}^N\times {\mathbb{R}}^N\to (0,+\infty )$ is a measurable function with the following properties:

($\mathcal{A}1$)

There are positive constants ${\gamma }_0$ and ${\gamma }_1$ with ${\gamma }_0\ge 1$ such that

$${\gamma }_0{|z-y|}^{-(N+sp)}\le \mathcal{K}(z,y)\le {\gamma }_1{|z-y|}^{-(N+sp)}$$

for almost all $(z,y)\in {\mathbb{R}}^N\times {\mathbb{R}}^N$ and $z\ne y$;

($\mathcal{A}2$)

$\mathcal{K}(z,y)=\mathcal{K}(y,z)$ for all $(z,y)\in {\mathbb{R}}^N\times {\mathbb{R}}^N$.

It is obvious that $m\mathcal{K}\in L^1({\mathbb{R}}^N\times {\mathbb{R}}^N)$ by setting $m(z,y)=min\left\{\right|z-y{|}^p,1\}$. If $\mathcal{K}(z,y)={|z-y|}^{-(N+sp)}$, ${\mathcal{L}}^{s,p}$ is the fractional p-Laplacian operator ${(-\Delta )}_p^s$ defined by

$${(-\Delta )}_p^s\varphi \left(z\right)=2\underset{\epsilon \searrow 0}{lim}{\int }_{{\mathbb{R}}^N\setminus B_{\rho }\left(z\right)}{\displaystyle \frac{{|\varphi \left(z\right)-\varphi \left(y\right)|}^{p-2}(\varphi \left(z\right)-\varphi \left(y\right))}{{|z-y|}^{N+sp}}}dy,z\in {\mathbb{R}}^N,$$

where $B_{\rho }\left(z\right):=\{z\in {\mathbb{R}}^N:|z-y|\le \rho \}$.

The primary purpose of the present paper is dedicated to proving the existence and uniqueness of solutions to non-local fractional p-Laplacian problems of the Brézis–Oswald type involving Hardy potentials in the spirit of the celebrated paper by Brézis–Oswald on Laplacian problems. In [6], the authors delved into the existence and uniqueness of solutions to certain types of sublinear elliptic equations. In particular, they provided insights and results that have significant implications for the study of differential equations and their applications. Since this work, there has been a growing interest in supplying necessary and/or sufficient conditions for the solvability of more general problems, taking into account various operators and boundary conditions; see [7,8,9,10,11,12,13,14,15,16]. The authors in [16] examined the conditions that ensure the existence of positive solutions to p-Laplacian equations, and also provided criteria under which the uniqueness of these solutions is guaranteed. As an improvement on the classical Brézis–Oswald and Dìaz–Saa results in the Orlicz–Sobolev framework, the existence and uniqueness of solutions for a quasilinear elliptic problem can be found in [10]. As we know, the main tool for considering the Brézis–Oswald result for p-Laplacian problems or more general problems is the Dìaz–Saa-type inequalities, as given in [16,17]. In order to apply the Dìaz–Saa-type inequalities given in [16,17] to an elliptic problem, the classical Hopf boundary lemma is needed to ensure the fact that the quotient between solutions belongs to the $L^{₩\infty }$-space. However, the solutions of fractional-order equation are usually singular at the boundary, making it difficult to deal with their quotient between solutions because Hopf’s boundary lemma is not preserved. Thus, in contrast with the references [10,12,13], the major difficulty is to obtain the result that a nonlinear problem of the Brézis–Oswald type driven by the fractional p-Laplacian possesses a unique positive weak solution. The authors in [7,11,15,18] overcame this difficulty by considering the discrete Picone inequality in [8,19]. By using this inequality, Mugnai–Pinamonti–Vecchi [15] discussed necessary and sufficient conditions that ensure the existence of a unique positive solution to the non-local Robin boundary value problem involving the fractional p-Laplacian. Motivated by this work, the author in [18] recently established the existence, uniqueness, and localization of positive solutions to non-local problems with discontinuous Kirchhoff-type functions via the global minimum principle of Ricceri [20]. Also, I refer to [11] for the case of the fractional $(p,q)$–Laplace equation with Dirichlet boundary conditions, and to [7] for some sublinear Dirichlet problems driven by a mixed local and a non-local operator.

Another interesting respect of the problem at hand is the emergence of Hardy potentials. In recent years, the stationary problem associated with singular coefficients has gained increasing attention as they can be demonstrated in models of various physical phenomena and in economic models. For more comprehensive details and examples, see [21,22,23]. In addition, by virtue of this great interest, these problems have been investigated more in recent years; see [24,25,26,27]. In particular, Ferrara and Bisci [24] revealed that a nonlinear Dirichlet boundary problem with Hardy potential possesses at least one nontrivial solution. Inspired by this work, Khodabakhshi et al. [26] proved the existence of at least three distinct generalized solutions; see [27] for nonlinear elliptic problems involving p-Laplace-type operators. Here, we also cite the paper given in [25] for infinitely many solutions. These elliptic problems with singular coefficients pose some technical difficulties because it is not immediately obvious how to assure the compactness condition of the Palais–Smale type in the desired function space due to the presence of Hardy potential. For this reason, the authors of [24,25,26,27] discussed the multiplicity results of solutions by exploiting the various critical point theorems in [28,29] without substantiating the compactness condition of the Palais–Smale type.

In a different approach from [24,25,26,27], Fiscella in [30] recently demonstrated the existence of at least one non-trivial solution to a fractional p-Laplacian equation of the Schrödinger–Kirchhoff type with a Hardy term:

$$\left(\alpha +\beta {\left[\varphi \right]}_{s,p}^{p(\theta -1)}\right){(-\Delta )}_p^s\varphi \left(z\right)+\mathcal{V}\left(z\right){\left|\varphi \right|}^{p-2}v=\lambda {\displaystyle \frac{{\left|\varphi \right|}^{p-2}\varphi }{{\left|z\right|}^{sp}}}+\mu g(z,\varphi )in{\mathbb{R}}^N,$$

where $\alpha >0$, $\beta \ge 0$, $1<p<p^{*}$, $\theta \ge 1$, $\lambda$ and $\mu$ are real numbers, $\mathcal{V}:{\mathbb{R}}^N\to (0,\infty )$ is a potential function, and g is a continuous function that fulfills the classical Ambrosetti–Rabinowitz condition. The primary tool for achieving this consequence is the mountain pass theorem. Motivated by this work, the existence of multiple solutions to equations of the Schrödinger-Hardy type driven by the non-local fractional p-Laplacian was obtained in [12]. In addition, the authors of [31] derived several multiplicity results and proved the regularity of nontrivial solutions for Kirchhoff–Schrödinger–Hardy-type p-Laplacian problems.

Unlike the aforementioned related studies, the main purpose of this paper is to establish the existence of a unique positive solution to non-local fractional p-Laplacian problems of the Brézis–Oswald type with Hardy potential without exploiting critical point theorems in [28,29] and the variational methods in [12,30,31]. However, this problem has some technical difficulties in showing the semicontinuity property of an energy functional corresponding to problem (1) because of the presence of the Hardy term. To overcome this difficulty, we utilize the concentration-compactness principle in fractional Sobolev spaces, which is given in [32,33]. As far as we are aware, this study is the first effort to develop the uniqueness result of positive solutions to non-local Brézis–Oswald-type elliptic problems with Hardy potentials.

The remainder of this paper is organized as follows. Section 2 presents some essential preliminary knowledge of function spaces to be utilized in the rest of the paper. In Section 3, we provide the variational framework related to problem (1); then, Section 4 derives the existence result of a unique positive solution under suitable assumptions. Finally, some useful comments related to the problems given in (1) are given in Section 5.

2. Preliminaries

In this section, we briefly give some useful definitions and elementary properties of fractional Sobolev spaces that will be utilized in the next sections. Let the fractional Sobolev space $W^{s,p}(\Omega )$ be defined as follows:

$$W^{s,p}(\Omega ):=\left\{\varphi \in L^p(\Omega ):{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\displaystyle \frac{{|\varphi \left(z\right)-\varphi \left(y\right)|}^p}{{|z-y|}^{N+ps}}}dzdy<+\infty \right\},$$

endowed with the norm

$${\left|\right|\varphi \left|\right|}_{W^{s,p}(\Omega )}:={\left({||\varphi ||}_{L^p(\Omega )}^p+{\left|\varphi \right|}_{W^{s,p}\left({\mathbb{R}}^N\right)}^p\right)}^{{\displaystyle \frac{1}{p}}},$$

where

$${\left|\right|\varphi \left|\right|}_{L^p(\Omega )}^p:={\int }_{\Omega }{\left|\varphi \left(z\right)\right|}^{p}dz\mathrm{and}{\left|\varphi \right|}_{W^{s,p}\left({\mathbb{R}}^N\right)}^p:={\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\displaystyle \frac{{|\varphi \left(z\right)-\varphi \left(y\right)|}^p}{{|z-y|}^{N+ps}}}dzdy.$$

Then, $W^{s,p}(\Omega )$ is a separable and reflexive Banach space. Also, the space $C_0^{\infty }(\Omega )$ is dense in $W^{s,p}(\Omega )$—that is, $W_0^{s,p}(\Omega )=W^{s,p}(\Omega )$ (see, e.g., [4,34]).

Lemma 1 

([4]). Let $s\in (0,1)$ and $p\in (1,+\infty )$. Then, the following continuous embeddings hold:

$$\begin{array}{cc}\hfill & W^{s,p}(\Omega )\hookrightarrow L^q(\Omega )\mathit{for}\mathit{all}q\in [1,p_s^{*}],\mathit{if}sp<N;\hfill \\ \hfill & W^{s,p}(\Omega )\hookrightarrow L^q(\Omega )\mathit{for}\mathit{every}q\in [1,\infty ),\mathit{if}sp=N;\hfill \\ \hfill & W^{s,p}(\Omega )\hookrightarrow C_b^{0,\lambda }(\Omega )\mathit{for}\mathit{all}\lambda <s-N/p,\mathit{if}sp>N.\hfill \end{array}$$

In particular, the space $W^{s,p}(\Omega )$ is compactly embedded in $L^{\ell }(\Omega )$ for any $\ell \in [1,p_s^{*})$, where $p_s^{*}$ is the fractional critical Sobolev exponent, namely,

$$p_s^{*}:=\left\{\begin{array}{cc}{\displaystyle \frac{Np}{N-sp}}\hfill & \mathit{if}sp<N,\hfill \\ +\infty \hfill & \mathit{if}sp\ge N.\hfill \end{array}\right.$$

Let the fractional Sobolev space $W_{\mathcal{K}}^{s,p}\left({\mathbb{R}}^N\right)$ be defined as follows:

$$W_{\mathcal{K}}^{s,p}\left({\mathbb{R}}^N\right):=\left\{\varphi \in L^p\left({\mathbb{R}}^N\right):{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{|\varphi \left(y\right)-\varphi \left(z\right)|}^p\mathcal{K}(y,z)dydz<+\infty \right\},$$

where the kernel function $\mathcal{K}:{\mathbb{R}}^N\times {\mathbb{R}}^N\setminus \left\{(0,0)\right\}\to (0,+\infty )$ satisfies the conditions ($\mathcal{A}$1)–($\mathcal{A}$2). By the assumption ($\mathcal{A}$1), the function

$$(y,z)\mapsto (\varphi \left(y\right)-\varphi \left(z\right)){\mathcal{K}}^{\frac{1}{p}}(y,z)\in L^p\left({\mathbb{R}}^N\right)$$

holds for any $\varphi \in C_0^{\infty }\left({\mathbb{R}}^N\right)$. Let us consider the problem (1) in the closed linear subspace defined as

$$X:=\left\{\varphi \in W_{\mathcal{K}}^{s,p}\left({\mathbb{R}}^N\right):\varphi \left(y\right)=0\mathrm{a}.\mathrm{e}.\mathrm{in}{\mathbb{R}}^N\setminus \Omega \right\}$$

with respect to the norm

$${\left|\right|\varphi \left|\right|}_X:={\left({||\varphi ||}_{L^p(\Omega )}^p+{\left[\varphi \right]}_{s,p}^p\right)}^{{\displaystyle \frac{1}{p}}},$$

where

$${\left[\varphi \right]}_{s,p}^p:={\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{|\varphi \left(y\right)-\varphi \left(z\right)|}^p\mathcal{K}(y,z)dydz.$$

Throughout the sequel, let $s\in (0,1)$, with $p\in (1,+\infty )$ and $ps<N$, and let the kernel function $\mathcal{K}:{\mathbb{R}}^N\times {\mathbb{R}}^N\setminus \left\{(0,0)\right\}\to (0,\infty )$ satisfy the conditions ($\mathcal{A}$1)–($\mathcal{A}$2).

Lemma 2 

([35]). If $\varphi \in X$, then $\varphi \in W^{s,p}(\Omega )$. Additionally, one has

$${||\varphi ||}_{W^{s,p}(\Omega )}\le max\{1,{\gamma }_0^{-\frac{1}{p}}\}{||\varphi ||}_X,$$

where ${\gamma }_0$ is given in ($\mathcal{A}$2).

According to Lemmas 1 and 2, we can give the following assertion instantly:

Lemma 3 

([35]). For any $\varphi \in X$ and $1\le q\le p_s^{*}$, there is a constant ${\mathfrak{C}}_0=C_0(s,p,N)>0$ such that

$$\begin{array}{cc}\hfill {\left|\right|\varphi \left|\right|}_{L^q(\Omega )}^p& \le {\mathfrak{C}}_0{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\displaystyle \frac{{|\varphi \left(z\right)-\varphi \left(y\right)|}^p}{{|z-y|}^{N+ps}}}dzdy\hfill \\ \hfill & \le {\displaystyle \frac{{\mathfrak{C}}_0}{{\gamma }_0}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{|\varphi \left(z\right)-\varphi \left(y\right)|}^p\mathcal{K}(z,y)dzdy,\hfill \end{array}$$

where ${\gamma }_0$ is given in ($\mathcal{A}$2). As a result, the space X is continuously embedded in $L^{\ell }(\Omega )$ for any $\ell \in [1,p_s^{*}]$. Additionally, the embedding

$$X\hookrightarrow L^{\ell }(\Omega )$$

is compact for $\ell \in (1,p_s^{*})$.

The following consequence is the fractional Hardy inequality given in [19].

Lemma 4. 

For any $\varphi \in X$, in case $sp<N$, and for all $\varphi \in X\setminus \left\{0\right\}$, in case $sp>N$, we have

$$\begin{array}{cc}\hfill {\left|\right|\varphi \left|\right|}_{H_p}^p:={\int }_{\Omega }{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}dz& \le c_H{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\displaystyle \frac{{\left|\varphi \left(z\right)-\varphi \left(y\right)\right|}^p}{{\left|z-y\right|}^{N+sp}}}dydz,\hfill \\ \hfill & \le {\displaystyle \frac{c_H}{{\gamma }_0}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|\varphi \left(z\right)-\varphi \left(y\right)\right|}^p\mathcal{K}(z,y)dydz,\hfill \end{array}$$

(2)

where $c_H:=c_H(N,s,p)$ is a positive constant.

3. Variational Setting and Useful Auxiliaries

In this section, we give the variational setting associated with problem (1). Also, we provide some useful auxiliary consequences, which are essential in obtaining our main result.

Let the functional ${\Phi }_{\lambda }:X\to \mathbb{R}$ be defined by

$${\Phi }_{\lambda }\left(\varphi \right):=\Phi \left(\varphi \right)-\lambda {\Phi }_H\left(\varphi \right),$$

where

$$\Phi \left(\varphi \right):={\displaystyle \frac{1}{p}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{|\varphi \left(z\right)-\varphi \left(y\right)|}^p\mathcal{K}(z,y)dydz\mathrm{and}{\Phi }_H\left(\varphi \right):={\displaystyle \frac{1}{p}}{\int }_{\Omega }{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}dz.$$

Then, it is not difficult to show that ${\Phi }_{\lambda }$ is well defined on X, and the result below can be derived from following the lines of the proof of Lemma 2 in [36].

Lemma 5. 

For each $\lambda \in \mathbb{R}$, the functional ${\Phi }_{\lambda }:X\to \mathbb{R}$ is of class $C^1(X,\mathbb{R})$ and its Fréchet derivative is

$$\begin{array}{cc}\hfill ⟨{\Phi }_{\lambda }^{\prime }\left(\varphi \right),\phi ⟩=& {\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|\varphi \left(z\right)-\varphi \left(y\right)\right|}^{p-2}(\varphi \left(z\right)-\varphi \left(y\right))(\phi \left(z\right)-\phi \left(y\right))\mathcal{K}(z,y)dydz\hfill \\ \hfill & -\lambda {\int }_{\Omega }{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^{p-2}}{{\left|z\right|}^{sp}}}\varphi \phi dz\hfill \end{array}$$

(3)

for any $\varphi ,\phi \in X$, where $⟨·,·⟩$ denotes the pairing of X and its dual $X^{*}$.

Proof. 

It is immediately provable that ${\Phi }_{\lambda }$ has a Fréchet derivative in X and (3) is satisfied for any $\varphi ,\phi \in X$. Let ${\left\{{\varphi }_n\right\}}_{n\in N}\subset X$ be a sequence satisfying ${\varphi }_n\to \varphi$ strongly in X as $n\to \infty$. Without loss of generality, we assume that ${\varphi }_n\to \varphi$ a.e. in ${\mathbb{R}}^N$. Then, the sequence

$${\left\{|{\varphi }_n\left(z\right)-{\varphi }_n{\left(y\right)|}^{p-2}({\varphi }_n\left(z\right)-{\varphi }_n\left(y\right))\mathcal{K}{(z,y)}^{\frac{1}{p^{\prime }}}\right\}}_{n\in N}$$

is bounded in $L^{p^{\prime }}({\mathbb{R}}^N\times {\mathbb{R}}^N)$, as well as a.e. in ${\mathbb{R}}^N\times {\mathbb{R}}^N$:

$$\begin{array}{cc}\hfill & {\mathcal{A}}_n(z,y):={|{\varphi }_n\left(z\right)-{\varphi }_n\left(y\right)|}^{p-2}({\varphi }_n\left(z\right)-{\varphi }_n\left(y\right))\mathcal{K}{(z,y)}^{\frac{1}{p^{\prime }}}\hfill \\ \hfill & ⟶\mathcal{A}(z,y):={|\varphi \left(z\right)-\varphi \left(y\right)|}^{p-2}(\varphi \left(z\right)-\varphi \left(y\right))\mathcal{K}{(z,y)}^{\frac{1}{p^{\prime }}}\mathrm{as}n\to \infty .\hfill \end{array}$$

Thus, taking into account the Brézis–Lieb Lemma (see [37]), one has

$$\begin{array}{cc}\hfill & \underset{n\to \infty }{lim}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|{\mathcal{A}}_n(z,y)-\mathcal{A}(z,y)\right|}^{p^{\prime }}dydz\hfill \\ \hfill & =\underset{n\to \infty }{lim}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}\left(|{\varphi }_n\left(z\right)-{\varphi }_n{\left(y\right)|}^p\mathcal{K}(z,y)-{|\varphi \left(z\right)-\varphi \left(y\right)|}^p\mathcal{K}(z,y)\right)dydz.\hfill \end{array}$$

(4)

The fact that ${\left\{{\varphi }_n\right\}}_{n\in N}$ converges strongly to $\varphi$ in X as $n\to \infty$ implies that

$$\underset{n\to \infty }{lim}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}\left(|{\varphi }_n\left(z\right)-{\varphi }_n{\left(y\right)|}^p\mathcal{K}(z,y)-{|\varphi \left(z\right)-\varphi \left(y\right)|}^p\mathcal{K}(z,y)\right)dydz=0.$$

Owing to (4), we infer that

$$\underset{n\to \infty }{lim}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|{\mathcal{A}}_n(z,y)-\mathcal{A}(z,y)\right|}^{p^{\prime }}dydz=0.$$

(5)

On the other hand, the sequence

$${\left\{{\displaystyle \frac{|{\varphi }_n{\left(z\right)|}^{p-2}{\varphi }_n\left(z\right)}{{\left|z\right|}^{\frac{sp}{p^{\prime }}}}}\right\}}_{n\in N}$$

is bounded in $L^{p^{\prime }}(\Omega )$, as well as a.e. in $\Omega$:

$${\tilde{\mathcal{A}}}_n\left(z\right):={\displaystyle \frac{|{\varphi }_n{\left(z\right)|}^{p-2}{\varphi }_n\left(z\right)}{{\left|z\right|}^{\frac{sp}{p^{\prime }}}}}⟶\tilde{\mathcal{A}}\left(z\right):={\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^{p-2}\varphi \left(z\right)}{{\left|z\right|}^{\frac{sp}{p^{\prime }}}}}\mathrm{as}n\to \infty .$$

Thus, we have

$$\underset{n\to \infty }{lim}{\int }_{\Omega }{\left|{\tilde{\mathcal{A}}}_n\left(z\right)-\tilde{\mathcal{A}}\left(z\right)\right|}^{p^{\prime }}dz=\underset{n\to \infty }{lim}{\int }_{\Omega }\left({\displaystyle \frac{|{\varphi }_n{\left(z\right)|}^p}{{\left|z\right|}^{sp}}}-{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}\right)dz.$$

(6)

Since ${\left\{{\varphi }_n\right\}}_{n\in N}$ converges strongly to $\varphi$ in X as $n\to \infty$, it follows from Lemma 4 that

$$\begin{array}{cc}\hfill & \underset{n\to \infty }{lim}{\int }_{\Omega }\left({\displaystyle \frac{|{\varphi }_n{\left(z\right)|}^p}{{\left|z\right|}^{sp}}}-{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}\right)dz\hfill \\ \hfill & =\underset{n\to \infty }{lim}{\int }_{\Omega }{\displaystyle \frac{|{\varphi }_n\left(z\right)-\varphi \left(z\right){|}^p}{{\left|z\right|}^{sp}}}dz\hfill \\ \hfill & \le \underset{n\to \infty }{lim}{\displaystyle \frac{c_H}{{\gamma }_0}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|({\varphi }_n-\varphi )\left(z\right)-({\varphi }_n-\varphi )\left(y\right)\right|}^p\mathcal{K}(z,y)dydz\hfill \\ \hfill & \le \underset{n\to \infty }{lim}{\displaystyle \frac{c_H}{{\gamma }_0}}\left|\right|{\varphi }_n-\varphi {\left|\right|}_X^p\hfill \\ \hfill & =0.\hfill \end{array}$$

(7)

In accordance with (6) and (7), it follows that

$$\underset{n\to \infty }{lim}{\int }_{{\mathbb{R}}^N}{\left|{\tilde{\mathcal{A}}}_n\left(z\right)-\tilde{\mathcal{A}}\left(z\right)\right|}^{p^{\prime }}dz=0.$$

(8)

Combining (5) and (8) with the Hölder inequality, we obtain that

$$\left|\right|{\Phi }_{\lambda }^{\prime }\left({\varphi }_n\right)-{\Phi }_{\lambda }^{\prime }\left(\varphi \right){||}_{X^{*}}=\underset{\varphi \in {X,\left|\right|\varphi \left|\right|}_X=1}{sup}\left|⟨{\Phi }_{\lambda }^{\prime }\left({\varphi }_n\right)-{\Phi }_{\lambda }^{\prime }\left(\varphi \right),\phi ⟩\right|⟶0$$

as $n\to \infty$. Therefore, we assert ${\Phi }_{\lambda }\in C^1(X,\mathbb{R})$. □

In view of Lemma 4, we have

$${\gamma }_0{c}_H^{-1}\le S_{*}:=\underset{u\in X\setminus \left\{0\right\}}{inf}{\displaystyle \frac{{||\varphi ||}_X}{{||\varphi ||}_{H_p}}}.$$

(9)

Now, we present the following consequence, which provides the concentration-compactness principle in fractional Sobolev spaces; see [32,33]. This result is essential in showing the semicontinuity property of the functional ${\Phi }_{\lambda }$.

Lemma 6. 

Let $\mathcal{M}\left({\mathbb{R}}^N\right)$ be the space of all signed finite Radon measures on ${\mathbb{R}}^N$ with the total variation norm. Let $\left\{{\varphi }_n\right\}$ be a bounded sequence in X such that ${\varphi }_n\rightharpoonup \varphi$ in X. Let us assume that

$$\begin{array}{cc}\hfill & {\int }_{{\mathbb{R}}^N}|{\varphi }_n\left(z\right)-{\varphi }_n{\left(y\right)|}^p\mathcal{K}(z,y)dy\stackrel{*}{\rightharpoonup }\mu \mathit{in}\mathcal{M}\left({\mathbb{R}}^N\right),\hfill \\ \hfill & {\displaystyle \frac{|{\varphi }_n\left(z\right){|}^p}{{\left|z\right|}^{sp}}}\stackrel{*}{\rightharpoonup }\nu \mathit{in}\mathcal{M}\left({\mathbb{R}}^N\right).\hfill \end{array}$$

(10)

Then, there exist sets ${\left\{{\nu }_i\right\}}_{i\in I}\subset (0,\infty )$, ${\left\{{\mu }_i\right\}}_{i\in I}\subset (0,\infty )$, and ${\left\{x_i\right\}}_{i\in I}\subset \mathcal{C}$ where I is an at most countable index set, such that

$$\begin{array}{cc}\hfill & \nu ={\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}+\sum _{i\in I}{\nu }_i{\delta }_{x_i},\hfill \end{array}$$

(11)

$$\begin{array}{cc}\hfill & \mu \ge {\int }_{{\mathbb{R}}^N}{|\varphi \left(z\right)-\varphi \left(y\right)|}^p\mathcal{K}(z,y)dy+\sum _{i\in I}{\mu }_i{\delta }_{x_i},\hfill \end{array}$$

(12)

$$\begin{array}{cc}\hfill & {\mu }_i\ge S_{*}{\nu }_i\mathit{for}\mathit{all}i\in I,\hfill \end{array}$$

(13)

where ${\delta }_{x_i}$ denotes the Dirac mass at $x_i$ and

$$S_{*}:=\underset{\varphi \in X\setminus \left\{0\right\}}{inf}{\displaystyle \frac{{||\varphi ||}_X}{{||\varphi ||}_{H_p}}}>0.$$

(14)

Lemma 7. 

There is a constant ${\lambda }^{*}>0$ such that the functional ${\Phi }_{\lambda }=\Phi -\lambda {\Phi }_H$ is sequentially weakly lower semicontinuous on X for any $\lambda \in (-\infty ,{\lambda }^{*})$; that is,

$${\Phi }_{\lambda }\left(\varphi \right)\le \underset{n\to +\infty }{lim\; inf}{\Phi }_{\lambda }\left({\varphi }_n\right)\mathit{if}{\varphi }_n\to \varphi \mathit{weakly}\mathit{in}X.$$

Proof. 

Thanks to Theorem 6 in [38], we infer that $C_c^{\infty }(\Omega )$ is a dense subset of X. Hence, utilizing density arguments to show that ${\Phi }_{\lambda }$ is sequentially weakly lower semicontinuous on X, it suffices to prove that the functional

$${\Phi }_{\lambda }\mathrm{is}\mathrm{sequentially}\mathrm{weakly}\mathrm{lower}\mathrm{semicontinuous}\mathrm{on}{C}_c^{\infty }(\Omega )$$

(15)

for any $\lambda \in (-\infty ,{\lambda }^{*})$. So, let ${\left\{{\varphi }_n\right\}}_{n\in N}$ be a sequence in $C_c^{\infty }(\Omega )$ such that

$${\varphi }_n\to \varphi \mathrm{weakly}\mathrm{in}X,\mathrm{as}n\to +\infty .$$

(16)

Thus, in accordance with Lemma 6, there exist two bounded measures $\nu$ and $\mu$, positive real numbers ${\left\{{\nu }_i\right\}}_{i\in I},{\left\{{\mu }_i\right\}}_{i\in I}$, and an at most countable set of indices I of distinct points ${\left\{x_i\right\}}_{i\in I}\subset \overline{\Omega }$ such that the following convergence holds weakly in the sense of measures:

$${\int }_{{\mathbb{R}}^N}|{\varphi }_n\left(z\right)-{\varphi }_n{\left(y\right)|}^p\mathcal{K}(z,y)dy\rightharpoonup \mu \ge {\int }_{{\mathbb{R}}^N}{|\varphi \left(z\right)-\varphi \left(y\right)|}^p\mathcal{K}(z,y)dy+\sum _{i\in I}{\mu }_i{\delta }_{x_i},$$

(17)

$${\displaystyle \frac{|{\varphi }_n\left(z\right){|}^p}{{\left|z\right|}^{sp}}}\rightharpoonup \nu ={\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}+\sum _{i\in I}{\nu }_i{\delta }_{x_i}.$$

(18)

Finally,

$$S_{*}{\nu }_i\le {\mu }_i,\mathrm{for}\mathrm{all}i\in I.$$

(19)

By virtue of the continuity of the embedding $X\hookrightarrow L^p(\Omega )$, for every $p\in [1,p^{*}]$, we have that

$${\varphi }_n\to \varphi \mathrm{strongly}\mathrm{in}{L}^p(\Omega ),\mathrm{as}n\to +\infty .$$

Set ${\lambda }^{*}=c_H^{-1}{\gamma }_0$, where ${\gamma }_0$ and $c_H$ are given in ($\mathcal{A}$2) and Lemma 4. Let us consider $\lambda \in (0,{\lambda }^{*})$ first. In view of Lemma 4, we know ${\gamma }_0{c}_H^{-1}\le S_{*}$. From this and (17)–(19), we obtain that

$$\begin{array}{cc}\hfill & \underset{n\to +\infty }{lim\; inf}{\Phi }_{\lambda }\left({\varphi }_n\right)\hfill \\ & =\underset{n\to +\infty }{lim\; inf}\left[{\displaystyle \frac{1}{p}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}|{\varphi }_n\left(z\right)-{\varphi }_n{\left(y\right)|}^p\mathcal{K}(z,y)dydz-{\displaystyle \frac{\lambda }{p}}{\int }_{\Omega }{\displaystyle \frac{|{\varphi }_n\left(z\right){|}^p}{{\left|z\right|}^{sp}}}dz\right]\hfill \\ \hfill & \ge {\displaystyle \frac{1}{p}}\left({\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{|\varphi \left(z\right)-\varphi \left(y\right)|}^p\mathcal{K}(z,y)dydz+\sum _{i=1}^k{\mu }_i\right)\hfill \\ \hfill & -{\displaystyle \frac{\lambda }{p}}\left({\int }_{\Omega }{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}dz+\sum _{i=1}^k{\nu }_i\right)\hfill \\ \hfill & ={\displaystyle \frac{1}{p}}\left({\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{|\varphi \left(z\right)-\varphi \left(y\right)|}^p\mathcal{K}(z,y)dydz-{\displaystyle \frac{\lambda }{p}}{\int }_{\Omega }{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}dz\right)\hfill \\ \hfill & +{\displaystyle \frac{1}{p}}\sum _{i=1}^k{\mu }_i-{\displaystyle \frac{\lambda }{p}}\sum _{i=1}^k{\nu }_i\hfill \\ \hfill & \ge {\Phi }_{\lambda }\left(\varphi \right)+{\displaystyle \frac{1}{p}}\sum _{i=1}^k{\mu }_i-{\displaystyle \frac{\lambda }{p}}\sum _{i=1}^k{\displaystyle \frac{c_H{\mu }_i}{{\gamma }_0}}\hfill \\ \hfill & ={\Phi }_{\lambda }\left(\varphi \right)+\left({\displaystyle \frac{1-\lambda c_H{\gamma }_0^{-1}}{p}}\right)\sum _{i=1}^k{\mu }_i\hfill \\ \hfill & \ge {\Phi }_{\lambda }\left(\varphi \right)\hfill \end{array}$$

(20)

for any $\lambda \in (0,{\lambda }^{*})$.

On the other hand, let $\lambda \in (-\infty ,0]$. Then, we have

$$\begin{array}{cc}\hfill & \underset{n\to +\infty }{lim\; inf}{\Phi }_{\lambda }\left({\varphi }_n\right)\hfill \\ \hfill & =\underset{n\to +\infty }{lim\; inf}\left[{\displaystyle \frac{1}{p}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}|{\varphi }_n\left(z\right)-{\varphi }_n{\left(y\right)|}^p\mathcal{K}(z,y)dydz-{\displaystyle \frac{\lambda }{p}}{\int }_{\Omega }{\displaystyle \frac{|{\varphi }_n\left(z\right){|}^p}{{\left|z\right|}^{sp}}}dz\right]\hfill \\ \hfill & \ge {\displaystyle \frac{1}{p}}\left({\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{|\varphi \left(z\right)-\varphi \left(y\right)|}^p\mathcal{K}(z,y)dydz+\sum _{i=1}^k{\mu }_i\right)\hfill \\ \hfill & \ge {\Phi }_{\lambda }\left(\varphi \right)+{\displaystyle \frac{1}{p}}\sum _{i=1}^k{\mu }_i\hfill \\ \hfill & \ge {\Phi }_{\lambda }\left(\varphi \right).\hfill \end{array}$$

(21)

From relations (20) and (21), we deduce (15).

Now, let ${\left\{{\varphi }_n\right\}}_{n\in \mathbb{N}}$ be a sequence in X satisfying the same condition (16). Then, taking density arguments into account, we have for any $n\in \mathbb{N}$ that there exists ${\left\{{\varphi }_n^k\right\}}_{k\in \mathbb{N}}$ in $C_c^{\infty }(\Omega )$ such that

$${\varphi }_n^k\to {\varphi }_n\mathrm{strongly}\mathrm{in}X,\mathrm{as}k\to +\infty .$$

(22)

From (16) and (22), we have that

$$⟨{\varphi }_n^k-\varphi ,\phi ⟩=⟨{\varphi }_n^k-{\varphi }_n,\phi ⟩+⟨{\varphi }_n-\varphi ,\phi ⟩\to 0,\mathrm{as}n,k\to +\infty$$

for any $\phi \in X$. Then,

$${\varphi }_n^k\to \varphi \mathrm{weakly}\mathrm{in}X,\mathrm{as}n,k\to +\infty .$$

(23)

Since ${\left\{{\varphi }_n^k\right\}}_{k\in \mathbb{N}}$ is contained in $C_c^{\infty }(\Omega )$ and statement (15) is satisfied, we deduce that

$$\underset{n,k\to +\infty }{lim\; inf}{\Phi }_{\lambda }\left({\varphi }_n^k\right)\ge {\Phi }_{\lambda }\left(\varphi \right).$$

(24)

In addition, by (22), it is immediate to see that for any $n\in \mathbb{N}$, we have

$$\underset{k\to +\infty }{lim\; inf}{\Phi }_{\lambda }\left({\varphi }_n^k\right)={\Phi }_{\lambda }\left({\varphi }_n\right).$$

So, passing to the limit inferior, we obtain

$$\underset{n,k\to +\infty }{lim\; inf}{\Phi }_{\lambda }\left({\varphi }_n^k\right)=\underset{n\to +\infty }{lim\; inf}\left(\underset{k\to +\infty }{lim}{\Phi }_{\lambda }\left({\varphi }_n^k\right)\right)=\underset{n\to +\infty }{lim\; inf}{\Phi }_{\lambda }\left({\varphi }_n\right).$$

(25)

By (24) and (25), we obtain that

$$\underset{n\to +\infty }{lim\; inf}{\Phi }_{\lambda }\left({\varphi }_n\right)\ge {\Phi }_{\lambda }\left(\varphi \right).$$

Therefore, ${\Phi }_{\lambda }$ is sequentially weakly lower semicontinuous on X. □

4. Main Result

In this section, we give the existence result of a unique nontrivial positive solution to problem (1), which is the main result of this paper. To accomplish this, suppose that the following conditions hold:

(F1)

$g:\Omega \times \mathbb{R}\to \mathbb{R}$ is a Carathéodory function;

(F2)

$0\le g(·,\eta )\in L^{\infty }(\Omega )$ for every $\eta \ge 0$, and there exists a constant ${\rho }_1>0$ such that

$$g(z,\eta )\le {\rho }_1\left(1+{\left|\eta \right|}^{p-1}\right)$$

for all $\eta \ge 0$ and for almost all $z\in \Omega$;

(F3)

${lim}_{\eta \to +\infty }{\displaystyle \frac{g(z,\eta )}{{\eta }^{p-1}}}=0$ and ${lim}_{\eta \to 0^{+}}{\displaystyle \frac{g(z,\eta )}{{\eta }^{p-1}}}=+\infty$ for almost all $z\in \Omega$;

(F4)

The function $\eta \mapsto {\displaystyle \frac{g(z,\eta )}{{\eta }^{p-1}}}$ is decreasing in $(0,+\infty )$, uniformly in $z\in \Omega$.

Under Assumptions (F1) and (F2), let the functional $\mathcal{B}:X\to \mathbb{R}$ be defined by

$$\mathcal{B}\left(\varphi \right):={\int }_{\Omega }G(z,\varphi \left(z\right))dz$$

for any $\varphi \in X$, where $G(z,\eta )={\int }_0^{\eta }g(z,t)dt$. Then, it is easy to show that $\mathcal{B}\in C^1(X,\mathbb{R})$, and its Fréchet derivative is

$$⟨{\mathcal{B}}^{\prime }\left(\varphi \right),\phi ⟩={\int }_{\Omega }g(z,\varphi )\phi dz$$

for any $\varphi ,\phi \in X$. Next, the functional $\mathcal{J}:X\to \mathbb{R}$ is defined as

$$\begin{array}{c}\hfill \mathcal{J}\left(\varphi \right)={\Phi }_{\lambda }\left(\varphi \right)-\mathcal{B}\left(\varphi \right).\end{array}$$

Then, $\mathcal{J}\in C^1(X,\mathbb{R})$ and its Fréchet derivative is

$$⟨{\mathcal{J}}^{\prime }\left(\varphi \right),\phi ⟩=⟨{\Phi }_{\lambda }^{\prime }\left(\varphi \right),\phi ⟩-⟨{\mathcal{B}}^{\prime }\left(\varphi \right),\phi ⟩\mathrm{for} \mathrm{any} \varphi ,\phi \in X.$$

We now introduce a discrete version of the celebrated Picone inequality that is given in Proposition 4.2 in [8]; see also Lemma 2.6 in [19].

Lemma 8 

(Discrete Picone inequality). Let $1<p<\infty$ and let $\alpha ,\beta ,\gamma ,\delta \in [0,+\infty )$, with $\alpha ,\beta >0$. Then,

$${\psi }_p(\alpha -\beta )\left[{\displaystyle \frac{{\gamma }^p}{{\alpha }^{p-1}}}-{\displaystyle \frac{{\delta }^p}{{\beta }^{p-1}}}\right]\le {\left|\gamma -\delta \right|}^p,$$

(26)

where ${\psi }_p\left(\eta \right)={\left|\eta \right|}^{p-2}\eta$ for $\eta \in \mathbb{R}$. In addition, if equality holds in (26), then

$${\displaystyle \frac{\alpha }{\beta }}={\displaystyle \frac{\gamma }{\delta }}.$$

For any ${\varphi }_i\in X$ and $\epsilon >0$, let us define the following truncation:

$${\varphi }_{i,\epsilon }:=\min \{{\varphi }_i,{\epsilon }^{-1}\}.$$

(27)

Now, we give a technical Lemma that will be very useful hereinafter. The proof of this assertion is completely the same as that of Lemma 2.3 in [15]; see also [18]. For the reader’s convenience, we will give the proof.

Lemma 9. 

Let ${\varphi }_1,{\varphi }_2\in X$ with ${\varphi }_1,{\varphi }_2\ge 0$ and set

$$\varpi :={\displaystyle \frac{{\varphi }_{2,\epsilon }^p}{{({\varphi }_1+\epsilon )}^{p-1}}}-{\varphi }_{1,\epsilon },$$

where ${\varphi }_{1,\epsilon },{\varphi }_{2,\epsilon }$ are as in (27). Then, we obtain that $\varpi \in X$.

Proof. 

Let $\epsilon >0$ be given. Since the function $\eta \mapsto \min \left\{\right|\eta |,{\epsilon }^{-1}\}$ is 1-Lipschitz, we know

$$|{\varphi }_{i,\epsilon }\left(z\right)-{\varphi }_{i,\epsilon }\left(y\right)|\le |{\varphi }_i\left(z\right)-{\varphi }_i\left(y\right)|\mathrm{for}i=1,2,$$

(28)

which immediately implies that ${\varphi }_{i,\epsilon }\in X$. By virtue of the Lagrange theorem, we know that for any $\alpha ,\beta \ge 0$ and for every $\gamma \ge 0$, we have that

$$|{\alpha }^{\gamma }-{\beta }^{\gamma }|\le \gamma |\alpha -\beta |\max \{{\alpha }^{\gamma -1},{\beta }^{\gamma -1}\}.$$

(29)

Then, since ${\epsilon }^{p-1}\le {({\varphi }_{1,\epsilon }+\epsilon )}^{p-1}$ and ${\varphi }_{2,\epsilon }\le {\displaystyle \frac{1}{\epsilon }}$, taking (28) and (29) into account, we have

$$\begin{array}{cc}\hfill & |{\displaystyle \frac{{\varphi }_{2,\epsilon }^p\left(z\right)}{{({\varphi }_1\left(z\right)+\epsilon )}^{p-1}}}-{\displaystyle \frac{{\varphi }_{2,\epsilon }^p\left(y\right)}{{({\varphi }_1\left(y\right)+\epsilon )}^{p-1}}}|\hfill \\ \hfill & =|{\displaystyle \frac{{\varphi }_{2,\epsilon }^p\left(z\right)-{\varphi }_{2,\epsilon }^p\left(y\right)}{{({\varphi }_1\left(z\right)+\epsilon )}^{p-1}}}+{\varphi }_{2,\epsilon }^p\left(y\right){\displaystyle \frac{{({\varphi }_1\left(y\right)+\epsilon )}^{p-1}-{({\varphi }_1\left(z\right)+\epsilon )}^{p-1}}{{({\varphi }_1\left(z\right)+\epsilon )}^{p-1}{({\varphi }_1\left(y\right)+\epsilon )}^{p-1}}}|\hfill \\ \hfill & \le {\displaystyle \frac{p}{{\epsilon }^{2p-2}}}|{\varphi }_{2,\epsilon }\left(z\right)-{\varphi }_{2,\epsilon }\left(y\right)|+{\displaystyle \frac{1}{{\epsilon }^p}}\left|{\displaystyle \frac{{({\varphi }_1\left(y\right)+\epsilon )}^{p-1}-{({\varphi }_1\left(z\right)+\epsilon )}^{p-1}}{{({\varphi }_1\left(z\right)+\epsilon )}^{p-1}{({\varphi }_1\left(y\right)+\epsilon )}^{p-1}}}\right|\hfill \\ \hfill & \le {\displaystyle \frac{p}{{\epsilon }^{2p-2}}}\left|{\varphi }_{2,\epsilon }\left(z\right)-{\varphi }_{2,\epsilon }\left(y\right)\right|\hfill \\ \hfill & +{\displaystyle \frac{p-1}{{\epsilon }^p}}\max \left\{{({\varphi }_1\left(z\right)+\epsilon )}^{p-2},{({\varphi }_1\left(y\right)+\epsilon )}^{p-2}\right\}{\displaystyle \frac{|{\varphi }_1\left(z\right)-{\varphi }_1\left(y\right)|}{{({\varphi }_1\left(z\right)+\epsilon )}^{p-1}{({\varphi }_1\left(y\right)+\epsilon )}^{p-1}}}\hfill \\ \hfill & \le {\displaystyle \frac{p}{{\epsilon }^{2p-2}}}|{\varphi }_2\left(z\right)-{\varphi }_2\left(y\right)|+{\displaystyle \frac{p-1}{{\epsilon }^{2p}}}|{\varphi }_1\left(z\right)-{\varphi }_1\left(y\right)|\hfill \end{array}$$

for every $p>1$. Thus, the Gagliardo seminorm of $\varpi$ is finite. Further, one has

$${\displaystyle \frac{{\varphi }_{2,\epsilon }^p}{{({\varphi }_1+\epsilon )}^{p-1}}}={\displaystyle \frac{{\varphi }_{2,\epsilon }^{p-1}}{{({\varphi }_1+\epsilon )}^{p-1}}}{\varphi }_{2,\epsilon }\le {\displaystyle \frac{1}{{\epsilon }^{2p-2}}}{\varphi }_2,$$

and thus,

$$\begin{array}{cc}\hfill {\int }_{\Omega }{\left|\varpi \right|}^{p}dz& \le 2^{p-1}\left({\int }_{\Omega }|{\displaystyle \frac{{\varphi }_{2,\epsilon }^p}{{({\varphi }_1+\epsilon )}^{p-1}}}{|}^{p}dz+{\int }_{\Omega }{\left|{\varphi }_{1,\epsilon }\right|}^{p}dz\right)\hfill \\ \hfill & \le C(p,\epsilon )(||{\varphi }_2|{|}_{L^p(\Omega )}+||{\varphi }_1\left|{|}_{L^p(\Omega )}\right)<+\infty ,\hfill \end{array}$$

where $C(p,\epsilon )>0$. This consequently implies that $\varpi \in X$. □

Definition 1. 

We say that $\varphi \in X$ is a weak solution of (1) if

$$\begin{array}{cc}\hfill {\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}& {\left|\varphi \left(z\right)-\varphi \left(y\right)\right|}^{p-2}(\varphi \left(z\right)-\varphi \left(y\right))(\phi \left(z\right)-\phi \left(y\right))\mathcal{K}(z,y)dzdy\hfill \\ \hfill & =\lambda {\int }_{\Omega }{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^{p-2}\varphi \left(z\right)}{{\left|z\right|}^{sp}}}\phi \left(z\right)dz+{\int }_{\Omega }g(z,\varphi )\phi dz\hfill \end{array}$$

(30)

for any $\phi \in X$.

In accordance with Lemmas 7 and 9, we derive that problem (1) possesses at least one positive solution.

Lemma 10. 

If (F1)–(F3) hold, then there is a positive constant ${\lambda }^{*}$ such that problem (1) admits a positive solution for any $\lambda \in (-\infty ,{\lambda }^{*})$.

Proof. 

Firstly, let us establish

$${\lambda }^{*}=min\left\{c_H^{-1}{\gamma }_0,{\displaystyle \frac{({\mathfrak{C}}_0+{\gamma }_0){\gamma }_0}{2{\mathfrak{C}}_0{c}_H}}\right\},$$

(31)

where $c_H={\left(\frac{p}{N-p}\right)}^{-p}$, and ${\gamma }_0$ and ${\mathfrak{C}}_0$ are given in ($\mathcal{A}$2) and Lemma 3, respectively.

Moreover, since g has subcritical growth, $\mathcal{B}$ is a sequentially weakly continuous on X. Also, by virtue of Lemma 7, we obtain that ${\Phi }_{\lambda }-\mathcal{B}$ is sequentially weakly lower semicontinuous on X. Let us choose any positive real number $\epsilon$ satisfying either

$$\epsilon \in \left(0,{\displaystyle \frac{({\mathfrak{C}}_0+{\gamma }_0)-2\lambda {\mathfrak{C}}_0{c}_H{\gamma }_0^{-1}}{2p{\mathfrak{C}}_0}}\right)\mathrm{or}\epsilon \in \left(0,{\displaystyle \frac{{\mathfrak{C}}_0+{\gamma }_0}{2p{\mathfrak{C}}_0}}\right).$$

Since ${lim}_{\eta \to +\infty }{\displaystyle \frac{G(z,\eta )}{{\eta }^p}}=0$, there exists a positive constant $C\left(\epsilon \right)$ such that

$$G(z,\eta )\le {\displaystyle \frac{\epsilon }{p}}{\left|\eta \right|}^p+{\displaystyle \frac{C\left(\epsilon \right)}{p}}$$

(32)

for any $\eta \in \mathbb{R}$ and for almost all $z\in \Omega$. Thus, we have

$$\mathcal{B}\left(\varphi \right)\le \epsilon {\int }_{\Omega }{\left|\varphi \left(z\right)\right|}^{p}dz+C\left(\epsilon \right)|\Omega |,$$

where $|·|$ denotes the Lebesgue measure on ${\mathbb{R}}^N$. This, together with Lemmas 3 and 4, (32), and the definition of the X-norm, yields that for any $\varphi \in X$ and for every $\lambda \in (0,{\lambda }^{*})$,

$$\begin{array}{cc}\hfill {\Phi }_{\lambda }\left(\varphi \right)-\mathcal{B}\left(\varphi \right)& \ge {\displaystyle \frac{1}{p}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|\varphi \left(z\right)-\varphi \left(y\right)\right|}^p\mathcal{K}(z,y)dzdy-{\displaystyle \frac{\lambda }{p}}{\int }_{\Omega }{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}dz\hfill \\ \hfill & -\epsilon {\int }_{\Omega }{\left|\varphi \left(z\right)\right|}^{p}dz-C\left(\epsilon \right)|\Omega |\hfill \\ \hfill & \ge \left({\displaystyle \frac{1}{2p}}+{\displaystyle \frac{{\gamma }_0}{2p{\mathfrak{C}}_0}}\right){\left|\right|\varphi \left|\right|}_X^p-{\displaystyle \frac{\lambda }{p}}{\int }_{\Omega }{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}dz-\epsilon {\int }_{\Omega }{\left|\varphi \left(z\right)\right|}^{p}dz-C\left(\epsilon \right)|\Omega |\hfill \\ \hfill & \ge \left({\displaystyle \frac{{\mathfrak{C}}_0+{\gamma }_0}{2p{\mathfrak{C}}_0}}-{\displaystyle \frac{\lambda c_H{\gamma }_0^{-1}}{p}}\right){\left|\right|\varphi \left|\right|}_X^p-\epsilon {\int }_{\Omega }{\left|\varphi \left(z\right)\right|}^{p}dz-C\left(\epsilon \right)|\Omega |\hfill \\ \hfill & \ge \left({\displaystyle \frac{({\mathfrak{C}}_0+{\gamma }_0)-2\lambda {\mathfrak{C}}_0{c}_H{\gamma }_0^{-1}}{2p{\mathfrak{C}}_0}}-\epsilon \right){\left|\right|\varphi \left|\right|}_X^p-C\left(\epsilon \right)|\Omega |.\hfill \end{array}$$

(33)

For any $\lambda \in (-\infty ,0]$, it follows from the analogous argument (as in (33)) that

$$\begin{array}{cc}\hfill {\Phi }_{\lambda }\left(\varphi \right)-\mathcal{B}\left(\varphi \right)& \ge {\displaystyle \frac{1}{p}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|\varphi \left(z\right)-\varphi \left(y\right)\right|}^p\mathcal{K}(z,y)dzdy\hfill \\ \hfill & -\epsilon {\int }_{\Omega }{\left|\varphi \left(z\right)\right|}^{p}dz-C\left(\epsilon \right)|\Omega |\hfill \\ \hfill & \ge \left({\displaystyle \frac{{\mathfrak{C}}_0+{\gamma }_0}{2p{\mathfrak{C}}_0}}-\epsilon \right){\left|\right|\varphi \left|\right|}_X^p-C\left(\epsilon \right)|\Omega |.\hfill \end{array}$$

Hence, due to the choice of $\epsilon$, we have

$$\underset{{\left|\right|\varphi \left|\right|}_X\to +\infty }{lim}({\Phi }_{\lambda }\left(\varphi \right)-\mathcal{B}\left(\varphi \right))=+\infty .$$

Let us define the modified energy functional $\tilde{\mathcal{J}}:X\to \mathbb{R}$ as

$$\begin{array}{cc}\hfill \tilde{\mathcal{J}}\left(\varphi \right)& :={\displaystyle \frac{1}{p}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{|\varphi \left(z\right)-\varphi \left(y\right)|}^p\mathcal{K}(z,y)dzdy\hfill \\ \hfill & -{\displaystyle \frac{\lambda }{p}}{\int }_{\Omega }{\displaystyle \frac{|{\varphi }^{+}\left(z\right){|}^p}{{\left|z\right|}^{sp}}}dz-{\int }_{{\mathbb{R}}^N}{G}^{+}(z,\varphi )dz,\varphi \in X,\hfill \end{array}$$

where ${\varphi }^{+}=max\{0,\varphi \}$ and

$$G^{+}(z,\xi ):={\int }_0^{\xi }{g}^{+}(z,\eta )d\eta \mathrm{and}{h}^{+}(z,\xi ):=\left\{\begin{array}{cc}g(z,\xi ),\hfill & \xi \ge 0,\hfill \\ 0,\hfill & \xi <0\hfill \end{array}\right.$$

for all $\xi \in \mathbb{R}$ and for almost all $z\in {\mathbb{R}}^N$. Then, it is obvious by Lemma 7 and the above argument that $\tilde{\mathcal{J}}$ is also sequentially weakly lower semicontinuous and coercive on X. Hence, it holds that there exists ${\varphi }_0\in X$ such that

$$\tilde{\mathcal{J}}\left({\varphi }_0\right)=inf\{\tilde{\mathcal{J}}\left(\varphi \right):\varphi \in X\}.$$

Now, we show that we can assume ${\varphi }_0\ge 0$. To this end, let us assume that ${\varphi }_0$ is sign-changing. By Lemma 9, we infer ${\varphi }_0^{+}\in X$ and so $\tilde{\mathcal{J}}\left({\varphi }_0\right)\le \tilde{\mathcal{J}}\left({\varphi }_0^{+}\right)$. Since $\tilde{\mathcal{J}}\left(\varphi \right)=\mathcal{J}\left(\varphi \right)$ when $\varphi \left(z\right)\ge 0$ for almost all $z\in \Omega$, we have the following:

$$\begin{array}{cc}\hfill \tilde{\mathcal{J}}\left({\varphi }_0^{+}\right)& =\mathcal{J}\left({\varphi }_0^{+}\right)\hfill \\ \hfill & ={\displaystyle \frac{1}{p}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|{\varphi }_0^{+}\left(z\right)-{\varphi }_0^{+}\left(y\right)\right|}^p\mathcal{K}(z,y)dzdy-{\displaystyle \frac{\lambda }{p}}{\int }_{\Omega }{\displaystyle \frac{|{\varphi }_0^{+}\left(z\right){|}^p}{{\left|z\right|}^{sp}}}dz-{\int }_{\Omega }G(z,{\varphi }_0^{+})dz\hfill \\ \hfill & \le {\displaystyle \frac{1}{p}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|{\varphi }_0\left(z\right)-{\varphi }_0\left(y\right)\right|}^p\mathcal{K}(z,y)dzdy-{\displaystyle \frac{\lambda }{p}}{\int }_{\Omega }{\displaystyle \frac{|{\varphi }_0^{+}\left(z\right){|}^p}{{\left|z\right|}^{sp}}}dz-{\int }_{\Omega }G(z,{\varphi }_0^{+})dz\hfill \\ \hfill & =\tilde{\mathcal{J}}\left({\varphi }_0\right).\hfill \end{array}$$

Consequently, ${\varphi }_0^{+}$ is a non-negative solution of (1). For simplicity, let us write directly ${\varphi }_0$ in place of ${\varphi }_0^{+}$. Let us claim that ${\varphi }_0>0$. Since ${\varphi }_0\left(z\right)\ge 0$ for almost all $z\in {\mathbb{R}}^N$, it follows from arguments analogous to those in Theorem 3.7 of [18] that either ${\varphi }_0\left(z\right)>0$ or ${\varphi }_0\left(z\right)=0$ for almost all $z\in {\mathbb{R}}^N$. Hence, in order to show ${\varphi }_0>0$, it is enough to show that $\tilde{\mathcal{J}}\left({\varphi }_0\right)<0$. Now, in the light of Theorem 4.1 in [39], fix any nonnegative function $\varphi \in X$, with $\varphi =0$ on $\partial \Omega$, such that

$${\mu }_1{\int }_{\Omega }{\left|\varphi \left(z\right)\right|}^{p}dz={\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|\varphi \left(z\right)-\varphi \left(y\right)\right|}^p\mathcal{K}(z,y)dzdy,$$

where ${\mu }_1$ is a positive eigenvalue that can be characterized as

$${\mu }_1=\underset{\{\varphi \in X:||\varphi |{|}_{L^p(\Omega )}=1\}}{min}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|\varphi \left(z\right)-\varphi \left(y\right)\right|}^p\mathcal{K}(z,y)dzdy.$$

By virtue of Theorem 3.2 in [39], we infer that $\varphi \in L^{\infty }\left({\mathbb{R}}^N\right)$. Let ${\alpha }_0\in L^{\infty }(\Omega )$ with ${\alpha }_0>0$ and let ${\kappa }_0\in (0,||{\alpha }_0{||}_{L^{\infty }(\Omega )})$ be fixed. Then the Lebesgue measure of the set ${\Omega }_{{\kappa }_0}:=\{z\in \Omega :{\alpha }_0\left(z\right)\ge {\kappa }_0\}$ is positive. In addition, fix ${\mathfrak{K}}_1>0$ so that

$${\mathfrak{K}}_1>{\displaystyle \frac{{\mu }_1{\int }_{\Omega }{\left|\varphi \left(z\right)\right|}^{p}dz}{{\kappa }_0{\int }_{{\Omega }_{{\kappa }_0}}{\left|\varphi \left(z\right)\right|}^{p}dz}}.$$

According to the second condition in (F3), there is a constant ${\eta }_0>0$ such that

$${\displaystyle \frac{G(z,\eta )}{{\eta }^p}}\ge {\displaystyle \frac{{\alpha }_0\left(z\right){\mathfrak{K}}_1}{p}}$$

for all $\eta \in (0,{\eta }_0]$. Then, for $\epsilon >0$ small enough and for any $\lambda \in (0,{\lambda }^{*})$, one has

$$\begin{array}{cc}\hfill {\int }_{\Omega }{\displaystyle \frac{G(z,\epsilon \varphi )}{{\epsilon }^p}}dz& \ge {\displaystyle \frac{{\mathfrak{K}}_1}{p}}{\int }_{\Omega }{\alpha }_0\left(z\right){\left|\varphi \left(z\right)\right|}^{p}dz\hfill \\ \hfill & \ge {\displaystyle \frac{{\mathfrak{K}}_1{\kappa }_0}{p}}{\int }_{{\Omega }_{{\kappa }_0}}{\left|\varphi \left(z\right)\right|}^{p}dz\hfill \\ \hfill & >{\displaystyle \frac{{\mu }_1}{p}}{\int }_{\Omega }{\left|\varphi \left(z\right)\right|}^{p}dz\hfill \\ \hfill & >{\displaystyle \frac{1}{p}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|\varphi \left(z\right)-\varphi \left(y\right)\right|}^p\mathcal{K}(z,y)dzdy-{\displaystyle \frac{\lambda }{p}}{\int }_{\Omega }{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}dz\hfill \\ \hfill & ={\displaystyle \frac{1}{p}}{\left[\varphi \right]}_{s,p}^p-{\displaystyle \frac{\lambda }{p}}{\int }_{\Omega }{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}dz.\hfill \end{array}$$

(34)

On the other hand, let us fix $\lambda \in (-\infty ,0]$ and ${\mathfrak{K}}_2>0$ satisfying

$${\mathfrak{K}}_2>{\displaystyle \frac{{\mu }_1(1-\lambda c_H{\gamma }_0^{-1}){\int }_{\Omega }{\left|\varphi \left(z\right)\right|}^{p}dz}{{\kappa }_0{\int }_{{\Omega }_{{\kappa }_0}}{\left|\varphi \left(z\right)\right|}^{p}dz}}.$$

Then, it follows from Lemma 4 and what is similarly given in (34) that

$$\begin{array}{cc}\hfill {\int }_{\Omega }{\displaystyle \frac{G(z,\epsilon \varphi )}{{\epsilon }^p}}dz& \ge {\displaystyle \frac{{\mathfrak{K}}_2}{p}}{\int }_{\Omega }{\alpha }_0\left(z\right){\left|\varphi \left(z\right)\right|}^{p}dz\hfill \\ \hfill & \ge {\displaystyle \frac{{\mathfrak{K}}_2{\kappa }_0}{p}}{\int }_{{\Omega }_{{\kappa }_0}}{\left|\varphi \left(z\right)\right|}^{p}dz\hfill \\ \hfill & >{\displaystyle \frac{{\mu }_1}{p}}{\int }_{\Omega }{\left|\varphi \left(z\right)\right|}^{p}dz-{\displaystyle \frac{{\mu }_1\lambda c_H{\gamma }_0^{-1}}{p}}{\int }_{\Omega }{\left|\varphi \left(z\right)\right|}^{p}dz\hfill \\ \hfill & ={\displaystyle \frac{1}{p}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|\varphi \left(z\right)-\varphi \left(y\right)\right|}^p\mathcal{K}(z,y)dzdy\hfill \\ \hfill & -{\displaystyle \frac{\lambda c_H{\gamma }_0^{-1}}{p}}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|\varphi \left(z\right)-\varphi \left(y\right)\right|}^p\mathcal{K}(z,y)dzdy\hfill \\ \hfill & \ge {\displaystyle \frac{1}{p}}{\left[\varphi \right]}_{s,p}^p-{\displaystyle \frac{\lambda }{p}}{\int }_{\Omega }{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}dz\hfill \end{array}$$

(35)

for any $\lambda \in (-\infty ,0]$.

Hence, using relations (34) and (35), we conclude that

$${\left[\varphi \right]}_{s,p}^p-\lambda {\int }_{\Omega }{\displaystyle \frac{{\left|\varphi \left(z\right)\right|}^p}{{\left|z\right|}^{sp}}}dz-p{\int }_{{\mathbb{R}}^N}{\displaystyle \frac{G(z,\epsilon \varphi )}{{\epsilon }^p}}dz<0$$

for any $\epsilon >0$ sufficiently small, which is $\mathcal{J}\left(\epsilon \varphi \right)<0$, as claimed. Thus, problem (1) possesses a positive solution for any $\lambda \in (-\infty ,{\lambda }^{*})$. The proof is completed. □

We are in a position to provide our main assertion. The fundamental idea of the following consequence comes from [9,15].

Theorem 1. 

If (F1)–(F4) hold, then for any $\lambda \in (-\infty ,{\lambda }^{*})$, problem (1) admits a unique positive solution, where ${\lambda }^{*}$ is given in Lemma 10.

Proof. 

In view of Lemma 10, we assume that problem (1) has two weak positive solutions ${\varphi }_1$ and ${\varphi }_2$. For any $\epsilon >0$, let us define the truncations ${\varphi }_{i,\epsilon }$ as in (27) for $i=1,2$. We define the functions

$${\varpi }_{1,\epsilon }:={\displaystyle \frac{{\varphi }_{2,\epsilon }^p}{{({\varphi }_1+\epsilon )}^{p-1}}}-{\varphi }_{1,\epsilon }$$

and

$${\varpi }_{2,\epsilon }:={\displaystyle \frac{{\varphi }_{1,\epsilon }^p}{{({\varphi }_2+\epsilon )}^{p-1}}}-{\varphi }_{2,\epsilon }.$$

By Lemma 9, we deduce that ${\varpi }_{i,\epsilon }\in X$ for $i=1,2$. Now, set

$${\psi }_p\left(\eta \right):={\left|\eta \right|}^{p-2}\eta .$$

Considering the weak formulation (30) of ${\varphi }_i$, by choosing $\varpi ={\varpi }_{i,\epsilon }$ for $i=1,2$, we infer

$$\begin{array}{cc}\hfill {\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}& {\psi }_p({\varphi }_1\left(z\right)-{\varphi }_1\left(y\right))({\varpi }_{1,\epsilon }\left(z\right)-{\varpi }_{1,\epsilon }\left(y\right))\mathcal{K}(z,y)dzdy\hfill \\ \hfill & =\lambda {\int }_{\Omega }{\displaystyle \frac{|{\varphi }_1\left(z\right){|}^{p-2}{\varphi }_1\left(z\right)}{{\left|z\right|}^{sp}}}{\varpi }_{1,\epsilon }\left(z\right)dz+{\int }_{\Omega }g(z,{\varphi }_1){\varpi }_{1,\epsilon }\left(z\right)dz\hfill \end{array}$$

(36)

and

$$\begin{array}{cc}\hfill {\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}& {\psi }_p({\varphi }_2\left(z\right)-{\varphi }_2\left(y\right))({\varpi }_{2,\epsilon }\left(z\right)-{\varpi }_{2,\epsilon }\left(y\right))\mathcal{K}(z,y)dzdy\hfill \\ \hfill & =\lambda {\int }_{\Omega }{\displaystyle \frac{|{\varphi }_2\left(z\right){|}^{p-2}{\varphi }_2\left(z\right)}{{\left|z\right|}^{sp}}}{\varpi }_{2,\epsilon }\left(z\right)dz+{\int }_{\Omega }g(z,{\varphi }_2){\varpi }_{2,\epsilon }\left(z\right)dz.\hfill \end{array}$$

(37)

Adding the above two equations, (36) and (37), and utilizing the fact that

$${\psi }_p({\varphi }_i\left(z\right)-{\varphi }_i\left(y\right))={\psi }_p\left(({\varphi }_i+\epsilon )\left(z\right)-({\varphi }_i+\epsilon )\left(y\right)\right)\mathrm{for}i=1,2,$$

we obtain that

$$\begin{array}{cc}\hfill & {\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\psi }_p\left(({\varphi }_1+\epsilon )\left(z\right)-({\varphi }_1+\epsilon )\left(y\right)\right)\left({\displaystyle \frac{{\varphi }_{2,\epsilon }^p}{{({\varphi }_1+\epsilon )}^{p-1}}}\left(z\right)-{\displaystyle \frac{{\varphi }_{2,\epsilon }^p}{{({\varphi }_1+\epsilon )}^{p-1}}}\left(y\right)\right)\mathcal{K}(z,y)dzdy\hfill \\ \hfill & -{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\psi }_p({\varphi }_1\left(z\right)-{\varphi }_1\left(y\right))({\varphi }_{1,\epsilon }\left(z\right)-{\varphi }_{1,\epsilon }\left(y\right))\mathcal{K}(z,y)dzdy\hfill \\ \hfill & +{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\psi }_p\left(({\varphi }_2+\epsilon )\left(z\right)-({\varphi }_2+\epsilon )\left(y\right)\right)\left({\displaystyle \frac{{\varphi }_{1,\epsilon }^p}{{({\varphi }_2+\epsilon )}^{p-1}}}\left(z\right)-{\displaystyle \frac{{\varphi }_{1,\epsilon }^p}{{({\varphi }_2+\epsilon )}^{p-1}}}\left(y\right)\right)\mathcal{K}(z,y)dzdy\hfill \\ \hfill & -{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\psi }_p({\varphi }_2\left(z\right)-{\varphi }_2\left(y\right))({\varphi }_{2,\epsilon }\left(z\right)-{\varphi }_{2,\epsilon }\left(y\right))\mathcal{K}(z,y)dzdy\hfill \\ \hfill & =\lambda \left({\int }_{\Omega }\left[{\displaystyle \frac{|{\varphi }_1{|}^{p-2}{\varphi }_1}{{\left|z\right|}^{sp}}}\left({\displaystyle \frac{{\varphi }_{2,\epsilon }^p}{{({\varphi }_1+\epsilon )}^{p-1}}}-{\varphi }_{1,\epsilon }\right)+{\displaystyle \frac{|{\varphi }_2{|}^{p-2}{\varphi }_2}{{\left|z\right|}^{sp}}}\left({\displaystyle \frac{{\varphi }_{1,\epsilon }^p}{{({\varphi }_2+\epsilon )}^{p-1}}}-{\varphi }_{2,\epsilon }\right)\right]dz\right)\hfill \\ \hfill & +{\int }_{\Omega }\left[g(z,{\varphi }_1)\left({\displaystyle \frac{{\varphi }_{2,\epsilon }^p}{{({\varphi }_1+\epsilon )}^{p-1}}}-{\varphi }_{1,\epsilon }\right)+g(z,{\varphi }_2)\left({\displaystyle \frac{{\varphi }_{1,\epsilon }^p}{{({\varphi }_2+\epsilon )}^{p-1}}}-{\varphi }_{2,\epsilon }\right)\right]dz.\hfill \end{array}$$

(38)

Now, applying the discrete Picone inequality in Lemma 8 and the fact that $\eta \to \min \left\{\right|\eta |,{\epsilon }^{-1}\}$ is 1-Lipschitz, we obtain

$${\psi }_p\left(({\varphi }_1+\epsilon )\left(z\right)-({\varphi }_1+\epsilon )\left(y\right)\right)\left({\displaystyle \frac{{\varphi }_{2,\epsilon }^p}{{({\varphi }_1+\epsilon )}^{p-1}}}\left(z\right)-{\displaystyle \frac{{\varphi }_{2,\epsilon }^p}{{({\varphi }_1+\epsilon )}^{p-1}}}\left(y\right)\right)\le {\left|{\varphi }_2\left(z\right)-{\varphi }_2\left(y\right)\right|}^p$$

and

$${\psi }_p\left(({\varphi }_2+\epsilon )\left(z\right)-({\varphi }_2+\epsilon )\left(y\right)\right)\left({\displaystyle \frac{{\varphi }_{1,\epsilon }^p}{{({\varphi }_2+\epsilon )}^{p-1}}}\left(z\right)-{\displaystyle \frac{{\varphi }_{1,\epsilon }^p}{{({\varphi }_2+\epsilon )}^{p-1}}}\left(y\right)\right)\le {\left|{\varphi }_1\left(z\right)-{\varphi }_1\left(y\right)\right|}^p.$$

As ${\varphi }_{i,\epsilon }\to {\varphi }_i$ as $\epsilon \to 0$ for $i=1,2$, by taking the limit in (38) and taking into account the Fatou Lemma in the first and third terms while applying the Dominated Convergence Theorem in all the other terms, we deduce that

$$\begin{array}{cc}\hfill & {\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\psi }_p({\varphi }_1\left(z\right)-{\varphi }_1\left(y\right))\left({\displaystyle \frac{{\varphi }_2^p}{{\varphi }_1^{p-1}}}\left(z\right)-{\displaystyle \frac{{\varphi }_2^p}{{\varphi }_1^{p-1}}}\left(y\right)\right)\mathcal{K}(z,y)dzdy\hfill \\ \hfill & -{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|{\varphi }_1\left(z\right)-{\varphi }_1\left(y\right)\right|}^p\mathcal{K}(z,y)dzdy\hfill \\ \hfill & +{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\psi }_p({\varphi }_2\left(z\right)-{\varphi }_2\left(y\right))\left({\displaystyle \frac{{\varphi }_1^p}{{\varphi }_2^{p-1}}}\left(z\right)-{\displaystyle \frac{{\varphi }_1^p}{{\varphi }_2^{p-1}}}\left(y\right)\right)\mathcal{K}(z,y)dzdy\hfill \\ \hfill & -{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}{\left|{\varphi }_2\left(z\right)-{\varphi }_2\left(y\right)\right|}^p\mathcal{K}(z,y)dzdy\hfill \\ \hfill & \ge \lambda \left({\int }_{\Omega }\left[{\displaystyle \frac{|{\varphi }_1{|}^{p-2}{\varphi }_1}{{\left|z\right|}^{sp}}}\left({\displaystyle \frac{{\varphi }_2^p}{{\varphi }_1^{p-1}}}-{\varphi }_1\right)+{\displaystyle \frac{|{\varphi }_2{|}^{p-2}{\varphi }_2}{{\left|z\right|}^{sp}}}\left({\displaystyle \frac{{\varphi }_1^p}{{\varphi }_2^{p-1}}}-{\varphi }_2\right)\right]dz\right)\hfill \\ \hfill & +{\int }_{\Omega }g(z,{\varphi }_1)\left({\displaystyle \frac{{\varphi }_2^p}{{\varphi }_1^{p-1}}}-{\varphi }_1\right)+g(z,{\varphi }_2)\left({\displaystyle \frac{{\varphi }_1^p}{{\varphi }_2^{p-1}}}-{\varphi }_2\right)dz\hfill \\ \hfill & =-{\int }_{\Omega }\left({\displaystyle \frac{g(z,{\varphi }_1)}{{\varphi }_1^{p-1}}}-{\displaystyle \frac{g(z,{\varphi }_2)}{{\varphi }_2^{p-1}}}\right)({\varphi }_1^p-{\varphi }_2^p)dz.\hfill \end{array}$$

(39)

Using Lemma 8 on the left-hand side of (39), we obtain

$${\int }_{\Omega }\left({\displaystyle \frac{g(z,{\varphi }_1)}{{\varphi }_1^{p-1}}}-{\displaystyle \frac{g(z,{\varphi }_2)}{{\varphi }_2^{p-1}}}\right)({\varphi }_1^p-{\varphi }_2^p)dz\ge 0.$$

Hence, since the function $\eta \mapsto {\displaystyle \frac{g(z,\eta )}{{\eta }^{p-1}}}$ is decreasing in $(0,+\infty )$, we obtain that ${\varphi }_1={\varphi }_2$. As a result, we conclude that problem (1) possesses a unique positive solution for any $\lambda \in (-\infty ,{\lambda }^{*})$. This completes the proof. □

5. Conclusions

The present paper is devoted to obtaining the existence of a unique positive solution to fractional p-Laplacian problems of the Brézis–Oswald type with Hardy potentials. The main difficulty in this paper is the lack of the semicontinuity property of the energy functional associated with our problem. To overcome this difficulty, we utilized the concentration–compactness principle in fractional Sobolev spaces. Also, we obtained the uniqueness result of the Brézis–Oswald type by exploiting the discrete Picone inequality given in [8,19]. However, Assumption (F3) can be regarded as a special case of that of [15,40], i.e., that the nonlinear term g satisfies conditions

$${\mathfrak{a}}_0\left(z\right)=\underset{\eta \to 0^{+}}{lim}{\displaystyle \frac{g(z,\eta )}{{\eta }^{p-1}}}\mathrm{and}{\mathfrak{a}}_{\infty }\left(z\right)=\underset{\eta \to +\infty }{lim}{\displaystyle \frac{g(z,\eta )}{{\eta }^{p-1}}}$$

for almost all $z\in \Omega$. Let us define ${\lambda }_1\left({\mathcal{L}}^{s,p}-{\mathfrak{a}}_0\right)$ and ${\lambda }_1\left({\mathcal{L}}^{s,p}-{\mathfrak{a}}_{\infty }\right)$ as

$${\lambda }_1\left({\mathcal{L}}^{s,p}-{\mathfrak{a}}_0\right)=\underset{\varphi \in X}{inf}\left\{{\left[\varphi \right]}_{s,p}^p-{\int }_{\Omega }{\mathfrak{a}}_0{\left|\varphi \left(z\right)\right|}^p{dz:||\varphi ||}_{L^p(\Omega )}=1\right\}$$

and

$${\lambda }_1\left({\mathcal{L}}^{s,p}-{\mathfrak{a}}_0\right)=\underset{\varphi \in X}{inf}\left\{{\left[\varphi \right]}_{s,p}^p-{\int }_{\Omega }{\mathfrak{a}}_{\infty }{\left|\varphi \left(z\right)\right|}^p{dz:||\varphi ||}_{L^p(\Omega )}=1\right\}.$$

If ${\lambda }_1\left({\mathcal{L}}^{s,p}-{\mathfrak{a}}_0\right)<0<{\lambda }_1\left({\mathcal{L}}^{s,p}-{\mathfrak{a}}_0\right)$ instead of (F3) is satisfied, then it follows from obvious modifications of the proof of Theorem 1 and similar arguments as those in [15] that problem (1) admits a unique positive solution for any $\lambda \in (-\infty ,{\lambda }^{*})$.

Additionally, a new research direction would be to investigate mixed local and non-local problems of the Brézis–Oswald type involving Hardy potentials:

$$\left\{\begin{array}{cc}-{\Delta }_p\varphi +{\mathcal{L}}^{s,p}\varphi \left(z\right)=\lambda {\displaystyle \frac{{\left|\varphi \right|}^{p-2}\varphi }{{\left|z\right|}^p}}+\mu g(z,\varphi )\hfill & \mathrm{in}\Omega ,\hfill \\ \varphi >0\hfill & \mathrm{in}\Omega ,\hfill \\ \varphi =0\hfill & \mathrm{on}{\mathbb{R}}^N\setminus \Omega ,\hfill \end{array}\right.$$

(40)

where $1<p<p_s^{*}$, $\lambda \in (-\infty ,{\lambda }^{*})$ for a positive constant ${\lambda }^{*}$ and ${\Delta }_p\varphi ={\mathrm{div}\left(\right|\nabla \varphi |}^{p-2}\nabla \varphi )$ is the classical p-Laplacian operator. Recently, the authors in [7] established necessary and sufficient conditions for the existence of a unique positive weak solution for problem (40) with $\lambda =0$. However, to the best of my knowledge, there have been no results on the existence and uniqueness of a positive solution to problem (40) involving the Hardy potential. As a further study, one could therefore seek to obtain similar results as those given in [7] for problem (40).