Techniques of Integration

Integration by parts, which inverts the product rule; partial fractions, which splits a rational integrand into terms the power and logarithm rules reach; and improper integrals, where an unbounded interval or an unbounded integrand turns the integral into a limit that may or may not converge.

Definition

Integration by parts. From the product rule ( u v ) ′ = u ′ v + u v ′ , integrating both sides and rearranging gives

∫ u d v = u v − ∫ v d u ,

or for a definite integral ∫ a b u d v = [ u v ] a b − ∫ a b v d u . The method trades one integral for another, and is worth applying only when the new integral is easier. Choosing u to be the factor that simplifies on differentiation, a power of x , or a logarithm, and d v the factor that is easy to integrate is what makes the trade favourable.

Partial fractions. A proper rational function, one whose numerator degree is below its denominator degree, decomposes into a sum of simpler fractions determined by the denominator's factorisation:

Denominator factorContributes
distinct linear ( x − r ) A x − r
repeated linear ( x − r ) k A 1 x − r + ⋯ + A k ( x − r ) k
irreducible quadratic ( x 2 + p x + q ) A x + B x 2 + p x + q

The coefficients follow from clearing denominators and matching, or from substituting the roots. If the numerator's degree is not lower, polynomial division comes first.

Improper integrals. ∫ a b f is improper when the interval is unbounded or f is unbounded on it. In either case the integral is defined as a limit rather than evaluated directly:

∫ a ∞ f = lim t → ∞ ∫ a t f , ∫ a b f = lim t → c ± ∫ a t f    where  f  blows up at  c .

The integral converges when the limit exists as a finite number and diverges otherwise. An integrand unbounded at an interior point must be split there, and the whole integral converges only if both pieces do.

The p-test. ∫ 1 ∞ x − p d x converges exactly when p > 1 , with value 1 p − 1 ; it diverges for p ≤ 1 . At the other end, ∫ 0 1 x − p d x converges exactly when p < 1 . The boundary case p = 1 diverges at both ends, since the antiderivative is ln ⁡ x , which is unbounded in both directions.

Assumptions and scope

  • Integration by parts trades one integral for another. If the new integral is no easier, the choice of u and d v was wrong, or parts is the wrong method.

  • Partial fractions requires a proper rational function. With numerator degree at least the denominator's, polynomial division must come first or the decomposition has no solution.

  • An improper integral is defined as a limit, not evaluated by substituting the endpoint. Writing F ( ∞ ) − F ( a ) treats infinity as a number.

  • An integrand unbounded at an interior point must be split there. Applying the fundamental theorem across the singularity yields a number that is not the integral, and may have the wrong sign.

  • Both pieces of a split improper integral must converge. If either diverges, the whole diverges, and the divergences do not cancel.

  • A convergent improper integral may have an unbounded integrand, and a bounded integrand over an unbounded interval may diverge. Neither boundedness nor unboundedness settles convergence by itself.

Worked material

Example

Integrals worth recognising on sight

∫ ln ⁡ x d x = x ln ⁡ x − x + C . A single factor, integrated by parts with d v = d x . Memorise it with the reason: the logarithm is easy to differentiate and has no elementary antiderivative in sight, so it must be the u .

∫ x e x d x = x e x − e x + C . The template for a power times an exponential. Each application of parts lowers the power by one, so ∫ x 2 e x d x takes two passes and ∫ x 3 e x d x three.

∫ x ln ⁡ x d x = x 2 2 ln ⁡ x − x 2 4 + C . Over [ 1 , 2 ] this gives 2 ln ⁡ 2 − 3 4 ≈ 0.63629 . The 1 / x from differentiating the logarithm cancels against a power of x , which is what makes the remaining integral elementary.

A repeated linear factor: 3 x + 5 ( x − 1 ) 2 = 3 x − 1 + 8 ( x − 1 ) 2 . A repeated factor contributes one term per power, not a single term. Checking at x = 2 : the left side is 11 1 = 11 , and the right is 3 + 8 = 11 ; at x = 4 both give 1.888 8 ― . Integrating gives 3 ln ⁡ | x − 1 | − 8 x − 1 + C . A logarithm from the first term and a power from the second.

∫ 0 ∞ e − x d x = 1 . The standard convergent improper integral. The partial values climb 0.632 , 0.993 , 0.99995 , 0.999999998 at t = 1 , 5 , 10 , 20 : exponential decay is fast enough that almost all the area sits near the origin. This is the normalisation behind the exponential distribution.

∫ 1 ∞ d x x 2 + 1 = π 4 . The antiderivative is arctan ⁡ x , and the limit is π 2 − π 4 ≈ 0.78540 . The partial values run 0.6857 , 0.7754 , 0.7853 at t = 10 , 100 , 10 4 . Convergence could have been predicted without any antiderivative: the integrand is smaller than x − 2 , whose integral converges.

∫ 0 1 d x x = 2 . Improper at the left endpoint, where the integrand is unbounded. The partial values are 1.3675 , 1.9368 , 1.9980 as s → 0 + . Finite area under an unbounded curve, which is the case worth carrying: unboundedness alone never decides convergence.

Three are parts, two are the decomposition, three are improper, and the improper ones split two to one between convergent and divergent for the same reason each time, the rate at which the integrand approaches its bad point. Reading that rate is what the p-test formalises.

Non-example

Techniques applied where they do not help

Parts in the wrong direction. For ∫ x e x d x , choosing u = e x and d v = x d x gives

∫ x e x d x = x 2 2 e x − ∫ x 2 2 e x d x .

The identity is correct and the result is useless: the new integrand carries x 2 where the original had x . Repeating the choice raises the power again. Nothing has gone wrong except the direction of the trade, which is why the new integral must be inspected before continuing.

Partial fractions on an improper fraction. Attempting

x 2 ( x − 1 ) ( x + 2 ) = A x − 1 + B x + 2

produces no solution: the right side has degree − 1 at best while the left tends to 1 as x → ∞ . Clearing denominators gives x 2 = A ( x + 2 ) + B ( x − 1 ) , a quadratic equal to a linear expression, which fails at the x 2 coefficient. Division first gives 1 + − x + 2 ( x − 1 ) ( x + 2 ) , and the remainder is proper.

Partial fractions where the denominator does not factor. 1 x 2 + 1 has an irreducible quadratic denominator over the reals, so no decomposition into linear pieces exists. Forcing one produces complex coefficients where a real answer was wanted; the integral is arctan ⁡ x , which no amount of splitting will reveal.

Substitution where no inner derivative is present. For ∫ e x 2 d x , setting u = x 2 needs d u = 2 x d x , and there is no x factor to supply it. The substitution cannot be completed. This integral has no elementary antiderivative at all, a theorem, not a failure of ingenuity, which is why the related ∫ e − x 2 d x is handled numerically.

The contrast is ∫ x e x 2 d x , where the x is present and the substitution works immediately, giving 1 2 e x 2 .

Concluding divergence from an unbounded integrand. ∫ 0 1 d x x has an integrand growing without bound as x → 0 + , and it converges, to 2. The partial values 1.3675 , 1.9368 , 1.9980 climb toward it. Unboundedness alone decides nothing: the rate decides it, and p = 1 2 < 1 puts this case on the convergent side of the threshold.

Concluding convergence from a vanishing integrand. ∫ 1 ∞ d x x has an integrand tending to 0 and diverges. Tending to zero is necessary for convergence at infinity but nowhere near sufficient. The decay must beat 1 / x .

The two failures are mirror images, and together they are the reason the p-test is stated as a threshold rather than a rule of thumb.

Splitting that hides a divergence. For ∫ − 1 1 d x x 3 , the two halves are − ∞ and + ∞ , and pairing them symmetrically appears to give 0. That is a different quantity, the Cauchy principal value, and the integral itself diverges, because convergence requires each piece to converge independently.

Common errors

Common misconception

An improper integral is evaluated by substituting ∞ into the antiderivative, so ∫ 1 ∞ d x x = ln ⁡ ∞ − ln ⁡ 1 is a calculation like any other.

Related units

Requires

Learn this topic

Used in

Sources

Results update as you type. Use the up and down arrow keys to move between results, Enter to open one, and Escape to close.

Type to search.

Settings

Appearance

Interface density

Your record

Your progress is stored in this browser and nowhere else: an identifier, the answers you have given, the mastery states and review schedule derived from them, and the lesson you last opened. Clearing it makes you a new learner on this device. It cannot be undone, and it will not affect your appearance or density settings.

Focus timer

Focus--minutes remaining

Phase

Kept in this browser only, and used to label the session in your own history.

Today

Nothing recorded yet. Finish a focus session and it will appear here.

Settings

Focus sessions between long breaks.

Sessions you are aiming for in a day.

Notifications

Your history

Sessions are stored in this browser and nowhere else. They are not evidence and never reach your mastery record.