Use the classical regularity setting , with bounded. Continuity on the compact set guarantees existence of a minimum. The inequality means that is superharmonic function.
A strict inequality would immediately exclude an interior minimum, because its Hessian matrix there would be positive semidefinite and have nonnegative trace. To handle equality, introduce the quadratic perturbation proof of the minimum principle:
Its minimum must lie on . Choose so that on . For any ,
Letting gives . Therefore
This asserts that a minimum is attained on the boundary, not that it cannot also be attained inside; a constant function attains it everywhere.
For a harmonic function, and . Apply the preceding minimum argument to and to :
These are the weak minimum and maximum principle for harmonic functions.
The difference is a harmonic function, because the Laplacian is a linear differential operator:
The boundary inequality says on . The minimum principle from part (ii) gives
This is the comparison principle for harmonic functions. Applying it in both directions also shows why fixed Dirichlet boundary conditions determine at most one harmonic function.

Articles by others on the same topic (0)

There are currently no matching articles.