Schauder estimate

A Schauder estimate bounds a solution in a Hölder norm two derivatives stronger than the forcing term. For a uniformly elliptic Dirichlet problem with $C^{\alpha }$ coefficients,

For ${\Omega }^{\prime }⋐\Omega$ and a uniformly elliptic operator with $C^{0,\alpha }$ coefficients,The constant deteriorates as ${\Omega }^{\prime }$ approaches the boundary.

For a uniformly elliptic equation on a half-ball with $C^{0,\alpha }$ coefficients and $C^{2,\alpha }$ Dirichlet data $\phi$ on its flat face,

On a smooth bounded domain, interior and boundary Schauder estimates combine into a $C^{2,\alpha }$ estimate up to the full boundary. The constant depends on the domain regularity, coefficient norms, and ellipticity constants.

The Simon absorption lemma turns a scale-local estimate containing a sufficiently small multiple of the same quantity on a larger ball into a uniform estimate. Its boundary form uses balls intersected with a half-space and is the covering step that absorbs local boundary Hölder seminorms.