The Dirichlet problem for nonlocal operators with singular kernels: convex and nonconvex domains (Q900864)

Let \(\Omega\) be a bounded domain in \(\mathbb R^n\), either convex or with \(C^{1,1}\) boundary \(\partial \Omega\), and let \(L_a\) be an anisotropic integro-differential operator of order \(2s\in (0,2)\), i.e., \(L_a\) stands for the generalized expression of the fractional Laplacian operator, namely \[ L_au(x)=\int_{\mathbb R^n}(2u(x)-u(x+y)-u(x-y))\frac{a(y/|y|)}{|y|^{n+2s}}dy, \] such that \(a\) is a bounded absolutely continuous function on the unit sphere. The authors show that if \(u\) is a weak solution of \[ (*)_a:\;L_au=g \text{ in } \Omega \text{ such that } u \text{ vanishes on } \mathbb R^n\setminus \Omega\text{ and } g\in C^\beta(\overline{\Omega})\text{ for } \beta\in (0,1+s), \] then \(u\) belongs to \(C_{\mathrm{loc}}^{\beta+2s}(\Omega)\). Furthermore, for some \(\delta>0\), the \(C^{\beta+2s}(\text{dist}(x,\partial \Omega)>\delta)\)-norm of \(u\) is bounded, up to a multiplicative constant relying on \(\Omega\) and \(\delta\), by the \(C^\beta(\Omega)\)-norm of \(g\) (Theorem 1.1) and the proof of this fact is principally based on using several integral calculi and is pinpointed in the third/fourth sections. By withdrawing the assumption of convexity, the authors show that there is a bounded domain in \(\mathbb R^2\) such that a \(C^s(\overline{\Omega})\) solution of \((*)_1\) does not belong to \(C_{\mathrm{loc}}^{3s+\varepsilon}(\Omega)\) for any \(\varepsilon>0\) (Theorem 1.3); with respect to the proof, see the seventh section. At the end of the article (in an appendix), the authors provide complementary results on the distance function from the boundary of \(C^{1,1}\) domains.