Jabarkan . dari Metode Galerkin

adalah benar. Sekarang  adalah bentuk bilinear (penjelasan yang eksak atas  akan ditentukan selanjutnya) dan f adalah operator linear pembatas pada V.