|
下一次迭代rk+1从一个递减序列合并而来,该递减序列是通过应用算法4A从¨r=rk开始产生的。因此rk+1≤ rk和s(rk+1)≤s(rk)。下一步是证明级数收敛到R*. 我们得到两个序列((rk+1)t,(s(rk))t)和((rk)t,(s(rk))t)在(R+)2中同时下降,然后收敛到相同的极限((R*)t、 (s)*)t) t∈ (R+)2n。由于Φd的连续性,Φsit必须保持Φd(r*, s*) = R*和Φs(s)*, R*) = s*. 因此,((r)*)t、 (s)*)t) 索尔夫斯(6)和(5)。R=R的证明是相似的。在命题5中,我们已经证明,当使用埃尔辛格算法时,迭代总是更接近s解R*而不是Picard算法的相应迭代。这就导致了埃尔辛格算法的迭代次数最小化的结论。下一个命题显示了将Elsin-ger与混合算法进行比较的相同之处,并且很明显,混合算法将需要更少的迭代步骤来达到R*而不是埃尔辛格算法。提案9。如命题5所示,我们用subscript表示这两种算法的迭代,其中E代表Elsinger,H代表混合算法。(i) 对于任何迭代k≥ 1它认为RkE≥ RkhifR=(rtgreat,s(rgreat)t)和RkE≤ RkHwhen(rtsmall,s(rsmall)t)是两种算法的起始向量。(ii)让Rk,k≥ 0,可以是Elsinge r算法或以r=(rtgreat,s(rgreat)t)t开头的混合算法的迭代。然后是Rk+1E(Rk)≥ Rk+1H(Rk)用于下一次迭代,使用Elsinger或从Rk开始的混合算法计算。如果R=((rtsmall,s(rsmall)t)t,它认为Rk+1E(Rk)≤ Rk+1H(Rk)。证据(i) 设R=(rtgreat,s(rgreat)t。从命题8我们知道rH≤ rH=d whichyields torE=min{d,a+Mdd+Mss(d)}≥ min{d,a+MdrH+Mss(d)}=rH。(67)此外,由于s(r)在r中增加。
|