Solution

ID: past-exam-of-the-finite-element-methods-for-partial-differential-equations-course-of-the-university-of-oxford/2023/3/d/solution

On , the bilinear form is symmetric, and part (b) proves . Thus is an inner product: , and equality forces . Its induced energy norm is . For any real scalar ,
The Cauchy-Schwarz inequality for this inner product follows directly by expanding and minimizing over when . Hence
which proves the triangle inequality. This verifies every norm axiom. In fact, the estimates from part (b) give the equivalent norms
Subtract the discrete weak formulation from the continuous one to get Galerkin orthogonality,
For any , write . The second summand is in , so expansion and Galerkin orthogonality give the Pythagorean theorem in the energy norm:
The last term is nonnegative and vanishes exactly when . Choosing attains the lower bound, proving
Thus is the unique best approximation; the map is the orthogonal projector onto for the linear elasticity energy norm.

New to topics? Read the docs here!