Proceso Δ² de Aitken

Dada una sucesión ${\displaystyle x={(x_{n})}_{n\in \mathbb {N} }}$, se calcula la nueva sucesión ${\displaystyle {\hat {x}}={({\hat {x}}_{n})}_{n\in \mathbb {N} }}$ definida como

${\displaystyle {\hat {x}}_{n+2}=x_{n+2}-{\frac {(x_{n+2}-x_{n+1})^{2}}{x_{n+2}-2\,x_{n+1}+x_{n}}}}$.

Si se emplea el operador Δ de las diferencias progresivas definido como

${\displaystyle \Delta x_{n}=x_{n+1}-x_{n}.}$

${\displaystyle \Delta ^{2}x_{n}=\Delta (\Delta x_{n})=x_{n+2}-2x_{n+1}+x_{n}}$

también puede escribirse como:

${\displaystyle {\hat {x}}_{n+2}=x_{n+2}-{\frac {(\Delta x_{n+1})^{2}}{\Delta ^{2}x_{n}}}}$

El proceso Δ² de Aitken es un método de aceleración de la convergencia, y en particular un caso de transformación no lineal de una sucesión.

${\displaystyle x}$ converge linealmente a ${\displaystyle \ell }$ si existe un número μ ∈ (0, 1) tal que

${\displaystyle \lim _{n\to \infty }{\frac {|x_{n+1}-\ell |}{|x_{n}-\ell |}}=\mu .}$

El método de Aitken acelerará la sucesión ${\displaystyle x_{n}}$ si y solo si ${\displaystyle \lim _{n\to \infty }{\frac {{\hat {x}}_{n}-\ell }{x_{n}-\ell }}=0.}$

Aunque la nueva sucesión no converge en general de forma cuadrática, se puede demostrar que para un método de punto fijo, es decir, para una sucesión ${\displaystyle x_{n+1}=f(x_{n})}$ para alguna función iterada ${\displaystyle f}$, convergiendo hacia un punto fijo, la convergencia es cuadrática. En este caso, la técnica se conoce como método de Steffensen.

• García Merayo, Félix (1995). «6. Aceleración y raíces complejas.». Lecciones prácticas de cálculo numérico. Madrid: Universidad pontificia Comillas. p. 78-81. ISBN 848784068X. Consultado el 13 de septiembre de 2009.