1. 引言
非线性方程组问题 [1],在机器学习、人工智能、金融计算、石油地质勘探、电力系统计算、卫星轨道预测等各个领域都有着非常广泛的应用。非线性方程组问题是非线性问题中经常出现的问题之一,其具体表现形式如下所示
用向量形式表示为
其中
,
,
,
。
非线性方程组在科学与工程计算中处于非常重要的地位。如何有效地利用计算机求解各类非线性问题一直以来都是困扰人们的一个难题。对于大多数非线性方程组而言,我们只能得到解的存在性,而解的形式推导过程相当困难甚至无法得到。因此,非线性方程组的数值求解具有很重要的实际意义。
牛顿迭代法是求解非线性方程(组)的经典方法,其最突出的优点是当初始点充分靠近问题的解时能得到很好的收敛效果。但该方法需要好的初始点。近年来,有无数的科学工作者在研究求解非线性方程及方程组,为该领域提供了很多的算法,杨新社等 [2] 提出一种布谷鸟搜索算法,也叫杜鹃搜索。赵鹏军 [3] 将求解非线性方程组的问题转化为优化问题进行求解。 [4] 提出了3种两步三阶收敛精度的牛顿迭代的变形形式。S. Weerakoon和T. G. I. Fernando [5] 同样提出了一种两步三阶收敛精度的牛顿迭代格式。
本文把杨新社等 [2] 提出一种布谷鸟搜索算法与 [4] 提出的两步三阶收敛的变形牛顿迭代法相结合,求解非线性方程组的数值解。
2. 相关算法描述
2.1. 布谷鸟算法 [2] 描述
基于布谷鸟的行为习惯,模拟布谷鸟寻找宿主鸟巢下蛋的行为,对非线性方程组的解在合理范围[c, d]内进行搜索,做出以下三个理想假设:
1) 每一个布谷鸟一次只下一个蛋,并将其下到随机的一个宿主鸟巢内;
2) 好的宿主鸟巢孵出的高质量的蛋会持续到下一代;
3) 宿主鸟巢的数量是固定的,并且宿主有一定概率
发现布谷鸟的蛋,此时宿主会选择将蛋舍弃或舍弃鸟巢并在一个新的地方建立一个新鸟巢。
在以上3个假设条件下,当第
代布谷鸟
寻找新宿主鸟巢时由模拟莱维飞行产生新的宿主鸟巢的位置:
(2.1)
此处
,用来对新的宿主鸟巢的位置范围进行控制,
表示点对点乘法,在大多数情况下,
取1,其中莱维飞行
表示为:
(2.2)
新的位置确定后,判断宿主是否发现布谷鸟的鸟蛋,将随机数
与
进行比较,若
则在范围
内随机产生新的鸟巢位置,反之不变。经过多代延续,找到最具适应性的鸟巢位置,作为结果。
2.2. 布谷鸟算法求解非线性方程组 [3]
设有m个方程形成的非线性方程组有唯一解:
(2.3)
由布谷鸟算法找到的近似解
带入
(2.4)
作为鸟巢优劣的判断标准,即解优劣的标准,Sum越小,鸟巢的位置越合适,近似解
就越合适。
2.3. 两步三阶精度牛顿迭代法 [4]
经典牛顿迭代法求解非线性方程组(2.3)的格式如下:给定初始值
,
(2.5)
下面给出三种经典牛顿迭代法(2.5)的变形形式
两步算术平均牛顿迭代法(arithmetic mean Newton’ (AN) method)
给定初始值
(2.6)
该格式可以看成取
和
的算术平均
,代替经典牛顿迭代法(2.5)中的
,因此称该格式为算术平均迭代格式(AN)。
两步调和平均牛顿迭代法(harmonic mean Newton’s method (HN))
给定初始值
(2.7)
该格式可以看成取
和
的调和平均
,代替经典牛顿迭代法(2.5)中的
,因此称该格式为调和平均牛顿迭代(HN)。
两步中点牛顿迭代法(midpoint Newton’s method) (MN)
给定初始值
(2.8)
该格式可以看做用
和
的平均
的导数值
代替经典牛顿迭代法(2.5)中的
,因此称该格式为两步中点牛顿迭代法(MN)。
下面将布谷鸟搜索算法(2.1)~(2.2)分别与两步牛顿迭代法(2.6),(2.7),(2.8)结合起来。
2.4. 布谷鸟搜索两步牛顿迭代法
2.4.1. 首先估计解的大致范围
通过调整解可能存在的区间范围[c, d],改变布谷鸟算法的搜索范围,使布谷鸟算法可以更快搜索出一个误差较小的解,记录下此时的区间范围[c, d],以便多次实验。
2.4.2 应用布谷鸟搜索算法求出一组近似解
使用调整好的区间范围[c, d],以及步长参数
和鸟巢数量,然后对非线性方程组的解进行搜索,根据方程组的复杂程度和实际需求对迭代次数或精度阈值进行调整,最终求出一个精度较高的近似解
。
2.4.3. 应用两步牛顿迭代法进行计算
将上面利用布谷鸟搜索算法得到的近似解
作为两步牛顿迭代法(2.6),(2.7),(2.8)的初值,然后分别用(2.6),(2.7),(2.8)进行计算。例如代入两步算术平均牛顿迭代法(2.6)
(2.9)
得到
,再将
看做
代入(2.9)式中,求出
,如此反复循环计算,最后得到精度较高的数值解
。其它两个牛顿迭代方法(2.7),(2.8)与之类似。
下面给出两步牛顿法(2.6),(2.7),(2.8)的收敛性分析。
3. 收敛性分析
定义3.1. [4] 如果一个序列
收敛于
满足:
(3.1)
其中
,且
,则该序列的为
阶收敛。设
,则
(3.2)
称为该迭代法的误差计算公式,
为迭代法的收敛阶。
定义3.2. [6] 设
为方程组
的一组解,
,
,
和
为收敛于
的四个相邻迭代近似值,则该方法的收敛阶
可通过下式近似计算得到:
(3.3)
定理3.1. 设函数
,非线性方程组
在邻域
上连续可微,且存在一组解
使得
。
的雅可比矩阵
在
上是连续且非奇异,且
在
的某局部邻域内具有连续的三阶导数,则两步牛顿迭代法(2.6)是三阶收敛的,且满足误差方程:
(3.4)
其中
,
,
,
。
证 分别对
,
在
处做Taylor级数展开:
(3.5)
(3.6)
由(3.5)和(3.6)可得
(3.7)
则由(2.6)和(3.7)可得
(3.8)
对
在点
运用Taylor公式展开,整理可得
(3.9)
由(3.5)和(3.9)可得
(3.10)
对于两步算术平均牛顿迭代法AN:由于
所以
则
于是两步算术平均牛顿迭代法(2.6)具有三阶收敛精度。
类似的,可证明两步调和平均牛顿迭代法(2.7)和两步中点牛顿迭代法(2.8)具有三阶收敛精度。
4. 数值实验
本节通过3个数值算例来验证两步算术平均牛顿迭代法(2.6),两步调和平均牛顿迭代法(2.7)和两步中点牛顿迭代法(2.8)的3阶收敛。设定实验初始解的存在区间均为[−10, 10],给出实验迭代的终止条件为:
1) 迭代次数最大为100次,即迭代次数
;
2) 相邻两次迭代
与
差的2范数小于
,即
。
若迭代达到最大迭代次数100,且最后一次迭代结果与近似解相差过多,则认为该算法不收敛。
例4.1. 求非线性方程组
(4.1)
的近似值。其中近似值[−1.664274278843389, 2.706644847598123]T看作准确值。
例4.2. 求非线性方程组
(4.2)
已知其精确解是[1, 1]T
例4.3. 求非线性方程组
(4.3)
[0.5773502691896, 0.57735026918962, 0.57735026918962, −0.2886751345948]T认为是该方程组的准确值。
表1和表2是算例4.1,算例4.2,算例4.3的数值结果。表1的第2列
是通过布谷鸟搜索算法(2.1)~(2.2)求出的初值。第3列AN,HN,MN分别表示两步算术平均牛顿迭代法(2.6),两步调和平均牛顿迭代法(2.7)和两步中点牛顿迭代法(2.8)。第4列是达到给定误差精度所需要的迭代次数n,以及在给定的迭代终止条件下收敛阶的近似值p,其中NC表示不收敛。第6列
表示迭代终止时最后两次迭代结果差的2范数。从表1可以看出,对于例4.1和例4.2,HN方法计算效果不好。
Table 1. Results of numerical experiment
表1. 数值实验结果
表2给出了三种迭代格式在相同初值,达到相同迭代终止条件,所需要的计算机运算时间。(注:表1和表2中初值
不相同)。从表2可以看出,MN方法用时最少,而HN方法用时最多。
通过表1和表2可以看出,由布谷鸟搜索算法提供的值是可以作为牛顿迭代法初始值使用。通过对比这三个方法在求解非线性方程组的数值结果,我们发现两步中点牛顿迭代法(2.8)无论在精度上,还是运算时间上都比另两个方法具有一定的优势。
5. 小结
本文首先用布谷鸟搜索算法得到非线性方程组的一个值,该值作为牛顿迭代的初值,然后分别用算术平均牛顿迭代法,几何平均牛顿迭代法,中点牛顿迭代法,进行计算得到非线性方程组三阶精度的近似值。该方法避免了牛顿迭代初值选取的影响。通过3个数值例子对这三个格式,进行了精度和运行效率(电脑计算时间)的比较。对这三个方法更详细的理论分析和数值比较是下一步的工作。
基金项目
河南省高等学校重点科研项目:21B110003;河南科技大学实验技术开发基金项目:SY2021033;河南科技大学大学生研究训练计划(SRTP):2020175;河南省自然科学基金面上项目:202300410156。
参考文献
NOTES
*通讯作者。