The Shanks transformation is a powerful nonlinear extrapolation method that is used to accelerate the convergence of slowly converging, and even diverging, sequences {
A n }. It generates a two-dimensional array of approximations
({A^{(j)}_n}) to the limit or anti-limit of {
A n } defined as solutions of the linear systems
$A_l=A^{(j)}_n +sum^{n}_{k=1}bar{beta}_k(Delta A_{l+k-1}), jleq lleq j+n,$
where
({bar{beta}_{k}}) are additional unknowns. In this work, we study the convergence and stability properties of
({A^{(j)}_n}) , as
j → ∞ with
n fixed, derived from general linear sequences {
A n }, where
({{A_n sim A+sum^{m}_{k=1}zeta_k^nsum^infty_{i=0} beta_{ki}n^{gamma_k-i}}}) as
n → ∞, where
ζ k ≠ 1 are distinct and |
ζ 1| = ... = |
ζ m | =
θ, and
γ k ≠ 0, 1, 2, . . .. Here
A is the limit or the anti-limit of {
A n }. Such sequences arise, for example, as partial sums of Fourier series of functions that have finite jump discontinuities and/or algebraic branch singularities. We show that definitive results are obtained with those values of
n for which the integer programming problems
$begin{array}{ll}{quadquadquadquadmaxlimits_{s_1,ldots,s_m}sumlimits_{k=1}^{m}left[(Regamma_k)s_k-s_k(s_k-1)right],} {{rm subject,to},, s_1geq0,ldots,s_mgeq0quad{rm and}quad sumlimits_{k=1}^{m} s_k = n,}end{array}$
have unique (integer) solutions for
s 1, . . . ,
s m . A special case of our convergence result concerns the situation in which
({{Regamma_1=cdots=Regamma_m=alpha}}) and
n = m
ν with
ν = 1, 2, . . . , for which the integer programming problems above have unique solutions, and it reads
({A^{(j)}_n-A=O(theta^j,j^{alpha-2nu})}) as
j → ∞. When compared with
A j ?
A =
O(
θ j j α ) as
j → ∞, this result shows that the Shanks transformation is a true convergence acceleration method for the sequences considered. In addition, we show that it is stable for the case being studied, and we also quantify its stability properties. The results of this work are the first ones pertaining to the Shanks transformation on general linear sequences with
m > 1.
