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π, ln21, 3+332, 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 ∞ into an antiderivative, applying the Fundamental Theorem across a vertical asymptote, adding +∞ and −∞ into a finite number, taking the principal value for the integral, using the p-rule of [1,∞) on (0,1], comparing in the direction that proves nothing, concluding that an integrand tending to 0 has a finite integral, and writing ∞⋅0=0 where L'Hôpital's rule is required.
•Type 1: ∫a∞f(x)dx=limt→∞∫atf(x)dx, and ∫−∞bf(x)dx=limt→−∞∫tbf(x)dx. It converges when the limit exists and is finite.
•Type 2: if f is unbounded near a, ∫abf(x)dx=limt→a+∫tbf(x)dx; near b, limt→b−∫atf(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.
•Comparison: if 0≤g≤f, then ∫f convergent gives ∫g convergent, and ∫g divergent gives ∫f divergent. Nothing else.
•Final limits: tlnt→0, tne−t→0, tlnt→0 as t→0+, all by L'Hôpital's rule; sint and cost 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,∞) cannot be cut into finitely many pieces of finite width, so ∫1∞f(x)dx is not a Riemann integral. It is DEFINED as a limit: ∫a∞f(x)dx=limt→∞∫atf(x)dx, and the integral converges when this limit exists as a finite number; otherwise it diverges. Likewise ∫−∞bf(x)dx=limt→−∞∫tbf(x)dx.
The method is always three lines: write the limit, integrate on the finite interval, take the limit. The figure shows y=1/x3 and y=1/x from x=1 on; both tend to 0.
a) Evaluate ∫1∞x3dx, or show that it diverges.
b) Same question for ∫−∞0e3xdx.
c) Same question for ∫1∞xdx.
d) Same question for ∫2∞x(lnx)2dx, then for ∫2∞xlnxdx.
e) Both curves of the figure tend to 0. Using a) and c), explain why the integrand tends to 0 does not decide convergence, and say what does.
Show the solution
Answers
a)Converges: 21
b)Converges: 31
c)Diverges: 2t−2→∞
d)Converges to ln21; the second diverges (ln(lnt)→∞).
e)A limit of 0 proves nothing; what decides is how FAST f decays, measured against the p-integrals.
a) The only problem is the infinite bound: x−3 is continuous on [1,∞). So ∫1∞x3dx=limt→∞∫1tx−3dx=limt→∞[−2x21]1t=limt→∞(21−2t21)=21, because 2t21→0. The integral converges to 21. Check of the antiderivative: dxd(−21x−2)=x−3. The limit is written on the FIRST line. The copy that writes [−2x21]1∞=0+21 gets the number and loses the method mark, because ∞ 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: ∫−∞0e3xdx=limt→−∞∫t0e3xdx=limt→−∞[31e3x]t0=limt→−∞(31−31e3t)=31. As t→−∞, 3t→−∞ and e3t→0. Converges to 31. The slip to avoid is on the sign of the exponent: the same integrand on [0,∞) would diverge, since e3t→∞ as t→+∞. Before taking the limit, say in words which way t goes.
c) ∫1∞xdx=limt→∞∫1tx−1/2dx=limt→∞[2x]1t=limt→∞(2t−2)=∞. The limit is not finite, so the integral DIVERGES. Writing =∞ 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 0.
d) Substitution u=lnx, du=xdx; the bounds 2 and t become ln2 and lnt. So ∫2tx(lnx)2dx=∫ln2lntu−2du=[−u1]ln2lnt=ln21−lnt1. As t→∞, lnt→∞, so lnt1→0 and the integral converges to ln21, about 0.691≈1.44. With one factor of lnx less, the same substitution gives ∫2txlnxdx=∫ln2lntudu=ln(lnt)−ln(ln2)→∞: DIVERGES, although so slowly that at t=e10, about twenty-two thousand, the integral has only reached about 2.7. A slow growth is still a divergence; no table of values decides a limit.
e) Both integrands tend to 0, yet a) converges and c) diverges. So a limit of 0 is NOT enough; it only rules out one thing: if f(x) tended to a positive number L, then f(x)≥2L from some point on, the area would grow at least linearly and the integral would diverge. What decides is HOW FAST f tends to 0: x31 shrinks fast enough for the area over [1,t] to stay below 21, while x1 shrinks so slowly that the area keeps growing like 2t. The yardstick for how fast is fast enough is the family of p-integrals of the next exercise: ∫1∞xpdx converges exactly when p>1.
Exercise 2: Type 2: an integrand that blows up at an endpoint
When f is continuous on (a,b] but unbounded near a, ∫abf(x)dx=limt→a+∫tbf(x)dx; when the trouble is at b, ∫abf(x)dx=limt→b−∫atf(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=lnx on (0,1.5] and the region between the curve and the x-axis for 0<x≤1.
a) Evaluate ∫04xdx, or show that it diverges.
b) Same question for ∫233−xdx.
c) Same question for ∫01x2dx.
d) Same question for ∫01lnxdx. Explain the sign of the answer with the figure.
e) Same question for ∫0π/2tanxdx.
Show the solution
Answers
a)Converges: 4
b)Converges: 2
c)Diverges: t1−1→∞
d)Converges: −1 (the region lies below the axis and has area 1)
e)Diverges: −ln(cost)→∞ as t→2π−
a) At x=0 the integrand x1 is undefined and tends to +∞; at x=4 it is 21. So the integral is improper at 0 only: ∫04xdx=limt→0+∫t4x−1/2dx=limt→0+[2x]t4=limt→0+(4−2t)=4. Converges. The region is infinitely tall and yet has area 4: it becomes thin fast enough near the axis. Compare with Exercise 1 c), where the SAME function on [1,∞) diverged: the behaviour at 0 and the behaviour at ∞ are two separate questions.
b) At x=3 the denominator 3−x vanishes, so the problem is at the UPPER bound and the limit is taken from the left: ∫233−xdx=limt→3−∫2t(3−x)−1/2dx=limt→3−[−23−x]2t=limt→3−(−23−t+2)=2. The minus sign of the antiderivative comes from the chain rule: dxd(−2(3−x)1/2)=−2⋅21(3−x)−1/2⋅(−1)=(3−x)−1/2. Forgetting it gives −2, a negative value for a positive integrand, which alone should stop the pen.
c) x21→∞ as x→0+: ∫01x2dx=limt→0+∫t1x−2dx=limt→0+[−x1]t1=limt→0+(−1+t1)=∞. DIVERGES. Next to a), the lesson is the one of Exercise 1, but at the other end: near 0, x21 blows up much faster than x1, and that is what makes the area infinite. Exercise 3 turns this into a rule.
d) lnx→−∞ as x→0+, so the integral is improper at 0. By parts, u=lnx, dv=dx, so du=xdx and v=x: ∫lnxdx=xlnx−∫x⋅x1dx=xlnx−x, and indeed dxd(xlnx−x)=lnx+1−1=lnx. Then ∫t1lnxdx=(0−1)−(tlnt−t)=−1−tlnt+t. The last limit is the crux: tlnt is of the form 0⋅(−∞), which is indeterminate and is NOT 0 by decree. Write it as a quotient, tlnt=1/tlnt, of the form ∞−∞, and apply L'Hôpital's rule: limt→0+−1/t21/t=limt→0+(−t)=0. So ∫01lnxdx=−1−0+0=−1. Converges. The sign is the figure: on (0,1), lnx<0, so the whole region lies BELOW the axis and the integral is minus its area. The shaded region has area 1, although it has no bottom.
e) tanx=cosxsinx and cosx→0+ as x→2π−, so the integrand is unbounded at the upper bound. With ∫tanxdx=−ln∣cosx∣+C (substitution u=cosx): ∫0π/2tanxdx=limt→π/2−[−ln(cosx)]0t=limt→π/2−(−ln(cost)+ln1). Since cost→0+, ln(cost)→−∞ and −ln(cost)→+∞. DIVERGES. This one looks exactly like an ordinary definite integral from a trigonometry table; the only warning is that tan is not defined at 2π, which is why checking the endpoints comes before anything else.
Exercise 3: p-integrals: the same exponent, two opposite verdicts
The integrals of xp1 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,∞), and at 0 on (0,1] when p>0.
The figure shows y=x21, y=x1 and y=x1 on (0,3], with the line x=1 dashed.
a) Show that ∫1∞xpdx converges if and only if p>1, and give its value then. Treat p=1 separately.
b) Show that, for p>0, ∫01xpdx converges if and only if p<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∞x1.01dx, ∫01xxdx, ∫1∞3x2dx and ∫013x2dx. Give the value of those that converge.
e) Show that ∫0∞xpdx diverges for every real p.
Show the solution
Answers
a)Converges iff p>1, to p−11; p=1 gives lnt→∞.
b)Converges iff p<1, to 1−p1; p=1 gives −lnt→∞.
c)Right of 1 a larger p means a smaller function; left of 1 it means a larger one.
d)100; diverges; diverges; 3.
e)Split at 1: the two pieces need p<1 and p>1 at once, impossible.
a) For p=1: ∫1tx−pdx=[1−px1−p]1t=1−pt1−p−1. If p>1, the exponent 1−p is negative, so t1−p=tp−11→0 and the limit is 1−p−1=p−11: converges. If p<1, the exponent is positive, t1−p→∞: diverges. For p=1 the power rule does not apply: ∫1txdx=lnt→∞, diverges. Conclusion: ∫1∞xpdx=p−11 if p>1, divergent if p≤1. The case p=1 is the one students forget, and it is the one on the boundary: x1 is the fastest-decaying power that still diverges.
b) For p≤0 the integrand x−p is continuous on [0,1] and nothing is improper. For p>0 it blows up at 0. For p=1: ∫t1x−pdx=1−p1−t1−p. If 0<p<1, 1−p>0 and t1−p→0 as t→0+: the limit is 1−p1, converges. If p>1, t1−p=tp−11→∞: diverges. For p=1: ∫t1xdx=−lnt→∞, diverges. Conclusion: ∫01xpdx=1−p1 if p<1, divergent if p≥1. Same computation as a), with the opposite verdict, because t now goes to 0 instead of ∞.
c) On (1,∞) a larger exponent makes the function SMALLER: x21<x1<x1, the red curve lowest. At infinity the danger is a function that does not die fast enough, so a large p helps. On (0,1) the order is REVERSED: x21>x1>x1, the red curve highest. Near 0 the danger is a function that explodes too fast, so a large p hurts. The three curves meet at (1,1), which is why 1 is the natural place to split, and p=1 sits on the boundary of both rules and fails both.
d) ∫1∞x1.01dx: p=1.01>1 on [1,∞), converges to 0.011=100. However close to 1, a p above 1 converges; the value is simply large. ∫01xxdx: xx=x3/2, so p=23≥1 on (0,1]: diverges. ∫1∞3x2dx: p=32≤1 on [1,∞): diverges. ∫013x2dx: the same p=32, now on (0,1] where p<1 is required: converges to 1−2/31=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∞ is improper at both ends, so it must be split, for instance at 1: ∫0∞xpdx=∫01xpdx+∫1∞xpdx, and it converges only if BOTH pieces converge. For p>0, the first needs p<1 and the second p>1: no p satisfies both, and p=1 fails both. For p≤0 the first piece is an ordinary integral but the second diverges since p≤0<1. So ∫0∞xpdx diverges for every real p. No pure power has a finite area on (0,∞): a convergent integral there needs an integrand that behaves like one power near 0 and like another near ∞, 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), requires f to be continuous on the WHOLE closed interval [a,b]. A vertical asymptote strictly between a and b 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 c, ∫ab=∫ac+∫cb, each piece being a limit, and the integral converges only if BOTH pieces converge.
The figure shows f(x)=(x−1)2/31 on [0,3], where (x−1)2/3=3(x−1)2 is positive on both sides of 1.
a) Where is f not continuous on [0,3]? Write ∫03f(x)dx as a sum of two limits.
b) Evaluate ∫03(x−1)2/3dx.
c) A student writes ∫03x−1dx=[ln∣x−1∣]03=ln2−ln1=ln2. Find the error and give the correct conclusion.
d) Show that the same shortcut gives ∫0πsec2xdx=0. Explain why 0 is impossible without computing anything, then give the correct conclusion.
e) Evaluate ∫−123xdx. The shortcut happens to give the right number here: what is still wrong with it?
Show the solution
Answers
a)Only at x=1; ∫03f=limt→1−∫0tf+lims→1+∫s3f.
b)Converges: 3+332
c)FTC used across x=1; ∫13x−1dx diverges, so the integral diverges.
d)sec2x≥1 forces a value ≥π; ∫0π/2sec2xdx diverges, so the integral diverges.
e)Converges: 23(34−1); the split and the two limits are what is marked.
a) f(x)=(x−1)−2/3 is continuous everywhere except at x=1, where the denominator vanishes and f(x)→+∞ from both sides. At x=0, f(0)=311=1, and at x=3, f(3)=341: the endpoints are harmless, which is exactly what makes this integral dangerous. Split at 1: ∫03f(x)dx=limt→1−∫0tf(x)dx+lims→1+∫s3f(x)dx, two INDEPENDENT limits, with two different letters.
b) An antiderivative: F(x)=3(x−1)1/3, since F′(x)=3⋅31(x−1)−2/3=f(x), and the cube root is defined for negative numbers. Left piece: limt→1−[3(x−1)1/3]0t=limt→1−(3(t−1)1/3−3(−1)1/3)=0−3(−1)=3. Right piece: lims→1+[3(x−1)1/3]s3=332−0=332. Both converge, so ∫03(x−1)2/3dx=3+332, about 3+3.78=6.78 since 32≈1.26. Each piece converges because near 1 the integrand behaves like u2/31 with u=∣x−1∣, and p=32<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: x−11 is not continuous at x=1, which lies inside [0,3], so the FTC does not apply and the value ln2 means nothing. Split at 1 and look at the right piece: ∫13x−1dx=lims→1+[ln(x−1)]s3=lims→1+(ln2−ln(s−1))=+∞, since ln(s−1)→−∞. One piece diverges, so ∫03x−1dx DIVERGES; the other piece need not even be computed. It diverges too, to −∞, and that is the tempting mistake: +∞ on the right and −∞ on the left do NOT cancel into a finite number. ∞−∞ is not a value, and the shortcut silently computed exactly that.
d) Shortcut: ∫0πsec2xdx=[tanx]0π=tanπ−tan0=0−0=0. Impossible: sec2x=cos2x1≥1 wherever it is defined, so if the integral existed it would be at least ∫0π1dx=π. A positive integrand with a zero integral is the alarm bell. The cause: cos2π=0, so sec2x has a vertical asymptote at 2π, inside [0,π]. Left piece: ∫0π/2sec2xdx=limt→π/2−(tant−0)=+∞. DIVERGES, so the whole integral diverges. The antiderivative tanx is itself discontinuous at 2π: an antiderivative that jumps is another sign that the FTC was used where it does not hold.
e) x−1/3 is unbounded at x=0, inside [−1,2]. Antiderivative F(x)=23x2/3, where x2/3=3x2 is defined and continuous for all x: F′(x)=x−1/3 for x=0. Left piece: limt→0−(23t2/3−23(−1)2/3)=0−23=−23, negative as it must be, since 3x<0 on (−1,0). Right piece: lims→0+(2322/3−23s2/3)=2334. Both converge (p=31<1), so ∫−123xdx=23(34−1), about 23(1.59−1)≈0.88. The shortcut 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 is DEFINED as ∫−∞cf(x)dx+∫c∞f(x)dx for any real c, and it converges only if BOTH halves converge; the choice of c does not change the verdict nor the value. It is NOT defined as limt→∞∫−ttf(x)dx: that symmetric limit, called the principal value, can exist while the integral diverges.
The figure shows the odd function y=1+x2x on [−8,8] and the region between its graph and the axis.
a) Evaluate ∫−∞∞x2+2x+5dx.
b) Show that limt→∞∫−tt1+x2xdx=0, and yet that ∫−∞∞1+x2xdx diverges.
c) Compute limt→∞∫−t2t1+x2xdx. What does the result say about the value 0 of b)?
d) Evaluate ∫−∞∞xe−x2dx. Why is the answer 0 legitimate here and not in b)?
e) Evaluate ∫−∞∞1+e2xexdx with the substitution u=ex, saying what happens to each infinite bound.
Show the solution
Answers
a)Converges: 2π
b)Symmetric limit 0, but ∫0∞1+x2xdx=∞: diverges.
c)ln2: another way to let the bounds go gives another number, so 0 was not a value.
d)Converges: 0, because each half converges (±21).
a) Complete the square: x2+2x+5=(x+1)2+4. With u=x+1, ∫(x+1)2+4dx=21arctan2x+1+C; check: dxd21arctan2x+1=21⋅1+(x+1)2/41/2=(x+1)2+41. Split at c=−1, where the arctangent is 0. Right half: lims→∞21arctan2s+1−0=21⋅2π=4π. Left half: 0−limt→−∞21arctan2t+1=−21(−2π)=4π. Both converge: the integral is 2π. Splitting at c=0 instead gives 21(2π−arctan21)+21(arctan21+2π), the same 2π: c only moves an arctan21 from one half to the other. Choose the c that makes the arithmetic clean.
b) With u=1+x2, ∫1+x2xdx=21ln(1+x2)+C. Symmetric limit: ∫−tt1+x2xdx=21ln(1+t2)−21ln(1+t2)=0 for every t, so the limit is 0. But the definition asks for each half on its own: ∫0∞1+x2xdx=lims→∞21ln(1+s2)=+∞. One half diverges, so ∫−∞∞1+x2xdx DIVERGES. On the figure, the positive half and the negative half each have infinite area (the integrand behaves like x1 at infinity, the p=1 case); the symmetric limit only says that the two infinities were grown at the same speed.
c) ∫−t2t1+x2xdx=21ln(1+4t2)−21ln(1+t2)=21ln1+t21+4t2. As t→∞, 1+t21+4t2→4, so the limit is 21ln4=ln2. Letting the bounds go to infinity in another proportion gives another answer; with −t and kt one gets lnk, 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 0 of b) was an artefact of symmetry.
d) With u=x2, ∫xe−x2dx=−21e−x2+C. Right half: lims→∞(−21e−s2+21)=21. Left half: limt→−∞(−21+21e−t2)=−21. Both halves CONVERGE, so the integral converges and equals 21−21=0. The integrand is odd, like in b), and the answer is 0, 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 0 only once convergence of one half is proved.
e) u=ex, du=exdx, and e2x=u2, so 1+e2xexdx=1+u2du. The bounds: as x→−∞, u=ex→0+; as x→+∞, u→+∞. The integral becomes ∫0∞1+u2du=lims→∞arctans−arctan0=2π. Converges. Two infinite bounds became one finite bound and one infinite bound: the lower one is not improper at all in u, because 1+u21 is continuous at 0. Writing u from −∞ to ∞ by habit would give π, twice the answer.
Part B: problems and reasoning (/50)
Exercise 6: The comparison test: decide without an antiderivative
Comparison theorem. Let f and g be continuous with f(x)≥g(x)≥0 for x≥a. If ∫a∞f(x)dx converges, then ∫a∞g(x)dx converges; if ∫a∞g(x)dx diverges, then ∫a∞f(x)dx diverges. The same holds on (a,b] for an integrand unbounded at a. 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−x and y=e−x2 on [0,3], with the region under y=e−x for x≥1 shaded.
a) Show that ∫1∞x2cos2xdx converges.
b) Show that ∫1∞x2+sinxdx diverges.
c) A classmate writes: x+11≤x1 and ∫1∞xdx diverges, so ∫1∞x+1dx diverges. Say why the argument proves nothing, then prove the conclusion correctly.
d) The function e−x2 has no elementary antiderivative. Show that ∫1∞e−x2dx converges and that its value is less than e1.
e) Show that lnx≤x for x≥1, deduce that ∫1∞x2lnxdx converges, then compute it exactly and compare with the bound.
Show the solution
Answers
a)0≤x2cos2x≤x21, p=2>1: converges.
b)x2+sinx≥x1, p=21≤1: diverges.
c)Smaller than divergent proves nothing; x+11≥2x1 for x≥1, so it diverges.
d)e−x2≤e−x for x≥1 and ∫1∞e−xdx=e1: converges, value <e1.
e)Converges, bound 2; exact value 1.
a) No antiderivative of x2cos2x is available, so compare. For x≥1: 0≤cos2x≤1, hence 0≤x2cos2x≤x21. The larger function has a convergent integral, ∫1∞x2dx=1 (p=2>1), so by comparison ∫1∞x2cos2xdx CONVERGES, to a value between 0 and 1. 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 cos2x is irrelevant once it is trapped under 1.
b) For x≥1: sinx≥−1, so 2+sinx≥1 and x2+sinx≥x1≥0. The smaller function has a divergent integral (p=21≤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+sinx≤3 is also true, but it would only prove the integral is below 3∫xdx, 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 x21≤x1 as well and ∫1∞x2dx converges. A correct proof needs a lower bound. For x≥1, 1≤x, so x+1≤2x and x+11≥2x1. Since ∫1∞2xdx=21∫1∞xdx diverges, ∫1∞x+1dx DIVERGES. The trick is typical: the +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≥1: x2≥x, so −x2≤−x and, et being increasing, 0<e−x2≤e−x. This is the picture: from x=1 on, the blue curve stays inside the shaded region. And ∫1∞e−xdx=limt→∞(e−1−e−t)=e1. By comparison, ∫1∞e−x2dx CONVERGES, and its value is at most e1≈2.721≈0.37; it is strictly smaller since e−x2<e−x for x>1. Two things to notice. The inequality is FALSE on (0,1), where x2<x: the figure shows e−x2 above e−x there, which is why the comparison starts at 1. 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−lnx for x≥1. Then g′(x)=2x1−x1=2xx−2, negative on [1,4) and positive after, so g has its minimum at x=4: g(4)=2−ln4=2−2ln2>0 since ln2<1. Hence lnx<x, and for x≥1: 0≤x2lnx≤x2x=x3/21. With p=23>1, the integral converges, and its value is at most ∫1∞x−3/2dx=2. Exact value, by parts with u=lnx, dv=x−2dx, du=xdx, v=−x1: ∫1tx2lnxdx=[−xlnx]1t+∫1tx2dx=−tlnt+1−t1. The limit tlnt is of the form ∞∞; by L'Hôpital's rule, limt→∞11/t=0. So the integral equals 1, consistent with the bound 2. 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,∞) an integrand that blows up at 0 carries TWO problems. Split at a convenient point, usually 1, and study each piece with its own yardstick: near 0 the rule ∫01xpdx converges iff p<1; near infinity the rule ∫1∞xpdx converges iff p>1. The whole integral converges only if both pieces do, and one convergent piece proves nothing about the other.
a) Evaluate ∫0∞x(1+x)dx with the substitution u=x, keeping both limits explicit.
b) Show that ∫1∞x+x2dx converges to ln2, and yet that ∫0∞x+x2dx diverges.
c) Without computing it, show that ∫0∞x+x2dx converges, and give an upper bound for its value.
d) For which real numbers p does ∫0∞xp(1+x)dx converge? Check your answer against a) and b).
e) The integrand x2sin2x is not defined at 0. Show that ∫0∞x2sin2xdx converges, and explain why the piece near 0 needs no p-rule.
Show the solution
Answers
a)Converges: π
b)Tail ln2; near 0, ln21−ln1+tt→∞: diverges.
c)Converges, value <2+1=3.
d)0<p<1
e)Converges (value at most 2); near 0 the integrand is bounded by 1.
a) Improper at 0 (the factor x) and at ∞. Write it as limt→0+∫t1+lims→∞∫1s. With u=x, x=u2, dx=2udu: x(1+x)dx=u(1+u2)2udu=1+u22du, so an antiderivative is 2arctanx; check: dxd2arctanx=2⋅1+x1⋅2x1. Left piece: limt→0+(2arctan1−2arctant)=2⋅4π=2π. Right piece: lims→∞(2arctans−2arctan1)=2⋅2π−2π=2π. Both converge: the integral is π. Near 0 the integrand behaves like x1 (p=21<1), near infinity like x3/21 (p=23>1): each end passes its own test.
b) Partial fractions: x+x21=x(1+x)1=x1−1+x1, so an antiderivative on (0,∞) is lnx−ln(1+x)=ln1+xx. Tail: ∫1sx+x2dx=ln1+ss−ln21, and 1+ss→1, so the limit is 0+ln2=ln2: the tail CONVERGES, as it must since the integrand behaves like x21. Near 0: ∫t1x+x2dx=ln21−ln1+tt, and 1+tt→0+, so −ln1+tt→+∞: DIVERGES, because near 0 the integrand behaves like x1, the p=1 case. One piece diverges, so ∫0∞x+x2dx DIVERGES. A copy that computes only ∫1∞ and reports ln2 has answered a different question.
c) The integrand is positive and continuous on (0,∞). On (0,1]: x+x2≥x, so x+x21≤x1, and ∫01xdx=2 converges (p=21<1). On [1,∞): x+x2≥x2, so x+x21≤x21, and ∫1∞x2dx=1 converges. Both pieces converge by comparison, so the integral CONVERGES, and its value is less than 2+1=3. The figure of the solution shows why two yardsticks are needed: x1 works near 0 but has infinite area at infinity, x21 works at infinity but has infinite area near 0. Comparing with a single function on all of (0,∞) is doomed by Exercise 3 e).
d) Split at 1. On (0,1]: 1≤1+x≤2, so 2xp1≤xp(1+x)1≤xp1; the piece converges if p<1 (upper bound) and diverges if p≥1 (lower bound, a constant times a divergent integral). On [1,∞): x≤1+x≤2x, so 2xp+11≤xp(1+x)1≤xp+11; the piece converges iff p+1>1, that is p>0. Both at once: 0<p<1. Check: p=21 is a), convergent with value π; p=1 is b), divergent at 0 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]: ∣sinx∣≤x for x≥0, so 0≤x2sin2x≤1. The integrand is continuous and BOUNDED there, and x2sin2x→1 as x→0: defining it as 1 at 0 makes it continuous on [0,1], so this piece is an ordinary integral with value at most 1. Undefined at a point is not the same as unbounded near it; the p-rules are only needed where the integrand blows up. On [1,∞): 0≤x2sin2x≤x21, convergent. So ∫0∞x2sin2xdx CONVERGES, with value at most 1+1=2. Its exact value, 2π, needs tools beyond MATH 141; the course asks for the verdict and the bound.
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) ∫−11x3dx=0, because the integrand is odd and the interval is symmetric.
b) If 0≤f(x)≤g(x) for x≥1 and ∫1∞g(x)dx diverges, then ∫1∞f(x)dx diverges.
c) ∫01x2dx converges, because p=2>1.
d) ∫0∞cosxdx converges, because cosx is bounded and its positive and negative areas cancel.
e) limt→∞te−t=∞⋅0=0, so ∫0∞xe−xdx=1.
Show the solution
Answers
a)False: ∫01x−3dx diverges, so the integral diverges.
b)False: wrong direction; f=x21≤g=x1 and ∫1∞f converges.
c)False: on (0,1] the rule is p<1; t1−1→∞, it diverges.
d)False: ∫0tcosxdx=sint has no limit, it diverges.
e)Value right, reason wrong: ∞⋅0 is indeterminate; L'Hôpital on ett gives 0.
a) FALSE. The integrand x−3 is unbounded at 0, inside [−1,1], so the integral is improper and must be split: ∫01x−3dx=lims→0+[−2x21]s1=lims→0+(−21+2s21)=+∞ (p=3≥1 on (0,1]). One half diverges, so the integral DIVERGES; the other half is −∞ and infinities do not cancel. Correct statement: an odd integrand on a symmetric interval gives 0 only when the integral converges, which must be checked on one half first.
b) FALSE, the inequality points the wrong way. Take f(x)=x21 and g(x)=x1: 0≤f≤g on [1,∞), ∫1∞g diverges (p=1), yet ∫1∞f=1 converges. Being under an infinite area gives no information. Correct statement: if 0≤f≤g and ∫1∞f DIVERGES, then ∫1∞g diverges; if ∫1∞g CONVERGES, then ∫1∞f converges.
c) FALSE: the student applied the rule of [1,∞) on (0,1]. Near 0 the rule is reversed, ∫01xpdx converges iff p<1. Directly: ∫t1x−2dx=t1−1→∞ as t→0+, so the integral DIVERGES. Correct statement: ∫01x2dx diverges since p=2≥1, while ∫1∞x2dx converges since p=2>1.
d) FALSE. By definition, ∫0∞cosxdx=limt→∞∫0tcosxdx=limt→∞sint, and sint keeps oscillating between −1 and 1 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∞cosxdx diverges because ∫0tcosxdx=sint has no limit as t→∞.
e) The value 1 is right and the reasoning is wrong. ∞⋅0 is an INDETERMINATE form: t⋅t1→1 and t⋅t1→∞, both of the same form. Correct reasoning: te−t=ett, of the form ∞∞; by L'Hôpital's rule, limt→∞et1=0. Then, by parts with u=x, dv=e−xdx: ∫0txe−xdx=[−xe−x]0t+∫0te−xdx=−te−t+1−e−t→1. The limit in the last step is where the method mark sits; writing ∞⋅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, in mg h/L. The upper bound is infinite because elimination is exponential: the concentration never reaches exactly 0 in finite time.
Two formulations of the same drug are compared, one tablet each, with t in hours and C in mg/L: formulation A gives CA(t)=12(e−t/4−e−t) and formulation B gives CB(t)=9te−t/2. The figure shows both curves. No calculator: give exact answers, then an order of magnitude from e≈2.72 and ln2≈0.69.
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=8 h?
e) A colleague proposes the model C(t)=1+t6 for a third formulation. Show that its AUC is infinite and explain why that disqualifies the model, then show that C(t)=(1+t)26 has a finite AUC.
Show the solution
Answers
a)AUCA=36 mg h/L
b)AUCB=36 mg h/L
c)A: 349≈5.7 mg/L at t=38ln2≈1.8 h; B: e18≈6.6 mg/L at t=2 h. The AUC does not see the shape.
d)5e−4, about 9 percent
e)∫0∞1+t6dt diverges; ∫0∞(1+t)26dt=6 mg h/L.
a) CA is continuous on [0,∞); 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). As s→∞, both exponentials tend to 0: AUCA=lims→∞12(3−4e−s/4+e−s)=36 mg h/L. Check of the antiderivative: dtd(−4e−t/4)=e−t/4. The factor 4 is the one lost most often: dividing by the coefficient −41 MULTIPLIES by −4.
b) By parts, u=t, dv=e−t/2dt, so du=dt and v=−2e−t/2: ∫te−t/2dt=−2te−t/2+2∫e−t/2dt=−2te−t/2−4e−t/2; check: the derivative is −2e−t/2+te−t/2+2e−t/2=te−t/2. Then ∫0s9te−t/2dt=9(−2se−s/2−4e−s/2+4). The term se−s/2=es/2s is of the form ∞∞; by L'Hôpital's rule, lims→∞21es/21=0. So AUCB=9⋅4=36 mg h/L, the same exposure as formulation A.
c) Formulation B: CB′(t)=9e−t/2(1−2t), zero at t=2, positive before and negative after: the peak is CB(2)=18e−1=e18≈2.7218≈6.6 mg/L at 2 h. Formulation A: CA′(t)=12(−41e−t/4+e−t)=0 when e−3t/4=41, that is t=34ln4=38ln2≈1.84 h, where e−t/4=4−1/3 and e−t=4−4/3, so CA=12⋅4−1/3(1−41)=349≈1.599≈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=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 8 h: ∫8∞9te−t/2dt=lims→∞9[−2te−t/2−4e−t/2]8s=9(0+16e−4+4e−4)=180e−4, the limit at s being the one of b). As a fraction of the total: 36180e−4=5e−4. With e2≈7.4, e4≈55, so the fraction is about 555≈0.09: about 9 percent of the exposure is still to come after 8 h. The tail of an improper integral is computed exactly like the whole: same antiderivative, same limit, a different lower bound.
e) ∫0s1+t6dt=6ln(1+s)→∞: 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 t1, the p=1 case, too slowly for any finite exposure, which contradicts the exponential elimination the model is meant to describe. The second model: ∫0s(1+t)26dt=6[−1+t1]0s=6(1−1+s1)→6 mg h/L, finite because the decay is like t21, the convergent case p=2. Both models tend to 0; 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≥0, let In=∫0∞xne−xdx. 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 I0.
b) Explain, by comparison, why In converges for every n≥0 before computing anything.
c) Show by parts, with the limit written, that In=nIn−1 for n≥1. Justify that limt→∞tne−t=0.
d) Deduce In=n!, then evaluate ∫0∞x3e−2xdx with the substitution u=2x.
e) Admit that ∫0∞e−u2du=2π. Evaluate ∫0∞xe−xdx with the substitution x=u2, then by parts.
Show the solution
Answers
a)I0=1
b)xne−x≤x21 for x large, since xn+2e−x→0: converges.
c)In=[−xne−x]0∞+nIn−1=nIn−1
d)In=n!; ∫0∞x3e−2xdx=243!=83
e)∫0∞xe−xdx=2π
a) I0=∫0∞e−xdx=limt→∞[−e−x]0t=limt→∞(1−e−t)=1.
b) For a fixed n, xn+2e−x=exxn+2→0 as x→∞ (L'Hôpital's rule applied n+2 times, or the growth order of the exponential). So there is an X≥1 with xn+2e−x≤1 for x≥X, that is 0≤xne−x≤x21 for x≥X, and ∫X∞x2dx converges. On [0,X] the integrand is continuous, so that piece is an ordinary integral. Hence In converges. Proving convergence FIRST is what makes the manipulations of c) legitimate: one never writes In=nIn−1 between two quantities that might be infinite.
c) By parts on [0,t], u=xn, dv=e−xdx, so du=nxn−1dx and v=−e−x: ∫0txne−xdx=[−xne−x]0t+n∫0txn−1e−xdx=−tne−t+n∫0txn−1e−xdx, the bracket being 0 at x=0 since n≥1. The limit tne−t=ettn is of the form ∞∞; each application of L'Hôpital's rule lowers the power by one and leaves et unchanged, so after n applications it becomes etn!→0. Letting t→∞ (both integrals converge by b)): In=0+nIn−1. The choice u=xn is forced: differentiating the power lowers it towards I0, while the other choice would raise it and never end.
d) From I0=1 and In=nIn−1: I1=1, I2=2⋅1, I3=3⋅2⋅1, and by induction In=n⋅(n−1)!=n!. For the second integral, u=2x, x=2u, dx=2du; the bounds 0 and ∞ stay 0 and ∞: ∫0∞x3e−2xdx=∫0∞8u3e−u2du=161I3=166=83. The factor 241 collects three halves from x3 and one from dx; forgetting the one from dx gives 43, the usual wrong answer.
e) Here n=21 is not an integer, so the recursion does not start from I0. The integral converges: near 0 the integrand is bounded, and at infinity b) applies. With x=u2, dx=2udu, bounds 0 and ∞ unchanged: ∫0∞xe−xdx=∫0∞ue−u22udu=2∫0∞u2e−u2du. By parts, a=u, db=ue−u2du, b=−21e−u2: 2∫0tu2e−u2du=2[−2ue−u2]0t+∫0te−u2du=−te−t2+∫0te−u2du. Since te−t2→0, the limit is ∫0∞e−u2du=2π. So ∫0∞xe−xdx=2π≈21.77≈0.89. It is tempting to guess that this lies between I0=1 and I1=1, but x is between 1 and x only for x≥1 and is LARGER than x on (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π is a tool of the statement: an exam that admits it expects it to be used, not proved.