Abel's theorem on convergence of power series

From Calculus
(Redirected from Abel's theorem)

Statement

Consider a power series:

Suppose that the power series converges to a function on the interval , i.e.,:

Then, we have the following:

  • If is defined and left continuous at and the power series converges for , then the value to which the power series converges equals .
  • If is defined and right continuous at and the power series converges for , then the value to which the power series converges equals .

Note that Abel's theorem applies even for conditional convergence at endpoints. In fact, that is where it is most helpful in proving things that are not otherwise obvious. Specifically, what it says is that if we can establish conditional convergence at endpoints, and we know the function being converged to on the interior of the interval, we can extend that function to the boundary and find the value at the endpoint of the interval.

In particular, it tells us that for an infinitely differentiable function such that the Taylor series of the function converges to the function on the interior of its interval of convergence, and the Taylor series converges conditionally at one or both of the endpoints of the interval of convergence, then it converges to the function.

Abel's theorem is typically applied in conjunction with the alternating series theorem which is used to show the conditional convergence at one or both endpoints.

Examples

Taylor series examples

For simplicity, we discuss the examples below for power series centered at 0, i.e., .

Function Taylor series, also its power series Radius of convergence of power series Endpoints at which the function converges conditionally Consequence of Abel's theorem
1 1 only (does not converge at -1)
We get this from the alternating series theorem
is the value of the series at 1. Thus:
arc tangent function 1 both -1 and 1
We get this from the alternating series theorem
is the value of the series at 1. Thus:

We also get a similar statement at -1, but it is equivalent to the above via multiplication of both sides by -1.