IB Math AA HL: Maclaurin Series and Limits

Understanding Maclaurin series is a pivotal moment in your IB Math AA HL journey, where calculus, analysis, and algebra converge. This topic equips you to represent complex functions as infinite polynomials, providing an incredibly powerful tool for approximation, computation, and theoretical understanding. Mastering this, along with the advanced technique of L'Hôpital's rule for evaluating tricky limits, transforms how you analyze function behavior and is essential for tackling the rigorous problems in Paper 3.

1. The Foundation: What is a Maclaurin Series?

A Maclaurin series is a specific type of power series—an infinite sum of terms of the form $a_n{x}^n$—that represents a function $f(x)$ as a polynomial centered at $x=0$. The series is constructed from the function's derivatives at zero. The formal definition states that if a function $f$ is infinitely differentiable at $x=0$, its Maclaurin series is given by:

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

The logic is elegant: the constant term matches the function's value at zero, the linear term matches its slope, the quadratic term matches its concavity, and so on. The more terms you include, the more closely the polynomial approximates the original function, at least near $x=0$. This is not just a theoretical construct; it is the engine behind how calculators compute functions like $sin(x)$ or $e^x$.

2. Deriving Standard Maclaurin Series

You must be able to derive series for key functions from the definition. The process is systematic: compute derivatives, evaluate them at $x=0$, and identify the pattern.

• Exponential Function, $e^x$: Here, $f^{(n)}(x)=e^x$ for all $n$. Since $e^0=1$, every derivative at zero is $1$. Substituting into the formula gives the beautifully simple series:

$$e^x=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\frac{x^4}{4!}+\cdots =\sum _{n=0}^{\infty }\frac{x^n}{n!}$$

• Trigonometric Functions, $sinx$ and $cosx$: The derivatives of $sinx$ cycle through $sinx$, $cosx$, $-sinx$, $-cosx$. Evaluating at zero gives the sequence: $0,1,0,-1,0,1,...$. This pattern yields series with only odd (for sine) or even (for cosine) powers:

$$\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots =\sum _{n=0}^{\infty }\frac{(-1{)}^n{x}^{2n+1}}{(2n+1)!}$$ $$\cos x=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\cdots =\sum _{n=0}^{\infty }\frac{(-1{)}^n{x}^{2n}}{(2n)!}$$

• Logarithmic Function, $ln(1+x)$: This is defined for $-1<x\le 1$. Its derivatives produce a factorial pattern, leading to the alternating series:

$$\ln (1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}-\frac{x^4}{4}+\cdots =\sum _{n=1}^{\infty }\frac{(-1{)}^{n+1}{x}^n}{n}$$

Memorizing these standard series is essential, as is knowing how to manipulate them (e.g., substituting $-x$ to find the series for $e^{-x}$ or $ln(1-x)$).

3. Convergence: Where Does the Series Actually Work?

A Maclaurin series is not a valid representation of a function for all values of $x$. The radius of convergence $R$ is a non-negative number such that the series converges absolutely for $|x|<R$ and diverges for $|x|>R$. The interval of convergence is the actual set of $x$-values for which the series converges, which you find by testing the endpoints $x=\pm R$ separately.

For example, the geometric series $1/(1-x)=1+x+x^2+...$ has a radius of convergence $R=1$. It converges for $-1<x<1$, but you must check endpoints: at $x=1$ it diverges (harmonic-type), and at $x=-1$ it diverges as well. The Ratio Test is your primary tool for finding $R$. You calculate $L={\lim }_{n\to \infty }\left|\frac{a_{n+1}}{a_n}\right|$, and the series converges when $L<1$, which gives the condition $|x|<R$.

4. L'Hôpital's Rule for Indeterminate Limits

When directly substituting into a limit yields an indeterminate form like $0/0$ or $\infty /\infty$, L'Hôpital's rule provides a powerful escape. The rule states that for such forms:

$$\underset{x\to a}{\lim }\frac{f(x)}{g(x)}=\underset{x\to a}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}$$

provided the limit on the right exists or is infinite. You can apply the rule repeatedly if the result remains indeterminate.

Worked Example: Evaluate ${\lim }_{x\to 0}\frac{e^x-1-x}{x^2}$.

1. Substitution gives $0/0$, so apply L'Hôpital: ${\lim }_{x\to 0}\frac{e^x-1}{2x}$.
2. This is still $0/0$. Apply L'Hôpital a second time: ${\lim }_{x\to 0}\frac{e^x}{2}$.
3. Now, direct substitution works: $e^0/2=1/2$.

This limit is actually the coefficient of the $x^2$ term in the Maclaurin series for $e^x$, beautifully linking the two concepts.

5. Computational Approximation and Error Analysis

The primary application of Maclaurin series is to approximate functions for computation. By truncating the infinite series after a finite number of terms, you get a polynomial that is easy to evaluate. For instance, a calculator might use the first 10 terms of the series for $sinx$ to compute its value.

The error in this approximation is given by the Lagrange form of the remainder: $$R_n(x)=\frac{f^{(n+1)}(c)}{(n+1)!}{x}^{n+1}$$ for some $c$ between $0$ and $x$. This allows you to determine how many terms $n$ are needed to achieve a desired accuracy. If you need to estimate $sin(0.1)$ to within $10^{-8}$, you can use the alternating series error bound: the error is less than the absolute value of the first omitted term. Since the series for $sinx$ alternates and decreases, $|R_3(0.1)|<|0.1^5/5!|\approx 8.3\times 10^{-8}$, so the first three terms ($x-x^3/6$) suffice.

Common Pitfalls

1. Assuming Convergence Everywhere: The most frequent error is using a Maclaurin series outside its interval of convergence. Always state or determine the radius of convergence. The series for $ln(1+x)$ does not converge for $x=2$, so you cannot use it there.

1. Misapplying L'Hôpital's Rule: The rule only applies to indeterminate forms of type $0/0$ or $\infty /\infty$. Applying it to forms like $1^{\infty }$ or $0\cdot \infty$ without first rewriting them (e.g., using logarithms or algebraic manipulation) is incorrect. For ${\lim }_{x\to 0^{+}}x\ln x$ (type $0\cdot \infty$), rewrite it as $\frac{\ln x}{1/x}$ to get the $\infty /\infty$ form before applying the rule.

1. Confusing the Series with the Function: A function and its Maclaurin series are equal only where the series converges to the function. For some pathological functions, the series may converge to a value different from the function, or not converge at all. However, for the standard functions in this course, they are equal within the radius of convergence.

1. Neglecting to Check Endpoints: When finding an interval of convergence, finding $R$ is only half the job. You must test convergence at $x=a+R$ and $x=a-R$ separately, as the series may converge at one, both, or neither endpoint.

Summary

• A Maclaurin series represents a function as an infinite polynomial centered at $x=0$, built from its derivatives at that point: $f(x)=\sum \frac{f^{(n)}(0)}{n!}{x}^n$.
• You must know how to derive and apply the standard series for $e^x$, $sinx$, $cosx$, and $ln(1+x)$, and manipulate them through substitution and combination.
• Every power series has a radius of convergence $R$. The series converges absolutely for $|x|<R$ and diverges for $|x|>R$. Always use the Ratio Test to find $R$ and test the endpoints to find the full interval.
• L'Hôpital's rule is the definitive method for evaluating limits of the indeterminate forms $0/0$ and $\infty /\infty$. It involves differentiating the numerator and denominator separately.
• Truncated Maclaurin series provide efficient polynomial approximations for functions. The Lagrange remainder or alternating series error bound allows you to quantify the approximation error.