Stirling numbers of the first kind

In mathematics, Stirling numbers of the first kind, together with the Stirling numbers of the second kind, are one of the two types of Stirling numbers. They commonly occur in the study of combinatorics, where they count the number of permutations. The Stirling numbers of the first and second kind can be understood to be inverses of one-another, when taken as triangular matrices. This article is devoted to specifics of Stirling numbers of the first kind; further identities linking the two kinds, and general information, is given in the article on Stirling numbers.

Definition

Stirling numbers of the first kind

Stirling numbers of the first kind (without the qualifying adjective "unsigned") are the coefficients in the expansion

:$(x)\_\{(n)\}\; =\; sum\_\{k=0\}^n\; s(n,k)\; x^k.$

where $(x)\_\{(n)\}$ is the falling factorial

:$(x)\_\{(n)\}=x(x-1)(x-2)cdots(x-n+1).$

Unsigned Stirling numbers of the first kind

The unsigned Stirling numbers of the first kind

:$left\; [\{n\; atop\; k\}\; ight]\; =\; left|s(n,k)\; ight|\; =\; (-1)^\{n-k\}\; s(n,k),$

count the number of permutations of "n" elements with "k" disjoint cycles.Sometimes s(n,k) is defined as the unsigned Stirling numbers.

Table of values

Below is a table of values for the Stirling numbers of the first kind, similar in form to Pascal's triangle:

Recurrence relation

The Stirling numbers of the first kind obey the recurrence relation

:$left\; [\{n+1atop\; k\}\; ight]\; =\; n\; left\; [\{natop\; k\}\; ight]\; +\; left\; [\{natop\; k-1\}\; ight]$

for $k\; >\; 0$, with the initial conditions

:$left\; [\{natop\; 0\}\; ight]\; =delta\_\{n0\}\; quad\; mbox\{and\}\; quad\; left\; [\{0atop\; 1\}\; ight]\; =\; 0.$

Where $delta\_\{n0\}$ is the Kronecker delta.

The above follows from the recurrence relation on the falling factorials:

:$(x)\_\{n+1\}\; =\; x(x)\_n\; -\; n(x)\_n.$

imple identities

Note that although

:$left\; [\{0\; atop\; 0\}\; ight]\; =\; 1quadmbox\{we\; have\}quadleft\; [\{natop\; 0\}\; ight]\; =\; 0quad\; mbox\{if\}\; quad\; n\; >\; 0$

and

:$left\; [\{0atop\; k\}\; ight]\; =\; 0quadmbox\{if\}quad\; k\; >\; 0,quadmbox\{or\; more\; generally,\}quad\; left\; [\{natop\; k\}\; ight]\; =\; 0quadmbox\{if\}quad\; k>n.$

Also

:$left\; [\{n\; atop\; 1\}\; ight]\; =\; (-1)^\{n-1\}\; (n-1)!$

and

:$left\; [\{natop\; n\}\; ight]\; =\; 1,$

quad

left [{natop n-1} ight] = {n choose 2},

and

:$left\; [\{natop\; n-2\}\; ight]\; =\; frac\{1\}\{4\}\; (3n-1)\; \{n\; choose\; 3\}quadmbox\{\; and\; \}quadleft\; [\{natop\; n-3\}\; ight]\; =\; \{n\; choose\; 2\}\; \{n\; choose\; 4\}.$

Similar relationships involving the Stirling numbers hold for the Bernoulli polynomials. Many relations for the Stirling numbers shadow similar relations on the binomial coefficients. The study of these 'shadow relationships' is termed umbral calculus and culminates in the theory of Sheffer sequences.

Combinatorial proofs

These identities may be derived by enumerating permutations directly.For example, how many permutations on ["n"] are there that consist of "n" − 3 cycles?There are three possibilities:
* "n" − 6 fixed points and three two-cycles
* "n" − 5 fixed points, a three-cycle and a two-cycle, and
* "n" − 5 fixed points and a four-cycle.

We enumerate the three types, as follows:

* choose the six elements that go into the two-cycles, decompose them into two-cycles and take into account that the order of the cycles is not important:::$\{n\; choose\; 6\}\; \{6\; choose\; 2,\; 2,\; 2\}\; frac\{1\}\{6\}$
* choose the five elements that go into the three-cycle and the two-cycle, choose the elements of the three-cycle and take into account that three elements generate two three-cycles:::$\{n\; choose\; 5\}\; \{5\; choose\; 3\}\; imes\; 2$
* choose the four elements of the four-cycle and take into account that four elements generate six four-cycles:::$\{n\; choose\; 4\}\; imes\; 6.$

Sum the three contributions to obtain:$\{n\; choose\; 6\}\; \{6\; choose\; 2,\; 2,\; 2\}\; frac\{1\}\{6\}\; +\{n\; choose\; 5\}\; \{5\; choose\; 3\}\; imes\; 2\; +\{n\; choose\; 4\}\; imes\; 6\; =\{n\; choose\; 2\}\; \{n\; choose\; 4\}.$

Other relations

These include

:$left\; [\{natop\; 2\}\; ight]\; =\; (n-1)!;\; H\_\{n-1\},$

where "H"_"n" is a harmonic number, and

:$left\; [\{natop\; 3\}\; ight]\; =\; frac\{1\}\{2\}\; (n-1)!\; left\; [\; (H\_\{n-1\})^2\; -\; H\_\{n-1\}^\{(2)\}\; ight]$

where "H"_"n"^("m") is a generalized harmonic number. A generalization of this relation to harmonic numbers is given in a later section.

Generating function

A variety of identities may be derived by manipulating the generating function:

:$H(z,u)=\; (1+z)^u\; =\; sum\_\{n=0\}^infty\; \{u\; choose\; n\}\; z^n\; =\; sum\_\{n=0\}^infty\; frac\{z^n\}\{n!\}\; sum\_\{k=0\}^n\; left\; [\{natop\; k\}\; ight]\; u^k\; =\; sum\_\{k=0\}^infty\; u^k\; sum\_\{n=k\}^infty\; frac\; \{z^n\}\{n!\}\; left\; [\{natop\; k\}\; ight]\; =\; e^\{ulog(1+z)\}.$

In particular, the order of summation may be exchanged, and derivatives taken, and then "z" or "u" may be fixed.

Finite sums

A simple sum is

:$sum\_\{k=0\}^n\; left\; [\{natop\; k\}\; ight]\; =\; n!$

or in a more general relationship,

:$sum\_\{k=0\}^a\; left\; [\{natop\; k\}\; ight]\; =\; n!\; -\; sum\_\{k=0\}^n\; left\; [\{natop\; k+a+1\}\; ight]\; .$

The identity:is proved on the page about
Stirling numbers and exponential generating functions.

Infinite sums

Some infinite sums include

:$sum\_\{n=k\}^infty\; (-1)^\{n-k\}\; left\; [\{natop\; k\}\; ight]\; frac\{z^n\}\{n!\}\; =\; frac\{left(log\; (1+z)\; ight)^k\}\{k!\}$

where |"z"| < 1 (the singularity nearest to "z" = 0 of log(1 + "z") is at "z" = −1.)

Relation to harmonic numbers

Stirling numbers of the first kind can be expressed in terms of the harmonic numbers

:$H^\{(m)\}\_n=sum\_\{k=1\}^n\; frac\{1\}\{k^m\}$

as follows:

:$s(n,k)=(-1)^\{k-n\}\; frac\{Gamma(n)\}\{Gamma(k)\}w(n,k-1)$

where "w"("n", 0) = 1 and

:$w(n,k)=sum\_\{m=0\}^\{k-1\}frac\{Gamma(1-k+m)\}\{Gamma(1-k)\}H\_\{n-1\}^\{(m+1)\}\; w(n,k-1-m).$

In the above, $Gamma(x)$ is the Gamma function.

Enumerative interpretation

The absolute value of the Stirling number of the first kind, "s"("n", "k"), counts the number of permutations of "n" objects with exactly "k" orbits (equivalently, with exactly "k" cycles). For example, "s"(4, 2) = 11, corresponds to the fact that the symmetric group on 4 objects has 3 permutations of the form

: &mdash; 2 orbits of size 2 each

and 8 permutations of the form

: &mdash; 1 orbit of size 3, and 1 orbit of size 1

(see the entry on cycle notation for the meaning of the above expressions.)

Let us prove this. First, we can remark that the unsigned Stirling numbers of the first are characterized by the following recurrence relation:

:

To see why the above recurrence relation matches the count of permutations with "k" cycles, consider forming a permutation of "n" + 1 objects from a permutation of "n" objects by adding a distinguished object. There are exactly two ways in which this can be accomplished. We could do this by forming a singleton cycle, i.e. leaving the extra object alone. This accounts for the "s"("n", "k" − 1) term in the recurrence formula. We could also insert the new object into one of the existing cycles. Consider an arbitrary permutation of "n" objects with "k" cycles, and label the objects "a"₁, ..., "a"_"n", so that the permutation is represented by

:$displaystyleunderbrace\{(a\_1\; ldots\; a\_\{j\_1\})(a\_\{j\_1+1\}\; ldots\; a\_\{j\_2\})ldots(a\_\{j\_\{k-1\}+1\}\; ldots\; a\_n)\}\_\{\; k\; mathrm\{cycles.$

To form a new permutation of "n" + 1 objects and "k" cycles one must insert the new object into this array. There are, evidently "n" ways to perform this insertion. This explains the "n" "s"("n", "k") term of the recurrence relation. Q.E.D.

References

* The Art of Computer Programming
* Concrete Mathematics
* M. Abramowitz, I. Stegun (Eds.). "Stirling Numbers of the First Kind.", §24.1.3 in Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. New York: Dover, p. 824, 1972.
*.
*A008275 Triangle read by rows of Stirling numbers of first kind, s(n,k), n >= 1, 1<=k<=n. [http://www.research.att.com/~njas/sequences/A008275]