Hello Future Mathematician! Welcome to the Chapter on Series
Hey there! Welcome to one of the most powerful and elegant chapters in Further Pure Mathematics: Series. Don't worry if the idea of summing infinitely many numbers or representing complex functions as simple polynomials seems intimidating—we're going to break it down step-by-step.
What will you learn? You will learn how to use calculus (differentiation) to create infinite polynomials (called Maclaurin Series) that perfectly mimic tricky functions like \(e^x\) or \(\sin x\). You will also learn powerful techniques, like the Method of Differences, to find the exact sum of complex series that look impossible to handle.
Why is this important? Series are the backbone of modern computation. When your calculator computes \(\sin(10^\circ)\), it's not looking up a value; it's using a polynomial approximation derived from a series! These methods allow us to solve otherwise unsolvable equations and are crucial in physics and engineering.
Section 1: Maclaurin and Taylor Series – The Power of Approximation
4.1.1 The Concept of Power Series
Imagine a complex, curvy function, like \(f(x) = e^x\). This function is hard to deal with algebraically. A simple polynomial, like \(P(x) = 1 + x + \frac{x^2}{2}\), is much easier. The goal of a Maclaurin series is to create a polynomial that matches the original function as closely as possible around a specific point.
How do we match it? We match its characteristics at that point: its value, its slope (first derivative), its concavity (second derivative), and so on, for every derivative!
Maclaurin Series Formula (Centred at x = 0)
The Maclaurin series is a special case of the Taylor series where the expansion is centred around \(x = 0\).
If a function \(f(x)\) has derivatives of all orders at \(x=0\), its Maclaurin expansion is given by:
\[ f(x) = f(0) + xf'(0) + \frac{x^2}{2!}f''(0) + \frac{x^3}{3!}f'''(0) + \cdots + \frac{x^n}{n!}f^{(n)}(0) + \cdots \]
- \(f(0)\): Matches the height (value) at \(x=0\).
- \(f'(0)\): Matches the slope (rate of change) at \(x=0\).
- \(f''(0)\): Matches the curvature at \(x=0\).
- \(n!\) (n factorial): Remember \(n! = n \times (n-1) \times \cdots \times 1\).
Analogy: Think of fitting a glove. The Maclaurin series is a perfect polynomial glove that fits the function exactly at \(x=0\) and tries its best to hug the function as you move away from 0.
Taylor Series (Centred at x = a)
The Taylor Series is the general formula. If we want the polynomial approximation to be accurate around a point \(x=a\) (not just \(x=0\)), we use the Taylor expansion:
\[ f(x) = f(a) + (x-a)f'(a) + \frac{(x-a)^2}{2!}f''(a) + \frac{(x-a)^3}{3!}f'''(a) + \cdots \]
Key Takeaway for Section 1: Maclaurin series are polynomials built using the derivatives of the function evaluated at \(x=0\). They are essential for approximating complex functions.
Section 2: Mastering Standard Maclaurin Expansions
In FP2, you will rarely be asked to derive these expansions from scratch (though you must understand the process). Instead, you must know and be able to use the following standard expansions up to the term in \(x^4\) or \(x^5\).
4.2.1 Mandatory Standard Series
1. Exponential Function: \(e^x\)
\[ e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \cdots \]
(This series is valid for all real values of \(x\).)
2. Sine Function: \(\sin x\)
\[ \sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \]
Memory Aid: Since \(\sin x\) is an Odd function, its Maclaurin expansion only contains Odd powers of \(x\). The signs alternate!
3. Cosine Function: \(\cos x\)
\[ \cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \]
Memory Aid: Since \(\cos x\) is an Even function, its Maclaurin expansion only contains Even powers of \(x\). The signs alternate!
4. Logarithmic Function: \(\ln(1+x)\)
\[ \ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \cdots \]
(This series is only valid for \(-1 < x \le 1\).)
5. Binomial Expansion: \((1+x)^n\)
While often covered earlier, the Maclaurin derivation confirms the standard binomial result:
\[ (1+x)^n = 1 + nx + \frac{n(n-1)}{2!}x^2 + \frac{n(n-1)(n-2)}{3!}x^3 + \cdots \]
(This series is only valid for \(-1 < x < 1\) unless \(n\) is a positive integer.)
Quick Review Box: Standard Expansions
Always check the validity range (or convergence interval) when using log or binomial series!
Key Takeaway for Section 2: Memorise the five standard series. Recognising the pattern (odd/even powers, alternating signs) makes recall much easier.
Section 3: Manipulation and Application of Series
The true skill in FP2 is using substitution, differentiation, and integration to find expansions for functions related to the standard ones, without having to calculate dozens of derivatives.
4.3.1 Finding New Expansions via Substitution
If you need the expansion for \(f(kx)\) or \(f(g(x))\), simply replace \(x\) in the standard series with the new term, and collect terms up to the required power.
Example: Find the expansion for \(\cos(2x)\) up to \(x^4\).
We know the standard series for \(\cos u\):
\[ \cos u = 1 - \frac{u^2}{2!} + \frac{u^4}{4!} - \cdots \]
Step 1: Substitute \(u = 2x\) into the known series:
\[ \cos(2x) = 1 - \frac{(2x)^2}{2!} + \frac{(2x)^4}{4!} - \cdots \]
Step 2: Simplify the powers and factorials:
\[ \cos(2x) = 1 - \frac{4x^2}{2} + \frac{16x^4}{24} - \cdots \]
Step 3: Final Answer:
\[ \cos(2x) = 1 - 2x^2 + \frac{2}{3}x^4 - \cdots \]
4.3.2 Multiplication of Series
To find the expansion of a product (e.g., \(e^x \cos x\)), you must multiply the two standard series together, ensuring you only collect terms up to the power required by the question.
Process Checklist (for finding \(e^x \cos x\) up to \(x^2\)):
- Write out both series up to \(x^2\):
\(e^x \approx 1 + x + \frac{x^2}{2}\)
\(\cos x \approx 1 - \frac{x^2}{2}\) - Multiply the polynomials, term by term (like F.O.I.L.):
\((1 + x + \frac{x^2}{2}) (1 - \frac{x^2}{2})\) - Perform multiplication, ignoring any term that results in a power higher than \(x^2\) (i.e., ignore \(x^3\), \(x^4\), etc.):
\(= 1(1) + 1(-\frac{x^2}{2}) + x(1) + x(-\frac{x^2}{2}) + \frac{x^2}{2}(1) + \cdots\) - Collect terms up to \(x^2\):
\(= 1 + x + (-\frac{x^2}{2} + \frac{x^2}{2}) + \cdots\) - Result: \(e^x \cos x \approx 1 + x\)
Common Mistake to Avoid: When multiplying, do not stop at the lowest power. If the question asks for the term up to \(x^4\), you must include enough terms in your initial series expansions so that the multiplication generates all terms up to \(x^4\).
4.3.3 Differentiation and Integration
If you know the series for \(f(x)\), you can find the series for \(f'(x)\) by differentiating term-by-term. Similarly, you can find the series for \(\int f(x) dx\) by integrating term-by-term (don't forget the constant of integration, \(C\)).
Example: If we know \(\sin x = x - \frac{x^3}{6} + \frac{x^5}{120} - \cdots\), differentiating gives us:
\[ \frac{d}{dx}(\sin x) = 1 - \frac{3x^2}{6} + \frac{5x^4}{120} - \cdots \]
\[ \cos x = 1 - \frac{x^2}{2} + \frac{x^4}{24} - \cdots \]
This confirms the cosine series! You can use this trick to generate complex series if they are derivatives of simpler ones.
Key Takeaway for Section 3: Substitution and multiplication save immense time. Always check the required power and ensure you don't generate terms unnecessarily or miss required terms.
Section 4: Summation of Series – The Method of Differences
This part of the chapter deals with finding the exact sum of a finite series, usually defined by a rational function, using a clever technique called the Method of Differences (or Telescoping Series).
4.4.1 Understanding Telescoping Series
A telescoping series is one where intermediate terms cancel each other out when the series is summed. It's like a collapsible telescope—most sections disappear into the rest, leaving only the first and last parts visible.
This method works if you can express the general term \(u_r\) as the difference of two consecutive terms, \(f(r) - f(r+1)\) or \(f(r+1) - f(r)\).
Prerequisite: Partial Fractions
You almost always need to use Partial Fractions to decompose the general term \(u_r\) into the required difference form.
Example: Summing the series \(\sum_{r=1}^{N} \frac{1}{r(r+1)}\).
Step-by-Step Process:
Step 1: Decompose the General Term (\(u_r\)) using Partial Fractions.
Let \(u_r = \frac{1}{r(r+1)} = \frac{A}{r} + \frac{B}{r+1}\).
Solving for A and B gives \(A=1\) and \(B=-1\).
Therefore, \(u_r = \frac{1}{r} - \frac{1}{r+1}\). (We have successfully written \(u_r\) as \(f(r) - f(r+1)\), where \(f(r) = \frac{1}{r}\)).
Step 2: Write Out the Sum and Observe Cancellation.
We want to find \(S_N = \sum_{r=1}^{N} u_r\).
\(r=1\): \(\quad u_1 = \frac{1}{1} - \frac{1}{2}\)
\(r=2\): \(\quad u_2 = \frac{1}{2} - \frac{1}{3}\)
\(r=3\): \(\quad u_3 = \frac{1}{3} - \frac{1}{4}\)
\(r=N-1\): \(u_{N-1} = \frac{1}{N-1} - \frac{1}{N}\)
\(r=N\): \(\quad u_N = \frac{1}{N} - \frac{1}{N+1}\)
When you sum the vertical columns, notice the immediate cancellation (the \(-\frac{1}{2}\) cancels with the \(+\frac{1}{2}\), the \(-\frac{1}{3}\) cancels with the \(+\frac{1}{3}\), and so on).
Step 3: State the Remaining Terms.
Only the first part of the first term and the second part of the last term remain:
\[ S_N = 1 - \frac{1}{N+1} \]
Step 4 (Extension): Find the Sum to Infinity (\(S_\infty\)).
If the question asks for the sum to infinity, you take the limit as \(N \to \infty\):
\[ S_\infty = \lim_{N\to\infty} \left( 1 - \frac{1}{N+1} \right) = 1 - 0 = 1 \]
4.4.2 Handling Complex Cancellations (Three Terms)
Sometimes the partial fraction decomposition yields three terms, or the difference isn't a simple \(f(r) - f(r+1)\). For example, if you decompose and get \(u_r = f(r) - f(r+2)\), the cancellation is delayed:
\(r=1\): \(\quad u_1 = f(1) - f(3)\)
\(r=2\): \(\quad u_2 = f(2) - f(4)\)
\(r=3\): \(\quad u_3 = f(3) - f(5)\)
...
\(r=N-1\): \(u_{N-1} = f(N-1) - f(N+1)\)
\(r=N\): \(\quad u_N = f(N) - f(N+2)\)
In this case, the cancellation skips a term! When summing, the surviving terms are the first parts of the first two terms (\(f(1)\) and \(f(2)\)) and the second parts of the last two terms (\(-f(N+1)\) and \(-f(N+2)\)).
\[ S_N = f(1) + f(2) - f(N+1) - f(N+2) \]
Trick for Cancellation: Write out the first 3 or 4 terms and the last 3 terms. Draw lines through the pairs that cancel. The terms without a line are your survivors!
Key Takeaway for Section 4: The Method of Differences requires decomposing \(u_r\) into \(f(r) - f(k)\). Write out the first few terms carefully to identify exactly which terms survive the cancellation.
Chapter Summary and Final Encouragement
You have covered two massively important areas of mathematics in this chapter: approximating functions using Maclaurin/Taylor series, and calculating exact sums using the Method of Differences.
Maclaurin Series Focus: Know your standard expansions (\(e^x, \sin x, \cos x, \ln(1+x), (1+x)^n\)) and practice quick substitution and polynomial multiplication.
Summation Focus: Ensure you are strong in Partial Fractions. The Method of Differences is methodical; if you follow the steps and are careful with the cancellation, you will always get the right result.
Did you know? Taylor series were known by Indian mathematicians as early as the 14th century, long before Taylor and Maclaurin formalised them in Europe in the 18th century! This shows the universal power of using infinite polynomials!
Keep practising the manipulations, and remember, mathematics is about structure. Once you master the structure of the series, the calculations become routine. You've got this!