关于逐次超松弛法的收敛性

SOR迭代的收敛性,已经被人们讨论得很多了,尤其是充分条件。Ostrowski较早讨论过充分必要条件,但其结论和论证有错误,蒋尔雄等在《矩阵迭代分析》中译本的译者注中,用二阶负定矩阵为例已经指出了。本文用块迭代的形式对一般负定阵进行了完整的叙述和论证;还得到了用对角元及谱半径来判断(正)负定的一条法则。从而明确了SOR法收敛的充分必要条件是有前提的,前提不同决定着讨论问题的不同途径,比如:相容次序仅是前提中的一种。