二维定常Navier-Stokes方程用解空间为近似边界条件的有限元分析

本文讨论Navier-Stokes方程的有限元法,叙述和证明都建立在对速度场和压力采用不同的近似解空间的基础上,而速度场的近似解空间可以是H_0~1(Ω)的有限维子空间,也可以是满足某种边界近似为零的H~1(Ω)的有限维子空间。证明了近似解的存在唯一性;导出了最佳误差估计;进而给出两种求解有限元法形成的非线性代数方程组的迭代法,並证明它们是局部超二阶收敛的。