Power Series and Convergence

A power series is an infinite series of the form ${\sum }_{n=0}^{\infty }{a}_n(x-c{)}^n$. Each such series converges on an interval centered at $c$ — possibly a single point, possibly the whole line — governed by a single number called the radius of convergence $R$. Within that interval the series defines an infinitely differentiable function that can be integrated and differentiated term by term. Power series are the backbone of analytic function theory, Taylor expansions, and the rigorous construction of $e^x$, $\sin x$, $\cos x$, and the solutions of countless differential equations.

A power series centered at $c$ is a formal expression ${\sum }_{n=0}^{\infty }{a}_n(x-c{)}^n$ with real (or complex) coefficients $a_n$. Its central feature is the radius of convergence $R\in [0,\infty ]$: the series converges absolutely for $|x-c|<R$, diverges for $|x-c|>R$, and may do either at the two endpoints. This matters because the functions of elementary analysis — exponentials, trigonometric functions, logarithms, and special functions — are defined by, or representable as, power series, giving us a uniform computational and theoretical handle on them. The surprising fact: convergence is governed by a single radius, so a power series can never converge on, say, a half-open ray or a scattered set — its convergence region is always a symmetric interval (in the complex plane, a disk). This "all-or-nothing within a disk" behavior is a genuine theorem, not an assumption.

The Core Insight

The convergence of $\sum a_n(x-c{)}^n$ at one point forces its behavior everywhere closer to the center. If the series converges at a point $x_0$, then the terms $a_n(x_0-c{)}^n$ are bounded, and for any $x$ with $|x-c|<|x_0-c|$ the tail is dominated by a geometric series with ratio less than 1. Thus a single convergence point propagates convergence inward — and this geometric domination is the engine behind every major theorem on power series: the existence of $R$, absolute convergence, uniform convergence on compact subdisks, and term-by-term calculus.

Formal Statement

Power Series

A power series centered at $c$ (or about $c$) is a series

Here:

• $x$ is the variable (real or complex),
• $c$ is the fixed center,
• $a_n$ are the coefficients (constants), and
• the series is a function of $x$ wherever it converges.

The domain of convergence is the set $\{x:\text{the series converges}\}$. Setting $y=x-c$ reduces any power series to one centered at $0$, so we often study $\sum a_n{x}^n$ without loss of generality.

Radius of Convergence

The radius of convergence $R$ of $\sum a_n(x-c{)}^n$ is

The interval of convergence is the set of all $x$ for which the series converges, which is one of $\{c\}$, $(c-R,c+R)$, $[c-R,c+R)$, $(c-R,c+R]$, or $[c-R,c+R]$ when $0<R<\infty$, and all of $\mathbb{R}$ when $R=\infty$.

Cauchy–Hadamard Formula

The radius of convergence is given explicitly by

with the conventions $1/0=\infty$ and $1/\infty =0$. When the limit exists, the ratio test gives the often-easier formula

provided this limit exists (it may fail to even when the Cauchy–Hadamard limsup does not).

Convergence Behavior — Abel's Lemma

If $\sum a_n(x-c{)}^n$ converges at $x=x_0\ne c$, then it converges absolutely for every $x$ with $|x-c|<|x_0-c|$. Consequently the set of convergence is an interval symmetric about $c$, and $R$ in $[2]$ is well-defined.

Why It Holds / Derivation

Abel's Lemma and the Existence of R

Then

Cauchy–Hadamard via the Root Test

Niels Henrik Abel | 1802–1829

The Norwegian mathematician Abel, who died of tuberculosis at 26, gave power series their first rigorous treatment. In his 1826 paper on the binomial series he proved what is now Abel's Lemma (the inward-propagation of convergence) and the celebrated Abel's Theorem on continuity up to the boundary: if $\sum a_n$ converges, then $\sum a_n{x}^n\to \sum a_n$ as $x\to 1^{-}$. He sharply criticized the casual eighteenth-century manipulation of divergent series — "divergent series are the invention of the devil" — and insisted that a series equation means nothing until its convergence is established. His work, alongside Cauchy's, founded the modern theory of convergence.

Building Intuition

Picture the power series as a tug-of-war between two forces: the coefficients $a_n$ trying to make terms large, and the powers $(x-c{)}^n$ trying to shrink them when $|x-c|$ is small. The radius of convergence is the exact distance from the center at which these forces balance. Inside $R$, the powers win — terms decay geometrically and the sum is finite. Outside $R$, the coefficients win — terms blow up and the series diverges.

The quantity $|a_n{|}^{1/n}$ measures the "average growth rate per term" of the coefficients. If coefficients grow like ${\rho }^n$, then $|a_n{|}^{1/n}\to \rho$, and we need $|x-c|<1/\rho$ to overpower them. Coefficients that grow factorially ($a_n=n!$) defeat any nonzero $x$, giving $R=0$; coefficients that decay factorially ($a_n=1/n!$) are conquered by any $x$, giving $R=\infty$ — which is exactly why $e^x=\sum x^n/n!$ converges everywhere. The endpoints $x=c\pm R$ are the knife's edge where neither force wins outright, so anything can happen there and must be checked by hand.

Convergence structure of a power series: absolute convergence inside the radius, divergence outside, and undetermined endpoints

Worked Examples

Geometric Series and Its Radius

A Series Convergent at One Endpoint Only

This shows the interval can be half-open: convergence at one endpoint, divergence at the other — settled only by separate tests.

Common Misconceptions

Convergence Need Not Be Uniform on the Whole Open Interval

Consider ${\sum }_{n=0}^{\infty }{x}^n=1/(1-x)$ on $(-1,1)$, with $R=1$. One might hope the convergence is uniform on all of $(-1,1)$. It is not: the remainder is $|x{|}^{N+1}/(1-x)$, which is unbounded as $x\to 1^{-}$ for fixed $N$, so no single $N$ works for all $x$. The correct statement is that a power series converges uniformly on every closed subinterval $[c-r,c+r]$ with $r<R$ — not on the open interval itself. Uniform convergence holds on compact subsets strictly inside $R$, which is exactly enough to justify term-by-term calculus, but mistaking "compact-subset uniform" for "uniform on $(c-R,c+R)$" is a frequent error.

Term-by-Term Differentiation and Integration

Let $f(x)={\sum }_{n=0}^{\infty }{a}_n(x-c{)}^n$ have radius $R>0$. Then $f$ is infinitely differentiable on $(c-R,c+R)$, and

Both new series have the same radius of convergence $R$. Furthermore the coefficients are recovered from the function by the Taylor formula $a_n=f^{(n)}(c)/n!$.

Connections

Power series sit at the crossroads of analysis. They are the engine of Taylor Series, which expand smooth functions as power series with coefficients $a_n=f^{(n)}(c)/n!$; not every smooth function equals its Taylor series, which leads to the subtler notion of Analytic Functions. The convergence theory here rests directly on Series Convergence Tests — the ratio, root, comparison, and alternating series tests applied to numerical series. In the complex setting, the interval of convergence becomes a disk and the subject blossoms into Complex Analysis, where every differentiable function is automatically analytic (a phenomenon with no real-variable analogue). Power series also provide the standard method for solving Ordinary Differential Equations near ordinary points, and the term-by-term calculus theorem ([11]–[12]) ties them to Uniform Convergence, the property that legitimizes interchanging limits, sums, derivatives, and integrals.

Real-World Applications

1. Computing transcendental functions. Calculators and numerical libraries evaluate $e^x$, $\sin x$, $\ln (1+x)$, and $\arctan x$ by truncated power series (often after argument reduction), since $\sum x^n/n!$ and friends converge rapidly for small arguments.
2. Solving differential equations (Frobenius/power-series method). The solutions of Bessel's equation, Legendre's equation, and the quantum harmonic oscillator are constructed as power series, yielding Bessel functions $J_{\nu }$ and Legendre polynomials $P_n$ central to physics and engineering.
3. Generating functions in combinatorics. The formal power series $\sum a_n{x}^n$ encodes a sequence; products and compositions of generating functions solve recurrences (e.g., the Fibonacci generating function $x/(1-x-x^2)$).
4. Signal processing and control theory. The $z$-transform $\sum x[n]z^{-n}$ is a power series in $z^{-1}$; its region of convergence (an annulus, the complex analogue of the interval) determines stability and causality of discrete-time systems.
5. Numerical analysis. Taylor-series methods and Padé approximants (ratios of polynomials matching a power series) drive high-accuracy ODE integrators and asymptotic expansions.
6. Statistical mechanics. Partition functions are expanded in power series of fugacity or coupling (the virial expansion, high-temperature expansion), whose radii of convergence locate phase transitions.
7. Financial mathematics. Present-value and annuity formulas are geometric series $\sum (1+r{)}^{-n}$; their closed forms and convergence conditions ($r>0$) underpin bond pricing.

Historical Development

• 1668 — Nicolaus Mercator publishes the logarithmic series $\ln (1+x)=x-x^2/2+x^3/3-\cdots$, one of the first nontrivial power-series expansions in print.
• 1669–1671 — Isaac Newton, in De Analysi and Method of Fluxions, develops the generalized binomial series and treats power series as a universal computational tool, inverting and composing them freely.
• 1715 — Brook Taylor states Taylor's theorem, expressing functions via their derivatives at a point, though without convergence analysis.
• 1748 — Leonhard Euler's Introductio in analysin infinitorum uses power series with breathtaking (and sometimes reckless) freedom, deriving $e^{ix}=\cos x+i\sin x$ and summing $\sum 1/n^2={\pi }^2/6$.
• 1797–1813 — Joseph-Louis Lagrange attempts to base all of calculus on Taylor series (Théorie des fonctions analytiques); the program's gaps motivate later rigor.
• 1821 — Augustin-Louis Cauchy's Cours d'analyse introduces rigorous definitions of limit and convergence, the root and ratio tests, and the modern notion of radius of convergence.
• 1826 — Niels Henrik Abel proves Abel's Lemma and Abel's continuity theorem, putting the binomial series on firm footing and critiquing divergent-series misuse.
• 1892 — Jacques Hadamard publishes the Cauchy–Hadamard formula $1/R=\mathrm{limsup}|a_n{|}^{1/n}$ in full generality, completing the determination of $R$.
• 1900s — Émile Borel, Alfred Tauber, and others develop summability methods (Abel, Cesàro, Borel summation) that assign meaningful values to certain divergent power series, extending the theory beyond classical convergence.

Subtleties & Limits

The convergence theory described here is essentially complete for real and complex power series — but the boundary remains rich and partly mysterious.

See Also