Topics covered: Green's theorem
Instructor: Prof. Denis Auroux
Lecture Notes - Week 9 Summary (PDF)
The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high quality educational resources for free. To make a donation or to view additional materials from hundreds of MIT courses, visit MIT OpenCourseWare at ocw.mit.edu. OK, so last time we've seen the curl of the vector field with components M and N. We defined that to be N sub x minus M sub y. And, we said this measures how far that vector field is from being conservative. If the curl is zero, and if the field is defined everywhere, then it's going to be conservative. And so, when I take the line integral along a closed curve, I don't have to compute it. I notes going to be zero. But now, let's say that I have a general vector field. So, the curl will not be zero. And, I still want to compute the line integral along a closed curve. Well, I could compute it directly or there's another way. And that's what we are going to see today. So, say that I have a closed curve, C, and I want to find the work. So, there's two options. One is direct calculation, and the other one is Green's theorem. So, Green's theorem is another way to avoid calculating line integrals if we don't want to. OK, so what does it say? It says if C is a closed curve enclosing a region R in the plane, and I have to insist C should go counterclockwise. And, if I have a vector field that's defined and differentiable everywhere not only on the curve, C, which is what I need to define the line integral, but also on the region inside. Then -- -- the line integral for the work done along C is actually equal to a double integral over the region inside of curl F dA. OK, so that's the conclusion. And, if you want me to write it in coordinates, maybe I should do that. So, the line integral in terms of the components, that's the integral of M dx plus N dy. And, the curl is (Nx-My)dA. OK, so that's the other way to state it. So, that's a really strange statement if you think about it because the left-hand side is a line integral. OK, so the way we compute it is we take this expression Mdx Ndy and we parameterize the curve. We express x and y in terms of some variable, t, maybe, or whatever you want to call it. And then, you'll do a one variable integral over t. This right-hand side here, it's a double integral, dA. So, we do it the way that we learn how to couple of weeks ago. You take your region, you slice it in the x direction or in the y direction, and you integrate dx dy after setting up the bounds carefully, or maybe in polar coordinates r dr d theta. But, see, the way you compute these things is completely different. This one on the left-hand side lives only on the curve, while the right-hand side lives everywhere in this region inside. So, here, x and y are related, they live on the curve. Here, x and y are independent. There just are some bounds between them. And, of course, what you're integrating is different. It's a line integral for work. Here, it's a double integral of some function of x and y. So, it's a very perplexing statement at first. But, it's a very powerful tool. So, we're going to try to see how it works concretely, what it says, what are the consequences, how we could convince ourselves that, yes, this works, and so on. That's going to be the topic for today. Any questions about the statement first? No? OK, yeah, one remark, sorry. So, here, it stays counterclockwise. What if I have a curve that goes clockwise? Well, you could just take the negative, and integrate counterclockwise. Why does the theorem choose counterclockwise over clockwise? How doesn't know that it's counterclockwise rather than clockwise? Well, the answer is basically in our convention for curl. See, we've said curl is Nx minus My, and not the other way around. And, that's a convention as well. So, somehow, the two conventions match with each other. That's the best answer I can give you. So, if you met somebody from a different planet, they might have Green's theorem with the opposite conventions, with curves going clockwise, and the curl defined the other way around. Probably if you met an alien, I'm not sure if you would be discussing Green's theorem first, but just in case. OK, so that being said, there is a warning here which is that this is only for closed curves. OK, so if I give you a curve that's not closed, and I tell you, well, compute the line integral, then you have to do it by hand. You have to parameterize the curve. Or, if you really don't like that line integral, you could close the path by adding some other line integral to it, and then compute using Green's theorem. But, you can't use Green's theorem directly if the curve is not closed. OK, so let's do a quick example. So, let's say that I give you C, the circle of radius one, centered at the point (2,0). So, it's out here. That's my curve, C. And, let's say that I do it counterclockwise so that it will match with the statement of the theorem. And, let's say that I want you to compute the line integral along C of ye^(-x) dx plus (one half of x squared minus e^(-x)) dy. And, that's a kind of sadistic example, but maybe I'll ask you to do that. So, how would you do it directly? Well, to do it directly you would have to parameterize this curve. So that would probably involve setting x equals two plus cosine theta y equals sine theta. But, I'm using as parameter of the angle around the circle, it's like the unit circle, the usual ones that shifted by two in the x direction. And then, I would set dx equals minus sine theta d theta. I would set dy equals cosine theta d theta. And, I will substitute, and I will integrate from zero to 2pi. And, I would probably run into a bit of trouble because I would have these e to the minus x, which would give me something that I really don't want to integrate. So, instead of doing that, which looks pretty much doomed, instead, I'm going to use Green's theorem. So, using Green's theorem, the way we'll do it is I will, instead, compute a double integral. So, I will -- -- compute the double integral over the region inside of curl F dA. So, I should say probably what F was. So, let's call this M. Let's call this N. And, then I will actually just choose the form coordinates, (Nx minus My) dA. And, what is R here? Well, R is the disk in here. OK, so, of course, it might not be that pleasant because we'll also have to set up this double integral. And, for that, we'll have to figure out a way to slice this region nicely. We could do it dx dy. We could do it dy dx. Or, maybe we will want to actually make a change of variables to first shift this to the origin, you know, change x to x minus two and then switch to polar coordinates. Well, let's see what happens later. OK, so what is, so this is R. So, what is N sub x? Well, N sub x is x plus e to the minus x minus, what is M sub y, e to the minus x, OK? This is Nx. This is My dA. Well, it seems to simplify a bit. I will just get double integral over R of x dA, which looks certainly a lot more pleasant. Of course, I made up the example in that way so that it simplifies when you use Green's theorem. But, you know, it gives you an example where you can turn are really hard line integral into an easier double integral. Now, how do we compute that double integral? Well, so one way would be to set it up. Or, let's actually be a bit smarter and observe that this is actually the area of the region R, times the x coordinate of its center of mass. If I look at the definition of the center of mass, it's the average value of x. So, it's one over the area times the double integral of x dA, well, possibly with the density, but here I'm thinking uniform density one. And, now, I think I know just by looking at the picture where the center of mass of this circle will be, right? I mean, it would be right in the middle. So, that is two, if you want, by symmetry. And, the area of the guy is just pi because it's a disk of radius one. So, I will just get 2pi. I mean, of course, if you didn't see that, then you can also compute that double integral directly. It's a nice exercise. But see, here, using geometry helps you to actually streamline the calculation. OK, any questions? Yes? OK, yes, let me just repeat the last part. So, I said we had to compute the double integral of x dA over this region here, which is a disk of radius one, centered at, this point is (2,0). So, instead of setting up the integral with bounds and integrating dx dy or dy dx or in polar coordinates, I'm just going to say, well, let's remember the definition of a center of mass. It's the average value of a function, x in the region. So, it's one over the area of origin times the double integral of x dA. If you look, again, at the definition of x bar, it's one over area of double integral x dA. Well, maybe if there's a density, then it's one over mass times double integral of x density dA. But, if density is one, then it just becomes this. So, switching the area, moving the area to the other side, I'll get double integral of x dA is the area of origin times the x coordinate of the center of mass. The area of origin is pi because it's a unit disk. And, the center of mass is the center of a disk. So, its x bar is two, and I get 2 pi. OK, that I didn't actually have to do this in my example today, but of course that would be good review. It will remind you of center of mass and all that. OK, any other questions? No? OK, so let's see, now that we've seen how to use it practice, how to avoid calculating the line integral if we don't want to. Let's try to convince ourselves that this theorem makes sense. OK, so, well, let's start with an easy case where we should be able to know the answer to both sides. So let's look at the special case. Let's look at the case where curl F is zero. Then, well, we'd like to conclude that F is conservative. That's what we said. Well let's see what happens. So, Green's theorem says that if I have a closed curve, then the line integral of F is equal to the double integral of curl on the region inside. And, if the curl is zero, then I will be integrating zero. I will get zero. OK, so this is actually how you prove that if your vector field has curve zero, then it's conservative. OK, so in particular, if you have a vector field that's defined everywhere the plane, then you take any closed curve. Well, you will get that the line integral will be zero. Straightly speaking, that will only work here if the curve goes counterclockwise. But otherwise, just look at the various loops that it makes, and orient each of them counterclockwise and sum things together. So let me state that again. So, OK, so a consequence of Green's theorem is that if F is defined everywhere in the plane -- -- and the curl of F is zero everywhere, then F is conservative. And so, this actually is the input we needed to justify our criterion. The test that we saw last time saying, well, to check if something is a gradient field if it's conservative, we just have to compute the curl and check whether it's zero. OK, so how do we prove that now carefully? Well, you just take a closed curve in the plane. You switch the orientation if needed so it becomes counterclockwise. And then you look at the region inside. And then you know that the line integral inside will be equal to the double integral of curl, which is the double integral of zero. Therefore, that's zero. But see, OK, so now let's say that we try to do that for the vector field that was on your problems that was not defined at the origin. So if you've done the problem sets and found the same answers that I did, then you will have found that this vector field had curve zero everywhere. But still it wasn't conservative because if you went around the unit circle, then you got a line integral that was 2pi. Or, if you compared the two halves, you got different answers for two parts that go from the same point to the same point. So, it fails this property but that's because it's not defined everywhere. So, what goes wrong with this argument? Well, if I take the vector field that was in the problem set, and if I do things, say that I look at the unit circle. That's a closed curve. So, I would like to use Green's theorem. Green's theorem would tell me the line integral along this loop is equal to the double integral of curl over this region here, the unit disk. And, of course the curl is zero, well, except at the origin. At the origin, the vector field is not defined. You cannot take the derivatives, and the curl is not defined. And somehow that messes things up. You cannot apply Green's theorem to the vector field. So, you cannot apply Green's theorem to the vector field on problem set eight problem two when C encloses the origin. And so, that's why this guy, even though it has curl zero, is not conservative. There's no contradiction. And somehow, you have to imagine that, well, the curl here is really not defined. But somehow it becomes infinite so that when you do the double integral, you actually get 2 pi instead of zero. I mean, that doesn't make any sense, of course, but that's one way to think about it. OK, any questions? Yes? Well, though actually it's not defined because the curl is zero everywhere else. So, if a curl was well defined at the origin, you would try to, then, take the double integral. no matter what value you put for a function, if you have a function that's zero everywhere except at the origin, and some other value at the origin, the integral is still zero. So, it's worse than that. It's not only that you can't compute it, it's that is not defined. OK, anyway, that's like a slightly pathological example. Yes? Well, we wouldn't be able to because the curl is not defined at the origin. So, you can actually integrate it. OK, so that's the problem. I mean, if you try to integrate, we've said everywhere where it's defined, the curl is zero. So, what you would be integrating would be zero. But, that doesn't work because at the origin it's not defined. Yes? Ah, so if you take a curve that makes a figure 8, then indeed my proof over there is false. So, I kind of tricked you. It's not actually correct. So, if the curve does a figure 8, then what you do is you would actually cut it into its two halves. And for each of them, you will apply Green's theorem. And then, you'd still get, if a curl is zero then this line integral is zero. That one is also zero. So this one is zero. OK, small details that you don't really need to worry too much about, but indeed if you want to be careful with details then my proof is not quite complete. But the computation is still true. Let's move on. So, I want to tell you how to prove Green's theorem because it's such a strange formula that where can it come from possibly? I mean, so let me remind you first of all the statement we want to prove is that the line integral along a closed curve of Mdx plus Ndy is equal to the double integral over the region inside of (Nx minus My)dA. And, let's simplify our lives a bit by proving easier statements. So actually, the first observation will actually prove something easier, namely, that the line integral, let's see, of Mdx along a closed curve is equal to the double integral over the region inside of minus M sub y dA. OK, so that's the special case where N is zero, where you have only an x component for your vector field. Now, why is that good enough? Well, the claim is if I can prove this, I claim you will be able to do the same thing to prove the other case where there is only the y component. And then, if the other together, you will get the general case. So, let me explain. OK, so a similar argument which I will not do, to save time, will show, so actually it's just the same thing but switching the roles of x and y, that if I integrate along a closed curve N dy, then I'll get the double integral of N sub x dA. And so, now if I have proved these two formulas separately, then if you sum them together will get the correct statement. Let me write it. We get Green's theorem. OK, so we've simplified our task a little bit. We'll just be trying to prove the case where there's only an x component. So, let's do it. Well, we have another problem which is the region that we are looking at, the curve that we're looking at might be very complicated. If I give you, let's say I give you, I don't know, a curve that does something like this. Well, it will be kind of tricky to set up a double integral over the region inside. So maybe we first want to look at curves that are simpler, that will actually allow us to set up the double integral easily. So, the second observation, so that was the first observation. The second observation is that we can decompose R into simpler regions. So what do I mean by that? Well, let's say that I have a region and I'm going to cut it into two. So, I'll have R1 and R2. And then, of course, I need to have the curves that go around them. So, I had my initial curve, C, was going around everybody. They have curves C1 that goes around R1, and C2 goes around R2. OK, so, what I would like to say is if we can prove that the statement is true, so let's see, for C1 and also for C2 -- -- then I claim we can prove the statement for C. How do we do that? Well, we just add these two equalities together. OK, why does that work? There's something fishy going on because C1 and C2 have this piece here in the middle. That's not there in C. So, if you add the line integral along C1 and C2, you get these unwanted pieces. But, the good news is actually you go twice through that edge in the middle. See, it appears once in C1 going up, and once in C2 going down. So, in fact, when you will do the work, when you will sum the work, you will add these two guys together. They will cancel. OK, so the line integral along C will be, then, it will be the sum of the line integrals on C1 and C2. And, that will equal, therefore, the double integral over R1 plus the double integral over R2, which is the double integral over R of negative My. OK and the reason for this equality here is because we go twice through the inner part. What do I want to say? Along the boundary between R1 and R2 -- -- with opposite orientations. So, the extra things cancel out. OK, so that means I just need to look at smaller pieces if that makes my life easier. So, now, will make my life easy? Well, let's say that I have a curve like that. Well, I guess I should really draw a pumpkin or something like that because it would be more seasonal. But, well, I don't really know how to draw a pumpkin. OK, so what I will do is I will cut this into smaller regions for which I have a well-defined lower and upper boundary so that I will be able to set up a double integral, dy dx, easily. So, a region like this I will actually cut it here and here into five smaller pieces so that each small piece will let me set up the double integral, dy dx. OK, so we'll cut R in to what I will call vertically simple -- -- regions. So, what's a vertically simple region? That's a region that's given by looking at x between a and b for some values of a and b. And, for each value of x, y is between some function of x and some other function of x. OK, so for example, this guy is vertically simple. See, x runs from this value of x to that value of x. And, for each x, y goes between this value to that value. And, same with each of these. OK, so now we are down to the main step that we have to do, which is to prove this identity if C is, sorry, if -- -- if R is vertically simple -- -- and C is the boundary of R going counterclockwise. OK, so let's look at how we would do it. So, we said vertically simple region looks like x goes between a and b, and y goes between two values that are given by functions of x. OK, so this is y equals f2 of x. This is y equals f1 of x. This is a. This is b. Our region is this thing in here. So, let's compute both sides. And, when I say compute, of course we will not get numbers because we don't know what M is. We don't know what f1 and f2 are. But, I claim we should be able to simplify things a bit. So, let's start with the line integral. How do I compute the line integral along the curve that goes all around here? Well, it looks like there will be four pieces. OK, so we actually have four things to compute, C1, C2, C3, and C4. OK? Well, let's start with C1. So, if we integrate on C1 Mdx, how do we do that? Well, we know that on C1, y is given by a function of x. So, we can just get rid of y and express everything in terms of x. OK, so, we know y is f1 of x, and x goes from a to b. So, that will be the integral from a to b of, well, I have to take the function, M. And so, M depends normally on x and y. Maybe I should put x and y here. And then, I will plug y equals f1 of x dx. And, then I have a single variable integral. And that's what I have to compute. Of course, I cannot compute it here because I don't know what this is. So, it has to stay this way. OK, next one. The integral along C2, well, let's think for a second. On C2, x equals b. It's constant. So, dx is zero, and you would integrate, actually, above a variable, y. But, well, we don't have a y component. See, this is the reason why we made the first observation. We got rid of the other term because it's simplifies our life here. So, we just get zero. OK, just looking quickly ahead, there's another one that would be zero as well, right? Which one? Yeah, C4. This one gives me zero. What about C3? Well, C3 will look a lot like C1. So, we're going to use the same kind of thing that we did with C. OK, so along C3, well, let's see, so on C3, y is a function of x, again. And so we are using as our variable x, but now x goes down from b to a. So, it will be the integral from b to a of M of (x and f2 of x) dx. Or, if you prefer, that's negative integral from a to b of M of (x and f2 of x) dx. OK, so now if I sum all these pieces together, I get that the line integral along the closed curve is the integral from a to b of M(x1f1 of x) dx minus the integral from a to b of M(x1f2 of x) dx. So, that's the left hand side. Next, I should try to look at my double integral and see if I can make it equal to that. So, let's look at the other guy, double integral over R of negative MydA. Well, first, I'll take the minus sign out. It will make my life a little bit easier. And second, so I said I will try to set this up in the way that's the most efficient. And, my choice of this kind of region means that it's easier to set up dy dx, right? So, if I set it up dy dx, then I know for a given value of x, y goes from f1 of x to f2 of x. And, x goes from a to b, right? Is that OK with everyone? OK, so now if I compute the inner integral, well, what do I get if I get partial M partial y with respect to y? I'll get M back, OK? So -- So, I will get M at the point x f2 of x minus M at the point x f1 of x. And so, this becomes the integral from a to b. I guess that was a minus sign, of M of (x1f2 of x) minus M of (x1f1 of x) dx. And so, that's the same as up there. And so, that's the end of the proof because we've checked that for this special case, when we have only an x component and a vertically simple region, things work. Then, we can remove the assumption that things are vertically simple using this second observation. We can just glue the various pieces together, and prove it for any region. Then, we do same thing with the y component. That's the first observation. When we add things together, we get Green's theorem in its full generality. OK, so let me finish with a cool example. So, there's one place in real life where Green's theorem used to be extremely useful. I say used to because computers have actually made that obsolete. But, so let me show you a picture of this device. This is called a planimeter. And what it does is it measures areas. So, it used to be that when you were an experimental scientist, you would run your chemical or biological experiment or whatever. And, you would have all of these recording devices. And, the data would go, well, not onto a floppy disk or hard disk or whatever because you didn't have those at the time. You didn't have a computer in your lab. They would go onto a piece of graph paper. So, you would have your graph paper, and you would have some curve on it. And, very often, you wanted to know, what's the total amount of product that you have synthesized, or whatever the question might be. It might relate with the area under your curve. So, you'd say, oh, it's easy. Let's just integrate, except you don't have a function. You can put that into calculator. The next thing you could do is, well, let's count the little squares. But, if you've seen a piece of graph paper, that's kind of time-consuming. So, people invented these things called planimeters. It's something where there is a really heavy thing based at one corner, and there's a lot of dials and gauges and everything. And, there's one arm that you move. And so, what you do is you take the moving arm and you just slide it all around your curve. And, you look at one of the dials. And, suddenly what comes, as you go around, it gives you complete garbage. But when you come back here, that dial suddenly gives you the value of the area of this region. So, how does it work? This gadget never knows about the region inside because you don't take it all over here. You only take it along the curve. So, what it does actually is it computes a line integral. OK, so it has this system of wheels and everything that compute for you the line integral along C of, well, it depends on the model. But some of them compute the line integral of x dy. Some of them compute different line integrals. But, they compute some line integral, OK? And, now, if you apply Green's theorem, you see that when you have a counterclockwise curve, this will be just the area of the region inside. And so, that's how it works. I mean, of course, now you use a computer and it does the sums. Yes? That costs several thousand dollars, possibly more. So, that's why I didn't bring one.
This is one of over 2,200 courses on OCW. Find materials for this course in the pages linked along the left.
MIT OpenCourseWare is a free & open publication of material from thousands of MIT courses, covering the entire MIT curriculum.
No enrollment or registration. Freely browse and use OCW materials at your own pace. There's no signup, and no start or end dates.
Knowledge is your reward. Use OCW to guide your own life-long learning, or to teach others. We don't offer credit or certification for using OCW.
Made for sharing. Download files for later. Send to friends and colleagues. Modify, remix, and reuse (just remember to cite OCW as the source.)
Learn more at Get Started with MIT OpenCourseWare