MATH 141 Calculus 2 • McGill University, Montreal

Corrected exercises: improper integrals (MATH 141)

This is the corrected exercise set for the improper integrals chapter of MATH 141, Calculus 2, the second calculus course at McGill University, section 7.8 of Stewart. Every integral is chosen to be done by hand, and every answer is exact: π2\frac{\pi}{2}, 1ln⁡2\frac{1}{\ln 2}, 3+3233 + 3\sqrt[3]{2}, never a decimal from a machine. The solutions name each limit, each substitution and each comparison, because on this chapter the method marks are the limits themselves.

The thread running through the whole set: an improper integral is a LIMIT, never a number into which one plugs infinity. Before any antiderivative, find every point where the integral is improper: an infinite bound, an endpoint where the integrand blows up, and the asymptote hidden inside the interval. Replace each by its own limit. The integral converges only if every piece converges on its own, infinities never cancel, and a symmetric limit is not the integral.

The traps named explicitly in the solutions: substituting ∞\infty into an antiderivative, applying the Fundamental Theorem across a vertical asymptote, adding +∞+\infty and −∞-\infty into a finite number, taking the principal value for the integral, using the pp-rule of [1,∞)[1, \infty) on (0,1](0, 1], comparing in the direction that proves nothing, concluding that an integrand tending to 00 has a finite integral, and writing ∞⋅0=0\infty \cdot 0 = 0 where L'Hôpital's rule is required.

10 corrected exercises • 100 points • 150 minutes

Revision sheet for this chapter → Every MATH 141 chapter →

Course recap

  • • Type 1: ∫a∞f(x) dx=lim⁡t→∞∫atf(x) dx\int_a^\infty f(x)\,dx = \lim_{t\to\infty}\int_a^t f(x)\,dx, and ∫−∞bf(x) dx=lim⁡t→−∞∫tbf(x) dx\int_{-\infty}^b f(x)\,dx = \lim_{t\to-\infty}\int_t^b f(x)\,dx. It converges when the limit exists and is finite.
  • • Type 2: if ff is unbounded near aa, ∫abf(x) dx=lim⁡t→a+∫tbf(x) dx\int_a^b f(x)\,dx = \lim_{t\to a^+}\int_t^b f(x)\,dx; near bb, lim⁡t→b−∫atf(x) dx\lim_{t\to b^-}\int_a^t f(x)\,dx.
  • • Several problem points (two infinite bounds, an interior asymptote, a bad endpoint and an infinite bound): split, one limit per piece; the integral converges only if EVERY piece converges.
  • • pp-integrals: ∫1∞dxxp\int_1^\infty\frac{dx}{x^p} converges iff p>1p > 1 (value 1p−1\frac{1}{p - 1}); ∫01dxxp\int_0^1\frac{dx}{x^p} converges iff p<1p < 1 (value 11−p\frac{1}{1 - p}).
  • • Comparison: if 0≤g≤f0 \le g \le f, then ∫f\int f convergent gives ∫g\int g convergent, and ∫g\int g divergent gives ∫f\int f divergent. Nothing else.
  • • Final limits: ln⁡tt→0\frac{\ln t}{t} \to 0, tne−t→0t^n e^{-t} \to 0, tln⁡t→0t\ln t \to 0 as t→0+t \to 0^+, all by L'Hôpital's rule; sin⁡t\sin t and cos⁡t\cos t have no limit.

Part A: the basics (/50)

Exercise 1: Type 1: an infinite bound is a limit, written first

An interval such as [1,∞)[1, \infty) cannot be cut into finitely many pieces of finite width, so ∫1∞f(x) dx\int_1^\infty f(x)\,dx is not a Riemann integral. It is DEFINED as a limit: ∫a∞f(x) dx=lim⁡t→∞∫atf(x) dx\int_a^\infty f(x)\,dx = \lim_{t\to\infty}\int_a^t f(x)\,dx, and the integral converges when this limit exists as a finite number; otherwise it diverges. Likewise ∫−∞bf(x) dx=lim⁡t→−∞∫tbf(x) dx\int_{-\infty}^b f(x)\,dx = \lim_{t\to-\infty}\int_t^b f(x)\,dx.

The method is always three lines: write the limit, integrate on the finite interval, take the limit. The figure shows y=1/x3y = 1/x^3 and y=1/xy = 1/\sqrt{x} from x=1x = 1 on; both tend to 00.

123456780.20.40.60.811.2y = 1/√xy = 1/x³
  • a) Evaluate ∫1∞dxx3\int_1^\infty \frac{dx}{x^3}, or show that it diverges.
  • b) Same question for ∫−∞0e3x dx\int_{-\infty}^{0} e^{3x}\,dx.
  • c) Same question for ∫1∞dxx\int_1^\infty \frac{dx}{\sqrt{x}}.
  • d) Same question for ∫2∞dxx(ln⁡x)2\int_2^\infty \frac{dx}{x(\ln x)^2}, then for ∫2∞dxxln⁡x\int_2^\infty \frac{dx}{x\ln x}.
  • e) Both curves of the figure tend to 00. Using a) and c), explain why the integrand tends to 00 does not decide convergence, and say what does.
Show the solution

Answers

  • a) Converges: 12\frac{1}{2}
  • b) Converges: 13\frac{1}{3}
  • c) Diverges: 2t−2→∞2\sqrt{t} - 2 \to \infty
  • d) Converges to 1ln⁡2\frac{1}{\ln 2}; the second diverges (ln⁡(ln⁡t)→∞\ln(\ln t) \to \infty).
  • e) A limit of 00 proves nothing; what decides is how FAST ff decays, measured against the pp-integrals.

a) The only problem is the infinite bound: x−3x^{-3} is continuous on [1,∞)[1, \infty). So ∫1∞dxx3=lim⁡t→∞∫1tx−3 dx=lim⁡t→∞[−12x2]1t=lim⁡t→∞(12−12t2)=12\int_1^\infty \frac{dx}{x^3} = \lim_{t\to\infty}\int_1^t x^{-3}\,dx = \lim_{t\to\infty}\left[-\frac{1}{2x^2}\right]_1^t = \lim_{t\to\infty}\left(\frac{1}{2} - \frac{1}{2t^2}\right) = \frac{1}{2}, because 12t2→0\frac{1}{2t^2} \to 0. The integral converges to 12\frac{1}{2}. Check of the antiderivative: ddx(−12x−2)=x−3\frac{d}{dx}\left(-\frac{1}{2}x^{-2}\right) = x^{-3}. The limit is written on the FIRST line. The copy that writes [−12x2]1∞=0+12\left[-\frac{1}{2x^2}\right]_1^\infty = 0 + \frac{1}{2} gets the number and loses the method mark, because ∞\infty is not a number that can be substituted: the definition of the integral is the limit, and the marker looks for it.

b) Here the infinite bound is the LOWER one: ∫−∞0e3x dx=lim⁡t→−∞∫t0e3x dx=lim⁡t→−∞[13e3x]t0=lim⁡t→−∞(13−13e3t)=13\int_{-\infty}^{0} e^{3x}\,dx = \lim_{t\to-\infty}\int_t^0 e^{3x}\,dx = \lim_{t\to-\infty}\left[\frac{1}{3}e^{3x}\right]_t^0 = \lim_{t\to-\infty}\left(\frac{1}{3} - \frac{1}{3}e^{3t}\right) = \frac{1}{3}. As t→−∞t \to -\infty, 3t→−∞3t \to -\infty and e3t→0e^{3t} \to 0. Converges to 13\frac{1}{3}. The slip to avoid is on the sign of the exponent: the same integrand on [0,∞)[0, \infty) would diverge, since e3t→∞e^{3t} \to \infty as t→+∞t \to +\infty. Before taking the limit, say in words which way tt goes.

c) ∫1∞dxx=lim⁡t→∞∫1tx−1/2 dx=lim⁡t→∞[2x]1t=lim⁡t→∞(2t−2)=∞\int_1^\infty \frac{dx}{\sqrt{x}} = \lim_{t\to\infty}\int_1^t x^{-1/2}\,dx = \lim_{t\to\infty}\left[2\sqrt{x}\right]_1^t = \lim_{t\to\infty}\left(2\sqrt{t} - 2\right) = \infty. The limit is not finite, so the integral DIVERGES. Writing =∞= \infty is acceptable as long as the word diverges follows: an integral equal to infinity is a divergent integral, not a large number. The shaded region of the figure has infinite area although its height shrinks to 00.

d) Substitution u=ln⁡xu = \ln x, du=dxxdu = \frac{dx}{x}; the bounds 22 and tt become ln⁡2\ln 2 and ln⁡t\ln t. So ∫2tdxx(ln⁡x)2=∫ln⁡2ln⁡tu−2 du=[−1u]ln⁡2ln⁡t=1ln⁡2−1ln⁡t\int_2^t \frac{dx}{x(\ln x)^2} = \int_{\ln 2}^{\ln t} u^{-2}\,du = \left[-\frac{1}{u}\right]_{\ln 2}^{\ln t} = \frac{1}{\ln 2} - \frac{1}{\ln t}. As t→∞t \to \infty, ln⁡t→∞\ln t \to \infty, so 1ln⁡t→0\frac{1}{\ln t} \to 0 and the integral converges to 1ln⁡2\frac{1}{\ln 2}, about 10.69≈1.44\frac{1}{0.69} \approx 1.44. With one factor of ln⁡x\ln x less, the same substitution gives ∫2tdxxln⁡x=∫ln⁡2ln⁡tduu=ln⁡(ln⁡t)−ln⁡(ln⁡2)→∞\int_2^t \frac{dx}{x\ln x} = \int_{\ln 2}^{\ln t}\frac{du}{u} = \ln(\ln t) - \ln(\ln 2) \to \infty: DIVERGES, although so slowly that at t=e10t = e^{10}, about twenty-two thousand, the integral has only reached about 2.72.7. A slow growth is still a divergence; no table of values decides a limit.

e) Both integrands tend to 00, yet a) converges and c) diverges. So a limit of 00 is NOT enough; it only rules out one thing: if f(x)f(x) tended to a positive number LL, then f(x)≥L2f(x) \ge \frac{L}{2} from some point on, the area would grow at least linearly and the integral would diverge. What decides is HOW FAST ff tends to 00: 1x3\frac{1}{x^3} shrinks fast enough for the area over [1,t][1, t] to stay below 12\frac{1}{2}, while 1x\frac{1}{\sqrt{x}} shrinks so slowly that the area keeps growing like 2t2\sqrt{t}. The yardstick for how fast is fast enough is the family of pp-integrals of the next exercise: ∫1∞dxxp\int_1^\infty \frac{dx}{x^p} converges exactly when p>1p > 1.

Exercise 2: Type 2: an integrand that blows up at an endpoint

When ff is continuous on (a,b](a, b] but unbounded near aa, ∫abf(x) dx=lim⁡t→a+∫tbf(x) dx\int_a^b f(x)\,dx = \lim_{t\to a^+}\int_t^b f(x)\,dx; when the trouble is at bb, ∫abf(x) dx=lim⁡t→b−∫atf(x) dx\int_a^b f(x)\,dx = \lim_{t\to b^-}\int_a^t f(x)\,dx. The danger is that nothing in the notation warns you: both bounds are ordinary numbers. The first gesture of every definite integral is therefore to look at the integrand AT BOTH ENDPOINTS before integrating.

The figure shows y=ln⁡xy = \ln x on (0,1.5](0, 1.5] and the region between the curve and the xx-axis for 0<x≤10 < x \le 1.

0.250.50.7511.251.5-4-3-2-11y = ln xno floor as x → 0⁺
  • a) Evaluate ∫04dxx\int_0^4 \frac{dx}{\sqrt{x}}, or show that it diverges.
  • b) Same question for ∫23dx3−x\int_2^3 \frac{dx}{\sqrt{3 - x}}.
  • c) Same question for ∫01dxx2\int_0^1 \frac{dx}{x^2}.
  • d) Same question for ∫01ln⁡x dx\int_0^1 \ln x\,dx. Explain the sign of the answer with the figure.
  • e) Same question for ∫0π/2tan⁡x dx\int_0^{\pi/2} \tan x\,dx.
Show the solution

Answers

  • a) Converges: 44
  • b) Converges: 22
  • c) Diverges: 1t−1→∞\frac{1}{t} - 1 \to \infty
  • d) Converges: −1-1 (the region lies below the axis and has area 11)
  • e) Diverges: −ln⁡(cos⁡t)→∞-\ln(\cos t) \to \infty as t→π2−t \to \frac{\pi}{2}^-

a) At x=0x = 0 the integrand 1x\frac{1}{\sqrt{x}} is undefined and tends to +∞+\infty; at x=4x = 4 it is 12\frac{1}{2}. So the integral is improper at 00 only: ∫04dxx=lim⁡t→0+∫t4x−1/2 dx=lim⁡t→0+[2x]t4=lim⁡t→0+(4−2t)=4\int_0^4 \frac{dx}{\sqrt{x}} = \lim_{t\to0^+}\int_t^4 x^{-1/2}\,dx = \lim_{t\to0^+}\left[2\sqrt{x}\right]_t^4 = \lim_{t\to0^+}\left(4 - 2\sqrt{t}\right) = 4. Converges. The region is infinitely tall and yet has area 44: it becomes thin fast enough near the axis. Compare with Exercise 1 c), where the SAME function on [1,∞)[1, \infty) diverged: the behaviour at 00 and the behaviour at ∞\infty are two separate questions.

b) At x=3x = 3 the denominator 3−x\sqrt{3 - x} vanishes, so the problem is at the UPPER bound and the limit is taken from the left: ∫23dx3−x=lim⁡t→3−∫2t(3−x)−1/2 dx=lim⁡t→3−[−23−x]2t=lim⁡t→3−(−23−t+2)=2\int_2^3 \frac{dx}{\sqrt{3 - x}} = \lim_{t\to3^-}\int_2^t (3 - x)^{-1/2}\,dx = \lim_{t\to3^-}\left[-2\sqrt{3 - x}\right]_2^t = \lim_{t\to3^-}\left(-2\sqrt{3 - t} + 2\right) = 2. The minus sign of the antiderivative comes from the chain rule: ddx(−2(3−x)1/2)=−2⋅12(3−x)−1/2⋅(−1)=(3−x)−1/2\frac{d}{dx}\left(-2(3 - x)^{1/2}\right) = -2 \cdot \frac{1}{2}(3 - x)^{-1/2} \cdot (-1) = (3 - x)^{-1/2}. Forgetting it gives −2-2, a negative value for a positive integrand, which alone should stop the pen.

c) 1x2→∞\frac{1}{x^2} \to \infty as x→0+x \to 0^+: ∫01dxx2=lim⁡t→0+∫t1x−2 dx=lim⁡t→0+[−1x]t1=lim⁡t→0+(−1+1t)=∞\int_0^1 \frac{dx}{x^2} = \lim_{t\to0^+}\int_t^1 x^{-2}\,dx = \lim_{t\to0^+}\left[-\frac{1}{x}\right]_t^1 = \lim_{t\to0^+}\left(-1 + \frac{1}{t}\right) = \infty. DIVERGES. Next to a), the lesson is the one of Exercise 1, but at the other end: near 00, 1x2\frac{1}{x^2} blows up much faster than 1x\frac{1}{\sqrt{x}}, and that is what makes the area infinite. Exercise 3 turns this into a rule.

d) ln⁡x→−∞\ln x \to -\infty as x→0+x \to 0^+, so the integral is improper at 00. By parts, u=ln⁡xu = \ln x, dv=dxdv = dx, so du=dxxdu = \frac{dx}{x} and v=xv = x: ∫ln⁡x dx=xln⁡x−∫x⋅1x dx=xln⁡x−x\int \ln x\,dx = x\ln x - \int x \cdot \frac{1}{x}\,dx = x\ln x - x, and indeed ddx(xln⁡x−x)=ln⁡x+1−1=ln⁡x\frac{d}{dx}(x\ln x - x) = \ln x + 1 - 1 = \ln x. Then ∫t1ln⁡x dx=(0−1)−(tln⁡t−t)=−1−tln⁡t+t\int_t^1 \ln x\,dx = (0 - 1) - (t\ln t - t) = -1 - t\ln t + t. The last limit is the crux: tln⁡tt\ln t is of the form 0⋅(−∞)0 \cdot (-\infty), which is indeterminate and is NOT 00 by decree. Write it as a quotient, tln⁡t=ln⁡t1/tt\ln t = \frac{\ln t}{1/t}, of the form −∞∞\frac{-\infty}{\infty}, and apply L'Hôpital's rule: lim⁡t→0+1/t−1/t2=lim⁡t→0+(−t)=0\lim_{t\to0^+}\frac{1/t}{-1/t^2} = \lim_{t\to0^+}(-t) = 0. So ∫01ln⁡x dx=−1−0+0=−1\int_0^1 \ln x\,dx = -1 - 0 + 0 = -1. Converges. The sign is the figure: on (0,1)(0, 1), ln⁡x<0\ln x < 0, so the whole region lies BELOW the axis and the integral is minus its area. The shaded region has area 11, although it has no bottom.

e) tan⁡x=sin⁡xcos⁡x\tan x = \frac{\sin x}{\cos x} and cos⁡x→0+\cos x \to 0^+ as x→π2−x \to \frac{\pi}{2}^-, so the integrand is unbounded at the upper bound. With ∫tan⁡x dx=−ln⁡∣cos⁡x∣+C\int \tan x\,dx = -\ln\lvert\cos x\rvert + C (substitution u=cos⁡xu = \cos x): ∫0π/2tan⁡x dx=lim⁡t→π/2−[−ln⁡(cos⁡x)]0t=lim⁡t→π/2−(−ln⁡(cos⁡t)+ln⁡1)\int_0^{\pi/2}\tan x\,dx = \lim_{t\to\pi/2^-}\left[-\ln(\cos x)\right]_0^t = \lim_{t\to\pi/2^-}\left(-\ln(\cos t) + \ln 1\right). Since cos⁡t→0+\cos t \to 0^+, ln⁡(cos⁡t)→−∞\ln(\cos t) \to -\infty and −ln⁡(cos⁡t)→+∞-\ln(\cos t) \to +\infty. DIVERGES. This one looks exactly like an ordinary definite integral from a trigonometry table; the only warning is that tan⁡\tan is not defined at π2\frac{\pi}{2}, which is why checking the endpoints comes before anything else.

Exercise 3: p-integrals: the same exponent, two opposite verdicts

The integrals of 1xp\frac{1}{x^p} are the yardsticks of this chapter: every comparison in Exercises 6 and 7 ends on one of them. They are improper in two different ways: at infinity on [1,∞)[1, \infty), and at 00 on (0,1](0, 1] when p>0p > 0.

The figure shows y=1x2y = \frac{1}{x^2}, y=1xy = \frac{1}{x} and y=1xy = \frac{1}{\sqrt{x}} on (0,3](0, 3], with the line x=1x = 1 dashed.

0.511.522.53123451/√x1/x1/x²right of 1: largest p is lowestleft of 1: largest p is highest
  • a) Show that ∫1∞dxxp\int_1^\infty \frac{dx}{x^p} converges if and only if p>1p > 1, and give its value then. Treat p=1p = 1 separately.
  • b) Show that, for p>0p > 0, ∫01dxxp\int_0^1 \frac{dx}{x^p} converges if and only if p<1p < 1, and give its value then.
  • c) Explain with the figure why the two rules point in opposite directions.
  • d) Using only a) and b), decide: ∫1∞dxx1.01\int_1^\infty \frac{dx}{x^{1.01}}, ∫01dxxx\int_0^1 \frac{dx}{x\sqrt{x}}, ∫1∞dxx23\int_1^\infty \frac{dx}{\sqrt[3]{x^2}} and ∫01dxx23\int_0^1 \frac{dx}{\sqrt[3]{x^2}}. Give the value of those that converge.
  • e) Show that ∫0∞dxxp\int_0^\infty \frac{dx}{x^p} diverges for every real pp.
Show the solution

Answers

  • a) Converges iff p>1p > 1, to 1p−1\frac{1}{p - 1}; p=1p = 1 gives ln⁡t→∞\ln t \to \infty.
  • b) Converges iff p<1p < 1, to 11−p\frac{1}{1 - p}; p=1p = 1 gives −ln⁡t→∞-\ln t \to \infty.
  • c) Right of 11 a larger pp means a smaller function; left of 11 it means a larger one.
  • d) 100100; diverges; diverges; 33.
  • e) Split at 11: the two pieces need p<1p < 1 and p>1p > 1 at once, impossible.

a) For p≠1p \ne 1: ∫1tx−p dx=[x1−p1−p]1t=t1−p−11−p\int_1^t x^{-p}\,dx = \left[\frac{x^{1-p}}{1 - p}\right]_1^t = \frac{t^{1-p} - 1}{1 - p}. If p>1p > 1, the exponent 1−p1 - p is negative, so t1−p=1tp−1→0t^{1-p} = \frac{1}{t^{p-1}} \to 0 and the limit is −11−p=1p−1\frac{-1}{1 - p} = \frac{1}{p - 1}: converges. If p<1p < 1, the exponent is positive, t1−p→∞t^{1-p} \to \infty: diverges. For p=1p = 1 the power rule does not apply: ∫1tdxx=ln⁡t→∞\int_1^t \frac{dx}{x} = \ln t \to \infty, diverges. Conclusion: ∫1∞dxxp=1p−1\int_1^\infty \frac{dx}{x^p} = \frac{1}{p - 1} if p>1p > 1, divergent if p≤1p \le 1. The case p=1p = 1 is the one students forget, and it is the one on the boundary: 1x\frac{1}{x} is the fastest-decaying power that still diverges.

b) For p≤0p \le 0 the integrand x−px^{-p} is continuous on [0,1][0, 1] and nothing is improper. For p>0p > 0 it blows up at 00. For p≠1p \ne 1: ∫t1x−p dx=1−t1−p1−p\int_t^1 x^{-p}\,dx = \frac{1 - t^{1-p}}{1 - p}. If 0<p<10 < p < 1, 1−p>01 - p > 0 and t1−p→0t^{1-p} \to 0 as t→0+t \to 0^+: the limit is 11−p\frac{1}{1 - p}, converges. If p>1p > 1, t1−p=1tp−1→∞t^{1-p} = \frac{1}{t^{p-1}} \to \infty: diverges. For p=1p = 1: ∫t1dxx=−ln⁡t→∞\int_t^1 \frac{dx}{x} = -\ln t \to \infty, diverges. Conclusion: ∫01dxxp=11−p\int_0^1 \frac{dx}{x^p} = \frac{1}{1 - p} if p<1p < 1, divergent if p≥1p \ge 1. Same computation as a), with the opposite verdict, because tt now goes to 00 instead of ∞\infty.

c) On (1,∞)(1, \infty) a larger exponent makes the function SMALLER: 1x2<1x<1x\frac{1}{x^2} < \frac{1}{x} < \frac{1}{\sqrt{x}}, the red curve lowest. At infinity the danger is a function that does not die fast enough, so a large pp helps. On (0,1)(0, 1) the order is REVERSED: 1x2>1x>1x\frac{1}{x^2} > \frac{1}{x} > \frac{1}{\sqrt{x}}, the red curve highest. Near 00 the danger is a function that explodes too fast, so a large pp hurts. The three curves meet at (1,1)(1, 1), which is why 11 is the natural place to split, and p=1p = 1 sits on the boundary of both rules and fails both.

d) ∫1∞dxx1.01\int_1^\infty \frac{dx}{x^{1.01}}: p=1.01>1p = 1.01 > 1 on [1,∞)[1, \infty), converges to 10.01=100\frac{1}{0.01} = 100. However close to 11, a pp above 11 converges; the value is simply large. ∫01dxxx\int_0^1 \frac{dx}{x\sqrt{x}}: xx=x3/2x\sqrt{x} = x^{3/2}, so p=32≥1p = \frac{3}{2} \ge 1 on (0,1](0, 1]: diverges. ∫1∞dxx23\int_1^\infty \frac{dx}{\sqrt[3]{x^2}}: p=23≤1p = \frac{2}{3} \le 1 on [1,∞)[1, \infty): diverges. ∫01dxx23\int_0^1 \frac{dx}{\sqrt[3]{x^2}}: the same p=23p = \frac{2}{3}, now on (0,1](0, 1] where p<1p < 1 is required: converges to 11−2/3=3\frac{1}{1 - 2/3} = 3. The last two lines are the whole chapter in miniature: one function, two intervals, two verdicts. Always say WHICH rule is applied, with its interval.

e) ∫0∞\int_0^\infty is improper at both ends, so it must be split, for instance at 11: ∫0∞dxxp=∫01dxxp+∫1∞dxxp\int_0^\infty \frac{dx}{x^p} = \int_0^1 \frac{dx}{x^p} + \int_1^\infty \frac{dx}{x^p}, and it converges only if BOTH pieces converge. For p>0p > 0, the first needs p<1p < 1 and the second p>1p > 1: no pp satisfies both, and p=1p = 1 fails both. For p≤0p \le 0 the first piece is an ordinary integral but the second diverges since p≤0<1p \le 0 < 1. So ∫0∞dxxp\int_0^\infty \frac{dx}{x^p} diverges for every real pp. No pure power has a finite area on (0,∞)(0, \infty): a convergent integral there needs an integrand that behaves like one power near 00 and like another near ∞\infty, as in Exercise 7.

Exercise 4: The hidden asymptote: look inside the interval before using the FTC

The Fundamental Theorem of Calculus, ∫abf(x) dx=F(b)−F(a)\int_a^b f(x)\,dx = F(b) - F(a), requires ff to be continuous on the WHOLE closed interval [a,b][a, b]. A vertical asymptote strictly between aa and bb makes the integral improper even though both bounds are finite and the integrand is harmless at both ends. The rule: split at the bad point cc, ∫ab=∫ac+∫cb\int_a^b = \int_a^c + \int_c^b, each piece being a limit, and the integral converges only if BOTH pieces converge.

The figure shows f(x)=1(x−1)2/3f(x) = \frac{1}{(x - 1)^{2/3}} on [0,3][0, 3], where (x−1)2/3=(x−1)23(x - 1)^{2/3} = \sqrt[3]{(x - 1)^2} is positive on both sides of 11.

0.511.522.53123456x = 1y = f(x)
  • a) Where is ff not continuous on [0,3][0, 3]? Write ∫03f(x) dx\int_0^3 f(x)\,dx as a sum of two limits.
  • b) Evaluate ∫03dx(x−1)2/3\int_0^3 \frac{dx}{(x - 1)^{2/3}}.
  • c) A student writes ∫03dxx−1=[ln⁡∣x−1∣]03=ln⁡2−ln⁡1=ln⁡2\int_0^3 \frac{dx}{x - 1} = \left[\ln\lvert x - 1\rvert\right]_0^3 = \ln 2 - \ln 1 = \ln 2. Find the error and give the correct conclusion.
  • d) Show that the same shortcut gives ∫0πsec⁡2x dx=0\int_0^{\pi}\sec^2 x\,dx = 0. Explain why 00 is impossible without computing anything, then give the correct conclusion.
  • e) Evaluate ∫−12dxx3\int_{-1}^{2}\frac{dx}{\sqrt[3]{x}}. The shortcut happens to give the right number here: what is still wrong with it?
Show the solution

Answers

  • a) Only at x=1x = 1; ∫03f=lim⁡t→1−∫0tf+lim⁡s→1+∫s3f\int_0^3 f = \lim_{t\to1^-}\int_0^t f + \lim_{s\to1^+}\int_s^3 f.
  • b) Converges: 3+3233 + 3\sqrt[3]{2}
  • c) FTC used across x=1x = 1; ∫13dxx−1\int_1^3 \frac{dx}{x - 1} diverges, so the integral diverges.
  • d) sec⁡2x≥1\sec^2 x \ge 1 forces a value ≥π\ge \pi; ∫0π/2sec⁡2x dx\int_0^{\pi/2}\sec^2 x\,dx diverges, so the integral diverges.
  • e) Converges: 32(43−1)\frac{3}{2}\left(\sqrt[3]{4} - 1\right); the split and the two limits are what is marked.

a) f(x)=(x−1)−2/3f(x) = (x - 1)^{-2/3} is continuous everywhere except at x=1x = 1, where the denominator vanishes and f(x)→+∞f(x) \to +\infty from both sides. At x=0x = 0, f(0)=113=1f(0) = \frac{1}{\sqrt[3]{1}} = 1, and at x=3x = 3, f(3)=143f(3) = \frac{1}{\sqrt[3]{4}}: the endpoints are harmless, which is exactly what makes this integral dangerous. Split at 11: ∫03f(x) dx=lim⁡t→1−∫0tf(x) dx+lim⁡s→1+∫s3f(x) dx\int_0^3 f(x)\,dx = \lim_{t\to1^-}\int_0^t f(x)\,dx + \lim_{s\to1^+}\int_s^3 f(x)\,dx, two INDEPENDENT limits, with two different letters.

b) An antiderivative: F(x)=3(x−1)1/3F(x) = 3(x - 1)^{1/3}, since F′(x)=3⋅13(x−1)−2/3=f(x)F'(x) = 3 \cdot \frac{1}{3}(x - 1)^{-2/3} = f(x), and the cube root is defined for negative numbers. Left piece: lim⁡t→1−[3(x−1)1/3]0t=lim⁡t→1−(3(t−1)1/3−3(−1)1/3)=0−3(−1)=3\lim_{t\to1^-}\left[3(x - 1)^{1/3}\right]_0^t = \lim_{t\to1^-}\left(3(t - 1)^{1/3} - 3(-1)^{1/3}\right) = 0 - 3(-1) = 3. Right piece: lim⁡s→1+[3(x−1)1/3]s3=323−0=323\lim_{s\to1^+}\left[3(x - 1)^{1/3}\right]_s^3 = 3\sqrt[3]{2} - 0 = 3\sqrt[3]{2}. Both converge, so ∫03dx(x−1)2/3=3+323\int_0^3 \frac{dx}{(x - 1)^{2/3}} = 3 + 3\sqrt[3]{2}, about 3+3.78=6.783 + 3.78 = 6.78 since 23≈1.26\sqrt[3]{2} \approx 1.26. Each piece converges because near 11 the integrand behaves like 1u2/3\frac{1}{u^{2/3}} with u=∣x−1∣u = \lvert x - 1\rvert, and p=23<1p = \frac{2}{3} < 1 is the convergent case of Exercise 3 b). The infinitely tall spike of the figure has finite area.

c) The error is the first equals sign: 1x−1\frac{1}{x - 1} is not continuous at x=1x = 1, which lies inside [0,3][0, 3], so the FTC does not apply and the value ln⁡2\ln 2 means nothing. Split at 11 and look at the right piece: ∫13dxx−1=lim⁡s→1+[ln⁡(x−1)]s3=lim⁡s→1+(ln⁡2−ln⁡(s−1))=+∞\int_1^3 \frac{dx}{x - 1} = \lim_{s\to1^+}\left[\ln(x - 1)\right]_s^3 = \lim_{s\to1^+}\left(\ln 2 - \ln(s - 1)\right) = +\infty, since ln⁡(s−1)→−∞\ln(s - 1) \to -\infty. One piece diverges, so ∫03dxx−1\int_0^3 \frac{dx}{x - 1} DIVERGES; the other piece need not even be computed. It diverges too, to −∞-\infty, and that is the tempting mistake: +∞+\infty on the right and −∞-\infty on the left do NOT cancel into a finite number. ∞−∞\infty - \infty is not a value, and the shortcut silently computed exactly that.

d) Shortcut: ∫0πsec⁡2x dx=[tan⁡x]0π=tan⁡π−tan⁡0=0−0=0\int_0^{\pi}\sec^2 x\,dx = \left[\tan x\right]_0^{\pi} = \tan\pi - \tan 0 = 0 - 0 = 0. Impossible: sec⁡2x=1cos⁡2x≥1\sec^2 x = \frac{1}{\cos^2 x} \ge 1 wherever it is defined, so if the integral existed it would be at least ∫0π1 dx=π\int_0^\pi 1\,dx = \pi. A positive integrand with a zero integral is the alarm bell. The cause: cos⁡π2=0\cos\frac{\pi}{2} = 0, so sec⁡2x\sec^2 x has a vertical asymptote at π2\frac{\pi}{2}, inside [0,π][0, \pi]. Left piece: ∫0π/2sec⁡2x dx=lim⁡t→π/2−(tan⁡t−0)=+∞\int_0^{\pi/2}\sec^2 x\,dx = \lim_{t\to\pi/2^-}\left(\tan t - 0\right) = +\infty. DIVERGES, so the whole integral diverges. The antiderivative tan⁡x\tan x is itself discontinuous at π2\frac{\pi}{2}: an antiderivative that jumps is another sign that the FTC was used where it does not hold.

e) x−1/3x^{-1/3} is unbounded at x=0x = 0, inside [−1,2][-1, 2]. Antiderivative F(x)=32x2/3F(x) = \frac{3}{2}x^{2/3}, where x2/3=x23x^{2/3} = \sqrt[3]{x^2} is defined and continuous for all xx: F′(x)=x−1/3F'(x) = x^{-1/3} for x≠0x \ne 0. Left piece: lim⁡t→0−(32t2/3−32(−1)2/3)=0−32=−32\lim_{t\to0^-}\left(\frac{3}{2}t^{2/3} - \frac{3}{2}(-1)^{2/3}\right) = 0 - \frac{3}{2} = -\frac{3}{2}, negative as it must be, since x3<0\sqrt[3]{x} < 0 on (−1,0)(-1, 0). Right piece: lim⁡s→0+(3222/3−32s2/3)=3243\lim_{s\to0^+}\left(\frac{3}{2}2^{2/3} - \frac{3}{2}s^{2/3}\right) = \frac{3}{2}\sqrt[3]{4}. Both converge (p=13<1p = \frac{1}{3} < 1), so ∫−12dxx3=32(43−1)\int_{-1}^{2}\frac{dx}{\sqrt[3]{x}} = \frac{3}{2}\left(\sqrt[3]{4} - 1\right), about 32(1.59−1)≈0.88\frac{3}{2}(1.59 - 1) \approx 0.88. The shortcut F(2)−F(−1)F(2) - F(-1) gives the same number, but only BECAUSE both pieces turned out to converge, which the shortcut never checked. On a copy it scores the value and loses the method: the marks are for the split and the two limits, since the same shortcut produced nonsense in c) and d).

Exercise 5: Both bounds infinite: split, and the principal value trap

∫−∞∞f(x) dx\int_{-\infty}^{\infty} f(x)\,dx is DEFINED as ∫−∞cf(x) dx+∫c∞f(x) dx\int_{-\infty}^{c} f(x)\,dx + \int_c^\infty f(x)\,dx for any real cc, and it converges only if BOTH halves converge; the choice of cc does not change the verdict nor the value. It is NOT defined as lim⁡t→∞∫−ttf(x) dx\lim_{t\to\infty}\int_{-t}^{t} f(x)\,dx: that symmetric limit, called the principal value, can exist while the integral diverges.

The figure shows the odd function y=x1+x2y = \frac{x}{1 + x^2} on [−8,8][-8, 8] and the region between its graph and the axis.

-8-6-4-22468-0.8-0.6-0.4-0.20.20.40.60.8y = x/(1 + x²)negative halfpositive half
  • a) Evaluate ∫−∞∞dxx2+2x+5\int_{-\infty}^{\infty}\frac{dx}{x^2 + 2x + 5}.
  • b) Show that lim⁡t→∞∫−ttx1+x2 dx=0\lim_{t\to\infty}\int_{-t}^{t}\frac{x}{1 + x^2}\,dx = 0, and yet that ∫−∞∞x1+x2 dx\int_{-\infty}^{\infty}\frac{x}{1 + x^2}\,dx diverges.
  • c) Compute lim⁡t→∞∫−t2tx1+x2 dx\lim_{t\to\infty}\int_{-t}^{2t}\frac{x}{1 + x^2}\,dx. What does the result say about the value 00 of b)?
  • d) Evaluate ∫−∞∞xe−x2 dx\int_{-\infty}^{\infty} x e^{-x^2}\,dx. Why is the answer 00 legitimate here and not in b)?
  • e) Evaluate ∫−∞∞ex1+e2x dx\int_{-\infty}^{\infty}\frac{e^x}{1 + e^{2x}}\,dx with the substitution u=exu = e^x, saying what happens to each infinite bound.
Show the solution

Answers

  • a) Converges: π2\frac{\pi}{2}
  • b) Symmetric limit 00, but ∫0∞x1+x2 dx=∞\int_0^\infty \frac{x}{1 + x^2}\,dx = \infty: diverges.
  • c) ln⁡2\ln 2: another way to let the bounds go gives another number, so 00 was not a value.
  • d) Converges: 00, because each half converges (±12\pm\frac{1}{2}).
  • e) Converges: π2\frac{\pi}{2} (x→−∞x \to -\infty gives u→0+u \to 0^+, x→∞x \to \infty gives u→∞u \to \infty).

a) Complete the square: x2+2x+5=(x+1)2+4x^2 + 2x + 5 = (x + 1)^2 + 4. With u=x+1u = x + 1, ∫dx(x+1)2+4=12arctan⁡x+12+C\int\frac{dx}{(x + 1)^2 + 4} = \frac{1}{2}\arctan\frac{x + 1}{2} + C; check: ddx12arctan⁡x+12=12⋅1/21+(x+1)2/4=1(x+1)2+4\frac{d}{dx}\frac{1}{2}\arctan\frac{x + 1}{2} = \frac{1}{2} \cdot \frac{1/2}{1 + (x + 1)^2/4} = \frac{1}{(x + 1)^2 + 4}. Split at c=−1c = -1, where the arctangent is 00. Right half: lim⁡s→∞12arctan⁡s+12−0=12⋅π2=π4\lim_{s\to\infty}\frac{1}{2}\arctan\frac{s + 1}{2} - 0 = \frac{1}{2} \cdot \frac{\pi}{2} = \frac{\pi}{4}. Left half: 0−lim⁡t→−∞12arctan⁡t+12=−12(−π2)=π40 - \lim_{t\to-\infty}\frac{1}{2}\arctan\frac{t + 1}{2} = -\frac{1}{2}\left(-\frac{\pi}{2}\right) = \frac{\pi}{4}. Both converge: the integral is π2\frac{\pi}{2}. Splitting at c=0c = 0 instead gives 12(π2−arctan⁡12)+12(arctan⁡12+π2)\frac{1}{2}\left(\frac{\pi}{2} - \arctan\frac{1}{2}\right) + \frac{1}{2}\left(\arctan\frac{1}{2} + \frac{\pi}{2}\right), the same π2\frac{\pi}{2}: cc only moves an arctan⁡12\arctan\frac{1}{2} from one half to the other. Choose the cc that makes the arithmetic clean.

b) With u=1+x2u = 1 + x^2, ∫x1+x2 dx=12ln⁡(1+x2)+C\int\frac{x}{1 + x^2}\,dx = \frac{1}{2}\ln(1 + x^2) + C. Symmetric limit: ∫−ttx dx1+x2=12ln⁡(1+t2)−12ln⁡(1+t2)=0\int_{-t}^{t}\frac{x\,dx}{1 + x^2} = \frac{1}{2}\ln(1 + t^2) - \frac{1}{2}\ln(1 + t^2) = 0 for every tt, so the limit is 00. But the definition asks for each half on its own: ∫0∞x dx1+x2=lim⁡s→∞12ln⁡(1+s2)=+∞\int_0^\infty \frac{x\,dx}{1 + x^2} = \lim_{s\to\infty}\frac{1}{2}\ln(1 + s^2) = +\infty. One half diverges, so ∫−∞∞x1+x2 dx\int_{-\infty}^{\infty}\frac{x}{1 + x^2}\,dx DIVERGES. On the figure, the positive half and the negative half each have infinite area (the integrand behaves like 1x\frac{1}{x} at infinity, the p=1p = 1 case); the symmetric limit only says that the two infinities were grown at the same speed.

c) ∫−t2tx dx1+x2=12ln⁡(1+4t2)−12ln⁡(1+t2)=12ln⁡1+4t21+t2\int_{-t}^{2t}\frac{x\,dx}{1 + x^2} = \frac{1}{2}\ln(1 + 4t^2) - \frac{1}{2}\ln(1 + t^2) = \frac{1}{2}\ln\frac{1 + 4t^2}{1 + t^2}. As t→∞t \to \infty, 1+4t21+t2→4\frac{1 + 4t^2}{1 + t^2} \to 4, so the limit is 12ln⁡4=ln⁡2\frac{1}{2}\ln 4 = \ln 2. Letting the bounds go to infinity in another proportion gives another answer; with −t-t and ktkt one gets ln⁡k\ln k, so ANY real number can be produced. That is why the definition insists on two independent limits: an integral whose value depends on how the bounds move has no value at all, and the 00 of b) was an artefact of symmetry.

d) With u=x2u = x^2, ∫xe−x2 dx=−12e−x2+C\int x e^{-x^2}\,dx = -\frac{1}{2}e^{-x^2} + C. Right half: lim⁡s→∞(−12e−s2+12)=12\lim_{s\to\infty}\left(-\frac{1}{2}e^{-s^2} + \frac{1}{2}\right) = \frac{1}{2}. Left half: lim⁡t→−∞(−12+12e−t2)=−12\lim_{t\to-\infty}\left(-\frac{1}{2} + \frac{1}{2}e^{-t^2}\right) = -\frac{1}{2}. Both halves CONVERGE, so the integral converges and equals 12−12=0\frac{1}{2} - \frac{1}{2} = 0. The integrand is odd, like in b), and the answer is 00, but here the symmetry argument is legitimate because it comes AFTER checking that one half converges. The rule: odd integrand on a symmetric infinite interval gives 00 only once convergence of one half is proved.

e) u=exu = e^x, du=ex dxdu = e^x\,dx, and e2x=u2e^{2x} = u^2, so ex dx1+e2x=du1+u2\frac{e^x\,dx}{1 + e^{2x}} = \frac{du}{1 + u^2}. The bounds: as x→−∞x \to -\infty, u=ex→0+u = e^x \to 0^+; as x→+∞x \to +\infty, u→+∞u \to +\infty. The integral becomes ∫0∞du1+u2=lim⁡s→∞arctan⁡s−arctan⁡0=π2\int_0^\infty\frac{du}{1 + u^2} = \lim_{s\to\infty}\arctan s - \arctan 0 = \frac{\pi}{2}. Converges. Two infinite bounds became one finite bound and one infinite bound: the lower one is not improper at all in uu, because 11+u2\frac{1}{1 + u^2} is continuous at 00. Writing uu from −∞-\infty to ∞\infty by habit would give π\pi, twice the answer.

Part B: problems and reasoning (/50)

Exercise 6: The comparison test: decide without an antiderivative

Comparison theorem. Let ff and gg be continuous with f(x)≥g(x)≥0f(x) \ge g(x) \ge 0 for x≥ax \ge a. If ∫a∞f(x) dx\int_a^\infty f(x)\,dx converges, then ∫a∞g(x) dx\int_a^\infty g(x)\,dx converges; if ∫a∞g(x) dx\int_a^\infty g(x)\,dx diverges, then ∫a∞f(x) dx\int_a^\infty f(x)\,dx diverges. The same holds on (a,b](a, b] for an integrand unbounded at aa. It concludes in exactly two situations: SMALLER than a convergent integral, or LARGER than a divergent one. Every other comparison proves nothing.

The figure shows y=e−xy = e^{-x} and y=e−x2y = e^{-x^2} on [0,3][0, 3], with the region under y=e−xy = e^{-x} for x≥1x \ge 1 shaded.

0.511.522.530.20.40.60.811.2y = e⁻ˣy = e⁻ˣ² (steeper)
  • a) Show that ∫1∞cos⁡2xx2 dx\int_1^\infty\frac{\cos^2 x}{x^2}\,dx converges.
  • b) Show that ∫1∞2+sin⁡xx dx\int_1^\infty\frac{2 + \sin x}{\sqrt{x}}\,dx diverges.
  • c) A classmate writes: 1x+1≤1x\frac{1}{\sqrt{x} + 1} \le \frac{1}{\sqrt{x}} and ∫1∞dxx\int_1^\infty\frac{dx}{\sqrt{x}} diverges, so ∫1∞dxx+1\int_1^\infty\frac{dx}{\sqrt{x} + 1} diverges. Say why the argument proves nothing, then prove the conclusion correctly.
  • d) The function e−x2e^{-x^2} has no elementary antiderivative. Show that ∫1∞e−x2 dx\int_1^\infty e^{-x^2}\,dx converges and that its value is less than 1e\frac{1}{e}.
  • e) Show that ln⁡x≤x\ln x \le \sqrt{x} for x≥1x \ge 1, deduce that ∫1∞ln⁡xx2 dx\int_1^\infty\frac{\ln x}{x^2}\,dx converges, then compute it exactly and compare with the bound.
Show the solution

Answers

  • a) 0≤cos⁡2xx2≤1x20 \le \frac{\cos^2 x}{x^2} \le \frac{1}{x^2}, p=2>1p = 2 > 1: converges.
  • b) 2+sin⁡xx≥1x\frac{2 + \sin x}{\sqrt{x}} \ge \frac{1}{\sqrt{x}}, p=12≤1p = \frac{1}{2} \le 1: diverges.
  • c) Smaller than divergent proves nothing; 1x+1≥12x\frac{1}{\sqrt{x} + 1} \ge \frac{1}{2\sqrt{x}} for x≥1x \ge 1, so it diverges.
  • d) e−x2≤e−xe^{-x^2} \le e^{-x} for x≥1x \ge 1 and ∫1∞e−x dx=1e\int_1^\infty e^{-x}\,dx = \frac{1}{e}: converges, value <1e< \frac{1}{e}.
  • e) Converges, bound 22; exact value 11.

a) No antiderivative of cos⁡2xx2\frac{\cos^2 x}{x^2} is available, so compare. For x≥1x \ge 1: 0≤cos⁡2x≤10 \le \cos^2 x \le 1, hence 0≤cos⁡2xx2≤1x20 \le \frac{\cos^2 x}{x^2} \le \frac{1}{x^2}. The larger function has a convergent integral, ∫1∞dxx2=1\int_1^\infty\frac{dx}{x^2} = 1 (p=2>1p = 2 > 1), so by comparison ∫1∞cos⁡2xx2 dx\int_1^\infty\frac{\cos^2 x}{x^2}\,dx CONVERGES, to a value between 00 and 11. The three things the marker checks: the inequality, stated with its interval; the non-negativity of the smaller function; and the name of the test with the verdict on the yardstick. The oscillation of cos⁡2x\cos^2 x is irrelevant once it is trapped under 11.

b) For x≥1x \ge 1: sin⁡x≥−1\sin x \ge -1, so 2+sin⁡x≥12 + \sin x \ge 1 and 2+sin⁡xx≥1x≥0\frac{2 + \sin x}{\sqrt{x}} \ge \frac{1}{\sqrt{x}} \ge 0. The smaller function has a divergent integral (p=12≤1p = \frac{1}{2} \le 1), so the larger one DIVERGES by comparison. The direction is the whole point: to prove divergence, the integrand must be shown LARGER than something divergent. The bound 2+sin⁡x≤32 + \sin x \le 3 is also true, but it would only prove the integral is below 3∫dxx3\int\frac{dx}{\sqrt{x}}, an infinite quantity, which says nothing.

c) The inequality is true, but it goes the wrong way: being SMALLER than a function with infinite area proves nothing, since 1x2≤1x\frac{1}{x^2} \le \frac{1}{x} as well and ∫1∞dxx2\int_1^\infty\frac{dx}{x^2} converges. A correct proof needs a lower bound. For x≥1x \ge 1, 1≤x1 \le \sqrt{x}, so x+1≤2x\sqrt{x} + 1 \le 2\sqrt{x} and 1x+1≥12x\frac{1}{\sqrt{x} + 1} \ge \frac{1}{2\sqrt{x}}. Since ∫1∞dx2x=12∫1∞dxx\int_1^\infty\frac{dx}{2\sqrt{x}} = \frac{1}{2}\int_1^\infty\frac{dx}{\sqrt{x}} diverges, ∫1∞dxx+1\int_1^\infty\frac{dx}{\sqrt{x} + 1} DIVERGES. The trick is typical: the +1+1 is swallowed by the main term at the price of a constant factor, and a constant factor never changes convergence. The classmate had the right conclusion and zero marks for the proof.

d) For x≥1x \ge 1: x2≥xx^2 \ge x, so −x2≤−x-x^2 \le -x and, ete^t being increasing, 0<e−x2≤e−x0 < e^{-x^2} \le e^{-x}. This is the picture: from x=1x = 1 on, the blue curve stays inside the shaded region. And ∫1∞e−x dx=lim⁡t→∞(e−1−e−t)=1e\int_1^\infty e^{-x}\,dx = \lim_{t\to\infty}\left(e^{-1} - e^{-t}\right) = \frac{1}{e}. By comparison, ∫1∞e−x2 dx\int_1^\infty e^{-x^2}\,dx CONVERGES, and its value is at most 1e≈12.72≈0.37\frac{1}{e} \approx \frac{1}{2.72} \approx 0.37; it is strictly smaller since e−x2<e−xe^{-x^2} < e^{-x} for x>1x > 1. Two things to notice. The inequality is FALSE on (0,1)(0, 1), where x2<xx^2 < x: the figure shows e−x2e^{-x^2} above e−xe^{-x} there, which is why the comparison starts at 11. And comparison proves convergence of an integral that no technique of the course can compute: this is its whole purpose.

e) Let g(x)=x−ln⁡xg(x) = \sqrt{x} - \ln x for x≥1x \ge 1. Then g′(x)=12x−1x=x−22xg'(x) = \frac{1}{2\sqrt{x}} - \frac{1}{x} = \frac{\sqrt{x} - 2}{2x}, negative on [1,4)[1, 4) and positive after, so gg has its minimum at x=4x = 4: g(4)=2−ln⁡4=2−2ln⁡2>0g(4) = 2 - \ln 4 = 2 - 2\ln 2 > 0 since ln⁡2<1\ln 2 < 1. Hence ln⁡x<x\ln x < \sqrt{x}, and for x≥1x \ge 1: 0≤ln⁡xx2≤xx2=1x3/20 \le \frac{\ln x}{x^2} \le \frac{\sqrt{x}}{x^2} = \frac{1}{x^{3/2}}. With p=32>1p = \frac{3}{2} > 1, the integral converges, and its value is at most ∫1∞x−3/2 dx=2\int_1^\infty x^{-3/2}\,dx = 2. Exact value, by parts with u=ln⁡xu = \ln x, dv=x−2 dxdv = x^{-2}\,dx, du=dxxdu = \frac{dx}{x}, v=−1xv = -\frac{1}{x}: ∫1tln⁡xx2 dx=[−ln⁡xx]1t+∫1tdxx2=−ln⁡tt+1−1t\int_1^t\frac{\ln x}{x^2}\,dx = \left[-\frac{\ln x}{x}\right]_1^t + \int_1^t\frac{dx}{x^2} = -\frac{\ln t}{t} + 1 - \frac{1}{t}. The limit ln⁡tt\frac{\ln t}{t} is of the form ∞∞\frac{\infty}{\infty}; by L'Hôpital's rule, lim⁡t→∞1/t1=0\lim_{t\to\infty}\frac{1/t}{1} = 0. So the integral equals 11, consistent with the bound 22. Comparison decides, parts computes, and the two must agree: a computed value above the comparison bound would signal an error.

Exercise 7: Improper at both ends: split, and each piece answers alone

On (0,∞)(0, \infty) an integrand that blows up at 00 carries TWO problems. Split at a convenient point, usually 11, and study each piece with its own yardstick: near 00 the rule ∫01dxxp\int_0^1\frac{dx}{x^p} converges iff p<1p < 1; near infinity the rule ∫1∞dxxp\int_1^\infty\frac{dx}{x^p} converges iff p>1p > 1. The whole integral converges only if both pieces do, and one convergent piece proves nothing about the other.

  • a) Evaluate ∫0∞dxx (1+x)\int_0^\infty\frac{dx}{\sqrt{x}\,(1 + x)} with the substitution u=xu = \sqrt{x}, keeping both limits explicit.
  • b) Show that ∫1∞dxx+x2\int_1^\infty\frac{dx}{x + x^2} converges to ln⁡2\ln 2, and yet that ∫0∞dxx+x2\int_0^\infty\frac{dx}{x + x^2} diverges.
  • c) Without computing it, show that ∫0∞dxx+x2\int_0^\infty\frac{dx}{\sqrt{x} + x^2} converges, and give an upper bound for its value.
  • d) For which real numbers pp does ∫0∞dxxp(1+x)\int_0^\infty\frac{dx}{x^p(1 + x)} converge? Check your answer against a) and b).
  • e) The integrand sin⁡2xx2\frac{\sin^2 x}{x^2} is not defined at 00. Show that ∫0∞sin⁡2xx2 dx\int_0^\infty\frac{\sin^2 x}{x^2}\,dx converges, and explain why the piece near 00 needs no pp-rule.
Show the solution

Answers

  • a) Converges: π\pi
  • b) Tail ln⁡2\ln 2; near 00, ln⁡12−ln⁡t1+t→∞\ln\frac{1}{2} - \ln\frac{t}{1 + t} \to \infty: diverges.
  • c) Converges, value <2+1=3< 2 + 1 = 3.
  • d) 0<p<10 < p < 1
  • e) Converges (value at most 22); near 00 the integrand is bounded by 11.

a) Improper at 00 (the factor x\sqrt{x}) and at ∞\infty. Write it as lim⁡t→0+∫t1+lim⁡s→∞∫1s\lim_{t\to0^+}\int_t^1 + \lim_{s\to\infty}\int_1^s. With u=xu = \sqrt{x}, x=u2x = u^2, dx=2u dudx = 2u\,du: dxx(1+x)=2u duu(1+u2)=2 du1+u2\frac{dx}{\sqrt{x}(1 + x)} = \frac{2u\,du}{u(1 + u^2)} = \frac{2\,du}{1 + u^2}, so an antiderivative is 2arctan⁡x2\arctan\sqrt{x}; check: ddx2arctan⁡x=2⋅11+x⋅12x\frac{d}{dx}2\arctan\sqrt{x} = 2 \cdot \frac{1}{1 + x} \cdot \frac{1}{2\sqrt{x}}. Left piece: lim⁡t→0+(2arctan⁡1−2arctan⁡t)=2⋅π4=π2\lim_{t\to0^+}\left(2\arctan 1 - 2\arctan\sqrt{t}\right) = 2 \cdot \frac{\pi}{4} = \frac{\pi}{2}. Right piece: lim⁡s→∞(2arctan⁡s−2arctan⁡1)=2⋅π2−π2=π2\lim_{s\to\infty}\left(2\arctan\sqrt{s} - 2\arctan 1\right) = 2 \cdot \frac{\pi}{2} - \frac{\pi}{2} = \frac{\pi}{2}. Both converge: the integral is π\pi. Near 00 the integrand behaves like 1x\frac{1}{\sqrt{x}} (p=12<1p = \frac{1}{2} < 1), near infinity like 1x3/2\frac{1}{x^{3/2}} (p=32>1p = \frac{3}{2} > 1): each end passes its own test.

b) Partial fractions: 1x+x2=1x(1+x)=1x−11+x\frac{1}{x + x^2} = \frac{1}{x(1 + x)} = \frac{1}{x} - \frac{1}{1 + x}, so an antiderivative on (0,∞)(0, \infty) is ln⁡x−ln⁡(1+x)=ln⁡x1+x\ln x - \ln(1 + x) = \ln\frac{x}{1 + x}. Tail: ∫1sdxx+x2=ln⁡s1+s−ln⁡12\int_1^s\frac{dx}{x + x^2} = \ln\frac{s}{1 + s} - \ln\frac{1}{2}, and s1+s→1\frac{s}{1 + s} \to 1, so the limit is 0+ln⁡2=ln⁡20 + \ln 2 = \ln 2: the tail CONVERGES, as it must since the integrand behaves like 1x2\frac{1}{x^2}. Near 00: ∫t1dxx+x2=ln⁡12−ln⁡t1+t\int_t^1\frac{dx}{x + x^2} = \ln\frac{1}{2} - \ln\frac{t}{1 + t}, and t1+t→0+\frac{t}{1 + t} \to 0^+, so −ln⁡t1+t→+∞-\ln\frac{t}{1 + t} \to +\infty: DIVERGES, because near 00 the integrand behaves like 1x\frac{1}{x}, the p=1p = 1 case. One piece diverges, so ∫0∞dxx+x2\int_0^\infty\frac{dx}{x + x^2} DIVERGES. A copy that computes only ∫1∞\int_1^\infty and reports ln⁡2\ln 2 has answered a different question.

c) The integrand is positive and continuous on (0,∞)(0, \infty). On (0,1](0, 1]: x+x2≥x\sqrt{x} + x^2 \ge \sqrt{x}, so 1x+x2≤1x\frac{1}{\sqrt{x} + x^2} \le \frac{1}{\sqrt{x}}, and ∫01dxx=2\int_0^1\frac{dx}{\sqrt{x}} = 2 converges (p=12<1p = \frac{1}{2} < 1). On [1,∞)[1, \infty): x+x2≥x2\sqrt{x} + x^2 \ge x^2, so 1x+x2≤1x2\frac{1}{\sqrt{x} + x^2} \le \frac{1}{x^2}, and ∫1∞dxx2=1\int_1^\infty\frac{dx}{x^2} = 1 converges. Both pieces converge by comparison, so the integral CONVERGES, and its value is less than 2+1=32 + 1 = 3. The figure of the solution shows why two yardsticks are needed: 1x\frac{1}{\sqrt{x}} works near 00 but has infinite area at infinity, 1x2\frac{1}{x^2} works at infinity but has infinite area near 00. Comparing with a single function on all of (0,∞)(0, \infty) is doomed by Exercise 3 e).

d) Split at 11. On (0,1](0, 1]: 1≤1+x≤21 \le 1 + x \le 2, so 12xp≤1xp(1+x)≤1xp\frac{1}{2x^p} \le \frac{1}{x^p(1 + x)} \le \frac{1}{x^p}; the piece converges if p<1p < 1 (upper bound) and diverges if p≥1p \ge 1 (lower bound, a constant times a divergent integral). On [1,∞)[1, \infty): x≤1+x≤2xx \le 1 + x \le 2x, so 12xp+1≤1xp(1+x)≤1xp+1\frac{1}{2x^{p+1}} \le \frac{1}{x^p(1 + x)} \le \frac{1}{x^{p+1}}; the piece converges iff p+1>1p + 1 > 1, that is p>0p > 0. Both at once: 0<p<10 < p < 1. Check: p=12p = \frac{1}{2} is a), convergent with value π\pi; p=1p = 1 is b), divergent at 00 exactly as the rule predicts. Squeezing the integrand BETWEEN two multiples of the same power, rather than above or below only, is what gives an if and only if.

e) On (0,1](0, 1]: ∣sin⁡x∣≤x\lvert\sin x\rvert \le x for x≥0x \ge 0, so 0≤sin⁡2xx2≤10 \le \frac{\sin^2 x}{x^2} \le 1. The integrand is continuous and BOUNDED there, and sin⁡2xx2→1\frac{\sin^2 x}{x^2} \to 1 as x→0x \to 0: defining it as 11 at 00 makes it continuous on [0,1][0, 1], so this piece is an ordinary integral with value at most 11. Undefined at a point is not the same as unbounded near it; the pp-rules are only needed where the integrand blows up. On [1,∞)[1, \infty): 0≤sin⁡2xx2≤1x20 \le \frac{\sin^2 x}{x^2} \le \frac{1}{x^2}, convergent. So ∫0∞sin⁡2xx2 dx\int_0^\infty\frac{\sin^2 x}{x^2}\,dx CONVERGES, with value at most 1+1=21 + 1 = 2. Its exact value, π2\frac{\pi}{2}, needs tools beyond MATH 141; the course asks for the verdict and the bound.

0.511.522.533.540.511.522.531/√x1/x²1/√xthe integrand stays under1/√x left of 1, 1/x² right of 1

Exercise 8: Five statements to correct

Each statement below was written on a MATH 141 practice paper, and each one is false or unjustified. Say what is wrong, give the correct statement, and settle it with a short computation or a counterexample.

  • a) ∫−11dxx3=0\int_{-1}^{1}\frac{dx}{x^3} = 0, because the integrand is odd and the interval is symmetric.
  • b) If 0≤f(x)≤g(x)0 \le f(x) \le g(x) for x≥1x \ge 1 and ∫1∞g(x) dx\int_1^\infty g(x)\,dx diverges, then ∫1∞f(x) dx\int_1^\infty f(x)\,dx diverges.
  • c) ∫01dxx2\int_0^1\frac{dx}{x^2} converges, because p=2>1p = 2 > 1.
  • d) ∫0∞cos⁡x dx\int_0^\infty\cos x\,dx converges, because cos⁡x\cos x is bounded and its positive and negative areas cancel.
  • e) lim⁡t→∞te−t=∞⋅0=0\lim_{t\to\infty}t e^{-t} = \infty \cdot 0 = 0, so ∫0∞xe−x dx=1\int_0^\infty x e^{-x}\,dx = 1.
Show the solution

Answers

  • a) False: ∫01x−3 dx\int_0^1 x^{-3}\,dx diverges, so the integral diverges.
  • b) False: wrong direction; f=1x2≤g=1xf = \frac{1}{x^2} \le g = \frac{1}{x} and ∫1∞f\int_1^\infty f converges.
  • c) False: on (0,1](0, 1] the rule is p<1p < 1; 1t−1→∞\frac{1}{t} - 1 \to \infty, it diverges.
  • d) False: ∫0tcos⁡x dx=sin⁡t\int_0^t \cos x\,dx = \sin t has no limit, it diverges.
  • e) Value right, reason wrong: ∞⋅0\infty \cdot 0 is indeterminate; L'Hôpital on tet\frac{t}{e^t} gives 00.

a) FALSE. The integrand x−3x^{-3} is unbounded at 00, inside [−1,1][-1, 1], so the integral is improper and must be split: ∫01x−3 dx=lim⁡s→0+[−12x2]s1=lim⁡s→0+(−12+12s2)=+∞\int_0^1 x^{-3}\,dx = \lim_{s\to0^+}\left[-\frac{1}{2x^2}\right]_s^1 = \lim_{s\to0^+}\left(-\frac{1}{2} + \frac{1}{2s^2}\right) = +\infty (p=3≥1p = 3 \ge 1 on (0,1](0, 1]). One half diverges, so the integral DIVERGES; the other half is −∞-\infty and infinities do not cancel. Correct statement: an odd integrand on a symmetric interval gives 00 only when the integral converges, which must be checked on one half first.

b) FALSE, the inequality points the wrong way. Take f(x)=1x2f(x) = \frac{1}{x^2} and g(x)=1xg(x) = \frac{1}{x}: 0≤f≤g0 \le f \le g on [1,∞)[1, \infty), ∫1∞g\int_1^\infty g diverges (p=1p = 1), yet ∫1∞f=1\int_1^\infty f = 1 converges. Being under an infinite area gives no information. Correct statement: if 0≤f≤g0 \le f \le g and ∫1∞f\int_1^\infty f DIVERGES, then ∫1∞g\int_1^\infty g diverges; if ∫1∞g\int_1^\infty g CONVERGES, then ∫1∞f\int_1^\infty f converges.

c) FALSE: the student applied the rule of [1,∞)[1, \infty) on (0,1](0, 1]. Near 00 the rule is reversed, ∫01dxxp\int_0^1\frac{dx}{x^p} converges iff p<1p < 1. Directly: ∫t1x−2 dx=1t−1→∞\int_t^1 x^{-2}\,dx = \frac{1}{t} - 1 \to \infty as t→0+t \to 0^+, so the integral DIVERGES. Correct statement: ∫01dxx2\int_0^1\frac{dx}{x^2} diverges since p=2≥1p = 2 \ge 1, while ∫1∞dxx2\int_1^\infty\frac{dx}{x^2} converges since p=2>1p = 2 > 1.

d) FALSE. By definition, ∫0∞cos⁡x dx=lim⁡t→∞∫0tcos⁡x dx=lim⁡t→∞sin⁡t\int_0^\infty\cos x\,dx = \lim_{t\to\infty}\int_0^t\cos x\,dx = \lim_{t\to\infty}\sin t, and sin⁡t\sin t keeps oscillating between −1-1 and 11 without approaching any number: the limit does not exist, so the integral DIVERGES. Bounded partial integrals are not convergent ones, and the idea of areas that cancel on average is not part of the definition. Correct statement: ∫0∞cos⁡x dx\int_0^\infty\cos x\,dx diverges because ∫0tcos⁡x dx=sin⁡t\int_0^t\cos x\,dx = \sin t has no limit as t→∞t \to \infty.

e) The value 11 is right and the reasoning is wrong. ∞⋅0\infty \cdot 0 is an INDETERMINATE form: t⋅1t→1t \cdot \frac{1}{t} \to 1 and t⋅1t→∞t \cdot \frac{1}{\sqrt{t}} \to \infty, both of the same form. Correct reasoning: te−t=tett e^{-t} = \frac{t}{e^t}, of the form ∞∞\frac{\infty}{\infty}; by L'Hôpital's rule, lim⁡t→∞1et=0\lim_{t\to\infty}\frac{1}{e^t} = 0. Then, by parts with u=xu = x, dv=e−x dxdv = e^{-x}\,dx: ∫0txe−x dx=[−xe−x]0t+∫0te−x dx=−te−t+1−e−t→1\int_0^t x e^{-x}\,dx = \left[-x e^{-x}\right]_0^t + \int_0^t e^{-x}\,dx = -t e^{-t} + 1 - e^{-t} \to 1. The limit in the last step is where the method mark sits; writing ∞⋅0=0\infty \cdot 0 = 0 loses it even with the right answer.

Exercise 9: One dose of a drug: the area under the concentration curve

In pharmacology, the total exposure of the body to a drug after ONE dose is measured by the area under the concentration curve, AUC=∫0∞C(t) dt\text{AUC} = \int_0^\infty C(t)\,dt, in mg h/L. The upper bound is infinite because elimination is exponential: the concentration never reaches exactly 00 in finite time.

Two formulations of the same drug are compared, one tablet each, with tt in hours and CC in mg/L: formulation A gives CA(t)=12(e−t/4−e−t)C_A(t) = 12\left(e^{-t/4} - e^{-t}\right) and formulation B gives CB(t)=9te−t/2C_B(t) = 9t e^{-t/2}. The figure shows both curves. No calculator: give exact answers, then an order of magnitude from e≈2.72e \approx 2.72 and ln⁡2≈0.69\ln 2 \approx 0.69.

24681012141612345678formulation Bformulation At (h)C (mg/L)
  • a) Compute the AUC of formulation A, writing the limit.
  • b) Compute the AUC of formulation B by parts, justifying the final limit with L'Hôpital's rule.
  • c) Find the peak concentration of each formulation and the time at which it occurs. What does the AUC not see?
  • d) What fraction of the AUC of formulation B is collected after t=8t = 8 h?
  • e) A colleague proposes the model C(t)=61+tC(t) = \frac{6}{1 + t} for a third formulation. Show that its AUC is infinite and explain why that disqualifies the model, then show that C(t)=6(1+t)2C(t) = \frac{6}{(1 + t)^2} has a finite AUC.
Show the solution

Answers

  • a) AUCA=36\text{AUC}_A = 36 mg h/L
  • b) AUCB=36\text{AUC}_B = 36 mg h/L
  • c) A: 943≈5.7\frac{9}{\sqrt[3]{4}} \approx 5.7 mg/L at t=83ln⁡2≈1.8t = \frac{8}{3}\ln 2 \approx 1.8 h; B: 18e≈6.6\frac{18}{e} \approx 6.6 mg/L at t=2t = 2 h. The AUC does not see the shape.
  • d) 5e−45e^{-4}, about 99 percent
  • e) ∫0∞6 dt1+t\int_0^\infty\frac{6\,dt}{1 + t} diverges; ∫0∞6 dt(1+t)2=6\int_0^\infty\frac{6\,dt}{(1 + t)^2} = 6 mg h/L.

a) CAC_A is continuous on [0,∞)[0, \infty); only the bound is improper. ∫0s12(e−t/4−e−t)dt=12[−4e−t/4+e−t]0s=12(−4e−s/4+e−s+4−1)\int_0^s 12\left(e^{-t/4} - e^{-t}\right)dt = 12\left[-4e^{-t/4} + e^{-t}\right]_0^s = 12\left(-4e^{-s/4} + e^{-s} + 4 - 1\right). As s→∞s \to \infty, both exponentials tend to 00: AUCA=lim⁡s→∞12(3−4e−s/4+e−s)=36\text{AUC}_A = \lim_{s\to\infty}12\left(3 - 4e^{-s/4} + e^{-s}\right) = 36 mg h/L. Check of the antiderivative: ddt(−4e−t/4)=e−t/4\frac{d}{dt}\left(-4e^{-t/4}\right) = e^{-t/4}. The factor 44 is the one lost most often: dividing by the coefficient −14-\frac{1}{4} MULTIPLIES by −4-4.

b) By parts, u=tu = t, dv=e−t/2 dtdv = e^{-t/2}\,dt, so du=dtdu = dt and v=−2e−t/2v = -2e^{-t/2}: ∫te−t/2 dt=−2te−t/2+2∫e−t/2 dt=−2te−t/2−4e−t/2\int t e^{-t/2}\,dt = -2t e^{-t/2} + 2\int e^{-t/2}\,dt = -2t e^{-t/2} - 4e^{-t/2}; check: the derivative is −2e−t/2+te−t/2+2e−t/2=te−t/2-2e^{-t/2} + t e^{-t/2} + 2e^{-t/2} = t e^{-t/2}. Then ∫0s9te−t/2 dt=9(−2se−s/2−4e−s/2+4)\int_0^s 9t e^{-t/2}\,dt = 9\left(-2s e^{-s/2} - 4e^{-s/2} + 4\right). The term se−s/2=ses/2s e^{-s/2} = \frac{s}{e^{s/2}} is of the form ∞∞\frac{\infty}{\infty}; by L'Hôpital's rule, lim⁡s→∞112es/2=0\lim_{s\to\infty}\frac{1}{\frac{1}{2}e^{s/2}} = 0. So AUCB=9⋅4=36\text{AUC}_B = 9 \cdot 4 = 36 mg h/L, the same exposure as formulation A.

c) Formulation B: CB′(t)=9e−t/2(1−t2)C_B'(t) = 9e^{-t/2}\left(1 - \frac{t}{2}\right), zero at t=2t = 2, positive before and negative after: the peak is CB(2)=18e−1=18e≈182.72≈6.6C_B(2) = 18e^{-1} = \frac{18}{e} \approx \frac{18}{2.72} \approx 6.6 mg/L at 22 h. Formulation A: CA′(t)=12(−14e−t/4+e−t)=0C_A'(t) = 12\left(-\frac{1}{4}e^{-t/4} + e^{-t}\right) = 0 when e−3t/4=14e^{-3t/4} = \frac{1}{4}, that is t=43ln⁡4=83ln⁡2≈1.84t = \frac{4}{3}\ln 4 = \frac{8}{3}\ln 2 \approx 1.84 h, where e−t/4=4−1/3e^{-t/4} = 4^{-1/3} and e−t=4−4/3e^{-t} = 4^{-4/3}, so CA=12⋅4−1/3(1−14)=943≈91.59≈5.7C_A = 12 \cdot 4^{-1/3}\left(1 - \frac{1}{4}\right) = \frac{9}{\sqrt[3]{4}} \approx \frac{9}{1.59} \approx 5.7 mg/L. Same total exposure, different peaks: B reaches a higher concentration, which matters if the drug is toxic above some level, while the figure shows A keeping the higher concentration late, from about t=6t = 6 h on. The AUC measures the total, and says nothing about the shape; this is why an improper integral answers one clinical question and not all of them.

d) After 88 h: ∫8∞9te−t/2 dt=lim⁡s→∞9[−2te−t/2−4e−t/2]8s=9(0+16e−4+4e−4)=180e−4\int_8^\infty 9t e^{-t/2}\,dt = \lim_{s\to\infty}9\left[-2t e^{-t/2} - 4e^{-t/2}\right]_8^s = 9\left(0 + 16e^{-4} + 4e^{-4}\right) = 180e^{-4}, the limit at ss being the one of b). As a fraction of the total: 180e−436=5e−4\frac{180e^{-4}}{36} = 5e^{-4}. With e2≈7.4e^2 \approx 7.4, e4≈55e^4 \approx 55, so the fraction is about 555≈0.09\frac{5}{55} \approx 0.09: about 99 percent of the exposure is still to come after 88 h. The tail of an improper integral is computed exactly like the whole: same antiderivative, same limit, a different lower bound.

e) ∫0s6 dt1+t=6ln⁡(1+s)→∞\int_0^s\frac{6\,dt}{1 + t} = 6\ln(1 + s) \to \infty: the AUC DIVERGES. The model would describe a drug to which the body is exposed without limit after a single tablet: the concentration decays like 1t\frac{1}{t}, the p=1p = 1 case, too slowly for any finite exposure, which contradicts the exponential elimination the model is meant to describe. The second model: ∫0s6 dt(1+t)2=6[−11+t]0s=6(1−11+s)→6\int_0^s\frac{6\,dt}{(1 + t)^2} = 6\left[-\frac{1}{1 + t}\right]_0^s = 6\left(1 - \frac{1}{1 + s}\right) \to 6 mg h/L, finite because the decay is like 1t2\frac{1}{t^2}, the convergent case p=2p = 2. Both models tend to 00; only one has a finite area. That is Exercise 1 e) in a clinical context.

Exercise 10: A final exam problem: the integrals of x to the n times e to the minus x

For every integer n≥0n \ge 0, let In=∫0∞xne−x dxI_n = \int_0^\infty x^n e^{-x}\,dx. These integrals appear throughout physics and statistics, and a MATH 141 final regularly builds a question on them, because they chain the three gestures of the chapter: the limit, integration by parts, and L'Hôpital's rule for the final limit.

  • a) Compute I0I_0.
  • b) Explain, by comparison, why InI_n converges for every n≥0n \ge 0 before computing anything.
  • c) Show by parts, with the limit written, that In=nIn−1I_n = n I_{n-1} for n≥1n \ge 1. Justify that lim⁡t→∞tne−t=0\lim_{t\to\infty}t^n e^{-t} = 0.
  • d) Deduce In=n!I_n = n!, then evaluate ∫0∞x3e−2x dx\int_0^\infty x^3 e^{-2x}\,dx with the substitution u=2xu = 2x.
  • e) Admit that ∫0∞e−u2 du=π2\int_0^\infty e^{-u^2}\,du = \frac{\sqrt{\pi}}{2}. Evaluate ∫0∞x e−x dx\int_0^\infty\sqrt{x}\,e^{-x}\,dx with the substitution x=u2x = u^2, then by parts.
Show the solution

Answers

  • a) I0=1I_0 = 1
  • b) xne−x≤1x2x^n e^{-x} \le \frac{1}{x^2} for xx large, since xn+2e−x→0x^{n+2}e^{-x} \to 0: converges.
  • c) In=[−xne−x]0∞+nIn−1=nIn−1I_n = \left[-x^n e^{-x}\right]_0^\infty + nI_{n-1} = nI_{n-1}
  • d) In=n!I_n = n!; ∫0∞x3e−2x dx=3!24=38\int_0^\infty x^3 e^{-2x}\,dx = \frac{3!}{2^4} = \frac{3}{8}
  • e) ∫0∞x e−x dx=π2\int_0^\infty\sqrt{x}\,e^{-x}\,dx = \frac{\sqrt{\pi}}{2}

a) I0=∫0∞e−x dx=lim⁡t→∞[−e−x]0t=lim⁡t→∞(1−e−t)=1I_0 = \int_0^\infty e^{-x}\,dx = \lim_{t\to\infty}\left[-e^{-x}\right]_0^t = \lim_{t\to\infty}\left(1 - e^{-t}\right) = 1.

b) For a fixed nn, xn+2e−x=xn+2ex→0x^{n+2}e^{-x} = \frac{x^{n+2}}{e^x} \to 0 as x→∞x \to \infty (L'Hôpital's rule applied n+2n + 2 times, or the growth order of the exponential). So there is an X≥1X \ge 1 with xn+2e−x≤1x^{n+2}e^{-x} \le 1 for x≥Xx \ge X, that is 0≤xne−x≤1x20 \le x^n e^{-x} \le \frac{1}{x^2} for x≥Xx \ge X, and ∫X∞dxx2\int_X^\infty\frac{dx}{x^2} converges. On [0,X][0, X] the integrand is continuous, so that piece is an ordinary integral. Hence InI_n converges. Proving convergence FIRST is what makes the manipulations of c) legitimate: one never writes In=nIn−1I_n = nI_{n-1} between two quantities that might be infinite.

c) By parts on [0,t][0, t], u=xnu = x^n, dv=e−x dxdv = e^{-x}\,dx, so du=nxn−1 dxdu = nx^{n-1}\,dx and v=−e−xv = -e^{-x}: ∫0txne−x dx=[−xne−x]0t+n∫0txn−1e−x dx=−tne−t+n∫0txn−1e−x dx\int_0^t x^n e^{-x}\,dx = \left[-x^n e^{-x}\right]_0^t + n\int_0^t x^{n-1}e^{-x}\,dx = -t^n e^{-t} + n\int_0^t x^{n-1}e^{-x}\,dx, the bracket being 00 at x=0x = 0 since n≥1n \ge 1. The limit tne−t=tnett^n e^{-t} = \frac{t^n}{e^t} is of the form ∞∞\frac{\infty}{\infty}; each application of L'Hôpital's rule lowers the power by one and leaves ete^t unchanged, so after nn applications it becomes n!et→0\frac{n!}{e^t} \to 0. Letting t→∞t \to \infty (both integrals converge by b)): In=0+nIn−1I_n = 0 + nI_{n-1}. The choice u=xnu = x^n is forced: differentiating the power lowers it towards I0I_0, while the other choice would raise it and never end.

d) From I0=1I_0 = 1 and In=nIn−1I_n = nI_{n-1}: I1=1I_1 = 1, I2=2⋅1I_2 = 2 \cdot 1, I3=3⋅2⋅1I_3 = 3 \cdot 2 \cdot 1, and by induction In=n⋅(n−1)!=n!I_n = n \cdot (n - 1)! = n!. For the second integral, u=2xu = 2x, x=u2x = \frac{u}{2}, dx=du2dx = \frac{du}{2}; the bounds 00 and ∞\infty stay 00 and ∞\infty: ∫0∞x3e−2x dx=∫0∞u38e−udu2=116I3=616=38\int_0^\infty x^3 e^{-2x}\,dx = \int_0^\infty\frac{u^3}{8}e^{-u}\frac{du}{2} = \frac{1}{16}I_3 = \frac{6}{16} = \frac{3}{8}. The factor 124\frac{1}{2^4} collects three halves from x3x^3 and one from dxdx; forgetting the one from dxdx gives 34\frac{3}{4}, the usual wrong answer.

e) Here n=12n = \frac{1}{2} is not an integer, so the recursion does not start from I0I_0. The integral converges: near 00 the integrand is bounded, and at infinity b) applies. With x=u2x = u^2, dx=2u dudx = 2u\,du, bounds 00 and ∞\infty unchanged: ∫0∞x e−x dx=∫0∞u e−u2 2u du=2∫0∞u2e−u2 du\int_0^\infty\sqrt{x}\,e^{-x}\,dx = \int_0^\infty u\,e^{-u^2}\,2u\,du = 2\int_0^\infty u^2 e^{-u^2}\,du. By parts, a=ua = u, db=ue−u2 dudb = u e^{-u^2}\,du, b=−12e−u2b = -\frac{1}{2}e^{-u^2}: 2∫0tu2e−u2 du=2[−u2e−u2]0t+∫0te−u2 du=−te−t2+∫0te−u2 du2\int_0^t u^2 e^{-u^2}\,du = 2\left[-\frac{u}{2}e^{-u^2}\right]_0^t + \int_0^t e^{-u^2}\,du = -t e^{-t^2} + \int_0^t e^{-u^2}\,du. Since te−t2→0t e^{-t^2} \to 0, the limit is ∫0∞e−u2 du=π2\int_0^\infty e^{-u^2}\,du = \frac{\sqrt{\pi}}{2}. So ∫0∞x e−x dx=π2≈1.772≈0.89\int_0^\infty\sqrt{x}\,e^{-x}\,dx = \frac{\sqrt{\pi}}{2} \approx \frac{1.77}{2} \approx 0.89. It is tempting to guess that this lies between I0=1I_0 = 1 and I1=1I_1 = 1, but x\sqrt{x} is between 11 and xx only for x≥1x \ge 1 and is LARGER than xx on (0,1)(0, 1), so no inequality is available and the number has to come from the computation: here it is below both. A given value such as π2\frac{\sqrt{\pi}}{2} is a tool of the statement: an exam that admits it expects it to be used, not proved.

See also

Struggling with MATH 141?

I tutor first-year calculus at McGill and Concordia, in English or in French, in Montreal or online. Get in touch for a first session.

Site by Studio Squalli