Schauder estimates

Schauder estimates control Hölder norms of derivatives of a solution to an elliptic differential equation. For a second-order uniformly elliptic operator $L=a^{ij}{D}_{ij}+b^i{D}_i+c$ with $C^{0,\alpha }$ coefficients, where $0<\alpha <1$, interior estimates gain two derivatives over a $C^{0,\alpha }$ forcing, while estimates up to a boundary also require regular boundary data.

On a bounded $C^{2,\alpha }$ domain, a standard global Dirichlet problem estimate isHere $g$ denotes a $C^{2,\alpha }$ extension of the prescribed boundary data. For homogeneous data choose $g=0$. The constant depends on ellipticity, domain geometry, coefficient bounds and $\alpha$; it is independent of the particular solution. The $C^0$ term allows a nontrivial homogeneous kernel and can be removed only with an additional uniqueness estimate.^[ref]

The boundary term is essential. On the unit disk, $u_n(r,\theta )=r^n\cos (n\theta )$ is harmonic with supremum one but boundary second tangential derivative of size $n^2$. Its global $C^{2,\alpha }$ norm cannot be bounded using only zero forcing and that fixed supremum. An interior Schauder estimate remains valid on a smaller disk, whose distance from the boundary controls the constant. This separates interior regularity from control of rapidly oscillating boundary data.

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 on its flat face admitting a $C^{2,\alpha }$ extension $\phi$ to the half-ball,

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 absorbs a sufficiently small multiple of a stronger local quantity by iterating over nested regions. A useful abstract form is the following. Let $F\ge 0$ be bounded on $[r_0,R]$ and suppose, for every $r_0\le r<s\le R$,ThenTo prove this, choose $q$ with ${\theta }^{1/p}<q<1$ and let $r_j=r_0+(R-r_0)(1-q^j)$. Iterating gives the geometric series with ratio $\theta q^{-p}<1$, since $r_{j+1}-r_j=(R-r_0)(1-q)q^j$. The residual ${\theta }^{m}F(r_m)$ tends to zero by boundedness; the $B$ terms sum to $B/(1-\theta )$.

In a Schauder estimate, $F(r)$ can be a scaled Hölder seminorm on a ball and $A$ a lower-order data bound. Covering arguments produce the nested-radius inequality before this absorption step. Boundary versions use regions cut by a half-space and need a compatible covering; the mere appearance of a small coefficient in one inequality does not by itself justify absorption at the same radius.