Regularity for nonlocal equations with local Neumann boundary conditions
Xavier Ros-Oton, Marvin Weidner
TL;DR
This work develops a sharp boundary regularity theory for nonlocal equations with local Neumann boundary data, focusing on large boundary blow-up solutions that behave like $v\sim d^{s-1}$. The authors prove a Schauder-type estimate: if $\Omega$ is $C^{k+1,\gamma}$ and the kernel $K$ is sufficiently smooth, then the quotient $v/d^{s-1}$ lies in $C^{k,\gamma}_{\text{loc}}(\overline{\Omega})$, with quantitative bounds that depend on the data and domain regularity, while avoiding the critical case $\gamma=s$. The strategy combines a new weak maximum principle for nonlocal Neumann problems, a boundary Hölder theory via a growth/weak-Harnack framework, and a blow-up argument anchored by a Liouville theorem in the half-space with Neumann data to obtain higher-order boundary regularity; barriers adapted to the $d^{s-1}$ blow-up and the notion of nonlocal equations up to a polynomial are key technical components. The results have direct implications for nonlocal free boundary problems, connecting boundary regularity to the behavior of linearized problems near the free boundary and enabling a localized, scale-aware analysis. Overall, the paper extends Schauder-type boundary regularity to a nonlocal Neumann blow-up setting and provides tools for localized, higher-order regularity and free-boundary applications.
Abstract
In this article we establish fine results on the boundary behavior of solutions to nonlocal equations in $C^{k,γ}$ domains which satisfy local Neumann conditions on the boundary. Such solutions typically blow up at the boundary like $v \asymp d^{s-1}$ and are sometimes called large solutions. In this setup we prove optimal regularity results for the quotients $v/d^{s-1}$, depending on the regularity of the domain and on the data of the problem. The results of this article will be important in a forthcoming work on nonlocal free boundary problems.
