Abel's Lemma

The Abelian Lemma is a Lemma (mathematics) used to investigate the convergence series region of power series. It is named after Niels Henrik Abel.

Abel's Lemma

Let $K_{P}:={z\in \mathbb {C} :P(z)=\sum _{k=0}^{\infty }a_{k}(z-z_{0})^{k}{\text{ converges}}}\subseteq \mathbb {C}$ be the region of convergence of the power series $P$ given by: $P(z)=\sum _{k=0}^{\infty }a_{k}(z-z_{0})^{k}$, then the following statements hold:

• For a given element $z_{1}\in K_{P}$ from the convergence region of $P$, the series $P(z)$ converges absolutely for all $z\in \mathbb {C}$ such that $|z-z_{0}|<|z_{1}-z_{0}|$.
• For a given element $z_{2}\notin K_{P}$ where $P$ diverges, all $z\in \mathbb {C}$ with $|z_{2}-z_{0}|<|z-z_{0}|$ also cause $P(z)$ to diverge.

Task for Learners

• Prove the statement of Abel's Lemma by utilizing the fact that a convergent series (Absolute value) has bounded coefficients. Then, use the majorant criterion and a geometric series as a majorant to show that $P$ converges Absolute convergence.
• Justify why the convergence region $K_{P}$ contains an open disk $D_{r}(z_{0})\subseteq {z\in \mathbb {C} :|z_{0}-z|<r}$ (where $r>0$ is maximally chosen), and why $P$ diverges for all $z\in \mathbb {C}$ with $r<|z-z_{0}|$ when $P$ diverges.
• Determine the radius of convergence $r>0$ for the following power series, and on the boundary $\partial D_{r}(0)$ of the convergence region, identify two points $z_{1},z_{2}\in \partial D_{r}(0)$, such that $P(z_{1})$ converges and $P(z_{2})$ diverges. $P(z)=\sum _{k=1}^{\infty }{\frac {1}{k}}\cdot z^{k}$ Use your knowledge of the harmonic series to choose the points $z_{1},z_{2}\in \partial D_{r}(0)$.

(decomposition theorem) Analyze the decomposition theorem and explain how Abel's Lemma contributes to the extension of the domain to a ring and the use of the Identity Theorem.

Consequence

Taking into account that the series must always diverge at points $z\in \mathbb {C}$ where the sequence of its summands is unbounded (by the Cauchy's convergence test, it follows from the lemma that every power series has a well-defined radius of convergence and converges uniformly on any Compact space within the convergence disk. Outside the convergence disk, it diverges. No statement is made about the convergence for points on the boundary of the convergence disk.

See also

• Complex Analysis
• decomposition theorem

Source

Eberhard Freitag & Rolf Busam: Function Theory 1, Springer-Verlag, Berlin, ISBN 3-540-67641-4, p. 98

Page Information

You can display this page as Wiki2Reveal slides

Wiki2Reveal

TheWiki2Reveal slides were created for the Complex Analysis' and the Link for the Wiki2Reveal Slides was created with the link generator.

• This page is designed as a PanDocElectron-SLIDE document type.
• Source: Wikiversity https://en.wikiversity.org/wiki/Complex%20Analysis/Abel's%20Lemma
• see Wiki2Reveal for the functionality of Wiki2Reveal.

Translation and Version Control

This page was translated based on the following Lemma Wikiversity source page and uses the concept of Translation and Version Control for a transparent language fork in a Wikiversity:

• Source: Abelsches Lemma - URL:

https://de.wikiversity.org/wiki/Abelsches Lemma

• Date: 1/2/2025