In this section we will formally define the definite integral and give many of the properties of definite integrals. Let’s start off with the definition of a definite integral.
Given a function \(f\left( x \right)\) that is continuous on the interval \(\left[ {a,b} \right]\) we divide the interval into \(n\) subintervals of equal width, \(\Delta x\), and from each interval choose a point, \(x_i^*\). Then the definite integral of \(f\left( x \right)\) from \(a\) to \(b\) is
\[\int_{{,円a}}^{{,円b}}{{f\left( x \right),円dx}} = \mathop {\lim }\limits_{n \to \infty } \sum\limits_{i = 1}^n {f\left( {x_i^*} \right)\Delta x} \]The definite integral is defined to be exactly the limit and summation that we looked at in the last section to find the net area between a function and the \(x\)-axis. Also note that the notation for the definite integral is very similar to the notation for an indefinite integral. The reason for this will be apparent eventually.
There is also a little bit of terminology that we should get out of the way here. The number "\(a\)" that is at the bottom of the integral sign is called the lower limit of the integral and the number "\(b\)" at the top of the integral sign is called the upper limit of the integral. Also, despite the fact that \(a\) and \(b\) were given as an interval the lower limit does not necessarily need to be smaller than the upper limit. Collectively we’ll often call \(a\) and \(b\) the interval of integration.
Let’s work a quick example. This example will use many of the properties and facts from the brief review of summation notation in the Extras chapter.
First, we can’t actually use the definition unless we determine which points in each interval that well use for \(x_i^*\). In order to make our life easier we’ll use the right endpoints of each interval.
From the previous section we know that for a general \(n\) the width of each subinterval is,
\[\Delta x = \frac{{2 - 0}}{n} = \frac{2}{n}\]The subintervals are then,
\[\left[ {0,\frac{2}{n}} \right],,円,円,円,円\left[ {\frac{2}{n},\frac{4}{n}} \right],,円,円,円\left[ {\frac{4}{n},\frac{6}{n}} \right],,円,円 \ldots ,円,,円,円,円\left[ {\frac{{2\left( {i - 1} \right)}}{n},\frac{{2i}}{n}} \right],,円,円 \ldots ,円,,円,円,円\left[ {\frac{{2\left( {n - 1} \right)}}{n},2} \right]\]As we can see the right endpoint of the ith subinterval is
\[x_i^* = \frac{{2i}}{n}\]The summation in the definition of the definite integral is then,
\[\begin{align*}\sum\limits_{i = 1}^n {f\left( {x_i^*} \right)\Delta x} & = \sum\limits_{i = 1}^n {f\left( {\frac{{2i}}{n}} \right)\left( {\frac{2}{n}} \right)} \\ & = \sum\limits_{i = 1}^n {\left( {{{\left( {\frac{{2i}}{n}} \right)}^2} + 1} \right)\left( {\frac{2}{n}} \right)} \\ & = \sum\limits_{i = 1}^n {\left( {\frac{{8{i^2}}}{{{n^3}}} + \frac{2}{n}} \right)} \end{align*}\]Now, we are going to have to take a limit of this. That means that we are going to need to "evaluate" this summation. In other words, we are going to have to use the formulas given in the summation notation review to eliminate the actual summation and get a formula for this for a general \(n\).
To do this we will need to recognize that \(n\) is a constant as far as the summation notation is concerned. As we cycle through the integers from 1 to \(n\) in the summation only \(i\) changes and so anything that isn’t an \(i\) will be a constant and can be factored out of the summation. In particular any \(n\) that is in the summation can be factored out if we need to.
Here is the summation "evaluation".
\[\begin{align*}\sum\limits_{i = 1}^n {f\left( {x_i^*} \right)\Delta x} & = \sum\limits_{i = 1}^n {\frac{{8{i^2}}}{{{n^3}}}} + \sum\limits_{i = 1}^n {\frac{2}{n}} \\ & = \frac{8}{{{n^3}}}\sum\limits_{i = 1}^n {{i^2}} + \frac{1}{n}\sum\limits_{i = 1}^n 2 \\ & = \frac{8}{{{n^3}}}\left( {\frac{{n\left( {n + 1} \right)\left( {2n + 1} \right)}}{6}} \right) + \frac{1}{n}\left( {2n} \right)\\ & = \frac{{4\left( {n + 1} \right)\left( {2n + 1} \right)}}{{3{n^2}}} + 2\\ & = \frac{{14{n^2} + 12n + 4}}{{3{n^2}}}\end{align*}\]We can now compute the definite integral.
\[\begin{align*}\int_{{,0円}}^{{,2円}}{{{x^2} + 1,円dx}} & = \mathop {\lim }\limits_{n \to \infty } \sum\limits_{i = 1}^n {f\left( {x_i^*} \right)\Delta x} \\ & = \mathop {\lim }\limits_{n \to \infty } \frac{{14{n^2} + 12n + 4}}{{3{n^2}}}\\ & = \frac{{14}}{3}\end{align*}\]We’ve seen several methods for dealing with the limit in this problem so we’ll leave it to you to verify the results.
Wow, that was a lot of work for a fairly simple function. There is a much simpler way of evaluating these and we will get to it eventually. The main purpose to this section is to get the main properties and facts about the definite integral out of the way. We’ll discuss how we compute these in practice starting with the next section.
So, let’s start taking a look at some of the properties of the definite integral.
See the Proof of Various Integral Properties section of the Extras chapter for the proof of properties 1 – 4. Property 5 is not easy to prove and so is not shown there. Property 6 is not really a property in the full sense of the word. It is only here to acknowledge that as long as the function and limits are the same it doesn’t matter what letter we use for the variable. The answer will be the same.
Let’s do a couple of examples dealing with these properties.
All of the solutions to these problems will rely on the fact we proved in the first example. Namely that,
\[\int_{{,0円}}^{{,2円}}{{{x^2} + 1,円dx}} = \frac{{14}}{3}\]In this case the only difference between the two is that the limits have interchanged. So, using the first property gives,
\[\begin{align*}\int_{{,2円}}^{{,0円}}{{{x^2} + 1,円dx}} & = - \int_{{,0円}}^{{,2円}}{{{x^2} + 1,円dx}}\\ & = - \frac{{14}}{3}\end{align*}\]For this part notice that we can factor a 10 out of both terms and then out of the integral using the third property.
\[\begin{align*}\int_{{,0円}}^{{,2円}}{{10{x^2} + 10,円dx}} & = \int_{{,0円}}^{{,2円}}{{10\left( {{x^2} + 1} \right),円dx}}\\ & = 10\int_{{,0円}}^{{,2円}}{{{x^2} + 1,円dx}}\\ & = 10\left( {\frac{{14}}{3}} \right)\\ & = \frac{{140}}{3}\end{align*}\]In this case the only difference is the letter used and so this is just going to use property 6.
\[\int_{{,0円}}^{{,2円}}{{{t^2} + 1,円dt}} = \int_{{,0円}}^{{,2円}}{{{x^2} + 1,円dx}} = \frac{{14}}{3}\]Here are a couple of examples using the other properties.
There really isn’t anything to do with this integral once we notice that the limits are the same. Using the second property this is,
\[\int_{{130}}^{{,130円}}{{\frac{{{x^3} - x\sin \left( x \right) + \cos \left( x \right)}}{{{x^2} + 1}},円dx}} = 0\]We will first need to use the fourth property to break up the integral and the third property to factor out the constants.
\[\begin{align*}\int_{{,円 - 10}}^{{,6円}}{{2f\left( x \right),円 - 10g\left( x \right)dx}} & = \int_{{,円 - 10}}^{{,6円}}{{2f\left( x \right),円dx}} - \int_{{,円 - 10}}^{{,6円}}{{10g\left( x \right)dx}}\\ & = 2\int_{{,円 - 10}}^{{,6円}}{{f\left( x \right),円dx}} - 10\int_{{,円 - 10}}^{{,6円}}{{g\left( x \right)dx}}\end{align*}\]Now notice that the limits on the first integral are interchanged with the limits on the given integral so switch them using the first property above (and adding a minus sign of course). Once this is done we can plug in the known values of the integrals.
\[\begin{align*}\int_{{,円 - 10}}^{{,6円}}{{2f\left( x \right),円 - 10g\left( x \right)dx}} & = - 2\int_{{,6円}}^{{,円 - 10}}{{f\left( x \right),円dx}} - 10\int_{{,円 - 10}}^{{,6円}}{{g\left( x \right)dx}}\\ & = - 2\left( {23} \right) - 10\left( { - 9} \right)\\ & = 44\end{align*}\]This example is mostly an example of property 5 although there are a couple of uses of property 1 in the solution as well.
We need to figure out how to correctly break up the integral using property 5 to allow us to use the given pieces of information. First, we’ll note that there is an integral that has a "-5" in one of the limits. It’s not the lower limit, but we can use property 1 to correct that eventually. The other limit is 100 so this is the number \(c\) that we’ll use in property 5.
\[\int_{{,円 - 5}}^{{,12円}}{{f\left( x \right),円dx}} = \int_{{,円 - 5}}^{{,100円}}{{f\left( x \right),円dx}} + \int_{{,100円}}^{{,12円}}{{f\left( x \right),円dx}}\]We’ll be able to get the value of the first integral, but the second still isn’t in the list of know integrals. However, we do have second integral that has a limit of 100 in it. The other limit for this second integral is -10 and this will be \(c\) in this application of property 5.
\[\int_{{,円 - 5}}^{{,12円}}{{f\left( x \right),円dx}} = \int_{{,円 - 5}}^{{,100円}}{{f\left( x \right),円dx}} + \int_{{,100円}}^{{,円 - 10}}{{f\left( x \right),円dx}} + \int_{{,円 - 10}}^{{,12円}}{{f\left( x \right),円dx}}\]At this point all that we need to do is use the property 1 on the first and third integral to get the limits to match up with the known integrals. After that we can plug in for the known integrals.
\[\begin{align*}\int_{{,円 - 5}}^{{,12円}}{{f\left( x \right),円dx}} & = - \int_{{,100円}}^{{,円 - 5}}{{f\left( x \right),円dx}} + \int_{{,100円}}^{{,円 - 10}}{{f\left( x \right),円dx}} - \int_{{,12円}}^{{,円 - 10}}{{f\left( x \right),円dx}}\\ & = - 4 - 2 - 6\\ & = - 12\end{align*}\]There are also some nice properties that we can use in comparing the general size of definite integrals. Here they are.
See the Proof of Various Integral Properties section of the Extras chapter for the proof of these properties.
There are a couple of quick interpretations of the definite integral that we can give here.
First, as we alluded to in the previous section one possible interpretation of the definite integral is to give the net area between the graph of \(f\left( x \right)\) and the \(x\)-axis on the interval \(\left[ {a,b} \right]\). So, the net area between the graph of \(f\left( x \right) = {x^2} + 1\) and the \(x\)-axis on \(\left[ {0,2} \right]\) is,
\[\int_{{,0円}}^{{,2円}}{{{x^2} + 1,円dx}} = \frac{{14}}{3}\]If you look back in the last section this was the exact area that was given for the initial set of problems that we looked at in this area.
Another interpretation is sometimes called the Net Change Theorem. This interpretation says that if \(f\left( x \right)\) is some quantity (so \(f'\left( x \right)\) is the rate of change of \(f\left( x \right)\)) then,
\[\int_{{,円a}}^{{,円b}}{{f'\left( x \right),円dx}} = f\left( b \right) - f\left( a \right)\]is the net change in \(f\left( x \right)\) on the interval \(\left[ {a,b} \right]\). In other words, compute the definite integral of a rate of change and you’ll get the net change in the quantity. We can see that the value of the definite integral, \(f\left( b \right) - f\left( a \right)\), does in fact give us the net change in \(f\left( x \right)\) and so there really isn’t anything to prove with this statement. This is really just an acknowledgment of what the definite integral of a rate of change tells us.
So as a quick example, if \(V\left( t \right)\) is the volume of water in a tank then,
\[\int_{{,円{t_1}}}^{{,円{t_2}}}{{V'\left( t \right),円dt}} = V\left( {{t_2}} \right) - V\left( {{t_1}} \right)\]is the net change in the volume as we go from time \({t_1}\) to time \({t_2}\).
Likewise, if \(s\left( t \right)\) is the function giving the position of some object at time \(t\) we know that the velocity of the object at any time \(t\) is : \(v\left( t \right) = s'\left( t \right)\). Therefore, the displacement of the object from time \({t_1}\) to time \({t_2}\) is,
\[\int_{{,円{t_1}}}^{{,円{t_2}}}{{v\left( t \right),円dt}} = s\left( {{t_2}} \right) - s\left( {{t_1}} \right)\]Note that in this case if \(v\left( t \right)\) is both positive and negative (i.e. the object moves to both the right and left) in the time frame this will NOT give the total distance traveled. It will only give the displacement, i.e. the difference between where the object started and where it ended up. To get the total distance traveled by an object we’d have to compute,
\[\int_{{,円{t_1}}}^{{,円{t_2}}}{{\left| {v\left( t \right)} \right|,円dt}}\]It is important to note here that the Net Change Theorem only really makes sense if we’re integrating a derivative of a function.
As noted by the title above this is only the first part to the Fundamental Theorem of Calculus. We will give the second part in the next section as it is the key to easily computing definite integrals and that is the subject of the next section.
The first part of the Fundamental Theorem of Calculus tells us how to differentiate certain types of definite integrals and it also tells us about the very close relationship between integrals and derivatives.
If \(f\left( x \right)\) is continuous on \(\left[ {a,b} \right]\) then,
\[g\left( x \right) = \int_{{,円a}}^{{,円x}}{{f\left( t \right),円,円dt}}\]is continuous on \(\left[ {a,b} \right]\) and it is differentiable on \(\left( {a,b} \right)\) and,
\[g'\left( x \right) = f\left( x \right)\]An alternate notation for the derivative portion of this is,
\[\frac{d}{{dx}}\int_{{,円a}}^{{,円x}}{{f\left( t \right),円dt}} = f\left( x \right)\]To see the proof of this see the Proof of Various Integral Properties section of the Extras chapter.
Let’s check out a couple of quick examples using this.
This one is nothing more than a quick application of the Fundamental Theorem of Calculus.
\[g'\left( x \right) = {{\bf{e}}^{2x}}{\cos ^2}\left( {1 - 5x} \right)\]This one needs a little work before we can use the Fundamental Theorem of Calculus. The first thing to notice is that the Fundamental Theorem of Calculus requires the lower limit to be a constant and the upper limit to be the variable. So, using a property of definite integrals we can interchange the limits of the integral we just need to remember to add in a minus sign after we do that. Doing this gives,
\[\frac{d}{{dx}}\int_{{,円{x^2}}}^{{,1円}}{{\frac{{{t^4} + 1}}{{{t^2} + 1}},円dt}} = \frac{d}{{dx}}\left( { - \int_{{,1円}}^{{,円{x^2}}}{{\frac{{{t^4} + 1}}{{{t^2} + 1}},円dt}}} \right) = - \frac{d}{{dx}}\int_{{,1円}}^{{,円{x^2}}}{{\frac{{{t^4} + 1}}{{{t^2} + 1}},円dt}}\]The next thing to notice is that the Fundamental Theorem of Calculus also requires an \(x\) in the upper limit of integration and we’ve got x2. To do this derivative we’re going to need the following version of the chain rule.
\[\frac{d}{{dx}}\left( {g\left( u \right)} \right) = \frac{d}{{du}}\left( {g\left( u \right)} \right),円,円\frac{{du}}{{dx}}\hspace{0.5in}{\mbox{where }}u = f\left( x \right)\]So, if we let u= x2 we use the chain rule to get,
\[\begin{align*}\frac{d}{{dx}}\int_{{,円{x^2}}}^{{,1円}}{{\frac{{{t^4} + 1}}{{{t^2} + 1}},円dt}} & = - \frac{d}{{dx}}\int_{{,1円}}^{{,円{x^2}}}{{\frac{{{t^4} + 1}}{{{t^2} + 1}},円dt}}\\ & = - \frac{d}{{du}}\int_{{,1円}}^{{,円u}}{{\frac{{{t^4} + 1}}{{{t^2} + 1}},円dt}},円,円,円\frac{{du}}{{dx}}\hspace{0.5in}{\mbox{where }}u = {x^2}\\ & = - \frac{{{u^4} + 1}}{{{u^2} + 1}}\left( {2x} \right)\\ & = - 2x\frac{{{u^4} + 1}}{{{u^2} + 1}}\end{align*}\]The final step is to get everything back in terms of \(x\).
\[\begin{align*}\frac{d}{{dx}}\int_{{,円{x^2}}}^{{,1円}}{{\frac{{{t^4} + 1}}{{{t^2} + 1}},円dt}} & = - 2x\frac{{{{\left( {{x^2}} \right)}^4} + 1}}{{{{\left( {{x^2}} \right)}^2} + 1}}\\ & = - 2x\frac{{{x^8} + 1}}{{{x^4} + 1}}\end{align*}\]Using the chain rule as we did in the last part of this example we can derive some general formulas for some more complicated problems.
First,
\[\frac{d}{{dx}}\int_{{,円a}}^{{,円u\left( x \right)}}{{f\left( t \right),円dt}} = u'\left( x \right)f\left( {u\left( x \right)} \right)\]This is simply the chain rule for these kinds of problems.
Next, we can get a formula for integrals in which the upper limit is a constant and the lower limit is a function of \(x\). All we need to do here is interchange the limits on the integral (adding in a minus sign of course) and then use the formula above to get,
\[\frac{d}{{dx}}\int_{{,円v\left( x \right)}}^{{,円b}}{{f\left( t \right),円dt}} = - \frac{d}{{dx}}\int_{{,円b}}^{{,円v\left( x \right)}}{{f\left( t \right),円dt}} = - v'\left( x \right)f\left( {v\left( x \right)} \right)\]Finally, we can also get a version for both limits being functions of \(x\). In this case we’ll need to use Property 5 above to break up the integral as follows,
\[\int_{{,円v\left( x \right)}}^{{,円u\left( x \right)}}{{f\left( t \right),円dt}} = \int_{{,円v\left( x \right)}}^{{,円a}}{{f\left( t \right),円dt}} + \int_{{,円a}}^{{,円u\left( x \right)}}{{f\left( t \right),円dt}}\]We can use pretty much any value of \(a\) when we break up the integral. The only thing that we need to do is to make sure that \(f\left( a \right)\) exists. So, assuming that \(f\left( a \right)\) exists after we break up the integral we can then differentiate and use the two formulas above to get,
\[\begin{align*}\frac{d}{{dx}}\int_{{,円v\left( x \right)}}^{{,円u\left( x \right)}}{{f\left( t \right),円dt}} & = \frac{d}{{dx}}\left( {\int_{{,円v\left( x \right)}}^{{,円a}}{{f\left( t \right),円dt}} + \int_{{,円a}}^{{,円u\left( x \right)}}{{f\left( t \right),円dt}}} \right)\\ & = - v'\left( x \right)f\left( {v\left( x \right)} \right) + u'\left( x \right)f\left( {u\left( x \right)} \right)\end{align*}\]Let’s work a quick example.
This will use the final formula that we derived above.
\[\begin{align*}\frac{d}{{dx}}\int_{{,円\sqrt x }}^{{,3円x}}{{{t^2}\sin \left( {1 + {t^2}} \right),円dt}} & = - \frac{1}{2}{x^{ - \frac{1}{2}}}{\left( {\sqrt x } \right)^2}\sin \left( {1 + {{\left( {\sqrt x } \right)}^2}} \right) + \left( 3 \right){\left( {3x} \right)^2}\sin \left( {1 + {{\left( {3x} \right)}^2}} \right)\\ & = - \frac{1}{2}\sqrt x \sin \left( {1 + x} \right) + 27{x^2}\sin \left( {1 + 9{x^2}} \right)\end{align*}\]