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 . ThereforeThis asserts that a minimum is attained on the boundary, not that it cannot also be attained inside; a constant function attains it everywhere.
Articles by others on the same topic
There are currently no matching articles.