[firedrake] Solve a Variational problem in a part of the domain