Past exam of the methods of applied functional analysis course of the University of Oxford / 2010 / A / 1 / b / i

Write $a(v,w)={\int }_{\Omega }a\nabla v\cdot \nabla w$ and $A[v]=a(v,v)$. The admissible set is the closed affine subspace $H_g^1=g+H_0^1$. Symmetry of the coefficient matrix givesIf $u$ minimizes the energy, its first variation vanishes: differentiating at $t=0$ gives $a(u,\phi )=0$. Hence $u$ is a weak solution.

Conversely, if $u$ is a weak solution, every admissible $v$ has $v-u\in H_0^1$ and thereforeby uniform ellipticity. This is the Dirichlet principle for the stated symmetric energy.