# Green's theorem

﻿
Green's theorem

In physics and mathematics, Green's theorem gives the relationship between a line integral around a simple closed curve "C" and a double integral over the plane region "D" bounded by "C". It is the two-dimensional special case of the more general Stokes' theorem, and is named after British scientist George Green.

Let "C" be a positively oriented, piecewise smooth, simple closed curve in the plane R2, and let "D" be the region bounded by "C". If "L" and "M" are functions of ("x", "y") defined on an open region containing "D" and have continuous partial derivatives there, then

:$int_\left\{C\right\} \left(L, dx + M, dy\right) = iint_\left\{D\right\} left\left(frac\left\{partial M\right\}\left\{partial x\right\} - frac\left\{partial L\right\}\left\{partial y\right\} ight\right), dA.$

Sometimes a small circle is placed on the integral symbol $left\left(oint_\left\{C\right\} ight\right)$ to indicate that the curve "C" is closed. For positive orientation, an arrow pointing in the counterclockwise direction may be drawn in this circle.

In physics, Green's theorem is mostly used to solve two-dimensional flow integrals, stating that the sum of fluid outflows at any point inside a volume is equal to the total outflow summed about an enclosing area.

Proof when "D" is a simple region

The following is a proof of the theorem for the simplified area "D", a type I region where "C"2 and "C"4 are vertical lines. A similar proof exists for when "D" is a type II region where "C"1 and "C"3 are straight lines.

If it can be shown that

:$int_\left\{C\right\} L, dx = iint_\left\{D\right\} left\left(- frac\left\{partial L\right\}\left\{partial y\right\} ight\right), dAqquadmathrm\left\{\left(1\right)\right\}$

and

:$int_\left\{C\right\} M, dy = iint_\left\{D\right\} left\left(frac\left\{partial M\right\}\left\{partial x\right\} ight\right), dAqquadmathrm\left\{\left(2\right)\right\}$

are true, then Green's theorem is proven in the first case.

Define the type I region "D" as pictured on the right by:

:$D = \left\{\left(x,y\right)|ale xle b, g_1\left(x\right) le y le g_2\left(x\right)\right\}$

where "g"1 and "g"2 are continuous functions on ["a", "b"] . Compute the double integral in (1):

:

Now compute the line integral in (1). "C" can be rewritten as the union of four curves: "C"1, "C"2, "C"3, "C"4.

With "C"1, use the parametric equations: "x" = "x", "y" = "g"1("x"), "a" ≤ "x" ≤ "b". Then

:$int_\left\{C_1\right\} L\left(x,y\right), dx = int_a^b Big\left\{L\left(x,g_1\left(x\right)\right)Big\right\}, dx$

With "C"3, use the parametric equations: "x" = "x", "y" = "g"2("x"), "a" ≤ "x" ≤ "b". Then

:$int_\left\{C_3\right\} L\left(x,y\right), dx = -int_\left\{-C_3\right\} L\left(x,y\right), dx = - int_a^b \left[L\left(x,g_2\left(x\right)\right)\right] , dx$

The integral over "C"3 is negated because it goes in the negative direction from "b" to "a", as "C" is oriented positively (counterclockwise). On "C"2 and "C"4, "x" remains constant, meaning

:$int_\left\{C_4\right\} L\left(x,y\right), dx = int_\left\{C_2\right\} L\left(x,y\right), dx = 0$

Therefore,

:

Combining (3) with (4), we get (1). Similar computations give (2).

Relationship to the divergence theorem

Green's theorem is equivalent to the following two-dimensional analogue of the divergence theorem::$iint_Dleft\left( ablacdotmathbf\left\{F\right\} ight\right)dA=int_C mathbf\left\{F\right\} cdot mathbf\left\{hat n\right\} , ds,$where $mathbf\left\{hat n\right\}$ is the outward-pointing unit normal vector on the boundary.

To see this, consider the unit normal in the right side of the equation. Since $dmathbf\left\{r\right\} = langle dx, dy angle$ is a vector pointing tangential along a curve, and the curve C is the positively-oriented (i.e. counterclockwise) curve along the boundary, an outward normal would be a vector which points 90° to the right, which would be $langle dy, -dx angle$. The length of this vector is $sqrt\left\{dx^2 + dy^2\right\} = ds$. So $mathbf\left\{hat n\right\},ds = langle dy, -dx angle$.

Now let the components of $mathbf\left\{F\right\} = langle P, Q angle$. Then the right hand side becomes:$int_C mathbf\left\{F\right\} cdot mathbf\left\{hat n\right\} , ds = int_C P dy - Q dx$which by Green's theorem becomes:$int_C -Q dx + P dy = iint_\left\{D\right\} left\left(frac\left\{partial P\right\}\left\{partial x\right\} + frac\left\{partial Q\right\}\left\{partial y\right\} ight\right), dA = iint_Dleft\left( ablacdotmathbf\left\{F\right\} ight\right)dA.$

ee also

* Stokes' theorem
* Divergence theorem
* Planimeter
* Method of image charges - A method used in electrostatics that takes strong advantage of the uniqueness theorem (derived from Green's theorem)
* Green's identities

* [http://mathworld.wolfram.com/GreensTheorem.html Green's Theorem on MathWorld]
* [http://www.mechanisms101.com/greens_theorem_demo.html A flash demo for Green's Theorem]

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Green–Tao theorem — In mathematics, the Green–Tao theorem, proved by Ben Green and Terence Tao in 2004, [Ben Green and Terence Tao, [http://arxiv.org/abs/math.NT/0404188 The primes contain arbitrarily long arithmetic progressions] ,8 Apr 2004.] states that the… …   Wikipedia

• Green's theorem — noun a) A generalization of the fundamental theorem of calculus to the two dimensional plane, which states that given two scalar fields P and Q and a simply connected region R, the area integral of derivatives of the fields equals the line… …   Wiktionary

• Green's theorem — Math. one of several theorems that connect an integral in n dimensional space with one in (n 1) dimensional space. [after George Green (1793 1841), English mathematician, who formulated it] * * * …   Universalium

• Green's theorem — Math. one of several theorems that connect an integral in n dimensional space with one in (n 1) dimensional space. [after George Green (1793 1841), English mathematician, who formulated it] …   Useful english dictionary

• Green's function — In mathematics, Green s function is a type of function used to solve inhomogeneous differential equations subject to boundary conditions. The term is used in physics, specifically in quantum field theory and statistical field theory, to refer to… …   Wikipedia

• Green's identities — In mathematics, Green s identities are a set of three identities in vector calculus. They are named after the mathematician George Green, who discovered Green s theorem.Green s first identityThis identity is derived from the divergence theorem… …   Wikipedia

• Green , George — (1793–1841) British mathematician Green s father was a prosperous baker from Nottingham. Green worked for his father from the age of nine until his father s death in 1829. His father left him a mill which still stands; it has been restored and… …   Scientists

• Green, George — ▪ British mathematician baptized July 14, 1793, Sneinton, Nottinghamshire, England died March 31, 1841, Sneinton       English mathematician who was first to attempt to devise a theory of electricity and magnetism. This work heralded the… …   Universalium

• Green–Kubo relations — give exact mathematical expression for transport coefficients in terms of integrals of time correlation functions.Thermal and mechanical transport processesThermodynamic systems may be prevented from relaxing to equilibrium because of the… …   Wikipedia

• Green's Logical Inclusion Theorem — Green s Logical Inclusion Theorem, also known as the belief of Logical Inclusion, is the assertion that all monotheistic religious schools of thought, regardless location in the world or any other belief criterion, are worshiping and/or praying… …   Wikipedia