Power Series: Building Functions from Powers
Turn the ideas of infinite series into a way to represent and approximate functions.
A polynomial such as is easy to calculate. A power series extends that idea with infinitely many powers. Its value may depend on where you choose : 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 . The number is the centre, and is the coefficient multiplying the th power. The coefficients do not depend on .
The subscript in labels a coefficient, while the superscript in is an exponent. The first term is the constant . At , every positive-power term vanishes, so the series always converges there to .
Worked example · Read the ingredients
- In , the centre is and the coefficients are .
- The first terms are . At , the value is .
- At a different value, such as , it becomes the numerical geometric series , which sums to .
Remember: Fixing a value of turns a power series into an ordinary numerical series.
2. One series, different behaviour at different inputs
The simplest power series is . It is geometric with first term and ratio . The geometric formula therefore gives a function representation, but only where .
At , its sum is . At , it becomes and diverges. At , its partial sums oscillate. At , the terms grow rather than approach zero.
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 . It converges absolutely for and diverges for . At the boundary , test each endpoint separately.
Think of as how far you can move from the centre before reaching a boundary. If , only the centre works. If , 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, includes and excludes .
Worked example · A shifted centre
- For , the geometric ratio is .
- Solve : this gives , or . The radius is .
- At , the series is and diverges. At , it is and diverges. The interval is therefore .
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 , as . Here is an example where only one endpoint belongs to the interval.
Worked example · One endpoint included
- At , every term is zero, so convergence is immediate. For other values, the ratio test gives convergence when and divergence when . Thus and .
- At , the series becomes , the divergent harmonic series.
- At , the series becomes . The magnitudes decrease to zero, so the alternating-series test proves convergence.
- Combine the interior with the endpoint results: the interval of convergence is . 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 , retaining the terms through leaves the exact remainder shown below. Inside , this error tends to zero as increases. Near the boundary, more terms may be needed.
Worked example · An approximation with a known error
- Choose . The exact function value is .
- Keep terms through : .
- The absolute error is . 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 . In the sine and cosine formulas, is measured in radians.
The factorial means , with . For example, . Factorials in these denominators make the terms shrink rapidly for a fixed .
Optional bridge · Where Taylor coefficients come from
- If you know derivatives, a Taylor series at uses the coefficients , where means the th derivative and .
- When , it is called a Maclaurin series. All derivatives of equal , so at zero each derivative is , giving .
- 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.
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.