 Solution

Choose the Sobolev space $V$ encoding the homogeneous essential boundary conditions, setafter the appropriate integration by parts, and define the energy functionalIts first variation is $J^{\prime }(u)v=a(u,v)-\ell (v)$, so its stationary points are exactly the solutions of the weak formulationIf $a$ is bounded, symmetric, and coercive and $\ell \in V^{\prime }$, the Lax-Milgram theorem supplies a unique weak solution $u$. Moreover, for every $w\in V$,unless $w=0$. Thus $J$ is strictly convex, and $u$ is its unique global minimizer. This proves existence and uniqueness of the minimizer and of the weak solution simultaneously.