For more information, please see full course syllabus of Multivariable Calculus

For more information, please see full course syllabus of Multivariable Calculus

### Green's Theorem

^{2}) over the curve C:x

^{2}+ y

^{2}= 9.

- Green's Theorem allows us to find ∫
_{C}F by integrating dydx for the region R to the left of the curve C on the vector field F(x,y) = (f_{1}(x,y),f_{2}(x,y)). - Since f
_{1}(x,y) = y, then [(df_{1})/dy] = 1. Also f_{2}(x,y) = 4x^{2}so [(df_{2})/dx] = 8x. Hence [(df_{2})/dx] − [(df_{1})/dy] = 8x − 1. - To determine our region R and our intervals of integration we note that our curve C is a circle centered at the origin and with radius 3.
- Using polar coordinates allows us to faciliate the integral as r ∈ [0,3] and θ ∈ [0,2π]. Also 8x − 1 = 8rcosθ− 1.
- Hence dydx = ∫
_{0}^{2π}∫_{0}^{3}( 8rcosθ− 1 ) rdrdθ = ∫_{0}^{2π}∫_{0}^{3}( 8r^{2}cosθ− r ) drdθ.

_{0}

^{2π}( [8/3]r

^{3}cosθ− [(r

^{2})/2] ) |

_{0}

^{3}dθ = ∫

_{0}

^{2π}( 72cosθ− [9/2] ) dθ = ( 72sinθ− [9/2]θ ) |

_{0}

^{2π}= − 9π. So ∫

_{C}F = − 9π.

^{2}y

^{2},3xy) over the curve C = C

_{1}+ C

_{2}+ C

_{3}described by:

- Green's Theorem allows us to find ∫
_{C}F by integrating dydx for the region R to the left of the curve C on the vector field F(x,y) = (f_{1}(x,y),f_{2}(x,y)). - Since f
_{1}(x,y) = − x^{2}y^{2}, then [(df_{1})/dy] = − 2x^{2}y. Also f_{2}(x,y) = 3xy so [(df_{2})/dx] = 3y. Hence [(df_{2})/dx] − [(df_{1})/dy] = 3y − 2x^{2}y. - To determine our intervals of integration we note that our region R is between the lines y = − x + 2 and y = 2.
- Hence our intervals of integration are y ∈ [ − x + 2,2] and x ∈ [0,2].
- Hence dydx = ∫
_{0}^{2}∫_{ − x + 2}^{2}( 3y − 2x^{2}y ) dydx. - Integrating yields ∫
_{0}^{2}( [3/2]y^{2}− x^{2}y^{2}) |_{ − x + 2}^{2}dx = ∫_{0}^{2}( [ [3/2](2)^{2}− x^{2}(2)^{2}] − [ [3/2]( − x + 2)^{2}− x^{2}( − x + 2)^{2}] ) dx = ∫_{0}^{2}( x^{4}− 4x^{3}− [3/2]x^{2}+ 6x ) dx

_{0}

^{2}( x

^{4}− 4x

^{3}− [3/2]x

^{2}+ 6x ) dx = ( [1/5]x

^{5}− x

^{4}− [1/2]x

^{3}+ 3x

^{2}) |

_{0}

^{2}= − [8/5]. So ∫

_{C}F = − [8/5].

_{1}+ C

_{2}+ C

_{3}described by:

- Green's Theorem allows us to find ∫
_{C}F by integrating dydx for the region R to the left of the curve C on the vector field F(x,y) = (f_{1}(x,y),f_{2}(x,y)). - Since f
_{1}(x,y) = 5, then [(df_{1})/dy] = 0. Also f_{2}(x,y) = x + y so [(df_{2})/dx] = 1. Hence [(df_{2})/dx] − [(df_{1})/dy] = 1 − 0 = 1. - To determine our intervals of integration we note that our region R is between the curves
^{3}√{y} = x and √{1 − y} = x. Hint: solve for x in our given equations. - Hence our intervals of integration are x ∈ [
^{3}√{y},√{1 − y} ] and y ∈ [0,0.43]. - Hence dydx = ∫
_{0}^{0.43}∫_{3√{y}}^{√{1 − y} }1 dxdy.

_{0}

^{0.43}( x ) |

_{3√{y}}

^{√{1 − y} }dy = ∫

_{0}

^{0.43}( √{1 − y} −

^{3}√{y} ) dy = ( − [2/3]( 1 − y )

^{3 \mathord/ \protectphantom 3 22}− [3/4]y

^{4 \mathord/ \protectphantom 4 33}) |

_{0}

^{0.43}>> − 0.53. So ∫

_{C}F = − 0.53.

_{1}+ C

_{2}described by:

- Green's Theorem allows us to find ∫
_{C}F by integrating dydx for the region R to the left of the curve C on the vector field F(x,y) = (f_{1}(x,y),f_{2}(x,y)). - Since f
_{1}(x,y) = − x − y, then [(df_{1})/dy] = − 1. Also f_{2}(x,y) = 5 so [(df_{2})/dx] = 0. Hence [(df_{2})/dx] − [(df_{1})/dy] = 0 − ( − 1) = 1. - To determine our intervals of integration we note that our region R is between the line y = 0 and y = 2√{1 − (x − 3)
^{2}} . Hint: solve for y in our given equation. - Hence our intervals of integration are y ∈ [ 0,2√{1 − (x − 3)
^{2}} ] and x ∈ [2,4].

_{C}F = dydx = ∫

_{2}

^{4}∫

_{0}

^{2√{1 − (x − 3)2} }1 dydx.

_{C}F = dA for C = C

_{1}+ C

_{2}+ C

_{3}+ C

_{4}described below using rectangular coordinates and dA = dydx.

- In order to apply Green's theorem with rectangular coordinates, we must split the region R into three components R
_{1}, R_{2}and R_{3}as shown here - Note that each component has it's own individual path (represented by the black, blue and red arrows) and thus ∫
_{C}F = dA + dA + dA. - Since dA = dydx we look at each region idependently. For R
_{1}, the region lies between the line y = 0 and the top semicircle y = √{9 − x^{2}} and x takes the values from − 3 to − 1. - For R
_{2}, the region lies between the top seimicircle y = √{1 − x^{2}} and the top semicircle y = √{9 − x^{2}} and x takes the values from − 1 to 1. - For R
_{3}, the region lies between the line y = 0 and the top semicircle y = √{9 − x^{2}} and x takes the values from 1 to 3.

_{C}F = ∫

_{ − 3}

^{ − 1}∫

_{0}

^{√{9 − x2} }( [(df

_{2})/dx] − [(df

_{1})/dy] ) dydx + ∫

_{ − 1}

^{1}∫

_{√{1 − x2} }

^{√{9 − x2} }( [(df

_{2})/dx] − [(df

_{1})/dy] ) dydx + ∫

_{1}

^{3}∫

_{0}

^{√{9 − x2} }( [(df

_{2})/dx] − [(df

_{1})/dy] ) dydx .

_{C}F = dA for C = C

_{1}+ C

_{2}+ C

_{3}+ C

_{4}described below using polar coordinates and dA = rdrdθ .

- We can apply Green's Theorem with polar coordinates by subtracting the region generated by the circle of radius 3 with the region generated by the circle of radius 1, that is ∫
_{C}F = ∫_{C4}F + ∫_{C2− }F . - So we have ∫
_{C}F = ∫_{C4}F − ∫_{C2}F = dA. Note that θ ∈ [0,π] for R and that r ∈ [1,3].

_{C}F = ∫

_{0}

^{π}∫

_{1}

^{3}( [(df

_{2})/dx] − [(df

_{1})/dy] ) rdrdθ .

_{C}F for the vector field F(x,y) = (x

^{2}− y,y

^{2}+ x) over the curve C described below. Hint: ∫cos

^{2}u du = [1/2]u + [1/4]sin(2u) + C:

- Using Green's Theorem we have ∫
_{C}F = dA. - Now f
_{1}(x,y) = x^{2}− y and so [(df_{1})/dy] = − 1. Also f_{2}(x,y) = y^{2}+ x so [(df_{2})/dx] = 1. Hence [(df_{2})/dx] − [(df_{1})/dy] = 1 − ( − 1) = 2. - Using polar coordinates faciliates the integral as r ∈ [0,cos2θ] and θ ∈ [ − [(π)/4],[(π)/4] ].
- Hence dA = ∫
_{ − π \mathord/ phantom − π 4 4}^{π\mathord/ phantom π4 4}∫_{0}^{cos2θ}2 rdrdθ.

_{ − π \mathord/ \protectphantom − π 4 4}

^{π\mathord/ \protectphantom π4 4}( r

^{2}) |

_{0}

^{cos2θ}dθ = ∫

_{0}

^{2π}cos

^{2}2θ dθ = [1/2]( [1/2](2θ) + [1/4]sin(2(2θ)) ) |

_{ − π \mathord/ \protectphantom − π 4 4}

^{π\mathord/ \protectphantom π4 4}= [1/2]( θ+ [1/4]sin(4θ) ) |

_{ − π \mathord/ \protectphantom − π 4 4}

^{π\mathord/ \protectphantom π4 4}= [(π)/4]. So ∫

_{C}F = [(π)/4].

_{C}F for the vector field F(x,y) = (1 − cos(x),sin(y)) over the curve C described by:

- Using Green's Theorem we have ∫
_{C}F = dA. - Now f
_{1}(x,y) = 1 − cos(x) and so [(df_{1})/dy] = 0. Also f_{2}(x,y) = sin(y) so [(df_{2})/dx] = 0. Hence [(df_{2})/dx] − [(df_{1})/dy] = 0. - It follows that no matter what our region of integration is, the integral will always yield zero.

_{C}F for the vector field F(x,y) = (e

^{y},xe

^{y}) over the curve C described by:

- Using Green's Theorem we have ∫
_{C}F = dA. - Now f
_{1}(x,y) = e^{y}and so [(df_{1})/dy] = 0. Also f_{2}(x,y) = xe^{y}so [(df_{2})/dx] = e^{y}. Hence [(df_{2})/dx] − [(df_{1})/dy] = e^{y}− (0) = e^{y}. - Using rectangular coordinates faciliates the integral as y ∈ [0,1] and x ∈ [ 0,2 ].
- Hence dA = ∫
_{0}^{2}∫_{0}^{1}e^{y}dydx.

_{0}

^{2}∫

_{0}

^{1}e

^{y}dydx = ∫

_{0}

^{2}( e − 1 ) dx = ( xe − x ) |

_{0}

^{2}= 2e − 2. So ∫

_{C}F = 2(e − 1).

_{C}F for the vector field F(x,y) = (x

^{3}− y

^{3},x

^{2}+ y

^{2}) over the curve C described below in polar coordinates.

- Using Green's Theorem we have ∫
_{C}F = dA. - Now f
_{1}(x,y) = x^{3}− y^{3}and so [(df_{1})/dy] = − 3y^{2}. Also f_{2}(x,y) = x^{2}+ y^{2}so [(df_{2})/dx] = 2x. Hence [(df_{2})/dx] − [(df_{1})/dy] = 2x − ( − 3y^{2}) = 2x + 3y^{2}. - Using polar coordinates gives θ ∈ [0,2π] and r ∈ [ 0,[2/(√{4cos
^{2}θ+ sin^{2}θ} )] ]. Note, convert x^{2}+ [(y^{2})/4] = 1 into polar terms and solve for r. - Also 2x + 3y
^{2}= 2(rcosθ) + 3(rsinθ)^{2}= 2rcosθ+ 3r^{2}sin^{2}θ. - Hence dA = ∫
_{0}^{2π}∫_{0}^{[2/(√{4cos2θ+ sin2θ} )]}( 2rcosθ+ 3r^{2}sin^{2}θ ) rdrdθ.

_{0}

^{2π}∫

_{0}

^{[2/(√{4cos2θ+ sin2θ} )]}( 2r

^{2}cosθ+ 3r

^{3}sin

^{2}θ ) drdθ .

_{C}F for the vector field F(x,y) = (x − y,x + y) over the curve C described by:

^{2}u du = [1/2]u − [1/4]sin(2u) + C

- Using Green's Theorem we have ∫
_{C}F = dA. - Now f
_{1}(x,y) = x − y and so [(df_{1})/dy] = − 1. Also f_{2}(x,y) = x + y so [(df_{2})/dx] = 1. Hence [(df_{2})/dx] − [(df_{1})/dy] = 1 − ( − 1) = 2. - Using polar coordinates faciliates the integral as θ ∈ [ [(π)/6],[(5π)/6] ] and r ∈ [ 3sinθ,1 + sinθ ]. Note that to find the intervals of integration for θ, we eθuate 3sinθ with 1 + sinθ and solve for θ .
- Hence dA = ∫
_{π\mathord/ phantom π6 6}^{5π \mathord/ phantom 5π 6 6}∫_{3sinθ}^{1 + sinθ}2 r drdθ . - Integrating yields ∫
_{π\mathord/ phantom π6 6}^{5π \mathord/ phantom 5π 6 6}∫_{3sinθ}^{1 + sinθ}2 r drdθ = ∫_{π\mathord/ phantom π6 6}^{5π \mathord/ phantom 5π 6 6}r^{2}|_{3sinθ}^{1 + sinθ}dθ = ∫_{π\mathord/ phantom π6 6}^{5π \mathord/ phantom 5π 6 6}( 1 − 2sinθ− 8sin^{2}θ ) dθ = ( θ+ 2cosθ− 8[ [1/2]θ− [1/4]sin(2θ) ] ) |_{π\mathord/ phantom π6 6}^{5π \mathord/ phantom 5π 6 6}

_{C}F = ( − 3θ+ 2cosθ+ 2sin(2θ) ) |

_{π\mathord/ protectphantom π6 6}

^{5π \mathord/ \protectphantom 5π 6 6}= − 2π− 4√3 .

*These practice questions are only helpful when you work on them offline on a piece of paper and then use the solution steps function to check your answer.

Answer

### Green's Theorem

Lecture Slides are screen-captured images of important points in the lecture. Students can download and print out these lecture slide images to do practice problems as well as take notes while watching the lecture.

- Intro 0:00
- Green's Theorem 0:38
- Introduction to Green's Theorem and Notations
- Green's Theorem
- Example 1: Find the Integral of the Vector Field around the Ellipse
- Verifying Green's Theorem with Example 1
- A More General Version of Green's Theorem
- Example 2
- Example 3
- Example 4

### Multivariable Calculus

### Transcription: Green's Theorem

*Hello, and welcome back to educator.com and multivariable calculus.*0000

*So, today's lesson we are going to be talking about Green's Theorem. Absolutely fantastic theorem. Very, very important.*0004

*Green's theorem is the fundamental theorem of calculus in 2 dimensions. *0011

*Single variable calculus, you did the fundamental theorem of calculus. In 2 dimensions it is called Green's theorem. In 3 dimensions it is called Stoke's theorem.*0017

*As it turns out, the fundamental theorem of calculus it actually true in any number of dimensions, and the name of that is called the generalized Stoke's theorem.*0025

*So, let us just jump in, and work some examples. Okay. So, let us start off with by defining what it is that we are going to be doing here.*0035

*So, let f(x,y) = f1(x,y) and f2(x,y), so this is just the standard vector field that we have been dealing with all along.*0045

*This is the first coordinate function, and this is the second coordinate function of your basic vector field.*0063

*Let it be a vector field -- okay, oops, go ahead and put this here -- and let c(t) be a curve.*0069

*Again, nothing new, we have been dealing with this all along. *0090

*Now, we said that the line integral, so the integral of f along c, well that is equal to the integral from a to b, a to b is the interval over which the curve is defined, of f(c(t)) · c'(t) dt.*0095

*Your standard line integral that we have been doing all along. Well, we also introduced another notation for this, so I am going to go ahead and use this particular notation and the reason I am going to use it... I am sort of going to be going back and forth when I discuss line integrals with respect to Green's theorem.*0119

*The reason I am going to be doing that is most books, they use the notation that I am about to show you right now. We have seen it before, but we have not really used it all that much, but just to remind you, so we also introduced the notation instead of this, the integral of c, the integral of f/c... we also used the notation f dx + g dy.*0136

*In this particular case, since we are using f1 and f2, it is going to be f1 dx + f2 dy. That is it. It is just another notation that is used for representing the line integral.*0175

*The actual evaluation of the integral is this one. This is the most important part.*0192

*Okay. So, now I will go ahead and I will state Green's theorem.*0198

*Let f1 and f2 be continuous -- hmm, let me write continuously a little bit better than this -- be continuously differentiable functions over a region R and let c be the boundary of that region.*0205

*In other words, c is a closed curve. So, in other words, c is a closed path, a closed curve -- I will write closed path here... like that.*0260

*If we traverse the boundary, if we traverse c in the counterclockwise direction... this is very, very important... in the counterclockwise direction so that R, the region, is always to the left of the curve... is always left of c. *0276

*Then, and here is the big one -- move to the next page to actually write this one out -- the integral f1 dx + f2 dy = the double integral over the actual region of... I am going to write this a little bit better... df2 dx - df1 dy dy dx.*0316

*So, let me go ahead and draw the region and I am just going to talk about it a little bit here.*0362

*Let us just make this region like that. This is our region R, and this is our curve c, which happens to be the boundary of that region.*0367

*We are traversing it in this direction. We are moving this way, and as we move this way, the region is always going to be to the left of the curve so there is orientation. It does matter actually, how this is done.*0376

*When this happens. When you have a given region in 2-space, and when you have these functions f1 and f2 defined over this region, and if you actually have a closed path that contains this particular region, this Green's theorem, here is what it is saying.*0389

*It is saying that if you take the integral, the line integral of this function along this path which we have done already, that is actually equal to the double integral of this thing that if you take the derivative of... if you take the partial derivative of the second function with respect to x, subtract the partial derivative with respect to y of the first function and if you integrate this thing that you get, okay? over the area that is actually enclosed by this curve, those 2 numbers are the same.*0406

*This is profoundly important. Actually it is kind of extraordinary. It is expressing a relationship between the boundary of a region and the area that that boundary contains.*0439

*From a purely theoretical, global standpoint, that is what this is saying.*0450

*It says if I -- let us say I have a line integral, but for some odd reason this line integral is really, really difficult to evaluate, but I need that line integral.*0455

*Well, it says it might be easier if I just actually do a double integral over the area contained by that path. That is what Green's theorem says.*0465

*Again, the integral of f1 dx + f2 dy, which is the integral of the particular function, a vector field, the line integral is equal to the double integral of this integrand, df2 dx - df1 dy, dy dx.*0475

*Instead of doing a line integral, I can do a double integral... and vice-versa. Let us say I need a double integral, if over a particular region but for some odd reason I... it is difficult or I do not want to do it... if I can some how find a boundary then I can go ahead and do the line integral instead. Green's theorem. Profoundly important.*0492

*Okay. Let us just go ahead and do an example here. I think that is the best way to approach this.*0512

*Now, we are going to have a lot to say about Green's theorem and the 3-dimensional version which is called Stoke's theorem. *0518

*We are actually going to be talking about it a fair amount because this is profoundly important in engineering, in physics, in mathematics... I mean this is the fundamental theorem of calculus.*0526

*I mean, it is huge... but we want to develop some facility with it, and again, by gaining some facility with it we will get more comfortable with it and then once we are reasonably comfortable dealing with it technically, we can start to think about it more theoretically. That is what we want.*0535

*Okay. So, Example 1. Find the integral of the vector field -- I am just going to write "vf" for vector field -- of the vector field f which is equal to x ^{2}y, xy^{3} around the ellipse x^{2} + 4y^{2} = 16.*0552

*So, we have this ellipse -- it is going to look something like this -- or actually, no, I am sorry, let us go ahead and put this into standard form just so you are accustomed to seeing it.*0593

*This is going to be x ^{2}/4^{2} + y^{2}/2^{2} = 1, that is the standard form, and yes, I apologize. *0611

*It looks like that, it is going to be an ellipse that is centered at the origin. Its major focal radius is going to be 4 this way, minor focal radius is going to be 2 that way.*0622

*We want to find the integral of this vector field over around the ellipse, so this is a line integral we are asking for, not the region. We are going to do the region.*0634

*We are going to use Green's theorem, and integrate over the region that is contained by this ellipse.*0644

*What we want is the line integral of this vector field around the ellipse. Okay. Let us go ahead and do this.*0648

*Let us see. So, let us go ahead and write Green's theorem again, because it is always a great idea to write down the actual theorem itself over and over again, until you become accustomed to it. *0657

*So I am going to use, the integral of f/c is going to be the double integral over a -- I will call this region that the ellipse contains a -- of d1 so this is f1, this is f2, d1(f2) - d2(f1). That is another way of writing this.*0670

*df2 dx - df1 dy in capital D notation, this is d1f2 - d2f1, right? Take the derivative with respect to the first variable of the second function, the derivative with respect to the second variable of the first function.*0705

*Okay. dy, dx, this is Green's theorem. We are not going to evaluate the line integral, we are going to go ahead and do it as an area integral.*0727

*Let us see what is going on here. Well, let us go ahead and first of all, see how we are going to integrate. We are going to integrate over this region.*0738

*Well, we need to know upper and lower limits here. Well, we know that this is going to be -4, and we know that this is 4. I am going to integrate in the x direction from -4 to 4. That is going to be my dx, the upper lower limits of integration with respect to x. *0746

*As far as y is concerned, I need to find the difference from here. So, this is a function and this upper part is a function. *0763

*I am going to take the... this is going to be my lower limit, that is going to be my upper limit, so I need to express... turn this equation for the ellipse into an explicit relation between y and x. *0776

*Let me go ahead and do that first. So, I have got x ^{2} + 4y^{2} = 16.*0790

*I have got y ^{2} = 16 - x^{2}, all divided by 4, and then when I take the square root of that, I have got + or - the square root of 16 - x^{2}/2.*0800

*My upper integration is going to be sqrt(16) - x ^{2}/2, I am sorry, my lower is going to be the negative of that.*0823

*Let me just write what this integral actually looks like.*0835

*Okay. Before we do that we need to find out of course what d1(f2) - d2(f1) is.*0840

*Let us remind ourselves, we have x... what was our... I think we had x ^{2}y, and we had xy^{3}, was that our...? yes, that is correct.*0850

*So, the derivative of f2 with respect to x is going to be y ^{3} - the derivative with respect to y of f1, which is x^{2}.*0865

*The integral of f/c is equal to -4 to 4 -sqrt(16) - x ^{2}/2 to + sqrt(16) - x^{2}/2.*0879

*d1f2 is d2f1, we get y ^{3} - x^{2} dy dx.*0906

*So, in this particular case we are using Green's theorem. They wanted the integral of our vector field around the ellipse. Well, what we decided to do is to use Green's theorem and calculate it as a double integral.*0914

*Well, when we go ahead and actually put this integral into our mathematical software, we get - 32pi. That is it.*0927

*Now what I am going to do for this particular problem, I am actually going to go back and evaluate this line integral directly, just to verify that they are actually the same. That we are going to end up with a -32pi. Let us go ahead and do that.*0937

*So, let us verify Green's theorem in this case by calculating the line integral directly.*0949

*I tell you, I love math software precisely for this reason. It really lets you concentrate just on the math, and takes care of all of the technical details for you.*0974

*I mean, you remember when you were in calculus... so much of the time that was spent in calculus was just algebra, and converting, converting, converting... I mean you could have 1, 2, 3, pages of just... you know... calculations and conversions.*0984

*It was not really calculus itself, I mean calculus was the integral. It is this that is important, the rest, we should not have to spend all of our time. Unfortunately now we have software, we do not have to spend all of our time doing it.*0998

*So, let us remind ourselves what it is that we have. We have our vector field, which is x ^{2}y and xy^{3}, this is cubed, and we have our c(t), so in this particular case we need the parameterization of the ellipse.*1011

*Well, you remember the parameterization of the ellipse... 4cos(t), 2sin(t), or acos(t), bsin(t) where a and b are the focal radii, the major and minor focal radii of the ellipse.*1029

*We have to have a parameterization because that is how we solve a line integral, and of course t runs from 0 to 2pi, or another notation for that is t is from the integral from 0 to 2pi.*1045

*Now, let us go ahead and calculate f(c(t)). I am going to put these values into here and I am going to get 32cos ^{2}(t), sin(t), and I am going to get 32cos(t), sin^{3}(t).*1064

*Again, this is f(c(t)), this is f, this is c(t), we have done this 1000 times before.*1086

*Now, let us do c'(t). So c'(t), which I prefer to write as dc dt, just a personal choice, we have -4sin(t), you are just taking the derivative of the curve and 2cos(t). *1092

*Then of course when I take the dot product of this, and this, so... when we have f(c) dotted with c', that is going to equal -128cos ^{2}(t), sin^{2}(t) + 64cos^{2}(t), sinc^{3}(t).*1108

*This is actually going to be our integrand, so let us go ahead and calculate this line integral. I will do it on this page here.*1140

*So, the integral of f around c is equal to the integral from 0 to 2pi of this thing that we just had... -128cos ^{2}(t), sin^{2}(t) + 64cos^{2}(t),sin^{3}(t), very, very complicated but again, we just put it into our math software and we get -32pi.*1150

*This confirms it. The line integral around a closed path was equal to the double integral of this thing df2 dx - df1 dy, we will talk more about what this thing is in the next lesson, over the area enclosed by that ellipse.*1181

*Fantastic. Okay. So, now a more general version of Green's theorem.*1202

*A more general version of Green's theorem allows the boundary of a given region "a" to be composed of a finite number of curves.*1223

*It does not have to be a single curve, like a circle, or an ellipse, or some continuous shape.*1249

*It could be composed of a series of finite number of curves, and we will do a couple of examples in just a minute... composed of a finite number of curves.*1261

*c1, c2, all the way to c _{n}, not just a single differentiable curve.*1273

*So, I will do like a quick, so we are going to have something that looks like this. That is 1, that is 2, so that, that is another... that is another... so we might have this is c1, this is c2, this is c3, c4, c5.*1297

*This is a perfectly good region and the boundary can be parameterized by any number of... you know... any finite number of curves.*1315

*Here is the best part. These curves do not actually have to be connected end to end. That is the best part. So, that is very, very important to note and I will put it down here.*1322

*Note these curves do not necessarily need to be connected end to end, like this particular region.*1333

*This is this region in a, right there. Do not need to be connected end to end, and end to end means piecewise continuous.*1353

*So, these are all continuous, they are not just continuous, they are piecewise continuous. It does not have to be.*1368

*Our next example is going to be an example of that, so let us go ahead and do example 2 here. Example 2.*1376

*Let us go ahead and draw out this particular region then. Something like this... if I have that circle, let us say I have a circle that is a little bit bigger.*1391

*Well, if the region that I am interested in, region a, happens to be the area that is actually in between those circles, well, this is c1 and this over here is going to be c2.*1409

*The boundary of this region is 2 curves. In this case I have 2 curves, but the curves are not connected end ot end.*1424

*This is perfectly valid. This is a perfectly good region, and Green's theorem actually applies, but remember what we said about Green's theorem.*1432

*It says that as you traverse the boundary, the region that you are interested in has to be to your left.*1440

*In this particular case, it says that if you traverse this particular curve, this in this direction, well yes this region is definitely to our left.*1445

*Here if we go in the counter clockwise direction on this region... I am sorry, along this curve... now the region is to our right.*1453

*All we have to do is traverse it in the reverse direction. We need to go clockwise for the inner, and when we go clockwise, when we go in this direction, now the region is actually going to be on our left and Green's theorem applies.*1462

*That is it. That is all that is happening here. So, let us see. In this particular case, c, the boundary is equal to c1 + c2, except c2 traversed in the opposite direction.*1477

*That is what this little negative sign means. Remember? We talked about that a little bit. The only difference is if you traverse something in the opposite direction, all you are doing is you are changing the sign of the integral. *1491

*So it does not really matter how you traverse it, all you have to do is remember the direction in which we are traversing it, and then change the sign of the integral.*1502

*In this case, we have the following. We have the integral of f along c is equal to the integral of f/c1 + the integral of f/c2 -, which is equal to the integral of f along c1, because that is counterclockwise, and we just change the sign... - the integral of f along c2.*1510

*That is equal to well, the double integral over a of d1f2 - d2f1 dy dx. Green's theorem applies, it still applies.*1543

*Take the particular vector field, I form this little thing, d1f2 - d2f1, and I integrate over that particular region, in this particular case we are talking about two circles, it is probably easiest to do it in our polar form. *1563

*But, again, we have math software, you can do it in any form you like. The important point is that the boundary curve of the particular region, they do not have to be connected. That is what is important.*1578

*Alright, so let us do an example. Example 3. We will let f equal to, again we will use our same vector field, we will use x ^{2}y and xy^{3}, and a be the region of points xy such that x^{2} + y^{2} is greater than or equal to 1, and less than or equal to 9.*1591

*So, what this is saying is that we are going to integrate this vector field over the region in between the circles, the unit circle of radius 1 and the circle of radius 3. That is it.*1640

*Let us go ahead and draw our region. So, this right here, this stipulation... unit circle, radius 1, 9 is going to be a circle of radius 3, so here, radius = 3, here radius = 1.*1652

*We want to integrate the region in between there. That is it. Okay. So, let us go ahead and do this, and we said probably this was going to be easiest in polar coordinate form.*1673

*Simply because the equation for circles is really, really easy in polar coordinates. In this particular case, R = 1 and R = 3, that is it, and θ is 0 to 2pi, right?*1684

*We are sweeping out, so R goes from 1 to 3, so we are sweeping out this line out this way, all the way around, 0 to 2pi, θ is in 0 to 2pi, that is it.*1701

*Okay. Let us go ahead and work this problem out. The first thing we want to do is we want to find of course the d1f2 - d2f1, which is the same as df2 dx - df1 dy, so just different notations for the same thing.*1715

*This was the previous vector field, so we got y ^{3} - x^{2}.*1737

*Well, we want to do this in polar form so we are going to have to actually convert y ^{3} - x^{2} because we are taking f(t), so let us write everything out here.*1745

*So, the integral of f/c is going to equal the double integral over a of y ^{3} - x^{2} dy dx. That is Green's theorem.*1759

*Well, so this is f this is that, this is the region, so we are going to express this in polar form. We need to express this in polar form.*1776

*In other words we need to find this f(t), where t is x = Rcos(θ), y = Rsin(θ).*1785

*Therefore our f(t), this thing, when we convert it to polar form -- oops, f of capital T -- T is going to equal, well, y ^{3} is R^{3}sin^{3}(θ) - x^{2}, which is R^{2}cos^{2}(θ).*1800

*So, we have... the integral... well, we are going -- now, this is going to be the double integral over a expressed in polar form of f(t) R dR dθ. *1826

*So θ is going to run from 0 to 2pi, right? we are running around, and our R goes from 1 to 3.*1844

*Our f(t) is R ^{3}sin^{3}(θ) - R^{2}cos^{2}(θ), and then we have our area element... R dR dθ. That is our integral.*1856

*When we do this, we end up with -20pi.*1874

*That is it. We had a region, consisted of the boundary of that region, consisted of two curves, this way, and these 2 curves right here. They are not connected... Green's theorem is still valid, we can still go ahead and do the double integral... very, very nice.*1882

*I mean, yeah, it is fine, these are circles, so we certainly could have done the line integral ourselves. We have the line integral over this one, and then we take the line integral here, we go in the reverse direction, we change the sign of it and then we can add it and get the same number.*1903

*I would actually recommend that you do that to confirm that you still end up with the number -20pi, but that is the beauty of Green's theorem, I do not need to do the line integral, I can solve it as a double integral.*1914

*Okay. let us close off with one more example just to solidify everything in our minds.*1926

*So, we have example 4. Now, this time we will let f equal to 2xy and cos(xy).*1934

*Well, our task is to find the integral of f/c where c = the 2 curves c1 and c2, where c1 is equal to sin(x), and c2 is equal to sin(2x).*1950

*We would like x to range from 0 to pi, so let us go ahead and draw out what this region is.*1977

*So, we have the sine function, y = sin(x), this is 1 and -1, right? I am going to draw it a little bigger here, so... 2 is here, let us see... 2sin(x), actually I think I have 2x, 2sin(x)... umm, yes, I am sorry, this is not sin(2x), this is 2sin(x). There we go.*1990

*So, sin(2x) would actually end up giving me a different period. We are going to have the same period, so basically, I have sin(2x), and I do this one and it is something like this.*2030

*We want to go from 0 to pi, so from 0 to pi, so this is the region right here. The region -- so, this is one curve, this is the other curve, so basically what they are asking me to do is we want to find the line integral of this vector field around this path.*2042

*I have not drawn it very well but that is it. So, instead of doing the line integral, we are going to use Green's theorem and we are going to integrate this vector field over the area enclosed by that path. That is what we are doing.*2075

*Okay, so let us go ahead and just work it out. Well, so this is f1, and this is f2, we want to find -- let me see, let us go ahead and do df2 dx, that is going to be... so if I take this, the derivative of this with respect to x I am going to get -y × sin(xy).*2090

*If I take df1 dy, I am going to end up with 2x, therefore my integrand... so this minus that... so my df2 dx - df1 dy, which is my integrand under my double integral, is going to equal minus y × the sin(xy) - 2x.*2121

*Now we are integrating x, so our line integral of f/c is equal to... well we are going from 0 to pi, so as far as x is concerned, it is going to be 0 to pi, and as far as y is concerned, the region is between the 2 graphs, sin(x) and 2sin(x).*2156

*We have -y × the sin(xy) - 2x, that is our integrand and then we have dy dx, and I am actually going to let you work this out. Hopefully you have some mathematical software and see what that particular number is.*2193

*Again, doing it is not as important as actually being able to take a particular problem, find a region, find the boundary of that region, decide what the upper and lower limits of integration are, if you are in fact going to use the Green's theorem to solve a double integral instead of a line integral.*2214

*We can certainly use a line integral here, it is not a problem. We can parameterize both of these curves and do each one separately and add them, but we might as well avail ourselves of Green's theorem since it is there for us.*2233

*We take df2 dx - df1 dy, that is our integrand, we have our limits of integration 0 to pi, sin(x) to 2sin(x)... and that is about it. The rest is just a question of plugging it into your software and getting some number. That is it.*2243

*That is Green's theorem. Now we definitely are going to have more to say about Green's theorem, no doubt about it.*2261

*In fact, next lesson, we are going to go a little bit deeper and talk about 2 different version of Green's theorem -- something called the circulation curl version, and something called the flux divergence version.*2266

*Until then, thank you for joining us here at educator.com, we will see you next time. Bye-bye.*2278

3 answers

Last reply by: Professor Hovasapian

Tue Oct 7, 2014 3:23 AM

Post by Jinbin Chen on October 3, 2014

Hello, Mr. Raffi!

I really like your lectures on chemistry and calculus (and to be honest, these lectures sort of sparked my interest on chemistry and math).

I do have a question about the Green's Theorem (as well as the Stokes' Theorem). So you said in the video that Green's Theorem and Stokes' Theorem are just the Fundamental Theorem of Calculus in higher dimensions. But for me, the Foundamental Theorem of Calculus is used to evaluate integrals (or the area under the curve) while the Green's Theorem (or Stokes' Theorem) deals with the vector field. So how are these theorems actually similar?

By the way, do you have any plan to do a real analysis course in the future?

Take good care,

Jinbin

1 answer

Last reply by: Professor Hovasapian

Fri Aug 22, 2014 8:55 PM

Post by Denny Yang [ Mod â™• ] on August 22, 2014

For one of the questions:

Q. Evalute âˆ«C F for the vector field F(x,y) = (ey,xey) over the curve C.

In Step 2, you listed:

Now f1(x,y) = ey and so [(df1)/dy] = 0. Also f2(x,y) = xey so [(df2)/dx] = ey. Hence [(df2)/dx] âˆ’ [(df1)/dy] = ey âˆ’ (0) = ey.

Isn't [(df1)/dy]= e^y. The partial derivative of f1 with respect to y is e^y since it is a function of y. e^y would only be zero if it is the partial derivative of f1 with respect to x, where e^y is a constant.

1 answer

Last reply by: Professor Hovasapian

Fri Aug 22, 2014 8:47 PM

Post by Denny Yang [ Mod â™• ] on August 20, 2014

Just a quick question. For example 1, you picked the integration limits for x to be (-4) and (4). I was wondering why the integration limits for X is not [(+ or -)sqrt(4-y^2)]. What i did was i solved for x from the ellipse equation. You did that for the y-integration limits, so i wanted to know if you could do that for x. Why cant the integration for y be from (-2) to (2)?

2 answers

Last reply by: Josh Winfield

Wed May 15, 2013 6:09 AM

Post by Josh Winfield on May 14, 2013

Example 2: The fact you had to traverse the inner curve didn't even seem to play a part in the mathematics besides that 1 line which didn't really seem to change anything at all. Is the answer always the same regardless. You had -âˆ« and the just wrote greens theorem after it as normal the fact you had to switch the sign didn't seem to carry to the next line, i dont fully understand, that may be because im in Australia, its very late and im very tired lol

3 answers

Last reply by: Josh Winfield

Wed May 15, 2013 6:09 AM

Post by Riley Argue on April 13, 2013

Great lecture.

Very clear.