Techniques of Integration

Learning Objectives

  • Select an integration technique from the algebraic structure of the integrand.
  • Apply substitution and integration by parts with mathematically valid choices.
  • Integrate powers and products of trigonometric functions using parity-aware identities.
  • Use trigonometric substitutions with explicit domain and sign assumptions.
  • Decompose rational functions into partial fractions and integrate the resulting terms.
  • Apply Wallis' formula, reduction formulas, hyperbolic identities, and Gamma/Beta functions where appropriate.
  • Verify indefinite integrals by differentiation.

Integration techniques are transformations that convert a difficult integral into one or more standard integrals. No single mnemonic determines the correct method in every case; the structure of the integrand, available derivatives, algebraic identities, and domain assumptions all matter.

Verification Standard

For an indefinite integral, a proposed antiderivative F(x)+CF(x)+C is correct on an interval if F′(x)F'(x) equals the original integrand throughout that interval. Differentiating the final result is the most direct verification.

Integration by Substitution

Substitution Rule

If u=g(x)u=g(x) and du=g′(x) dxdu=g'(x)\,dx, then

∫f(g(x))g′(x) dx=∫f(u) du.\int f(g(x))g'(x)\,dx=\int f(u)\,du.

The method reverses the chain rule.

Choosing and Applying a Substitution

  • Look for a repeated inner expression g(x)g(x) whose derivative is also present up to a constant factor.
  • Set u=g(x)u=g(x) and compute du=g′(x) dxdu=g'(x)\,dx.
  • Rewrite the entire integrand in terms of uu; do not leave a mixture of xx and uu.
  • Integrate in uu and back-substitute for indefinite integrals.
  • For definite integrals, either change the bounds to uu-values immediately or back-substitute before evaluating; do not mix the two procedures.

Rationalizing Substitution

For radicals such as ax+bn\sqrt[n]{ax+b}, a substitution like u=ax+bnu=\sqrt[n]{ax+b} can eliminate the fractional power because un=ax+bu^n=ax+b and nun−1du=a dxn u^{n-1}du=a\,dx.

Integration by Parts

Integration by Parts

Reverse form of the product rule.

∫u dv=uv−∫v du.\int u\,dv=uv-\int v\,du.

LIATE Is a Heuristic, Not a Theorem

LIATE—Logarithmic, Inverse trigonometric, Algebraic, Trigonometric, Exponential—is a useful priority guide for choosing uu, but it does not guarantee the simplest path and it does not make other valid choices mathematically wrong. A good choice typically makes dudu simpler while leaving dvdv easy to integrate.

Integration by Parts Workflow

  • Split the integrand into a differentiable factor uu and an integrable factor dvdv.
  • Compute dudu and vv.
  • Apply ∫u dv=uv−∫v du\int u\,dv=uv-\int v\,du.
  • Check whether the new integral is simpler, whether repeated integration by parts is useful, or whether a cyclic equation appears.
  • Differentiate the final antiderivative to verify it.

Tabular Integration by Parts

The tabular method is efficient when one factor differentiates to zero after finitely many derivatives, commonly a polynomial, while the other factor can be integrated repeatedly, commonly an exponential or sine/cosine function.

Tabular Method

  • Differentiate the polynomial column until zero.
  • Repeatedly integrate the other factor.
  • Apply alternating signs +,−,+,−,…+,-,+,-,\ldots.
  • Multiply diagonal pairs and sum them.
  • Differentiate the result as a final check.

Interactive Simulation

The simulation treats LIATE as guidance and distinguishes a convenient choice from another mathematically valid choice.

Integration by Parts Choice Explorer

∫xex dx\int x e^x\,dx

LIATE is a heuristic for convenience, not a theorem that makes every other split wrong.

Compare valid splits
u=x,dv=ex dxu=x,\qquad dv=e^x\,dx

Recommended. Differentiating x simplifies immediately.

Reference result and derivative check

∫xex dx=ex(x−1)+C\int xe^x\,dx=e^x(x-1)+C
ddx[ex(x−1)]=xex\frac{d}{dx}[e^x(x-1)]=xe^x

Reduction Formulas

Examples of Reduction Formulas

For integer n≥2n\ge2,

∫sin⁡nx dx=−sin⁡n−1xcos⁡xn+n−1n∫sin⁡n−2x dx,\int \sin^n x\,dx=-\frac{\sin^{n-1}x\cos x}{n}+\frac{n-1}{n}\int\sin^{n-2}x\,dx,∫cos⁡nx dx=cos⁡n−1xsin⁡xn+n−1n∫cos⁡n−2x dx.\int \cos^n x\,dx=\frac{\cos^{n-1}x\sin x}{n}+\frac{n-1}{n}\int\cos^{n-2}x\,dx.

These identities reduce the exponent by two and are obtained by integration by parts.

Trigonometric Integrals

Powers of Sine and Cosine

Strategy for ∫sin⁡mxcos⁡nx dx\int \sin^m x\cos^n x\,dx

  • If mm is odd and positive, save one sin⁡x\sin x, convert the remaining even sine power using sin⁡2x=1−cos⁡2x\sin^2x=1-\cos^2x, and use u=cos⁡xu=\cos x.
  • If nn is odd and positive, save one cos⁡x\cos x, convert the remaining even cosine power using cos⁡2x=1−sin⁡2x\cos^2x=1-\sin^2x, and use u=sin⁡xu=\sin x.
  • If both powers are even, use power-reduction identities such as sin⁡2x=(1−cos⁡2x)/2\sin^2x=(1-\cos2x)/2 and cos⁡2x=(1+cos⁡2x)/2\cos^2x=(1+\cos2x)/2.

Powers of Tangent and Secant

Strategy for ∫tan⁡mxsec⁡nx dx\int \tan^m x\sec^n x\,dx

  • If nn is even and n≥2n\ge2, save one factor sec⁡2x dx\sec^2x\,dx, convert the remaining even secant power with sec⁡2x=1+tan⁡2x\sec^2x=1+\tan^2x, and use u=tan⁡xu=\tan x.
  • If mm is odd, m≥1m\ge1, and at least one factor of sec⁡x\sec x is present, save sec⁡xtan⁡x dx\sec x\tan x\,dx, convert the remaining even tangent power with tan⁡2x=sec⁡2x−1\tan^2x=\sec^2x-1, and use u=sec⁡xu=\sec x.
  • If the required differential factor is not actually present, do not invent it. For example, a pure odd power of secant generally requires a reduction formula or integration by parts rather than the u=sec⁡xu=\sec x shortcut.

The Choice Depends on Both Powers

A statement such as “odd tangent power implies save sec⁡xtan⁡x\sec x\tan x” is incomplete unless a secant factor is available. Always inspect the full product before selecting the saved factor.

Trigonometric Substitution

Trigonometric substitutions transform quadratic radicals by using Pythagorean identities. Because z2=∣z∣\sqrt{z^2}=|z|, the usual simplifications require an explicit angle interval or sign branch.

Three Standard Forms with Sign Conditions

Assume a>0a>0.

  • For a2−x2\sqrt{a^2-x^2}, use x=asin⁡θx=a\sin\theta with θ∈[−π/2,π/2]\theta\in[-\pi/2,\pi/2]. Then cos⁡θ≥0\cos\theta\ge0 and a2−x2=acos⁡θ\sqrt{a^2-x^2}=a\cos\theta.
  • For a2+x2\sqrt{a^2+x^2}, use x=atan⁡θx=a\tan\theta with θ∈(−π/2,π/2)\theta\in(-\pi/2,\pi/2). Then sec⁡θ>0\sec\theta>0 and a2+x2=asec⁡θ\sqrt{a^2+x^2}=a\sec\theta.
  • For x2−a2\sqrt{x^2-a^2} on the branch x≥ax\ge a, use x=asec⁡θx=a\sec\theta with θ∈[0,π/2)\theta\in[0,\pi/2). Then tan⁡θ≥0\tan\theta\ge0 and x2−a2=atan⁡θ\sqrt{x^2-a^2}=a\tan\theta. A negative-xx branch requires a corresponding sign-aware choice.

Interactive Simulation

The simulation displays the absolute-value step first, then shows which interval assumption permits the simplified radical.

Trigonometric Substitution: Domains and Signs

Substitution

a2−x2\sqrt{a^2-x^2}
x=asin⁡θx=a\sin\theta

Sign-safe simplification

a2cos⁡2θ=a∣cos⁡θ∣\sqrt{a^2\cos^2\theta}=a|\cos\theta|
θ∈[−π/2,π/2]\theta\in[-\pi/2,\pi/2]
⟹ acos⁡θ\Longrightarrow\ a\cos\theta

Reference triangle

opposite = x, hypotenuse = a, adjacent = √(a²−x²)

The absolute-value line is essential because √(z²)=|z|. The chosen angle interval is what justifies removing the absolute value.

Weierstrass Substitution

Tangent Half-Angle Substitution

With t=tan⁡(x/2)t=\tan(x/2),

sin⁡x=2t1+t2,cos⁡x=1−t21+t2,dx=2 dt1+t2.\sin x=\frac{2t}{1+t^2},\qquad \cos x=\frac{1-t^2}{1+t^2},\qquad dx=\frac{2\,dt}{1+t^2}.

This converts any rational expression in sin⁡x\sin x and cos⁡x\cos x into a rational function of tt on intervals where the substitution is valid.

Partial Fraction Decomposition

Partial fractions applies to rational functions P(x)/Q(x)P(x)/Q(x). If deg⁡P≥deg⁡Q\deg P\ge\deg Q, perform polynomial long division before decomposing the proper rational remainder.

Decomposition Patterns

  • Distinct linear factor (x−a)(x-a): use A/(x−a)A/(x-a).
  • Repeated linear factor (x−a)k(x-a)^k: include A1/(x−a)+⋯+Ak/(x−a)kA_1/(x-a)+\cdots+A_k/(x-a)^k.
  • Irreducible quadratic factor q(x)q(x): use a linear numerator (Ax+B)/q(x)(Ax+B)/q(x); repeat the pattern for powers of q(x)q(x).

Partial Fraction Decomposition Explorer

Denominator structure

1. Original rational function

1(x−1)(x+2)\frac1{(x-1)(x+2)}

2. Required decomposition form

Ax−1+Bx+2\frac A{x-1}+\frac B{x+2}

3. Clear denominators

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

4. Solve constants

A=13, B=−13A=\frac13,\ B=-\frac13

5. Decomposed rational expression

13(x−1)−13(x+2)\frac1{3(x-1)}-\frac1{3(x+2)}

Recombination check

(x+2)−(x−1)3(x−1)(x+2)=1(x−1)(x+2)\frac{(x+2)-(x-1)}{3(x-1)(x+2)}=\frac1{(x-1)(x+2)}

Wallis' Formula

For the nonnegative integer powers

In=∫0π/2sin⁡nx dx=∫0π/2cos⁡nx dx,I_n=\int_0^{\pi/2}\sin^n x\,dx=\int_0^{\pi/2}\cos^n x\,dx,

Wallis' recurrence is

In=n−1nIn−2,n≥2,I_n=\frac{n-1}{n}I_{n-2},\qquad n\ge2,

with I0=π/2I_0=\pi/2 and I1=1I_1=1.

Closed Product Forms

For even nn,

In=(n−1)(n−3)⋯1n(n−2)⋯2π2.I_n=\frac{(n-1)(n-3)\cdots1}{n(n-2)\cdots2}\frac{\pi}{2}.

For odd nn,

In=(n−1)(n−3)⋯2n(n−2)⋯1.I_n=\frac{(n-1)(n-3)\cdots2}{n(n-2)\cdots1}.

Wallis Formula Explorer

I4=∫0π/2sin⁡4x dxI_4=\int_0^{\pi/2}\sin^{4}x\,dx
I4=34I2I_4=\frac{3}{4}I_2
I0=π/2I_0=\pi/2

Numerical value: 0.58904862

The edge cases are part of the formula: I₀ = π/2 and I₁ = 1. Higher powers follow the reduction Iₙ = (n−1)Iₙ₋₂/n.

Hyperbolic-Function Integrals

Core Identities

cosh⁡2x−sinh⁡2x=1,ddxsinh⁡x=cosh⁡x,ddxcosh⁡x=sinh⁡x.\cosh^2x-\sinh^2x=1,\qquad \frac{d}{dx}\sinh x=\cosh x,\qquad \frac{d}{dx}\cosh x=\sinh x.

The same structural reasoning used for trigonometric powers often applies to hyperbolic powers, with the sign change in the fundamental identity handled carefully.

Gamma and Beta Functions

Gamma Function

For s>0s>0,

Γ(s)=∫0∞xs−1e−x dx,\Gamma(s)=\int_0^\infty x^{s-1}e^{-x}\,dx,

and Γ(s+1)=sΓ(s)\Gamma(s+1)=s\Gamma(s). Hence Γ(n)=(n−1)!\Gamma(n)=(n-1)! for positive integers nn.

Beta Function

For p,q>0p,q>0,

B(p,q)=∫01tp−1(1−t)q−1 dt=Γ(p)Γ(q)Γ(p+q).B(p,q)=\int_0^1 t^{p-1}(1-t)^{q-1}\,dt =\frac{\Gamma(p)\Gamma(q)}{\Gamma(p+q)}.

Technique Selection Is Structural

A mnemonic can suggest a method, but the decisive question is whether the transformed integral is valid and simpler. Check algebra, domain assumptions, and the derivative of the final antiderivative.