Higher-order boundary regularity estimates for nonlocal parabolic equations (Q1800853)

In this very interesting paper, the authors establish sharp higher-order Hölder regularity estimates up to the boundary for solutions to equations of the form \[ \frac{\partial}{dt}u - Lu = f (t, x) \] in \(I \times \Omega\) where \(I \subset {\mathbb R}\), \(\Omega\subset {\mathbb R}^n\) and \(f\) is Hölder continuous. The nonlocal operators \(L\) considered by the authors are coming from stochastic processes with jumps and from the fractional Laplacian \((-\Delta)^s\), \(s \in (0, 1)\). The authors prove that, if \(f\) is \(C^{\gamma}\) in space and \(C^{\gamma /2s}\) in time, and \(\Omega\) is a \(C^{2,\gamma}\) domain, then \(u/d^s\) is \(C^{s+\gamma}\) up to the boundary in space and \(u\) is \(C^{1+\gamma /2s}\) up the boundary in time, where \(d\) is the distance to \(\partial \Omega\). We remark that this important result is the first higher order boundary regularity estimate for nonlocal parabolic equations, and it is new even for the fractional Laplacian in \(C^\infty\) domains.