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) ∫1∞dxxe\displaystyle \int_{1}^{\infty} \frac{dx}{x^{e}}

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

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

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

(e) ∫0∞xe−x dx\displaystyle \int_{0}^{\infty} x e^{-x}\,dx

(f) ∫01ln⁡xx dx\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) ∫1∞x−e dx\int_{1}^{\infty} x^{-e}\,dx converges to 1e−1\frac{1}{e-1}

∫1∞x−e dx=lim⁡t→∞∫1tx−e dx=lim⁡t→∞[x1−e1−e]1t=lim⁡t→∞t1−e−11−e.\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 e≈2.718>1e\approx 2.718>1, the exponent 1−e1-e is negative, so t1−et^{1-e} tends to 00. The limit is 0−11−e=1e−1≈0.582\frac{0-1}{1-e}=\frac{1}{e-1}\approx 0.582, and the integral converges.

This is the pp-integral ∫1∞x−pdx\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=lim⁡t→0+[x1−π1−π]t1=lim⁡t→0+1−t1−π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 t→0+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: ∫01x−pdx\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) ∫01dx1−x\int_{0}^{1}\frac{dx}{\sqrt{1-x}} converges to 22

∫01dx1−x=lim⁡t→1−[−21−x]0t=lim⁡t→1−(2−21−t)=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) ∫01dx1−x\int_{0}^{1}\frac{dx}{1-x} diverges

∫01dx1−x=lim⁡t→1−[−ln⁡(1−x)]0t=lim⁡t→1−(−ln⁡(1−t))=+∞.\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: (1−x)−1/2(1-x)^{-1/2} grows slowly enough to be integrable there, while (1−x)−1(1-x)^{-1} does not.

(e) ∫0∞xe−x dx\int_{0}^{\infty} x e^{-x}\,dx converges to 11

∫0∞xe−xdx=lim⁡t→∞[−(x+1)e−x]0t=lim⁡t→∞(1−(t+1)e−t)=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) ∫01ln⁡xx dx\int_{0}^{1}\frac{\ln x}{x}\,dx diverges

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

∫01ln⁡xx dx=lim⁡t→0+[(ln⁡x)22]t1=lim⁡t→0+(0−(ln⁡t)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)∫1∞x−edx\int_{1}^{\infty}x^{-e}dxinfinite interval, p=e>1p=e>1converges to 1e−1\frac{1}{e-1}
(b)∫01x−πdx\int_{0}^{1}x^{-\pi}dxsingularity at x=0x=0, p=π>1p=\pi>1diverges
(c)∫01(1−x)−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(1−x)−1dx\int_{0}^{1}(1-x)^{-1}dxsingularity at x=1x=1, p=1p=1diverges
(e)∫0∞xe−xdx\int_{0}^{\infty}xe^{-x}dxinfinite interval, exponential decayconverges to 11
(f)∫01ln⁡xxdx\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.