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

Label the polygon vertices of the nondegenerate triangle $K$ as $a_1,a_2,a_3$, and put $m_{ij}=(a_i+a_j)/2$ for its three edge midpoints. The six monomials $1,x_1,x_2,x_1^2,x_1{x}_2,x_2^2$ form a basis of ${\mathcal{P}}_2(K)$, so its dimension is six. Nondegeneracy matters: $K$ has nonempty interior, and a polynomial vanishing on that interior is the zero polynomial.

Let ${\lambda }_1,{\lambda }_2,{\lambda }_3$ be the affine functions of the barycentric coordinate system, characterized by ${\lambda }_i(a_j)={\delta }_{ij}$ and ${\sum }_i{\lambda }_i=1$. Define six quadratic polynomialsAt $a_k$, $N_i(a_k)={\delta }_{ik}$ and all $N_{ij}(a_k)$ vanish. At $m_{kl}$, exactly ${\lambda }_k$ and ${\lambda }_l$ equal $1/2$, while the third is zero. Thus every $N_i$ vanishes at all three edge midpoints, and $N_{ij}(m_{kl})$ is one for the matching unordered pair and zero otherwise.

These six polynomials have the cardinal property for the six point evaluation functionals. Evaluating any vanishing linear combination at the nodes forces each of its coefficients to vanish. They are therefore six linearly independent members of a six-dimensional vector space, hence a basis.

In particular, every $p\in {\mathcal{P}}_2(K)$ has the unique expansionThis proves both existence and uniqueness for arbitrary six prescribed nodal values, which is precisely an unisolvent finite element. It also identifies the finite element degrees of freedom and shape functions of the quadratic Lagrange triangle explicitly.