Boundary regularity for fully nonlinear integro-differential equations

Abstract

We study fine boundary regularity properties of solutions to fully nonlinear elliptic integro-differential equations of order $2s$, with $s\in (0,1)$. We consider the class of nonlocal operators ${\mathcal{L}}_{\ast }\subset {\mathcal{L}}_0$, which consists of infinitesimal generators of stable Lévy processes belonging to the class ${\mathcal{L}}_0$ of Caffarelli-Silvestre. For fully nonlinear operators $I$ elliptic with respect to ${\mathcal{L}}_{\ast }$, we prove that solutions to $Iu=f$ in $\Omega$, $u=0$ in ${\mathbb{R}}^n\setminus \Omega$, satisfy $u/d^s\in C^{s+\gamma }(\overline{\Omega })$, where $d$ is the distance to $\partial \Omega$ and $f\in C^{\gamma }$. We expect the class ${\mathcal{L}}_{\ast }$ to be the largest scale invariant subclass of ${\mathcal{L}}_0$ for which this result is true. In this direction, we show that the class ${\mathcal{L}}_0$ is too large for all solutions to behave like $d^s$. The constants in all the estimates in this paper remain bounded as the order of the equation approaches 2. Thus, in the limit $s\uparrow 1$ we recover the celebrated boundary regularity result due to Krylov for fully nonlinear elliptic equations.

To appear in Duke Math. J

References in corpus (3)

• Fractional Laplacians on domains, a development of Hörmander's theory of mu-transmission pseudodifferential operators
• Boundary Harnack inequality for Markov processes with jumps
• Local and nonlocal boundary conditions for $\mu$-transmission and fractional elliptic pseudodifferential operators

Cited by in corpus (15)

• Regularity results and Harnack inequalities for minimizers and solutions of nonlocal problems: a unified approach via fractional De Giorgi classes
• Obstacle problems for integro-differential operators: Regularity of solutions and free boundaries
• On fractional elliptic equations in Lipschitz sets and epigraphs: regularity, monotonicity and rigidity results
• On the measure and the structure of the free boundary of the lower dimensional obstacle problem
• Integration by parts and Pohozaev identities for space-dependent fractional-order operators
• Boundary regularity for nonlocal operators with kernels of variable orders
• Perron's method for nonlocal fully nonlinear equations
• Strong unique continuation and local asymptotics at the boundary for fractional elliptic equations
• Maximum principles and the method of moving planes for the uniformly elliptic nonlocal Bellman operator and applications
• Generalized Evans--Krylov and Schauder type estimates for nonlocal fully nonlinear equations with rough kernels of variable orders
• The fractional Schrödinger equation with general nonnegative potentials. The weighted space approach
• A universal Hölder estimate up to dimension 4 for stable solutions to half-Laplacian semilinear equations
• On a family of fully nonlinear integro-differential operators: From fractional Laplacian to nonlocal Monge-Ampère
• Liouville results for semilinear integral equations with conical diffusion
• Nonlocal equations with gradient constraints