The definite integral
I realise now, in all the excitement of the FTC that I hadn’t written a post about the definite integral…that’s shocking! ok, here we go…the plan for this post:
- Look at our Riemann sums and think about taking a limit of them
- Define the definite integral
- Look at a couple of theorems about the definite integral
- Do an example
- Look at properties of definite integrals
That’s quite a lot, but we are more or less going to follow along with Stewart. Stewart just has a slightly different style to mine, so I recommend reading his for more detail, and mine for potentially a bit more intuition.
So, let’s begin…
We have seen in previous lectures/sections/semesters/lives that we can approximate the area under a curve by splitting it up into rectangular regions. Here are examples of splitting up one function into rectangles (and, in the last way trapezoids, but you don’t have to worry about this).…
The Fundamental Theory of Calculus part 2 (part ii)
OK, get ready for some Calculus-Fu!
We have now said that rather than taking pesky limits of Riemann sums to calculate areas under curves (ie. definite integrals), all we need is to find an antiderivative of the function that we are looking at.
As a reminder, to calculate the definite integral of a continuous function, we have:
where is any antiderivative of
Remember that to calculate the area under the curve of from, let’s say 2 to 5, we had to write:
And at that point we had barely even started because we still had to actually evaluate this sum, which is a hell of a calculation…then we have to calculate the limit. What a pain.
Now, we are told that all we have to do is to find any antiderivative of and we are basically done.
Can we find a function which, when we take its derivative gives us ?…
The Fundamental Theory of Calculus part 2 (part i)
OK, now we come onto the part of the FTC that you are going to use most. We are finally going to show the direct link between the definite integral and the antiderivative. I know that you’ve been holding your breaths until this moment. Get ready to breath a sign of relief:
The Fundamental Theorem of Calculus, Part 2 (also known as the Evaluation Theorem)
If is continuous on then
where is any antiderivative of . Ie any function such that .
————-
This means that, very excitingly, now to calculate the area under the curve of a continuous function we no longer have to do any ghastly Riemann sums. We just have to find an antiderivative!
OK, let’s prove this one straight away.
We’ll define:
and we know from the FTC part 1 how to take derivatives of this. It’s just . This says that is an antiderivative of .…
The Fundamental Theorem of Calculus part 1 (part iii)
So, we are now ready to prove the FTC part 1. We’re going to follow the proof in Stewart and add in some discussion as we go along to motivate what we are doing. What we are going to prove is that:
for when is continuous on .
Proof:
we define and we want to find the derivative of . We will do this by using the fundamental definition of the derivative, so let’s look at calculating this function at and – ie. how much does it change when we change by a little bit?
But remember that the definite integral is just the area, so this difference is the area between a and x+h minus the area between a and x. Which is just the area between x and x+h. Using the properties of integrals, we can write this formally as:
and we can write, for :
Restated, we can think of this as the area between x and x+h divided by h.…
The Fundamental Theorem of Calculus part 1 (part ii)
OK, so up to now we can’t actually use the FTC (Fundamental Theorem of Calculus) to calculate any areas. That will come from the FTC part 2.
For now, let’s take some examples and see what the FTC is saying. I’ll restate it here:
The Fundamental Theorem of Calculus, part 1
If is continuous on then the function defined by:
, for
is continuous on and differentiable on , and .
——
Let’s look at some examples. We’re going to take an example that we can calculate using a Riemann sum. Let’s choose .
If we integrate this from to some point – ie. calculate the area under the curve, we get:
.
Make sure that you can indeed get this by calculating the Riemann sum.
So, what does the FTC part 1 tell us? It says that if we take the derivative of this area, with respect to the upper limit, , then we get back .…
Prime Suspects – The anatomy of integers and permutations, by Andrew Granville and Jennifer Granville, illustrated by Robert Lewis – a review
NB I was sent this book as a review copy.
What a spectacular book! I am rather blown away by it. This is a graphic novel written about two bodies discovered by cops in an American city some time around the present day, and the forensic investigation which goes into solving the case, and somehow the authors have managed to make the whole book about number theory and combinatorics.
I have to admit that when I started reading the book I was worried that it was going to have the all-too-common flaw of starting off very simple and then suddenly getting way too complicated for the average reader, but they have managed to somehow avoid that remarkably well.
It is however a book that should be read with pen and paper, or preferably computer by one’s side. As I read through and mathematical claims were made, about prime factors of the integers and about cycle groups of permutations, I coded up each one to see if I was following along, and I would recommend this to be a good way to really follow the book.…
The Fundamental Theorem of Calculus, part 1 (part i)
We’ve seen some intriguing things in this course so far, and we’ve developed some clever tricks, from how to find the gradient of just about any function we can throw at you, to proving statements to be true for an infinite number of cases.
To some extent, this is what we have looked at so far (at least in terms of calculus, and building up to calculus):
However, we’re about to see some magic. We’re about to see the most important thing yet on this course, and indeed one of the most important moments in all of mathematical history.
We are going to see…actually, we are going to prove, that there is a relationship between rates of change and the area under a graph. This doesn’t sound that amazing, but its consequences have essentially allowed for the development of much of modern mathematics over the last 350 years.
The link that we are going to prove will allow us to find the area under graphs of functions for which taking the Riemann sum would be really hard.…