โž—Calculus II

Key Concepts of Taylor Series

Study smarter with Fiveable

Get study guides, practice questions, and cheatsheets for all your subjects. Join 500,000+ students with a 96% pass rate.

Get Started

Why This Matters

Taylor series let you transform complicated functions into infinite polynomials, and polynomials are functions you actually know how to work with. In Calculus II, you're expected to construct series from derivatives, determine where series converge, and use series to approximate values with known error bounds. These skills build directly on limits, derivatives, and integrals while opening doors to numerical methods used in physics, engineering, and computer science.

Taylor series aren't just about memorizing formulas. They're about understanding why a function can be represented as an infinite sum and how accurately that representation works. On exams, you'll need to recognize which standard series to use, manipulate series through differentiation and integration, and bound your approximation errors. Don't just memorize the series for exe^x or sinโกx\sin x. Know how they're built and where they work.


Foundations: Building the Series

Before you can use Taylor series effectively, you need to understand what they are and how they're constructed. The core idea: any sufficiently smooth function can be expressed as an infinite sum of polynomial terms, where each term captures information from a successive derivative.

Definition of Taylor Series

The general Taylor series centered at aa is:

f(x)=โˆ‘n=0โˆžf(n)(a)n!(xโˆ’a)nf(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!}(x-a)^n

Each term uses the nnth derivative of ff evaluated at the center point aa, divided by n!n!, and multiplied by (xโˆ’a)n(x-a)^n. The series is designed so that at x=ax = a, it matches the function's value, slope, concavity, and all higher-order behavior exactly.

One critical detail: the series only equals the function where it converges. That might be a limited interval around aa, or it might be the entire real line, depending on the function.

Maclaurin Series

A Maclaurin series is just a Taylor series centered at a=0a = 0:

f(x)=โˆ‘n=0โˆžf(n)(0)n!xnf(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!}x^n

This eliminates the (xโˆ’a)(x - a) terms, which simplifies the algebra. Most of the standard series you'll memorize (exe^x, sinโกx\sin x, cosโกx\cos x) are Maclaurin series because their derivatives at zero follow clean patterns. Being centered at zero doesn't guarantee convergence everywhere, though. The same convergence principles apply.

Taylor's Theorem

Taylor's Theorem gives you a way to quantify the error when you truncate the series after nn terms. The Lagrange remainder is:

Rn(x)=f(n+1)(c)(n+1)!(xโˆ’a)n+1R_n(x) = \frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}

for some cc between aa and xx. You don't know the exact value of cc, but you don't need it. You just need a bound on โˆฃf(n+1)โˆฃ|f^{(n+1)}| over that interval.

This theorem connects finite approximation to the infinite series: if Rn(x)โ†’0R_n(x) \to 0 as nโ†’โˆžn \to \infty, then the Taylor series converges to f(x)f(x) at that point.

Compare: Taylor Series vs. Maclaurin Series: both use the same construction principle, but Maclaurin is centered at a=0a = 0 while Taylor can be centered anywhere. If you need to approximate lnโก(1.1)\ln(1.1), a Maclaurin series for lnโก(1+x)\ln(1+x) works perfectly. For lnโก(4.9)\ln(4.9), you'd want a Taylor series centered at a=5a = 5.


Convergence: Where Does the Series Work?

A Taylor series is useless if you don't know where it actually represents the function. Convergence analysis tells you the set of xx-values where the infinite sum equals the original function.

Radius of Convergence

The radius of convergence RR defines how far from the center the series converges. The series converges for โˆฃxโˆ’aโˆฃ<R|x - a| < R and diverges for โˆฃxโˆ’aโˆฃ>R|x - a| > R.

To find RR, use the Ratio Test:

  1. Write out the general term ana_n of your series.
  2. Compute limโกnโ†’โˆžโˆฃan+1anโˆฃ\lim_{n \to \infty} \left| \frac{a_{n+1}}{a_n} \right|.
  3. Set the result less than 1 and solve for โˆฃxโˆ’aโˆฃ|x - a|.
  4. The value on the right side of the inequality is RR.

There are three possibilities: R=0R = 0 (converges only at the center), R=โˆžR = \infty (converges everywhere), or some finite positive value.

Interval of Convergence

The interval of convergence extends the radius by specifying what happens at the endpoints. The interval might be (aโˆ’R,a+R)(a-R, a+R), [aโˆ’R,a+R)[a-R, a+R), (aโˆ’R,a+R](a-R, a+R], or [aโˆ’R,a+R][a-R, a+R].

Endpoints require separate testing. Plug each endpoint into the series and use convergence tests like the alternating series test or pp-series test. Many exam problems specifically ask whether endpoints are included, so never skip this step.

Compare: Radius vs. Interval of Convergence: the radius tells you the distance from center where convergence is guaranteed, while the interval specifies the exact set including or excluding endpoints. The series for lnโก(1+x)\ln(1+x) has R=1R = 1, but its interval is (โˆ’1,1](-1, 1] because it converges at x=1x = 1 (alternating harmonic series) but diverges at x=โˆ’1x = -1 (negative harmonic series).


Standard Series: Your Toolkit

Memorizing these common series saves enormous time on exams. Each one is a Maclaurin series derived from the function's derivative pattern.

Exponential Function exe^x

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

All coefficients are positive because every derivative of exe^x is exe^x, and e0=1e^0 = 1. This series converges for all real xx (infinite radius of convergence).

It's also a foundation for building other series. Substituting โˆ’x-x gives the series for eโˆ’xe^{-x}, substituting x2x^2 gives ex2e^{x^2}, and so on.

Sine Function sinโกx\sin x

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

Only odd powers appear. This happens because sinโก(0)=0\sin(0) = 0 and the even-numbered derivatives of sinโกx\sin x are all zero at x=0x = 0. The alternating signs come from the derivative cycle: sinโก,cosโก,โˆ’sinโก,โˆ’cosโก,sinโก,โ€ฆ\sin, \cos, -\sin, -\cos, \sin, \ldots

Converges for all real xx.

Cosine Function cosโกx\cos x

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

Only even powers appear because cosโก(0)=1\cos(0) = 1 and the odd-numbered derivatives of cosโกx\cos x are all zero at x=0x = 0. Differentiating the sinโกx\sin x series term-by-term yields the cosโกx\cos x series, which is a useful check.

Converges for all real xx.

Geometric Series 11โˆ’x\frac{1}{1-x}

11โˆ’x=โˆ‘n=0โˆžxn=1+x+x2+x3+โ‹ฏ\frac{1}{1-x} = \sum_{n=0}^{\infty} x^n = 1 + x + x^2 + x^3 + \cdots

This converges only for โˆฃxโˆฃ<1|x| < 1. It's the simplest power series and a surprisingly useful starting point. You can substitute โˆ’x-x to get the series for 11+x\frac{1}{1+x}, then integrate term-by-term to derive the series for lnโก(1+x)\ln(1+x) or arctanโกx\arctan x.

Natural Log lnโก(1+x)\ln(1+x)

lnโก(1+x)=โˆ‘n=1โˆž(โˆ’1)n+1xnn=xโˆ’x22+x33โˆ’โ‹ฏ\ln(1+x) = \sum_{n=1}^{\infty} \frac{(-1)^{n+1} x^n}{n} = x - \frac{x^2}{2} + \frac{x^3}{3} - \cdots

This comes from integrating the series for 11+x\frac{1}{1+x}. It converges on (โˆ’1,1](-1, 1]. Notice the endpoint behavior: at x=1x = 1 you get the alternating harmonic series (converges), but at x=โˆ’1x = -1 you get the divergent harmonic series.

Compare: sinโกx\sin x vs. cosโกx\cos x Series: both alternate in sign and converge everywhere, but sinโกx\sin x uses odd powers (starting with xx) while cosโกx\cos x uses even powers (starting with 1). If you forget one on an exam, differentiate or integrate the other.


Working with Series: Operations and Error

Once you have a Taylor series, you can manipulate it and quantify how well finite approximations work. These techniques turn series from theoretical objects into practical computational tools.

Differentiation and Integration of Series

You can differentiate or integrate a power series term-by-term inside its interval of convergence, just as if it were a polynomial.

  • Differentiation: ddx[โˆ‘n=0โˆžanxn]=โˆ‘n=1โˆžnโ‹…anxnโˆ’1\frac{d}{dx}\left[\sum_{n=0}^{\infty} a_n x^n\right] = \sum_{n=1}^{\infty} n \cdot a_n x^{n-1}. The radius of convergence stays the same, though endpoint convergence may change.

  • Integration: โˆซโˆ‘n=0โˆžanxnโ€‰dx=C+โˆ‘n=0โˆžanxn+1n+1\int \sum_{n=0}^{\infty} a_n x^n \, dx = C + \sum_{n=0}^{\infty} \frac{a_n x^{n+1}}{n+1}. This is how you derive series for lnโก(1+x)\ln(1+x) (integrate 11+x\frac{1}{1+x}) and arctanโกx\arctan x (integrate 11+x2\frac{1}{1+x^2}).

Error Bounds and Estimation

Two main tools for bounding error:

Lagrange error bound (works for any Taylor series):

โˆฃRn(x)โˆฃโ‰คMโˆฃxโˆ’aโˆฃn+1(n+1)!|R_n(x)| \leq \frac{M|x-a|^{n+1}}{(n+1)!}

where MM is the maximum of โˆฃf(n+1)(t)โˆฃ|f^{(n+1)}(t)| for tt between aa and xx. The tricky part is finding MM. For exe^x, you can bound the derivative on your interval. For trig functions, all derivatives are bounded by 1.

Alternating series error bound (works only when terms alternate in sign and decrease in absolute value): the error is at most the absolute value of the first omitted term. This is simpler to use when it applies.

A common exam question: "How many terms guarantee error less than 0.001?" You set the appropriate error bound less than 0.001 and solve for nn.

Power Series Representation

Every Taylor series is a power series of the form โˆ‘n=0โˆžan(xโˆ’a)n\sum_{n=0}^{\infty} a_n(x-a)^n, where the coefficients are an=f(n)(a)n!a_n = \frac{f^{(n)}(a)}{n!}.

The uniqueness theorem is important: if a function has a power series representation on an interval, that series must be its Taylor series. This means you can find a Taylor series by any valid method (substitution, multiplication, composition of known series) and be confident it's the right one. You don't always have to compute derivatives directly.

Compare: Lagrange Error vs. Alternating Series Error: Lagrange works for any Taylor series but requires finding a bound MM on the next derivative. The alternating series bound is simpler but only applies when terms alternate in sign and decrease in magnitude. For cosโกx\cos x approximations, the alternating bound is usually easier. For exe^x, you'll need Lagrange.


Applications: Why This All Matters

Taylor series aren't just theoretical. They show up whenever you need to compute, approximate, or simplify.

Applications of Taylor Series

Numerical approximation: Calculators and computers use Taylor polynomials to evaluate functions like sinโกx\sin x, exe^x, and lnโกx\ln x. The factorial in the denominator makes terms shrink fast, so a few terms often give excellent accuracy.

Solving differential equations: When closed-form solutions don't exist, you can assume a power series solution and solve for the coefficients. This technique appears frequently in physics and engineering courses.

Limit evaluation: Replacing functions with their series often simplifies indeterminate forms without repeated applications of L'Hรดpital's Rule.

Compare: Taylor Series vs. L'Hรดpital's Rule for Limits: both handle indeterminate forms, but series substitution often resolves limits in one step that would require multiple L'Hรดpital applications. For limโกxโ†’0sinโกxโˆ’xx3\lim_{x \to 0} \frac{\sin x - x}{x^3}, substitute the series: (xโˆ’x36+โ‹ฏโ€‰)โˆ’xx3=โˆ’x36+โ‹ฏx3=โˆ’16\frac{(x - \frac{x^3}{6} + \cdots) - x}{x^3} = \frac{-\frac{x^3}{6} + \cdots}{x^3} = -\frac{1}{6}.


Quick Reference Table

ConceptBest Examples
Series centered at a=0a = 0Maclaurin series for exe^x, sinโกx\sin x, cosโกx\cos x
Infinite radius of convergenceexe^x, sinโกx\sin x, cosโกx\cos x
Finite radius of convergencelnโก(1+x)\ln(1+x) with R=1R=1, 11โˆ’x\frac{1}{1-x} with R=1R=1
Alternating seriessinโกx\sin x, cosโกx\cos x, lnโก(1+x)\ln(1+x)
All positive termsexe^x, 11โˆ’x\frac{1}{1-x} for 0<x<10 < x < 1
Odd powers onlysinโกx\sin x, arctanโกx\arctan x
Even powers onlycosโกx\cos x
Error estimationLagrange remainder, alternating series bound

Self-Check Questions

  1. What distinguishes a Maclaurin series from a general Taylor series, and when would you choose one over the other for approximating e\sqrt{e}?

  2. The series for exe^x and cosโกx\cos x both converge for all real numbers, yet one has all positive terms while the other alternates. How does this affect which error bound method you'd use for each?

  3. If you know the Taylor series for 11โˆ’x\frac{1}{1-x}, how would you find the series for 1(1โˆ’x)2\frac{1}{(1-x)^2} without computing derivatives directly?

  4. Compare the interval of convergence for lnโก(1+x)\ln(1+x) and 11+x\frac{1}{1+x}. Why do they have the same radius but different endpoint behavior?

  5. An FRQ asks you to approximate โˆซ00.5eโˆ’x2โ€‰dx\int_0^{0.5} e^{-x^2} \, dx with error less than 0.001. Outline the steps you would take, including which series you'd use and how you'd bound the error.