Put . Then on , and the constant does not change a gradient, so . Expand the unnormalized Dirichlet energy:The cross term is zero by Green's first identity:Thus the useful stronger identity isEquality holds exactly when has zero gradient. It is then constant on every connected component and zero on that component’s boundary, hence . Therefore equality holds precisely when throughout . This is the Dirichlet principle; an additive boundary constant does not alter the minimizing energy. The energy here omits the optional factor , which does not affect minimizers or the inequality.
Articles by others on the same topic
There are currently no matching articles.