christopher wirick

ap calculus: computing the antiderivatives of functions and polynomials

warm-up: keeping with the theme of volume of solids of revolution, try this multiple choice question, which should need only understanding of the geometric meaning of the definite integral as a measurement of volume.

question: a solid is generated by revolving the region enclosed by the function y =2sqrt{x}, and the lines x =2, x =3, y =1 about the x-axis. which of the following definite integrals gives the volume of the solid? (hint: draw a picture)

ctaoaf_img1

calculating the antiderivatives of an integrand

when we look at an integral int{a}{b}{f(x) dx}we call the values a, b the bounds of integration, while we call the function f(x) the integrand. the goal when computing an integral is to first compute an antiderivative f(x) for the integrand, for then the fundamental theorem of calculus will allow us to evaluate the right side of  int{a}{b}f(x)dx = {f(b) - f(a)}, which is much easier to evaluate than taking a limit of riemann sums as discussed in the previous post.

therefore we need to learn how to compute antiderivatives in order to learn how to compute integrals.

ctaoaf_img2

the method for computing antiderivatives of a function f(x) usually consists recognizing it as the derivative of some function that you know f(x).

we need a little background now, because we are going to develop a toolkit for computing antiderivatives. a set is an unordered collection of objects. we can describe the elements of set inside of curly brackets: the integers bbz = {lbrace}..., -2, -1 0, 1, 2, 3, ...{rbrace }, , the real numbers bbrare everything in between. when there are no bounds of integration on an integral, we call int{ }{ }{f(x) dx}an indefinite integral. the indefinite integral of a continuous function is the set of antiderivatives  for the integrand  so int{ }{ }{f(x) dx} = {lbrace}f:f is an antiderivate for f {rbrace} (the set notation is read as “the set of f such that f is an antiderivative for f.”

so there is more than one antiderivative for a continuous function f? actually, the number of antiderivatives for a continuous function is actually uncountable, and certainly infinite. to see this we need two laws for derivatives: the derivative of a sum of differentiable functions is the sum of the derivatives, and the derivative of a constant function is 0. recall that a function f(x) is differentiable if the limit ctaoaf_img3 exists for every point x in the domain of f, and we write this value as f'(x).

let f(x), g(x) be differentiable functions, then we can see using the definition of the derivative that

ctaoaf_img4next, we want to suppose that our function g(x)= c for some c epsilon bbri.e. for some real number c,) then the derivative is zero at every point x:

ctaoaf_img5now we see why there are so many antiderivatives of an arbitrary continuous function f(x): let f(x) be any antiderivative of f(x). this means that f'(x) = f(x) for every x in the domain of f. but then f(x) + c  where c is a real number is also an antiderivative for f , since we have that

ctaoaf_img6

where the first equal sign uses the sum rule for derivatives and the second equal sign uses the fact that the derivative of a constant function is zero.

therefore we write that the indefinite integral of a continuous function is a set of antiderivatives that differ by a real constant:

ctaoaf_img7

solution to warm-up: a

calculating the antiderivatives of a polynomial

warm-up:

ctaoap_img1

(find the solution at the conclusion)

today we want to discuss the computation of the antiderivatives of a polynomial function. polynomials, as you might recall, are sums and differences of different powers of the independent variable. some functions that are polynomials:

ctaoap_img2

some functions that are not polynomials:

ctaoap_img3

notice that h, g, are very similar functions to h, g, so it is important to verify if you are dealing with non-polynomial functions (like e^x , log(x), sin(x)) or simply constants (like e^{37} , log(40), sin(3)). we now want to understand how to compute the indefinite integral of one of these polynomial functions—which means finding antiderivatives of polynomial functions.

in order to understand antiderivatives, we must first understand derivatives—so the first question we ask is:

what is the derivative of the function f(x) = x^n?

we can answer this question by computing the limit from the definition:

ctaoap_img4

now what is (x + h)^n? if we recall the binomial formula (and pascal’s triangle) we see that ctaoap_img5

substituting this back into the limit we see that:

ctaoap_img6

since all the terms in the numerator have a power of “h”, then we can cancel and are left with:

ctaoap_img7

now since the only term without an “h” is the first term, when h right 0 we see that all that we are left with is nx^{n-1}. therefore we have that

ctaoap_img8

we now have figured out the derivatives of all sorts of functions! we have that (x^2)‘ = 2x, (x^3)‘ = 3x^{2} etc. the last pieces of information that we need to know, which i will not prove because it requires advanced structures, is that the integral of a sum of continuous functions is the sum of the integrals. therefore if f(x), g(x) are continuous:

ctaoap_img9

and given a real number  and a continuous function f(x), the integral of (c.f)(x) is times the integral of f(x):

ctaoap_img10

this allows us to compute the integral of a sum of polynomial functions, since computing the integral will consist of finding antiderivatives for each term in the sum and then adding them together. this means we only need to know the antiderivative of x^n. since a polynomial takes the form {a_n}{x^n} +{a_{n-1}}{x^{n-1}} + ... + {a_1{x}} + a_0}, where the a_n is a sequence of real constants, we can compute the integral of one as follows:

ctaoap_img11

so what is the function f that is an antiderivative of  f(x)= x^n?  it will have the form f(x)= cx^{n+1}, and we can solve for  by differentiating, so that f(x) = c.(n+1).{x^n}. therefore we have that

ctaoap_img12a

therefore the antiderivatives for x^nare as follows:

ctaoap_img13

where c  is an arbitrary real constant.

warm-up solution: c

author

  • christopher wirick

    in addition to blogging about ap calculus, oakland resident chris wirick has played the oboe in beijing and berlin, studied math and cognitive science (the other cs) at cal berkeley, and can’t stop gardening, cooking and eating new foods.

more from magoosh