Math AA HL: Maclaurin and Taylor Series Expansions

Power series expansions are among the most transformative tools in higher mathematics, allowing you to represent complex, transcendental functions as infinite polynomials. For IB Math AA HL, mastering Maclaurin and Taylor series is not just an exam requirement; it's a gateway to understanding how calculators approximate values, how engineers model systems, and how physicists simplify complex equations. This knowledge bridges the gap between algebraic manipulation and the deeper behavior of functions.

From Derivatives to Infinite Polynomials: The Maclaurin Series

The core idea is that if a function is infinitely differentiable and well-behaved near a point, we can reconstruct it from the information contained in all its derivatives at that point. The Maclaurin series is the special case where this reconstruction point is $x=0$. It is defined as:

$$f(x)=f(0)+f^{\prime }(0)x+\frac{f^{\prime \prime }(0)}{2!}{x}^2+\frac{f^{\prime \prime \prime }(0)}{3!}{x}^3+...=\sum _{n=0}^{\infty }\frac{f^{(n)}(0)}{n!}{x}^n$$

Let's derive the series for fundamental functions. For $f(x)=e^x$, every derivative is $e^x$, and $e^0=1$. Therefore, the coefficient for every term $\frac{f^{(n)}(0)}{n!}$ is $\frac{1}{n!}$. This gives us the vital expansion:

$$e^x=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\frac{x^4}{4!}+...$$

For the trigonometric functions, we observe a cyclical pattern in the derivatives. For $f(x)=\sin x$, the derivatives at zero are: $0,1,0,-1,...$. This sequence, applied to the Maclaurin formula, yields only the odd-powered terms, alternating in sign:

$$\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+...$$

A similar process for $f(x)=\cos x$ gives the even-powered terms:

$$\cos x=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+...$$

The natural logarithmic function $\ln (1+x)$ requires care, as it is not defined at $x=0$. Its series expansion, derived from integrating the geometric series, is:

$$\ln (1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}-\frac{x^4}{4}+...\text{for }|x|<1$$

Generalizing the Center: The Taylor Series

The Maclaurin series is powerful, but what if we want to approximate a function near a point other than zero, like $\ln x$ near $x=1$ or $\sin x$ near $x=\pi /3$? This is where the Taylor series generalizes the concept. The Taylor series for a function $f(x)$ centered at $x=a$ is:

$$f(x)=f(a)+f^{\prime }(a)(x-a)+\frac{f^{\prime \prime }(a)}{2!}(x-a{)}^2+\frac{f^{\prime \prime \prime }(a)}{3!}(x-a{)}^3+...=\sum _{n=0}^{\infty }\frac{f^{(n)}(a)}{n!}(x-a{)}^n$$

The term $(x-a)$ shifts the "center" of the polynomial expansion. For example, to find the Taylor series for $e^x$ centered at $x=2$, you would compute $f^{(n)}(2)=e^2$ for all $n$, resulting in:

$$e^x=e^2+e^2(x-2)+\frac{e^2}{2!}(x-2{)}^2+\frac{e^2}{3!}(x-2{)}^3+...=e^2\sum _{n=0}^{\infty }\frac{(x-2{)}^n}{n!}$$

This flexibility is crucial for approximating function values at points where a Maclaurin series might converge slowly or not at all.

Convergence: The Radius and Interval of Validity

An infinite series is useless if it doesn't converge to the function's value. For any power series $\sum a_n(x-c{)}^n$, there exists a radius of convergence $R$ (which can be $0$ or $\infty$). For $|x-c|<R$, the series converges absolutely; for $|x-c|>R$, it diverges. The set of all $x$ values for which the series converges is called the interval of convergence.

You determine $R$ primarily using the Ratio Test. For a series $\sum c_n(x-a{)}^n$, compute:

$$L=\underset{n\to \infty }{\lim }\left|\frac{c_{n+1}(x-a{)}^{n+1}}{c_n(x-a{)}^n}\right|=|x-a|\underset{n\to \infty }{\lim }\left|\frac{c_{n+1}}{c_n}\right|$$

The series converges absolutely when $L<1$. This inequality, $|x-a|\cdot \rho <1$ (where $\rho$ is the limit of the coefficient ratio), directly gives $R=1/\rho$. For the series for $\ln (1+x)$, the Ratio Test gives $|x|<1$, so $R=1$. You must then test the endpoints $x=\pm 1$ separately to determine the full interval of convergence. For $\ln (1+x)$, at $x=1$ it converges (alternating harmonic series), and at $x=-1$ it diverges (negative harmonic series), so the interval is $-1<x\le 1$.

Applications: Approximation and Algebraic Manipulation

The primary application is approximating function values. Using the series for $e^x$, you can approximate $e^{0.1}$ using just a few terms:

$$e^{0.1}\approx 1+0.1+\frac{0.01}{2}+\frac{0.001}{6}=1+0.1+0.005+\mathrm{0.000166...}\approx 1.10517$$

The true value is about $1.1051709$, showing remarkable accuracy from just four terms.

You can also combine known series through operations:

• Addition/Subtraction: Add or subtract series term-by-term. For example, $e^x+\sin x$ can be approximated by adding their respective Maclaurin expansions.
• Multiplication: Multiply series as if they were polynomials, collecting like terms. For instance, $e^x\cdot \cos x$ can be found by multiplying their infinite polynomials.
• Substitution: Replace the $x$ in a known series with a function of $x$. To find the series for $e^{-x^2}$, substitute $u=-x^2$ into the series for $e^u$:

$$e^{-x^2}=1+(-x^2)+\frac{(-x^2{)}^2}{2!}+...=1-x^2+\frac{x^4}{2}-\frac{x^6}{6}+...$$

This technique is invaluable for integrating functions like $e^{-x^2}$ that have no elementary antiderivative.

Common Pitfalls

1. Assuming Convergence Everywhere: The most frequent error is using a series outside its interval of convergence. For example, using the standard series $\ln (1+x)=x-x^2/2+...$ to approximate $\ln (3)$ by plugging in $x=2$ will produce a divergent, meaningless result. Always state or check the radius of convergence first.

1. Confusing the Center in the General Term: In the Taylor series formula $\frac{f^{(n)}(a)}{n!}(x-a{)}^n$, the center $a$ is a constant. A common mistake is to incorrectly substitute or differentiate with respect to $a$. Remember, $a$ is the fixed point of expansion, while $x$ is the variable.

1. Neglecting to Test Endpoints: Finding the radius $R$ is only half the job for real-valued functions. The series may converge or diverge at $x=a\pm R$. You must test these endpoints separately using other tests (like the Alternating Series Test or Integral Test) to state the complete interval of convergence.

1. Incorrect Derivative Evaluation: When deriving a series from scratch, a single miscalculation in the $n$th derivative $f^{(n)}(a)$ will corrupt all subsequent terms. Organize your work in a table of $n$, $f^{(n)}(x)$, and $f^{(n)}(a)$ to minimize errors.

Summary

• The Maclaurin series $\sum \frac{f^{(n)}(0)}{n!}{x}^n$ approximates functions near $x=0$, with key results for $e^x$, $\sin x$, $\cos x$, and $\ln (1+x)$.
• The Taylor series $\sum \frac{f^{(n)}(a)}{n!}(x-a{)}^n$ generalizes this to approximate functions near any center $x=a$, providing crucial flexibility.
• Every power series has a radius of convergence $R$, found using the Ratio Test. The interval of convergence requires additionally testing the endpoints $x=a\pm R$.
• These series enable efficient approximation of function values and can be combined through addition, multiplication, and substitution to find series for more complex functions.
• Success hinges on meticulous derivative evaluation, a strict respect for intervals of convergence, and careful handling of the series center.