next up previous

4.1 The Galerkin Method - Optional     continued...

Since the operator is positive definite, the approximate solution is unique. Assume for a moment there are two solutions, and , satisfying:

respectively. Then, the difference yields:

The function arising from subtracting one member from another member in also belongs in ; hence, the difference function can be expressed by the set of A orthogonal basis functions spanning :