在有限差分数值解法中，若差分方程满足相容性则差分方程收敛