On Non Local p-Laplacian with Right Hand Side Radon Measure

Abstract

The aim of this paper is to investigate the following non local p-Laplacian problem with data a bounded Radon measure $\vartheta \in M_b\left(\mathsf{\Omega }\right)$: ${(-\mathsf{\Delta })}_p^{s}u=\vartheta \mathrm{in}\mathsf{\Omega },$ with vanishing conditions outside $\mathsf{\Omega },$ and where $s\in (0,1),2-\frac{s}{N}<p\le N.$ An existence result is provided, and some sharp regularity has been investigated. More precisely, we prove by using some fractional isoperimetric inequalities the existence of weak solution u such that: 1. If $\vartheta \in M_b\left(\mathsf{\Omega }\right),$ then $u\in W_0^{s_1,q}\left(\mathsf{\Omega }\right)$ for all $s_1<s$ and $q<\frac{N(p-1)}{N-s}.$ 2. If $\vartheta$ belongs to the Zygmund space $LLo{g}^{\alpha }L\left(\mathsf{\Omega }\right),\alpha >\frac{N-s}{N},$ then the limiting regularity $u\in W_0^{s_1,\frac{N(p-1)}{N-s}}\left(\mathsf{\Omega }\right)$ (for all $s_1<s$). 3. If $\vartheta \in LLo{g}^{\alpha }L\left(\mathsf{\Omega }\right),$ and $\alpha =\frac{N-s}{N}$ with $p=N,$ then we reach the maximal regularity with respect to s and $N,u\in W_0^{s,N}\left(\mathsf{\Omega }\right).$

1. Introduction

Over the past few years, there has been an increasing interest in fractional Laplacian operators, as well as nonlocal operators. In partial differential equations, fractional spaces, and their corresponding nonlocal equations, are undergoing a new phase of exploration in different topics, such as, finance [1], thin obstacle problem [2], stratified materials [3], crystal dislocation [4], water waves [5], semipermeable membranes and flame propagation [6], soft thin films [7], phase transitions [8], conservation laws [9], gradient potential theory [10], quasi-geostrophic flows [11], ultra-relativistic limits of quantum mechanics [12], multiple scattering [13], materials science [14], minimal surfaces [15] and singular set of minima of variational functionals [16]. See also [17] for other motivations. The singularity at infinity describes the nonlocal effect in the examples above.

In this paper, we will be interested with the study of the following fractional p-Laplacian problem with Radon measure data:

$$\left\{\begin{array}{cc}{(-\mathsf{\Delta })}_p^{s}u=\vartheta \hfill & \mathrm{in}\mathsf{\Omega }\hfill \\ u=0\hfill & \mathrm{in}{\mathbb{R}}^N\backslash \mathsf{\Omega }\hfill \end{array}\right.$$

(1)

The problem involved in the last equation is a nonlocal integro-differential operators named by fractional p-laplacian operator ${(-\mathsf{\Delta })}_p^s$ defined as following:

$${(-\mathsf{\Delta })}_p^{s}u\left(x\right)=2\underset{\epsilon \to 0}{lim}{\int }_{{\mathbb{R}}^N\backslash B_{\epsilon }\left(x\right)}\frac{{|u\left(x\right)-u\left(y\right)|}^{p-2}(u\left(x\right)-u\left(y\right))}{{|x-y|}^{N+ps}}dy$$

along all $u\in C_0^{\infty }\left({\mathbb{R}}^N\right).$

One typical feature of these operators is the nonlocality, in the sense that the value of ${(-\mathsf{\Delta })}_p^{s}u$ at any point $x\in \mathsf{\Omega }$ depends not only on the values of u on the whole $\mathsf{\Omega }$, but actually on the whole ${\mathbb{R}}^N.$

The necessity to substitute fractional Laplacians for Laplacians stems from the need to represent anomalous diffusion. In probabilistic terms, it is equivalent to replacing the next neighbor interaction of random walks and their limit, the Brownian motion, by long-distance interaction. In a stochastic process, $u\left(x\right)$ represents the expected value of a random variable related to a process with a random jump far from the point x. A distinct difference from the classical case is that when one exits from $\mathsf{\Omega }$, they are necessarily on $\partial \mathsf{\Omega }$, since the Brownian motion is continuous. In view of the process’ jumping nature, it is possible to end up anywhere outside $\mathsf{\Omega }$ at the exit time. Thus, the natural nonhomogeneous Dirichlet boundary condition consists of associating the values of u with ${\mathbb{R}}^N\backslash \mathsf{\Omega }$ instead of $\partial \mathsf{\Omega }$. Then, the adequate functional framework to look for a solution is the space $W^{s,p}\left({\mathbb{R}}^N\right)$ vanishing outside $\mathsf{\Omega }$. It must be noted that, in a bounded domain, there is another way to give a formulation of the problem.

In [18], Karelsen et al. consider a duality method to prove existence and uniqueness of solutions to the following nonlocal problem:

$${(-\mathsf{\Delta })}^{s}u=\mu \mathrm{in}{\mathbb{R}}^N$$

with vanishing conditions at infinity. Where $\mu$ is a bounded Radon measure whose support is compactly contained in ${\mathbb{R}}^N,N\ge 2,$ and $s\in (1/2,1).$

In [19], the authors treated the existence and regularity up to the boundary for the problem ${(-\mathsf{\Delta })}^{s}u=g$ in $\mathsf{\Omega }$ and $u=0$ in ${\mathbb{R}}^N\backslash \mathsf{\Omega }$, for some $s\in (0,1)$. Precisely, they proved, using a variant version of the Krylov boundary Harnack method in the fractional case, that under the hypothesis $g\in L^{\infty }\left(\mathsf{\Omega }\right),\mathsf{\Omega }$ is a regular domain and $\delta \left(x\right)=dist(x,\partial \mathsf{\Omega }),$ the solution u of the problem satisfies $u\in C^s\left({\mathbb{R}}^N\right)$ and ${{\displaystyle \frac{u}{{\delta }^s}}}_{{|}_{\mathsf{\Omega }}}\in C^{\alpha }$ up to the boundary $\partial \mathsf{\Omega }$ for some $\alpha \in (0,1)$.

Barrios et al. [20] consider the following semilinear problem with the presence of a fractional Laplacian:

$$\left\{\begin{array}{cc}{(-\mathsf{\Delta })}^{s}u=\lambda \frac{f\left(x\right)}{u^{\gamma }}+M{u}^p\hfill & \mathrm{in}\mathsf{\Omega },\hfill \\ u>0\hfill & \mathrm{in}\mathsf{\Omega },\hfill \\ u=0\hfill & \mathrm{in}{R}^N\backslash \mathsf{\Omega }.\hfill \end{array}\right.$$

(2)

where $\mathsf{\Omega }$ is a smooth bounded domain of ${\mathbb{R}}^N,N>2s,M\in \{0,1\},0<s<1,\gamma >0,\lambda >0,p>1$ and f is a non-negative function. Precisely, they proved that:

If $M=0,$ there exist a weak solution for all $\gamma >0$ and $\lambda >0.$

If $M=0,f=1,$ there exists a threshold ${\lambda }^{*}$ such that there exist a weak solution for $0<\lambda <{\lambda }^{*},$ and there does not for $\lambda >{\lambda }^{*}.$

Additionally, Barrios et al. in [21] proved the summability of the finite energy solution when the source belongs to some Lebesgue spaces $L^m\left(\mathsf{\Omega }\right)$ for the problem

$$\left\{\begin{array}{cc}{(-\mathsf{\Delta })}_p^{s}u=f\left(x\right)\hfill & \mathrm{in}\mathsf{\Omega },\hfill \\ u=0\hfill & \mathrm{in}{\mathbb{R}}^N\backslash \mathsf{\Omega }.\hfill \end{array}\right.$$

(3)

with $0<s<1,$ and $1<p<+\infty ,m>1.$

Recently, Abdellaoui et al. [22] considered a more general problem under the form

$$\left\{\begin{array}{cc}{(-\mathsf{\Delta })}_{p,\beta }^{s}u=f(x,u)\hfill & \mathrm{in}\mathsf{\Omega },\hfill \\ u=0\hfill & \mathrm{in}{\mathbb{R}}^N\backslash \mathsf{\Omega }.\hfill \end{array}\right.$$

(4)

where $\mathsf{\Omega }$ is a smooth bounded domain of ${\mathbb{R}}^N$ containing the origin and where

$${(-\mathsf{\Delta })}_{p,\beta }^{s}u\left(x\right)=2\underset{\epsilon \to 0}{lim}{\int }_{{\mathbb{R}}^N\backslash B_{\epsilon }\left(x\right)}\frac{{|u\left(x\right)-u\left(y\right)|}^{p-2}(u\left(x\right)-u\left(y\right))}{{|x-y|}^{N+ps}}\frac{dy}{{\left|x\right|}^{\beta }{\left|y\right|}^{\beta }}$$

With $0\le \beta <\frac{N-ps}{2},1<p<N,s\in (0,1),sp<N$ and $f\in L^1\left(\mathsf{\Omega }\right).$ The main result was the existence of a weak solution in some adequate weighted fractional Sobolev space.

Our main goal in this paper is to study the existence and regularity results of the singular problem (1) when the source term is a bounded Radon measure. Indeed, the results will present an extension and improvement of existing works in [18,22,23]. More precisely, we prove (by using some isoperimetric inequalities) in the fractional case the existence of weak solution $u\in W_0^{s_1,q}\left(\mathsf{\Omega }\right)$ for all $s_1<s$ and $q<\frac{N(p-1)}{N-s}$ which present a generalization of [23] in the framework of fractional Sobolev spaces. Furthermore, we prove that if $\vartheta$ belongs to the Zygmund space $LLo{g}^{\alpha }L\left(\mathsf{\Omega }\right),\alpha >\frac{N-s}{N},$ then the limiting regularity $u\in W_0^{s_1,\frac{N(p-1)}{N-s}}\left(\mathsf{\Omega }\right)$ (for all $s_1<s$) is obtained and if $\alpha =\frac{N-s}{N}$ with $p=N,$ then we reach the maximal regularity with respect to s and $N,u\in W_0^{s,N}\left(\mathsf{\Omega }\right).$

This paper is organized as follows. Section 2 presents some definitions and results concerning the Orlicz spaces, the fractional Sobolev spaces, and also some isoperimetric results. Section 3 focuses on the main result of the paper related to the existence, regularity and sharp regularity of solutions of the problem (1).

2. Preliminaries

In this section, for the reader’s convenience, we present various definitions and known results.

2.1. Orlicz Spaces

For the following spaces, one can see [24].

Definition 1.

Let $M:{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ we say that M is an $N-$function, if it is continuous, convex and strictly positive for $t>0$. We can assume without loss of generality that $\frac{M\left(t\right)}{t}⟶0$ as $t⟶0$ and $\frac{M\left(t\right)}{t}⟶\infty$ as $t⟶\infty$. The $N-$function conjugate to M is defined by

$${\displaystyle \overline{M}\left(t\right)=\underset{s>0}{sup}\left\{st-M\left(s\right)\right\}.}$$

Definition 2.

Let Ω be an open set in ${\mathbb{R}}^N$. The Orlicz space $L_M\left(\mathsf{\Omega }\right)$ is defined by

$$L_M\left(\mathsf{\Omega }\right):=\left\{{\displaystyle u:\mathsf{\Omega }\to \mathbb{R}measurable:{\int }_{\mathsf{\Omega }}M\left({\displaystyle \frac{u\left(x\right)}{\lambda }}\right)dx<+\infty for some\lambda >0}\right\}$$

which is a Banach space under the norm

$${\parallel u\parallel }_{M,\mathsf{\Omega }}=inf\left\{{\displaystyle \lambda >0,{\int }_{\mathsf{\Omega }}M\left(\frac{u\left(x\right)}{\lambda }\right)dx\le 1}\right\}.$$

The closure of the set of bounded measurable functions with compact support in $\overline{\mathsf{\Omega }}$ in $L_M\left(\mathsf{\Omega }\right)$ will be denoted by $E_M\left(\mathsf{\Omega }\right)$.

The dual of $E_M\left(\mathsf{\Omega }\right)$ can be identified with $L_{\overline{M}}\left(\mathsf{\Omega }\right)$ by means of the pairing ${\displaystyle {\int }_{\mathsf{\Omega }}uvdx}$, and the dual norm of $L_{\overline{M}}\left(\mathsf{\Omega }\right)$ is equivalent to ${\parallel .\parallel }_{\overline{M},\mathsf{\Omega }}$.

Theorem 1

(Hölder inequality in Orlicz spaces) Let M be an N- function and let $u\in L_M\left(\mathsf{\Omega }\right),$$v\in L_{\overline{M}}\left(\mathsf{\Omega }\right)$. Then, we have

$${\int }_{\mathsf{\Omega }}uvdx\le {2\parallel u\parallel }_M{\parallel v\parallel }_{\overline{M}}.$$

2.2. Fractional Sobolev Spaces

In this paragraph, we introduce the fractional Sobolev space (see for instance [25]), which is the suitable space for the study of problem $\left(1\right)$.

Definition 3.

Let $s\in (0,1)$ and $p\in [1,+\infty ).$ We define the fractional Sobolev space by

$$W^{s,p}(\mathsf{\Omega })=\left\{u\in L^p\left(\mathsf{\Omega }\right):{\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}\frac{{|u\left(x\right)-u\left(y\right)|}^p}{{|x-y|}^{ps+N}}dxdy<+\infty \right\}$$

endowed with the norm

$${\parallel u\parallel }_{W^{s,p}\left(\mathsf{\Omega }\right)}={\left({\parallel u\parallel }_{L^p\left(\mathsf{\Omega }\right)}^p+{\left[u\right]}_{s,p}^p\right)}^{\frac{1}{p}}$$

where ${\left[u\right]}_{s,p}$ is the semi-norm of Galiardo defined as ${\left[u\right]}_{s,p}={\left({\displaystyle {\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}\frac{{|u\left(x\right)-u\left(y\right)|}^p}{{|x-y|}^{ps+N}}dxdy}\right)}^{\frac{1}{p}}.$

We define $W_0^{s,p}\left(\mathsf{\Omega }\right)=\left\{u\in W^{s,p}\left(\mathsf{\Omega }\right):u=0\mathrm{in}{\mathbb{R}}^N\backslash \mathsf{\Omega }\right\}.$ One can also define the space $W_0^{s,p}\left(\mathsf{\Omega }\right)$ as the closure of $C_0^{\infty }\left(\mathsf{\Omega }\right)$ with respect to the norm of $W^{s,p}\left(\mathsf{\Omega }\right).$

Theorem 2

(cf. [26]). Let Ω be an open subset in ${\mathbb{R}}^N$, s $\in (0,1)$ and $1\le p<+\infty$, we have

(1) $W^{s,p}\left(\mathsf{\Omega }\right)$ is a Banach space.

(2) If $1\le p<+\infty ,$ then $W^{s,p}\left(\mathsf{\Omega }\right)$ is separable.

(3) If $1<p<+\infty ,$ then $W^{s,p}\left(\mathsf{\Omega }\right)$ is reflexive.

Theorem 3

(cf. [26]). Let Ω be a bounded open subset in ${\mathbb{R}}^N$ with $C^{0,1}$ regularity, $s\in (0,1)$ and $1\le p<+\infty$, then $W^{s,p}\left(\mathsf{\Omega }\right)$ is continuously embedded in $L^q\left(\mathsf{\Omega }\right)$ for all $q\in [1,p_s^{*}].$ where $p_s^{*}$ is given by

$$p_s^{*}=\frac{Np}{N-sp}ifsp<Nand{p}_s^{*}=+\infty ifsp\ge N.$$

Theorem 4

(cf. [26]). Let Ω be a bounded open subset in ${\mathbb{R}}^N$ with $C^{0,1}$ regularity, $s\in (0,1)$ and $1\le p<+\infty .$ Then

(1) if $sp<N,$ then the embedding $W^{s,p}\left(\mathsf{\Omega }\right)\hookrightarrow L^q\left(\mathsf{\Omega }\right)$ is compact for all $q\in [1,p_s^{*}],$

(2) if $sp=N,$ then the embedding $W^{s,p}\left(\mathsf{\Omega }\right)\hookrightarrow L^q\left(\mathsf{\Omega }\right)$ is compact for all $q\in [1,+\infty ),$

(3) if $sp>N,$ then the embedding $W^{s,p}\left(\mathsf{\Omega }\right)\hookrightarrow L^{\infty }\left(\mathsf{\Omega }\right).$

Theorem 5

(cf. [26]). on $W_0^{s,p}\left(\mathsf{\Omega }\right)$, we have the equivalence between ${\parallel u\parallel }_{W_{{s,p}_{\left(\mathsf{\Omega }\right)}}}$ and ${\left[u\right]}_{s,p}$.

Theorem 6

(cf. [27]). Let Ω be a bounded open subset in ${\mathbb{R}}^N$ with $C^{0,1}$ regularity, $s\in (0,1)$ and $1\le p<+\infty .$ Then

$$W_0^{s,N}\left(\mathsf{\Omega }\right)\hookrightarrow L_A\left(\mathsf{\Omega }\right),A\left(t\right)=e^{t^{\frac{N}{N-s}}}-1$$

and the embedding $W_0^{s,N}\left(\mathsf{\Omega }\right)\hookrightarrow L_B\left(\mathsf{\Omega }\right)$ is compact for all N-function B, which grows essentially more slowly near infinity than $A,$ namely

$$\underset{t\to \infty }{lim}\frac{B\left(\lambda t\right)}{e^{t^{\frac{N}{N-s}}}}=0$$

for every $\lambda >0.$

We define the fractional Orlicz–Sobolev spaces by the same way as $W^{s,p}\left(\mathsf{\Omega }\right)$ and $W_0^{s,p}\left(\mathsf{\Omega }\right).$

2.3. Isoperimetric Inequalities

The following results concerning isoperimetric inequality for fractional perimeters can be found in [28].

Lemma 1.

Let Ω be an open subset in ${\mathbb{R}}^N.$ For all measurable sets $D\subset \mathsf{\Omega },$ we have

$${\left|D\right|}^{1-\frac{s}{N}}\le 2C{P}_s(D,\mathsf{\Omega }),$$

where the perimeter of D is defined by ${\displaystyle P_s(D,\mathsf{\Omega })={\int }_D{\int }_{\mathsf{\Omega }\backslash D}\frac{1}{{|x-y|}^{N+s}}dxdy.}$

When we take $D=\left\{\right|u|>t\},$ we have the following equality, which we will use in the paper.

$$P_s\left(\right|u|>t)=\frac{1}{2}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}|{\chi }_{\left|u\right|>t}\left(x\right)-{\chi }_{\left|u\right|>t}\left(y\right)|.\frac{1}{{|x-y|}^{N+s}}dxdy$$

$${\int }_{-\infty }^{+\infty }{P}_s\left(\right|u|>t)dt=\frac{1}{2}{\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}|u\left(x\right)-u\left(y\right)|.\frac{1}{{|x-y|}^{N+s}}dxdy$$

$$|u\left(x\right)-u\left(y\right)|={\int }_{-\infty }^{+\infty }|{\chi }_{\left|u\right|>t}\left(x\right)-{\chi }_{\left|u\right|>t}\left(y\right)|dt$$

$${\chi }_{\left|u\right|>t}\left(x\right)-{\chi }_{\left|u\right|>t}\left(y\right)={\chi }_{\left|u\right|>t}\left(x\right){\chi }_{{\mathbb{R}}^N-\left\{\right|u|>t\}}\left(y\right)+{\chi }_{\left|u\right|>t}\left(y\right){\chi }_{{\mathbb{R}}^N-\left\{\right|u|>t\}}\left(x\right).$$

3. Main Results

In what follows, for simplicity we will use the following notations

$$D^{s}u=\frac{u\left(x\right)-u\left(y\right)}{{|x-y|}^s},d\nu =\frac{dxdy}{{|x-y|}^N}and\mu \left(t\right)=\left|\right\{x\in \mathsf{\Omega }:\left|u\left(x\right)\right|>t\left\}\right|.$$

The following two lemmas are the fractional version of the well known results presented by Talenti (see [29] for more details).

Lemma 2.

Let $s\in (0,1)$ and $u\in W_0^{s,1}\left(\mathsf{\Omega }\right),$ we have

$$-\frac{d}{dt}{\int }_{\left\{\right|u|>t\}}{\int }_{\mathsf{\Omega }\backslash \left\{\right|u|>t\}}\left|D^{s}u\right|d\nu \ge c\mu {\left(t\right)}^{1-\frac{s}{N}}.$$

Proof. 

Let $(x,y)\in \left\{\right|u|>t\}\times \mathsf{\Omega }\backslash \left\{\right|u|>t\},$ then

$$|u\left(x\right)-u\left(y\right)|={\int }_t^{+\infty }|{\chi }_{\left|u\right|>t}\left(x\right)-{\chi }_{\left|u\right|>t}\left(y\right)|dt$$

and

$${\int }_{\left\{\right|u|>t\}}{\int }_{\mathsf{\Omega }-\left\{\right|u|>t\}}\frac{\left|u\right(x)-u(y\left)\right|}{{|x-y|}^{N+s}}dxdy={\int }_t^{+\infty }P\left(\right|u|>t).$$

Then,

$$P\left(\right|u|>t)=-\frac{d}{dt}{\int }_{\left\{\right|u|>t\}}{\int }_{\mathsf{\Omega }\backslash \left\{\right|u|>t\}}\frac{\left|u\right(x)-u(y\left)\right|}{{|x-y|}^{N+s}}dxdy\ge c\mu {\left(t\right)}^{1-\frac{s}{N}}$$

 □

Lemma 3.

Let $s\in (0,1)$ and $u\in W_0^{s,p}\left(\mathsf{\Omega }\right),1<p<+\infty$ we have

$$-{\mu }^{{}^{\prime }}\left(t\right)\ge c\mu {\left(t\right)}^{1-\frac{s}{N}}\mathcal{C}\left(-\frac{1}{c\mu {\left(t\right)}^{1-\frac{s}{N}}}\frac{d}{dt}{\int }_{\left\{\right|u|>t\}}{\int }_{\mathsf{\Omega }}{\left|D^{s}u\right|}^{p}d\nu \right),\forall t>0$$

where $\mathcal{C}\left(t\right)=t^{-\frac{1}{p-1}}.$

Proof. 

Recall that $\mathcal{C}$ is convex and decreasing. We have

$$\begin{array}{ccc}\mathcal{C}\left[{\displaystyle \frac{{\displaystyle {\int }_{\{t<|u|<t+h\}}{\int }_{\mathsf{\Omega }}{\left|D^{s}u\right|}^{p}d\nu }}{{\displaystyle {\int }_{\{t<|u|<t+h\}}{\int }_{\mathsf{\Omega }\backslash \left\{\right|u|>t\}}\left|D^{s}u\right|d\nu }}}\right]\hfill & \le \hfill & \mathcal{C}\left[{\displaystyle \frac{{\displaystyle {\int }_{\{t<|u|<t+h\}}{\int }_{\mathsf{\Omega }\backslash \left\{\right|u|>t\}}{\left|D^{s}u\right|}^{p}d\nu }}{{\displaystyle {\int }_{\{t<|u|<t+h\}}{\int }_{\mathsf{\Omega }\backslash \left\{\right|u|>t\}}\left|D^{s}u\right|d\nu }}}\right]\hfill \\ \hfill & \le \hfill & {\displaystyle \frac{{\displaystyle {\int }_{\{t<|u|<t+h\}}{\int }_{\mathsf{\Omega }\backslash \left\{\right|u|>t\}}\mathcal{C}\left(\right|D^s{u|}^{p-1}\left)\right|D^{s}u|d\nu }}{{\displaystyle {\int }_{\{t<|u|<t+h\}}{\int }_{\mathsf{\Omega }\backslash \left\{\right|u|>t\}}\left|D^{s}u\right|d\nu }}}\hfill \end{array}$$

Let us denote by ${\mathsf{\Omega }}_{+}=\{y\in \mathsf{\Omega }:|x-y|\ge 1\},{\mathsf{\Omega }}_{-}=\{y\in \mathsf{\Omega }:|x-y|\le 1\},$ and $\delta \left(\mathsf{\Omega }\right)$ designed the diameter of $\mathsf{\Omega }.$ Then,

$${\displaystyle {\int }_{{\mathsf{\Omega }}_{+}\backslash \left\{\right|u|>t\}}\mathcal{C}\left(\right|D^s{u|}^{p-1}\left)\right|D^{s}u|\frac{dy}{{|x-y|}^N}={\int }_{{\mathsf{\Omega }}_{+}\backslash \left\{\right|u|>t\}}\frac{dy}{{|x-y|}^N}\le \left|\mathsf{\Omega }\right|}$$

Choosing a real $\gamma$ large enough, we have

$$\begin{array}{cc}{\displaystyle {\int }_{{\mathsf{\Omega }}_{-}\backslash \left\{\right|u|>t\}}\mathcal{C}\left(\right|D^s{u|}^{p-1}\left)\right|D^{s}u|\frac{dy}{{|x-y|}^N}}\hfill & {\displaystyle ={\int }_{{\mathsf{\Omega }}_{-}\backslash \left\{\right|u|>t\}}\mathcal{C}\left[{|x-y|}^{\gamma }\frac{|D^s{u|}^{p-1}}{{|x-y|}^{\gamma }}\right]\left|D^{s}u\right|\frac{dy}{{|x-y|}^N}}\hfill \\ \hfill & {\displaystyle \le {\int }_{{\mathsf{\Omega }}_{-}\backslash \left\{\right|u|>t\}}{|x-y|}^{\gamma }\mathcal{C}\left[\frac{|D^s{u|}^{p-1}}{{|x-y|}^{\gamma }}\right]\left|D^{s}u\right|\frac{dy}{{|x-y|}^N}}\hfill \\ \hfill & {\displaystyle \le {\int }_{{\mathsf{\Omega }}_{-}\backslash \left\{\right|u|>t\}}{|x-y|}^{\gamma \frac{p}{p-1}}\frac{dy}{{|x-y|}^N}\le \left|\mathsf{\Omega }\right|\delta {\left(\mathsf{\Omega }\right)}^{\gamma p^{\prime }-N}.}\hfill \end{array}$$

In both cases, we have

$${\displaystyle \mathcal{C}\left[{\displaystyle \frac{{\displaystyle {\int }_{\{t<|u|<t+h\}}{\int }_{\mathsf{\Omega }}{\left|D^{s}u\right|}^{p}d\nu }}{{\displaystyle {\int }_{\{t<|u|<t+h\}}{\int }_{\mathsf{\Omega }\backslash \left\{\right|u|>t\}}\left|D^{s}u\right|d\nu }}}\right]\le \frac{C(-\mu (t+h)+\mu (t\left)\right)}{{\displaystyle {\int }_{\{t<|u|<t+h\}}{\int }_{\mathsf{\Omega }\backslash \left\{\right|u|>t\}}\left|D^{s}u\right|d\nu }}}$$

Letting h to zero, we obtain

$${\displaystyle \mathcal{C}\left[{\displaystyle \frac{{\displaystyle \frac{d}{dt}{\int }_{\left\{\right|u|>t\}}{\int }_{\mathsf{\Omega }}\left|D^{s}u\right|d\nu }}{{\displaystyle \frac{d}{dt}{\int }_{\left\{\right|u|>t\}}{\int }_{\mathsf{\Omega }\backslash \left\{\right|u|>t\}}\left|D^{s}u\right|d\nu }}}\right]\le \frac{C{\mu }^{{}^{\prime }}\left(t\right)}{{\displaystyle \frac{d}{dt}{\int }_{\left\{\right|u|>t\}}{\int }_{\mathsf{\Omega }\backslash \left\{\right|u|>t\}}\left|D^{s}u\right|d\nu }}}$$

Using Lemma 7, we obtain the result. □

Definition 4.

We say that a measurable function u is a weak solution for the problem (1) if it satisfies:

$$\left\{\begin{array}{c}u\in W_0^{s,1}\left(\mathsf{\Omega }\right)\hfill \\ {\displaystyle {\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}\frac{{|u\left(x\right)-u\left(y\right)|}^{p-2}(u\left(x\right)-u\left(y\right))(\phi \left(x\right)-\phi \left(y\right))}{{|x-y|}^{ps}}d\nu ={\int }_{\mathsf{\Omega }}\phi d\vartheta }\hfill \end{array}\right.$$

(5)

for all $\phi \in C_0^{\infty }\left(\mathsf{\Omega }\right).$

In this definition, the double integral can be written in the domain

$$Q={\mathbb{R}}^N\times {\mathbb{R}}^N\backslash ({\mathsf{\Omega }}^c\times {\mathsf{\Omega }}^c).$$

If we denote by ${\displaystyle \mathsf{\Delta }(x,y,u,\phi )=\frac{{|u\left(x\right)-u\left(y\right)|}^{p-2}(u\left(x\right)-u\left(y\right))(\phi \left(x\right)-\phi \left(y\right))}{{|x-y|}^{ps}},}$ then

$${\displaystyle {\int }_{{\mathbb{R}}^N}{\int }_{{\mathbb{R}}^N}\mathsf{\Delta }(x,y,u,\phi )d\nu ={\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}\mathsf{\Delta }(x,y,u,\phi )d\nu +2{\int }_{\mathsf{\Omega }}{\int }_{{\mathbb{R}}^N-\mathsf{\Omega }}\mathsf{\Delta }(x,y,u,\phi )d\nu .}$$

Theorem 7.

Let Ω be a bounded open subset in ${\mathbb{R}}^N$ with $C^{0,1}$ regularity. Suppose $s\in (0,1),2-\frac{s}{N}<p\le N$ and ϑ is a bounded Radon measure, the problem (1) has at least one weak solution $u\in W_0^{s_1,q}\left(\mathsf{\Omega }\right),$ for all $s<s_1,q<\frac{N(p-1)}{N-s}.$

Moreover,

if $\vartheta \in LLo{g}^{\alpha }L\left(\mathsf{\Omega }\right),$ with $\alpha >\frac{N-s}{N}$ then $u\in W_0^{s_1,\frac{N(p-1)}{N-s}}\left(\mathsf{\Omega }\right),$ for all $s_1<s,$

if $\alpha =\frac{N-s}{N}$ with $p=N,$ then $u\in W_0^{s,N}\left(\mathsf{\Omega }\right).$

Proof. 

Approximation and a priori estimate:

Let $\left(f_n\right)$ be a sequence of smooth functions such that $\left(f_n\right)$ converges weakly to $\vartheta$ in the space of Radon measure $M_b\left(\mathsf{\Omega }\right)$ and $\parallel f_n{\parallel }_1\le {\parallel \vartheta \parallel }_{M_b\left(\mathsf{\Omega }\right)}.$

Consider the approximate problem:

$$\left\{\begin{array}{cc}{(-\mathsf{\Delta })}_p^s{u}_n=f_n\hfill & \mathrm{in}\mathsf{\Omega }\hfill \\ u_n=0\hfill & \mathrm{in}{\mathbb{R}}^N\mathsf{\Omega }\hfill \end{array}\right.$$

(6)

The existence and uniqueness of $u_n\in W_0^{s,p}\left(\mathsf{\Omega }\right)$ is guaranteed by using a classical variational argument in the space $W_0^{s,p}\left(\mathsf{\Omega }\right)$.

Consider the following truncation function $\phi$ (see Figure 1) defined, for any t and h positive, by

$$\phi \left(\zeta \right)=\left\{\begin{array}{cc}0\hfill & \mathrm{if}0\le \zeta \le \theta ,\hfill \\ \frac{1}{h}(\zeta -t)\hfill & \mathrm{if}\theta <\zeta <\theta +h,\hfill \\ 1\hfill & \mathrm{if}\zeta \ge \theta +h,\hfill \\ -\phi (-\zeta )\hfill & \mathrm{if}\zeta <0.\hfill \end{array}\right.$$

Figure 1. The function $\phi \left(\zeta \right)$.

By taking $v=\phi \left(u_n\right)$ as test function, we obtain

$${\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}\frac{|u_n\left(x\right)-u_n\left(y\right){|}^{p-2}(u_n\left(x\right)-u_n\left(y\right))(\phi \left(u_n\left(x\right)\right)-\phi \left(u_n\left(y\right)\right)}{{|x-y|}^{ps}}d\nu \le {\int }_{\mathsf{\Omega }}{f}_n\phi \left(u_n\right)dx$$

Since x and y play the same role let fixed $x\in \{t<|u_n|<t+h\}.$

Since $\mathsf{\Omega }=\{t<|u_n|<t+h\}\cup \left\{\right|u_n|<t\}\cup \left\{\right|u_n|\ge t+h\}.$

If $y\in \{t<|u_n|<t+h\},$ then ${\displaystyle \phi \left(u_n\left(x\right)\right)-\phi \left(u_n\left(y\right)\right)=\frac{1}{h}(u_n\left(x\right)-u_n\left(y\right)).}$

If $y\in \left\{\right|u_n|<t\},$ then ${\displaystyle \phi \left(u_n\left(x\right)\right)-\phi \left(u_n\left(y\right)\right)=\frac{1}{h}(u_n\left(x\right)-t)}$ and we deduce that:

$$\begin{array}{cc}\hfill & |u_n\left(x\right)-u_n\left(y\right){|}^{p-2}(u_n\left(x\right)-u_n\left(y\right))(\phi \left(u_n\left(x\right)\right)-\phi \left(u_n\left(y\right)\right)\hfill \\ & {\displaystyle \ge \frac{1}{h}{|u_n\left(x\right)-u_n\left(y\right)|}^{p-2}(u_n\left(y\right)-u_n\left(x\right))(u_n\left(y\right)-u_n\left(x\right))}\hfill \\ & {\displaystyle =\frac{1}{h}{|u_n\left(x\right)-u_n\left(y\right)|}^p.}\hfill \end{array}$$

If $y\in \left\{\right|u_n|\ge t+h\},$ then ${\displaystyle \phi \left(u_n\left(x\right)\right)-\phi \left(u_n\left(y\right)\right)=\frac{1}{h}(u_n\left(x\right)-(t+h)).}$ As above, we deduce that

$$\begin{array}{cc}\hfill & |u_n\left(x\right)-u_n\left(y\right){|}^{p-2}(u_n\left(x\right)-u_n\left(y\right))(\phi \left(u_n\left(x\right)\right)-\phi \left(u_n\left(y\right)\right)\hfill \\ & {\displaystyle \ge \frac{1}{h}{|u_n\left(x\right)-u_n\left(y\right)|}^{p-2}(u_n\left(y\right)-u_n\left(x\right))(u_n\left(y\right)-u_n\left(x\right))}\hfill \\ & {\displaystyle =\frac{1}{h}{|u_n\left(x\right)-u_n\left(y\right)|}^p.}\hfill \end{array}$$

Then, for all $h>0,$ we have

$$\begin{array}{c}{\displaystyle \frac{1}{h}{\int }_{\{t<|u_n|<t+h\}}{\int }_{\mathsf{\Omega }}{\left|D^s{u}_n\right|}^{p}d\nu }\hfill \\ {\displaystyle \le {\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}\frac{|u_n\left(x\right)-u_n\left(y\right){|}^{p-2}(u_n\left(x\right)-u_n\left(y\right))(\phi \left(u_n\left(x\right)\right)-\phi \left(u_n\left(y\right)\right)}{{|x-y|}^{ps}}d\nu }\hfill \\ {\displaystyle \le {\int }_{\mathsf{\Omega }}{f}_n\phi \left(u_n\right)dx}\hfill \end{array}$$

and we deduce easily that

$$-\frac{d}{dt}{\int }_{\left\{\right|u_n|>t\}}{\int }_{\mathsf{\Omega }}|D^s{u}_n{|}^{p}d\nu \le {\int }_{|u_n|\ge t}\left|f_n\right|dx.$$

By using Lemma 13, it’s easy to deduce that

$${\left[{\displaystyle \frac{1}{{\mu }^{{}^{\prime }}\left(t\right)}\frac{d}{dt}{\int }_{\left\{\right|u_n|>t\}}{\int }_{\mathsf{\Omega }}{\left|D^s{u}_n\right|}^{p}d\nu }\right]}^{1/p}\le {\left[{\displaystyle \frac{-1}{\mu {\left(t\right)}^{1-s/N}}\frac{d}{dt}{\int }_{\left\{\right|u_n|>t\}}{\int }_{\mathsf{\Omega }}{\left|D^s{u}_n\right|}^{p}d\nu }\right]}^{1/(p-1)}$$

Let M be an N-function and K a convex function such that $K\left(M\left(t\right)\right)=t^q,1<q<p$.

Let $0<s_1<s<1$ and let $\epsilon >0$, which will be chosen later.

$${\displaystyle K\left[{\displaystyle \frac{{\displaystyle {\int }_{\{t<|u_n|<t+h\}}{\int }_{\mathsf{\Omega }}M\left(\right|D^{s_1}{u}_n\left|\right)d\nu }}{-\mu (t+h)+\mu \left(t\right)}}\right]\le \frac{{\displaystyle {\int }_{\{t<|u_n|<t+h\}}K\left[{\int }_{\mathsf{\Omega }}M\left(\right|D^{s_1}{u}_n\left|\right)\frac{dy}{{|x-y|}^N}\right]dx}}{-\mu (t+h)+\mu \left(t\right)}}$$

(7)

Claim:${\displaystyle K\left[{\displaystyle {\int }_{\mathsf{\Omega }}\frac{M\left(\right|D^{s_1}{u}_n\left|\right)}{{|x-y|}^N}dy}\right]\le C{\int }_{\mathsf{\Omega }}\frac{|D^s{u}_n{|}^q}{{|x-y|}^N}dy.}$

Let us denote by ${\displaystyle {\mathsf{\Omega }}_{+}=\{y\in \mathsf{\Omega }:|x-y|\ge 1\},{\mathsf{\Omega }}_{-}=\{y\in \mathsf{\Omega }:|x-y|\le 1\},d{\lambda }_{\epsilon }=\frac{dy}{{|x-y|}^{N-\epsilon }}}$ and $\delta \left(\mathsf{\Omega }\right)$ designed the diameter of $\mathsf{\Omega }.$

We start by proving that ${\lambda }_{\epsilon }\left(\mathsf{\Omega }\right)\le C_1(\epsilon ,|\mathsf{\Omega }\left|\right).$

Indeed, let $\delta >0,$ then

$$\begin{array}{cc}\hfill & {\displaystyle {\int }_{\mathsf{\Omega }}\frac{dy}{{|x-y|}^{N-\epsilon }}={\int }_{B_{\delta }\left(x\right)}\frac{dy}{{|x-y|}^{N-\epsilon }}+{\int }_{\mathsf{\Omega }\backslash B_{\delta }\left(x\right)}\frac{dy}{{|x-y|}^{N-\epsilon }}}\hfill \\ \hfill & {\displaystyle \le {\int }_{B_{\delta }\left(0\right)}\frac{dz}{{\left|z\right|}^{N-\epsilon }}+{\int }_{\mathsf{\Omega }-B_{\delta }\left(x\right)}\frac{dy}{{\delta }^{N-\epsilon }}}\hfill \\ \hfill & {\displaystyle \le {\int }_{B_{\delta }\left(0\right)}\frac{dz}{{\left|z\right|}^{N-\epsilon }}+\frac{\left|\mathsf{\Omega }\right|}{{\delta }^{N-\epsilon }}:=C_1(\epsilon ,|\mathsf{\Omega }\left|\right).}\hfill \end{array}$$

Case 1: If ${\lambda }_{\epsilon }\left(\mathsf{\Omega }\right)\le 1,$

By using Jensen inequality in the first inequality and the convexity in the second one, we have

$$\begin{array}{cc}K\left[{\displaystyle {\int }_{\mathsf{\Omega }}\frac{M\left(\right|D^{s_1}{u}_n\left|\right)}{{|x-y|}^N}dy}\right]\hfill & =K\left[{\displaystyle {\int }_{\mathsf{\Omega }}\frac{M\left(\right|D^{s_1}{u}_n\left|\right)}{{|x-y|}^{\epsilon }}\frac{dy}{{|x-y|}^{N-\epsilon }}}\right]\hfill \\ & {\displaystyle \le \frac{1}{{\lambda }_{\epsilon }\left(\mathsf{\Omega }\right)}{\int }_{\mathsf{\Omega }}K\left[{\lambda }_{\epsilon }\left(\mathsf{\Omega }\right)\frac{M\left(\right|D^{s_1}{u}_n\left|\right)}{{|x-y|}^{\epsilon }}\right]\frac{dy}{{|x-y|}^{N-\epsilon }}}\hfill \\ \hfill & {\displaystyle \le {\int }_{\mathsf{\Omega }}K\left[\frac{M\left(\right|D^{s_1}{u}_n\left|\right)}{{|x-y|}^{\epsilon }}\right]\frac{dy}{{|x-y|}^{N-\epsilon }}}\hfill \end{array}$$

On one hand, we have,

$$\begin{array}{cc}{\displaystyle {\int }_{{\mathsf{\Omega }}_{+}}K\left[\frac{M\left(\right|D^{s_1}{u}_n\left|\right)}{{|x-y|}^{\epsilon }}\right]\frac{dy}{{|x-y|}^{N-\epsilon }}}\hfill & {\displaystyle \le {\int }_{{\mathsf{\Omega }}_{+}}\frac{1}{{|x-y|}^{\epsilon }}K\left(M\right(|D^{s_1}{u}_n\left|\right))\frac{dy}{{|x-y|}^{N-\epsilon }}}\hfill \\ \hfill & {\displaystyle ={\int }_{{\mathsf{\Omega }}_{+}}K\left(M\right(|D^{s_1}{u}_n\left|\right))\frac{dy}{{|x-y|}^N}}\hfill \\ \hfill & {\displaystyle ={\int }_{{\mathsf{\Omega }}_{+}}|D^{s_1+\epsilon }{u|}^q{|x-y|}^{\epsilon q}\frac{dy}{{|x-y|}^N}}\hfill \\ \hfill & {\displaystyle \le \delta {\left(\mathsf{\Omega }\right)}^{\epsilon q}{\int }_{{\mathsf{\Omega }}_{+}}{\left|D^{s_1+\epsilon }u\right|}^q\frac{dy}{{|x-y|}^N}}\hfill \end{array}$$

On the other hand, using the convexity of $M,$ we have

$$\begin{array}{cc}{\displaystyle {\int }_{{\mathsf{\Omega }}_{-}}K\left[\frac{M\left(\right|D^{s_1}{u}_n\left|\right)}{{|x-y|}^{\epsilon }}\right]\frac{dy}{{|x-y|}^{N-\epsilon }}}\hfill & {\displaystyle \le {\int }_{{\mathsf{\Omega }}_{-}}K\left[M\left[\frac{|D^{s_1}{u}_n|}{{|x-y|}^{\epsilon }}\right]\right]\frac{dy}{{|x-y|}^{N-\epsilon }}}\hfill \\ \hfill & {\displaystyle ={\int }_{{\mathsf{\Omega }}_{-}}\frac{|D^{s_1}{u}_n{|}^q}{{|x-y|}^{\epsilon q}}{|x-y|}^{\epsilon }\frac{dy}{{|x-y|}^N}}\hfill \\ \hfill & {\displaystyle \le \delta {\left(\mathsf{\Omega }\right)}^{\epsilon }{\int }_{{\mathsf{\Omega }}_{-}}{\left|D^{s_1+\epsilon }{u}_n\right|}^q\frac{dy}{{|x-y|}^N}}\hfill \end{array}$$

Combining the last two estimations, we get

$${\displaystyle {\int }_{\mathsf{\Omega }}K\left[\frac{M\left(\right|D^{s_1}{u}_n\left|\right)}{{|x-y|}^{\epsilon }}\right]\frac{dy}{{|x-y|}^{N-\epsilon }}\le (\delta {\left(\mathsf{\Omega }\right)}^{\epsilon }+\delta {\left(\mathsf{\Omega }\right)}^{\epsilon q}){\int }_{\mathsf{\Omega }}{\left|D^{s_1+\epsilon }{u}_n\right|}^q\frac{dy}{{|x-y|}^N}}$$

Case 2: If ${\lambda }_{\epsilon }\left(\mathsf{\Omega }\right)>1$

Using the convexity of $M,$ we have

$$\begin{array}{c}{\displaystyle K\left[{\displaystyle {\int }_{\mathsf{\Omega }}\frac{M\left(\right|D^{s_1}{u}_n\left|\right)}{{|x-y|}^N}dy}\right]\le \frac{1}{{\lambda }_{\epsilon }\left(\mathsf{\Omega }\right)}{\int }_{\mathsf{\Omega }}K\left[\frac{M\left({\lambda }_{\epsilon }\left(\mathsf{\Omega }\right)\right|D^{s_1}{u}_n\left|\right)}{{|x-y|}^{\epsilon }}\right]\frac{dy}{{|x-y|}^{N-\epsilon }}}\hfill \end{array}$$

To estimate the integral in the right side over ${\mathsf{\Omega }}_{+}$ and ${\mathsf{\Omega }}_{-}$, we adopt the same way as in the above case to obtain

$${\displaystyle {\int }_{\mathsf{\Omega }}K\left[\frac{M\left(\right|D^{s_1}{u}_n\left|\right)}{{|x-y|}^{\epsilon }}\right]\frac{dxdy}{{|x-y|}^{N-\epsilon }}\le C_1^{q-1}(\delta {\left(\mathsf{\Omega }\right)}^{\epsilon }+\delta {\left(\mathsf{\Omega }\right)}^{\epsilon q}){\int }_{\mathsf{\Omega }}{\left|D^{s_1+\epsilon }{u}_n\right|}^q\frac{dxdy}{{|x-y|}^N}.}$$

Choose $\epsilon$ such that $s_1+\epsilon =s,$ we then deduce

$${\displaystyle K\left[{\displaystyle {\int }_{\mathsf{\Omega }}\frac{M\left(\right|D^{s_1}{u}_n\left|\right)}{{|x-y|}^N}dy}\right]\le C{\int }_{\mathsf{\Omega }}\frac{|D^s{u}_n{|}^q}{{|x-y|}^N}dy}$$

(8)

which proves the claim.

Combining the inequalities (7) and (8), we obtain

$${\displaystyle K\left[{\displaystyle \frac{{\displaystyle {\int }_{\{t<|u_n|<t+h\}}{\int }_{\mathsf{\Omega }}M\left(\right|D^{s_1}{u}_n\left|\right)d\nu }}{-\mu (t+h)+\mu \left(t\right)}}\right]\le \frac{{\displaystyle {\int }_{\{t<|u_n|<t+h\}}{\int }_{\mathsf{\Omega }}{\left|D^s{u}_n\right|}^{q}d\nu }}{-\mu (t+h)+\mu \left(t\right)}.}$$

Letting h to zero, one has

$${\displaystyle K\left[{\displaystyle \frac{1}{{\mu }^{\prime }\left(t\right)}{\displaystyle \frac{d}{dt}{\int }_{\left\{\right|u_n|>t\}}{\int }_{\mathsf{\Omega }}M\left(\right|D^{s_1}{u}_n\left|\right)d\nu }}\right]\le \frac{1}{{\mu }^{\prime }\left(t\right)}\frac{d}{dt}{\int }_{\left\{\right|u_n|>t\}}{\int }_{\mathsf{\Omega }}{\left|D^s{u}_n\right|}^{q}d\nu .}$$

$$\begin{array}{ccc}{M}^{-1}\left[{\displaystyle \frac{1}{{\mu }^{\prime }\left(t\right)}{\displaystyle \frac{d}{dt}{\int }_{\left\{\right|u_n|>t\}}{\int }_{\mathsf{\Omega }}M\left(\right|D^{s_1}{u}_n\left|\right)d\nu }}\right]\hfill & \le \hfill & {\left[{\displaystyle \frac{1}{{\mu }^{\prime }\left(t\right)}\frac{d}{dt}{\int }_{\left\{\right|u_n|>t\}}{\int }_{\mathsf{\Omega }}{\left|D^s{u}_n\right|}^{q}d\nu }\right]}^{\frac{1}{q}}\hfill \\ & \le \hfill & {\left[{\displaystyle \frac{1}{{\mu }^{\prime }\left(t\right)}\frac{d}{dt}{\int }_{\left\{\right|u_n|>t\}}{\int }_{\mathsf{\Omega }}{\left|D^s{u}_n\right|}^{p}d\nu }\right]}^{\frac{1}{p}}\hfill \\ \hfill & \le \hfill & {\left[{\displaystyle \frac{-1}{\mu {\left(t\right)}^{1-s/N}}\frac{d}{dt}{\int }_{\left\{\right|u_n|>t\}}{\int }_{\mathsf{\Omega }}{\left|D^s{u}_n\right|}^{p}d\nu }\right]}^{1/(p-1)}\hfill \end{array}$$

Then,

$${\displaystyle -\frac{d}{dt}{\int }_{\left\{\right|u_n|>t\}}{\int }_{\mathsf{\Omega }}M\left(\right|D^{s_1}{u}_n\left|\right)d\nu \le (-{\mu }^{\prime }\left(t\right))M{\left[{\displaystyle \frac{-1}{\mu {\left(t\right)}^{1-s/N}}\frac{d}{dt}{\int }_{\left\{\right|u_n|>t\}}{\int }_{\mathsf{\Omega }}{\left|D^{s_1}{u}_n\right|}^{p}d\nu }\right]}^{1/(p-1)}}$$

$$\begin{array}{ccc}{\displaystyle {\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}M\left(\right|D^{s_1}{u}_n\left|\right)d\nu }\hfill & \le \hfill & {\displaystyle {\int }_0^{+\infty }(-{\mu }^{\prime }\left(t\right))M{\left[{\displaystyle \frac{-1}{\mu {\left(t\right)}^{1-s/N}}\frac{d}{dt}{\int }_{\left\{\right|u_n|>t\}}{\int }_{\mathsf{\Omega }}{\left|D^{s_1}{u}_n\right|}^{p}d\nu }\right]}^{1/(p-1)}}\hfill \\ \hfill & \le \hfill & {\displaystyle {\int }_0^{+\infty }(-{\mu }^{\prime }\left(t\right))M{\left[{\displaystyle \frac{-1}{\mu {\left(t\right)}^{1-s/N}}{\int }_{\left\{\right|u_n|>t\}}\left|f_n\right|dx}\right]}^{1/(p-1)}}\hfill \\ \hfill & =\hfill & {\displaystyle {\int }_0^{\left|\mathsf{\Omega }\right|}M\left(\frac{\parallel f_n{\parallel }_1^{p-1}}{r^{\frac{N-s}{N(p-1)}}}\right)dr.}\hfill \end{array}$$

If $M\left(t\right)=t^q,\mu \in M_b\left(\mathsf{\Omega }\right)$ the last integral converges if $1<q<\frac{N(p-1)}{N-s}$ and $\left(u_n\right)$ is bounded in $W_0^{s_1,q}\left(\mathsf{\Omega }\right).$

If $M\left(t\right)=t^{\frac{N(p-1)}{N-s_1}},\alpha >\frac{N-s}{N},\vartheta \in LLo{g}^{\alpha }L\left(\mathsf{\Omega }\right)$, we have

$$\begin{array}{ccc}{\displaystyle {\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}M\left(\right|D^{s_1}{u}_n\left|\right)d\nu }\hfill & \le \hfill & {\displaystyle {\int }_0^{+\infty }(-{\mu }^{\prime }\left(t\right))M{\left[{\displaystyle \frac{-1}{\mu {\left(t\right)}^{1-s/N}}{\int }_{\left\{\right|u_n|>t\}}\left|f_n\right|dx}\right]}^{1/(p-1)}}\hfill \\ & \le \hfill & {\displaystyle {\int }_0^{+\infty }(-{\mu }^{\prime }\left(t\right))M{\left[{\displaystyle \frac{2\parallel f_n{\parallel }_A}{\mu {\left(t\right)}^{1-s/N}Lo{g}^{\alpha }\left(\frac{1}{\mu \left(t\right)}\right)}dx}\right]}^{1/(p-1)}}\hfill \\ \hfill & =\hfill & {\displaystyle {\int }_0^{\left|\mathsf{\Omega }\right|}M\left(\frac{c}{r^{\frac{N-s}{N(p-1)}}Lo{g}^{\frac{\alpha }{p-1}}(1/r)}\right)dr<+\infty .}\hfill \end{array}$$

Then, $\left(u_n\right)$ is bounded in $W_0^s{L}_M\left(\mathsf{\Omega }\right)$ and up to a subsequence denoted $\left(u_n\right),$ there exists a function $u\in W_0^s{L}_M\left(\mathsf{\Omega }\right)$ such that $u_n\to u$ weakly in $W_0^s{L}_M\left(\mathsf{\Omega }\right)$ and strongly in $L_M\left(\mathsf{\Omega }\right)$ and a.e. in $\mathsf{\Omega }.$

Passaging to the limit when $\vartheta \in M_b\left(\mathsf{\Omega }\right),2-s/N<p<N.$

Let $\phi \in C_0^{\infty }\left(\mathsf{\Omega }\right),$ we start by denoting $U_n(x,y)=u_n\left(x\right)-u_n\left(y\right),U\left(x\right)=u\left(x\right)-u\left(y\right),$ and $\mathsf{\Phi }(x,y)=\phi \left(x\right)-\phi \left(y\right)$, then

$$|U_n{|}^{p-2}{U}_n\to {\left|U\right|}^{p-2}U\mathrm{a}.\mathrm{e}\mathrm{in}\mathsf{\Omega }\times \mathsf{\Omega }.$$

By the dominated convergence theorem and since $\phi \in W^{\delta ,l}\left(\mathsf{\Omega }\right)$ for all $\delta \in {\mathbb{R}}^{+}$ and for all $1<l<+\infty ,$ we obtain

$${\int }_Q\frac{{\left|U\right|}^{p-2}U\mathsf{\Phi }}{{|x-y|}^{ps}}d\nu ={\int }_{\mathsf{\Omega }}\phi d\vartheta$$

which means that u is a weak solution of (1).

Passaging to the limit when $\alpha >\frac{N-s}{N},\vartheta \in LLo{g}^{\alpha }L\left(\mathsf{\Omega }\right).$

The passage to the limit can be obtained by the same process.

We treat now the case ${\displaystyle \vartheta \in LLo{g}^{\alpha }L\left(\mathsf{\Omega }\right),\alpha =\frac{N-s}{N},}$ and $p=N.$

Consider the following problem:

$$\left\{\begin{array}{cc}{(-\mathsf{\Delta })}_p^s{u}_n+\frac{1}{n}{(-\mathsf{\Delta })}_N^s{u}_n=f_n\hfill & \mathrm{in}\mathsf{\Omega }\hfill \\ u_n=0\hfill & \mathrm{in}{\mathbb{R}}^N\mathsf{\Omega }\hfill \end{array}\right.$$

(9)

Let us use $v=u_n$ as test function, we obtain

$$\begin{array}{cc}{\displaystyle {\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}|D^s{u}_n{|}^{p}d\nu +\frac{1}{n}{\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}{\left|D^s{u}_n\right|}^{N}d\nu }\hfill & {\displaystyle \le {\int }_{\mathsf{\Omega }}{f}_n{u}_{n}dx}\hfill \\ & \le \parallel f_n{\parallel }_{LLo{g}^{\alpha }L\left(\mathsf{\Omega }\right)}{\parallel u_n\parallel }_{L_A\left(\mathsf{\Omega }\right)}\hfill \\ \hfill & \le {\parallel f\parallel }_{LLo{g}^{\alpha }L\left(\mathsf{\Omega }\right)}{\parallel u_n\parallel }_{W_0^{s,N}\left(\mathsf{\Omega }\right)}\left(\mathrm{see}\mathrm{Theorem}10\right)\hfill \end{array}$$

where $A\left(t\right)=e^{t^{\frac{N}{N-s}}}-1.$

Then,

$${\displaystyle \frac{1}{n}{\left({\displaystyle {\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}{\left|D^s{u}_n\right|}^{N}d\nu }\right)}^{\frac{N-1}{N}}\le C.}$$

Let $\phi \in C_0^{\infty }\left(\mathsf{\Omega }\right),U_n(x,y)=u_n\left(x\right)-u_n\left(y\right),$ and $\mathsf{\Phi }(x,y)=\phi \left(x\right)-\phi \left(y\right)$ then

$$\begin{array}{cc}\hfill & {\displaystyle {\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}\frac{|U_n{(x,y)|}^{N-2}{U}_n(x,y)\mathsf{\Phi }(x,y)}{{|x-y|}^{Ns}}d\nu +\frac{1}{n}{\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}\frac{|U_n{(x,y)|}^{N-2}{U}_n(x,y)\mathsf{\Phi }(x,y)}{{|x-y|}^{Ns}}d\nu }\hfill \\ \hfill & {\displaystyle \le {\int }_{\mathsf{\Omega }}{f}_n\phi dx\le C{\parallel \phi \parallel }_{W_0^{s,N}\left(\mathsf{\Omega }\right)}.}\hfill \end{array}$$

Let us remark that ${\parallel \phi \parallel }_{W_0^{s,N}\left(\mathsf{\Omega }\right)}={\parallel \mathsf{\Phi }\parallel }_{L^N(\mathsf{\Omega }\times \mathsf{\Omega };\frac{d\nu }{{|x-y|}^{sN}})}.$

Additionally, we deduce by using Hölder inequality that

$$\begin{array}{cc}\hfill & {\displaystyle \frac{1}{n}{\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}\frac{|U_n{(x,y)|}^{N-2}{U}_n(x,y)\mathsf{\Phi }(x,y)}{{|x-y|}^{Ns}}d\nu }\hfill \\ \hfill & {\displaystyle \le \frac{1}{n}{\left({\displaystyle {\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}\frac{|U_n{(x,y)|}^N}{{|x-y|}^{Ns}}d\nu }\right)}^{\frac{N-1}{N}}{\left({\displaystyle {\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}\frac{{\left|\mathsf{\Phi }\right|}^N}{{|x-y|}^{Ns}}d\nu }\right)}^{\frac{1}{N}}}\hfill \\ \hfill & \le {C\parallel \mathsf{\Phi }\parallel }_{L^N(\mathsf{\Omega }\times \mathsf{\Omega };\frac{d\nu }{{|x-y|}^{sN}})}.\hfill \end{array}$$

Then,

$$\begin{array}{c}{\displaystyle {\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}\frac{|U_n{(x,y)|}^{p-2}{U}_n(x,y)\mathsf{\Phi }(x,y)}{{|x-y|}^{Ns}}d\nu \le C{\parallel \mathsf{\Phi }\parallel }_{L^N(\mathsf{\Omega }\times \mathsf{\Omega };\frac{d\nu }{{|x-y|}^{sN}})}}\hfill \end{array}$$

which means that $(|U_n{|}^{N-1})$ is bounded in $L^{N^{\prime }}(\mathsf{\Omega }\times \mathsf{\Omega };\frac{d\nu }{{|x-y|}^{sN}}).$ Then,

$${\displaystyle {\int }_{\mathsf{\Omega }}{\int }_{\mathsf{\Omega }}{\left|D^s{u}_n\right|}^{N}d\nu \le C.}$$

Then, $\left(u_n\right)$ is bounded in $W_0^{s,N}\left(\mathsf{\Omega }\right)$ and up to a subsequence denoted $\left(u_n\right),$ there exists a function $u\in W_0^{s,N}\left(\mathsf{\Omega }\right)$ such that $u_n\to u$ weakly in $W_0^{s,N}\left(\mathsf{\Omega }\right)$ and a.e. in $\mathsf{\Omega }.$

Passing to the limit when ${\displaystyle \vartheta \in Llo{g}^{\alpha }L\left(\mathsf{\Omega }\right),\alpha =\frac{N-s}{N},p=N}$ and ${\displaystyle \alpha >\frac{N-s}{N}}$ for $p<N.$

For passing to the limit, we adopt the same way as above. □

4. Conclusions

In this paper, we have presented existence and regularity results for the nonlocal $p-$Laplacian. Indeed, the results presented are an extension and improvement of existing work in [18,22,23].