满秩矩阵 对流占优Sobolev方程 误差估计 H1-Galerkin混合有限元方法 秩 初等变换 线性方程组 弱逆矩阵