Stirling polynomials

This article includes a list of references, but its sources remain unclear because it has insufficient inline citations. Please help to improve this article by introducing more precise citations. (December 2014) (Learn how and when to remove this template message)

|

In mathematics, the Stirling polynomials are a family of polynomials that generalize important sequences of numbers appearing in combinatorics and analysis, which are closely related to the Stirling numbers, the Bernoulli numbers, and the generalized Bernoulli polynomials. There are multiple variants of the Stirling polynomial sequence considered below most notably including the Sheffer sequence form of the sequence, Sk(x), defined characteristically through the special form of its exponential generating function, and the Stirling (convolution) polynomials, σn(x), which also satisfy a characteristic ordinary generating function and that are of use in generalizing the Stirling numbers (of both kinds) to arbitrary complex-valued inputs. We consider the "convolution polynomial" variant of this sequence and its properties second in the last subsection of the article. Still other variants of the Stirling polynomials are studied in the supplementary links to the articles given in the references.

## Contents

* 1 Definition and examples
* 2 Properties
* 3 Stirling convolution polynomials
* 3.1 Definition and examples
* 3.2 Generating functions
* 3.3 Properties and relations
* 4 See also
* 5 References
* 6 External links

## Definition and examples

For nonnegative integers k, the Stirling polynomials, Sk(x), are a Sheffer sequence for (g(t),f¯(t)):=(e−t,log⁡(t1−e−t)) [1] defined by the exponential generating function

(t1−e−t)x+1=∑k=0∞Sk(x)tkk!.

The Stirling polynomials are a special case of the Nørlund polynomials (or generalized Bernoulli polynomials) [2] each with exponential generating function

(tet−1)aezt=∑k=0∞Bk(a)(z)tkk!,

given by the relation Sk(x)=Bk(x+1)(x+1).

The first 10 Stirling polynomials are given in the following table:

k | Sk(x)

|

0 | 1
1 | 12(x+1)
2 | 112(3x2+5x+2)
3 | 18(x3+2x2+x)
4 | 1240(15x4+30x3+5x2−18x−8)
5 | 196(3x5+5x4−5x3−13x2−6x)
6 | 14032(63x6+63x5−315x4−539x3−84x2+236x+96)
7 | 11152(9x7−84x5−98x4+91x3+194x2+80x)
8 | 134560(135x8−180x7−1890x6−840x5+6055x4+8140x3+884x2−3088x−1152)
9 | 17680(15x9−45x8−270x7+182x6+1687x5+1395x4−1576x3−2684x2−1008x)

Yet another variant of the Stirling polynomials is considered in [3] (see also the subsection on Stirling convolution polynomials below). In particular, the article by I. Gessel and R. P. Stanley defines the modified Stirling polynomial sequences, fk(n):=S(n+k,n) and gk(n):=c(n,n−k) where c(n,k):=(−1)n−ks(n,k) are the unsigned Stirling numbers of the first kind, in terms of the two Stirling number triangles for non-negative integers n≥1, k≥0. For fixed k≥0, both fk(n) and gk(n) are polynomials of the input n∈ℤ+ each of degree 2k and with leading coefficient given by the double factorial term (1⋅3⋅5⋯(2k−1))/(2k)!.

## Properties

Below Bk(x) denote the Bernoulli polynomials and Bk=Bk(0) the Bernoulli numbers under the convention B1=B1(0)=−12; sm,n denotes a Stirling number of the first kind; and Sm,n denotes Stirling numbers of the second kind.

* Special values: Sk(−m)=(−1)k(k+m−1k)Sk+m−1,m−10<m∈ℤSk(−1)=δk,0Sk(0)=(−1)kBkSk(1)=(−1)k+1((k−1)Bk+kBk−1)Sk(2)=(−1)k2((k−1)(k−2)Bk+3k(k−2)Bk−1+2k(k−1)Bk−2)Sk(k)=k!
* If m∈ℕ and m<k then: Sk(m)=(m+1)(km+1)∑j=0m(−1)m−jsm+1,m+1−jBk−jk−j.
* If m∈ℕ and m≥k then:[4] Sk(m)=(−1)kBk(m+1)(0), and: Sk(m)=(−1)k(mk)sm+1,m+1−k.

* The sequence Sk(x−1) is of binomial type, since Sk(x+y−1)=∑i=0k(ki)Si(x−1)Sk−i(y−1). Moreover, this basic recursion holds: Sk(x)=(x−k)Sk(x−1)x+kSk−1(x+1).
* Explicit representations involving Stirling numbers can be deduced with Lagrange's interpolation formula: Sk(x)=∑n=0k(−1)k−nSk+n,n(x+nn)(x+k+1k−n)(k+nn)=∑n=0k(−1)nsk+n+1,n+1(x−kn)(x−k−n−1k−n)(k+nk)=k!∑j=0k(−1)k−j∑m=jk(x+mm)(mj)Lk+m(−k−j)(−j) Here, Ln(α) are Laguerre polynomials.
* The following relations hold as well: (k+mk)Sk(x−m)=∑i=0k(−1)k−i(k+mi)Sk−i+m,m⋅Si(x), (k−mk)Sk(x+m)=∑i=0k(k−mi)sm,m−k+i⋅Si(x).
* By differentiating the generating function it readily follows that Sk′(x)=−∑j=0k−1(kj)Sj(x)Bk−jk−j.

## Stirling convolution polynomials

### Definition and examples

Another variant of the Stirling polynomial sequence corresponds to a special case of the convolution polynomials studied by Knuth's article [5] and in the Concrete Mathematics reference. We first define these polynomials through the Stirling numbers of the first kind as

σn(x)=[xx−n]⋅1x(x−1)⋯(x−n).

It follows that these polynomials satisfy the next recurrence relation given by

(x+1)σn(x+1)=(x−n)σn(x)+xσn−1(x), n≥1.

These Stirling "convolution" polynomials may be used to define the Stirling numbers, [xx−n] and {xx−n}, for integers n≥0 and arbitrary complex values of x. The next table provides several special cases of these Stirling polynomials for the first few n≥0.

n | σn(x)

|

0 | 1x
1 | 12
2 | 124(3x−1)
3 | 148(x2−x)
4 | 15760(15x3−30x2+5x+2)
5 | 111520(3x4−10x3+5x2+2x)
6 | 12903040(63x5−315x4+315x3+91x2−42x−16)
7 | 15806080(9x6−63x5+105x4+7x3−42x2−16x)
8 | 11393459200(135x7−1260x6+3150x5−840x4−2345x3−540x2+404x+144)
9 | 12786918400(15x8−180x7+630x6−448x5−665x4+100x3+404x2+144x)
10 | 1367873228800(99x9−1485x8+6930x7−8778x6−8085x5+8195x4+11792x3+2068x2−2288x−768)

### Generating functions

This variant of the Stirling polynomial sequence has particularly nice ordinary generating functions of the following forms:

(zezez−1)x=∑n≥0xσn(x)zn(1zln⁡11−z)x=∑n≥0xσn(x+n)zn.

More generally, if 𝒮t(z) is a power series that satisfies ln⁡(1−z𝒮t(z)t−1)=−z𝒮t(z)t, we have that

𝒮t(z)x=∑n≥0xσn(x+tn)zn.

We also have the related series identity [6]

∑n≥0(−1)n−1σn(n−1)zn=zln⁡(1+z)=1+z2−z212+⋯,

and the Stirling (Sheffer) polynomial related generating functions given by

∑n≥0(−1)n+1m⋅σn(n−m)zn=(zln⁡(1+z))m

∑n≥0(−1)n+1m⋅σn(m)zn=(z1−e−z)m.

### Properties and relations

For integers 0≤k≤n and r,s∈ℂ, these polynomials satisfy the two Stirling convolution formulas given by

(r+s)σn(r+s+tn)=rs∑k=0nσk(r+tk)σn−k(s+t(n−k))

and

nσn(r+s+tn)=s∑k=0nkσk(r+tk)σn−k(s+t(n−k)).

When n,m∈ℕ, we also have that the polynomials, σn(m), are defined through their relations to the Stirling numbers

{nm}=(−1)n−m+1n!(m−1)!σn−m(−m) (when m<0)[nm]=n!(m−1)!σn−m(n) (when m>n),

and their relations to the Bernoulli numbers given by

σn(m)=(−1)m+n−1m!(n−m)!∑0≤k<m[mm−k]Bn−kn−k, n≥m>0σn(m)=−Bnn⋅n!, m=0.

## See also

* Bernoulli polynomials
* Bernoulli polynomials of the second kind
* Sheffer and Appell sequences
* Difference polynomials
* Special polynomial generating functions
* Gregory coefficients

## References

1. ↑ See section 4.8.8 of The Umbral Calculus (1984) reference linked below.
2. ↑ See Norlund polynomials on MathWorld.
3. ↑ Gessel; Stanley (1978). "Stirling polynomials". J. Combin. Theory Ser. A 53: 24–33. doi:10.1016/0097-3165(78)90042-0.
4. ↑ Section 4.4.8 of The Umbral Calculus.
5. ↑ Knuth, D. E. (1992). "Convolution Polynomials". Mathematica J. 2: 67–78. Bibcode: 1992math......7221K. The article contains definitions and properties of special convolution polynomial families defined by special generating functions of the form F(z)x for F(0)=1. Special cases of these convolution polynomial sequences include the binomial power series, ℬt(z)=1+zℬt(z)t, so-termed tree polynomials, the Bell numbers, B(n), and the Laguerre polynomials. For Fn(x):=[zn]F(z)x, the polynomials n!⋅Fn(x) are said to be of binomial type, and moreover, satisfy the generating function relation zFn(x+tn)(x+tn)=[zn]ℱt(z)x for all t∈ℂ, where ℱt(z) is implicitly defined by a functional equation of the form ℱt(z)=F(xℱt(z)t). The article also discusses asymptotic approximations and methods applied to polynomial sequences of this type.
6. ↑ Section 7.4 of Concrete Mathematics.

* Erdeli, A.; Magnus, W.; Oberhettinger, F.; Tricomi, F. G.. Higher Transcendental Functions. Volume III. New York.
* Graham; Knuth; Patashnik (1994). Concrete Mathematics: A Foundation for Computer Science.
* S. Roman (1984). The Umbral Calculus.

## External links

* Weisstein, Eric W.. "Stirling Polynomial". http://mathworld.wolfram.com/StirlingPolynomial.html.
* Weisstein, Eric W.. "Nørlund Polynomial". http://mathworld.wolfram.com/NorlundPolynomial.html.
* This article incorporates material from Stirling polynomial on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Stirling polynomials. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Stirling_polynomials&oldid=4151764"