3.1.5  Geometrical Interpretation of FEM

The manner in which the FEM was presented in this work makes the geometrical interpretation of the method a natural consequence. In this section it will be shown that this concept is intimately connected to the error of the linear space discretization of the FEM. In order to proceed smoothly through the upcoming discussion, consider that the linear space V  is endowed with inner products for real functions defined by

          ∫
< f,g >=    f ′g′dx .
(3.19)

Furthermore, consider the norm induced by the inner product (3.19) as

      ∫
∥f∥ =   f2dx .
(3.20)

Consequently, the variational form (3.5) and the discrete variational form (3.10) can be rewritten as

          ∫
< u,v >=    fvdx     ∀v ∈ V
(3.21)

and

          ∫

< uh,v >=    fvdx     ∀v ∈ Vh .
(3.22)

The discrete problem solution (uh  ) is computed by FEM as seen in the previous sections, but the exact solution of the BVP problem is given by solving the continuous variational form. Therefore, it is natural to ask how distant uh  is from u  . The answer of this question leads to a geometrical view of the FEM.

Consider v ∈ Vh  . The function v  also belongs to V  since Vh ⊂ V  . Therefore, for every v ∈ Vh  (3.22) can be subtracted from (3.21), given by

< uh − u,v >= 0    ∀v ∈ Vh .
(3.23)

As an inner product, (3.19) must hold the orthogonality property (< f,g >=  0 ⇔ f ⊥ g  ). This means that the discretization error (uh − u  ) is orthogonal to the space Vh  . As a consequence, the solution uh  is the orthogonal projection of the exact solution u  in Vh  . Fig. 3.6 illustrates this principle.


pict


Figure 3.6.: Geometrical interpretation of Galerkin’s method. The solution (u  ) of the original problem is projected (uh  ) in the space defined by the basis of Vh  . Galerkin’s method can be understood as the procedure to find this projection.


As a result of the orthogonal projection, the element uh  is the closest function to u  in comparison to all elements of Vh  . Hence, the error of discretization is bounded according to [56]

∥u − uh∥ = ∥u − v∥     ∀v ∈ Vh .
(3.24)

The relation (3.24) will not be proved here, but it is intuitively clear when orthogonal projections are kept in mind. In conclusion, FEM provides the best approximation of the exact solution u  in the discretized space Vh  , when the norm (3.20) is considered.

At this point, the advantage of the original Galerkin’s imposition for the solution u  and the test function v  becomes evident – uh  and vh  , respectively, for the discrete formulation – to reside in the same linear space. The formulation gains some formal support, especially regarding the discretization error, since it is guaranteed that the FEM solution is the best choice in a particular space.