让和成为两个函数,在两个参数中都严格递增。假设它们是表现良好的函数(连续、可微等)
鉴于这些属性,我想找到以下方程组的根:
假设存在解决方案并且它是唯一的。
是否有一种有效的算法可以迭代地在越来越小的区域中对根进行括号括起来? 也就是说,我正在寻找一种无导数的方法,它是二分法的扩展,用于 2 个变量,并保证收敛。
让和成为两个函数,在两个参数中都严格递增。假设它们是表现良好的函数(连续、可微等)
鉴于这些属性,我想找到以下方程组的根:
假设存在解决方案并且它是唯一的。
是否有一种有效的算法可以迭代地在越来越小的区域中对根进行括号括起来? 也就是说,我正在寻找一种无导数的方法,它是二分法的扩展,用于 2 个变量,并保证收敛。
因为函数是严格递增的,所以可以简化为一维情况。在每个一维问题中,都有更有效的标准方法可用,比二分法更有效,这也意味着不必自己想出非标准方法。毕竟,一维求根是一个“已解决”的标准问题。
不失一般性,假设, 并定义和成为解决方案, 和, 分别。两个都是定义良好的严格递减函数,并且可以通过一维寻根,甚至二等分来进行数值评估。那么共同的根对应于一个解决方案,这又是一个一维问题。
必须适当地选择初始括号,以便正确地将每个一维问题的根括号括起来。从几何上讲,可以选择一个有顶点的矩形使得曲线和穿过矩形仅边界(绘制它更容易),并在矩形内相互交叉(必须只有一次)。
假设您最初可以将根“括起来”,这意味着您有四个点这样:
那么我们可以保证方程组的一个根包含在四个点的凸包中。
算法可以迭代以下两个步骤:
四个点的凸包面积最终会缩小,从而将根定位到任意精度。
我无法分析凸包面积减小的速度。此外,找到最初四个点的稳健方法将很有用。另外,我声称四个点的凸包包含一个根,但我无法对这个陈述给出严格的证明(我认为直觉上是正确的,但我可能是错的)。