Advanced Calculus/Newton's general binomial theorem

From Wikibooks, open books for an open world
Jump to navigation Jump to search

Newton's generalized binomial theorem[edit | edit source]

We shall now describe a generalized binomial theorem, which uses generalized binomial coefficients.

Definition:

Let and . Then we define

.

For these generalized binomial coefficients, we have the following formula, which we need for the proof of the general binomial theorem that is to follow:

Lemma:

.

Proof:

Now we are ready for the theorem:

Theorem (generalized binomial theorem; Newton): If and , then

,

where the latter series does converge.

Proof:

We begin with the special case . First we prove that whenever , the latter series converges; this we do by employing the quotient formula for the radius of convergence of power series. Since continuity of the absolute value allows us to compute the limit inside the absolute value first, we have

;

thus we indeed have a convergence radius of .

This convergence allows us to apply term-by-term differentiation inside the convergence area of , which gives

.

If we denote the function defined from the series we are considering by , we thus get

where we used the preceding lemma in transposing from line 2 to 3. Defining now , we get by the usual differentiation rules:

implies , which is why every fraction above is defined. We have thus proven that is constant and the special case follows from (as the empty product is defined to equal ).

For general with , we have

the convergence is ensured by by assumption. All there is to do to obtain the claim is to multiply by .