09.12.2012 Views

Concrete mathematics : a foundation for computer science

Concrete mathematics : a foundation for computer science

Concrete mathematics : a foundation for computer science

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

So l/x isa<br />

polynomial?<br />

(Sorry about that.)<br />

6.2 EULERIAN NUMBERS 257<br />

Second-order Eulerian numbers are important chiefly because of their<br />

connection with Stirling numbers [119]: We have, by induction on n,<br />

{x"n} = &(($~+n~lyk). integern30; (6.43)<br />

[x”n] = g(~))(“~k) 7<br />

For example,<br />

{Zl} = (1))<br />

[x:1] = (1);<br />

integer n 3 0. (6.44)<br />

{z2} = (7’) +2(g) [x:2] = (:)+2(y);<br />

(,r,} = (“:‘) +8(y) +6(d)<br />

[xx3] = (1) +8(x;‘) +6(x12).<br />

(We already encountered the case n = 1 in (6.7).) These identities hold<br />

whenever x is an integer and n is a nonnegative integer. Since the right-hand<br />

sides are polynomials in x, we can use (6.43) and (6.44) to define Stirling<br />

numbers { .“,} and [,Tn] <strong>for</strong> arbitrary real (or complex) values of x.<br />

If n > 0, these polynomials { .“,} and [,“J are zero when x = 0, x = 1,<br />

. . . , and x = n; there<strong>for</strong>e they are divisible by (x-O), (x-l), . . . , and (x-n).<br />

It’s interesting to look at what’s left after these known factors are divided out.<br />

We define the Stirling polynomials o,(x) by the rule<br />

&l(x) = .", /(X(X-l)...(X-TX)). (6.45)<br />

[ 1<br />

(The degree of o,(x) is n - 1.) The first few cases are<br />

q)(x) = l/x;<br />

CT,(x) = l/2;<br />

02(x) = (3x-1)/24;<br />

q(x) = (x2 -x)/48;<br />

Q(X) = (15x3 -30x2+5x+2)/5760.<br />

They can be computed via the second-order Eulerian numbers; <strong>for</strong> example,<br />

CQ(X) = ((~-4)(x-5)+8(x+1)(x-4) +6(x+2)(x+1))/&

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!