0 Bewertungen0% fanden dieses Dokument nützlich (0 Abstimmungen)

18 Ansichten10 Seiten© © All Rights Reserved

0 Bewertungen0% fanden dieses Dokument nützlich (0 Abstimmungen)

18 Ansichten10 SeitenSie sind auf Seite 1von 10

From Wikipedia, the free encyclopedia

In mathematics, especially in combinatorics, Stirling numbers of the first kind arise in the study of permutations. In particular, the Stirling numbers of the first kind count

permutations according to their number of cycles (counting fixed points as cycles of length one).

(The Stirling numbers of the first and second kind can be understood as inverses of one another when viewed as triangular matrices. This article is devoted to specifics of

Stirling numbers of the first kind. Identities linking the two kinds appear in the article on Stirling numbers in general.)

Contents

1 Definitions

1.1 Unsigned Stirling numbers of the first kind

1.2 Stirling numbers of the first kind

2 Recurrence relation

2.1 Algebraic proof

2.2 Combinatorial proof

3 Table of values for small n and k

4 Identities involving Stirling numbers of the first kind

4.1 Simple identities

4.1.1 Combinatorial proofs

4.2 Other relations

4.2.1 Expansions by harmonic numbers

4.2.2 Factorial-related sums

4.2.3 Inversion relations and the Stirling transform

4.2.4 Congruences

4.3 Generating functions

4.4 Asymptotics

4.5 Finite sums

4.6 Explicit formula

5 Generalizations

6 See also

7 References

Definitions

The original definition of Stirling numbers of the first kind was algebraic. These numbers, usually written s(n, k), are signed integers whose sign, positive or negative,

depends on the parity of n − k. Afterwards, the absolute values of these numbers, |s(n, k)|, which are known as unsigned Stirling numbers of the first kind, were found to

count permutations, so in combinatorics the (signed) Stirling numbers of the first kind, s(n, k), are often defined as counting numbers multiplied by a sign factor. That is the

approach taken on this page.

Most identities on this page are stated for unsigned Stirling numbers. Note that the notations on this page are not universal.

The unsigned Stirling numbers of the first kind are denoted in various ways by different authors. Common

notations are and . (The last is also common notation for the Gaussian coefficients.) They

count the number of permutations of n elements with k disjoint cycles. For example, of the permutations

of three elements, there is one permutation with three cycles (the identity permutation, given in one-line notation

by or in cycle notation by ), three permutations with two cycles ( , ,

and ) and two permutations with one cycle ( and ). Thus, ,

and .

As a second example, the image at right shows that : the symmetric group on 4 objects has 3

s(4,2)=11

permutations of the form

The unsigned Stirling numbers also arise as coefficients of the rising factorial, i.e.,

Thus, for example, , which matches the computations in the preceding paragraph.

https://en.wikipedia.org/wiki/Stirling_numbers_of_the_first_kind 1/10

6/9/2017 Stirling numbers of the first kind - Wikipedia

Stirling numbers of the first kind

Stirling numbers of the first kind (sometimes with the qualifying adjective signed) are given by

Note that

Recurrence relation

The unsigned Stirling numbers of the first kind can be calculated by the recurrence relation

for n > 0.

It follows immediately that the (signed) Stirling numbers of the first kind satisfy the recurrence

Algebraic proof

We prove the recurrence relation using the definition of Stirling numbers in terms of rising factorials. Distributing the last term of the product, we have

The coefficient of xk on the left-hand side of this equation is . The coefficient of xk in n(x)(n) is , while the coefficient of xk in x (x)(n) is . Since the

two sides are equal as polynomials, the coefficients of xk on both sides must be equal, and the result follows.

Combinatorial proof

We prove the recurrence relation using the definition of Stirling numbers in terms of permutations with a given number of cycles (or equivalently, orbits).

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 increases the number of cycles by 1 and so accounts for the

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 a1, ..., an, so that the permutation is represented by

To form a new permutation of n + 1 objects and k cycles one must insert the new object into this array. There are n ways to perform this insertion, inserting the new object

immediately following any of the n already present. This explains the term of the recurrence relation. These two cases include all possibilities, so the recurrence

relation follows.

Below is a triangular array of unsigned values for the Stirling numbers of the first kind, similar in form to Pascal's triangle. These values are easy to generate using the

recurrence relation in the previous section.

n\k 0 1 2 3 4 5 6 7 8 9

0 1

1 0 1

https://en.wikipedia.org/wiki/Stirling_numbers_of_the_first_kind 2/10

6/9/2017 Stirling numbers of the first kind - Wikipedia

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 109584 118124 67284 22449 4536 546 36 1

Simple identities

, we have if n > 0

and

Also

and

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. Generalizations of the Stirling numbers

of both kinds to arbitrary complex-valued inputs may be extended through the relations of these triangles to the Stirling convolution polynomials.[1]

Combinatorial proofs

These identities may be derived by enumerating permutations directly. For example, a permutation of n elements with n − 3 cycles must have one of the following forms:

n − 5 fixed points, a three-cycle and a two-cycle, or

n − 4 fixed points and a four-cycle.

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:

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:

choose the four elements of the four-cycle and take into account that four elements generate six four-cycles:

Other relations

Since we can generate the Stirling numbers of the first kind by elementary symmetric polynomials of the particular forms given by

https://en.wikipedia.org/wiki/Stirling_numbers_of_the_first_kind 3/10

6/9/2017 Stirling numbers of the first kind - Wikipedia

where , it follows from Newton's formulas that we can expand these Stirling numbers by weighted sums over the integer-order generalized harmonic numbers

formed as the sequences of partial sums of the (divergent) Riemann zeta function, or alternately -series, for positive integers . Thus we have that several other relations

involving the Stirling numbers of the first kind include the identities

where Hn is the harmonic number and Hn(m) is the generalized harmonic number (or -order harmonic number),

.[2]

For fixed these weighted harmonic number expansions are generated by the "exponential" generating function (see the non-exponential Bell polynomials and section

3 of [4])

More generally, sums related to these weighted harmonic number expansions of the Stirling numbers of the first kind are defined through the generalized "zeta series"

transforms of generating functions defined in Schmidt's articles [5][6] by the sums

and

where the closely related Stirling number special case of the last sum is given by [7]

We can also "invert" the relations for these Stirling numbers given in terms of the -order harmonic numbers to write the integer-order generalized harmonic numbers in

terms of weighted sums of terms involving the Stirling numbers of the first kind. For example, when the factorial-scaled second-order and third-order harmonic

numbers are given by

We can invert the Bell polynomial generating function for the Stirling numbers expanded in terms of the -order harmonic numbers to obtain more generally that for

integers we have

https://en.wikipedia.org/wiki/Stirling_numbers_of_the_first_kind 4/10

6/9/2017 Stirling numbers of the first kind - Wikipedia

Factorial-related sums

where is the Pochhammer symbol. This formula is a dual of Spivey's result for the Bell numbers.

We also have the following factorial-related sums involving the Stirling numbers of the first kind where denotes Iverson's convention:[9]

For any pair of sequences, and , related by a finite sum Stirling number formula given by

These inversion relations between the two sequences translate into functional equations between the sequence exponential generating functions given by the Stirling

(generating function) transform as

and

The differential operators and are related by the following formulas for all integers :[10]

Another pair of "inversion" relations involving the Stirling numbers relate the forward differences and the ordinary derivatives of a function, , which is analytic for

all by the formulas [11]

Congruences

Stirling numbers of the first kind is used to establish the following two special case congruence results modulo the integers and :

https://en.wikipedia.org/wiki/Stirling_numbers_of_the_first_kind 5/10

6/9/2017 Stirling numbers of the first kind - Wikipedia

More recent results providing Jacobi-type J-fractions that generate the single factorial function and generalized factorial-related products lead to other new congruence

results for the Stirling numbers of the first kind.[12] For example, working modulo we can prove that

then we may expand congruences for these Stirling numbers defined as the coefficients

in the following form where the functions, , denote fixed polynomials of degree in for each , , and :

Section 6.2 of the reference cited above provides more explicit expansions related to these congruences for the -order harmonic numbers and for the generalized factorial

products, . In the previous examples, the notation denotes Iverson's convention.

Generating functions

it follows that

https://en.wikipedia.org/wiki/Stirling_numbers_of_the_first_kind 6/10

6/9/2017 Stirling numbers of the first kind - Wikipedia

(This identity is valid for formal power series, and the sum converges in the complex plane for |z| < 1.) Other identities arise by exchanging the order of summation, taking

derivatives, making substitutions for z or u, etc. For example, we may derive:

and

Asymptotics

The next estimate given in terms of the Euler gamma constant applies uniformly for as :[13]

We can also apply the saddle point asymptotic methods from Temme's article [14] to obtain other estimates for the Stirling numbers of the first kind. These estimates are

more involved and complicated to state. Nonetheless, we provide an example. In particular, we define the log gamma function, , whose higher-order derivatives are

given in terms of polygamma functions as

where we consider the (unique) saddle point of the function to be the solution of when . Then for and the constants

Finite sums

The identity

can be proved by the techniques on the page Stirling numbers and exponential generating functions.

The table in section 6.1 of Concrete Mathematics provides a plethora of generalized forms of finite sums involving the Stirling numbers. Several particular finite sums

relevant to this article include

https://en.wikipedia.org/wiki/Stirling_numbers_of_the_first_kind 7/10

6/9/2017 Stirling numbers of the first kind - Wikipedia

Other finite sum identities involving the signed Stirling numbers of the first kind found, for example, in the NIST Handbook of Mathematical Functions (Section 26.8)

include the following sums:[15]

Additionally, if we define the second-order Eulerian numbers by the triangular recurrence relation [16]

we arrive at the following identity related to the form of the Stirling convolution polynomials which can be employed to generalize both Stirling number triangles to

arbitrary real, or complex-valued, values of the input :

Particular expansions of the previous identity lead to the following identities expanding the Stirling numbers of the first kind for the first few small values of :

Software tools for working with finite sums involving Stirling numbers and Eulerian numbers are provided by the RISC Stirling.m package (http://www.risc.jku.at/research/

combinat/software/ergosum/RISC/Stirling.html) utilities in Mathematica. Other software packages for guessing formulas for sequences (and polynomial sequence sums)

involving Stirling numbers and other special triangles is available for both Mathematica and Sage here (https://github.com/maxieds/GuessPolynomialSequences) and here (h

ttps://github.com/maxieds/sage-guess), respectively.[17]

Explicit formula

Another exact nested sum expansion for these Stirling numbers is computed by elementary symmetric polynomials corresponding to the coefficients in of a product of the

form . In particular, we see that

Newton's identities combined with the above expansions may be used to give an alternate proof of the weighted expansions involving the generalized harmonic numbers

already noted above.

Generalizations

There are many notions of generalized Stirling numbers that may be defined (depending on application) in a number of differing combinatorial contexts. In so much as the

Stirling numbers of the first kind correspond to the coefficients of the distinct polynomial expansions of the single factorial function, , we

may extend this notion to define triangular recurrence relations for more general classes of products.

In particular, for any fixed arithmetic function and symbolic parameters , related generalized factorial products of the form

may be studied from the point of view of the classes of generalized Stirling numbers of the first kind defined by the following coefficients of the powers of in the

expansions of and then by the next corresponding triangular recurrence relation:

https://en.wikipedia.org/wiki/Stirling_numbers_of_the_first_kind 8/10

6/9/2017 Stirling numbers of the first kind - Wikipedia

These coefficients satisfy a number of analogous properties to those for the Stirling numbers of the first kind as well as recurrence relations and functional equations related

to the f-harmonic numbers, .[19]

One special case of these bracketed coefficients corresponding to allows us to expand the multiple factorial, or multifactorial functions as polynomials in (see

generalizations of the double factorial).[20]

The Stirling numbers of both kinds, the binomial coefficients, and the first and second-order Eulerian numbers are all defined by special cases of a triangular super-

recurrence of the form

for integers and where whenever or . In this sense, the form of the Stirling numbers of the first kind may also be generalized by this

See also

Stirling polynomials

Stirling numbers

Stirling numbers of the second kind

References

1. See section 6.2 and 6.5 of Concrete Mathematics.

2. See sections 6.3 and 6.4 of Concrete Mathematics for properties and section 2.6 for more finite sums involving the first-order harmonic numbers.

3. Adamchik, V. (1996). "On Stirling numbers and Euler sums" (https://www.cs.cmu.edu/~adamchik/articles/stirling.pdf) (PDF).

4. Flajolet and Sedgewick (1995). "Mellin transforms and asymptotics: Finite differences and Rice's integrals". Theoretical Computer Science. 144: 101–124.

5. Schmidt, M. D. (30 Oct 2016). "Zeta Series Generating Function Transformations Related to Polylogarithm Functions and the k-Order Harmonic Numbers" (https://arxiv.org/abs/1610.0

9666).

6. Schmidt, M. D. (3 Nov 2016). "Zeta Series Generating Function Transformations Related to Generalized Stirling Numbers and Partial Sums of the Hurwitz Zeta Function" (https://arxiv.

org/abs/1611.00957).

7. See section 6.4 of Concrete Mathematics and also refer to D. Connon's summary article (https://arxiv.org/pdf/1001.2835.pdf) on properties of the Bell polynomials and other forms of

the generalized harmonic numbers, .

8. Mező, István (2012). "The dual of Spivey's Bell number formula" (https://cs.uwaterloo.ca/journals/JIS/VOL15/Mezo/mezo14.html). Journal of Integer Sequences. 15.

9. See Table 265 (Section 6.1) of the Concrete Mathematics reference.

10. Concrete Mathematics exercise 13 of section 6. Note that this formula immediately implies the first positive-order Stirling number transformation given in the main article on generating

function transformations.

11. Oliver, et. al. (2010). NIST Handbook of Mathematical Functions (https://www.nist.gov/pml/weights-and-measures/publications/nist-handbooks). (Section 26.8)

12. Schmidt, M. D. (2017). "Jacobi-Type Continued Fractions for the Ordinary Generating Functions of Generalized Factorial Functions" (https://cs.uwaterloo.ca/journals/JIS/VOL20/Schm

idt/schmidt14.html). J. Integer Seq. 20 (3).

13. These estimates are found in Section 26.8 of the NIST Handbook of Mathematical Functions.

14. Temme, N. M. "Asymptotic Estimates of Stirling Numbers" (http://oai.cwi.nl/oai/asset/2304/2304A.pdf) (PDF).

15. The first identity below follows as a special case of the Bell polynomial identity found in section 4.1.8 of S. Roman's The Umbral Calculus where

, though several other related formulas for the Stirling numbers defined in this manner are derived similarly.

16. A table of the second-order Eulerian numbers and a synopsis of their properties is found in section 6.2 of Concrete Mathematics. For example, we have that

. These numbers also have the following combinatorial interpretation: If we form all permutations of the multiset

with the property that all numbers between the two occurences of are greater than for , then is the number of such permutations that

have ascents.

17. Schmidt, M. D. (2014 and 2016). "A Computer Algebra Package for Polynomial Sequence Recognition" (https://arxiv.org/abs/1609.07301). Check date values in: |date= (help)

18. J. Malenfant, "Finite, Closed-form Expressions for the Partition Function and for Euler, Bernoulli, and Stirling Numbers" (http://arxiv.org/abs/1103.1585/)

19. Combinatorial Identities for Generalized Stirling Numbers Expanding f-Factorial Functions and the f-Harmonic Numbers (https://arxiv.org/abs/1611.04708) (2016).

20. Schmidt, Maxie D. (2010). "Generalized j-Factorial Functions, Polynomials, and Applications" (https://cs.uwaterloo.ca/journals/JIS/VOL13/Schmidt/multifact.html). J. Integer Seq. 13.

Concrete Mathematics

M. Abramowitz, I. Stegun, ed. (1972). "§24.1.3. Stirling Numbers of the First Kind". Handbook of Mathematical Functions with Formulas, Graphs, and

Mathematical Tables (9th ed.). New York: Dover. p. 824.

"Stirling numbers of the first kind, s(n,k)" (http://planetmath.org/?op=getobj&from=objects&id=2809). PlanetMath..

"Sloane's A008275 : Triangle read by rows of Stirling numbers of first kind" (http://oeis.org/A008275). The On-Line Encyclopedia of Integer Sequences. OEIS

Foundation.

This article incorporates material from Stirling numbers of the first kind on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

https://en.wikipedia.org/wiki/Stirling_numbers_of_the_first_kind 9/10

6/9/2017 Stirling numbers of the first kind - Wikipedia

Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. By using this site, you agree to the Terms of Use and

Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.

https://en.wikipedia.org/wiki/Stirling_numbers_of_the_first_kind 10/10