MATH 141 Calculus 2 • McGill University, Montreal

Corrected exercises: strategy for integration (MATH 141)

This is the corrected exercise set for section 7.5 of Stewart, strategy for integration, in MATH 141, Calculus 2, the second calculus course at McGill University. Up to this point each technique came with its own chapter: substitution, integration by parts, trigonometric integrals, trigonometric substitution, partial fractions. On the midterm and the final the integrals come without a label, and choosing the technique is now the skill being tested. Every answer below is exact and computed by hand.

The thread running through the set: READ the integrand before choosing anything. Simplify first, with algebra, an identity or a conjugate; then look for a piece whose derivative is sitting next to it; only then name the technique that the new form calls for. Two integrals that look alike can part ways completely, one taking a line, the other a page, and a third having no elementary antiderivative at all.

The traps named in the solutions: substituting without the derivative being present, forgetting to rewrite dxdx or the bounds, splitting into partial fractions before the long division, clearing one root out of two, writing sin⁡2x=sin⁡x\sqrt{\sin^2 x} = \sin x, dividing by the derivative of the inner function, declaring that a non-elementary integral does not exist, and rejecting a correct answer because it does not look like the one in the book.

10 corrected exercises • 100 points • 150 minutes

Revision sheet for this chapter → Every MATH 141 chapter →

Course recap

  • • Step 1, simplify: expand, split a numerator along the denominator, factor (e2x−1=(ex−1)(ex+1)e^{2x} - 1 = (e^x - 1)(e^x + 1)), use an identity (1+cos⁡2x=2cos⁡2x1 + \cos 2x = 2\cos^2 x) or a conjugate.
  • • Step 2, look for g(x)g(x) AND g′(x)g'(x) as a factor: then u=g(x)u = g(x). Otherwise note the form: product, power of trigonometric functions, a2±x2\sqrt{a^2 \pm x^2} or x2−a2\sqrt{x^2 - a^2}, rational function, root of xx or of exe^x.
  • • Step 3, the technique the form calls for: parts for a product (ln⁡\ln, arctan⁡\arctan or a polynomial times exe^x, sin⁡\sin, cos⁡\cos), trigonometric substitution for a2−x2\sqrt{a^2 - x^2}, long division then partial fractions for a rational function, t=x1/nt = x^{1/n} with nn the LCM of the root indices.
  • • Step 4, if the first try stalls, try again: substitution then parts (∫ex dx\int e^{\sqrt{x}}\,dx), rationalizing then partial fractions, or a different first move.
  • • No elementary antiderivative: ex2e^{x^2}, e−x2e^{-x^2}, sin⁡(x2)\sin(x^2), exx\frac{e^x}{x}, 1ln⁡x\frac{1}{\ln x}. The definite integral still exists and can be bounded.
  • • Every substitution replaces three things: the inner function, dxdx and the bounds. Every antiderivative is checked by differentiating it.

Part A: the basics (/50)

Exercise 1: Simplify first: five integrands that stop being hard

On a MATH 141 exam the integral arrives naked: no section title tells you which technique to use. The first move is therefore not a technique at all, it is a look. Can the integrand be rewritten, by algebra or by one identity, into something that integrates at once?

Each integrand below looks as if it needs a substitution, integration by parts or partial fractions. None of them does. For each one, NAME the simplification in words, then integrate.

  • a) ∫(1+x)2x dx\displaystyle\int \frac{(1+\sqrt{x})^2}{x}\,dx
  • b) ∫sin⁡x+sec⁡xtan⁡x dx\displaystyle\int \frac{\sin x + \sec x}{\tan x}\,dx
  • c) ∫(x+1)2x2+1 dx\displaystyle\int \frac{(x+1)^2}{x^2+1}\,dx
  • d) ∫e2x−1ex+1 dx\displaystyle\int \frac{e^{2x}-1}{e^x+1}\,dx
  • e) ∫dx1+cos⁡2x\displaystyle\int \frac{dx}{1+\cos 2x}, then explain why the substitution u=1+cos⁡2xu = 1 + \cos 2x fails here.
Show the solution

Answers

  • a) ln⁡x+4x+x+C\ln x + 4\sqrt{x} + x + C
  • b) sin⁡x+ln⁡∣csc⁡x−cot⁡x∣+C\sin x + \ln|\csc x - \cot x| + C
  • c) x+ln⁡(x2+1)+Cx + \ln(x^2+1) + C
  • d) ex−x+Ce^x - x + C
  • e) 12tan⁡x+C\frac{1}{2}\tan x + C; du=−2sin⁡2x dxdu = -2\sin 2x\,dx is not in the integrand.

a) Simplification: EXPAND the square and divide term by term. (1+x)2=1+2x+x(1+\sqrt{x})^2 = 1 + 2\sqrt{x} + x, so the integrand is x−1+2x−1/2+1x^{-1} + 2x^{-1/2} + 1. Then ∫(x−1+2x−1/2+1) dx=ln⁡x+4x+x+C\int (x^{-1} + 2x^{-1/2} + 1)\,dx = \ln x + 4\sqrt{x} + x + C. The absolute value in ln⁡∣x∣\ln|x| can be dropped because x\sqrt{x} already forces x>0x > 0. Check by differentiating: 1x+2x+1\frac{1}{x} + \frac{2}{\sqrt{x}} + 1, which is the expanded integrand. The substitution u=1+xu = 1 + \sqrt{x} also works, but it gives x=(u−1)2x = (u-1)^2, dx=2(u−1) dudx = 2(u-1)\,du and the new integrand 2u2u−1\frac{2u^2}{u-1}, which then needs a long division: three extra lines for the same answer, and three extra places to drop a sign.

b) Simplification: rewrite EVERYTHING in sines and cosines. sin⁡xtan⁡x=sin⁡x⋅cos⁡xsin⁡x=cos⁡x\frac{\sin x}{\tan x} = \sin x \cdot \frac{\cos x}{\sin x} = \cos x and sec⁡xtan⁡x=1cos⁡x⋅cos⁡xsin⁡x=1sin⁡x=csc⁡x\frac{\sec x}{\tan x} = \frac{1}{\cos x}\cdot\frac{\cos x}{\sin x} = \frac{1}{\sin x} = \csc x. So the integral is ∫(cos⁡x+csc⁡x) dx=sin⁡x+ln⁡∣csc⁡x−cot⁡x∣+C\int (\cos x + \csc x)\,dx = \sin x + \ln|\csc x - \cot x| + C, where ∫csc⁡x dx=ln⁡∣csc⁡x−cot⁡x∣+C\int \csc x\,dx = \ln|\csc x - \cot x| + C is the companion of ∫sec⁡x dx\int \sec x\,dx. Check: ddxln⁡∣csc⁡x−cot⁡x∣=−csc⁡xcot⁡x+csc⁡2xcsc⁡x−cot⁡x=csc⁡x\frac{d}{dx}\ln|\csc x - \cot x| = \frac{-\csc x\cot x + \csc^2 x}{\csc x - \cot x} = \csc x. The trap is to see tan⁡x\tan x and reach for u=tan⁡xu = \tan x: its derivative sec⁡2x\sec^2 x is nowhere in the integrand, and the attempt goes in circles.

c) Simplification: split the numerator along the denominator. (x+1)2=x2+2x+1=(x2+1)+2x(x+1)^2 = x^2 + 2x + 1 = (x^2 + 1) + 2x, so (x+1)2x2+1=1+2xx2+1\frac{(x+1)^2}{x^2+1} = 1 + \frac{2x}{x^2+1}. The second piece is of the form g′(x)g(x)\frac{g'(x)}{g(x)} with g(x)=x2+1g(x) = x^2 + 1. Hence ∫(x+1)2x2+1 dx=x+ln⁡(x2+1)+C\int \frac{(x+1)^2}{x^2+1}\,dx = x + \ln(x^2+1) + C, with no absolute value since x2+1>0x^2 + 1 > 0. The tempting substitution u=x+1u = x + 1 turns the denominator into u2−2u+2u^2 - 2u + 2, which is worse. Partial fractions would start with a long division, since numerator and denominator have the same degree, and that division is exactly the one line written here.

d) Simplification: a DIFFERENCE OF SQUARES. e2x−1=(ex)2−1=(ex−1)(ex+1)e^{2x} - 1 = (e^x)^2 - 1 = (e^x - 1)(e^x + 1), so the fraction reduces to ex−1e^x - 1 and ∫(ex−1) dx=ex−x+C\int (e^x - 1)\,dx = e^x - x + C. The route u=exu = e^x, dx=duudx = \frac{du}{u} gives ∫u2−1u(u+1) du=∫u−1u du=u−ln⁡u+C\int \frac{u^2 - 1}{u(u+1)}\,du = \int \frac{u - 1}{u}\,du = u - \ln u + C, the same answer after the same cancellation, reached later. Whenever e2xe^{2x} sits next to exe^x, ask first whether it factors.

e) Simplification: the double-angle identity cos⁡2x=2cos⁡2x−1\cos 2x = 2\cos^2 x - 1 gives 1+cos⁡2x=2cos⁡2x1 + \cos 2x = 2\cos^2 x. So ∫dx1+cos⁡2x=12∫sec⁡2x dx=12tan⁡x+C\int \frac{dx}{1 + \cos 2x} = \frac{1}{2}\int \sec^2 x\,dx = \frac{1}{2}\tan x + C, on any interval where cos⁡x≠0\cos x \neq 0. The substitution u=1+cos⁡2xu = 1 + \cos 2x fails because it needs du=−2sin⁡2x dxdu = -2\sin 2x\,dx in the numerator, and the numerator is 11: a substitution is not a change of name, it demands that the derivative of the new variable be present, up to a constant factor. That test, is the derivative there, is the one to run before every substitution in this chapter.

Exercise 2: Find the derivative hiding in the integrand

A substitution u=g(x)u = g(x) works when the integrand contains g(x)g(x) AND, up to a constant factor, g′(x)g'(x). On a naked integral that pair is disguised: 1x\frac{1}{x} is the derivative of ln⁡x\ln x, 1x\frac{1}{\sqrt{x}} is twice the derivative of x\sqrt{x}, sin⁡xcos⁡x\sin x \cos x is half the derivative of sin⁡2x\sin^2 x.

In each integral below, find the pair, substitute, and then recognise the form that is left: an arctangent, a square to complete, a pair of partial fractions.

  • a) ∫1edxx(1+(ln⁡x)2)\displaystyle\int_1^{e} \frac{dx}{x\left(1+(\ln x)^2\right)}
  • b) ∫sec⁡2xtan⁡2x+4tan⁡x+5 dx\displaystyle\int \frac{\sec^2 x}{\tan^2 x + 4\tan x + 5}\,dx
  • c) ∫13dxx (1+x)\displaystyle\int_1^{3} \frac{dx}{\sqrt{x}\,(1+x)}
  • d) ∫cos⁡xsin⁡2x−3sin⁡x+2 dx\displaystyle\int \frac{\cos x}{\sin^2 x - 3\sin x + 2}\,dx
  • e) ∫0π/2sin⁡xcos⁡x1+sin⁡4x dx\displaystyle\int_0^{\pi/2} \frac{\sin x \cos x}{1+\sin^4 x}\,dx. Say why u=sin⁡2xu = \sin^2 x is a better choice than u=sin⁡xu = \sin x.
Show the solution

Answers

  • a) π4\frac{\pi}{4}
  • b) arctan⁡(tan⁡x+2)+C\arctan(\tan x + 2) + C
  • c) π6\frac{\pi}{6}
  • d) ln⁡(2−sin⁡x1−sin⁡x)+C\ln\left(\frac{2 - \sin x}{1 - \sin x}\right) + C
  • e) π8\frac{\pi}{8}; u=sin⁡2xu = \sin^2 x reaches du1+u2\frac{du}{1+u^2} in one step.

a) The pair: u=ln⁡xu = \ln x, du=dxxdu = \frac{dx}{x}, and the factor 1x\frac{1}{x} is sitting in the denominator. Bounds: x=1x = 1 gives u=0u = 0, x=ex = e gives u=1u = 1. Then ∫01du1+u2=arctan⁡1−arctan⁡0=π4\int_0^1 \frac{du}{1+u^2} = \arctan 1 - \arctan 0 = \frac{\pi}{4}. Changing the bounds at the moment of the substitution means never returning to xx. The trap is to read 1+(ln⁡x)21 + (\ln x)^2 as the thing to substitute: u=1+(ln⁡x)2u = 1 + (\ln x)^2 needs 2ln⁡xx\frac{2\ln x}{x} in the numerator, and there is no ln⁡x\ln x upstairs.

b) The pair: u=tan⁡xu = \tan x, du=sec⁡2x dxdu = \sec^2 x\,dx, which is exactly the numerator. Seeing powers of tan⁡x\tan x and a sec⁡2x\sec^2 x in the same integrand is the signal, and it has nothing to do with the trigonometric-integral recipes. The integral becomes ∫duu2+4u+5\int \frac{du}{u^2 + 4u + 5}. The quadratic has discriminant 16−20=−4<016 - 20 = -4 < 0, so it does not factor: COMPLETE THE SQUARE, u2+4u+5=(u+2)2+1u^2 + 4u + 5 = (u+2)^2 + 1. Then ∫du(u+2)2+1=arctan⁡(u+2)+C=arctan⁡(tan⁡x+2)+C\int \frac{du}{(u+2)^2 + 1} = \arctan(u + 2) + C = \arctan(\tan x + 2) + C. The classic wrong answer is ln⁡(tan⁡2x+4tan⁡x+5)\ln(\tan^2 x + 4\tan x + 5): its derivative is (2tan⁡x+4)sec⁡2xtan⁡2x+4tan⁡x+5\frac{(2\tan x + 4)\sec^2 x}{\tan^2 x + 4\tan x + 5}, and the numerator here is only sec⁡2x\sec^2 x. A logarithm needs the derivative of the WHOLE denominator on top.

c) The pair: u=xu = \sqrt{x}, du=dx2xdu = \frac{dx}{2\sqrt{x}}, so dxx=2 du\frac{dx}{\sqrt{x}} = 2\,du, and x=u2x = u^2. Bounds: 1↦11 \mapsto 1 and 3↦33 \mapsto \sqrt{3}. Then ∫132 du1+u2=2(arctan⁡3−arctan⁡1)=2(π3−π4)=π6\int_1^{\sqrt{3}} \frac{2\,du}{1 + u^2} = 2\left(\arctan\sqrt{3} - \arctan 1\right) = 2\left(\frac{\pi}{3} - \frac{\pi}{4}\right) = \frac{\pi}{6}. Partial fractions cannot even start on 1x(1+x)\frac{1}{\sqrt{x}(1+x)}, which is not a rational function; the substitution is what makes it one, and here the rational function it produces is already an arctangent.

d) The pair: u=sin⁡xu = \sin x, du=cos⁡x dxdu = \cos x\,dx. The integral becomes ∫duu2−3u+2=∫du(u−1)(u−2)\int \frac{du}{u^2 - 3u + 2} = \int \frac{du}{(u-1)(u-2)}, a rational function with two distinct linear factors: partial fractions. Write 1(u−1)(u−2)=Au−1+Bu−2\frac{1}{(u-1)(u-2)} = \frac{A}{u-1} + \frac{B}{u-2}. Covering up: u=1u = 1 gives A=11−2=−1A = \frac{1}{1-2} = -1, u=2u = 2 gives B=12−1=1B = \frac{1}{2-1} = 1. So ∫=−ln⁡∣u−1∣+ln⁡∣u−2∣+C=ln⁡∣sin⁡x−2sin⁡x−1∣+C\int = -\ln|u-1| + \ln|u-2| + C = \ln\left|\frac{\sin x - 2}{\sin x - 1}\right| + C. Since sin⁡x−2<0\sin x - 2 < 0 and sin⁡x−1<0\sin x - 1 < 0 wherever the integrand is defined, the quotient is positive and the answer reads ln⁡(2−sin⁡x1−sin⁡x)+C\ln\left(\frac{2 - \sin x}{1 - \sin x}\right) + C. Two techniques, chained: the substitution produced the rational function, partial fractions finished it.

e) With u=sin⁡2xu = \sin^2 x: du=2sin⁡xcos⁡x dxdu = 2\sin x\cos x\,dx and sin⁡4x=u2\sin^4 x = u^2. Bounds: 0↦00 \mapsto 0, π2↦1\frac{\pi}{2} \mapsto 1. So the integral is 12∫01du1+u2=12⋅π4=π8\frac{1}{2}\int_0^1 \frac{du}{1+u^2} = \frac{1}{2}\cdot\frac{\pi}{4} = \frac{\pi}{8}. With u=sin⁡xu = \sin x instead, one gets ∫01u du1+u4\int_0^1 \frac{u\,du}{1 + u^4}, which still needs a second substitution w=u2w = u^2 to reach the same arctangent. Both are correct; the better choice reads sin⁡4x\sin^4 x as (sin⁡2x)2(\sin^2 x)^2 and spots that sin⁡xcos⁡x\sin x \cos x is half the derivative of sin⁡2x\sin^2 x. Plausibility: the integrand lies between 00 and 12\frac{1}{2} on an interval of length π2\frac{\pi}{2}, and π8≈0.39\frac{\pi}{8} \approx 0.39 is well inside.

Exercise 3: Substitute first, then integrate by parts

When a function is COMPOSED with an inner function (x\sqrt{x}, x2x^2, sin⁡x\sin x), integration by parts attempted directly makes things worse: differentiating exe^{\sqrt{x}} drags the inner derivative along. The order that works is the reverse. Substitute the inner function first and rewrite dxdx completely; the new integral is a product that parts can finish.

The letter tt is used for the substitution, so that uu and dvdv stay free for the parts.

  • a) ∫01ex dx\displaystyle\int_0^1 e^{\sqrt{x}}\,dx. Check that the value lies between the smallest and largest value of the integrand times the length of the interval.
  • b) ∫0π/6sin⁡2x esin⁡x dx\displaystyle\int_0^{\pi/6} \sin 2x\,e^{\sin x}\,dx. Say which identity makes the substitution visible.
  • c) ∫0πx3cos⁡(x2) dx\displaystyle\int_0^{\sqrt{\pi}} x^3\cos(x^2)\,dx. Explain the sign of the result.
  • d) A student writes ∫ex dx=∫et dt=ex+C\int e^{\sqrt{x}}\,dx = \int e^t\,dt = e^{\sqrt{x}} + C. Prove the answer wrong by differentiating it, and name the error.
  • e) Show what happens in a) if one integrates by parts FIRST, with u=exu = e^{\sqrt{x}} and dv=dxdv = dx.
Show the solution

Answers

  • a) 22, antiderivative 2(x−1)ex2(\sqrt{x} - 1)e^{\sqrt{x}}; 1≤2≤e1 \le 2 \le e
  • b) 2−e2 - \sqrt{e}, via sin⁡2x=2sin⁡xcos⁡x\sin 2x = 2\sin x\cos x
  • c) −1-1; negative because cos⁡(x2)<0\cos(x^2) < 0 where x3x^3 is largest
  • d) ddxex=ex2x\frac{d}{dx}e^{\sqrt{x}} = \frac{e^{\sqrt{x}}}{2\sqrt{x}}: the dx=2t dtdx = 2t\,dt was forgotten.
  • e) xex−12∫x ex dxxe^{\sqrt{x}} - \frac{1}{2}\int \sqrt{x}\,e^{\sqrt{x}}\,dx: harder than the start.

a) Substitution: t=xt = \sqrt{x}, so x=t2x = t^2 and dx=2t dtdx = 2t\,dt; bounds 0↦00 \mapsto 0, 1↦11 \mapsto 1. The integral becomes ∫012tet dt\int_0^1 2t e^t\,dt. Parts on this product: u=tu = t (it simplifies when differentiated), dv=et dtdv = e^t\,dt, so du=dtdu = dt, v=etv = e^t, and ∫tet dt=tet−et=(t−1)et\int t e^t\,dt = te^t - e^t = (t-1)e^t. Hence ∫01ex dx=2[(t−1)et]01=2(0−(−1))=2\int_0^1 e^{\sqrt{x}}\,dx = 2\left[(t-1)e^t\right]_0^1 = 2\left(0 - (-1)\right) = 2. In terms of xx, the antiderivative is 2(x−1)ex+C2(\sqrt{x} - 1)e^{\sqrt{x}} + C. Check: on [0,1][0, 1] the integrand runs from e0=1e^0 = 1 to e1=ee^1 = e and the interval has length 11, so the value must lie between 11 and e≈2.72e \approx 2.72. It does.

b) As written, nothing pairs up: the exponent is sin⁡x\sin x, whose derivative cos⁡x\cos x does not appear. The double-angle identity sin⁡2x=2sin⁡xcos⁡x\sin 2x = 2\sin x\cos x makes it appear: the integrand is 2sin⁡x⋅esin⁡xcos⁡x2\sin x \cdot e^{\sin x}\cos x. Now t=sin⁡xt = \sin x, dt=cos⁡x dxdt = \cos x\,dx, bounds 0↦00 \mapsto 0 and π6↦12\frac{\pi}{6} \mapsto \frac{1}{2}, and the integral becomes ∫01/22tet dt\int_0^{1/2} 2te^t\,dt, the same product as in a). So the value is 2[(t−1)et]01/2=2(−12e1/2+1)=2−e2\left[(t - 1)e^t\right]_0^{1/2} = 2\left(-\frac{1}{2}e^{1/2} + 1\right) = 2 - \sqrt{e}. Three moves in a row, an identity, a substitution and integration by parts, and none of them is visible on the original integrand. Plausibility: e≈1.65\sqrt{e} \approx 1.65 gives about 0.350.35, and the integrand stays below sin⁡π3 e1/2≈1.43\sin\frac{\pi}{3}\,e^{1/2} \approx 1.43 on an interval of length π6≈0.52\frac{\pi}{6} \approx 0.52, so the value is below 0.750.75.

c) Write x3 dx=x2⋅x dxx^3\,dx = x^2 \cdot x\,dx: the factor xx is half the derivative of x2x^2. So t=x2t = x^2, dt=2x dxdt = 2x\,dx, bounds 0↦00 \mapsto 0 and π↦π\sqrt{\pi} \mapsto \pi, and the integral becomes 12∫0πtcos⁡t dt\frac{1}{2}\int_0^{\pi} t\cos t\,dt. Parts with u=tu = t, dv=cos⁡t dtdv = \cos t\,dt, v=sin⁡tv = \sin t: ∫tcos⁡t dt=tsin⁡t+cos⁡t\int t\cos t\,dt = t\sin t + \cos t. So the value is 12[tsin⁡t+cos⁡t]0π=12((0−1)−(0+1))=−1\frac{1}{2}\left[t\sin t + \cos t\right]_0^{\pi} = \frac{1}{2}\left((0 - 1) - (0 + 1)\right) = -1. Sign: cos⁡(x2)>0\cos(x^2) > 0 only while x2<π2x^2 < \frac{\pi}{2}, and on the rest of the interval, where x3x^3 is largest, it is negative; a negative total is expected. Integrating by parts first with u=x3u = x^3 would need an antiderivative of cos⁡(x2)\cos(x^2), which does not exist in elementary form: the substitution is not a convenience here, it is the only way in.

d) ddxex=ex⋅12x\frac{d}{dx}e^{\sqrt{x}} = e^{\sqrt{x}}\cdot\frac{1}{2\sqrt{x}} by the chain rule, which is NOT exe^{\sqrt{x}}. The error: the student renamed x\sqrt{x} as tt but left dxdx as if it were dtdt. A substitution replaces three things, the inner function, the differential and (for a definite integral) the bounds. Here dx=2t dtdx = 2t\,dt, and that factor 2t2t is precisely what makes part a) an integration by parts. Differentiating the final answer takes ten seconds and catches this every time.

e) With u=exu = e^{\sqrt{x}} and dv=dxdv = dx: du=ex2x dxdu = \frac{e^{\sqrt{x}}}{2\sqrt{x}}\,dx and v=xv = x, so ∫ex dx=xex−∫x⋅ex2x dx=xex−12∫x ex dx\int e^{\sqrt{x}}\,dx = xe^{\sqrt{x}} - \int x\cdot\frac{e^{\sqrt{x}}}{2\sqrt{x}}\,dx = xe^{\sqrt{x}} - \frac{1}{2}\int \sqrt{x}\,e^{\sqrt{x}}\,dx. The new integral is harder than the one we started with, and a second round of parts makes it worse again. The rule that comes out: when the difficulty is a composition, attack the inner function first; parts is for PRODUCTS, and the substitution is what turns the composition into one.

Exercise 4: Rationalize, divide, then split into partial fractions

Partial fractions only apply to a RATIONAL function, a quotient of two polynomials. A root or an exponential in the integrand blocks them, until a substitution removes it. The substitution is only the first of up to three moves: after it, compare the degrees, divide if the numerator is not of lower degree, and only then split.

No calculator: logarithms stay as logarithms, and plausibility checks use ln⁡2≈0.69\ln 2 \approx 0.69, ln⁡3≈1.10\ln 3 \approx 1.10, ln⁡5≈1.61\ln 5 \approx 1.61.

  • a) ∫916x dxx−x−2\displaystyle\int_9^{16} \frac{x\,dx}{x - \sqrt{x} - 2}
  • b) ∫164dxx+x3\displaystyle\int_1^{64} \frac{dx}{\sqrt{x} + \sqrt[3]{x}}. Choose the substitution that removes BOTH roots at once.
  • c) ∫0ln⁡2e3xe2x+5ex+6 dx\displaystyle\int_0^{\ln 2} \frac{e^{3x}}{e^{2x} + 5e^x + 6}\,dx
  • d) A student starts b) with t=xt = \sqrt{x}, and another starts c) by writing ∫t3(t+2)(t+3) dt\int \frac{t^3}{(t+2)(t+3)}\,dt after t=ext = e^x. What goes wrong in each case?
  • e) Without a calculator, check that the value found in a) is plausible, using the fact that the integrand decreases on [9,16][9, 16].
Show the solution

Answers

  • a) 9+4ln⁡2+23ln⁡59 + 4\ln 2 + \frac{2}{3}\ln 5
  • b) 11+6ln⁡2311 + 6\ln\frac{2}{3}
  • c) 1+4ln⁡43−9ln⁡541 + 4\ln\frac{4}{3} - 9\ln\frac{5}{4}
  • d) t=xt = \sqrt{x} leaves t2/3t^{2/3}; after t=ext = e^x the dx=dttdx = \frac{dt}{t} was forgotten.
  • e) 11.2≤9+4ln⁡2+23ln⁡5≈12.8≤15.7511.2 \le 9 + 4\ln 2 + \frac{2}{3}\ln 5 \approx 12.8 \le 15.75

a) Rationalizing substitution: t=xt = \sqrt{x}, x=t2x = t^2, dx=2t dtdx = 2t\,dt; bounds 9↦39 \mapsto 3, 16↦416 \mapsto 4. The integral becomes ∫34t2t2−t−2⋅2t dt=∫342t3(t−2)(t+1) dt\int_3^4 \frac{t^2}{t^2 - t - 2}\cdot 2t\,dt = \int_3^4 \frac{2t^3}{(t-2)(t+1)}\,dt, and the denominator does not vanish on [3,4][3, 4]. Degrees: 33 over 22, so DIVIDE first: 2t3=(t2−t−2)(2t+2)+(6t+4)2t^3 = (t^2 - t - 2)(2t + 2) + (6t + 4), that is 2t3t2−t−2=2t+2+6t+4(t−2)(t+1)\frac{2t^3}{t^2 - t - 2} = 2t + 2 + \frac{6t + 4}{(t-2)(t+1)}. Then split: 6t+4(t−2)(t+1)=At−2+Bt+1\frac{6t + 4}{(t-2)(t+1)} = \frac{A}{t-2} + \frac{B}{t+1} with A=163A = \frac{16}{3} (cover up at t=2t = 2) and B=−2−3=23B = \frac{-2}{-3} = \frac{2}{3} (at t=−1t = -1). So the value is [t2+2t+163ln⁡(t−2)+23ln⁡(t+1)]34=(24−15)+163ln⁡2+23ln⁡54=9+4ln⁡2+23ln⁡5\left[t^2 + 2t + \frac{16}{3}\ln(t - 2) + \frac{2}{3}\ln(t + 1)\right]_3^4 = (24 - 15) + \frac{16}{3}\ln 2 + \frac{2}{3}\ln\frac{5}{4} = 9 + 4\ln 2 + \frac{2}{3}\ln 5, using 23ln⁡54=23ln⁡5−43ln⁡2\frac{2}{3}\ln\frac{5}{4} = \frac{2}{3}\ln 5 - \frac{4}{3}\ln 2. Three techniques in a row, and skipping the division is the classic slip: the right side of a decomposition never produces the polynomial part 2t+22t + 2.

b) The roots have indices 22 and 33, and their least common multiple is 66: set t=x1/6t = x^{1/6}, so x=t6x = t^6, x=t3\sqrt{x} = t^3, x3=t2\sqrt[3]{x} = t^2 and dx=6t5 dtdx = 6t^5\,dt. Bounds: 1↦11 \mapsto 1 and 64↦264 \mapsto 2, since 26=642^6 = 64. The integral becomes ∫126t5t3+t2 dt=6∫12t3t+1 dt\int_1^2 \frac{6t^5}{t^3 + t^2}\,dt = 6\int_1^2 \frac{t^3}{t+1}\,dt after cancelling t2t^2. Degree 33 over degree 11: long division gives t3t+1=t2−t+1−1t+1\frac{t^3}{t+1} = t^2 - t + 1 - \frac{1}{t+1}. So the value is [2t3−3t2+6t−6ln⁡(t+1)]12=(16−12+12−6ln⁡3)−(2−3+6−6ln⁡2)=11−6ln⁡3+6ln⁡2=11+6ln⁡23\left[2t^3 - 3t^2 + 6t - 6\ln(t+1)\right]_1^2 = (16 - 12 + 12 - 6\ln 3) - (2 - 3 + 6 - 6\ln 2) = 11 - 6\ln 3 + 6\ln 2 = 11 + 6\ln\frac{2}{3}. Plausibility: 6ln⁡23≈6(0.69−1.10)≈−2.46\ln\frac{2}{3} \approx 6(0.69 - 1.10) \approx -2.4, so about 8.68.6; the integrand falls from 12\frac{1}{2} to 112\frac{1}{12} over an interval of length 6363, so the value lies between 5.255.25 and 31.531.5. It does.

c) Substitution t=ext = e^x, dx=dttdx = \frac{dt}{t}, bounds 0↦10 \mapsto 1 and ln⁡2↦2\ln 2 \mapsto 2. The integral becomes ∫12t3t2+5t+6⋅dtt=∫12t2(t+2)(t+3) dt\int_1^2 \frac{t^3}{t^2 + 5t + 6}\cdot\frac{dt}{t} = \int_1^2 \frac{t^2}{(t+2)(t+3)}\,dt. Degrees 22 and 22: divide, t2t2+5t+6=1−5t+6(t+2)(t+3)\frac{t^2}{t^2 + 5t + 6} = 1 - \frac{5t + 6}{(t+2)(t+3)}. Split: 5t+6(t+2)(t+3)=At+2+Bt+3\frac{5t + 6}{(t+2)(t+3)} = \frac{A}{t+2} + \frac{B}{t+3} with A=−41=−4A = \frac{-4}{1} = -4 and B=−9−1=9B = \frac{-9}{-1} = 9. So the integrand is 1+4t+2−9t+31 + \frac{4}{t+2} - \frac{9}{t+3} and the value is [t+4ln⁡(t+2)−9ln⁡(t+3)]12=1+4ln⁡43−9ln⁡54\left[t + 4\ln(t+2) - 9\ln(t+3)\right]_1^2 = 1 + 4\ln\frac{4}{3} - 9\ln\frac{5}{4}. Plausibility: the integrand grows from 112\frac{1}{12} at x=0x = 0 to 820=25\frac{8}{20} = \frac{2}{5} at x=ln⁡2x = \ln 2, so the value lies between ln⁡212≈0.06\frac{\ln 2}{12} \approx 0.06 and 25ln⁡2≈0.28\frac{2}{5}\ln 2 \approx 0.28. The exact value is a small difference of larger terms, about 0.140.14, and two-decimal logarithms are too coarse to confirm it; the check that protects the answer here is on the decomposition itself, for instance at t=0t = 0: 1+42−93=01 + \frac{4}{2} - \frac{9}{3} = 0, which is indeed 022⋅3\frac{0^2}{2 \cdot 3}.

d) With t=xt = \sqrt{x} in b), x3=t2/3\sqrt[3]{x} = t^{2/3}: the integrand is still not rational, and the substitution has bought nothing. The LCM of ALL the indices is the one that clears every root. In c), the factor 1t\frac{1}{t} coming from dx=dttdx = \frac{dt}{t} was dropped: the student is integrating a different function, of degree 33 over 22, which needs a longer division and gives a wrong number. Writing dxdx in terms of dtdt on its own line before substituting is the gesture that prevents both.

e) On [9,16][9, 16] the integrand falls from 99−3−2=94\frac{9}{9 - 3 - 2} = \frac{9}{4} at x=9x = 9 to 1616−4−2=85\frac{16}{16 - 4 - 2} = \frac{8}{5} at x=16x = 16. The interval has length 77, so the integral lies between 7⋅85=11.27 \cdot \frac{8}{5} = 11.2 and 7⋅94=15.757 \cdot \frac{9}{4} = 15.75. And 9+4ln⁡2+23ln⁡5≈9+2.77+1.07=12.849 + 4\ln 2 + \frac{2}{3}\ln 5 \approx 9 + 2.77 + 1.07 = 12.84, inside the bracket. Dropping the polynomial part 2t+22t + 2 of the division, a very common slip, would remove the 99 and give about 3.83.8, far outside.

Exercise 5: Three families of lookalikes: same shape, different tools

The integrals below come in three families of three. Inside a family they look almost identical, and they call for different tools, or for none at all. This is the gesture the chapter trains: before writing anything, say in one line what the first move is and WHY.

For each integral: name the first move in one line, then evaluate it exactly. You may use the following fact, proved in more advanced courses: ex2e^{x^2} has no elementary antiderivative. The figure shows the region measured by the last integral of family b).

-0.50.511.522.5-0.50.511.522.5y = √(4 − x²)
  • a) ∫01xex2 dx\displaystyle\int_0^1 xe^{x^2}\,dx, ∫01x3ex2 dx\displaystyle\int_0^1 x^3e^{x^2}\,dx and ∫01ex2 dx\displaystyle\int_0^1 e^{x^2}\,dx (for the last one, give the best bounds you can from the monotonicity of the integrand).
  • b) ∫01x dx4−x2\displaystyle\int_0^1 \frac{x\,dx}{\sqrt{4-x^2}}, ∫01dx4−x2\displaystyle\int_0^1 \frac{dx}{\sqrt{4-x^2}} and ∫014−x2 dx\displaystyle\int_0^1 \sqrt{4-x^2}\,dx.
  • c) ∫1eln⁡xx dx\displaystyle\int_1^e \frac{\ln x}{x}\,dx, ∫1eln⁡xx2 dx\displaystyle\int_1^e \frac{\ln x}{x^2}\,dx and ∫ee2dxxln⁡x\displaystyle\int_e^{e^2} \frac{dx}{x\ln x}.
  • d) State the single question that separates the three members of family a), and apply it to family c).
Show the solution

Answers

  • a) e−12\frac{e-1}{2}; 12\frac{1}{2}; no elementary antiderivative, 1≤∫01ex2 dx≤e1 \le \int_0^1 e^{x^2}\,dx \le e
  • b) 2−32 - \sqrt{3}; π6\frac{\pi}{6}; π3+32\frac{\pi}{3} + \frac{\sqrt{3}}{2}
  • c) 12\frac{1}{2}; 1−2e1 - \frac{2}{e}; ln⁡2\ln 2
  • d) Is the derivative of the inner function a factor of the integrand, and what is left over?

a) First: u=x2u = x^2, because du=2x dxdu = 2x\,dx and the factor xx is present. ∫01xex2 dx=12∫01eu du=e−12\int_0^1 xe^{x^2}\,dx = \frac{1}{2}\int_0^1 e^u\,du = \frac{e - 1}{2}. Second: the same u=x2u = x^2, writing x3 dx=x2⋅x dx=u⋅du2x^3\,dx = x^2 \cdot x\,dx = u\cdot\frac{du}{2}; what is left, 12∫01ueu du\frac{1}{2}\int_0^1 ue^u\,du, is a product, so integrate by parts, differentiating the polynomial factor uu and integrating eue^u: ∫ueu du=ueu−∫eu du=(u−1)eu\int ue^u\,du = ue^u - \int e^u\,du = (u-1)e^u, and the value is 12[(u−1)eu]01=12(0+1)=12\frac{1}{2}\left[(u-1)e^u\right]_0^1 = \frac{1}{2}(0 + 1) = \frac{1}{2}. Third: no factor xx, so no substitution, and parts only trades it for something worse. The antiderivative is not elementary, yet the integral EXISTS, since ex2e^{x^2} is continuous on [0,1][0, 1]. The integrand increases from 11 to ee there, so 1≤∫01ex2 dx≤e1 \le \int_0^1 e^{x^2}\,dx \le e. Exercise 7 sharpens this bracket.

b) First: u=4−x2u = 4 - x^2, du=−2x dxdu = -2x\,dx, and the factor xx is present: ∫01x dx4−x2=[−4−x2]01=−3+2=2−3\int_0^1 \frac{x\,dx}{\sqrt{4-x^2}} = \left[-\sqrt{4 - x^2}\right]_0^1 = -\sqrt{3} + 2 = 2 - \sqrt{3}. Second: no factor xx, but the form 1a2−x2\frac{1}{\sqrt{a^2 - x^2}} is in the table: [arcsin⁡x2]01=arcsin⁡12=π6\left[\arcsin\frac{x}{2}\right]_0^1 = \arcsin\frac{1}{2} = \frac{\pi}{6}. Third: the root is now in the NUMERATOR, neither trick applies, and the tool is the trigonometric substitution x=2sin⁡θx = 2\sin\theta. Faster still is the GEOMETRY of the figure: the region under the circle x2+y2=4x^2 + y^2 = 4 between x=0x = 0 and x=1x = 1 splits into a triangle TT with vertices (0,0)(0,0), (1,0)(1,0), (1,3)(1,\sqrt{3}), of area 32\frac{\sqrt{3}}{2}, and a sector SS of radius 22 between the directions of 60∘60^\circ and 90∘90^\circ, of angle π6\frac{\pi}{6} and area 12⋅4⋅π6=π3\frac{1}{2}\cdot 4\cdot\frac{\pi}{6} = \frac{\pi}{3}. Total π3+32\frac{\pi}{3} + \frac{\sqrt{3}}{2}, which the substitution confirms: [x24−x2+2arcsin⁡x2]01=32+π3\left[\frac{x}{2}\sqrt{4-x^2} + 2\arcsin\frac{x}{2}\right]_0^1 = \frac{\sqrt{3}}{2} + \frac{\pi}{3}.

c) First: u=ln⁡xu = \ln x, du=dxxdu = \frac{dx}{x}: ∫01u du=12\int_0^1 u\,du = \frac{1}{2}. Second: the 1x\frac{1}{x} is there, but a second 1x\frac{1}{x} is left over, and it is not a function of ln⁡x\ln x unless one writes it e−ue^{-u}. The direct route is parts, with u=ln⁡xu = \ln x (the factor that simplifies when differentiated) and dv=dxx2dv = \frac{dx}{x^2}, v=−1xv = -\frac{1}{x}: [−ln⁡xx]1e+∫1edxx2=−1e+(1−1e)=1−2e\left[-\frac{\ln x}{x}\right]_1^e + \int_1^e \frac{dx}{x^2} = -\frac{1}{e} + \left(1 - \frac{1}{e}\right) = 1 - \frac{2}{e}. Third: u=ln⁡xu = \ln x again, bounds e↦1e \mapsto 1 and e2↦2e^2 \mapsto 2: ∫12duu=ln⁡2\int_1^2 \frac{du}{u} = \ln 2. The first and third are both substitutions, but the first gives a power of uu and the third a logarithm: once substituted, the form decides again.

d) The question: what is the derivative of the piece that makes the integrand hard, and is it a FACTOR of the integrand, with what left over? In family a) the hard piece is x2x^2 inside the exponential, with derivative 2x2x. Exactly present: substitution alone. Present with x2x^2 left over: substitution, then parts. Absent: no elementary route. In family c) the hard piece is ln⁡x\ln x, with derivative 1x\frac{1}{x}: present in the first and the third, so substitution; present in the second too, but with a second 1x\frac{1}{x} left over that the substitution does not absorb, so parts. Asking this question before choosing is what the marker rewards: the first line of a correct solution names the choice.

-0.50.511.522.5-0.50.511.522.5y = √(4 − x²)ST(1, √3)

Part B: problems and reasoning (/50)

Exercise 6: One integral, three routes: find the short one

The integral I=∫01/21−x1+x dxI = \displaystyle\int_0^{1/2} \sqrt{\frac{1-x}{1+x}}\,dx can be attacked in at least three ways, and they do not cost the same. The shaded region of the figure is the area that II measures; the two dashed boxes are there for part e).

All three routes must give the same number. The point of the exercise is to see why one of them takes four lines and another a full page.

0.250.50.7510.250.50.7511.25y = √((1 − x)/(1 + x))height 1height 1/√3x
  • a) Route 1, the conjugate: multiply the numerator and the denominator under the root by 1−x1 - x. Justify every step (in particular what happens to (1−x)2\sqrt{(1-x)^2} on the interval), then evaluate II.
  • b) Route 2, a trigonometric substitution: set x=sin⁡θx = \sin\theta. Show that the integrand times dxdx becomes (1−sin⁡θ) dθ(1 - \sin\theta)\,d\theta, then evaluate II again.
  • c) Route 3, the rationalizing substitution t=1−x1+xt = \sqrt{\frac{1-x}{1+x}}. Express xx and dxdx in terms of tt, write the new integral with its bounds, and explain why you would not choose this route on an exam.
  • d) Check the antiderivative found in a) by differentiating it.
  • e) Use the two dashed boxes of the figure to bracket II, and check your exact value against the bracket without a calculator.
Show the solution

Answers

  • a) I=π6+32−1I = \frac{\pi}{6} + \frac{\sqrt{3}}{2} - 1, antiderivative arcsin⁡x+1−x2\arcsin x + \sqrt{1-x^2}
  • b) [θ+cos⁡θ]0π/6=π6+32−1\left[\theta + \cos\theta\right]_0^{\pi/6} = \frac{\pi}{6} + \frac{\sqrt{3}}{2} - 1
  • c) I=∫1/314t2(1+t2)2 dtI = \int_{1/\sqrt{3}}^{1} \frac{4t^2}{(1+t^2)^2}\,dt: a repeated irreducible quadratic, then a second substitution.
  • d) 11−x2−x1−x2=1−x1−x2=1−x1+x\frac{1}{\sqrt{1-x^2}} - \frac{x}{\sqrt{1-x^2}} = \frac{1-x}{\sqrt{1-x^2}} = \sqrt{\frac{1-x}{1+x}}
  • e) 123≈0.29≤I≈0.39≤0.5\frac{1}{2\sqrt{3}} \approx 0.29 \le I \approx 0.39 \le 0.5

a) On [0,12][0, \frac{1}{2}] both 1−x1 - x and 1+x1 + x are positive. Multiply under the root by 1−x1−x\frac{1-x}{1-x}: 1−x1+x=(1−x)2(1+x)(1−x)=(1−x)21−x2=∣1−x∣1−x2=1−x1−x2\sqrt{\frac{1-x}{1+x}} = \sqrt{\frac{(1-x)^2}{(1+x)(1-x)}} = \frac{\sqrt{(1-x)^2}}{\sqrt{1-x^2}} = \frac{|1-x|}{\sqrt{1-x^2}} = \frac{1-x}{\sqrt{1-x^2}}, the absolute value dropping because 1−x>01 - x > 0. Now SPLIT the numerator: 11−x2−x1−x2\frac{1}{\sqrt{1-x^2}} - \frac{x}{\sqrt{1-x^2}}. The first piece is in the table, arcsin⁡x\arcsin x; the second is the substitution u=1−x2u = 1 - x^2 of exercise 5, with antiderivative −1−x2-\sqrt{1-x^2}. So ∫1−x1+x dx=arcsin⁡x+1−x2+C\int \sqrt{\frac{1-x}{1+x}}\,dx = \arcsin x + \sqrt{1-x^2} + C and I=(π6+32)−(0+1)=π6+32−1I = \left(\frac{\pi}{6} + \frac{\sqrt{3}}{2}\right) - (0 + 1) = \frac{\pi}{6} + \frac{\sqrt{3}}{2} - 1. Four lines, and every one of them is a simplification, not a technique.

b) With x=sin⁡θx = \sin\theta, θ∈[0,π6]\theta \in [0, \frac{\pi}{6}], dx=cos⁡θ dθdx = \cos\theta\,d\theta. Then 1−sin⁡θ1+sin⁡θ=(1−sin⁡θ)2(1+sin⁡θ)(1−sin⁡θ)=(1−sin⁡θ)2cos⁡2θ\frac{1 - \sin\theta}{1 + \sin\theta} = \frac{(1-\sin\theta)^2}{(1+\sin\theta)(1-\sin\theta)} = \frac{(1 - \sin\theta)^2}{\cos^2\theta}, whose square root is 1−sin⁡θcos⁡θ\frac{1 - \sin\theta}{\cos\theta} because 1−sin⁡θ≥01 - \sin\theta \ge 0 and cos⁡θ>0\cos\theta > 0 on this interval. Multiplying by dx=cos⁡θ dθdx = \cos\theta\,d\theta leaves (1−sin⁡θ) dθ(1 - \sin\theta)\,d\theta. Bounds: x=0↦θ=0x = 0 \mapsto \theta = 0, x=12↦θ=π6x = \frac{1}{2} \mapsto \theta = \frac{\pi}{6}. So I=[θ+cos⁡θ]0π/6=π6+32−1I = \left[\theta + \cos\theta\right]_0^{\pi/6} = \frac{\pi}{6} + \frac{\sqrt{3}}{2} - 1. Same value, and in fact the same computation: the conjugate of route 1 is hidden inside the identity 1−sin⁡2θ=cos⁡2θ1 - \sin^2\theta = \cos^2\theta. Route 2 is a fine choice when the conjugate does not come to mind.

c) From t2=1−x1+xt^2 = \frac{1-x}{1+x}: t2+t2x=1−xt^2 + t^2x = 1 - x, so x=1−t21+t2x = \frac{1-t^2}{1+t^2} and, by the quotient rule, dx=−2t(1+t2)−(1−t2)2t(1+t2)2 dt=−4t(1+t2)2 dtdx = \frac{-2t(1+t^2) - (1-t^2)2t}{(1+t^2)^2}\,dt = \frac{-4t}{(1+t^2)^2}\,dt. Bounds: x=0↦t=1x = 0 \mapsto t = 1, x=12↦t=13x = \frac{1}{2} \mapsto t = \frac{1}{\sqrt{3}}. So I=∫11/3t⋅−4t(1+t2)2 dt=∫1/314t2(1+t2)2 dtI = \int_1^{1/\sqrt{3}} t\cdot\frac{-4t}{(1+t^2)^2}\,dt = \int_{1/\sqrt{3}}^{1} \frac{4t^2}{(1+t^2)^2}\,dt. The integrand is rational, but its denominator is a REPEATED irreducible quadratic: partial fractions give 41+t2−4(1+t2)2\frac{4}{1+t^2} - \frac{4}{(1+t^2)^2}, and the second piece needs yet another substitution, t=tan⁡φt = \tan\varphi. It works, and it is a page long. The lesson is not that rationalizing is wrong, it is that it should be the LAST resort once simplification and the standard forms have been tried.

d) ddx(arcsin⁡x+1−x2)=11−x2+−2x21−x2=1−x1−x2\frac{d}{dx}\left(\arcsin x + \sqrt{1-x^2}\right) = \frac{1}{\sqrt{1-x^2}} + \frac{-2x}{2\sqrt{1-x^2}} = \frac{1-x}{\sqrt{1-x^2}}. And for −1<x<1-1 < x < 1, 1−x1−x2=1−x1−x1−x1+x=1−x1+x\frac{1-x}{\sqrt{1-x^2}} = \frac{\sqrt{1-x}\sqrt{1-x}}{\sqrt{1-x}\sqrt{1+x}} = \sqrt{\frac{1-x}{1+x}}. The antiderivative is confirmed, on the whole interval (−1,1)(-1, 1) and not only on [0,12][0, \frac{1}{2}].

e) The integrand decreases on [0,12][0, \frac{1}{2}]: its value at 00 is 11 and at 12\frac{1}{2} it is 1/23/2=13\sqrt{\frac{1/2}{3/2}} = \frac{1}{\sqrt{3}}. The region therefore sits above the lower box of height 13\frac{1}{\sqrt{3}} and below the upper box of height 11, both of width 12\frac{1}{2}: 123≤I≤12\frac{1}{2\sqrt{3}} \le I \le \frac{1}{2}, that is about 0.29≤I≤0.50.29 \le I \le 0.5. With π≈3.14\pi \approx 3.14 and 3≈1.73\sqrt{3} \approx 1.73: I≈0.523+0.865−1=0.388I \approx 0.523 + 0.865 - 1 = 0.388. Inside the bracket. A sign slip in route 1, giving π6−32+1≈0.66\frac{\pi}{6} - \frac{\sqrt{3}}{2} + 1 \approx 0.66, would land outside it.

Exercise 7: No elementary antiderivative: recognise it, then work around it

Some integrands have no antiderivative that can be written with the usual functions (powers, roots, exponentials, logarithms, trigonometric functions and their inverses, combined by the four operations and composition). You may use without proof that this is the case for ex2e^{x^2}, e−x2e^{-x^2}, sin⁡(x2)\sin(x^2), exx\frac{e^x}{x} and 1ln⁡x\frac{1}{\ln x}.

Recognising such an integral saves the time you would lose trying every technique on it. And it does not end the question: the definite integral still exists, it can be bounded, and sometimes two non-elementary pieces cancel. The figure shows ex2e^{x^2} on [0,1][0, 1] with two simpler curves.

0.250.50.7511.251.50.511.522.53(1, e)y = 1 + x²chord: y = 1 + (e − 1)x²x
  • a) Which of these have an elementary antiderivative? Give it when it exists. (i) ∫xsin⁡(x2) dx\int x\sin(x^2)\,dx (ii) ∫sin⁡(x2) dx\int \sin(x^2)\,dx (iii) ∫exx dx\int \frac{e^x}{x}\,dx (iv) ∫(x−1)exx2 dx\int \frac{(x-1)e^x}{x^2}\,dx (v) ∫dxln⁡x\int \frac{dx}{\ln x} (vi) ∫e1/xx2 dx\int \frac{e^{1/x}}{x^2}\,dx
  • b) Integrate by parts ONE of the two terms of ∫(1+2x2)ex2 dx\int (1 + 2x^2)e^{x^2}\,dx to show that the non-elementary pieces cancel. Deduce ∫01(1+2x2)ex2 dx\int_0^1 (1 + 2x^2)e^{x^2}\,dx.
  • c) Same idea: evaluate ∫2e(1ln⁡x−1(ln⁡x)2)dx\displaystyle\int_2^{e} \left(\frac{1}{\ln x} - \frac{1}{(\ln x)^2}\right)dx and explain the sign of the result.
  • d) Using eu≥1+ue^u \ge 1 + u for all uu, and the fact that on [0,1][0, 1] the convex function eue^u lies below its chord 1+(e−1)u1 + (e-1)u, show that 43≤∫01ex2 dx≤e+23\frac{4}{3} \le \int_0^1 e^{x^2}\,dx \le \frac{e + 2}{3}.
  • e) A student concludes from (iii) that ∫12exx dx\int_1^2 \frac{e^x}{x}\,dx does not exist. Correct him, and compute ddx∫1x2ett dt\frac{d}{dx}\int_1^{x^2} \frac{e^t}{t}\,dt.
Show the solution

Answers

  • a) (i) −12cos⁡(x2)-\frac{1}{2}\cos(x^2); (ii) none; (iii) none; (iv) exx\frac{e^x}{x}; (v) none; (vi) −e1/x-e^{1/x}
  • b) ∫(1+2x2)ex2 dx=xex2+C\int (1+2x^2)e^{x^2}\,dx = xe^{x^2} + C; the value is ee.
  • c) e−2ln⁡2e - \frac{2}{\ln 2}, negative because ln⁡x<1\ln x < 1 on [2,e)[2, e)
  • d) 43≤∫01ex2 dx≤e+23≈1.57\frac{4}{3} \le \int_0^1 e^{x^2}\,dx \le \frac{e+2}{3} \approx 1.57
  • e) It exists (continuous integrand); ddx∫1x2ett dt=2ex2x\frac{d}{dx}\int_1^{x^2}\frac{e^t}{t}\,dt = \frac{2e^{x^2}}{x}

a) (i) The factor xx is half the derivative of x2x^2: u=x2u = x^2 gives −12cos⁡(x2)+C-\frac{1}{2}\cos(x^2) + C. (ii) The same composition without the factor xx: no elementary antiderivative, and no technique will find one. (iii) None, it is on the list. (iv) It LOOKS like (iii) made worse, yet ddxexx=xex−exx2=(x−1)exx2\frac{d}{dx}\frac{e^x}{x} = \frac{xe^x - e^x}{x^2} = \frac{(x-1)e^x}{x^2}: the antiderivative is exx+C\frac{e^x}{x} + C. Splitting it into exx−exx2\frac{e^x}{x} - \frac{e^x}{x^2} would produce two non-elementary pieces that happen to combine, which is exactly the phenomenon of b). (v) None, on the list. (vi) u=1xu = \frac{1}{x}, du=−dxx2du = -\frac{dx}{x^2}: −e1/x+C-e^{1/x} + C. The test is again the derivative of the inner function: x2x^2 has derivative 2x2x, present in (i) and absent in (ii); 1x\frac{1}{x} has derivative −1x2-\frac{1}{x^2}, present in (vi).

b) Split: ∫(1+2x2)ex2 dx=∫ex2 dx+∫2x2ex2 dx\int (1 + 2x^2)e^{x^2}\,dx = \int e^{x^2}\,dx + \int 2x^2e^{x^2}\,dx. In the second, write 2x2ex2=x⋅2xex22x^2e^{x^2} = x\cdot 2xe^{x^2} and integrate by parts with u=xu = x, dv=2xex2 dxdv = 2xe^{x^2}\,dx, so du=dxdu = dx and v=ex2v = e^{x^2}: ∫2x2ex2 dx=xex2−∫ex2 dx\int 2x^2e^{x^2}\,dx = xe^{x^2} - \int e^{x^2}\,dx. Adding, the two copies of ∫ex2 dx\int e^{x^2}\,dx cancel: ∫(1+2x2)ex2 dx=xex2+C\int (1 + 2x^2)e^{x^2}\,dx = xe^{x^2} + C. Check: ddxxex2=ex2+2x2ex2\frac{d}{dx}xe^{x^2} = e^{x^2} + 2x^2e^{x^2}. So ∫01(1+2x2)ex2 dx=[xex2]01=e\int_0^1 (1 + 2x^2)e^{x^2}\,dx = \left[xe^{x^2}\right]_0^1 = e. Never write ∫ex2 dx\int e^{x^2}\,dx and stop: carry it as an unevaluated symbol, it may cancel.

c) Integrate ∫dxln⁡x\int \frac{dx}{\ln x} by parts with u=1ln⁡xu = \frac{1}{\ln x}, dv=dxdv = dx: du=−1(ln⁡x)2⋅1x dxdu = -\frac{1}{(\ln x)^2}\cdot\frac{1}{x}\,dx and v=xv = x, so ∫dxln⁡x=xln⁡x+∫dx(ln⁡x)2\int \frac{dx}{\ln x} = \frac{x}{\ln x} + \int \frac{dx}{(\ln x)^2}. Subtracting ∫dx(ln⁡x)2\int \frac{dx}{(\ln x)^2} from both sides: ∫(1ln⁡x−1(ln⁡x)2)dx=xln⁡x+C\int \left(\frac{1}{\ln x} - \frac{1}{(\ln x)^2}\right)dx = \frac{x}{\ln x} + C. The interval [2,e][2, e] avoids x=1x = 1, where ln⁡x=0\ln x = 0. Value: eln⁡e−2ln⁡2=e−2ln⁡2\frac{e}{\ln e} - \frac{2}{\ln 2} = e - \frac{2}{\ln 2}. Sign: on [2,e)[2, e), 0<ln⁡x<10 < \ln x < 1, so (ln⁡x)2<ln⁡x(\ln x)^2 < \ln x and 1ln⁡x<1(ln⁡x)2\frac{1}{\ln x} < \frac{1}{(\ln x)^2}; the integrand is negative and so is the value, e−2ln⁡2≈2.72−20.69≈−0.17e - \frac{2}{\ln 2} \approx 2.72 - \frac{2}{0.69} \approx -0.17.

d) Lower bound: with u=x2u = x^2, ex2≥1+x2e^{x^2} \ge 1 + x^2, the dashed curve of the figure, so ∫01ex2 dx≥∫01(1+x2) dx=1+13=43\int_0^1 e^{x^2}\,dx \ge \int_0^1 (1 + x^2)\,dx = 1 + \frac{1}{3} = \frac{4}{3}. Upper bound: for x∈[0,1]x \in [0, 1], u=x2∈[0,1]u = x^2 \in [0, 1] and ex2≤1+(e−1)x2e^{x^2} \le 1 + (e - 1)x^2, the chord curve, which meets ex2e^{x^2} at x=0x = 0 and x=1x = 1. So ∫01ex2 dx≤1+e−13=e+23≈1.57\int_0^1 e^{x^2}\,dx \le 1 + \frac{e - 1}{3} = \frac{e + 2}{3} \approx 1.57. The bracket [1.33,1.57][1.33, 1.57] is much sharper than the crude [1,e][1, e] of exercise 5, and it uses nothing but comparison of integrals: this is what can still be said about a non-elementary integral in MATH 141 without series, which come later in the course.

e) The integrand exx\frac{e^x}{x} is continuous on [1,2][1, 2], so the definite integral EXISTS: it is a perfectly good number, the area under the curve. What does not exist is a closed-form expression for it. The function F(x)=∫1xett dtF(x) = \int_1^x \frac{e^t}{t}\,dt is well defined for x>0x > 0 and, by the Fundamental Theorem, F′(x)=exxF'(x) = \frac{e^x}{x}. With the chain rule, ddx∫1x2ett dt=ex2x2⋅2x=2ex2x\frac{d}{dx}\int_1^{x^2}\frac{e^t}{t}\,dt = \frac{e^{x^2}}{x^2}\cdot 2x = \frac{2e^{x^2}}{x}. Not elementary never means not integrable.

Exercise 8: Five statements to correct

Each statement below was written on a real exam paper and each one is false, or reaches a false conclusion. For each: say precisely what is wrong, give the correct result, and name the check that would have caught the error before the paper was handed in.

  • a) ∫xx4+1 dx=14ln⁡(x4+1)+C\int \frac{x}{x^4 + 1}\,dx = \frac{1}{4}\ln(x^4 + 1) + C, by the substitution u=x4+1u = x^4 + 1.
  • b) ∫ex2 dx=ex22x+C\int e^{x^2}\,dx = \frac{e^{x^2}}{2x} + C, since the derivative of x2x^2 is 2x2x.
  • c) ∫02π1−cos⁡2x dx=∫02π2sin⁡2x dx=2∫02πsin⁡x dx=0\int_0^{2\pi} \sqrt{1 - \cos 2x}\,dx = \int_0^{2\pi} \sqrt{2\sin^2 x}\,dx = \sqrt{2}\int_0^{2\pi} \sin x\,dx = 0.
  • d) With t=xt = \sqrt{x}: ∫04ex dx=∫042tet dt=2[(t−1)et]04=6e4+2\int_0^4 e^{\sqrt{x}}\,dx = \int_0^4 2te^t\,dt = 2\left[(t-1)e^t\right]_0^4 = 6e^4 + 2.
  • e) ∫x3x4+1 dx\int \frac{x^3}{x^4 + 1}\,dx needs partial fractions, since the denominator has degree 44: first factor x4+1=(x2+2x+1)(x2−2x+1)x^4 + 1 = (x^2 + \sqrt{2}x + 1)(x^2 - \sqrt{2}x + 1).
Show the solution

Answers

  • a) 12arctan⁡(x2)+C\frac{1}{2}\arctan(x^2) + C
  • b) No elementary antiderivative; ddxex22x=ex2−ex22x2\frac{d}{dx}\frac{e^{x^2}}{2x} = e^{x^2} - \frac{e^{x^2}}{2x^2}.
  • c) 2sin⁡2x=2 ∣sin⁡x∣\sqrt{2\sin^2 x} = \sqrt{2}\,|\sin x|; the value is 424\sqrt{2}.
  • d) The bounds become 00 and 22: the value is 2(e2+1)2(e^2 + 1).
  • e) The numerator is a quarter of the derivative of the denominator: 14ln⁡(x4+1)+C\frac{1}{4}\ln(x^4 + 1) + C.

a) The substitution u=x4+1u = x^4 + 1 requires du=4x3 dxdu = 4x^3\,dx, and the integrand only carries x dxx\,dx: the factor x2x^2 is missing, so the logarithm form ∫g′g=ln⁡∣g∣\int \frac{g'}{g} = \ln|g| does not apply. The piece whose derivative IS present is x2x^2, since x dxx\,dx is half of d(x2)d(x^2), and x4=(x2)2x^4 = (x^2)^2. With u=x2u = x^2, du=2x dxdu = 2x\,dx, the integral becomes 12∫duu2+1=12arctan⁡u+C=12arctan⁡(x2)+C\frac{1}{2}\int \frac{du}{u^2 + 1} = \frac{1}{2}\arctan u + C = \frac{1}{2}\arctan(x^2) + C. The check: differentiate the proposed answer. ddx14ln⁡(x4+1)=x3x4+1\frac{d}{dx}\frac{1}{4}\ln(x^4 + 1) = \frac{x^3}{x^4 + 1}, not the integrand; that answer belongs to the integral of e), a lookalike that differs by the power in the numerator.

b) Dividing by the derivative of the inner function is not a rule of integration: it only works when that derivative is a CONSTANT, as in ∫e3x dx=e3x3\int e^{3x}\,dx = \frac{e^{3x}}{3}. Differentiating the proposed answer by the quotient rule gives 2x⋅2xex2−2ex24x2=ex2−ex22x2\frac{2x\cdot 2xe^{x^2} - 2e^{x^2}}{4x^2} = e^{x^2} - \frac{e^{x^2}}{2x^2}, which is not ex2e^{x^2}. In fact ex2e^{x^2} has no elementary antiderivative at all: the correct response on an exam is to say so, and, if a definite integral is asked, to bound it (exercise 7).

c) 1−cos⁡2x=2sin⁡2x1 - \cos 2x = 2\sin^2 x is right, but sin⁡2x=∣sin⁡x∣\sqrt{\sin^2 x} = |\sin x|, not sin⁡x\sin x. On [π,2π][\pi, 2\pi], sin⁡x≤0\sin x \le 0, and the error flips the sign of the whole second half. Correct computation: 2∫02π∣sin⁡x∣ dx=2(∫0πsin⁡x dx−∫π2πsin⁡x dx)=2(2+2)=42\sqrt{2}\int_0^{2\pi}|\sin x|\,dx = \sqrt{2}\left(\int_0^{\pi}\sin x\,dx - \int_{\pi}^{2\pi}\sin x\,dx\right) = \sqrt{2}(2 + 2) = 4\sqrt{2}. The check that catches it is immediate: the integrand is a square root, so it is never negative, and it is not identically zero, so its integral must be POSITIVE. The figure of the solution shows the two humps of 2∣sin⁡x∣\sqrt{2}|\sin x| against the dashed arch of 2sin⁡x\sqrt{2}\sin x that goes below the axis.

d) The substitution changed the variable but not the bounds: t=xt = \sqrt{x} runs from 0=0\sqrt{0} = 0 to 4=2\sqrt{4} = 2, not to 44. Correct: ∫04ex dx=∫022tet dt=2[(t−1)et]02=2(e2+1)\int_0^4 e^{\sqrt{x}}\,dx = \int_0^2 2te^t\,dt = 2\left[(t-1)e^t\right]_0^2 = 2(e^2 + 1). Check: the integrand runs from 11 to e2≈7.4e^2 \approx 7.4 on an interval of length 44, so the value is at most 4e2≈29.64e^2 \approx 29.6; the proposed 6e4+2≈3306e^4 + 2 \approx 330 is about twenty times too big, whereas 2(e2+1)≈16.82(e^2 + 1) \approx 16.8 fits. Write the new bounds on the same line as the substitution, or go back to xx before evaluating: never a mixture of the two.

e) The integral does not NEED partial fractions, and reaching for them first is a costly mistake. Before any factorization, run the test of this chapter: the derivative of the denominator is 4x34x^3, and the numerator is x3x^3, a quarter of it. So u=x4+1u = x^4 + 1, du=4x3 dxdu = 4x^3\,dx and ∫x3x4+1 dx=14ln⁡(x4+1)+C\int \frac{x^3}{x^4 + 1}\,dx = \frac{1}{4}\ln(x^4 + 1) + C, one line, no absolute value since x4+1>0x^4 + 1 > 0. The factorization is correct, but it leads to a decomposition with four unknown constants, two logarithms and two arctangents that must all recombine into this single logarithm: half an hour of work and many chances to slip. Partial fractions are the LAST resort for a rational function, after simplification and after the test for g′g' over gg. Check: ddx14ln⁡(x4+1)=4x34(x4+1)\frac{d}{dx}\frac{1}{4}\ln(x^4 + 1) = \frac{4x^3}{4(x^4 + 1)}.

1234567-1.5-1-0.50.511.52√2 |sin x|√2 |sin x|√2 sin x

Exercise 9: A final exam question: four integrals, no technique announced

This is the format of the integration question on a MATH 141 final: a list of integrals, the instruction Evaluate, and nothing else. Two marks each for a) to d), and the marks go to the METHOD: a first line that names the move (the substitution with its dxdx and its bounds, or the choice of uu and dvdv), then the computation.

Work without a calculator. Each answer is an exact number.

  • a) ∫01ln⁡(1+x2) dx\displaystyle\int_0^1 \ln(1 + x^2)\,dx
  • b) ∫0ln⁡2e3xe2x+1 dx\displaystyle\int_0^{\ln 2} \frac{e^{3x}}{e^{2x} + 1}\,dx
  • c) ∫eeeln⁡(ln⁡x)x dx\displaystyle\int_e^{e^e} \frac{\ln(\ln x)}{x}\,dx
  • d) ∫0ln⁡2ex−1 dx\displaystyle\int_0^{\ln 2} \sqrt{e^x - 1}\,dx
  • e) Check b) by differentiating its antiderivative written in xx, and check d) with the size of its integrand.
Show the solution

Answers

  • a) ln⁡2−2+π2\ln 2 - 2 + \frac{\pi}{2}
  • b) 1+π4−arctan⁡21 + \frac{\pi}{4} - \arctan 2
  • c) 11
  • d) 2−π22 - \frac{\pi}{2}
  • e) ddx(ex−arctan⁡ex)=e3xe2x+1\frac{d}{dx}\left(e^x - \arctan e^x\right) = \frac{e^{3x}}{e^{2x}+1}; 0≤2−π2≈0.43≤ln⁡20 \le 2 - \frac{\pi}{2} \approx 0.43 \le \ln 2

a) First line: integration by parts, u=ln⁡(1+x2)u = \ln(1 + x^2) (it simplifies when differentiated, to a rational function) and dv=dxdv = dx, so du=2x1+x2 dxdu = \frac{2x}{1 + x^2}\,dx and v=xv = x. Then ∫01ln⁡(1+x2) dx=[xln⁡(1+x2)]01−∫012x21+x2 dx\int_0^1 \ln(1 + x^2)\,dx = \left[x\ln(1 + x^2)\right]_0^1 - \int_0^1 \frac{2x^2}{1 + x^2}\,dx. The new integrand has degrees 22 over 22: divide, 2x21+x2=2−21+x2\frac{2x^2}{1 + x^2} = 2 - \frac{2}{1 + x^2}. So the value is ln⁡2−[2x−2arctan⁡x]01=ln⁡2−2+π2\ln 2 - \left[2x - 2\arctan x\right]_0^1 = \ln 2 - 2 + \frac{\pi}{2}. Plausibility: the integrand grows from 00 to ln⁡2\ln 2 on an interval of length 11, and 0.69−2+1.57=0.260.69 - 2 + 1.57 = 0.26 lies between 00 and 0.690.69. The substitution u=1+x2u = 1 + x^2 is a trap here: its du=2x dxdu = 2x\,dx is not in the integrand.

b) First line: t=ext = e^x, dx=dttdx = \frac{dt}{t}, bounds 0↦10 \mapsto 1 and ln⁡2↦2\ln 2 \mapsto 2. Then e3xe2x+1 dx=t3t2+1⋅dtt=t2t2+1 dt\frac{e^{3x}}{e^{2x}+1}\,dx = \frac{t^3}{t^2 + 1}\cdot\frac{dt}{t} = \frac{t^2}{t^2 + 1}\,dt. Degrees are equal, so divide: t2t2+1=1−1t2+1\frac{t^2}{t^2+1} = 1 - \frac{1}{t^2+1}. Hence the value is [t−arctan⁡t]12=(2−arctan⁡2)−(1−π4)=1+π4−arctan⁡2\left[t - \arctan t\right]_1^2 = (2 - \arctan 2) - \left(1 - \frac{\pi}{4}\right) = 1 + \frac{\pi}{4} - \arctan 2. The answer contains arctan⁡2\arctan 2, which is not a standard angle: on a no-calculator exam it stays as it is. Leaving e3xe^{3x} unsimplified and trying u=e2x+1u = e^{2x} + 1 fails: du=2e2x dxdu = 2e^{2x}\,dx leaves an exe^x that must still be expressed through uu.

c) First line: t=ln⁡xt = \ln x, dt=dxxdt = \frac{dx}{x}, bounds e↦1e \mapsto 1 and ee↦ee^e \mapsto e. The integral becomes ∫1eln⁡t dt\int_1^e \ln t\,dt. Then parts with u=ln⁡tu = \ln t, dv=dtdv = dt, v=tv = t: ∫ln⁡t dt=tln⁡t−∫t⋅1t dt=tln⁡t−t\int \ln t\,dt = t\ln t - \int t\cdot\frac{1}{t}\,dt = t\ln t - t. So the value is [tln⁡t−t]1e=(e−e)−(0−1)=1\left[t\ln t - t\right]_1^e = (e - e) - (0 - 1) = 1. Two moves, substitution then parts, and the bounds ee↦ee^e \mapsto e are where most marks are lost: ln⁡(ee)=e\ln(e^e) = e, not ee−1e^{e-1} nor 11.

d) First line: the rationalizing substitution t=ex−1t = \sqrt{e^x - 1}, so ex=t2+1e^x = t^2 + 1, x=ln⁡(t2+1)x = \ln(t^2 + 1) and dx=2tt2+1 dtdx = \frac{2t}{t^2 + 1}\,dt; bounds 0↦00 \mapsto 0 and ln⁡2↦2−1=1\ln 2 \mapsto \sqrt{2 - 1} = 1. The integral becomes ∫01t⋅2tt2+1 dt=∫012t2t2+1 dt\int_0^1 t\cdot\frac{2t}{t^2 + 1}\,dt = \int_0^1 \frac{2t^2}{t^2+1}\,dt. Divide: 2t2t2+1=2−2t2+1\frac{2t^2}{t^2+1} = 2 - \frac{2}{t^2+1}. So the value is [2t−2arctan⁡t]01=2−π2\left[2t - 2\arctan t\right]_0^1 = 2 - \frac{\pi}{2}. Setting t=ext = e^x instead leaves t−1\sqrt{t - 1}: still a root, so the substitution must swallow the WHOLE root.

e) For b): the antiderivative in xx is ex−arctan⁡(ex)e^x - \arctan(e^x), and ddx(ex−arctan⁡ex)=ex−ex1+e2x=ex(1+e2x)−ex1+e2x=e3xe2x+1\frac{d}{dx}\left(e^x - \arctan e^x\right) = e^x - \frac{e^x}{1 + e^{2x}} = \frac{e^x(1 + e^{2x}) - e^x}{1 + e^{2x}} = \frac{e^{3x}}{e^{2x}+1}. For d): on [0,ln⁡2][0, \ln 2] the integrand ex−1\sqrt{e^x - 1} runs from 00 to 2−1=1\sqrt{2 - 1} = 1, so the value lies between 00 and ln⁡2≈0.69\ln 2 \approx 0.69; and 2−π2≈2−1.57=0.432 - \frac{\pi}{2} \approx 2 - 1.57 = 0.43 does. Had the division been forgotten, the answer 2ln⁡2≈1.392\ln 2 \approx 1.39 (from ∫2tt2+1\int \frac{2t}{t^2+1}, a very common wrong reading) would exceed the bound.

Exercise 10: Electric charge from a current: the formula is given, the technique is not

The charge QQ that passes through a cross-section of a wire between times aa and bb is the integral of the current: Q=∫abI(t) dtQ = \int_a^b I(t)\,dt. With II in milliamperes and tt in seconds, QQ is in millicoulombs (mC). A negative current means charge flowing the other way, so the integral gives the NET charge.

Three devices are tested. The integrals are what an engineer meets in practice: nobody tells you which technique applies. The figure shows the current IA(t)=sin⁡tI_A(t) = \sin\sqrt{t} of the first device on [0,4π2][0, 4\pi^2], with the region between the curve and the axis shaded.

510152025303540-1.5-1-0.50.511.5π²4π²I > 0I < 0: charge flows backt (s)I (mA)
  • a) Device A: IA(t)=sin⁡tI_A(t) = \sin\sqrt{t}. Compute the charge delivered on [0,π2][0, \pi^2].
  • b) Still device A, now on [0,4π2][0, 4\pi^2]. Compute the net charge, then the total charge that crossed the section in either direction, and explain the difference using the figure.
  • c) Device B: IB(t)=te−tI_B(t) = te^{-\sqrt{t}} on [0,4][0, 4]. Compute the charge exactly, then estimate it using e2≈7.4e^2 \approx 7.4.
  • d) Device C: IC(t)=e−t2I_C(t) = e^{-t^2} on [0,1][0, 1]. Explain why the charge has no closed form, then show that it lies between 23\frac{2}{3} mC and 11 mC.
  • e) Check the antiderivative used in a) by differentiating it with respect to tt.
Show the solution

Answers

  • a) Q=2π≈6.3Q = 2\pi \approx 6.3 mC
  • b) Net −4π-4\pi mC; total 8π8\pi mC (2π2\pi forward, 6π6\pi back).
  • c) Q=12−76e−2≈1.7Q = 12 - 76e^{-2} \approx 1.7 mC
  • d) e−t2e^{-t^2} is not elementary; 23≤Q≤1\frac{2}{3} \le Q \le 1 from 1−t2≤e−t2≤11 - t^2 \le e^{-t^2} \le 1.
  • e) ddt 2(sin⁡t−tcos⁡t)=sin⁡t\frac{d}{dt}\,2\left(\sin\sqrt{t} - \sqrt{t}\cos\sqrt{t}\right) = \sin\sqrt{t}

a) The current is a composition with t\sqrt{t}, so substitute first: s=ts = \sqrt{t}, t=s2t = s^2, dt=2s dsdt = 2s\,ds, bounds 0↦00 \mapsto 0 and π2↦π\pi^2 \mapsto \pi. Then Q=∫0π2ssin⁡s dsQ = \int_0^{\pi} 2s\sin s\,ds, a product: parts with u=su = s, dv=sin⁡s dsdv = \sin s\,ds, v=−cos⁡sv = -\cos s, giving ∫ssin⁡s ds=−scos⁡s+sin⁡s\int s\sin s\,ds = -s\cos s + \sin s. So Q=2[−scos⁡s+sin⁡s]0π=2(π+0)−0=2πQ = 2\left[-s\cos s + \sin s\right]_0^{\pi} = 2(\pi + 0) - 0 = 2\pi mC, about 6.36.3 mC with π≈3.14\pi \approx 3.14. The value is positive, as it must be: on [0,π2][0, \pi^2], t∈[0,π]\sqrt{t} \in [0, \pi] and sin⁡t≥0\sin\sqrt{t} \ge 0.

b) Same antiderivative, bounds 0↦00 \mapsto 0 and 4π2↦2π4\pi^2 \mapsto 2\pi: the net charge is 2[−scos⁡s+sin⁡s]02π=2(−2π)=−4π2\left[-s\cos s + \sin s\right]_0^{2\pi} = 2(-2\pi) = -4\pi mC. On [π2,4π2][\pi^2, 4\pi^2], t∈[π,2π]\sqrt{t} \in [\pi, 2\pi] and the current is NEGATIVE: that stretch contributes 2[−scos⁡s+sin⁡s]π2π=2(−2π−π)=−6π2\left[-s\cos s + \sin s\right]_{\pi}^{2\pi} = 2(-2\pi - \pi) = -6\pi mC, charge flowing back. The net charge adds the two signed contributions, 2π−6π=−4π2\pi - 6\pi = -4\pi; the total charge that crossed the section adds their sizes, 2π+6π=8π2\pi + 6\pi = 8\pi mC. On the figure the second lobe, below the axis, is much wider than the first because the time needed for t\sqrt{t} to go from π\pi to 2π2\pi is 3π23\pi^2, three times the length of the first stretch.

c) Again a composition with t\sqrt{t}: s=ts = \sqrt{t}, t=s2t = s^2, dt=2s dsdt = 2s\,ds, bounds 0↦00 \mapsto 0, 4↦24 \mapsto 2, so Q=∫02s2e−s⋅2s ds=2∫02s3e−s dsQ = \int_0^2 s^2e^{-s}\cdot 2s\,ds = 2\int_0^2 s^3e^{-s}\,ds. Parts three times, conveniently in tabular form: derivatives of s3s^3 are 3s23s^2, 6s6s, 66, 00, and successive antiderivatives of e−se^{-s} are −e−s-e^{-s}, e−se^{-s}, −e−s-e^{-s}, e−se^{-s}, with alternating signs. This gives ∫s3e−s ds=−e−s(s3+3s2+6s+6)\int s^3e^{-s}\,ds = -e^{-s}\left(s^3 + 3s^2 + 6s + 6\right). So Q=2[−e−s(s3+3s2+6s+6)]02=2(6−38e−2)=12−76e−2Q = 2\left[-e^{-s}(s^3 + 3s^2 + 6s + 6)\right]_0^2 = 2\left(6 - 38e^{-2}\right) = 12 - 76e^{-2} mC. With e2≈7.4e^2 \approx 7.4: 767.4≈10.3\frac{76}{7.4} \approx 10.3 and Q≈1.7Q \approx 1.7 mC. Sanity: IB≥0I_B \ge 0 on [0,4][0, 4], and IB(4)=4e−2≈0.54I_B(4) = 4e^{-2} \approx 0.54 is its largest value there, so Q≤4×0.54≈2.2Q \le 4 \times 0.54 \approx 2.2.

d) e−t2e^{-t^2} has no elementary antiderivative: no substitution applies because the derivative −2t-2t of the exponent is not a factor, and parts only trades it for something worse. The integral still exists, the integrand being continuous. For the bounds: eu≥1+ue^u \ge 1 + u with u=−t2u = -t^2 gives e−t2≥1−t2e^{-t^2} \ge 1 - t^2, and e−t2≤e0=1e^{-t^2} \le e^0 = 1 since −t2≤0-t^2 \le 0. Integrating over [0,1][0, 1]: ∫01(1−t2) dt=23≤Q≤1\int_0^1 (1 - t^2)\,dt = \frac{2}{3} \le Q \le 1 mC. The revision sheet of this chapter draws this bracket.

e) F(t)=2(sin⁡t−tcos⁡t)F(t) = 2\left(\sin\sqrt{t} - \sqrt{t}\cos\sqrt{t}\right) is the antiderivative of a) written back in tt. By the chain rule, with ddtt=12t\frac{d}{dt}\sqrt{t} = \frac{1}{2\sqrt{t}}: F′(t)=2(cos⁡t2t−cos⁡t2t+t⋅sin⁡t2t)=sin⁡tF'(t) = 2\left(\frac{\cos\sqrt{t}}{2\sqrt{t}} - \frac{\cos\sqrt{t}}{2\sqrt{t}} + \sqrt{t}\cdot\frac{\sin\sqrt{t}}{2\sqrt{t}}\right) = \sin\sqrt{t}. The two cosine terms cancel exactly, which is the signature of an integration by parts done right.

See also

Struggling with MATH 141?

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

Site by Studio Squalli