Nepedia
Back to Discover
Advanced Reader
🔢

Stirling number

math Maturity 11-13 Next article →

Stirling numbers are essential tools in combinatorics and mathematical analysis. They serve as coefficients that relate different sequences of polynomials to one another. These numbers allow mathematicians to translate between different ways of expressing mathematical structures. This process is vital for solving complex problems involving counting, grouping, and summation. By using Stirling numbers, one can simplify complicated expressions into more manageable forms.

The core mechanism of Stirling numbers involves the partitioning of sets. Imagine you have a set of $n$ distinct elements that you want to organize into $k$ non-empty subsets. The specific type of Stirling number you use depends on how you order the elements within those subsets. If there is no order within the subsets, you are using Stirling numbers of the second kind. If the elements are arranged in a cyclical order, you are using Stirling numbers of the first kind. If the elements are placed in a linear order, you are using Lah numbers, often called Stirling numbers of the third kind.

There are two primary types of Stirling numbers used in most calculations. The Stirling numbers of the first kind, denoted as $s(n, k)$, relate to permutations and cycles. Specifically, the unsigned version counts how many ways $n$ elements can be arranged into $k$ disjoint cycles. The Stirling numbers of the second kind, denoted as $S(n, k)$, count the ways to partition $n$ elements into $k$ non-empty, unordered subsets. These two kinds are mathematically linked through an inverse relationship. If you arrange them into lower triangular matrices, one matrix is the inverse of the other.

History shows that these numbers emerged through different mathematical traditions. James Stirling introduced them in an algebraic context in his 1730 book, *Methodus differentialis*. Later, in 1782, Masanobu Saka rediscovered them and provided a combinatorial meaning in his work, *Sanpō-Gakkai*. In 1935, Jovan Karamata introduced a notation using brackets to represent these numbers. This notation was later promoted by Donald Knuth. Today, various notations exist, including those used by Abramowitz and Stegun, which utilize uppercase and blackletter symbols.

The significance of these numbers is most visible when expanding factorials into polynomials. A falling factorial is a polynomial of degree $n$ that can be expressed using Stirling numbers of the first kind as coefficients. Conversely, a rising factorial can be expanded using unsigned Stirling numbers of the first kind. Stirling numbers of the second kind perform the reverse operation, expressing falling factorials in terms of standard power sequences. This ability to act as a "change of basis" is a powerful property in vector space theory.

Stirling numbers as polynomial basis change
Stirling numbers as polynomial basis change

One practical example of this utility is in the calculation of power sums. Summing the fourth powers of integers up to $n$ can be very difficult using standard formulas like Faulhaber's formula. However, by expressing the polynomial in the basis of falling factorials, the task becomes much simpler. This is because the sum of a falling factorial with a fixed $k$ can be expressed as another falling factorial. This method relies on the principle of induction to prove its efficiency.

Stirling numbers also connect to broader mathematical systems through generating functions and matrix algebra. They relate to the Stirling transform, which connects two different sequences through finite sums. They also have deep connections to differential operators, specifically relating forward differences to ordinary derivatives. In advanced studies, these numbers can even be extended to negative integers. This extension allows mathematicians to explore even more complex patterns in number theory and algebraic combinatorics.

581 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

🖼️ Images & Media (1)
File:Stirling numbers as polynomial basis change.svg
Stirling numbers as polynomial basis change.svg
More to explore

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.