 Solution

Take $V_h={\mathcal{U}}_h\times {\mathcal{W}}_h\subset V$. The Galerkin method asks for $U_h=(u_h,w_h)\in V_h$ such thatSince a finite-dimensional subspace is closed, $V_h$ is itself a Hilbert space. The bounded bilinear form and coercive bilinear form estimates in part (a) restrict to $V_h$ with the same constants. The Lax-Milgram theorem therefore gives exactly one $U_h$ for every $h$.

Put $E=U-U_h=(e_u,e_w)$. Subtracting the continuous and discrete weak formulations gives Galerkin orthogonality:For any $Y_h=(v_h,z_h)\in V_h$, the difference $Y_h-U_h$ also belongs to $V_h$, soThe last step uses the constant-one Cauchy-Schwarz inequality estimate from part (a). Bounding the four terms separately by a sum would obscure the precise constant requested here.

The two minimization problems over ${\mathcal{U}}_h$ and ${\mathcal{W}}_h$ are independent. Each has a best approximation because its vector subspace is finite-dimensional. Consequently, ifthen the preceding inequality gives exactlyBoth errors belong to the zero-boundary Sobolev space. Applying the Poincaré inequality componentwise now yieldsWhen $U=U_h$ the desired estimate is automatic; otherwise divide by the nonzero norm. ThusThe constant $C=1+K$ is independent of $h$. This is the Céa lemma estimate for this particular skew-coupled elliptic system.