- Appell sequence
In
mathematics , an Appell sequence, named afterPaul Émile Appell , is anypolynomial sequence {"p""n"("x")}"n" = 0, 1, 2, ... satisfying the identity:
and in which "p"0("x") is a non-zero constant.
Examples
Among the most notable Appell sequences besides the trivial example { "x""n" } are the
Hermite polynomials , theBernoulli polynomials , and theEuler polynomials .Properties and characterizations
heffer sequences
Every Appell sequence is a
Sheffer sequence , but most Sheffer sequences are not Appell sequences.everal equivalent characterizations of Appell sequences
The following conditions on polynomial sequences can easily be seen to be equivalent:
* For "n" = 1, 2, 3, ...,
::
:and "p"0("x") is a non-zero constant;
* For some sequence {"c""n"}"n" = 0, 1, 2, ... of scalars with "c"0 ≠ 0,
::
* For the same sequence of scalars,
::
:where
::
* For "n" = 0, 1, 2, ...,
::
Recursion formula
Suppose
:
where the last equality is taken to define the linear operator "S" on the space of polynomials in "x". Let
:
be the inverse operator, the coefficients "a""k" being those of the usual reciprocal of a
formal power series , so that:
In the conventions of the
umbral calculus , one often treats this formal power series "T" as representing the Appell sequence {"p""n"}. One can define:
by using the usual power series expansion of the log(1 + "x") and the usual definition of composition of formal power series. Then we have
:
(This formal differentiation of a power series in the differential operator "D" is an instance of Pincherle differentiation.)
In the case of
Hermite polynomials , this reduces to the conventional recursion formula for that sequence.ubgroup of the Sheffer polynomials
The set of all Appell sequences is closed under the operation of umbral composition of polynomial sequences, defined as follows. Suppose { "p""n"(x) : "n" = 0, 1, 2, 3, ... } and { "q""n"(x) : "n" = 0, 1, 2, 3, ... } are polynomial sequences, given by
:
Then the umbral composition "p" o "q" is the polynomial sequence whose "n"th term is
:
(the subscript "n" appears in "p""n", since this is the "n" term of that sequence, but not in "q", since this refers to the sequence as a whole rather than one of its terms).
Under this operation, the set of all Sheffer sequences is a
non-abelian group , but the set of all Appell sequences is an abeliansubgroup . That it is abelian can be seen by considering the fact that every Appell sequence is of the form:
and that umbral composition of Appell sequences corresponds to multiplication of these
formal power series in the operator "D".A different convention
Another convention followed by some authors (see "Chihara") defines this concept in a different way, conflicting with Appell's original definition, by using the identity
:
instead.
ee also
*
Sheffer sequence
*Umbral calculus
*Generalized Appell polynomials
*Wick product References
* Paul Appell, "Sur une classe de polynômes", "Annales scientifiques de l'
École Normale Supérieure 2e série", tome 9, 1880.
* Steven Roman and Gian-Carlo Rota, "The Umbral Calculus", "Advances in Mathematics", volume 27, pages 95 - 188, (1978).
* G.-C. Rota, D. Kahaner, and A. Odlyzko, "Finite Operator Calculus," Journal of Mathematical Analysis and its Applications, vol. 42, no. 3, June 1973. Reprinted in the book with the same title, Academic Press, New York, 1975.
*
*External links
* [http://mathworld.wolfram.com/AppellSequence.html Appell Sequence] at
MathWorld
Wikimedia Foundation. 2010.