Past exam of the finite element methods for partial differential equations course of the University of Oxford / 2023 / 2 / b

Use the Sobolev space with a partial Dirichlet conditionwhere $T$ is the Sobolev trace operator. The restricted Sobolev trace operator is continuous into $L^2({\Gamma }_D)$; its kernel is consequently a closed vector subspace of $H^1(\Omega )$. Thus $V$, with the first-order Sobolev norm, is a Hilbert space. The endpoint convention for ${\Gamma }_D$ and ${\Gamma }_N$ does not affect this definition: finitely many boundary points have zero boundary length. It would be inappropriate to impose pointwise boundary values on arbitrary $H^1$ functions in two dimensions.

For a smooth solution, Green's first identity givesThe boundary term vanishes because $Tv=0$ on ${\Gamma }_D$ and the normal derivative is zero on ${\Gamma }_N$. This suggests the weak formulationHere $a$ is exactly the first-order Sobolev inner product. In particular the Cauchy-Schwarz inequality givesThus $a$ is a bounded bilinear form and a coercive bilinear form, both with constant one. The Lax-Milgram theorem proves existence and uniqueness, together withThe positive reaction term already controls the entire Sobolev norm, so no Poincaré inequality is needed here. The zero Neumann boundary condition is the natural part of the weak formulation; it is not an additional restriction on the test space. For this weak solution, $-\Delta u+u=f$ holds as a distributional identity, and the zero normal derivative on ${\Gamma }_N$ is understood through the corresponding Green's first identity.