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.

542 ANSWERS TO EXERCISES<br />

Hence gzn+l = 0 and gzn = (-1)“(2n)!C,.1, <strong>for</strong> all n>O.<br />

7.15 There are (L)b+k partitions with k other objects in the subset containing<br />

n + 1. Hence B’ (z) = eZB (z). The solution to this differential equation<br />

is e(z) = eez+c, and c = -1 since B(0) = 1. (We can also get this result by<br />

summing (7.49) on m, since b, = 1, {t}.)<br />

7.16 One way is to take the logarithm of<br />

B(z) = l/((l -z)"'(l -z2)"'(1 -~~)“~(l -z4)aa . ..).<br />

then use the <strong>for</strong>mula <strong>for</strong> In & and interchange the order of summation.<br />

7.17 This follows since s,” tnePt dt = n!. There’s also a <strong>for</strong>mula that goes<br />

in the other direction:<br />

+X<br />

G(z) = & G ( zem~ie ) ee” d6 .<br />

s-x<br />

7.18 (a) 0, the coefficient [zn] exp(xln F(z)) is a polynomial of degree n<br />

in x that’s a multiple of x. The first convolution <strong>for</strong>mula comes from equating<br />

coefficients of Z” in F(z)"F(z)Y = F(z)~+Y. The second comes from equating<br />

coefficients of znP’ in F'(z)F(z)"~'F(z)Y = F'(z)F(z)~+Y~', because we have<br />

F'(z)F(z)'-' = xm 'i(F(z)") = x-' z nf,(x)znP’ .<br />

ll>C<br />

(Further convolutions follow by taking a/ax, as in (7.43).)<br />

7.20 Let G(z) = Ena gnzn. Then<br />

.zlGik)(z) = t nkg,,znPk+’ = x(n + k - l)%Jn+kPlzn<br />

lL)O lL>O<br />

<strong>for</strong> all k, 1 3 0, if we regard g,, = 0 <strong>for</strong> n < 0. Hence if PO(Z), . . , P,(z) are<br />

polynomials, not all zero, having maximum degree d, then there are polynomials<br />

PO(n), . . . , p,,,+d(n) such that<br />

mfd<br />

Po(Z)G(Z) +-+ P,(z)Giml(z) = 7 F Pibhn+i-dZn.<br />

n>o j:=o<br />

There<strong>for</strong>e a differentiably finite G(z) implies that<br />

m+d<br />

t<br />

j=O<br />

pj(n+d)gn+j = 0, <strong>for</strong> all n > 0.

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

Saved successfully!

Ooh no, something went wrong!