About the Project
26 Combinatorial AnalysisProperties

§26.8 Set Partitions: Stirling Numbers

Contents
  1. §26.8(i) Definitions
  2. §26.8(ii) Generating Functions
  3. §26.8(iii) Special Values
  4. §26.8(iv) Recurrence Relations
  5. §26.8(v) Identities
  6. §26.8(vi) Relations to Bernoulli Numbers
  7. §26.8(vii) Asymptotic Approximations

§26.8(i) Definitions

s\left(n,k\right) denotes the Stirling number of the first kind: (-1)^{n-k} times the number of permutations of \{1,2,\ldots,n\} with exactly k cycles. See Table 26.8.1.

26.8.1 s\left(n,n\right)=1,n\geq 0,
26.8.2 s\left(1,k\right)=\delta_{1,k},
26.8.3 (-1)^{n-k}s\left(n,k\right)=\sum_{1\leq b_{1}<\cdots<b_{n-k}\leq n-1}b_{1}b_{2%
}\cdots b_{n-k},n>k\geq 1.

S\left(n,k\right) denotes the Stirling number of the second kind: the number of partitions of \{1,2,\ldots,n\} into exactly k nonempty subsets. See Table 26.8.2.

26.8.4 S\left(n,n\right)=1,n\geq 0,
26.8.5 S\left(n,k\right)=\sum 1^{c_{1}}2^{c_{2}}\cdots k^{c_{k}},

where the summation is over all nonnegative integers c_{1},c_{2},\ldots,c_{k} such that c_{1}+c_{2}+\cdots+c_{k}=n-k.

Table 26.8.1: Stirling numbers of the first kind s\left(n,k\right).
n k
0 1 2 3 4 5 6 7 8 9 10
0 1
1 0 1
2 0 −1 1
3 0 2 −3 1
4 0 −6 11 −6 1
5 0 24 −50 35 −10 1
6 0 −120 274 −225 85 −15 1
7 0 720 −1764 1624 −735 175 −21 1
8 0 −5040 13068 −13132 6769 −1960 322 −28 1
9 0 40320 −1 09584 1 18124 −67284 22449 −4536 546 −36 1
10 0 −3 62880 10 26576 −11 72700 7 23680 −2 69325 63273 −9450 870 −45 1
Table 26.8.2: Stirling numbers of the second kind S\left(n,k\right).
n k
0 1 2 3 4 5 6 7 8 9 10
0 1
1 0 1
2 0 1 1
3 0 1 3 1
4 0 1 7 6 1
5 0 1 15 25 10 1
6 0 1 31 90 65 15 1
7 0 1 63 301 350 140 21 1
8 0 1 127 966 1701 1050 266 28 1
9 0 1 255 3025 7770 6951 2646 462 36 1
10 0 1 511 9330 34105 42525 22827 5880 750 45 1

§26.8(ii) Generating Functions

26.8.7 \sum_{k=0}^{n}s\left(n,k\right)x^{k}={\left(x-n+1\right)_{n}},

where {\left(x\right)_{n}} is the Pochhammer symbol: x(x+1)\cdots(x+n-1).

26.8.10 \sum_{k=1}^{n}S\left(n,k\right){\left(x-k+1\right)_{k}}=x^{n},
26.8.11 \sum_{n=0}^{\infty}S\left(n,k\right)\,x^{n}=\frac{x^{k}}{(1-x)(1-2x)\cdots(1-%
kx)},|x|<1/k,

§26.8(iii) Special Values

For n\geq 1,

26.8.14
s\left(n,0\right)=0,
s\left(n,1\right)=(-1)^{n-1}(n-1)!,
26.8.15 s\left(n,2\right)=(-1)^{n}(n-1)!\left(1+\frac{1}{2}+\cdots+\frac{1}{n-1}\right),
26.8.17
S\left(n,0\right)=0,
S\left(n,1\right)=1,
S\left(n,2\right)=2^{n-1}-1.

§26.8(iv) Recurrence Relations

26.8.18 s\left(n,k\right)=s\left(n-1,k-1\right)-(n-1)s\left(n-1,k\right),
26.8.22 S\left(n,k\right)=kS\left(n-1,k\right)+S\left(n-1,k-1\right),

§26.8(v) Identities

26.8.28 \sum_{k=1}^{n}s\left(n,k\right)=0,n>1,
26.8.29 \sum_{k=1}^{n}(-1)^{n-k}s\left(n,k\right)=n!,
26.8.30 \sum_{j=k}^{n}s\left(n+1,j+1\right)\,n^{j-k}=s\left(n,k\right).

when f(x) is analytic for all x, and the series converges, where

26.8.32 \Delta f(x)=f(x+1)-f(x);

see also §3.6(i).

26.8.36 \sum_{k=0}^{n}(-1)^{n-k}k!S\left(n,k\right)=1.

when f(x) is analytic for all x, and the series converges.

Let A and B be the n\times n matrices with (j,k)th elements s\left(j,k\right), and S\left(j,k\right), respectively. Then

26.8.38 A^{-1}=B.

§26.8(vi) Relations to Bernoulli Numbers

See §24.15(iii).

§26.8(vii) Asymptotic Approximations

For asymptotic approximations for s\left(n+1,k+1\right) and S\left(n,k\right) that apply uniformly for 1\leq k\leq n as n\to\infty see Temme (1993) and Temme (2015, Chapter 34).

For other asymptotic approximations and also expansions see Moser and Wyman (1958a) for Stirling numbers of the first kind, and Moser and Wyman (1958b), Bleick and Wang (1974) for Stirling numbers of the second kind.

For asymptotic estimates for generalized Stirling numbers see Chelluri et al. (2000).