Schauder estimates are a priori regularity results stating that solutions of elliptic PDEs with Holder continuous coefficients and data inherit Holder regularity with a gain of two derivatives. For -Δu = f with f ∈ C^{k,α}(Ω), the solution satisfies u ∈ C^{k+2,α}(Ω) with the estimate ||u||_{C^{k+2,α}} ≤ C(||f||_{C^{k,α}} + ||u||_{C⁰}). These pointwise estimates complement the L²-based Sobolev regularity theory and are essential for the continuity method and fixed-point arguments used to prove existence for nonlinear elliptic equations.
Schauder estimates are the Holder-space counterpart of the Sobolev regularity theory for elliptic PDEs. While the H² regularity theorem says "L² data gives H² solutions," the Schauder theorem says "C^{0,α} data gives C^{2,α} solutions." The Holder spaces C^{k,α} measure pointwise smoothness: a function is in C^{k,α} if its kth derivatives are α-Holder continuous, meaning |D^k u(x) - D^k u(y)| ≤ C|x-y|^α. The Schauder gain of two derivatives plus α is sharp and matches the order of the elliptic operator.
The proof of Schauder estimates proceeds through a hierarchy of results. First, one establishes the estimate for the Laplacian on a ball using the Poisson integral representation and explicit kernel estimates. Then, for a general operator L = -a^{ij}∂_{ij} with Holder continuous coefficients, one freezes the coefficients at a point (replacing a^{ij}(x) by a^{ij}(x₀)) to reduce to the constant-coefficient case, and treats the error (a^{ij}(x) - a^{ij}(x₀))u_{ij} as a perturbation. The Holder continuity of the coefficients ensures this perturbation is small enough to close the estimate using a Campanato-type iteration or the Korn trick.
Schauder estimates come in interior and global versions. Interior estimates control u on compact subsets of Ω using data on all of Ω. Global estimates (up to the boundary) require smoothness of ∂Ω and control u on all of Ω including the boundary. The boundary estimates are technically more involved, requiring flattening the boundary and treating the boundary as an additional source of regularity constraints. For domains with corners or edges, the global estimates fail, and one must work with weighted Holder spaces that account for corner singularities.
The most important application of Schauder estimates is the continuity method for nonlinear elliptic equations. To solve F(D²u, Du, u, x) = 0, one connects it to a solvable equation by a parameter: F_t = (1-t)L₀u + tF = 0. The set of t for which a solution exists is open (by the implicit function theorem, using invertibility of the linearization) and closed (by Schauder a priori estimates ensuring solutions stay bounded in C^{2,α} as t varies). Since the set contains t = 0 and is both open and closed in [0,1], it equals [0,1], and the original equation (t = 1) is solvable. This elegant argument, combining Schauder estimates with topology, is one of the most powerful techniques in nonlinear PDE theory.
No topics depend on this one yet.