Unit 5, lesson 55

Integration by Parts

How the product rule turns into a formula for integrating products, how boundary terms work in definite integrals, and how repeating the method leads to reduction formulas.

  • Theory part 109
  • Practice part 110
  • Integration Techniques

Theory, part 109

Nothing loads from YouTube until you press play.

Practice, part 110

Substitution undoes the chain rule. The product rule needs its own reverse, and that is integration by parts. It handles integrands like xexx e^x, xcos⁡xx \cos x and ln⁡x\ln x, where one factor gets simpler when you differentiate it and the other is easy to integrate.

Key terms

Product rule derivation

Definition Let uu and vv be differentiable on an interval with u′u' and v′v' continuous there. The product rule says (uv)′=u′v+uv′(uv)' = u'v + uv'. Rearranging and integrating both sides gives

∫u(x) v′(x) dx=u(x) v(x)−∫u′(x) v(x) dx.\int u(x) \, v'(x) \, dx = u(x) \, v(x) - \int u'(x) \, v(x) \, dx.

In plain words An integral of a product can be traded for a different integral of a product. The trade pays off when the new integral is easier than the old one.

Example For ∫xcos⁡x dx\int x \cos x \, dx take u=xu = x and v′=cos⁡xv' = \cos x, so u′=1u' = 1 and v=sin⁡xv = \sin x.

∫xcos⁡x dx=xsin⁡x−∫sin⁡x dx=xsin⁡x+cos⁡x+C.\int x \cos x \, dx = x \sin x - \int \sin x \, dx = x \sin x + \cos x + C.

Differentiating gives sin⁡x+xcos⁡x−sin⁡x=xcos⁡x\sin x + x \cos x - \sin x = x \cos x.

Definite and indefinite formulas

Definition With du=u′(x) dxdu = u'(x) \, dx and dv=v′(x) dxdv = v'(x) \, dx, the indefinite formula is written

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

If u′u' and v′v' are continuous on [a,b][a, b], the definite formula is

∫abu(x) v′(x) dx=[u(x) v(x)]ab−∫abu′(x) v(x) dx.\int_a^b u(x) \, v'(x) \, dx = \Big[ u(x) \, v(x) \Big]_a^b - \int_a^b u'(x) \, v(x) \, dx.

A useful guide for choosing uu is to pick the factor that becomes simpler when differentiated, such as a power of xx or a logarithm, and let dvdv be the rest, which you must be able to integrate.

In plain words Pick one factor to differentiate and one to integrate. The answer is uu times vv, minus the integral of vv times the derivative of uu.

Example For ∫ln⁡x dx\int \ln x \, dx on x>0x > 0, take u=ln⁡xu = \ln x and dv=dxdv = dx, so du=1xdxdu = \frac{1}{x} dx and v=xv = x.

∫ln⁡x dx=xln⁡x−∫x⋅1x dx=xln⁡x−x+C.\int \ln x \, dx = x \ln x - \int x \cdot \frac{1}{x} \, dx = x \ln x - x + C.

Boundary terms

Definition In the definite formula the expression

[uv]ab=u(b)v(b)−u(a)v(a)\Big[ u v \Big]_a^b = u(b)v(b) - u(a)v(a)

is the boundary term. It is a number, computed from the values at the endpoints, and it must be evaluated alongside the remaining integral.

In plain words In a definite integral, the uvuv part gets plugged in at the bounds right away. Often one end gives zero, which saves work.

Example For ∫01xex dx\int_0^1 x e^x \, dx take u=xu = x, dv=ex dxdv = e^x \, dx, so du=dxdu = dx and v=exv = e^x.

∫01xex dx=[xex]01−∫01ex dx=(e−0)−(e−1)=1.\int_0^1 x e^x \, dx = \Big[ x e^x \Big]_0^1 - \int_0^1 e^x \, dx = (e - 0) - (e - 1) = 1.

The boundary term at x=0x = 0 vanished because of the factor xx.

Repeated integration by parts

Definition If the new integral ∫v du\int v \, du is again a product of the same kind, integration by parts can be applied to it as well, each time with the same hypotheses on the new uu and vv. Two patterns are common. A polynomial factor of degree kk disappears after kk steps. With eaxe^{ax} times sin⁡bx\sin bx or cos⁡bx\cos bx, two steps bring back the original integral, and you solve for it algebraically.

In plain words Keep going while each step makes the problem simpler, and stop as soon as the remaining integral is one you know.

Example For ∫x2ex dx\int x^2 e^x \, dx, first take u=x2u = x^2, dv=ex dxdv = e^x \, dx.

∫x2ex dx=x2ex−2∫xex dx.\int x^2 e^x \, dx = x^2 e^x - 2 \int x e^x \, dx.

Then use ∫xex dx=xex−ex+C\int x e^x \, dx = x e^x - e^x + C, from u=xu = x and dv=ex dxdv = e^x \, dx.

∫x2ex dx=x2ex−2xex+2ex+C=ex(x2−2x+2)+C.\int x^2 e^x \, dx = x^2 e^x - 2x e^x + 2e^x + C = e^x (x^2 - 2x + 2) + C.

Reduction formulas

Definition A reduction formula expresses an integral that depends on an integer nn through the same kind of integral with a smaller nn. For integers n≥2n \ge 2, integration by parts with u=sin⁡n−1xu = \sin^{n-1} x and dv=sin⁡x dxdv = \sin x \, dx, followed by cos⁡2x=1−sin⁡2x\cos^2 x = 1 - \sin^2 x, gives

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

For the definite integrals In=∫0π/2sin⁡nx dxI_n = \int_0^{\pi/2} \sin^n x \, dx the boundary term is zero at both ends, so

In=n−1nIn−2(n≥2),I0=π2,I1=1.I_n = \frac{n - 1}{n} I_{n-2} \quad (n \ge 2), \qquad I_0 = \frac{\pi}{2}, \quad I_1 = 1.

In plain words Instead of fighting a high power directly, you lower the power by two at a time until you reach a case you can do at sight.

Example Two steps of the recursion bring I4I_4 down to I0I_0,

I4=34I2=34⋅12I0=34⋅12⋅π2=3π16≈0.589.I_4 = \frac{3}{4} I_2 = \frac{3}{4} \cdot \frac{1}{2} I_0 = \frac{3}{4} \cdot \frac{1}{2} \cdot \frac{\pi}{2} = \frac{3\pi}{16} \approx 0.589.

Check yourself

  1. Find ∫xe2x dx\int x e^{2x} \, dx.
Show the answer

Take u=xu = x and dv=e2x dxdv = e^{2x} \, dx, so v=12e2xv = \frac{1}{2} e^{2x}. The result is

∫xe2x dx=x2e2x−12∫e2x dx=x2e2x−14e2x+C.\int x e^{2x} \, dx = \frac{x}{2} e^{2x} - \frac{1}{2} \int e^{2x} \, dx = \frac{x}{2} e^{2x} - \frac{1}{4} e^{2x} + C.
  1. Find ∫exsin⁡x dx\int e^x \sin x \, dx.
Show the answer

Call it JJ. With u=sin⁡xu = \sin x and dv=ex dxdv = e^x \, dx we get

J=exsin⁡x−∫excos⁡x dx.J = e^x \sin x - \int e^x \cos x \, dx.

With u=cos⁡xu = \cos x and dv=ex dxdv = e^x \, dx the last integral is excos⁡x+Je^x \cos x + J. So J=exsin⁡x−excos⁡x−JJ = e^x \sin x - e^x \cos x - J, and solving for JJ gives

J=ex2(sin⁡x−cos⁡x)+C.J = \frac{e^x}{2}(\sin x - \cos x) + C.
  1. Evaluate ∫1eln⁡x dx\int_1^e \ln x \, dx.
Show the answer

With the antiderivative xln⁡x−xx \ln x - x found above,

∫1eln⁡x dx=[xln⁡x−x]1e=(e−e)−(0−1)=1.\int_1^e \ln x \, dx = \Big[ x \ln x - x \Big]_1^e = (e - e) - (0 - 1) = 1.

How this lesson connects