Tannery's theorem

In mathematical analysis, Tannery's theorem gives sufficient conditions for the interchanging of the limit and infinite summation operations. It is named after Jules Tannery.[1]

Statement

Let $S_{n}=\sum _{k=0}^{\infty }a_{k}(n)$ and suppose that $\lim _{n\rightarrow \infty }a_{k}(n)=b_{k}$ . If $|a_{k}(n)|\leq M_{k}$ and $\sum _{k=0}^{\infty }M_{k}<\infty$ , then $\lim _{n\rightarrow \infty }S_{n}=\sum _{k=0}^{\infty }b_{k}$ .[2][3]

Proofs

Tannery's theorem follows directly from Lebesgue's dominated convergence theorem applied to the sequence space ℓ¹.

An elementary proof can also be given.[3]

Example

Tannery's theorem can be used to prove that the binomial limit and the infinite series characterizations of the exponential $e^{x}$ are equivalent. Note that

\lim _{n\rightarrow \infty }\left(1+{\frac {x}{n}}\right)^{n}=\lim _{n\rightarrow \infty }\sum _{k=0}^{n}{n \choose k}{\frac {x^{k}}{n^{k}}}.

Define $a_{k}(n)={n \choose k}{\frac {x^{k}}{n^{k}}}$ . We have that $|a_{k}(n)|\leq {\frac {|x|^{k}}{k!}}$ and that $\sum _{k=0}^{\infty }{\frac {|x|^{k}}{k!}}=e^{|x|}<\infty$ , so Tannery's theorem can be applied and

\lim _{n\rightarrow \infty }\sum _{k=0}^{\infty }{n \choose k}{\frac {x^{k}}{n^{k}}}=\sum _{k=0}^{\infty }\lim _{n\rightarrow \infty }{n \choose k}{\frac {x^{k}}{n^{k}}}=\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}=e^{x}.

gollark: <@!330678593904443393> Ideally AE2-like autocrafting is what I want.

gollark: I just don't know how that's relevant.

gollark: I do play it.

gollark: "like in factorio"?

gollark: Also, some recipes in mods take, say, 1 redstone, to make 2 redstone.

References

Loya, Paul (2018). Amazing and Aesthetic Aspects of Analysis. Springer. ISBN 9781493967957.
Koelink, edited by Mourad E.H. Ismail, Erik (2005). Theory and applications of special functions a volume dedicated to Mizan Rahman. New York: Springer. p. 448. ISBN 9780387242330.CS1 maint: extra text: authors list (link)
Hofbauer, Josef (2002). "A Simple Proof of 1 + 1/22 + 1/32 + ⋯ = $π$ ²/6 and Related Identities". The American Mathematical Monthly. 109 (2): 196–200. doi:10.2307/2695334. JSTOR 2695334.

External links

Generalizations of Tannery's theorem

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Loya, Paul (2018). Amazing and Aesthetic Aspects of Analysis. Springer. ISBN 9781493967957.

[2] Koelink, edited by Mourad E.H. Ismail, Erik (2005). Theory and applications of special functions a volume dedicated to Mizan Rahman. New York: Springer. p. 448. ISBN 9780387242330.CS1 maint: extra text: authors list (link)

[:0-3] Hofbauer, Josef (2002). "A Simple Proof of 1 + 1/22 + 1/32 + ⋯ = $π$ ²/6 and Related Identities". The American Mathematical Monthly. 109 (2): 196–200. doi:10.2307/2695334. JSTOR 2695334.