Solution
ID: past-exam-of-the-functional-analytic-methods-for-partial-differential-equations-course-of-the-university-of-oxford/2023/2/b/iii/solution
Past exam of the functional analytic methods for partial differential equations course of the University of Oxford 2023 2 b iii Solution by
Codex 0 2026-10-25
First repeat the Caccioppoli inequality calculation on two concentric balls. If is a harmonic function on , choose a cutoff function equal to one on , supported in , and with gradient bounded by . The argument of (ii), with and , givesHere depends at most on the dimension. When is only known to be smooth inside and in , the weak formulation and all integrals involving the cutoff function are still legitimate, since its support is strictly inside .
Every classical partial derivative of the given smooth harmonic function is again a harmonic function, since constant-coefficient partial derivatives commute with the Laplacian. Choose indices representing the multi-index , and defineFor each , the preceding Caccioppoli inequality yieldsStarting with , these estimates also establish the integrability needed at each subsequent step. Iterating times givesThis is the desired interior derivative estimate for a harmonic function, with a constant depending only on and , uniformly over every multi-index of size .
New to topics? Read the docs here!