Here is a result that I feel deserves to be better known.

Tannery’s Theorem (series form): Suppose that

- is a convergent sum for all .
- exists and is equal to for all .
- for all .
- converges.

Then converges and is equal to . In other words, both sides of the following are well-defined and equal:

Note the similarity with the Weierstrass M-test which states that if for all k and if converges, then converges uniformly to . If each is continuous, so is s. Tannery’s theorem follows from this by the continuity of and s at [1]. It can be proved by standard type arguments.

Tannery’s theorem can also be considered a consequence of Lebesgue’s dominant convergence theorem applied to the sequence space with counting measure (hence integrals become sums). It gives a condition (namely, dominance by a convergent series) under which the order of limits and infinite sums may be interchanged.

One common application of this result in showing that the following two expressions for exp(x) are equal:

Setting it can be shown that and Tannery’s theorem can be applied with the upper bound .

Tannery’s theorem can also exist in product form:

Tannery’s Theorem (product form): Suppose that

- is a convergent product for all .
- exists and is equal to for all .
- for all .
- converges.
Then converges and is equal to . In other words, both sides of the following are well-defined and equal:

This follows from the fact that converges absolutely if and only if converges absolutely (taking logarithms helps to see this).

One application of this result is in proving Euler’s infinite product formula for the sine function:

To prove this (ref: [2]), firstly, it can be shown that for any complex z,

where is odd and

[In brief, set z to and show . Hence the 2m+1 zeros of are at . Finally construct the polynomial with these numbers as roots.]

Applying the product form of Tannery’s theorem with and gives

Finally, replace z with for the desired result. In my next mathematical post I plan to show some consequences of this beautiful formula for sine.

#### References

[1] J. Hofbauer, *A Simple Proof of 1 + 1/2^2 + 1/3^2 + ⋯ = π^2/6 and Related Identities*, The American Mathematical Monthly, Vol. 109, No. 2 (Feb., 2002), pp. 196-200

[2] P. Loya, *Amazing and Aesthetic Aspects of Analysis: On the incredible infinite*, available at http://www.math.binghamton.edu/dennis/478.f07/EleAna.pdf

## Leave a Reply