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.

356 GENERATING FUNCTIONS<br />

7.7 DIRICHLET GENERATING FUNCTIONS<br />

There are many other possible ways to generate a sequence from a<br />

series; any system of “kernel” functions K,(z) such that<br />

g,, K,(z) = 0 ==+ g,, = 0 <strong>for</strong> all n<br />

t<br />

n<br />

can be used, at least in principle. Ordinary generating functions use K,(z) =<br />

zn, and exponential generating functions use K, (z) = 2*/n!; we could also try<br />

falling factorial powers zc, 01: binomial coefficients zs/n! = (R) .<br />

The most important alternative to gf’s and egf’s uses the kernel functions<br />

1 /n”; it is intended <strong>for</strong> sequences (41 , 92, . . . ) that begin with n = 1 instead<br />

of n = 0:<br />

This is called a Dirichlet generating function (dgf), because the German<br />

mathematician Gustav Lejeune Dirichlet (1805-1859) made much of it.<br />

For example, the dgf of the constant sequence (1 , 1 , 1, . . . ) is<br />

(7.86)<br />

This is Riemann’s zeta function, which we have also called the generalized<br />

harmonic number Hk’ when z > 1.<br />

The product of Dirichlet generating functions corresponds to a special<br />

kind of convolution:<br />

Thus F(z) c(z) = H(z) is the dgf of the sequence<br />

hn = x f d h/d. (7.87)<br />

d\n<br />

For example, we know from (4.55) that td,n p(d) = [n= 1 I; this is<br />

the Dirichlet convolution of the Mobius sequence (u( 1) , p( 2)) u( 3)) . . . ) with<br />

(l,l,l,...), hence<br />

In other words, the dgf of (p(l), FL(~), p(3), . . .) is Lo’.<br />

(7.88)

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

Saved successfully!

Ooh no, something went wrong!