“只有 $f''(x )\ne0$ 时,这个正的极限才给出恰为二的 Q 收敛阶。若二阶导数为零,实际阶可能更高;若有限步命中根,后续比值为 $0/0$,应报告已经精确完成,而不再拟合收敛阶。”
形式陈述
设迭代序列
若存在
则称该序列以 Q-阶
上述比值默认误差最终非零。超线性不必具有某个固定幂阶
知道真解时,可以用
估计渐近阶。真解未知时,常以连续三段更新量代替误差:
这个估计要求各比值为正、分母不接近零、迭代已进入渐近区,而且更新量确实与真误差同阶。它是一项实验诊断,不是由少数数据点自动生成的收敛证明。
直觉
收敛阶描述“已经靠近答案以后,旧误差如何变成新误差”。线性收敛大致每步乘一个固定比例;二次收敛大致每步把误差平方,所以足够接近根后正确位数会近似翻倍。这里的“足够接近”不可省略:算法起步时可能绕行、阻尼或暂时停留,只有尾部误差才受渐近关系支配。
阶数与单步成本共同决定实际速度。二次方法若每步需要昂贵的导数和线性求解,未必总比只做一次函数求值的低阶方法省时间;反过来,一个理论上超线性的方法也可能在进入渐近区前失败。收敛阶只回答局部误差缩减规律,不替代总工作量、稳定性和鲁棒性分析。
例子与边界
二分法每步把含根区间的宽度减半,给出线性包络。对简单根,Newton 法在标准光滑性和近初值条件下满足至少二次的误差上界;当
有限步恰好到达真解时,后续
还要区分三种相似说法:迭代 Q-阶研究
推论与应用
序列收敛只保证误差最终趋于零,本页进一步描述趋零速度。Newton、割线与不动点迭代可以共享这套语言,但每个算法仍要分别证明其光滑性、非退化和初值条件;一句“二次收敛”若没有这些条件,只是缺少适用范围的宣传语。
实验比较应同时报告所用范数、参考真值或高精度解、迭代区间和舍入平台。若只能观察残差,还必须说明残差如何控制真误差;否则从残差斜率推断解误差阶,可能把问题条件性带来的放大误认为算法性质。
参考资料
- NIST Digital Library of Mathematical Functions, §3.8 Nonlinear Equations, accessed 2026.
- J. M. Ortega and W. C. Rheinboldt, Iterative Solution of Nonlinear Equations in Several Variables, SIAM, 2000, rates and orders of convergence.
- C. T. Kelley, Iterative Methods for Linear and Nonlinear Equations, SIAM, 1995, Chs. 4–5.