Sheffer sequence

In mathematics, a polynomial sequence, i.e., a sequence { pn(x) : n = 0, 1, 2, 3, ... } of polynomials in which the index of each polynomial equals its degree, is a Sheffer sequence (from Isadore M. Sheffer) if the linear operator Q on polynomials in x defined by

Related Topics:
Mathematics - Polynomial sequence - Polynomial - Isadore M. Sheffer

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:Qpn(x) = npn−1(x)

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

is shift-equivariant. To say that Q is shift-equivariant means that if f(x) = g(x + a) is a "shift" of g(x), then (Qf)(x) = (Qg)(x + a), i.e., Q commutes with every "shift operator".

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

The set of all Sheffer sequences is a group under the operation of umbral composition of polynomial sequences, defined as follows. Suppose { pn(x) : n = 0, 1, 2, 3, ... } and { qn(x) : n = 0, 1, 2, 3, ... } are polynomial sequences, and

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:p_n(x)=sum_{k=0}^n a_{n,k}x^k.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Then the umbral composition p o q is the polynomial sequence whose nth term is

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:(p_ncirc q)(x)=sum_{k=0}^n a_{n,k}q_k(x).

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Two important subgroups are the group of Appell sequences, which are those sequences for which the operator Q is differentiation, and the group of sequences of binomial type, which are those that satisfy the identity

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:p_n(x+y)=sum_{k=0}^n{n choose k}p_k(x)p_{n-k}(y).

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

A Sheffer sequence { pn(x): n = 0, 1, 2, ... } is of binomial type if and only if both

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:p0(x) = 1

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

and

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:pn(0) = 0 for n at least 1.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

The group of Appell sequences is abelian; the group of sequences of binomial type is not. The group of Appell sequences is a normal subgroup; the group of sequences of binomial type is not. The group of Sheffer sequences is a semidirect product of the group of Appell sequences and the group of sequences of binomial type. It follows that each coset of the group of Appell sequences contains exactly one sequence of binomial type. Two Sheffer sequences are in the same such coset if and only if the operator Q described above -- called the "delta operator" of that sequence -- is the same linear operator in both cases. (Generally, a delta operator is a shift-equivariant linear operator on polynomials that reduces degree by one. The term is due to F. Hildebrandt.)

Related Topics:
Abelian - Normal subgroup - Semidirect product - Coset - Delta operator

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

If sn(x) is a Sheffer sequence and pn(x) is the one sequence of binomial type that shares the same delta operator, then

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:s_n(x+y)=sum_{k=0}^n{n choose k}p_k(x)s_{n-k}(y).

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Sometimes the term Sheffer sequence is defined to mean a sequence that bears this relation to some sequence of binomial type.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

In particular, if { sn(x) } is an Appell sequence, then

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:s_n(x+y)=sum_{k=0}^n{n choose k}x^ks_{n-k}(y).

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

The sequence of Hermite polynomials, the sequence of Bernoulli polynomials, and the sequence { xn : n = 0, 1, 2, ... } are examples of Appell sequences.

Related Topics:
Hermite polynomials - Bernoulli polynomials

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

The article on generalized Appell polynomials gives a generating function and recurrence relation for the Sheffer polynomials.

Related Topics:
Generalized Appell polynomials - Generating function - Recurrence relation

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Some of the results above first appeared in the paper referred to below.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~