Sequence transformation

From HandWiki
Short description: A mathematic operator acting on a given space of sequences

In mathematics, a sequence transformation is an operator acting on a given space of sequences (a sequence space). Sequence transformations include linear mappings such as convolution with another sequence, and resummation of a sequence and, more generally, are commonly used for series acceleration, that is, for improving the rate of convergence of a slowly convergent sequence or series. Sequence transformations are also commonly used to compute the antilimit of a divergent series numerically, and are used in conjunction with extrapolation methods.

Overview

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

Definitions

For a given sequence

[math]\displaystyle{ S=\{ s_n \}_{n\in\N},\, }[/math]

the transformed sequence is

[math]\displaystyle{ \mathbf{T}(S)=S'=\{ s'_n \}_{n\in\N},\, }[/math]

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

[math]\displaystyle{ s_n' = T(s_n,s_{n+1},\dots,s_{n+k}) }[/math]

for some [math]\displaystyle{ k }[/math] which often depends on [math]\displaystyle{ n }[/math] (cf. e.g. Binomial transform). In the simplest case, the [math]\displaystyle{ s_n }[/math] and the [math]\displaystyle{ s'_n }[/math] 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

[math]\displaystyle{ \lim_{n\to\infty} \frac{s'_n-\ell}{s_n-\ell} = 0 }[/math]

where [math]\displaystyle{ \ell }[/math] is the limit of [math]\displaystyle{ S }[/math], 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 [math]\displaystyle{ \ell }[/math].

If the mapping [math]\displaystyle{ T }[/math] is linear in each of its arguments, i.e., for

[math]\displaystyle{ s'_n=\sum_{m=0}^{k} c_m s_{n+m} }[/math]

for some constants [math]\displaystyle{ c_0,\dots,c_k }[/math] (which may depend on n), the sequence transformation [math]\displaystyle{ \mathbf{T} }[/math] 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, [math]\displaystyle{ s'_n = s_{n+k} }[/math] (resp. = 0 if n + k < 0) for a fixed k, and scalar multiplication of the sequence.

A less trivial example would be the discrete convolution with a fixed sequence. A particularly basic form is the difference operator, which is convolution with the sequence [math]\displaystyle{ (-1,1,0,\ldots), }[/math] 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.

See also

References

External links