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.

6.2 EULERIAN NUMBERS 255<br />

Eulerian numbers are useful primarily because they provide an unusual<br />

connection between ordinary powers and consecutive binomial coefficients:<br />

xn = F(L)(“L”>, integern>O.<br />

(This is “Worpitzky’s identity” [308].) For example, we have<br />

x2 -<br />

x3 =<br />

(1)+(T))<br />

(;)+qy)+(y’),<br />

(;)+ll(x;')+11(Xfi2)+(X;3),<br />

and so on. It’s easy to prove (6.37) by induction (exercise 14).<br />

Incidentally, (6.37) gives us yet another way to obtain the sum of the<br />

first n squares: We have k2 = ($(i) + (f) (“i’) = (i) + (ki’), hence<br />

12+22+...+n2 = ((;)+(;)+-.+(;))+((;)+(;)+.-+(";'))<br />

= ("p) + ("f2) = ;(n+l)n((n-l)+(n+2)).<br />

The Eulerian recurrence (6.35) is a bit more complicated than the Stirling<br />

recurrences (6.3) and (6.8), so we don’t expect the numbers (L) to satisfy as<br />

many simple identities. Still, there are a few:<br />

(t) = g (n:‘)(m+l -k)“(-llk;<br />

-!{Z} = G(E)(n*m)’<br />

(;) = $ {;}(“,“)(-l)nPk-mk!<br />

(6.38)<br />

(6.39)<br />

(6.40)<br />

If we multiply (6.39) by znPm and sum on m, we get x,, { t}m! zn-“’ =<br />

tk (c) (z + 1) k. Replacing z by z - 1 and equating coefficients of zk gives<br />

(6.40). Thus the last two of these identities are essentially equivalent. The<br />

first identity, (6.38), gives us special values when m is small:<br />

(i) = 1; (I) = 2n-n-l; (1) = 3”-(n+l)Z”+(n:‘) .

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

Saved successfully!

Ooh no, something went wrong!