Questions: Schauder Estimates

Question 1

The Schauder estimate for -Δu = f in a ball B₁ states:

• A. ||u||_{C^{2,α}(B_{1/2})} ≤ C(||f||_{C^{0,α}(B₁)} + ||u||_{C⁰(B₁)})
• B. ||u||_{H²(B₁)} ≤ C||f||_{L²(B₁)}
• C. ||u||_{L^∞(B₁)} ≤ C||f||_{L^∞(B₁)}
• D. ||u||_{C^{2,α}(B₁)} ≤ C||f||_{C^{2,α}(B₁)}

Answer: (A)

The interior Schauder estimate controls the C^{2,α} norm of u on a smaller ball by the C^{0,α} norm of f and the C⁰ norm of u on the larger ball. The gain of 2+α derivatives matches the order of the operator, and the estimate on a smaller domain (localization) is typical of interior estimates.

Question 2

Schauder estimates require the coefficients of the elliptic operator to be at least Holder continuous.

• T. True
• F. False

Answer: True

For the variable-coefficient equation -(a^{ij}u_{ij}) = f with a^{ij} ∈ C^{0,α}, Schauder theory gives u ∈ C^{2,α}. If the coefficients are merely bounded measurable, Schauder estimates fail and one must use the De Giorgi-Nash-Moser theory, which gives only Holder continuity (C^{0,α}) of the solution.

Question 3

What is the role of Schauder estimates in the continuity method for nonlinear equations?

Model answer: They provide the a priori estimates needed to show that the set of solvable problems is closed, complementing the openness from the implicit function theorem

The continuity method embeds a nonlinear PDE in a one-parameter family connecting it to a solvable problem. Openness of the set of solvable parameters follows from the implicit function theorem; closedness requires a priori estimates (Schauder) ensuring solutions cannot blow up as the parameter approaches a limit.

Question 4

Schauder estimates measure regularity in Holder spaces rather than Sobolev spaces.

• T. True
• F. False

Answer: True

Schauder estimates control C^{k,α} norms, which measure pointwise smoothness and Holder continuity. This complements the Sobolev (L²-based) regularity theory and is often more natural for nonlinear problems where pointwise bounds on derivatives are needed for the implicit function theorem.