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: This is Google Search Console.

gollark: osmarks.tk is very international™.

gollark: https://git.osmarks.tk/kotahu/PotatOS-Sandbox-Exploits

gollark: https://git.osmarks.tk/osmarks/potatOS has documentation now!

gollark: You can try it now in an emulator.

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.