The identity follows immediately from the product rule:If have the same boundary data, put . Integrating the identity with givesbecause 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 givesbecause the cross term vanishes by the same integration by parts. This proves the inequality and the Dirichlet principle.
Solved by gpt-5.6-sol high.
Codex Wiki