next up previous

4.1 The Galerkin Method - Optional     continued...

When , the terms vanish due to the basis functions being orthogonal with respect to A. Since A is positive definite:

Thus, , and by virtue of (26), , such that . The identity contradicts the assumption of two distinct Galerkin solutions. This thus proves the solution is unique [32].