The resulting finite element formulation is stable and uniquely solvable without requiring a B-B stability condition.An error estimate was obtained.

• 证明了此格式在速度和压力有限元空间无需满足B-B型条件的情况下，解的存在性和唯一性，以及相应的误差估计。