1.简介
我们给出了Newton型方法在广义Banach空间集上的半局部收敛性分析,以逼近算子的零点。广义范数被定义为从线性空间到部分阶Banach空间的算子(将在第2节). 早期研究,如[1,2,三,4,5,6,7,8,9,10,11,12,13,14,15,16]因为牛顿方法表明,与实范数理论相比,可以获得更精确的收敛性分析。然而,主要的假设是所涉及的算子是Fréchet可微的。这个假设限制了牛顿方法的适用性。在本研究中,我们只假设算子的连续性。这可能会扩大这些方法的适用性。我们的方法允许在分数微积分和其他领域扩展牛顿型方法(参见第4节)之前不可能(因为算子必须是Fréchet可微的)。此外,与前面提到的使用牛顿方法的研究相比,我们获得了以下优势: (i) 较弱的充分半局部收敛准则。
(ii)在所涉及的距离上有更严格的误差界限。
(iii)关于零点位置的至少准确信息。
此外,我们还表明,即使我们的牛顿型方法简化为牛顿方法,优势(ii)也是可能的。
此外,优势(i)–(iii)是在相同或更少的计算成本下获得的。
注意Adly最近的优雅作品等。, [1]牛顿方法也被推广到求解包含和集值逼近的其他重要方向。在经典的Banach空间设置中,虽然这些依赖于非光滑分析和度量正则性的结果在局部和半局部收敛情况下没有提供足够的收敛准则,但如我们在本研究中使用的那样,可以使用Lipschitz型常数进行验证。此外,没有给出所涉及距离的可计算误差界,也没有讨论解的唯一性或位置。 论文的其余部分组织如下。第2节包含广义Banach空间的基本概念以及不等式和不动点的辅助结果。在第3节我们给出了Newton型方法的半局部收敛性分析。最后,在第4节和第5节,我们给出了一些特殊的例子,并与早期的结果进行了良好的比较,以及在包括分数微积分在内的一些领域中的应用。 2.广义Banach空间
我们提出了一些标准概念,这些概念在下文中是必需的,以使本文尽可能完备。有关广义Banach空间的更多详细信息,请参阅[5,6,7,14]以及其中的参考文献。 定义2.1。 广义Banach空间是三元组这样的话
(i) X是上的线性空间.
(ii)是部分有序的Banach空间,即。,
(ii))是一个真正的巴拿赫空间,
(ii))E部分由闭凸锥K排序,
(iii))规范K上是单调的。
(iii)经营者满足
,
对于每个,.
(iv)X是关于诱导范数的Banach空间.
备注2.2。 操作员称为广义范数。鉴于(iii)和(ii)),是一种真正的规范。在本文的其余部分中,所有拓扑概念都将根据这个范数来理解。
让代表空间j个-线性对称有界算子到Y(Y),其中X(X)和Y(Y)是Banach空间。对于部分订购的代表单调算子的子集P(P)这样的话 定义2.3。 运算符的边界集关于广义Banach空间定义为:让和做一名操作员。如果顺序由提供定义明确。我们在收敛的情况下写作 我们需要不等式的一些辅助结果。
引理2.4。 让是部分有序的Banach空间,和.
(i) 假设存在这样的话和然后,定义明确,满足等式并且比不等式的任何解都小. (ii)假设存在和这样的话,那么就存在满足(i)。
证明。 (i) 定义序列通过然后,我们通过Equantion(2.5)得出。假设对于每个然后,根据Equantion(2.5)和归纳假设⇒因此,顺序上边界为第页.设置.我们将证明这一点根据定义,我们有和Equantion(2.6)其中显示了Equantion(2.7)假设Equantion(2.7)对然后,我们依次通过Equation(2.6)和归纳假设从而完成Equantion(2.7)的归纳。由此可见是Banach空间中的一个完整序列,因此它收敛于b条。请注意b条求解方程.我们有,其中第页是的解决方案因此,b条小于的任何解决方案. (ii)确定顺序,通过,,,.那么,我们有了和顺序上边界为q个因此,它收敛于一些第页具有我们还通过Equantion(2.8)得出作为⇒作为. ☐ 我们还需要辅助结果来计算不动点问题的解。
引理2.5。 让是广义Banach空间,并且势不可挡.假设存在和这样的话然后,,定义明确并满足:和此外,z(z)是子空间中的唯一解. 3.半局部收敛
让和Y(Y)是广义Banach空间,开放子集,连续运算符和.零运算符G公司由牛顿型方法从一点开始确定。结果显示给操作员,其中。迭代元素通过不动点问题确定: 让代表由定义的球对一些人来说. 接下来,我们使用前面的符号给出了Newton型方法方程(3.1)的半局部收敛性分析。
定理3.1。 让,和如前所述。假设:
(H))存在操作员对于每个.
(H))存在操作员每个人都满意 (H))存在解决方案属于 (H)).
(H))作为.
然后,保持以下状态:
(C))序列由定义定义明确,保持不变对于每个并收敛到算子F的唯一零点. (C))空序列给出了先验界由定义以及每个 (C))序列给出了后验界由定义哪里 (I))和定义明确且令人满意 我们用归纳法来表示(I). 声明(I)是真的:根据引理2.4,(H)和(H),存在这样: 因此,根据引理2.5定义明确,我们有然后,我们得到估计值 假设(我)每个都是正确的.我们需要证明并获得一个界限q个对于。要实现这一点,请注意: 然后,从引理2.4可以看出存在这样的话 因此,和(H)M(M)一定是
根据引理2.5,定义明确.鉴于我们有这个从而通过引理2.4,定义明确这证明了(我). (I)的归纳法)已完成。让,然后我们依次得到 它来自(H)那个为空序列。因此,是Banach空间中的完整序列X(X)通过方程(3.5),因此它收敛到。通过让在方程(3.5)中,我们推断此外,方程式(3.4)表明是的零如果因此,(C)和(C)都被证明了。
根据估计(C)的先验界)由引理2.4明确定义。那就是,通常小于.满足定理3.1的条件更换.(C)不等式的一个解法)由提供-见方程式(3.4)。从方程(3.5)可以看出,定理3.1的条件很容易验证。然后,它由(C)那个,这证明了(C). ☐ 总的来说,后验估计是有意义的。然后,条件(H)可以通过以下方式避免:
提议3.2。 假设:条件(H)定理3.1是正确的。
(H))存在,这样的话 (H)).
然后,存在满足定理3.1的条件。此外,零属于如果在中是唯一的.
备注3.3。 (i) 注意,通过引理2.4是的最小解因此,此不等式的任何解决方案都会产生类似的不等式出现在(H)和(H).
(ii)定理3.1的弱假设并不意味着.实际上作为一个线性方程的解是没有问题的,而计算费用昂贵或一般不可能计算不需要。
(iii)我们可以使用以下结果计算后验估计。证据可以在[14,引理4.2]通过简单地交换R(右). 引理3.4。 假设满足定理3.1的条件。如果是的解决方案,然后并解决。此解决方案可以通过以下方式进行改进对于每个.
4.特殊情况和应用
应用4.1。 早期研究中获得的结果,如[5,6,7,14]要求操作员如果(即。,G公司)是Fréchet可微的。这种假设限制了早期结果的适用性。在本研究中,我们只要求如果是一个连续运算符。因此,我们将Newton类型方法的适用性扩展到了仅连续的运算符类。此外,正如我们接下来将要展示的那样,通过专业化如果成为Fréchet可微算子(即。,),我们的定理3.1改进了早期的结果。实际上,首先请注意,方程(3.1)定义的牛顿型方法简化为牛顿法: 接下来,我们从[14]以及我们定理3.1的专门化,以便我们可以比较它们。 引理4.2。 让是Fréchet可微算子.假设以下条件成立:
()存在操作员.
()存在操作员满足 ()存在解决方案关于不平等 ().
()作为.
然后,保持以下状态
()序列由方程(4.1)生成,定义明确,收敛到如果在里面.
()空序列给出了先验界由定义 ()序列给出了后验界由定义where序列和如前所述。 引理4.3。 让是Fréchet可微算子.假设以下条件成立:
()存在操作员对于每个.
()存在操作员每个人都满意 ()存在解决方案属于 ().
()作为.
然后,保持以下状态:
()序列由方程(4.1)生成,定义明确,收敛到如果在里面.
()先验界由下式给出,,.
()序列给出了后验界由定义,.
然后,它从(), ()以及之前的估计一般保持不变。特别是,我们有 此外,我们依次通过(), ()和()那个 因此,通过()和方程(4.3),我们得到一般保持不变。 然后,根据方程式(4.2)、(4.4)和(), ()假设我们推断但不一定相反,除非等式(4.2)和(4.4)中成立;和还要注意,如果严格不等式在方程(4.2)或(4.4)中成立,则严格不等式在方程式(4.8)或(4.9)中成立。 估计值(4.5)-(4.9)证明了我们的方法相对于本研究引言中所述的早期研究的优势。
接下来,我们证明了中定理2.1的结果[14],即。在相同的假设下,可以通过注意到(). ()存在操作员满足, 此外,一般持有,以及可以任意大[4,5,6,7]. 值得注意的是()不是一个额外的假设(),因为在实际中需要计算作为一种特殊情况。现在使用()和()我们明白了 因此,可以用作的边界而不是,分别是。
然后,随着上述更改,并遵循中定理2.1的证明[14],我们得出以下改进: 引理4.4。 假设定理4.2的条件成立,但替换为最大为然后,得出结论()–(),和其中序列,由定义 备注4.5。 请注意,估计方程(4.13)和方程(4.14),然后使用方程(4.11)和(4.12)进行简单的归纳论证。此外,严格不等式适用于方程(4.13)(对于)式(4.14)中(对于)如果严格不等式在方程(4.11)或(4.12)中成立。因此,在相同的假设下,我们再次获得了更好的先验界和后验界().
条件自.事实证明这种情况可以减弱和序列和可以用更精确的序列替换,如下所示:定义运算符在D类通过 假设存在解决方案关于不平等 存在解决方案具有关于不平等哪里 存在解决方案具有这样的话 此外,定义序列和通过 然后,在这种情况下对定理4.2进行证明,得出:
定理4.6。 假设满足定理4.2的条件,但满足c,替换为μ,,
作为分别是。
然后,定理4.2的结论适用于序列和更换和分别是。此外,我们还有和 显然,新的误差范围更精确:关于解决方案位置的信息至少是精确的和足够的收敛标准和弱于和分别是。
示例4.7。 这个j个-维度空间是广义Banach空间的经典例子。广义范数由分量绝对值定义。然后,作为有序Banach空间,我们设置组件式排序,例如最大范数。线性算子(矩阵)的界由具有绝对值的相应矩阵给出。同样,我们可以定义“N个“操作员。
让也就是说,我们考虑范数表示为的实赋范空间的情况让我们看看定理3.1和定理4.4的条件是什么样子的。
定理4.8。 ()对一些人来说.
()对一些人来说.
().
()作为,其中第页由方程式(4.15)给出。
然后,定理3.1的结论成立。
定理4.9。 ()对一些人来说.
()
,对于一些和.
().
()作为,其中c(c)由方程式(4.17)定义。
然后,定理4.4的结论成立。
备注4.10。 条件(4.16)是牛顿-康托洛维奇型假设,与牛顿型方法相关,它是一个充分的半局部收敛假设。特别是,如果,然后方程(4.16)简化为以简单明了著称的牛顿-康托洛维奇假设出现在牛顿方法研究中[1,2,5,6,7,9,10,11,12,13,14,15,16]. 5.分数微积分的应用
我们前面介绍的半局部收敛牛顿型通用方法(见定理4.8)适用于以下两种分数设置,前提是满足以下不等式:和哪里; 此外为所有人. 这里我们考虑.
具体功能,接下来将进行描述。
(一) 让和Riemann–Liouville积分([8],第13页)由 由[三],第388页,我们明白了是一个连续函数尤其是在因此存在这样的话 很明显.
接下来我们假设是收缩,即。,和. 选择足够小,我们可以,满足等式(5.2)。
接下来我们打电话,我们需要它等效地,等效地,对于小型λ,。这就是,满足方程(5.3)。因此,我们的数值方法收敛并求解方程(5.13)。 (二) 让我们再来一次,,(天花板功能),,,这里我们考虑Caputo分数导数(参见[三]第270页), 由[三]第388页,是一个连续函数尤其是连续。请注意[4]第358页,我们有. 因此存在这样的话、和,用于.
我们假设(即。,, ∀). 很明显.
接下来我们假设收缩结束了吗,即。,和. 选择我们能做的足够小因此满足方程(5.2)。
接下来我们打电话并需要我们发现,等效地,对于小型λ,. 那就是,满足等式(5.3)。因此,方程(5.33)可以用我们提出的数值方法求解。
6.结论
我们对Newton型方法在弱收敛准则下的收敛性进行了分析,该准则在分数阶微积分应用的早期研究中较弱。