Skip to content

Tuorui "v1ncent19" Peng

En voyage dans l'espace de Hilbert.

Mathematics & Statistics1 min readEnglish

Convergence Order 1.618 of Secant Interpolation Rooting

Recap

Convergence Order

For some iteration algorithm x(t+1)=g(x(t))x^{(t+1)}=g\left( x^{(t)} \right) with final solution denoted xx^*, error ε(t):=x(t)x\varepsilon ^{(t)}:=x^{(t)}-x^*, its convergence order α\alpha and converngence rate cc:

limtε(t+1)ε(t)α=c\begin{align} \lim_{t\to\infty}\dfrac{|\varepsilon ^{(t+1)}|}{|\varepsilon ^{(t)}|^\alpha }=c \end{align}

Secant Interpolation for Rooting:

In rooting f(x)f(x), with initial points x(1)x^{(-1)}, x(0)x^{(0)} set, root of secant interpolation in each step (t)(t) is:

x(t+1)=x(t1)f(x(t))x(t)f(x(t1))f(x(t))f(x(t1))\begin{align} x^{(t+1)}=\dfrac{x^{(t-1)}f\left( x^{(t)} \right)-x^{(t)}f\left( x^{(t-1)} \right)}{f\left( x^{(t)} \right)-f\left( x^{(t-1)} \right)} \end{align}

Deduction:

Taylor series of f(x)f(x) at xx^* to the second order is:

f(x)=f(x)(xx)+12f(x)(xx)2\begin{align} f(x)=f'(x^{*})(x-x^{*})+\dfrac{1}{2}f''(x^{*})\left(x-x^{*}\right)^2 \end{align}

substitute in secant rooting

x(t+1)=x(t1)f(x(t))x(t)f(x(t1))f(x(t))f(x(t1))\begin{align} x^{(t+1)}=\dfrac{x^{(t-1)}f(x^{(t)})-x^{(t)}f(x^{(t-1)})}{f(x^{(t)})-f(x^{(t-1)})} \end{align}

to obtain

x(t+1)x=x(t1)f(x(t))x(t)f(x(t1))f(x(t))f(x(t1))x=(fx(x(t)x)+12f(x)(x(t)x)2)(x(t1)x)f(x)(x(t)x(t1))12f(x)(x(t)x(t1))(x(t)+x(t1)2x)(fx(x(t1)x)+12f(x)(x(t1)x)2)(x(t)x)f(x)(x(t)x(t1))12f(x)(x(t)x(t1))(x(t)+x(t1)2x)=12f(x)(x(t)x)(x(t1)x)f(x)12f(x)(x(t)+x(t1)2x)\begin{align} x^{(t+1)}-x^*=&\dfrac{x^{(t-1)}f(x^{(t)})-x^{(t)}f(x^{(t-1)})}{f(x^{(t)})-f(x^{(t-1)})} -x^*\\ =&\dfrac{\left( f'x^*(x^{(t)}-x^*)+\frac{1}{2}f''(x^*)(x^{(t)}-x^*)^2 \right)(x^{(t-1)}-x^*)}{f'(x^*)(x^{(t)}-x^{(t-1)})-\frac{1}{2}f''(x^*)(x^{(t)}-x^{(t-1)})(x^{(t)}+x^{(t-1)}-2x^*)}\\ &- \dfrac{\left( f'x^*(x^{(t-1)}-x^*)+\frac{1}{2}f''(x^*)(x^{(t-1)}-x^*)^2 \right)(x^{(t)}-x^*)}{f'(x^*)(x^{(t)}-x^{(t-1)})-\frac{1}{2}f''(x^*)(x^{(t)}-x^{(t-1)})(x^{(t)}+x^{(t-1)}-2x^*)} \\ =&\dfrac{\frac{1}{2}f''(x^*)(x^{(t)}-x^*)(x^{(t-1)}-x^*)}{f'(x^*)-\frac{1}{2}f''(x^*)(x^{(t)}+x^{(t-1)}-2x^*)}\\ \end{align}

Denote e(t)x(t)xe^{(t)}\equiv x^{(t)}-x^*, take tt\to\infty to obtain

e(t+1)e(t)e(t1)=f(x)2f(x)f(x)(e(t)+e(t1))f(x)2f(x)\begin{align} \dfrac{e^{(t+1)}}{e^{(t)}e^{(t-1)}}=\dfrac{f''(x^*)}{2f'(x^*)-f''(x^*)(e^{(t)}+e^{(t-1)})}\to \dfrac{f''(x^*)}{2f'(x^*)} \end{align}

Denote e(t1)ae^{(t-1)}\equiv a. We could first assume convergence order α\alpha and convergence rate cc, then

limte(t+1)[e(t)]α=limte(t)[e(t1)]α=ce(t+1)=cαaα2,e(t)=caα\begin{align} \lim_{t\to\infty}\dfrac{e^{(t+1)}}{[e^{(t)}]^\alpha }= \lim_{t\to\infty}\dfrac{e^{(t)}}{[e^{(t-1)}]^\alpha }=c\Rightarrow e^{(t+1)}=c^\alpha a^{\alpha^2},\quad e^{(t)}=ca^\alpha \end{align}

substitute into the iteration of error

e(t+1)e(t)e(t1)=λα1aα2α1=f(x)2f(x)=const\begin{align} \dfrac{e^{(t+1)}}{e^{(t)}e^{(t-1)}}=\lambda ^{\alpha -1}a^{\alpha ^2-\alpha -1} =\dfrac{f''(x^*)}{2f'(x^*)}=\mathrm{const} \end{align}

Considering that limte(t1)=0\lim_{t\to\infty}e^{(t-1)}=0, there must be α2α1=0{\alpha ^2-\alpha -1} =0, thus

α=5+121.618\begin{align} \alpha=\frac{\sqrt{5}+1}{2}\approx 1.618 \end{align}