MathCalculus

Evaluate the Integral or State That It Diverges: Six Improper Integrals

Rewriting each improper integral as a limit gives ∫₁^∞ dx/x^e = 1/(e−1), ∫₀¹ dx/√(1−x) = 2 and ∫₀^∞ x e^{−x} dx = 1, while ∫₀¹ dx/x^π, ∫₀¹ dx/(1−x) and ∫₀¹ (ln x)/x dx all diverge.

Question

Evaluate the integrals. If the integral diverges, answer "It diverges."

(a) 1dxxe\displaystyle \int_{1}^{\infty} \frac{dx}{x^{e}}

(b) 01dxxπ\displaystyle \int_{0}^{1} \frac{dx}{x^{\pi}}

(c) 01dx1x\displaystyle \int_{0}^{1} \frac{dx}{\sqrt{1-x}}

(d) 01dx1x\displaystyle \int_{0}^{1} \frac{dx}{1-x}

(e) 0xexdx\displaystyle \int_{0}^{\infty} x e^{-x}\,dx

(f) 01lnxxdx\displaystyle \int_{0}^{1} \frac{\ln x}{x}\,dx

Answer

Every part is an improper integral, so each one starts the same way: replace the infinite limit or the singular point with a limit variable, integrate over the interval where the integrand is continuous, and then decide whether that limit exists. A finite limit is the value of the integral; an infinite or non-existent limit means the integral diverges.

(a) 1xedx\int_{1}^{\infty} x^{-e}\,dx converges to 1e1\frac{1}{e-1}

1xedx=limt1txedx=limt[x1e1e]1t=limtt1e11e.\int_{1}^{\infty}x^{-e}\,dx=\lim_{t\to\infty}\int_{1}^{t}x^{-e}\,dx=\lim_{t\to\infty}\left[\frac{x^{1-e}}{1-e}\right]_{1}^{t}=\lim_{t\to\infty}\frac{t^{1-e}-1}{1-e}.

Since e2.718>1e\approx 2.718>1, the exponent 1e1-e is negative, so t1et^{1-e} tends to 00. The limit is 011e=1e10.582\frac{0-1}{1-e}=\frac{1}{e-1}\approx 0.582, and the integral converges.

This is the pp-integral 1xpdx\int_{1}^{\infty}x^{-p}dx with p=ep=e. Over an infinite interval it converges exactly when p>1p>1.

(b) 01xπdx\int_{0}^{1} x^{-\pi}\,dx diverges

The integrand blows up at the lower endpoint, so the integral is defined by

01xπdx=limt0+[x1π1π]t1=limt0+1t1π1π.\int_{0}^{1}x^{-\pi}\,dx=\lim_{t\to 0^{+}}\left[\frac{x^{1-\pi}}{1-\pi}\right]_{t}^{1}=\lim_{t\to 0^{+}}\frac{1-t^{1-\pi}}{1-\pi}.

Because π3.142>1\pi\approx 3.142>1, the exponent 1π1-\pi is negative and t1π=t(π1)t^{1-\pi}=t^{-(\pi-1)} grows without bound as t0+t\to 0^{+}. The numerator tends to -\infty while the denominator 1π1-\pi is negative, so the whole expression tends to ++\infty. The integral diverges.

The direction of the inequality matters at a finite endpoint: 01xpdx\int_{0}^{1}x^{-p}dx converges only when p<1p<1, which is the opposite of the infinite-interval rule used in part (a).

(c) 01dx1x\int_{0}^{1}\frac{dx}{\sqrt{1-x}} converges to 22

01dx1x=limt1[21x]0t=limt1(221t)=2.\int_{0}^{1}\frac{dx}{\sqrt{1-x}}=\lim_{t\to 1^{-}}\left[-2\sqrt{1-x}\right]_{0}^{t}=\lim_{t\to 1^{-}}\left(2-2\sqrt{1-t}\right)=2.

The blow-up is of square-root type, which is integrable, so the integral converges to 22.

(d) 01dx1x\int_{0}^{1}\frac{dx}{1-x} diverges

01dx1x=limt1[ln(1x)]0t=limt1(ln(1t))=+.\int_{0}^{1}\frac{dx}{1-x}=\lim_{t\to 1^{-}}\left[-\ln(1-x)\right]_{0}^{t}=\lim_{t\to 1^{-}}\left(-\ln(1-t)\right)=+\infty.

The integral diverges.

Parts (c) and (d) share the same singular endpoint, yet only (c) converges. The difference is the strength of the blow-up: (1x)1/2(1-x)^{-1/2} grows slowly enough to be integrable there, while (1x)1(1-x)^{-1} does not.

(e) 0xexdx\int_{0}^{\infty} x e^{-x}\,dx converges to 11

0xexdx=limt[(x+1)ex]0t=limt(1(t+1)et)=1,\int_{0}^{\infty}xe^{-x}dx=\lim_{t\to\infty}\left[-(x+1)e^{-x}\right]_{0}^{t}=\lim_{t\to\infty}\left(1-(t+1)e^{-t}\right)=1,

because the exponential decays faster than the linear factor grows. The integral converges to 11.

(f) 01lnxxdx\int_{0}^{1}\frac{\ln x}{x}\,dx diverges

Substituting u=lnxu=\ln x, so that du=dxxdu=\frac{dx}{x}, turns the integrand into uduu\,du with antiderivative u22=(lnx)22\frac{u^{2}}{2}=\frac{(\ln x)^{2}}{2}. Therefore

01lnxxdx=limt0+[(lnx)22]t1=limt0+(0(lnt)22)=.\int_{0}^{1}\frac{\ln x}{x}\,dx=\lim_{t\to 0^{+}}\left[\frac{(\ln x)^{2}}{2}\right]_{t}^{1}=\lim_{t\to 0^{+}}\left(0-\frac{(\ln t)^{2}}{2}\right)=-\infty.

The integral diverges.

Summary

PartIntegralWhy it is improperResult
(a)1xedx\int_{1}^{\infty}x^{-e}dxinfinite interval, p=e>1p=e>1converges to 1e1\frac{1}{e-1}
(b)01xπdx\int_{0}^{1}x^{-\pi}dxsingularity at x=0x=0, p=π>1p=\pi>1diverges
(c)01(1x)1/2dx\int_{0}^{1}(1-x)^{-1/2}dxsingularity at x=1x=1, p=12<1p=\frac{1}{2}<1converges to 22
(d)01(1x)1dx\int_{0}^{1}(1-x)^{-1}dxsingularity at x=1x=1, p=1p=1diverges
(e)0xexdx\int_{0}^{\infty}xe^{-x}dxinfinite interval, exponential decayconverges to 11
(f)01lnxxdx\int_{0}^{1}\frac{\ln x}{x}dxsingularity at x=0x=0, logarithmic blow-updiverges

"Diverges" records that no finite limiting value exists. It does not mean the area is zero, and it does not mean the integral can be assigned some other finite value by symmetry.

Evidence boundary

This page is a normalized presentation of the OpenStax Calculus Volume 2 section 3.7 exercise set that reads “Evaluate the integrals. If the integral diverges, answer ‘It diverges.’” Six of the eleven items in that set are used, and each integrand, pair of limits and singular point is reproduced as published; nothing is reconstructed from the truncated keyword. The page reports the convergence or divergence of these six integrals only. It does not prove the comparison theorem, and it makes no claim about series built from the same integrands.

Sources

These references support the concepts and methods used in the explanation above.

Evaluate the Integral or State That It Diverges: Six Improper Integrals | Verla