Schauder estimates

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 $u\in C^{l,\alpha }(B_R)$, $0\le j<l$, and every $\epsilon >0$,with analogous estimates for lower Hölder seminorms. Scaling reduces the result to the unit ball.

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

The bounded-forcing norm alone cannot control the Hölder seminorm of the Hessian matrix. On a unit Euclidean ball take $u_m=m^{-2}\sin (m{x}_1)$ and $f_m=\Delta u_m=-\sin (m{x}_1)$. The derivative supremum norm $|u_m{|}_2$ and $\Vert f_m{\Vert }_{\infty }$ stay bounded, but the Hessian matrix difference between zero and $\pi /(2m)e_1$ gives $[D^2{u}_m{]}_{\alpha }\ge (2m/\pi {)}^{\alpha }$ on $B_{1/2}$.

A compactness proof of the interior Schauder estimate can magnify a pair of points where the Hölder seminorm of the Hessian matrix is nearly attained. If the proposed estimate fails, normalize that seminorm to one while lower norms and forcing tend to zero. The separation $r_j$ of the chosen pair tends to zero. Subtract the quadratic Taylor polynomial and divide by $r_j^{2+\alpha }$ after rescaling space by $r_j$.

The resulting functions have uniformly bounded Hessian Hölder seminorms on expanding domains and vanishing Taylor data at zero. Compact embedding of Hölder spaces yields an entire harmonic function whose second derivatives have finite global $\alpha$-Hölder seminorms, with $0<\alpha <1$. The polynomial-growth Liouville theorem for harmonic functions makes those derivatives constant, contradicting the normalized nonzero oscillation. The Simon absorption lemma removes the residual small multiple of the larger-ball seminorm.

Subtracting the quadratic Taylor polynomial at the rescaling centre makes the function, gradient and Hessian matrix vanish there. Dividing by $A{r}^{2+\mu }$ preserves the normalized Hölder oscillation of the Hessian matrix while turning a small forcing-to-oscillation ratio into a harmonic limiting equation. The three vanished Taylor coefficients provide local bounds needed by the Arzelà-Ascoli theorem.

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.

On a fixed smooth bounded domain, zero-boundary solutions with forcing in a bounded subset of $C^{0,\mu }$ are uniformly bounded in $C^{2,\mu }$ by a maximum-principle barrier and the global Schauder estimate. The Arzelà-Ascoli theorem gives convergence in $C^2$. A closed Hölder-norm constraint passes to the limit by lower semicontinuity of a Hölder seminorm, so the constrained solution set is compact rather than merely relatively compact.

For a fixed uniformly elliptic operator with $C^{0,\mu }$ coefficients on a bounded smooth connected domain, nonnegative solutions with zero Dirichlet boundary condition satisfy the displayed estimate when ${\Omega }^{\prime }$ is nonempty and compactly contained in $\Omega$. If it failed, normalize the global supremum to one. The forcing and the interior infimum then tend to zero. The global Schauder estimate and compact embedding of Hölder spaces produce a nonzero homogeneous limit with an interior zero, contradicting the strong minimum principle for elliptic operators. An arbitrary bounded zeroth-order coefficient is allowed: replace $c$ by $\min (c,0)$ for the positivity argument. Keeping global boundary control prevents the normalized maximum from disappearing in the limit.

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.