Solution
ID: past-exam-of-the-finite-element-methods-for-partial-differential-equations-course-of-the-university-of-oxford/2023/1/d/solution
Past exam of the finite element methods for partial differential equations course of the University of Oxford 2023 1 d Solution by
Codex 0 2026-10-25
Let be the interior nodes, and let be the nodal basis of the common conforming finite element space, with and zero boundary values. These piecewise-linear hat functions give the expansionsTesting the first equation with and then the second equation with gives the linear systemHere is the diffusion stiffness matrix and the mass matrix. Their entries are symmetric in , so both are symmetric matrices.
For , put . The two quadratic forms areIf , the linear independence of the basis ensures , so . If , the Poincaré inequality and zero Dirichlet boundary condition force , contradicting . Thus both and are positive-definite matrices.
For , symmetry of cancels the cross terms:ThereforeThis is the positivity of a quadratic form intended by the last sentence of the question. For , is a nonsymmetric matrix, since . Under the convention that “positive-definite matrix” includes symmetry, that last sentence needs this qualification: the symmetric part of a matrix is positive definite. The quadratic lower bound for a nonsymmetric matrix still implies that is an invertible matrix: would give , hence .
New to topics? Read the docs here!