The Dirichlet problem for the fractional Laplacian: Regularity up to the boundary

We study the regularity up to the boundary of solutions to the Dirichlet problem for the fractional Laplacian. We prove that if u   is a solution of (−Δ)^su=g${(-\mathrm{\Delta })}^{s}u=g$ in Ω  , u≡0$u\equiv 0$ in Rⁿ\Ω${\mathbb{R}}^n\backslash \Omega$, for some s∈(0,1)$s\in (0,1)$ and g∈L^∞(Ω)$g\in L^{\infty }(\Omega )$, then u   is C^s(Rⁿ)$C^s({\mathbb{R}}^n)$ and u/δ^s_|Ω$u/{\delta }^s{|}_{\Omega }$ is C^α$C^{\alpha }$ up to the boundary ∂Ω   for some α∈(0,1)$\alpha \in (0,1)$, where δ(x)=dist(x,∂Ω)$\delta (x)=\mathrm{dist}(x,\partial \Omega )$. For this, we develop a fractional analog of the Krylov boundary Harnack method.