积空间 formula_32 ，且 formula_9的一次微分函数 formula_11为零。我们也可以假设 formula_35 （详见索伯列夫空间） 也可以显示解的存在性和唯一性。
离散化.P1 和 P2 通过上述过程被离散化，并简化为 子问题 (3)。 基本思路是将无限维线性问题替换掉：表示唯有限维度的形式：此处 formula_40 是formula_41的一个有限维度线性子空间。formula_40有许多可能的形式，但对于有限元素而言，在此将假定formula_