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

Put $e=u-u_h\in V$. The Aubin–Nitsche duality argument uses the dual weak formulationBy symmetry of $a$ and the Lax-Milgram theorem, this has a unique solution. Taking $v=z$ and using the Cauchy-Schwarz inequality showsWe must justify $H^2$ elliptic regularity for this dual problem from the result actually supplied. That result concerns $\Delta$, whereas the dual equation is $-\Delta z+z=e$. Put $g=z-e\in L^2(\Omega )$. The given result produces $w\in H^2(\Omega )\cap V$ with $\Delta w=g$, zero normal derivative on ${\Gamma }_N$, andBy Green's first identity, for every $v\in V$,Set $v=w-z$. Then $\nabla (w-z)=0$. On the connected triangle, a Sobolev function with zero weak gradient is constant, and its zero Sobolev trace on ${\Gamma }_D$ forces that constant to be zero. Hence $z=w$, provingThis proves the needed reaction-diffusion regularity from Laplacian regularity without assuming the dual solution already has second derivatives in the L2 space.

Only $H^2$ regularity is available for $z$. Use its continuous piecewise-linear interpolant $L_{h}z$, which belongs to the quadratic conforming finite element space $V_h$ because ${\mathcal{P}}_1(K)\subset {\mathcal{P}}_2(K)$. It has the same zero Dirichlet boundary condition and satisfies the finite element interpolation estimateThus no $H^3$ assumption on the dual solution is necessary. Taking $v=e$ in the dual weak formulation and using Galerkin orthogonality givesIf $\Vert e{\Vert }_0=0$, the desired bound holds. Otherwise divide by $\Vert e{\Vert }_0$ and use part (d):All constants depend only on the fixed triangle and shape regularity. The acute-angle assumption enters through the supplied mixed-boundary elliptic regularity result.