Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

6.5: Miscellaneous Integration Methods

( \newcommand{\kernel}{\mathrm{null}\,}\)

The integration methods presented so far are considered “standard,” meaning every calculus student should know them. This section will discuss a few additional methods, some more common than others. One such method is the Leibniz integral rule for “differentiation under the integral sign.”5 This powerful and useful method is best explained with a simple example.

d\dalphaeαx\dx = d\dalpha(eαx) \dx = xeαx\dx

However, differentiating the right side of the formula ([eqn:diffinteax]) shows that

d\dalphaeαx\dx = d\dalpha(1αeαx + C) = α(xeαx)  1eαxα2 = 1αxeαx  1α2eαx

Thus,

xeαx\dx = 1αxeαx  1α2eαx + C

which can be verified via integration by parts with the tabular method:

xeαx\dx = 1αxeαx  1α2eαx + C

What was actually done in the above example? A known integral,

eαx\dx = 1αeαx + C ,

was differentiated with respect to α via the Leibniz rule to produce a new integral,

xeαx\dx = 1αxeαx  1α2eαx + C ,

with the constant α treated temporarily—only during the differentiation—as a variable. In general, that is how the Leibniz rule is used. Typically this means if you want to evaluate a certain integral with the Leibniz rule, then you “work backwards” to figure out which integral you need to differentiate with respect to some constant (e.g. α) in the integrand.

Example 6.5.1: intleibniz1

Add text here.

Solution

Use the Leibniz rule to evaluate  \dx(1+x2)2 .

Solution: By formula ([eqn:atanint]) in Section 5.4,

\dxa2+x2 = 1atan1(xa) + C

for any constant a>0. So differentiate both sides with respect to a:

\[\begin{aligned} \frac{d}{\da}\,\int\,\frac{\dx}{a^2 + x^2} ~&=~ \frac{d}{\da}\,\left(\tfrac{1}{a}\,\tan^{-1}\left(\tfrac{x}{a}\right) ~+~ C\right)\

\[6pt] \int\,\frac{d}{\da}\,\left(\frac{1}{a^2 + x^2}\right)~\dx ~&=~ -\tfrac{1}{a^2}\,\tan^{-1}\left(\tfrac{x}{a}\right) ~+~ \tfrac{1}{a}\,\cdot\,\frac{1}{1 + \left(\tfrac{x}{a}\right)^2}\,\cdot\,-\tfrac{x}{a^2}\

\[6pt] \int -\frac{2a}{(a^2 + x^2)^2}\,\dx ~&=~ -\tfrac{1}{a^2}\,\tan^{-1}\left(\tfrac{x}{a}\right) ~-~ \frac{x}{a\,(a^2 + x^2)}\

\boldsymbol{6pt] \int \frac{\dx}{(a^2 + x^2)^2} ~&=~ \tfrac{1}{2a^3}\,\tan^{-1}\left(\tfrac{x}{a}\right) ~+~ \frac{x}{2a^2\,(a^2 + x^2)} ~+~ C\end{aligned} \nonumber}

That general formula is useful in itself. In particular, for a=1,

\dx(1+x2)2 = 12tan1x + x2(1+x2) + C ,

which agrees with the result from Example

Example 6.5.1: trigsub2

Add text here.

Solution

in Section 6.3.
Notice that there was no generic constant (e.g. a or α) in the statement of the problem. When that happens, you will need to figure out where the constant should be in order to use the Leibniz rule.

You can also use differentiation under the integral sign to evaluate definite integrals.

Example 6.5.1: intexpx2

Add text here.

Solution

Show that  0ex2\dx = 12π .

Solution: Let I=0ex2\dx. The integral is convergent, since by Exercise [exer:exple1px] in Section 4.4, for all x

ex2  1 + x20  ex2  11+x2

implies I is convergent by the Comparison Test, since 011+x2\dx is convergent (and equals 12π) by Example

Example 6.5.1: improper5

Add text here.

Solution

in Section 5.5. For α0, define

ϕ(α) = 0αeα2x21+x2\dx .

Then clearly ϕ(0)=0, and differentiating under the integral sign shows

ϕ(α) = 02α2eα2x2+eα2x21+x2 \dxϕ(0) = 0\dx1+x2 = 12π .

The substitution y=αx, so that \dy=α\dx, shows ϕ(α) can be written as

ϕ(α) = 0ey21+(yα)2\dy0  limα ϕ(α)  I <  .

Also, for α>0,

\[\begin{aligned} \frac{d}{\dalpha}\,\left(\frac{1}{\alpha}\,e^{-\alpha^2}\,\phi(\alpha)\right) ~&=~ \frac{d}{\dalpha}\,\int_0^{\infty} \,\frac{e^{-\alpha^2 (1+x^2)}}{1 + x^2} \,\dx ~=~ \int_0^{\infty} \,\frac{-2\alpha\,(1+x^2)\, e^{-\alpha^2 (1+x^2)}}{1 + x^2}~\dx\

\[6pt] &=~ -2\alpha\, e^{-\alpha^2}\,\int_0^{\infty} e^{-\alpha^2 x^2}~\dx \quad\text{, now substitute $u = \alpha x$ and $\du = \alpha \dx$ to get}\

\[6pt] &=~ -2\alpha\, e^{-\alpha^2}\,\frac{1}{\alpha}\,\int_0^{\infty} e^{-u^2} \,\du ~=~ -2\, e^{-\alpha^2}\,I \quad\text{, and so integrating both sides yields}\

\boldsymbol{6pt] \int_0^{\infty} \frac{d}{\dalpha}\,\left(\frac{1}{\alpha}\,e^{-\alpha^2}\,\phi(\alpha)\right)~\dalpha ~&=~ -2I\,\int_0^{\infty} e^{-\alpha^2} \,\dalpha ~=~ -2I^2 ~.\end{aligned} \nonumber}

However, by the Fundamental Theorem of Calculus.

\[\begin{aligned} \int_0^{\infty} \frac{d}{\dalpha}\,\left(\frac{1}{\alpha}\,e^{-\alpha^2}\,\phi(\alpha)\right)~\dalpha ~&=~ \frac{1}{\alpha}\,e^{-\alpha^2}\,\phi(\alpha)~\Biggr|_0^{\infty} ~=~ \left(\lim_{\alpha \to \infty}~\frac{\phi(\alpha)}{\alpha \,e^{\alpha^2}}\right) ~-~ \left(\lim_{\alpha \to 0}~\frac{\phi(\alpha)}{\alpha\,e^{\alpha^2}}\right)\

\[6pt] &=~ 0 ~-~ \left(\lim_{\alpha \to 0}~\frac{\phi(\alpha)}{\alpha\,e^{\alpha^2}}\right) ~\to~ \frac{0}{0} \quad\text{, so by L'H\^{o}pital's Rule}\

\boldsymbol{6pt] &=~ -\lim_{\alpha \to 0}~\frac{\phi'(\alpha)}{e^{\alpha^2} + 2\alpha^2\,e^{\alpha^2}} ~=~ -\frac{\phi'(0)}{1+0} ~=~ -\tfrac{1}{2}\pi ~.\end{aligned} \nonumber}

Thus,

2I2 = 12πI = 12π

which is the desired result.

One immediate consequence of Example

Example 6.5.1: intexpx2

Add text here.

Solution

is that

ex2\dx = π

since ex2 is an even function. The following example shows another consequence, as well as how useful substitutions can be in writing integrals in a different form.

Example 6.5.1: intgamma1

Add text here.

Solution

Show that the Gamma function Γ(t) can be written as

Γ(t) = 20y2t1ey2 \dyfor all t>0,

and that Γ(12) = π.

Solution: Let x=y2, so that \dx=2y\dy. Then x=0  y=0  and x=  y=, so

\[\Gamma\,(t) ~=~ \int_0^{\infty} x^{t-1} \, e^{-x} ~\dx ~=~ \int_0^{\infty} (y^2)^{t-1}\,e^{-y^2}~2y~\dy\

6pt] = 20y2t1ey2 \dy .

In this form, with the help of Example

Example 6.5.1: intexpx2

Add text here.

Solution

it is now easy to evaluate Γ(12):

Γ(12) = 20y11ey2 \dy = 20ey2 \dy = 2(12π) = π

B(x,y) = Γ(x)Γ(y)Γ(x+y)for all x>0 and y>0.

Example 6.5.1: intbeta1

Add text here.

Solution

Show that the Beta function B(x,y) can be written as

B(x,y) = 0ux1(1+u)x+y \du .

Solution: Let u=t1t, so that t=u1+u, 1t=11+u, and \dt=\du(1+u)2. Then t=0  u=0 and t=1  u=, so

B(x,y) = 10tx1(1t)y1\dt = 0(u1+u)x1(11+u)y1\du(1+u)2 = 0ux1(1+u)x+y \du .

Another application of substitutions in integrals is in the evaluation of fractional derivatives. Recall from Section 1.6 that the zero-th derivative of a function is just the function itself, and that derivatives of order n are well-defined for integer values n1. It turns out that derivatives of fractional orders—e.g. 1/2—can be defined, with the Riemann-Louiville definition being the most common:

Example 6.5.1: halfderivx

Add text here.

Solution

Calculate  d1/2\dx1/2(x) .

Solution: Here α=12 and f(x)=x, so that

d1/2\dx1/2(x) = 1Γ(11/2)\ddxx0t(xt)1/2\dt = 1π\ddxx0t \dtxt

since Γ(12) = π by Example

Example 6.5.1: intgamma1

Add text here.

Solution

. Use the substitution u=xt, so that t=xu2 and \dt=2u\du. Then t=0  u=x  and t=x  u=0, so

\[\begin{aligned} \frac{d^{1/2}}{\dx^{1/2}}\,(x) ~&=~ \frac{1}{\sqrt{\pi}}\;\ddx\,\int_{\sqrt{x}}^0 \frac{(x-u^2)\,(-2u~\du)}{u} ~=~ \frac{2}{\sqrt{\pi}}\;\ddx\,\int_0^{\sqrt{x}} (x ~-~ u^2)~\du\

\[6pt] &=~ \frac{2}{\sqrt{\pi}}\;\ddx\,\left(xu ~-~ \tfrac{1}{3}\,u^3\right)~\Biggr|_{u=0}^{u=\sqrt{x}} ~=~ \frac{2}{\sqrt{\pi}}\;\ddx\,\left(x^{3/2} ~-~ \tfrac{1}{3}\,x^{3/2}\right)\

\boldsymbol{6pt] &=~ \frac{2}{\sqrt{\pi}}\;\ddx\,\left(\tfrac{2}{3}\,x^{3/2}\right) ~=~ \frac{2}{\sqrt{\pi}}\,\sqrt{x}\end{aligned} \nonumber}

dn+α\dxn+αf(x) = dα\dxα(dn\dxnf(x))

Recall from Section 6.3 that the trigonometric substitution x=rcosθ—or its sister substitution x=rsinθ—was motivated by trying to find the area of a circle of radius r. To simplify matters, let r=1 so that points on the unit circle can be identified with the angle θ via that substitution, with θ as shown in Figure [fig:circle2](a) below.

Figure [fig:circle2](b) shows a different identification of points on the unit circle—by slope. This will be the basis for a half-angle substitution for evaluating certain integrals.

Let A be the point (1,0), then for any other point P on the unit circle draw a line from A through P until it intersects the line x=1, as shown in Figure [fig:circle3] below:

From geometry you know that the inscribed angle that the line ¯AP makes with the x-axis is half the measure of the central angle θ. So the slope of ¯AP is the tangent of that angle: tan12θ=t1=t, which is measured along the y-axis and can take any real value. Each point on the unit circle—except A—can be identified with that slope t. Figure [fig:circle3] shows only positive slopes—reflect the picture about the x-axis for negative slopes. The figure shows that

sin12θ = t1+t2andcos12θ = 11+t2

so that by the double-angle identities for sine and cosine,

sinθ = 2sin12θcos12θ = 2t1+t211+t2 = 2t1+t2

and

cosθ = cos212θ  sin212θ = 11+t2  t21+t2 = 1t21+t2 .

Since θ=2tan1t, then

\dtheta = d(2tan1t) = 2\dt1+t2 .

Below is a summary of the substitution: The half-angle substitution thus turns rational functions of sinθ and cosθ into rational functions of t, which can be integrated using partial fractions or another method.

Example 6.5.1: inthalfangle1

Add text here.

Solution

Evaluate  \dtheta1+sinθ+cosθ.

Solution: Using t=tan12θ, the denominator of the integrand is

1 + sinθ + cosθ = 1+t21+t2 + 2t1+t2 + 1t21+t2 = 2t+21+t2

so that

\[\begin{aligned} \int \frac{\dtheta}{1 \;+\; \sin\,\theta \;+\; \cos\,\theta} ~&=~ \mathop{\mathlarger{\mathlarger{\int}}} \frac{\frac{2\,\dt}{1+t^2}}{\frac{2t + 2}{1+t^2}} ~=~ \int \frac{\dt}{t+1}\

\boldsymbol{6pt] &=~ \ln\,\abs{t+1} ~+~ C\\ &=~ \ln\,\Abs{\tan\,\tfrac{1}{2}\theta \;+\;1} ~+~ C\end{aligned} \nonumber}

Example 6.5.1: inthalfangle2

Add text here.

Solution

Evaluate  \dtheta3sinθ+4cosθ .

Solution: Using t=tan12θ, the integral becomes

\[\begin{aligned} \int \frac{\dtheta}{3\,\sin\,\theta \;+\;4\,\cos\,\theta} ~&=~ \mathop{\mathlarger{\mathlarger{\int}}} \frac{\frac{2\,\dt}{1+t^2}}{3\,\frac{2t}{1+t^2} \;+\; 4\,\frac{1-t^2}{1+t^2}} ~=~ \int \frac{-1}{2t^2 - 3t - 2}\,\dt\

\boldsymbol{6pt] &=~ \int \frac{-1}{(2t+1)\,(t-2)}\,\dt ~=~ \int \left(\frac{A}{2t+1} ~+~ \frac{B}{t-2}\right)\,\dt\end{aligned} \nonumber}

where

3coefficient of t:A + 2B = 0A = 2Bconstant term:2A + B = 14B + B = 1B = 15  and  A = 25

Thus,

\[\begin{aligned} \int \frac{\dtheta}{3\,\sin\,\theta \;+\;4\,\cos\,\theta} ~&=~ \int \left(\frac{\frac{2}{5}}{2t+1} ~+~ \frac{-\frac{1}{5}}{t-2}\right)\,\dt ~=~ \frac{1}{5}\,\ln\,\abs{2t+1} ~-~ \frac{1}{5}\,\ln\,\abs{t-2} ~+~ C\

\boldsymbol{4pt] &=~ \frac{1}{5}\,\ln\,\Abs{2\,\tan\,\tfrac{1}{2}\theta \;+\; 1} ~-~ \frac{1}{5}\,\ln\,\Abs{\tan\,\tfrac{1}{2}\theta \;-\; 2} ~+~ C\end{aligned} \nonumber}

By the half-angle substitution t=tan12θ,

sinθ1+cosθ = 2t1+t21+t21+t2+1t21+t2 = 2t1+t221+t2 = t

which yields the useful half-angle identities:9

Example 6.5.1: inthalfangle3

Add text here.

Solution

Evaluate  sinθ1+cosθ\dtheta .

Solution: Though you could use the half-angle substitution t=tan12θ, it is easier to use the half-angle identity ([eqn:halftan1]) directly, since

sinθ1+cosθ\dtheta = tan12θ \dtheta = 2ln\Abssec12θ + C

by formula ([eqn:inttanu]) in Section 6.3.

[sec6dot5]

For Exercises 1-12, evaluate the given integral.

4

12cosθsinθ\dtheta

\dtheta35sinθ

\dtheta2sinθ

\dtheta4+sinθ

4

sinθ2sinθ\dtheta

\dtheta53cosθ

\dtheta1+sinθcosθ

\dtheta1sinθ+cosθ

4

cotθ1+sinθ\dtheta

1cosθ3sinθ\dtheta

ex2/2\dx

x2ex6\dx

Consider the integral  sinθ1+cosθ\dtheta  from Example

Example 6.5.1: inthalfangle3

Add text here.

Solution

.

  1. Evaluate the integral using the substitution u=1+cosθ.
  2. Evaluate the integral using the half-angle substitution t=tan12θ.
  3. Show that the answers from parts (a) and (b) are equivalent to the result from Example
    Example 6.5.1: inthalfangle3

    Add text here.

    Solution

    .

[[1.]]

Evaluate the integral  \dtheta3sinθ+4cosθ  from Example

Example 6.5.1: inthalfangle2

Add text here.

Solution

by noting that

\[\begin{aligned} \int \frac{\dtheta}{3\,\sin\,\theta \;+\; 4\,\cos\,\theta} ~&=~ \int \frac{\dtheta}{5\,\left(\frac{3}{5}\,\sin\,\theta \;+\; \frac{4}{5}\,\cos\,\theta\right)}\

\[5pt] &=~ \int \frac{\dtheta}{5\,\left(\cos\,\phi\;\sin\,\theta \;+\; \sin\,\phi\;\cos\,\theta\right)}\

\boldsymbol{5pt] &=~ \int \frac{\dtheta}{5\,\sin\,(\theta + \phi)} ~=~ \frac{1}{5}\,\int \csc\,(\theta + \phi)~\dtheta\end{aligned} \nonumber}

by the sine addition formula, where ϕ is the angle in the right triangle shown above. Complete the integration and show that your answer is equivalent to the result from Example

Example 6.5.1: inthalfangle2

Add text here.

Solution

. [[1.]]

Show directly from the definition of the Beta function that B(x,y)=B(y,x) for all x>0 and y>0.

[exer:betatrig] Show that the Beta function B(x,y) can be written as

B(x,y) = π/202sin2x1(θ) cos2y1(θ) \dthetafor all x>0 and y>0.

[exer:intsinmcosn] Use Exercise [exer:betatrig] and formula ([eqn:betagamma]) to show that

π/20sinmθ cosnθ \dtheta = Γ(m+12)Γ(n+12)2Γ(m+n2+1)for all m>1 and n>1.

Use Exercise [exer:gamma] from Section 6.1, as well as Exercise [exer:intsinmcosn] above, to show that for m=1, 2, 3, ,

π/20sin2mθ \dtheta = πΓ(m+12)2(m!)andπ/20sin2m+1θ \dtheta = π(m!)2Γ(m+32) .

2

Show that  0lnx1+x2\dx = 0.

Show that  0xaax\dx = Γ(a+1)(lna)a+1  for a>1.

Use the result from Example

Example 6.5.1: halfderivx

Add text here.

Solution

to show that

d1/2\dx1/2(d1/2\dx1/2(x)) = 1 = \ddx(x) .

2

Calculate  d1/2\dx1/2(c)  for all constants c.

Calculate  d1/3\dx1/3(x) .

Show that  1011xn\dx = 1nB(1n,12)  for n1.

Show that the Gamma function Γ(t) can be written as

Γ(t) = pt0ut1epu \dufor all t>0 and p>0.

Show that the Gamma function Γ(t) can be written as

Γ(t) = 10(ln(1u))t1\dufor all t>0.

Using the result from Exercise [exer:eaxtrigbx] in Section 6.1 that

eaxcosbx \dx = eax(acosbx + bsinbx)a2+b2

for all constants a and b0, differentiate under the integral sign to show that for all α>0

0xexsinαx \dx = 2α(1+α2)2 .

[[1.]]

Use the Leibniz rule and formula ([eqn:sqrta2u2tan]) from Section 6.3 to show that for all a>0,

\dxa2+x2 = ln\Absx+a2+x2 + C .

Use Example

Example 6.5.1: intbeta1

Add text here.

Solution

to show that the Beta function satisfies the relation

B(x,1x) = 10tx+tx11+t\dtfor all 0<x<1.

(Hint: First use a substitution to show that 0ux11+u\du=0tx1+t\dt.)

Show that for all a>1,

π/20\dtheta1+asin2θ = π21+a .


This page titled 6.5: Miscellaneous Integration Methods is shared under a GNU General Public License 3.0 license and was authored, remixed, and/or curated by Michael Corral via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?