Reduction formulae and improper integrals

Q: Which calculus technique is primarily used to derive reduction formulae?

Integration by Parts (IBP) is the primary tool used to derive reduction formulae, using the formula \( \int u \frac{dv}{dx} \, dx = uv - \int v \frac{du}{dx} \, dx \).

Mathematics (9820) · GCE A-Level - Higher 3 (H3) · 9 min read · Updated: 22 Oct 2026

Introduction: Master the "Shortcut" of Integration

Welcome to the world of Reduction Formulae! If you’ve ever looked at an integral like \(\int \sin^{10} x \, dx\) and thought, "There must be a better way than doing Integration by Parts ten times," then you are in the right place.

In H3 Mathematics, we build on your H2 knowledge of calculus. A reduction formula is essentially a mathematical staircase. It allows us to express a difficult integral with a high power (like \(n\)) in terms of a simpler version of itself with a lower power (like \(n-1\) or \(n-2\)). Once we have this relationship, we can "step down" the stairs until we reach an integral so simple we can solve it instantly!

What exactly is a Reduction Formula?

A reduction formula is an equation that links an integral containing a parameter (usually an integer \(n\)) to a similar integral with a smaller value of that parameter.

We usually denote these integrals as \(I_n\). For example:
\(I_n = \int x^n e^x \, dx\)
A reduction formula for this might look like \(I_n = x^n e^x - n I_{n-1}\). This tells us that if we want to know \(I_5\), we just need to know \(I_4\), and so on.

Did you know? Reduction formulae are like the "Recursive Functions" you might see in computer science. They solve a big problem by breaking it down into a slightly smaller version of the same problem.

The Secret Sauce: Integration by Parts (IBP)

To derive almost any reduction formula, we use our trusty tool from H2: Integration by Parts.
As a quick refresher, the formula is:
\( \int u \frac{dv}{dx} \, dx = uv - \int v \frac{du}{dx} \, dx \)

Don't worry if this seems tricky at first! The goal is always to choose \(u\) and \(dv\) so that the second integral (\( \int v \frac{du}{dx} \, dx \)) looks like the original integral but with a lower power.

Step-by-Step Guide to Deriving a Formula

1. Label your integral: Call the original expression \(I_n\).
2. Split the term: If you have \(x^n\), you might keep it as \(u\). If you have \(\sin^n x\), you might split it into \(\sin^{n-1} x \cdot \sin x\).
3. Apply IBP: Differentiate your chosen \(u\) and integrate your chosen \(dv\).
4. Rearrange: Move all terms that look like the original integral to one side of the equation.
5. Identify \(I_{n-k}\): Replace the new, simpler integral with its label (like \(I_{n-1}\) or \(I_{n-2}\)).

Quick Review Box:
- Goal: Connect \(I_n\) to \(I_{n-1}\) or \(I_{n-2}\).
- Main Tool: Integration by Parts.
- Key Move: Algebraic rearrangement.

Example 1: The Algebraic Power

Let's find a reduction formula for \(I_n = \int x^n e^x \, dx\).

Step 1: Choose u and dv.
Let \(u = x^n\) and \(\frac{dv}{dx} = e^x\).
Then \(\frac{du}{dx} = nx^{n-1}\) and \(v = e^x\).

Step 2: Apply IBP.
\(I_n = x^n e^x - \int (nx^{n-1}) e^x \, dx\)

Step 3: Simplify and link.
We can pull the constant \(n\) out of the integral:
\(I_n = x^n e^x - n \int x^{n-1} e^x \, dx\)
Notice that \(\int x^{n-1} e^x \, dx\) is just our original \(I_n\) but with \(n-1\) instead of \(n\)!
So, \(I_n = x^n e^x - n I_{n-1}\).

Ta-da! You've just derived your first reduction formula.

Example 2: The Trigonometric Trick

Sometimes you need to use a trigonometric identity after IBP. Let's look at \(I_n = \int \sin^n x \, dx\).

The Trick: Split \(\sin^n x\) into \(\sin^{n-1} x \cdot \sin x\).
Let \(u = \sin^{n-1} x\) and \(\frac{dv}{dx} = \sin x\).
Differentiating \(u\): \(\frac{du}{dx} = (n-1)\sin^{n-2} x \cos x\).
Integrating \(dv\): \(v = -\cos x\).

Applying IBP:
\(I_n = -\sin^{n-1} x \cos x - \int (-\cos x)(n-1)\sin^{n-2} x \cos x \, dx\)
\(I_n = -\sin^{n-1} x \cos x + (n-1) \int \sin^{n-2} x \cos^2 x \, dx\)

The Identity: Use \(\cos^2 x = 1 - \sin^2 x\).
\(I_n = -\sin^{n-1} x \cos x + (n-1) \int \sin^{n-2} x (1 - \sin^2 x) \, dx\)
\(I_n = -\sin^{n-1} x \cos x + (n-1) [\int \sin^{n-2} x \, dx - \int \sin^n x \, dx]\)
\(I_n = -\sin^{n-1} x \cos x + (n-1)I_{n-2} - (n-1)I_n\)

Final Rearrangement:
Bring \(-(n-1)I_n\) to the left side:
\(I_n + (n-1)I_n = -\sin^{n-1} x \cos x + (n-1)I_{n-2}\)
\(n I_n = -\sin^{n-1} x \cos x + (n-1)I_{n-2}\)
\(I_n = \frac{1}{n} [-\sin^{n-1} x \cos x + (n-1)I_{n-2}]\)

Key Takeaway: For trig functions like \(\sin^n x\) or \(\cos^n x\), you usually step down by two (\(I_{n-2}\)) rather than one.

Working with Definite Integrals

In exam questions, you are often asked to evaluate a definite integral with limits. The process is the same, but you must evaluate the \(uv\) part at the limits.

The "Base Case": To find a specific value like \(I_4\), you keep applying the formula until you hit \(I_0\) or \(I_1\).
- \(I_0\) is usually very easy. If \(I_n = \int_0^{\pi/2} \sin^n x \, dx\), then \(I_0 = \int_0^{\pi/2} 1 \, dx = \frac{\pi}{2}\).
- \(I_1\) is just the standard integral of the function.

Common Mistakes to Avoid

1. Forgetting the "n" coefficient: When you integrate by parts, that \(n\) or \(n-1\) from the power often ends up as a multiplier. Don't let it disappear!
2. Sign errors: Especially with trig integrals (like \(\int \sin x = -\cos x\)), it’s very easy to lose a minus sign. Use brackets to keep your work clean.
3. Mislabeling the subscript: Make sure your \(I_{n-1}\) really matches the definition of \(I_n\). If the limits changed or the function changed, it might not be the same series.

Summary and Key Takeaways

1. Definition: A reduction formula expresses \(I_n\) in terms of \(I_{n-1}\), \(I_{n-2}\), etc.
2. Technique: Integration by Parts is your primary weapon.
3. Strategy: For algebraic terms like \(x^n\), differentiate the \(x^n\). For trig terms like \(\sin^n x\), split off one factor to integrate.
4. Application: Use the formula repeatedly to reduce a high-power integral down to a "base case" that you can solve easily.

Keep practicing! Reduction formulae can look intimidating because the equations are long, but the steps are always the same. You're just building a staircase to the answer!

Welcome to the World of Improper Integrals!

Hi there! You’ve already mastered standard integration in H2 Mathematics, where we usually find the area under a curve between two nice, fixed points. But what happens if the area stretches out forever toward infinity? Or what if the function itself shoots up to infinity somewhere in the middle?

In this chapter, we are going to learn how to handle these "rule-breaking" integrals. Don't worry if this seems tricky at first—once you see the pattern, it’s just H2 integration with a "limit" twist at the end. Let’s dive in!

1. What Makes an Integral "Improper"?

A "proper" integral (the ones you did in H2) has a finite interval and a function that stays "well-behaved" (it doesn't blow up to infinity). An improper integral is one where at least one of these two things happens:

Infinite Limits: The interval of integration is infinite (e.g., from 1 to \(\infty\)).
Infinite Discontinuities: The function being integrated goes to \(\infty\) or \(-\infty\) at or between the limits of integration.

Analogy: Think of a proper integral like painting a wall of a specific size. An improper integral is like trying to paint a hallway that never ends, or a wall that is infinitely tall. Surprisingly, sometimes you only need a finite amount of paint to do it!

2. Type 1: Infinite Limits of Integration

These are easy to spot because you will see the \(\infty\) symbol on the top or bottom of the integral sign.

To solve these, we don't just "plug in" infinity (because infinity isn't a number!). Instead, we replace the infinity with a variable (like \(b\)) and then see what happens as \(b\) gets bigger and bigger using limits.

How to Solve:

If we have \(\int_{a}^{\infty} f(x) dx\), we write it as:
\( \lim_{b \to \infty} \int_{a}^{b} f(x) dx \)

Step-by-Step Example: Evaluate \(\int_{1}^{\infty} \frac{1}{x^2} dx\)

Replace: \(\lim_{b \to \infty} \int_{1}^{b} x^{-2} dx\)
Integrate: \(\lim_{b \to \infty} [-\frac{1}{x}]_{1}^{b}\)
Substitute: \(\lim_{b \to \infty} (-\frac{1}{b} - (- \frac{1}{1})) = \lim_{b \to \infty} (1 - \frac{1}{b})\)
Apply Limit: As \(b\) goes to \(\infty\), \(\frac{1}{b}\) goes to \(0\). So, the answer is \(1 - 0 = \mathbf{1}\).

Did you know? Even though the area goes on forever horizontally, the total area is exactly 1 unit! We call this a Convergent integral.

Key Takeaway:

If the limit results in a finite number, the integral converges. If the limit is \(\infty\) or doesn't exist, the integral diverges.

3. Type 2: Infinite Discontinuities

These are "sneakier" because the limits might look like normal numbers, but the function "explodes" at a certain point. This happens often when there is a zero in the denominator.

Example: \(\int_{0}^{1} \frac{1}{\sqrt{x}} dx\). At \(x = 0\), the function \(\frac{1}{\sqrt{x}}\) is undefined (division by zero).

How to Solve:

We replace the "problem point" with a variable (like \(t\)) and approach it from the safe side.

\( \lim_{t \to 0^+} \int_{t}^{1} x^{-1/2} dx \)

Quick Calculation:
\(= \lim_{t \to 0^+} [2\sqrt{x}]_{t}^{1}\)
\(= \lim_{t \to 0^+} (2\sqrt{1} - 2\sqrt{t})\)
\(= 2 - 0 = \mathbf{2}\). (This integral converges!)

Memory Aid: The "Safety First" Rule

If you see a number in the integral that makes the denominator zero, stop! Don't just integrate. Treat it as a limit approaching that "danger zone."

4. Convergence vs. Divergence

This is a major part of H3 Mathematics. You aren't just calculating; you are determining if a value even exists.

Convergent: The area is finite. The limit exists and is a real number.
Divergent: The area is infinite. The limit is \(\infty\), \(-\infty\), or oscillates.

Quick Review: The p-test (Very useful for multiple choice or quick checks!)
For \(\int_{1}^{\infty} \frac{1}{x^p} dx\):
- It converges if \(p > 1\)
- It diverges if \(p \leq 1\)

5. Common Mistakes to Avoid

The "Blind Integration" Trap:
Consider \(\int_{-1}^{1} \frac{1}{x^2} dx\).
If you integrate blindly, you get \([-\frac{1}{x}]_{-1}^{1} = -1 - (1) = -2\).
Wait! \(\frac{1}{x^2}\) is always positive, so the area can't be negative. The mistake is ignoring the discontinuity at \(x = 0\). You must split this into two integrals: \(\int_{-1}^{0} \dots + \int_{0}^{1} \dots\) and check both. If even one diverges, the whole thing diverges!

Mixing up Limits:
Always write the limit notation (\(\lim_{b \to \infty}\)) in every step until you actually apply it. This keeps your working mathematically sound for the examiners.

6. Summary and Final Checklist

Before you finish a problem, ask yourself:

Does the integral have an \(\infty\) in the limits? (Type 1)
Does the function blow up anywhere in the interval? (Type 2)
Did I replace the problem point with a limit?
Does the final limit result in a finite number (Convergent) or not (Divergent)?

Key Takeaway: Improper integrals are just regular integrals with a limit attached to handle "infinity" safely. Master the limit notation, and you've mastered the chapter!

Quick check

Can you answer these now?

Open each question to check the key ideas from this chapter.

What is the definition of a reduction formula in mathematics?

A reduction formula is an equation that expresses an integral containing a parameter \(n\) in terms of a similar integral with a lower value of that parameter (e.g., \(I_{n-1}\) or \(I_{n-2}\)).

What does the notation \(I_n\) represent in reduction formulae?

\(I_n\) denotes an integral that is a function of a parameter \(n\), which is usually an integer representing a power within the integrand.

Which calculus technique is primarily used to derive reduction formulae?

Integration by Parts (IBP) is the primary tool used to derive reduction formulae, using the formula \( \int u \frac{dv}{dx} \, dx = uv - \int v \frac{du}{dx} \, dx \).

What are the general steps to derive a reduction formula?

Label the integral \(I_n\), split the terms to choose \(u\) and \(dv\), apply IBP, rearrange the equation, and identify the new integral as a lower-order term like \(I_{n-1}\).

What is the reduction formula for \(I_n = \int x^n e^x \, dx\)?

\(I_n = x^n e^x - n I_{n-1}\).

What is the "trick" for splitting trigonometric integrals like \(\int \sin^n x \, dx\)?

Split the expression into \(\sin^{n-1} x \cdot \sin x\), setting \(u = \sin^{n-1} x\) and \(\frac{dv}{dx} = \sin x\).

How is a trigonometric identity used to finalize the reduction of \(\int \sin^n x \, dx\)?

The identity \(\cos^2 x = 1 - \sin^2 x\) is substituted into the result of the IBP to convert all terms back into powers of sine, allowing the integral to be expressed as \(I_{n-2}\) and \(I_n\).

What is the common step-down value for trigonometric reduction formulae?

Trigonometric functions like \(\sin^n x\) or \(\cos^n x\) usually step down by two, linking \(I_n\) to \(I_{n-2}\).

What is a "base case" in the context of definite reduction integrals?

The base case is the final, simplest integral (usually \(I_0\) or \(I_1\)) reached after repeatedly applying the reduction formula to evaluate a specific numerical value.

What are the most common pitfalls when applying reduction formulae?

The three main mistakes are forgetting the constant coefficients (like \(n\)), making sign errors during Integration by Parts, and mislabeling subscripts.

What are the two conditions that make a definite integral "improper"?

An integral is improper if it has infinite limits of integration (e.g., \(\infty\)) or if the function has an infinite discontinuity at or between the limits.

How is an integral with an infinite upper limit, such as \(\int_{a}^{\infty} f(x) dx\), mathematically evaluated?

It is evaluated by replacing the infinity with a variable and taking the limit: \( \lim_{b \to \infty} \int_{a}^{b} f(x) dx \).

What does it mean for an improper integral to "converge" versus "diverge"?

An integral converges if the resulting limit is a finite real number; it diverges if the limit is infinite or does not exist.

How should you set up the limit for an integral with a discontinuity at the lower limit \(a\)?

You replace the lower limit with a variable and approach it from the right: \( \lim_{t \to a^+} \int_{t}^{b} f(x) dx \).

What is the "p-test" for the convergence of the integral \(\int_{1}^{\infty} \frac{1}{x^p} dx\)?

The integral converges if \(p > 1\) and diverges if \(p \leq 1\).

What must you do if an infinite discontinuity occurs at a point \(c\) that is in the middle of the integration interval \([a, b]\)?

The integral must be split into two separate improper integrals at the point of discontinuity: \(\int_{a}^{c} f(x) dx + \int_{c}^{b} f(x) dx\).

Why is it vital to maintain the \(\lim\) notation throughout your steps when solving improper integrals?

Infinity is not a real number and cannot be treated with standard arithmetic; the limit notation is required for mathematical validity.

Ready to test yourself?

Turn these notes into exam-style practice. Get unlimited AI questions on this topic with instant marking and explanations.

Practise This Topic

More Mathematics (9820) chapters

* The content provided by thinka is generated by AI and may not always be accurate or up-to-date. Please use it as a supplementary resource and verify with official materials.

Put These Notes into Practice

Reading the notes is a great start. Now practise with unlimited AI-generated questions and get instant feedback. 100,000+ students are already improving their grades.

Start Practising Now View Pricing

Done reading? Test yourself with AI practice questions

Practise This Topic Now