Sequence Transformation
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, a sequence transformation is an
operator Operator may refer to: Mathematics * A symbol indicating a mathematical operation * Logical operator or logical connective in mathematical logic * Operator (mathematics), mapping that acts on elements of a space to produce elements of another sp ...
acting on a given space of
sequence In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is cal ...
s (a
sequence space In functional analysis and related areas of mathematics, a sequence space is a vector space whose elements are infinite sequences of real or complex numbers. Equivalently, it is a function space whose elements are functions from the natural num ...
). Sequence transformations include
linear mapping In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a Map (mathematics), mapping V \to W between two vec ...
s such as
discrete convolution In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions f and g that produces a third function f*g, as the integral of the product of the two ...
with another sequence and
resummation In mathematics and theoretical physics, resummation is a procedure to obtain a finite result from a divergent sum (series) of functions. Resummation involves a definition of another (convergent) function in which the individual terms defining the ...
of a sequence and nonlinear mappings, more generally. They are commonly used for
series acceleration Series may refer to: People with the name * Caroline Series (born 1951), English mathematician, daughter of George Series * George Series (1920–1995), English physicist Arts, entertainment, and media Music * Series, the ordered sets used ...
, that is, for improving the
rate of convergence In mathematical analysis, particularly numerical analysis, the rate of convergence and order of convergence of a sequence that converges to a limit are any of several characterizations of how quickly that sequence approaches its limit. These are ...
of a slowly convergent sequence or
series Series may refer to: People with the name * Caroline Series (born 1951), English mathematician, daughter of George Series * George Series (1920–1995), English physicist Arts, entertainment, and media Music * Series, the ordered sets used i ...
. Sequence transformations are also commonly used to compute the
antilimit In mathematics, the antilimit is the equivalent of a limit for a divergent series. The concept not necessarily unique or well-defined, but the general idea is to find a formula for a series and then evaluate it outside its radius of convergence. ...
of a
divergent series In mathematics, a divergent series is an infinite series that is not convergent, meaning that the infinite sequence of the partial sums of the series does not have a finite limit. If a series converges, the individual terms of the series mus ...
numerically, and are used in conjunction with
extrapolation methods In mathematics, extrapolation is a type of estimation, beyond the original observation range, of the value of a variable on the basis of its relationship with another variable. It is similar to interpolation, which produces estimates between know ...
. Classical examples for sequence transformations include the
binomial transform In combinatorics, the binomial transform is a sequence transformation (i.e., a transform of a sequence) that computes its forward differences. It is closely related to the Euler transform, which is the result of applying the binomial transform to ...
,
Möbius transform Moebius, Mœbius, Möbius or Mobius may refer to: People * August Ferdinand Möbius (1790–1868), German mathematician and astronomer * Friedrich Möbius (art historian) (1928–2024), German art historian and architectural historian * Theodor ...
, and
Stirling transform In combinatorial mathematics, the Stirling transform of a sequence of numbers is the sequence given by :b_n=\sum_^n \left\ a_k, where \left\ is the Stirling number of the second kind, which is the number of partitions of a set of size n into k ...
.


Definitions

For a given sequence :(s_n)_,\, and a sequence transformation \mathbf, the sequence resulting from transformation by \mathbf is :\mathbf( ( s_n ) ) = ( s'_n )_, where the elements of the transformed sequence are usually computed from some finite number of members of the original sequence, for instance :s_n' = T_n(s_n,s_,\dots,s_) for some natural number k_n for each n and a
multivariate function In mathematics, a function from a set to a set assigns to each element of exactly one element of .; the words ''map'', ''mapping'', ''transformation'', ''correspondence'', and ''operator'' are sometimes used synonymously. The set is called ...
T_n of k_n + 1 variables for each n. See for instance the
binomial transform In combinatorics, the binomial transform is a sequence transformation (i.e., a transform of a sequence) that computes its forward differences. It is closely related to the Euler transform, which is the result of applying the binomial transform to ...
and
Aitken's delta-squared process In numerical analysis, Aitken's delta-squared process or Aitken extrapolation is a series acceleration method used for accelerating the rate of convergence of a sequence. It is named after Alexander Aitken, who introduced this method in 1926 as ...
. In the simplest case the elements of the sequences, the s_n and s'_n, are
real Real may refer to: Currencies * Argentine real * Brazilian real (R$) * Central American Republic real * Mexican real * Portuguese real * Spanish real * Spanish colonial real Nature and science * Reality, the state of things as they exist, rathe ...
or
complex number In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
s. More generally, they may be elements of some
vector space In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...
or
algebra Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic ope ...
. If the multivariate functions T_n are
linear In mathematics, the term ''linear'' is used in two distinct senses for two different properties: * linearity of a '' function'' (or '' mapping''); * linearity of a '' polynomial''. An example of a linear function is the function defined by f(x) ...
in each of their arguments for each value of n, for instance if :s'_n=\sum_^ c_ s_ for some constants k_n and c_,\dots,c_ for each n, then the sequence transformation \mathbf is called a linear sequence transformation. Sequence transformations that are not linear are called nonlinear sequence transformations. In the context of
series acceleration Series may refer to: People with the name * Caroline Series (born 1951), English mathematician, daughter of George Series * George Series (1920–1995), English physicist Arts, entertainment, and media Music * Series, the ordered sets used ...
, when the original sequence (s_n) and the transformed sequence (s'_n) share the same limit \ell as n \rightarrow \infty, the transformed sequence is said to have a faster
rate of convergence In mathematical analysis, particularly numerical analysis, the rate of convergence and order of convergence of a sequence that converges to a limit are any of several characterizations of how quickly that sequence approaches its limit. These are ...
than the original sequence if :\lim_ \frac = 0. If the original sequence is divergent, the sequence transformation may act as an
extrapolation method In mathematics, extrapolation is a type of estimation, beyond the original observation range, of the value of a variable on the basis of its relationship with another variable. It is similar to interpolation, which produces estimates between know ...
to an
antilimit In mathematics, the antilimit is the equivalent of a limit for a divergent series. The concept not necessarily unique or well-defined, but the general idea is to find a formula for a series and then evaluate it outside its radius of convergence. ...
\ell.


Examples

The simplest examples of sequence transformations include shifting all elements by an integer k that does not depend on n, s'_n = s_ if n + k \geq 0 and 0 otherwise, and
scalar multiplication In mathematics, scalar multiplication is one of the basic operations defining a vector space in linear algebra (or more generally, a module in abstract algebra). In common geometrical contexts, scalar multiplication of a real Euclidean vector ...
of the sequence some constant c that does not depend on n, s'_n = c s_{n}. These are both examples of linear sequence transformations. Less trivial examples include the
discrete convolution In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions f and g that produces a third function f*g, as the integral of the product of the two ...
of sequences with another reference sequence. A particularly basic example is the
difference operator In mathematics, a recurrence relation is an equation according to which the nth term of a sequence of numbers is equal to some combination of the previous terms. Often, only k previous terms of the sequence appear in the equation, for a parameter ...
, which is convolution with the sequence (-1,1,0,\ldots) and is a discrete analog of the
derivative In mathematics, the derivative is a fundamental tool that quantifies the sensitivity to change of a function's output with respect to its input. The derivative of a function of a single variable at a chosen input value, when it exists, is t ...
; technically the shift operator and scalar multiplication can also be written as trivial discrete convolutions. The
binomial transform In combinatorics, the binomial transform is a sequence transformation (i.e., a transform of a sequence) that computes its forward differences. It is closely related to the Euler transform, which is the result of applying the binomial transform to ...
and the
Stirling transform In combinatorial mathematics, the Stirling transform of a sequence of numbers is the sequence given by :b_n=\sum_^n \left\ a_k, where \left\ is the Stirling number of the second kind, which is the number of partitions of a set of size n into k ...
are two linear transformations of a more general type. An example of a nonlinear sequence transformation is
Aitken's delta-squared process In numerical analysis, Aitken's delta-squared process or Aitken extrapolation is a series acceleration method used for accelerating the rate of convergence of a sequence. It is named after Alexander Aitken, who introduced this method in 1926 as ...
, used to improve the
rate of convergence In mathematical analysis, particularly numerical analysis, the rate of convergence and order of convergence of a sequence that converges to a limit are any of several characterizations of how quickly that sequence approaches its limit. These are ...
of a slowly convergent sequence. An extended form of this is the
Shanks transformation In numerical analysis, the Shanks transformation is a non-linear series acceleration method to increase the rate of convergence of a sequence. This method is named after Daniel Shanks, who rediscovered this sequence transformation in 1955. It was fi ...
. The
Möbius transform Moebius, Mœbius, Möbius or Mobius may refer to: People * August Ferdinand Möbius (1790–1868), German mathematician and astronomer * Friedrich Möbius (art historian) (1928–2024), German art historian and architectural historian * Theodor ...
is also a nonlinear transformation, only possible for
integer sequence In mathematics, an integer sequence is a sequence (i.e., an ordered list) of integers. An integer sequence may be specified ''explicitly'' by giving a formula for its ''n''th term, or ''implicitly'' by giving a relationship between its terms. For ...
s.


See also

*
Aitken's delta-squared process In numerical analysis, Aitken's delta-squared process or Aitken extrapolation is a series acceleration method used for accelerating the rate of convergence of a sequence. It is named after Alexander Aitken, who introduced this method in 1926 as ...
*
Minimum polynomial extrapolation In mathematics, minimum polynomial extrapolation is a sequence transformation used for convergence acceleration of vector sequences, due to Cabay and Jackson. While Aitken's method is the most famous, it often fails for vector sequences. An effec ...
*
Richardson extrapolation In numerical analysis, Richardson extrapolation is a Series acceleration, sequence acceleration method used to improve the rate of convergence of a sequence of estimates of some value A^\ast = \lim_ A(h). In essence, given the value of A(h) for se ...
*
Series acceleration Series may refer to: People with the name * Caroline Series (born 1951), English mathematician, daughter of George Series * George Series (1920–1995), English physicist Arts, entertainment, and media Music * Series, the ordered sets used ...
*
Steffensen's method In numerical analysis, Steffensen's method is an iterative method for numerical root-finding named after Johan Frederik Steffensen that is similar to the secant method and to Newton's method. Steffensen's method achieves a quadratic order of co ...


References

*Hugh J. Hamilton,
Mertens' Theorem and Sequence Transformations
, AMS (1947)


External links



a subpage of the
On-Line Encyclopedia of Integer Sequences The On-Line Encyclopedia of Integer Sequences (OEIS) is an online database of integer sequences. It was created and maintained by Neil Sloane while researching at AT&T Labs. He transferred the intellectual property and hosting of the OEIS to th ...
Series (mathematics) Asymptotic analysis Perturbation theory