Power Series and Analytic Functions

Power Series

We will now look at an important type of series known as a power series which we define as follows.

Definition: A Power Series in Powers of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x - c} is a series that takes on the form

$\sum _{n=0}^{\infty }a_{n}(x-c)^{n}=a_{0}+a_{1}(x-c)+a_{2}(x-c)^{2}+a_{3}(x-c)^{3}+...$ where $a_{0},a_{1},a_{2},a_{3},...$ are the Coefficients of The Power Series and $c$ is called the Center of Convergence of the power series.

We note that the power series is a function of a variable $x$, and that the power series will either converge or diverge for each value of $x$ chosen. If the series converges for some $x$, then the power series becomes a representation of some function for those values of $x$. If the series diverges for some $x$, then the power series is no longer a representation of a specific function for some $x$.

For example, consider the geometric series $\sum _{n=0}^{\infty }x^{n}=1+x+x^{2}+...$. Recall that if $\mid x\mid <1$ then $\sum _{n=0}^{\infty }x^{n}={\frac {1}{1-x}}$. Therefore for $-1<x<1$, the series $\sum _{n=0}^{\infty }x^{n}$ is a power series representation of the function $f(x)={\frac {1}{1-x}}$ on the interval $(-1,1)$. We note that since all geometric series diverge if $\mid x\mid \geq 1$, then the power series $\sum _{n=0}^{\infty }x^{n}$ is not a representation of $f$ on the interval $(-\infty ,-1]\cup [1,\infty )$.

Now we note that the geometric series $\sum _{n=0}^{\infty }x^{n}$ has a center of convergence at $c=0$. Notice that the interval to which this series convergences is for $(-1,1)=\{x\in \mathbb {R} :-1<x<1\}$ and that $c=0$ is indeed the center of this interval (hence the name center of convergence).

Now the following theorem will outline what sort of intervals of convergence we can expect from power series.

Theorem 1: Let $\sum _{n=0}^{\infty }a_{n}(x-c)^{n}$ be a power series. Then one of the following conclusions can be made regarding the points of convergence for the power series:

1) The series converges only at the center of convergence $c$.

2) The series converges for every $x\in \mathbb {R}$.

3) There exists a positive number $R\in \mathbb {R}$ such that the series converges if $\mid x-c\mid <R$ and diverges if $\mid x-c\mid >R$ where the converge and diverges of $x$ such that $\mid x-c\mid =R$ is undetermined.

• Proof: We note that every power series converges at it's center of convergence, that is at the value $x=c$ since $\sum _{n=0}^{\infty }a_{n}(x-c)^{n}{\bigg |}_{x=c}=\sum _{n=0}^{\infty }a_{n}(c-c)^{n}=\sum _{n=0}^{\infty }0$, and this sum converges to $0$, specifically, this convergence is absolute convergence. We have thus shown that the validity of the first possibility.

• We now need to show that if a series converges at any $x_{0}\neq c$ then it converges absolutely to every $x$ that is even closer to the center of convergence $c$, that is $\mid x-c\mid <\mid x_{0}-c\mid$. So the convergence of any $x_{0}\neq c$ will imply the absolute convergence for every $x$ such that $c-x_{0}<x<c+x_{0}$. Now suppose that the power series $\sum _{n=0}^{\infty }a_{n}(x_{0}-c)^{n}$ is convergent. We know by the divergence theorem that then $\lim _{n\to \infty }a_{n}(x_{0}-c)^{n}=0$. Therefore the sequence $\{a_{n}(x_{0}-c)^{n}\}$ converges and is bounded so $\forall n\in \mathbb {N}$ there exists a positive real number $K$ such that ${\bigg |}a_{n}(x_{0}-c)^{n}{\bigg |}<K$.

• Now suppose that $r={\frac {\mid x-c\mid }{\mid x_{0}-c\mid }}<1$. This happens for all Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} such that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left| x - c \right| < \left| x_0 - c \right|} (the distance between $x$ and $c$ is less than the distance between Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_0} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c} ), and so:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \quad \quad \sum_{n=0}^{\infty} \bigg| a_n (x - c)^n \bigg| = \sum_{n=0}^{\infty} \bigg| a_n \bigg| \bigg| (x - c)^n \bigg| = \sum_{n=0}^{\infty} \bigg| a_n \bigg| \bigg| (x_0 - c)^n \bigg| \bigg| \frac{x - c}{x_0 - c} \bigg|^n < K \sum_{n=0}^{\infty} \bigg| \frac{x - c}{x_0 - c} \bigg|^n = K \sum_{n=0}^{\infty} r^n = \frac{K}{1 - r} < \infty }

• Therefore the power series Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=0}^{\infty} a_n(x_0 - c)^n} is absolutely convergent which satisfies the second and third possibilities. Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \blacksquare}

Definition: The Interval of Convergence Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} of a power series Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=0}^{\infty} a_n(x - c)^n} is the interval of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} values centered at the the center of convergence Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c} for which the power series converges.

From the theorem above, we note that there are only 6 possibilities for the center of convergence summarized by the following corollary.

Corollary 1: Let Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=0}^{\infty} a_n(x - c)^n} be a power series. If this power series only converges at Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x = c} then the interval of convergence is the closed interval Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [c, c] = \{ c \}} . If the power series converges for all Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x \in \mathbb{R}} then the interval of convergence is the entire real line Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (-\infty, \infty) = \{ x \in \mathbb{R} \}} . Otherwise, the interval of convergence of a power series is some interval centered at the center of convergence Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c} , that is either:

1) Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [c - R, c + R] = \{ x \in \mathbb{R} : c - R \leq x \leq c + R \}} .

2) Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (c - R, c + R) = \{ x \in \mathbb{R} : c - R < x < c + R \}} .

3) Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [c - R, c + R) = \{ x \in \mathbb{R} : c - R \leq x < c + R \}} .

4) Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (c - R, c + R] = \{ x \in \mathbb{R} : c - R < x \leq c + R \}} .

We note that on the interval Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (c - R, c + R)} the power series Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=0}^{\infty} a_n(x - c)^n} is absolutely convergent. We must check the end points of the power series when Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x = c - R} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x = c + R} to determine if the power series converges at Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c - R} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c + R} .

Operations on power series

Addition and subtraction

When two functions f and g are decomposed into power series around the same center c, the power series of the sum or difference of the functions can be obtained by termwise addition and subtraction. That is, if

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x) = \sum_{n=0}^\infty a_n (x - c)^n} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g(x) = \sum_{n=0}^\infty b_n (x - c)^n}

then

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x) \pm g(x) = \sum_{n=0}^\infty (a_n \pm b_n) (x - c)^n.}

It is not true that if two power series Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sum_{n=0}^\infty a_n x^n} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sum_{n=0}^\infty b_n x^n} have the same radius of convergence, then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sum_{n=0}^\infty \left(a_n + b_n\right) x^n} also has this radius of convergence. If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle a_n = (-1)^n} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle b_n = (-1)^{n+1} \left(1 - \frac{1}{3^n}\right)} , then both series have the same radius of convergence of 1, but the series Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sum_{n=0}^\infty \left(a_n + b_n\right) x^n = \sum_{n=0}^\infty \frac{(-1)^n}{3^n} x^n} has a radius of convergence of 3.

Multiplication and division

With the same definitions for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g(x)} , the power series of the product and quotient of the functions can be obtained as follows:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} f(x)g(x) &= \left(\sum_{n=0}^\infty a_n (x-c)^n\right)\left(\sum_{n=0}^\infty b_n (x - c)^n\right) \\ &= \sum_{i=0}^\infty \sum_{j=0}^\infty a_i b_j (x - c)^{i+j} \\ &= \sum_{n=0}^\infty \left(\sum_{i=0}^n a_i b_{n-i}\right) (x - c)^n. \end{align}}

The sequence Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle m_n = \sum_{i=0}^n a_i b_{n-i}} is known as the convolution of the sequences Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b_n} .

For division, if one defines the sequence Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle d_n} by

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{f(x)}{g(x)} = \frac{\sum_{n=0}^\infty a_n (x - c)^n}{\sum_{n=0}^\infty b_n (x - c)^n} = \sum_{n=0}^\infty d_n (x - c)^n}

then

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x) = \left(\sum_{n=0}^\infty b_n (x - c)^n\right)\left(\sum_{n=0}^\infty d_n (x - c)^n\right)}

and one can solve recursively for the terms Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle d_n} by comparing coefficients.

Solving the corresponding equations yields the formulae based on determinants of certain matrices of the coefficients of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g(x)}

$d_{0}={\frac {a_{0}}{b_{0}}}$

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle d_n=\frac{1}{b_0^{n+1}} \begin{vmatrix} a_n &b_1 &b_2 &\cdots&b_n \\ a_{n-1}&b_0 &b_1 &\cdots&b_{n-1}\\ a_{n-2}&0 &b_0 &\cdots&b_{n-2}\\ \vdots &\vdots&\vdots&\ddots&\vdots \\ a_0 &0 &0 &\cdots&b_0\end{vmatrix}}

Differentiation and integration

Once a function Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)} is given as a power series as above, it is differentiable on the interior of the domain of convergence. It can be differentiated and integrated quite easily, by treating every term separately:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} f'(x) &= \sum_{n=1}^\infty a_n n (x - c)^{n-1} = \sum_{n=0}^\infty a_{n+1} (n + 1) (x - c)^n, \\ \int f(x)\,dx &= \sum_{n=0}^\infty \frac{a_n (x - c)^{n+1}}{n + 1} + k = \sum_{n=1}^\infty \frac{a_{n-1} (x - c)^n}{n} + k. \end{align}}

Both of these series have the same radius of convergence as the original one.

Analytic Functions

A function f defined on some open subset U of R or C is called analytic if it is locally given by a convergent power series. This means that every a ∈ U has an open neighborhood V ⊆ U, such that there exists a power series with center a that converges to f(x) for every x ∈ V.

Every power series with a positive radius of convergence is analytic on the interior of its region of convergence. All holomorphic functions are complex-analytic. Sums and products of analytic functions are analytic, as are quotients as long as the denominator is non-zero.

If a function is analytic, then it is infinitely differentiable, but in the real case the converse is not generally true. For an analytic function, the coefficients a_n can be computed as

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n = \frac{f^{\left( n \right)} \left( c \right)}{n!}}

where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{(n)}(c)} denotes the nth derivative of f at c, and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{(0)}(c) = f(c)} . This means that every analytic function is locally represented by its Taylor series.

The global form of an analytic function is completely determined by its local behavior in the following sense: if f and g are two analytic functions defined on the same connected open set U, and if there exists an element c∈U such that f⁽ⁿ⁾(c) = g⁽ⁿ⁾(c) for all n ≥ 0, then f(x) = g(x) for all x ∈ U.

If a power series with radius of convergence r is given, one can consider analytic continuations of the series, i.e. analytic functions f which are defined on larger sets than { x : |x − c| < r } and agree with the given power series on this set. The number r is maximal in the following sense: there always exists a complex number x with |x − c| = r such that no analytic continuation of the series can be defined at x.

The power series expansion of the inverse function of an analytic function can be determined using the Lagrange inversion theorem.

Behavior near the boundary

The sum of a power series with a positive radius of convergence is an analytic function at every point in the interior of the disc of convergence. However, different behavior can occur at points on the boundary of that disc. For example:

1. Divergence while the sum extends to an analytic function: Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sum_{n=0}^{\infty}z^n} has radius of convergence equal to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1} and diverges at every point of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |z|=1} . Nevertheless, the sum in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |z|<1} is Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \frac{1}{1-z}} , which is analytic at every point of the plane except for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z=1} .
2. Convergent at some points divergent at others: Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sum_{n=1}^{\infty}(-1)^{n+1}\frac{z^n}{n}} has radius of convergence Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1} . It converges for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z=1} , while it diverges for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z=-1}
3. Absolute convergence at every point of the boundary: Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sum_{n=1}^{\infty}\frac{z^n}{n^2}} has radius of convergence Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1} , while it converges absolutely, and uniformly, at every point of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |z|=1} due to Weierstrass M-test applied with the hyper-harmonic convergent series Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sum_{n=1}^{\infty}\frac{1}{n^2}} .
4. Convergent on the closure of the disc of convergence but not continuous sum: Sierpiński gave an example of a power series with radius of convergence Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1} , convergent at all points with Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |z|=1} , but the sum is an unbounded function and, in particular, discontinuous. A sufficient condition for one-sided continuity at a boundary point is given by Abel's theorem.

Licensing

Content obtained and/or adapted from:

• Power series, Wikipedia under a CC BY-SA license
• Power series, mathonline.wikidot.com under a CC BY-SA license