Skip to main content
2 of 4
Clarified the question (and added a subquestion so that Bazins answer is still useful :-))

Optimal Sobolev regularity for $(-\Delta)^{-s}$ on domains

In the paper Semilinear fractional elliptic equations involving measures, proof of Proposition 2.5, it is claimed that

For $0 < \alpha < 1$, the fractional operator $(-\Delta)^\alpha$ is an isomorphism between $W^{-\gamma,p}(\Omega)$ and $W^{2\alpha-\gamma}(\Omega)$ for $\gamma > N/p'$ and $p \in (1,\frac{N}{N+\beta-2\alpha})$, where $0 \leq \beta \leq \alpha$.

The fractional Sobolev space is defined by the Gagliardo seminorm and duality for the negative order.

Is this correct, and how does one see this? Is there a reference? Moreover, is it true in general that $(-\Delta)^{-s}$ is continuous from $H^{-s}(\mathbb{R}^N)$ to $H^{s}(\mathbb{R}^N)$?