 Solution

On the product Hilbert space $H=H_0^1(U)\times H^1(U)$ defineandThe Cauchy-Schwarz inequality makes $B$ and $F$ bounded. On the diagonal,The Poincare inequality controls $\Vert u{\Vert }_2$ by $\Vert Du{\Vert }_2$, andThe displayed diagonal value therefore controls the full product $H^1$ norm, so $B$ is coercive. The Lax-Milgram theorem now gives exactly one pair $(u,w)\in H$ satisfying the weak identities. Hence a unique weak solution exists for every $f,g\in L^2(U)$.