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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

7.6 EXPONENTIAL GENERATING FUNCTIONS 353<br />

And the latter sumI is a geometric progression, so there’s a closed <strong>for</strong>m<br />

S(z,n) = $+. (7.77)<br />

All we need to do is figure out the coefficients of this relatively simple function,<br />

and we’ll know S,i:n), because S,(n) = m! [z”‘]S(z,n).<br />

Here’s where 13ernoulli numbers come into the picture. We observed a<br />

moment ago that t.he egf <strong>for</strong> Bernoulli numbers is<br />

hence we can write<br />

enz-1<br />

S(z) = B(z) - -<br />

z<br />

= Bo~.+B,~+Bz~+...)(n~+n2~+n3~+-..)<br />

(<br />

The sum S,(n) is m! times the coefficient of z”’ in this product. For example,<br />

So(n) = O! (h3&)<br />

nL n<br />

S(n) = 1! Elom+Blm (<br />

><br />

f%(n) = .2! Bo$ + B1 & + B2 &) =<br />

( . . . . * .<br />

n;<br />

= .!n2-d-n;<br />

in3-tn2+in.<br />

We have there<strong>for</strong>e derived the <strong>for</strong>mula 0, = Sz(n) = $n(n - i)(n - 1) <strong>for</strong><br />

the umpteenth time, and this was the simplest derivation of all: In a few lines<br />

we have found the general behavior of S,(n) <strong>for</strong> all m.<br />

The general fo:rmula can be written<br />

%-l(n) = &EL,(n) - B,(O)) ,<br />

where B,(x) is the Bernoulli polynomial defined by<br />

B,(x) = t (;)BkX-‘.<br />

k<br />

(7.78)<br />

(7.79)<br />

Here’s why: The Bernoulli polynomial is the binomial convolution of the<br />

sequence (Bo, B1, B;r, . . . ) with (1, x,x2,. . . ); hence the exponential generating

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

Saved successfully!

Ooh no, something went wrong!