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.

7 EXERCISES 359<br />

15 The Bell number b, is the number of ways to partition n things into<br />

subsets. For example, bs = 5 because we can partition {l ,2,3} in the<br />

following ways:<br />

Prove that b,+l = x.k (L)bnpk, and use this recurrence to find a closed<br />

<strong>for</strong>m <strong>for</strong> the exponential generating function I,, b,z”/n!.<br />

16 Two sequences (a,,) and (b,,) are related by the convolution <strong>for</strong>mula<br />

b, =<br />

k,i-Zkz+...nk,=n<br />

(al+il-1) ((12+:-l) ,., (an+:-‘) ;<br />

also as = 0 a:nd bo = 1. Prove that the corresponding generating functions<br />

satisfy l:nB(z) =A(z) + iA + iA(z3) +....<br />

17 Show that the exponential generating function G(z) of a sequence is related<br />

to the ordinary generating function G(z) by the <strong>for</strong>mula<br />

G(zt)e-‘dt = G(z),<br />

Jm0 if the integral exists.<br />

18 Find the Dirichlet generating functions <strong>for</strong> the sequences<br />

a sn=@;<br />

b g,, = Inn.;<br />

C gn = [n is squarefree].<br />

Express your answers in terms of the zeta function. (Squarefreeness is<br />

defined in exercise 4.13.)<br />

19 Every power series F(z) = x naO f,z” with fo = 1 defines a sequence of<br />

polynomials f,,(x) by the rule<br />

F(z)' = ~f,(x)z",<br />

II>0<br />

where f,( 1) = f, and f,(O) = [n = 01. In general, f,(x) has degree n.<br />

Show that such polynomials always satisfy the convolution <strong>for</strong>mulas<br />

f fk(X)fn-k(Y) = fn(x +Y) ;<br />

k=O<br />

(x+Y)kkfk(x)fnpk(Y) = Xnf,(X+y).<br />

kzo<br />

(The identities in Tables 202 and 258 are special cases of this trick.)

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

Saved successfully!

Ooh no, something went wrong!