§ 方程求根与近似计算
方程求根是一个很有实际意义的问题, 在本书中到目前为止也已多次出现. 实际上, 研究迭代生成数列的动机之一就是求方程的近似解. 这方面的一个基本定理就是连续函数的零点存在定理. 在例题 的注 中已经指出, 用闭区间套定理给出的二分法证明同时就提供了一种近似求根方法. 在这一节中我们将介绍 (牛顿) 求根法. 它不仅对方程求根问题是一种有效的计算方法, 同时在整个计算数学领域中都是重要的基本方法. 在数学分析教材中关于方程求根的材料还可以参看 [] 第一卷的第四章第 节, [] 的第一卷第八章.
迭代算法的收敛速度
Section titled “8.7.1 迭代算法的收敛速度”在第二章的 小节中已经看到, 在求自然对数的底 的近似值时, 不同的计算方法的效果完全不一样. 这是因为在那里的两个数列收敛于 的速度有明显的不同. 因此在作迭代计算时必须考虑方法的效率. 在本小节我们将引进迭代算法的阶的概念, 为下一节介绍 求根法作好准备. 同时还介绍计算圆周率的两种不同的迭代算法.
现在引入迭代算法的阶的定义. 设某个迭代算法的第 次计算的误差为 . 若存在一个常数 , 使得接连两次的误差之间满足递推估计式
其中 为两个正常数, 则称此算法为 阶算法. 其特例之一是存在极限
则算法的阶为 。这时当 足够大时成立 。又若对某个算法只知道公式 右边的不等式成立, 则可以说该算法的阶不低于 .
对于一般的收敛数列来说, 若有 ,而误差 满足 或 ,则称这个数列的收敛速度为 阶.
在 时的算法称为一阶 (线性) 算法. 不难看出一阶算法的收敛速度是比较慢的. 为简单起见, 不妨设有 , 为某个正常数, 则就可以得到
可见常数 必须小于 , 而且越小越好. 又可以看出, 为了使精度达到 所需的迭代次数总是 的量级.
具有一阶收敛速度的数列在第二章中很多. 从 可见, 只要 为无穷小量, 且满足
(参见 小节的第一组参考题中的题 ), 则 就是一阶收敛于 的数列. (当然在第二章中还有许多收敛速度远低于一阶的数列.) 现在举出一个一阶算法的重要例子. 这就是计算圆周率的 - 刘徽算法 (见第二章第一组参考题 ).
设 ,并用递推公式
作迭代, 证明: 和 以一阶速度收敛于同一极限.
证明
在这里只对收敛速度进行分析. 应用与例题 中类似的方法即可证明 和 收敛于同一极限. 记此极限为 , 即有
又记
则可以对收敛速度分析如下. 首先进行恒等式运算
因此得到
利用 和 收敛于同一极限 ,就有近似估计
因此收敛速度为一阶.
若取 即单位圆的外切和内接正六边形的半周长, 可以证明极限 . 这就是计算圆周率的 - 刘徽算法. 从以上分析有
可见这种算法每迭代 次大致可以增加 位新的有效数字。这个估计与用这个算法求 的大量实际计算完全符合.
- 刘徽算法有个变形:令 ,有递推式:
与算法 比较, 每次迭代的计算量少得多. 但是这个改进并没有提高收敛速度. 若仍令 , 则还是得到 .
当 时算法为二阶收敛 (也称为平方收敛). 这时情况大不相同. 为简便起见, 只考虑误差递推估计的单侧不等式
上式两边乘以常数 , 就有 . 因此可以继续做下去, 得到
这样就得到
这里的常数 不一定要小于 , 只要取初始值足够好, 使得 即可. 这时在公式 右边的表达式收敛于 的速度是非常快的.
下一个例题是对在第二章中的例题 (其中的极限是 的算术几何平均值) 进行收敛速度的分析.
从 出发, 设 , 并用递推公式
作迭代, 证明: 和 以二阶速度收敛于同一极限.
证明
记极限为 , , . 利用恒等式
就可以得到
因此是二阶算法.
□
迭代公式 与 很相似, 但实际上收敛速度完全不同.
在 年出现了 - 算法. 它就是以 和上述分析为基础的. 由于收敛速度快, 因此成为一类重要的算法, 具有广泛的应用. 自此以后计算圆周率 的新纪录很多都是用这类新算法得到的. 目前已经有计算 的任意高阶的算法. 下面列出计算 的二阶算法中的一个算法, 以及它的计算效果. 关于它以及其他有关材料可以从 [, ] 中找到, 还可以参看 [] 第六章的圆周率及其计算.
-算法:令 , ,并用递推公式
作迭代, 则 二阶收敛于 .
它的计算结果为
| 迭代次数 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 25 | |
| 有效位数 | 1 | 4 | 9 | 20 | 42 | 85 | 173 | 347 | 697 |
从上面的计算结果可以看到, 每迭代一次, 有效位数几乎增加一倍. 实际上, 这是二阶算法的共同特征. 从公式 可以知道, 若常数 , 则一定如此. 这在下面的简单例题中可以看得很清楚.
从初始值 开始, 用迭代算法
求无理数 的近似值, 观察有效位数的增长情况.
解
前几个值很容易计算:
与 比较, 可见有效位数分别为 , , . 为了继续计算下去, 我们需要使用如 那样的软件. 具体地说, 即每次将 与 都计算到足够多的位数, 然后进行比较, 从而确定第 次近似值 的有效位数. 这里只列出实际计算结果:
| 迭代次数 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| 有效位数 | 1 | 3 | 6 | 12 | 25 | 49 | 98 | 196 |
实际上, 不难直接验证在这个例题中的迭代算法确实为二阶算法. 用 § 的方法知数列 从 起严格单调减少收敛于 . 然后估计迭代误差
可见恰好为二阶算法.
我们即将看到, 这个开平方根的算法就是 求根法的一个例子.
可以从不同的角度来导出 求根法 (也称为 - (拉弗森) 求根法). 第一种推导方法完全来自于 求根法的几何意义. 从图 上可以看出已有 和 , 因此从连续函数的零点存在定理知道在区间 内方程 一定有根. 在图上记这个根为 . 问题是如何计算出根 的近似值.
以 为初值, 在点 作曲线 的切线, 与 轴的交点记为 . 然后再在点 作曲线 的切线, 与 轴交于点 . 如此进行下去, 不难得到一般的递推公式是

从图可以看出, 所得到的数列 有可能会很快收敛到方程 的根 . 这就是 求根法, 也称为 切线法.
但这里实际上有许多问题需要研究. 首先, 若设方程 在区间 中只有唯一的一个根 , 是否一定成立
其次, 这个算法的收敛速度如何? 此外还有一个如何取初始值的问题. 在图 上从点 也作出了曲线 的切线, 但它与 轴的交点 (在图上未画出) 很可能会越出函数 的定义域.
可以从完全不同的角度导出 求根法. 例如, 假定已得到根 的第 个近似值 , 又设 二阶可微, 则可以写出带 余项的 展开式:
其中的中值 在 和 之间. 在公式 中弃去右边的最后一项, 并将由此得到的根 的近似值记为 , 就得到了前面已有的公式 . 在将 求根法推广到高维空间时用这种局部线性化的方法没有本质上的困难.
现在给出保证 求根法能够成功的一组充分条件, 并证明它的收敛速度恰好是二阶. 为直观起见, 下面所述的条件均与图 一致. 读者可自行写出与这组充分条件平行的其他充分条件.
设函数 在区间 上二阶连续可微,且满足以下条件
(1) ;
(2)
(3)
(4) 取 为初始值;
那么就有
(1) 方程 在区间 内存在唯一的根 ;
(2) 由递推公式 得到的数列 是在区间 中的严格单调减少数列, 且以 为极限;
(3) 数列 的收敛速度为二阶.
证明
从连续函数的零点存在定理知道方程 在 中有根. 从 在区间上处处大于 可知函数 严格单调增加, 因此方程的根唯一.
从公式 和 可见, 成立
由此即可得到
从递推公式 又可看出只要 ,就有
成立. 由于初始值 处有 , 而当 时就有 , 因此就保证了数列 是严格单调减少数列, 且以 为下界. 记该数列的极限为 , 在公式 两边令 , 得到
可见 。由于方程 在 中的根唯一,因此 。这样就证明了 求根法所得到的迭代数列 收敛于方程在区间 中的唯一根。
现在用 公式 估计迭代误差
其中 .利用 连续且处处大于 ,就有
因此 二阶收敛于 .
容易看到在命题中的某些条件可以放宽, 而仍保证迭代数列为二阶收敛或不低于二阶收敛. 但另一方面也可以举出各种例子, 说明在 个条件中的某些条件不成立时, 求根法可能失败. 一般而言, 求根法在有拐点、重根和多根时会有困难.
不难得到 求根法的先验估计和事后估计 (可以与命题 , 即压缩映射原理中的结果作比较). 由于 在 上二阶连续可微, 因此在命题的条件下 在 上有最大值 , 而 在 上有最小值 . 从证明中关于迭代误差的估计有
代入公式 就得到
在计算前, 用它可以估计为达到指定精度所需的迭代次数, 即先验估计.
注意:为了满足 的要求,区间 的长度应当满足不等式
但从命题的证明知道, 即使这个条件不成立, 迭代数列仍然二阶收敛.
再利用 中值定理得到
又用 公式有
其中 在 与 之间,就可以得到
这可用于从相继两次计算的结果去估计当时的误差大小, 即事后估计.
用 求根法导出开平方根的迭代算法.
解
设要求正数 的平方根. 取函数 , 求 的问题就成为方程求根问题了. 将 代入迭代公式 中, 就得到
在 时就得到例题 中的算法. 实际上本题的算法已在 小节的练习题 中出现. 其中练习题 还给出了求平方根的一个三阶算法.
这个算法的历史可以上溯到古代巴比伦文明 (见 []). 其思路可能是: 如果 是 的一个近似值, 那么 也是一个近似值, 这两个近似值的乘积等于 , 而且分别在 的两侧, 因此取算术平均值可能会得到更好的结果.
本节的计算题应当根据在学习中所能使用的计算工具来安排. 下面的题中只有第 题是计算题, 且只需用计算器.
. 用 求根法计算 (要求精确到 ):
(1) 在 之间的根的近似值;
(2) 的根的近似值.
. 在命题 中给出了保证 求根法成功的充分条件, 其中共有 项要求. 试举出例子, 说明不满足其中的某些要求时, 用 求根法有可能失败.
. 证明: 在例题 中提供的二分法是方程求根的一阶算法.
. 证明: 小节的题 中的算法是求平方根的三阶算法.
. 设 , 为计算立方根 , 从 出发用递推公式
作迭代, 证明数列 收敛, 求出其极限, 并确定其收敛的阶.
. 用 求根法设计一个求 的迭代算法, 并对其收敛速度作出分析.
. 用 求根法设计一个求 的迭代算法, 其中只用加法和乘法运算, 并对其收敛速度作出分析.
书籍模块索引
数学分析 · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。