Boundary Schauder estimate (source code)

= Boundary Schauder estimate
{c}

For a uniformly elliptic equation on a half-ball with $C^{0,\alpha}$ coefficients and $C^{2,\alpha}$ Dirichlet data $\varphi$ on its flat face,
$$
\|u\|_{C^{2,\alpha}(B_{1/2}^+)}\leq C\left(\|u\|_{C^0(B_1^+)}+\|Lu\|_{C^{0,\alpha}(B_1^+)}+\|\varphi\|_{C^{2,\alpha}(B_1^+)}\right).
$$