Energy functional Created 2026-09-24 Updated 2026-10-03
An energy functional assigns an integral energy to a function. Minimization of a suitable energy is the basis of the Dirichlet principle. For the modified Helmholtz equation, a natural example is
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 is
Equality 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.
Green's first identity and the boundary condition give
Thus , so is constant on each connected component of ; its zero boundary value forces .
Since on and , another application of Green's first identity gives
Consequently
Expanding and using the vanishing cross term yields the Dirichlet principle
For a spherically symmetric function , the Laplacian in spherical coordinates is
Integrating from zero to and using regularity at the origin gives
For the stated density, integration and the boundary condition give
The two pieces and their first derivatives agree at . If another solution existed, its difference from would be harmonic with zero boundary data, so part (a) proves Uniqueness of the Dirichlet problem.
On the shell , normalize the outer radial part to obtain the harmonic function
By the Dirichlet principle, this function minimizes the energy among all with the same boundary values. Since
its energy is
Therefore
Let be the voltage with , , and harmonic values at every other vertex. For any other admissible , write , where . Its discrete Dirichlet energy expands as
Discrete summation by parts turns the cross term into
because is harmonic in the interior and vanishes at the boundary. Thus minimizes the energy. Under a unit voltage drop, its energy equals the total current from to , namely the effective conductance . Therefore the Dirichlet principle gives
The identity follows immediately from the product rule:
If have the same boundary data, put . Integrating the identity with gives
because the volume equation and boundary term vanish. Positivity of makes constant, and its boundary value makes it zero, proving uniqueness.
For any with on the boundary, expansion gives
because the cross term vanishes by the same integration by parts. This proves the inequality and the Dirichlet principle.
Since and , the divergence theorem gives
Spherical symmetry gives . Regularity at zero and decay at infinity yield
For , the exterior solution cannot tend to zero: it is logarithmic at and grows below it.
On the exterior domain, the energy-minimizing solution with boundary value one is . Applying the Dirichlet principle to any admissible gives