lesson

Integration · AP

Techniques of Integration

Choose integration methods by recognizing reversed derivative structures, reducing complexity, and verifying results.

Integration is less algorithmic than differentiation because many different functions can hide the same derivative structure. A successful method transforms an unfamiliar integrand into one whose antiderivative is known. The important skill is therefore method selection, not merely carrying out a memorized procedure. This lesson organizes substitution, integration by parts, trigonometric rewriting, partial fractions, and improper integrals around the idea of reducing complexity. Every proposed antiderivative is verified by differentiation, and every definite result is checked against sign, bounds, units, and approximate size.

An integral that resists the first method is not evidence that integration has failed. It is evidence that the integrand should be read again from another structural viewpoint. One representation may emphasize a composition, while another exposes a product or rational decomposition. Experienced problem solvers test a promising transformation, measure whether complexity falls, and revise their choice when it does not. The reasoning used to abandon an unhelpful method is as valuable as the algebra used to finish a successful one. Careful notation preserves those decisions so another reader can audit the entire argument from beginning to end.

Learning objectives and strategic thinking

By the end of this lesson, you will choose an integration method from visible algebraic and derivative structure. You will use substitution as a reverse chain rule and integration by parts as a reverse product rule. You will rewrite trigonometric powers and decompose rational functions. You will define improper integrals through limits. You will also explain why a transformation makes the problem simpler.

Method selection begins before formal integration. Simplify algebraically, factor or divide when helpful, and identify compositions, products, and rational structures. Compare pieces of the integrand with derivatives you know. Ask what change would reduce polynomial degree, remove a composition, separate denominator factors, or lower a trigonometric power. A technique is useful only when its result is genuinely easier.

No decision tree solves every integral, but structural signals are dependable. An inner expression accompanied by its derivative suggests substitution. A product involving a polynomial, logarithm, or inverse trigonometric function often suggests integration by parts. A rational function suggests division and partial fractions, while trigonometric powers suggest identities. The roadmap below makes these signals explicit without pretending they are automatic proofs.

A method-selection roadmap branching from composition, product, rational, trigonometric, and unbounded structure.

Simplify before selecting a technique

Algebra can turn a complicated-looking integral into a direct one. Expand a product when it creates a sum of powers, split a numerator across a common denominator when valid, and rewrite roots as fractional exponents. Factor when it exposes cancellation or a substitution pattern. Preserve original domain restrictions after cancellation. The simplest correct form is the best starting point.

For x0x\ne0, x3+2xx=x2+2\frac{x^3+2x}{x}=x^2+2. Therefore x3+2xxdx=x33+2x+C\int\frac{x^3+2x}{x}\,dx=\frac{x^3}{3}+2x+C on an interval excluding zero. The simplified expression extends through zero, but the original integrand does not. Differentiation verifies the result on the stated interval. Domain and antiderivative formula must be reported together.

Polynomial division precedes partial fractions when the numerator degree is at least the denominator degree. For example, divide x2+1x^2+1 by x1x-1 before decomposing the remainder. This gives x+1+2x1x+1+\frac{2}{x-1}. Each term now has an immediate antiderivative. Attempting partial fractions on an improper rational function hides this simple structure.

Use substitution as a reverse chain rule

Substitution targets the pattern f(g(x))g(x)f(g(x))g'(x). Set u=g(x)u=g(x), so du=g(x)dxdu=g'(x)\,dx. The symbol dudu records how the differential changes under the new variable. Rewrite the entire integrand in terms of uu and dudu. Then integrate in uu and substitute back for an indefinite integral.

Evaluate 2xcos(x2)dx\int2x\cos(x^2)\,dx. Choose u=x2u=x^2, so du=2xdxdu=2x\,dx. The integral becomes cosudu=sinu+C\int\cos u\,du=\sin u+C. Substituting back gives sin(x2)+C\sin(x^2)+C. Differentiation produces 2xcos(x2)2x\cos(x^2).

Constant mismatches can be corrected. For xex2dx\int x e^{x^2}\,dx, the same substitution gives du=2xdxdu=2x\,dx, so xdx=12dux\,dx=\frac{1}{2}du. The result is 12ex2+C\frac{1}{2}e^{x^2}+C. Do not invent a substitution merely because an inner expression is visible; enough of its derivative must be present or created by algebra. The derivative check reveals missing compensation factors.

Transform definite bounds consistently

For a definite integral, one may substitute back to the original variable before applying original bounds. Alternatively, transform the bounds into the new variable and remain in that variable through evaluation. Both methods are valid. Mixing a transformed integrand with original-variable bounds is not valid. Label each bound with its variable during the substitution.

Evaluate 012xex2dx\int_0^1 2x e^{x^2}\,dx. With u=x2u=x^2, the lower bound x=0x=0 becomes u=0u=0 and the upper bound x=1x=1 becomes u=1u=1. The transformed integral is 01eudu\int_0^1e^u\,du. Endpoint evaluation gives e1e-1. No back-substitution is necessary because the bounds are already in uu.

Orientation can change under substitution. If the inner function decreases, transformed lower and upper bounds may reverse numerical order. Preserve their mapped order rather than silently sorting them. A reversed definite integral naturally carries a negative sign. This behavior agrees with the chain-rule factor contained in dudu.

A bound-conversion diagram mapping original x endpoints to u endpoints without mixing variables.

Derive integration by parts

The product rule is (uv)=uv+uv(uv)'=u'v+uv'. Integrating both sides gives uv=uvdx+uvdxuv=\int u'v\,dx+\int uv'\,dx. Rearranging yields udv=uvvdu\int u\,dv=uv-\int v\,du. The notation du=udxdu=u'\,dx and dv=vdxdv=v'\,dx packages derivative factors. Integration by parts transfers a derivative from one factor to another.

Choose uu so differentiation simplifies it and choose dvdv so it can be integrated. For xexdx\int xe^x\,dx, take u=xu=x and dv=exdxdv=e^x\,dx. Then du=dxdu=dx and v=exv=e^x. The formula gives xexexdx=ex(x1)+Cxe^x-\int e^x\,dx=e^x(x-1)+C. Differentiation returns xexxe^x.

The minus sign is structural and must not be dropped. A useful selection guide favors logarithms and inverse trigonometric functions for uu, followed by algebraic factors, but it is a heuristic rather than a theorem. The decisive question is whether the remaining integral becomes simpler. If a choice reproduces the same complexity without a solvable equation, choose again. Always compute dudu and vv explicitly before substitution into the formula.

Repeat integration by parts when complexity falls

Some products require repeated use. For x2exdx\int x^2e^x\,dx, choose u=x2u=x^2 and dv=exdxdv=e^x\,dx. This gives x2ex2xexdxx^2e^x-\int2xe^x\,dx. The polynomial degree has dropped from two to one. That measurable reduction justifies repeating the method.

Apply integration by parts to 2xexdx\int2xe^x\,dx. Choose u=2xu=2x and dv=exdxdv=e^x\,dx, giving 2xex2ex2xe^x-2e^x. Substitution into the previous line yields ex(x22x+2)+Ce^x(x^2-2x+2)+C. Differentiating the factored expression recovers x2exx^2e^x. The check also confirms all alternating signs.

Tabular integration records repeated polynomial derivatives and repeated antiderivatives of the other factor. It is an efficient notation for cases such as a polynomial times exe^x, sine, or cosine. The table does not create a new theorem; it abbreviates repeated integration by parts. Signs alternate because the formula repeatedly subtracts the remaining integral. Stop when the differentiated polynomial becomes zero.

Rewrite trigonometric powers

Trigonometric identities can expose direct antiderivatives or substitutions. For even powers, power-reduction identities are often useful. The identity sin2x=1cos2x2\sin^2x=\frac{1-\cos2x}{2} converts a squared function into a constant and a cosine. Therefore sin2xdx=x2sin2x4+C\int\sin^2x\,dx=\frac{x}{2}-\frac{\sin2x}{4}+C. Differentiation and the double-angle identity verify the result.

For products of sine and cosine, parity guides the rewrite. If one power is odd, save one factor and convert the remaining even power using sin2x+cos2x=1\sin^2x+cos^2x=1. The saved factor supplies the derivative for substitution. If both powers are even, use power-reduction identities. This strategy follows derivative structure rather than surface memorization.

For powers of tangent and secant, the identities 1+tan2x=sec2x1+\tan^2x=\sec^2x and sec2x1=tan2x\sec^2x-1=\tan^2x organize choices. Saving a sec2x\sec^2x factor supports u=tanxu=\tan x. Saving a secxtanx\sec x\tan x factor supports u=secxu=\sec x. Domain intervals matter because trigonometric functions have discontinuities. Verify the final formula on an interval where the integrand is defined.

Use trigonometric substitution for radicals

Quadratic radicals can match Pythagorean identities. A radical a2x2\sqrt{a^2-x^2} suggests x=asinθx=a\sin\theta because 1sin2θ=cos2θ1-\sin^2\theta=\cos^2\theta. A radical a2+x2\sqrt{a^2+x^2} suggests x=atanθx=a\tan\theta. A radical x2a2\sqrt{x^2-a^2} suggests x=asecθx=a\sec\theta. Each choice transforms the radical into a simpler trigonometric expression.

If x=asinθx=a\sin\theta, then dx=acosθdθdx=a\cos\theta\,d\theta. Also a2x2=acosθ\sqrt{a^2-x^2}=a|\cos\theta|. Choosing an inverse-sine range where cosθ0\cos\theta\ge0 removes the absolute value correctly. This range choice is part of the method. Ignoring it can create sign errors when substituting back.

A reference triangle can translate trigonometric expressions back to xx. If sinθ=xa\sin\theta=\frac{x}{a}, draw a right triangle with opposite side xx and hypotenuse aa. The adjacent side is a2x2\sqrt{a^2-x^2}. Then cosine and tangent follow from side ratios. An algebraic back-substitution is also possible, but every square root sign must agree with the chosen range.

Decompose rational functions with partial fractions

A rational function is a quotient of polynomials. After division makes it proper, factor the denominator over the intended number system. Each distinct linear factor receives a constant numerator. A repeated linear factor requires a term for every power up to its multiplicity. An irreducible quadratic factor receives a linear numerator.

Decompose 5x+1(x1)(x+2)\frac{5x+1}{(x-1)(x+2)}. Write it as Ax1+Bx+2\frac{A}{x-1}+\frac{B}{x+2}. Multiplying by the common denominator gives 5x+1=A(x+2)+B(x1)5x+1=A(x+2)+B(x-1). Solving the coefficient equations gives A=2A=2 and B=3B=3. Integration yields 2lnx1+3lnx+2+C2\ln|x-1|+3\ln|x+2|+C.

The absolute values belong in logarithmic antiderivatives of reciprocal linear factors. The original denominator excludes x=1x=1 and x=2x=-2, dividing the domain into intervals. Constants of integration may differ between disconnected intervals. Verify the decomposition before integrating by recombining the fractions. This algebra check separates coefficient errors from calculus errors.

A partial-fraction diagram splitting one rational expression into simpler reciprocal factors and recombining them.

Define and test improper integrals

An infinite bound or unbounded integrand makes an integral improper. Replace the problematic feature with a finite parameter and take a limit. For example, 1f(x)dx=limb1bf(x)dx\int_1^{\infty}f(x)\,dx=\lim_{b\to\infty}\int_1^b f(x)\,dx. The improper integral converges only when this limit exists and is finite. Antiderivative notation alone does not bypass the limit.

For 11x2dx\int_1^{\infty}\frac{1}{x^2}\,dx, evaluate limb[1x]1b\lim_{b\to\infty}\left[-\frac{1}{x}\right]_1^b. The finite expression is 11b1-\frac{1}{b}. Its limit is one. Therefore the improper integral converges to one. The infinite symbol is never substituted as though it were an endpoint number.

If an integrand is unbounded at an interior point cc, split the integral into two independent limits. Both must converge. Opposite infinite behaviors do not cancel to produce an ordinary improper integral. A symmetric principal value is a different concept and must be named explicitly. Inspect the integrand’s domain before applying the Fundamental Theorem.

Combine techniques deliberately

Many integrals require more than one technique. Algebra may precede substitution, and substitution may create a rational function suited to partial fractions. Integration by parts may leave a trigonometric integral that needs identities. The order should produce consistent reductions. Write the goal of each transformation before performing it.

For xln(x2+1)dx\int x\ln(x^2+1)\,dx, substitution is more direct than integration by parts. Set u=x2+1u=x^2+1, so du=2xdxdu=2x\,dx. The integral becomes 12lnudu\frac{1}{2}\int\ln u\,du. Integration by parts then gives 12(ulnuu)+C\frac{1}{2}(u\ln u-u)+C. Substitute u=x2+1u=x^2+1 and differentiate to verify.

A failed approach can still reveal structure. If substitution leaves a more complicated integrand, reverse it and reassess. If integration by parts cycles back to the original integral with a usable coefficient, solve the resulting algebraic equation. If it cycles without progress, choose differently. Mathematical maturity includes abandoning a method for a stated reason.

Verify and estimate results

Differentiation is the decisive check for an indefinite integral. Apply product and chain rules fully, simplify, and compare with the original integrand. The arbitrary constant disappears as expected. State the interval on which the derivative agreement holds. A correct-looking table entry is not a substitute for this check.

For definite integrals, use sign and size. If a positive function never exceeds three on an interval of width two, its integral must lie between zero and six. Units should equal integrand units multiplied by input units. A numerical approximation can detect arithmetic mistakes. It does not replace the symbolic proof but provides independent evidence.

Common mistakes correspond to broken structure. Mixing transformed integrands with old bounds mixes variables. Omitting the minus sign in integration by parts contradicts the product-rule derivation. Skipping polynomial division invalidates a partial-fraction template. Evaluating an improper integral without a limit ignores its definition.

Guided practice and connection forward

Evaluate xcos(x2)dx\int x\cos(x^2)\,dx. Set u=x2u=x^2, so du=2xdxdu=2x\,dx. The result is 12sin(x2)+C\frac{1}{2}\sin(x^2)+C. Differentiation gives xcos(x2)x\cos(x^2). The factor one half compensates for the inner derivative.

Evaluate xlnxdx\int x\ln x\,dx for x>0x>0. Choose u=lnxu=\ln x and dv=xdxdv=x\,dx. Then du=1xdxdu=\frac{1}{x}\,dx and v=x22v=\frac{x^2}{2}. Integration by parts gives x22lnxx24+C\frac{x^2}{2}\ln x-\frac{x^2}{4}+C. The domain supports the real logarithm.

For independent synthesis, evaluate x2lnxdx\int x^2\ln x\,dx for x>0x>0 and justify your choice of method. Then determine whether 11x3dx\int_1^{\infty}\frac{1}{x^3}\,dx converges, showing the required limit. Differentiate the antiderivative result and estimate the improper integral’s size before computing it. Explain how each check supports, but does not replace, the formal work. When elementary techniques fail, convergent series and numerical methods provide further representations and approximations.

Knowledge Map

Where this lesson fits

Prerequisites

IntegrationThe Fundamental Theorem of Calculus

Continue exploring

Connections

Related lessons

SeriesInfinite Series and ConvergenceOrdinary Differential EquationsFirst-Order Differential Equations

Applications

  • work
  • probability
  • differential equations