Integrals/The Substitution Rule

Lesson 4.3950 words

The Substitution Rule

Substitution runs the Chain Rule backward: spotting an inner function whose derivative also appears in the integrand lets the variable change to uu and collapse a composite integral to a simple one. The rule applies to indefinite and definite integrals, with two ways to handle the limits, and it yields the symmetry shortcuts that double even integrands and vanish odd ones.

╌╌╌╌

The Fundamental Theorem reduces evaluating a definite integral to finding an antiderivative, but the basic table only covers integrands that are themselves derivatives of familiar functions. An integral like is not in the table. It becomes tractable once the composite structure is noticed: the factor is the derivative of the inner quantity under the root. Substitution is the technique that exploits exactly this pattern, and it is the reverse of the Chain Rule.

Reversing the Chain Rule

The Chain Rule states . Reading it right to left, is an antiderivative of , so

The integrand has a recognizable form: an outer derivative evaluated at an inner function , multiplied by the inner function's derivative . Introduce a new variable for the inner function, , with differential . Then the whole integral rewrites in alone.

The mechanical picture: replaces the inner function, and the differential absorbs the leftover factor . Everything in leaves the integral, replaced by an integral in that is, ideally, in the table.

Substitution as a round trip, shown on : the composite integral in becomes a table integral in ; integrate, then back-substitute to return to .

The differential notation is what makes the bookkeeping reliable: treat and as if they were algebraic quantities linked by , and the rule reduces to substituting one for the other under the integral sign.

Worked substitutions

When the matching derivative carries a constant factor, absorb it into .

Anatomy of a substitutable integrand on : the inner function names , the outer factor becomes , and the leftover is exactly , so the product collapses to .

The procedure is the same every time.

Algorithm:Substitute\textsc{Substitute} — evaluate f(g(x))g(x)dx\int f(g(x))\,g'(x)\,\d x by change of variable
  1. 1
    choose ug(x)u \gets g(x), an inner function whose derivative appears in the integrand
  2. 2
    compute dug(x)dx\d u \gets g'(x)\,\d x
  3. 3
    rewrite the integral entirely in uu, replacing g(x)g(x) by uu and g(x)dxg'(x)\,\d x by du\d u
  4. 4
    antidifferentiate the resulting integral in uu
  5. 5
    back-substitute ug(x)u \gets g(x) to return to the original variable

The one judgment call is the first line. Choose to be a function inside the integrand whose differential also occurs, up to a constant factor. If no such factor is present, try equal to the inner part of a composition and see whether the leftover simplifies. Guessing wrong is normal; a substitution either collapses the integral or it does not, and a failed attempt is quickly abandoned.

More indefinite integrals

  • Constant inner derivative. For , take , , :
  • Radical in a denominator. For , take , , so :
  • Extra factor of handled by algebra. For , split and set , , , so : which integrates term by term to .

With practice the explicit can be skipped for simple cases — by inspection — but for anything with an algebraic tangle, writing the substitution out prevents errors.

Choosing the substitution

The first line of the procedure is the only real decision. A few recurring shapes point straight at :

Integrand shapeTake
a composite with present as a factorthe inner function
a power of a linear expression, the linear expression
a trigonometric power times the derivative of its argumentthe argument, or the trig factor whose derivative appears
a radical with nearbythe quantity under the radical

Three more, chosen so the leftover factor is exactly :

Substitution in definite integrals

For a definite integral there are two ways to carry the substitution through, and the second is usually cleaner.

Method 1 — evaluate the indefinite integral first, then apply the limits in . Find the antiderivative in , then use the Fundamental Theorem with the original -limits. Using the result above for ,

Method 2 — change the limits when the variable changes. The alternative transforms the bounds along with the integrand, so there is never a need to return to .

The new limits are the -values matching the old -values: when , ; when , . The integral is then finished entirely in . For the same integral, sends and :

Changing the variable also changes the limits: the region under on maps to the region under on , with the same area.

Changing the limits amounts to remapping the interval of integration: carries in to in .

The substitution remaps the interval of integration, sending each in to in ; the limits transform with the variable.

The -limits may run backwards when decreases.

Symmetry shortcuts

Substitution applied to a symmetric integrand over a symmetric interval produces two shortcuts worth memorizing. Recall that is even if (graph symmetric about the -axis) and odd if (graph symmetric about the origin).

The proof splits the integral at and substitutes in the piece over . That substitution flips the interval to and turns into ; even symmetry makes the two halves equal and they add, odd symmetry makes them opposite and they cancel. Geometrically, an even function has matching areas on both sides of the axis, and an odd function has a positive region on one side exactly cancelled by a negative region on the other.

Left, an even integrand — the two halves have equal area, so the whole is twice the right half. Right, an odd integrand — the halves are equal in size and opposite in sign, so they cancel to zero.

Symmetry is worth a glance whenever the interval is centered at the origin: it can turn a hard integral into a trivial one.

╌╌ END ╌╌