\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)

If you like us, please share us on social media.

The latest UCD Hyperlibrary newsletter is now complete, check it out.

MathWiki: The Dynamic Mathematics E-textbook > Calculus > Vector Calculus > Integration in Vector Fields > Greenâ€™s Theorem in the Plane > Green's Theorem

MindTouch

Copyright (c) 2006-2014 MindTouch Inc.

http://mindtouch.com

This file and accompanying files are licensed under the MindTouch Master Subscription Agreement (MSA).

At any time, you shall not, directly or indirectly: (i) sublicense,
resell, rent, lease, distribute, market, commercialize or otherwise
transfer rights or usage to: (a) the Software, (b) any modified version
or derivative work of the Software created by you or for you, or (c)
MindTouch Open Source (which includes all non-supported versions of
MindTouch-developed software), for any purpose including timesharing or
service bureau purposes; (ii) remove or alter any copyright, trademark
or proprietary notice in the Software; (iii) transfer, use or export the
Software in violation of any applicable laws or regulations of any
government or governmental agency; (iv) use or run on any of your
hardware, or have deployed for use, any production version of MindTouch
Open Source; (v) use any of the Support Services, Error corrections,
Updates or Upgrades, for the MindTouch Open Source software or for any
Server for which Support Services are not then purchased as provided
hereunder; or (vi) reverse engineer, decompile or modify any encrypted
or encoded portion of the Software.

A complete copy of the MSA is available at http://www.mindtouch.com/msa

Green's Theorem

Before stating the big theorem of the day, we first need to present a few topological ideas: **simple connected regions** and **orientation**. Consider a closed curve C in R^{2} defined parametrically by

\[ \textbf{r}(t) = x(t)\textbf{i} + y(t)\textbf{j} \]

with a __<__ t __<__ b. We say C is *simple* if it does not intersect itself. A curve intersects itself if

\[ \textbf{r}(u) = \textbf{r}(v) \]

for two distinct values u and v. A circle is a simple curve while a figure eight is not simple.

A region is called *simply connected* if it boundary is a single simple closed curve. Another way of thinking about simply connected regions is that their complement (the space minus the region) consists of only one piece. Below are examples of simply connected and non-simply connected regions.

Our final topological definition is orientation. We have seen that if we traverse a curve in the opposite direction, then the line integral will be the negative of the original. We want to have a way to define a positive orientation. We define it as follows.

Let R be a simply connected region with boundary curve C. Then C is called |

One way to remember this is to recall that in the standard unit circle angles are measures counterclockwise, that is traveling around the circle you will see the center on your left.

We have seen that if a vector field

\[ \textbf{F} = M \textbf{i} + N\textbf{j} \]

has the property that

\[ N_x - M_y = 0 \]

then the line integral over any smooth closed curve is zero. What can we do if the above quantity is nonzero. Green's theorem states that the line integral is equal to the double integral of this quantity over the enclosed region. Precisely, we have

Let R be a simply connected region with smooth boundary C, oriented positively and let M and N have \[ \oint_c M \, dx + N\, dy = \iint _R \left(N_x-M_y \right) \, dy\,dx \] |

First we can assume that the region is both vertically and horizontally simple. Otherwise we can carefully cut the region into parts so that each of the parts are both vertically simple and horizontally simple. Below is an example of such a cut. Notice that the line where the regions is cut is drawn once upwards and once downwards. Thus the two line integrals over this line will cancel each other out.

We can assume that the region is as in the figure below

We will show that

The proof for the M part is similar. We will compute both sides and show they are the same. First we break the curve into its left and right half. Call the left half C_{1} and the right half C_{2}. We have

Now we show that the double integral leads to the same expression. We have

And the two expressions are equal.

Determine the work done by the force field

\[ \textbf{F} = (x - xy) \textbf{i} + y^2 \textbf{j} \]

when a particle moves *counterclockwise *along the rectangle with vertices (0,0), (4,0), (4,6), and (0,6).

We could do this with a line integral, but this would involve four parameterizations (one for each side of the rectangle). Instead, we use Green's Theorem. We find

\[ N_x - M_y = 0 - (-x) = x \]

The region is just a rectangle, so the limits are the constants. We have

Calculate the line integral

Where C is the union of the unit circle centered at the origin oriented negatively and the circle of radius2 centered at the origin oriented positively.

We cannot use Green's Theorem directly, since the region is not simply connected. However, if we think of the region as being the union its left and right half, then we see that the extra cuts cancel each other out.

In this light we can use Green's Theorem on each piece. We have

\[ N_x - M_y = 1 - 0 = 1 \]

Hence the line integral is just the double integral of 1, which is the area of the region. This area is

\[ \pi(2^2 - 1^2) = 4\pi \]

The example above showed that if

\[ N_x - M_y = 1 \]

then the line integral gives the area of the enclosed region. There are *three *special vector fields, among many, where this equation holds. We state the following theorem which you should be easily able to prove using Green's Theorem.

Let R be a simply connected region with positively oriented smooth boundary C. Then the area of R is given by each of the following line integrals. 1. \( \oint_C x\,dy \) 2. \( \oint_c -y\, dx \) 3. \( \frac{1}{2} \oint x \, dy - y \, dx \) |

**Example**

Use the third part of the area formula to find the area of the ellipse

\[ \dfrac{x^2}{4} + \dfrac{y^2}{9} =1 \]

**Solution**

To compute the line integral, we parameterize the curve

**r**(t) = 2 cos t **i** + 3 sin t **j**

**r**'(t) = -2 sin t **i** + 3 cos t **j**

We have

- Larry Green (Lake Tahoe Community College)

Last modified

15:25, 7 Nov 2013

- © Copyright 2015 MathWiki

UC Davis GeoWiki by University of California, Davis is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 United States License. Permissions beyond the scope of this license may be available at copyright@ucdavis.edu. Terms of Use