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.

188 BINOMIAL COEFFICIENTS<br />

if we apply A again, we get the second difference<br />

A2f(x) = Af(x + 1) - Af(x) = (f(x+Z) - f(x+l)) - (f(x+l) -f(x))<br />

= f(x+2)-2f(x+l)+f(x),<br />

which is analogous to the second derivative. Similarly, we have<br />

A3f(x) = f(x+3)-3f(x+2)+3f(x+l)-f(x);<br />

A4f(x) = f(x+4)-4f(x+3)+6f(x+2)-4f(x+l)+f(x);<br />

and so on. Binomial coefficients enter these <strong>for</strong>mulas with alternating signs.<br />

In general, the nth difference is<br />

A”f(x) = x (-l)"-kf(x+ k), integer n 3 0.<br />

k<br />

This <strong>for</strong>mula is easily proved by induction, but there’s also a nice way to prove<br />

it directly using the elementary theory of operators, Recall that Section 2.6<br />

defines the shift operator E by the rule<br />

Ef(x) = f(x+l);<br />

hence the operator A is E - 1, where 1 is the identity operator defined by the<br />

rule 1 f(x) = f(x). By the binomial theorem,<br />

A” = (E-l)” = t (;)Ek(-l)"~k.<br />

k<br />

This is an equation whose elements are operators; it is equivalent to (5.40)~<br />

since Ek is the operator that takes f(x) into f(x + k).<br />

An interesting and important case arises when we consider negative<br />

falling powers. Let f(x) = (x - 1 )-’ = l/x. Then, by rule (2.45), we have<br />

Af(x) = (-1)(x- l)A, A2f(x) = (-1)(-2)(x- l)s, and in general<br />

A”((x-1)=1) = (-1)%(x-l)* = [-l)nx(X+l)n!.(x+n)<br />

. .<br />

Equation (5.40) now tells us that<br />

n!<br />

- = x(x+l)...(x+n)<br />

( )<br />

-, x+n<br />

=x<br />

-1<br />

n ’<br />

x @{0,-l,..., -n}. (5.41)

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

Saved successfully!

Ooh no, something went wrong!