← Root & Branch

Power Series: Building Functions from Powers

Turn the ideas of infinite series into a way to represent and approximate functions.


A polynomial such as 1+x+x21+x+x^2 is easy to calculate. A power series extends that idea with infinitely many powers. Its value may depend on where you choose xx: the same expression can converge at one value and diverge at another. Read the Infinite Series lesson first; only the optional Taylor section uses derivatives.

Before you begin: Infinite Series: Adding Without an End →

1. A polynomial with infinitely many terms

A power series adds increasing whole-number powers of (x−c)(x-c). The number cc is the centre, and ana_n is the coefficient multiplying the nnth power. The coefficients do not depend on xx.

The subscript in ana_n labels a coefficient, while the superscript in (x−c)n(x-c)^n is an exponent. The first term is the constant a0a_0. At x=cx=c, every positive-power term vanishes, so the series always converges there to a0a_0.

∑n=0∞an(x−c)n=a0+a1(x−c)+a2(x−c)2+⋯\sum_{n=0}^{\infty}a_n(x-c)^n=a_0+a_1(x-c)+a_2(x-c)^2+\cdots

Worked example · Read the ingredients

  1. In ∑n=0∞(x−2)n/3n\sum_{n=0}^{\infty}(x-2)^n/3^n, the centre is c=2c=2 and the coefficients are an=1/3na_n=1/3^n.
  2. The first terms are 1+(x−2)/3+(x−2)2/9+⋯1+(x-2)/3+(x-2)^2/9+\cdots. At x=2x=2, the value is 11.
  3. At a different value, such as x=3x=3, it becomes the numerical geometric series 1+1/3+1/9+⋯1+1/3+1/9+\cdots, which sums to 3/23/2.

Remember: Fixing a value of xx turns a power series into an ordinary numerical series.

2. One series, different behaviour at different inputs

The simplest power series is 1+x+x2+⋯1+x+x^2+\cdots. It is geometric with first term 11 and ratio xx. The geometric formula therefore gives a function representation, but only where ∣x∣<1|x|<1.

At x=1/2x=1/2, its sum is 22. At x=1x=1, it becomes 1+1+1+⋯1+1+1+\cdots and diverges. At x=−1x=-1, its partial sums oscillate. At x=2x=2, the terms grow rather than approach zero.

11−x=∑n=0∞xn(∣x∣<1)\frac{1}{1-x}=\sum_{n=0}^{\infty}x^n\qquad (|x|<1)

Remember: Always attach a convergence condition to a power-series representation.

3. Radius and interval of convergence

A power series has a radius of convergence RR. It converges absolutely for ∣x−c∣<R|x-c|<R and diverges for ∣x−c∣>R|x-c|>R. At the boundary ∣x−c∣=R|x-c|=R, test each endpoint separately.

Think of RR as how far you can move from the centre before reaching a boundary. If R=0R=0, only the centre works. If R=∞R=\infty, every real value works. We discuss real inputs in this lesson.

The interval of convergence includes exactly the real values that work. Round brackets exclude an endpoint; square brackets include it. For example, [−1,1)[-1,1) includes −1-1 and excludes 11.

Worked example · A shifted centre

  1. For ∑n=0∞(x−2)n/3n\sum_{n=0}^{\infty}(x-2)^n/3^n, the geometric ratio is (x−2)/3(x-2)/3.
  2. Solve ∣(x−2)/3∣<1|(x-2)/3|<1: this gives ∣x−2∣<3|x-2|<3, or −1<x<5-1<x<5. The radius is R=3R=3.
  3. At x=−1x=-1, the series is 1−1+1−⋯1-1+1-\cdots and diverges. At x=5x=5, it is 1+1+1+⋯1+1+1+\cdots and diverges. The interval is therefore (−1,5)(-1,5).

Remember: The radius gives the distance from the centre; the interval also records which endpoints converge.

4. Find a radius, then check both endpoints

When a power series is not obviously geometric, the ratio test often helps. Treat the whole term, including its power of xx, as unu_n. Here is an example where only one endpoint belongs to the interval.

∑n=1∞xnn\sum_{n=1}^{\infty}\frac{x^n}{n}
lim⁡n→∞∣un+1un∣=lim⁡n→∞∣x∣nn+1=∣x∣(x≠0)\lim_{n\to\infty}\left|\frac{u_{n+1}}{u_n}\right|=\lim_{n\to\infty}|x|\frac{n}{n+1}=|x|\qquad(x\ne0)

Worked example · One endpoint included

  1. At x=0x=0, every term is zero, so convergence is immediate. For other values, the ratio test gives convergence when ∣x∣<1|x|<1 and divergence when ∣x∣>1|x|>1. Thus c=0c=0 and R=1R=1.
  2. At x=1x=1, the series becomes ∑1/n\sum1/n, the divergent harmonic series.
  3. At x=−1x=-1, the series becomes ∑(−1)n/n\sum(-1)^n/n. The magnitudes 1/n1/n decrease to zero, so the alternating-series test proves convergence.
  4. Combine the interior with the endpoint results: the interval of convergence is [−1,1)[-1,1). The ratio test alone could not settle the endpoints.

Remember: Use a three-step routine: find the interior, substitute the left endpoint, then substitute the right endpoint.

5. Approximate a function with a short polynomial

A partial sum of a power series is a polynomial. Truncating means stopping after finitely many terms. This gives an approximation; it is not usually an exact equality.

For 1/(1−x)1/(1-x), retaining the terms through xNx^N leaves the exact remainder shown below. Inside ∣x∣<1|x|<1, this error tends to zero as NN increases. Near the boundary, more terms may be needed.

11−x=∑n=0Nxn⏟approximation+xN+11−x⏟remainder(∣x∣<1)\frac{1}{1-x}=\underbrace{\sum_{n=0}^{N}x^n}_{\text{approximation}}+\underbrace{\frac{x^{N+1}}{1-x}}_{\text{remainder}}\qquad(|x|<1)
The curve 1/(1 - x) with partial sums 1 + x, 1 + x + x² and 1 + x + x² + x³: inside |x| < 1 each extra term fits the curve more closely.1/(1 - x)1 + x1 + x + x²1 + x + x² + x³-101Trust it onlyinside |x| < 1Inside |x| < 1, every extra term fits the curve more closely

Worked example · An approximation with a known error

  1. Choose x=0.1x=0.1. The exact function value is 1/0.9=1.111111…1/0.9=1.111111\ldots.
  2. Keep terms through x3x^3: 1+0.1+0.01+0.001=1.1111+0.1+0.01+0.001=1.111.
  3. The absolute error is 0.14/0.9=1/9000≈0.00011110.1^4/0.9=1/9000\approx0.0001111. Using the remainder tells us how accurate the answer is.

Remember: A finite sum becomes useful when you also know how much error remains.

6. Familiar functions as power series

Many familiar functions have power-series representations. The formulas below are centred at zero and converge for every real xx. In the sine and cosine formulas, xx is measured in radians.

The factorial n!n! means 1×2×⋯×n1\times2\times\cdots\times n, with 0!=10!=1. For example, 4!=244!=24. Factorials in these denominators make the terms shrink rapidly for a fixed xx.

ex=∑n=0∞xnn!=1+x+x22!+x33!+⋯e^x=\sum_{n=0}^{\infty}\frac{x^n}{n!}=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots
sin⁡x=∑n=0∞(−1)nx2n+1(2n+1)!=x−x33!+x55!−⋯\sin x=\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n+1}}{(2n+1)!}=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\cdots
cos⁡x=∑n=0∞(−1)nx2n(2n)!=1−x22!+x44!−⋯\cos x=\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n}}{(2n)!}=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\cdots

Optional bridge · Where Taylor coefficients come from

  1. If you know derivatives, a Taylor series at cc uses the coefficients an=f(n)(c)/n!a_n=f^{(n)}(c)/n!, where f(n)f^{(n)} means the nnth derivative and f(0)=ff^{(0)}=f.
  2. When c=0c=0, it is called a Maclaurin series. All derivatives of exe^x equal exe^x, so at zero each derivative is 11, giving an=1/n!a_n=1/n!.
  3. A function having derivatives of every order does not alone guarantee it equals its Taylor series. The remainder must tend to zero. The three expansions above do satisfy this condition.

Remember: Power series let us compute complicated functions with polynomial sums; convergence and error determine where the approximation is valid.

Check your understanding

Objective questions

4 multiple-choice questions, with one correct answer each. Try them before revealing the explanations. Your answers stay on this page until you leave or reload.

1. In ∑n=0∞2n(x−3)n\sum_{n=0}^{\infty}2^n(x-3)^n, what are the centre and coefficients?
2. What is the interval of convergence of ∑n=0∞xn\sum_{n=0}^{\infty}x^n?
3. Using ex≈1+x+x2/2!e^x\approx1+x+x^2/2!, what is the approximation at x=0.2x=0.2?
4. What are the centre, radius, and interval of convergence of ∑n=1∞(x−2)n/(n 3n)\sum_{n=1}^{\infty}(x-2)^n/(n\,3^n)?

Choose an answer for all 4 questions to check them.