“可靠的隐式求解器报告应同时给接受与拒绝步数、函数和 Jacobian 求值数、非线性迭代数、线性迭代或分解数、最终尺度化残差和退出原因。这些数据能区分“时间方法需要更多步”和“内层方程难以求…”
形式陈述 ​
对标量方程
它输入函数、导数、初值、尺度化容差和最大迭代数,输出近似根或明确的失败状态。每步需要一次函数和导数求值以及常数次标量运算;实现还要拒绝过小导数、非有限结果和越出允许定义域的更新。
对方程组
一次稠密无结构线性求解通常需要
若标量根
向量情形的对应条件是
迫使
停止时应同时检查尺度化残差和步长,例如
直觉 ​
Newton 法在当前点用切线或切平面替代弯曲的非线性对象,然后走到这个线性模型的零点。靠近简单根时,线性部分恰好被 Newton 步抵消,剩下的是二阶 Taylor 余项,因此旧误差平方后才进入下一步。这幅图像也解释了限制:离根太远时切线可能指向错误区域,导数接近零时交点会被推得极远,Jacobian 奇异时甚至没有唯一的线性修正方向。
向量 Newton 的核心动作是“解一个局部线性问题”,不是“套一个矩阵公式”。这一区别在大规模问题中尤其重要:保留线性系统形式,才能选择适合结构的分解、迭代求解和预条件,而不必制造一个稠密逆矩阵。
例子与边界 ​
求
依次得到
所以进入局部区间后正确位数迅速增加。这个例子同时是一个不动点迭代,但二次速度来自 Newton 构造令根处迭代导数为零,而不是所有不动点公式都会拥有的性质。
取实函数
轨道离根越来越远;根处导数又不存在。这是“函数有根”却不满足局部二次收敛假设的真实失败,而不是容差选择问题。
若
推论与应用 ​
逆函数定理解释非奇异 Jacobian 为何在根附近提供唯一局部解,Jacobian 矩阵则给出每步线性化的坐标表示。Newton 法把这些局部结构变成计算过程,但不会把局部定理自动升级为任意初值的全局收敛。
隐式时间步进、非线性边值问题和约束方程常在每个外层步骤内调用 Newton 求解。此时停止容差不能孤立选择:内层解得过粗会污染外层误差,解得远超外层精度又浪费工作。优化中的 Newton 法求的是梯度方程并使用 Hessian,目标与全局化规则不同,不应与本页的非线性求根定义混为同一算法。
参考资料
- NIST Digital Library of Mathematical Functions, §3.8 Nonlinear Equations.
- C. T. Kelley, Iterative Methods for Linear and Nonlinear Equations, SIAM, 1995, Ch. 5.
- Peter Deuflhard, Newton Methods for Nonlinear Problems: Affine Invariance and Adaptive Algorithms, Springer, 2011.