Chapter 9

Integration: Backwards Differentiation

IN THIS CHAPTER

Bullet Antidifferentiating — putting ’er in reverse

Bullet Using the area function

Bullet Getting familiar with the Fundamental Theorem of Calculus

Chapter 8 shows you the hard way to calculate the area under a curve using the formal definition of integration — the limit of a Riemann sum. In this chapter, I do it the easy way, taking advantage of one of the most important discoveries in mathematics — that integration is just differentiation in reverse.

Antidifferentiation: Reverse Differentiation

Antidifferentiation is just differentiation backwards. The derivative of sin x is cos x, so the antiderivative of cos x is sin x; the derivative of math is math, so the antiderivative of math is math — you just go backwards … with one twist: The derivative of math is also math, as is the derivative of math. Any function of the form math, where C is any number, has a derivative of math. So, every such function is an antiderivative of math.

Math rules The Indefinite Integral: The indefinite integral of a function math, written as math, is the family of all antiderivatives of the function. For example, because the derivative of math is math, the indefinite integral of math is math, and you write

math

You may recognize this integration symbol, math, from the definite integral in Chapter 8. The definite integral symbol, however, contains two little numbers like math that tell you to compute the area of a function between the two numbers, called the limits of integration. The naked version of the symbol, math, indicates an indefinite integral or an antiderivative. This chapter is about the intimate connection between these two symbols.

Figure 9-1 shows the family of antiderivatives of the parabola math, namely math. Note that this family of curves has an infinite number of curves. They go up and down forever and are infinitely dense. The vertical gap of 2 units between each curve in Figure 9-1 is just a visual aid.

“Illustration of a family of curves  of the parabola 3x2, namely x3 + C, which has an infinite number of curves with the same derivative.”

FIGURE 9-1: The family of curves math. All these functions have the same derivative, math.

The top curve on the graph is math; the one below it is math; the bottom one is math. By the power rule, these three functions, as well as all the others in this family of functions, have a derivative of math. Now consider the slope of each of the curves where x equals 1 (see the tangent lines drawn on the curves). The derivative of each curve is math, so when x equals 1, the slope of each curve is math, or 3. Thus, all these little tangent lines are parallel. No matter what x-value you pick, tangent lines like this would be parallel. This is the visual way to understand why each of these curves has the same derivative, and, thus, why each curve is an antiderivative of the same function.

The Annoying Area Function

This topic is pretty tricky. Put on your thinking cap. Say you’ve got any old function, math. Imagine that at some t-value, call it s, you draw a fixed vertical line. See Figure 9-2.

Graphs depicting a shaded area under f between s and x, which is swept out by the moving line at x.

FIGURE 9-2: Area under f between s and x is swept out by the moving line at x.

Then you take a movable vertical line, starting at the same point, s (for starting point), and drag it to the right, sweeping out a larger and larger area under the curve. This area is a function of x, the position of the moving line. In symbols, you write

math

Note that t is the input variable in math instead of x because x is already taken — it’s the input variable in math. The subscript f in math indicates that math is the area function for the particular curve f or math. The dt is a little increment along the t-axis — actually an infinitesimally small increment.

Here’s a simple example to make sure you’ve got a handle how an area function works. Say you’ve got the simple function, math — that’s a horizontal line at math. If you sweep out area beginning at math, you get the following area function:

math

You can see that the area swept out from 3 to 4 is 10 because, in dragging the line from 3 to 4, you sweep out a rectangle with a width of 1 and a height of 10, which has an area of 1 times 10, or 10. See Figure 9-3.

Graph depicting rectangles and its area under f = 10 between 3 and x is swept out by the moving vertical line at x.

FIGURE 9-3: Area under math between 3 and x is swept out by the moving vertical line at x.

So, math, the area swept out as you hit 4, equals 10. math equals 20 because when you drag the line to 5, you’ve swept out a rectangle with a width of 2 and height of 10, which has an area of 2 times 10, or 20. math equals 30, and so on.

Now, imagine that you drag the line across at a rate of one unit per second. You start at math, and you hit 4 at 1 second, 5 at 2 seconds, 6 at 3 seconds, and so on. How much area are you sweeping out per second? Ten square units per second because each second you sweep out another 1-by-10 rectangle. Notice — this is huge — that because the width of each rectangle you sweep out is 1, the area of each rectangle — given by height times width — is the same as its height because anything times 1 equals itself.

Math rules Okay, are you sitting down? You’ve reached another one of the big Ah ha! moments in the history of mathematics. Recall that a derivative is a rate. So, because the rate at which the previous area function grows is 10 square units per second, you can say its derivative equals 10. Thus, you can write

math

Here’s the critical thing: This rate or derivative of 10 is the same as the original function math because as you go across 1 unit, you sweep out a rectangle that has an area of 10, the height of the function.

This works for any function, not just horizontal lines. Look at the function math and its area function math that sweeps out area beginning at math in Figure 9-4.

Graph depicting rectangles to find the area under g between 2 and x is swept out by the moving vertical line at x.

FIGURE 9-4: Area under g between 2 and x is swept out by the moving vertical line at x.

You can see that math is about 20 because the area swept out between 2 and 3 has a width of 1 and the curved top of the “rectangle” has an average height of about 20. So, during this interval, the rate of growth of math is about 20 square units per second. Between 3 and 4, you sweep out about 15 square units of area because that’s roughly the average height of math between 3 and 4. So, during second number two — the interval from math to math — the rate of growth of math is about 15.

Math rules The rate of area being swept out under a curve by an area function at a given x-value is equal to the height of the curve at that x-value.

The Fundamental Theorem

Sound the trumpets! Now that you’ve seen the connection between the rate of growth of an area function and the height of the given curve, you’re ready for what some say is one of the most important theorems in the history of mathematics:

Math rules The Fundamental Theorem of Calculus: Given an area function math that sweeps out area under math,

math

the rate at which area is being swept out is equal to the height of the original function. So, because the rate is the derivative, the derivative of the area function equals the original function:

math

Because math, you can also write the above equation as follows:

math

Now, because the derivative of math is math, math is by definition an antiderivative of math. Check out how this works by returning to the simple function from the previous section, math, and its area function, math.

According to the Fundamental Theorem, math. Thus math must be an antiderivative of 10; in other words, math is a function whose derivative is 10. Because any function of the form math, where C is a number, has a derivative of 10, the antiderivative of 10 is math. The particular number C depends on your choice of s, the point where you start sweeping out area. For a particular choice of s, the area function will be the one function (out of all the functions in the family of curves math) that crosses the x-axis at s. To figure out C, set the antiderivative equal to zero, plug the value of s into x, and solve for C.

For this function with an antiderivative of math, if you start sweeping out area at, say, math, then math, so math, and thus math, or just 10x. If instead you start sweeping out area at math and define a new area function, math, then math, so C equals 20 and math is thus math. This area function is 20 more than math, which starts at math, because if you start at math, you’ve already swept out an area of 20 by the time you get to zero.

And if you start sweeping out area at math, math, so math and the area function is math. This function is 30 less than on math because with math, you lose the 3-by-10 rectangle between 0 and 3 that math has.

Remember The area swept out under the horizontal line math, from some number s to x, is given by an antiderivative of 10, namely math, where the value of C depends on where you start sweeping out area.

For the next example, look again at the parabola math, our friend from Chapter 8, and the discussion of Riemann sums. Flip back to Figure 8-5. Now you can finally compute the exact area (from 0 to 3) in that graph the easy way.

The area function for sweeping out area under math is math. By the Fundamental Theorem, math, and so math is an antiderivative of math. Any function of the form math has a derivative of math (try it), so that’s the antiderivative. For Figure 8-5, you want to sweep out area beginning at 0, so math. Plug 0 into the antiderivative and solve for C: math, so math, and thus

math

The area swept out from 0 to 3 — which we did the hard way in Chapter 8 by computing the limit of a Riemann sum — is simply math:

math

That was much less work than doing it the hard way. And after you know the area function that starts at zero, math, it’s a snap to figure the area of other sections under the parabola that don’t start at zero. Say you want the area under the parabola between 2 and 3. You can compute it by subtracting the area between 0 and 2 from the area between 0 and 3. You just figured the area between 0 and 3 — that’s 12. And the area between 0 and 2 is math. So the area between 2 and 3 is math, or math. This subtraction method brings us to the next topic — the second version of the Fundamental Theorem.

Fundamental Theorem: Take Two

Now we finally arrive at the super-duper shortcut integration theorem. But first a warning… .

Warning When using an area function, the first version of the Fundamental Theorem of Calculus, or its second version, areas below the x-axis count as negative areas.

Math rules The Fundamental Theorem of Calculus (shortcut version): Let F be any antiderivative of the function f; then

math

This theorem gives you the super shortcut for computing a definite integral like math, the area under the parabola math between 2 and 3. As I show in the previous section, you can get this area by subtracting the area between 0 and 2 from the area between 0 and 3, but to do that you need to know that the particular area function sweeping out area beginning at zero, math, is math (with a C value of zero).

The beauty of the shortcut theorem is that you don’t have to even use an area function like math. You just find any antiderivative, math, of your function, and do the subtraction, math. The simplest antiderivative to use is the one where math. So here’s how you use the theorem to find the area under our parabola from 2 to 3. math is an antiderivative of math so, by the theorem,

math

math can be written as math, and thus,

math

Granted, this is the same computation I did in the previous section using the area function with math, but that’s only because for the math function, when s is zero, C is also zero. It’s sort of a coincidence, and it’s not true for all functions. But regardless of the function, the shortcut works, and you don’t have to worry about area functions or s or C. All you do is math.

Here’s another example: What’s the area under math between math and math? The derivative of math is math, so math is an antiderivative of math, and thus

math

What could be simpler? And if one big shortcut wasn’t enough to make your day, Table 9-1 lists some rules about definite integrals that can make your life much easier.

TABLE 9-1 Five Easy Rules for Definite Integrals

1)

math (Well, duh, there’s no “area” between a and a)

2)

math

3)

math

4)

math (k is a constant; you can pull a constant out of the integral

5)

math

Antiderivatives: Basic Techniques

This section gives some basic techniques for antiderivatives.

Reverse rules

The easiest antiderivatives are ones that are the reverse of derivative rules you already know. These are automatic, one-step antiderivatives with the exception of the reverse power rule, which is only slightly harder.

No-brainer reverse rules

You know that the derivative of sin x is cos x, so reversing that tells you that an antiderivative of cos x is sin x. What could be simpler? But don’t forget that all functions of the form sin math are antiderivatives of cos x. In symbols, you write

math

Table 9-2 lists the reverse rules for antiderivatives.

TABLE 9-2 Basic Antiderivative Formulas

1)

math

2)

math

3)

math

4)

math

5)

math

6)

math

7)

math

8)

math

9)

math

10)

math

11)

math

12)

math

13)

math

14)

math

The slightly more difficult reverse power rule

By the power rule, you know that

math

Here’s the simple method for reversing the power rule. Use math for your function. Recall that the power rule says to

  1. Bring the power in front where it will multiply the rest of the derivative.
    math
  2. Reduce the power by one and simplify.
    math

To reverse this process, reverse the order of the two steps and reverse the math within each step. Here’s how it works:

  1. Increase the power by one.

    The 3 becomes a 4.

    math
  2. Divide by the new power and simplify.
    math

    And thus you write math.

Tip Especially when you’re new to antidifferentiation, it’s a good idea to test your antiderivatives by differentiating them — you can ignore the C. If you get back to your original function, you know your antiderivative is correct.

With the antiderivative you just found and the second version of the Fundamental Theorem, you can determine the area under math between, say, 1 and 2:

math

Guess and check

The guess-and-check method works when the integrand (that’s the expression after the integral symbol not counting the dx, and it’s the thing you want to antidifferentiate) is close to a function that you know the reverse rule for. For example, say you want the antiderivative of math. Well, you know that the derivative of sine is cosine. Reversing that tells you that the antiderivative of cosine is sine. So you might think that the antiderivative of math is math. That’s your guess. Now check it by differentiating it to see if you get the original function, math:

math

This result is very close to the original function, except for that extra coefficient of 2. In other words, the answer is 2 times as much as what you want. Because you want half that result, try an antiderivative that’s half of your first guess: math. Check this second guess by differentiating it, and you get the desired result.

Here’s another example. What’s the antiderivative of math?

  1. Guess the antiderivative.

    This looks sort of like a power rule problem, so try the reverse power rule. The antiderivative of math is math by the reverse power rule, so your guess is math.

  2. Check your guess by differentiating it.
    math
  3. Tweak your first guess.

    Your result, math, is three times too much, so make your second guess a third of your first guess — that’s math, or math.

  4. Check your second guess by differentiating it.
    math

    This checks. You’re done. The antiderivative of math is math

The two previous examples show that guess and check works well when the function you want to antidifferentiate has an argument like 3x or math (where x is raised to the first power) instead of a plain old x. (Recall that in a function like math, the 5x is called the argument.) In this case, you just tweak your guess by the reciprocal of the coefficient of x — the 3 in math, for example (the 2 in math has no effect on your answer). In fact, for these easy problems, you don’t really have to guess and check. You can immediately see how to tweak your guess. It becomes sort of a one-step process. If the function’s argument is more complicated than math — like the math in math — you have to try the next method, substitution.

Substitution

In the previous section, you can see why the first guess in each case didn’t work. When you differentiate the guess, the chain rule produces an extra constant: 2 in the first example, 3 in the second. You then tweak the guesses with 1/2 and 1/3 to compensate for the extra constant.

Now say you want the antiderivative of math and you guess that it is math. Watch what happens when you differentiate math to check it.

math

Here the chain rule produces an extra 2x — because the derivative of math is 2x — but if you try to compensate for this by attaching a math to your guess, it won’t work. Try it.

So, guessing and checking doesn’t work for antidifferentiating math — actually no method works for this simple-looking integrand (not all functions have antiderivatives) — but your attempt at differentiation here reveals a new class of functions that you can antidifferentiate. Because the derivative of math is math, the antiderivative of math must be math. This function, math, is the type of function you antidifferentiate with the substitution method.

Math rules The substitution method works when the integrand contains a function and the derivative of the function’s argument — in other words, when it contains that extra thing produced by the chain rule — or something just like it except for a constant. And the integrand must not contain anything else.

The derivative of math is math by the math rule and the chain rule. So, the antiderivative of math is math. And if you were asked to find the antiderivative of math, you would know that the substitution method would work because this expression contains math, which is the derivative of the argument of math, namely math.

You may be wondering why this is called the substitution method. I show you why in a minute. But first, I want to point out that you don’t always have to use the step-by-step method. Assuming you understand why the antiderivative of math is math, you may encounter problems where you can just see the antiderivative without doing any work. But whether or not you can just see the answers to problems like this one, the substitution method is a good one to learn because, for one thing, it has many uses in calculus and other areas of mathematics, and for another, your teacher may require that you know it and use it. So here’s how to find the antiderivative of math with substitution.

  1. Set u equal to the argument of the main function.

    The argument of math is math, so you set u equal to math.

  2. Take the derivative of u with respect to x.
    math
  3. Solve for dx.
    math
  4. Make the substitutions.

    In math, u takes the place of math and math takes the place of dx. So now you’ve got math. The two 2xs cancel, giving you math.

  5. Antidifferentiate using the simple reverse rule.
    math
  6. Substitute math back in for u — coming full circle.

    u equals math, so math goes in for the u:

    math

    That’s it. So math.

If the original problem had been math instead of math, you follow the same steps except that in Step 4, after making the substitution, you arrive at math. The xs still cancel — that’s the important thing — but after canceling you get math, which has that extra math in it. No worries. Just pull the math through the math giving you math. Now you finish this problem just as you did above in Steps 5 and 6, except for the extra math.

math

Because C is any old constant, math is still any old constant, so you can get rid of the math in front of the C. That may seem somewhat unmathematical, but it’s right. Thus, your final answer is math. You should check this by differentiating it.

Here are a few examples of antiderivatives you can do with the substitution method so you can learn how to spot them.

  • math

    The derivative of math is math, but you don’t have to pay any attention to the 3 in math or the 4 in the integrand. Because the integrand contains math, and because it doesn’t contain any other extra stuff, substitution works. Try it.

  • math

    The integrand contains a function, math, as well as the derivative of its argument, tan x — which is math. Because the integrand doesn’t contain any other extra stuff (except for the 10, which doesn’t matter), substitution works. Do it.

  • math

    Because the integrand contains the derivative of sin x, namely cos x, and no other stuff except for the 2/3, substitution works. Go for it.

You can do the three problems just listed with a method that combines substitution and guess and check (as long as your teacher doesn’t insist that you show the six-step substitution solution). Try using this combo method to antidifferentiate the first example, math. First confirm that the integral fits the pattern for substitution — it does, as seen in the first checklist item. This confirmation is the only part substitution plays in the combo method. Now finish the problem with guess and check.

  1. Make your guess.

    The antiderivative of cosine is sine, so a good guess for the antiderivative of math is math.

  2. Check your guess by differentiating it.
    math
  3. Tweak your guess.

    Your result from Step 2, math, is 3/4 of what you want, math, so make your guess 4/3 bigger (note that 4/3 is the reciprocal of 3/4). Your second guess is thus math.

  4. Check this second guess by differentiating it.

    Oh, heck, skip this — your answer’s got to work.

..................Content has been hidden....................

You can't read the all page of ebook, please click here login for view all page.
Reset
18.119.111.9