Solution

ID: past-exam-of-the-functional-analytic-methods-for-partial-differential-equations-course-of-the-university-of-oxford/2023/2/b/iii/solution

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 , gives
Here 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 define
For each , the preceding Caccioppoli inequality yields
Starting with , these estimates also establish the integrability needed at each subsequent step. Iterating times gives
This 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!