TOPICS
Search

Green's Theorem


Green's theorem is a vector identity which is equivalent to the curl theorem in the plane. Over a region D in the plane with boundary partialD, Green's theorem states

 ∮_(partialD)P(x,y)dx+Q(x,y)dy=intint_(D)((partialQ)/(partialx)-(partialP)/(partialy))dxdy,
(1)

where the left side is a line integral and the right side is a surface integral. This can also be written compactly in vector form as

 ∮_(partialD)F·ds=intint_(D)(del xF)·da.
(2)

An equivalent flux or normal form is

 ∮_(partialD)P(x,y)dy-Q(x,y)dx=intint_(D)((partialP)/(partialx)+(partialQ)/(partialy))dxdy,
(3)

or, for the vector field F=(P,Q),

 ∮_(partialD)F·n^^ds=intint_(D)del ·FdA,
(4)

where n^^ is the outward unit normal vector and ds is the arc length element. Both forms assume that D is bounded and that P and Q have continuous partial derivatives on an open neighborhood of D and its boundary. The boundary is piecewise smooth and positively oriented so that D is on the left as it is traversed. The flux form follows from the circulation form by replacing P by -Q and Q by P, and is the two-dimensional divergence theorem (Poonen 2021, pp. 141-142).

If the region D is on the left when traveling around partialD, then area of D can be computed using the elegant formula

 A=1/2∮_(partialD)xdy-ydx,
(5)

giving a surprising connection between the area of a region and the line integral around its boundary. For a plane curve specified parametrically as (x(t),y(t)) for t in [t_0,t_1], equation (5) becomes

 A=1/2int_(t_0)^(t_1)(xy^'-yx^')dt,
(6)

which gives the signed area enclosed by the curve.

The symmetric form above corresponds to Green's theorem with P(x,y)=-y/2 and Q(x,y)=x/2, leading to

A=intint_(D)dxdy
(7)
=intint_(D)((partialQ)/(partialx)-(partialP)/(partialy))dxdy
=∮_(partialD)(-y/2)dx+(x/2)dy
=1/2int_(t_0)^(t_1)(-yx^'dt+xy^'dt)
=1/2int_(t_0)^(t_1)(xy^'-yx^')dt.

However, we are also free to choose other values of P and Q, including P(x,y)=0 and Q(x,y)=x, giving the "simpler" form

 A=int_(t_0)^(t_1)xy^'dt,
(8)

and P(x,y)=y and Q(x,y)=0, giving

 A=-int_(t_0)^(t_1)yx^'dt.
(9)

A similar procedure can be applied to compute the moment about the x-axis using P=-y^2/2 and Q=0 as

 M_x=intintydxdy=-1/2∮y^2dx=-1/2int_(t_0)^(t_1)y^2x^'dt
(10)

and about the y-axis using P=0 and Q=x^2/2 as

 M_y=intintxdxdy=1/2∮x^2dy=1/2int_(t_0)^(t_1)x^2y^'dt,
(11)

where the geometric centroid x^_=(x^_,y^_) is given by x^_=M_y/A and y^_=M_x/A.

Finally, the area moments of inertia can be computed using P=-y^3/3 and Q=0 as

 I_(xx)=intinty^2dxdy=-1/3∮y^3dx=-1/3int_(t_0)^(t_1)y^3x^'dt,
(12)

using P=-xy^2/2 and Q=0 as

 I_(xy)=intintxydxdy=-1/2∮xy^2dx=-1/2int_(t_0)^(t_1)y^2xx^'dt,
(13)

and using P=0 and Q=x^3/3 as

 I_(yy)=intintx^2dxdy=1/3∮x^3dy=1/3int_(t_0)^(t_1)x^3y^'dt.
(14)

See also

Area, Area Moment of Inertia, Curl Theorem, Divergence Theorem, Geometric Centroid, Multivariable Calculus, Signed Area, Stokes' Theorem

Explore with Wolfram|Alpha

References

Arfken, G. "Gauss's Theorem." §1.11 in Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 57-61, 1985.Green, G. An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism. Nottingham, England: T. Wheelhouse, 1828. https://worrydream.com/refs/Green_1828_-_The_Application_of_Mathematical_Analysis.pdf.Kaplan, W. "Green's Theorem." §5.5 in Advanced Calculus, 4th ed. Reading, MA: Addison-Wesley, pp. 286-291, 1991.Poonen, B. 18.02 Lecture Notes, Fall 2021. Cambridge, MA: Massachusetts Institute of Technology, pp. 141-142, 2021. https://math.mit.edu/~poonen/02/notes.pdf.

Referenced on Wolfram|Alpha

Green's Theorem

Cite this as:

Weisstein, Eric W. "Green's Theorem." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/GreensTheorem.html

Subject classifications