# Sequence transformation

## Overview

Classical examples for sequence transformations include the binomial transform, Möbius transform, Stirling transform and others.

## Definitions

For a given sequence

$S=\{ s_n \}_{n\in\N},\,$

the transformed sequence is

$\mathbf{T}(S)=S'=\{ s'_n \}_{n\in\N},\,$

where the members of the transformed sequence are usually computed from some finite number of members of the original sequence, i.e.

$s_n' = T(s_n,s_{n+1},\dots,s_{n+k})$

for some $k$ which often depends on $n$ (cf. e.g. Binomial transform). In the simplest case, the $s_n$ and the $s'_n$ are real or complex numbers. More generally, they may be elements of some vector space or algebra.

In the context of acceleration of convergence, the transformed sequence is said to converge faster than the original sequence if

$\lim_{n\to\infty} \frac{s'_n-\ell}{s_n-\ell} = 0$

where $\ell$ is the limit of $S$, assumed to be convergent. In this case, convergence acceleration is obtained. If the original sequence is divergent, the sequence transformation acts as extrapolation method to the antilimit $\ell$.

If the mapping $T$ is linear in each of its arguments, i.e., for

$s'_n=\sum_{m=0}^{k} c_m s_{n+m}$

for some constants $c_0,\dots,c_k$ (which may depend on n), the sequence transformation $\mathbf{T}$ is called a linear sequence transformation. Sequence transformations that are not linear are called nonlinear sequence transformations.

## Examples

Simplest examples of (linear) sequence transformations include shifting all elements, $s'_n = s_{n+k}$ (resp. = 0 if n + k < 0) for a fixed k, and scalar multiplication of the sequence.

A little less trivial generalization would be the discrete convolution with a fixed sequence. A particularly basic form is the difference operator, which is convolution with the sequence $(-1,1,0,\ldots),$ and is a discrete analog of the derivative. The binomial transform is another linear transformation of a still more general type.

An example of a nonlinear sequence transformation is Aitken's delta-squared process, used to improve the rate of convergence of a slowly convergent sequence. An extended form of this is the Shanks transformation. The Möbius transform is also a nonlinear transformation, only possible for integer sequences.