PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
Green's theorem (Theorem)

Green's theorem provides a connection between path integrals over a well-connected region in the plane and the area of the region bounded in the plane. Given a closed path $ P$ bounding a region $ R$ with area $ A$, and a vector-valued function $ \vec{F}=(f(x,y),g(x,y))$ over the plane,

$\displaystyle \oint_P\vec{F}\cdot d\vec{x} = \int\!\!\!\int_{\!\!R} [g_1(x,y) - f_2(x,y)] dA$
where $ a_n$ is the derivative of $ a$ with respect to the $ n$th variable.
\includegraphics[width=2.694444in]{greensthm}

Corollary:

The closed path integral over a gradient of a function with continuous partial derivatives is always zero. Thus, gradients are conservative vector fields. The smooth function is called the potential of the vector field.

Proof:

The corollary states that

$\displaystyle \oint_P\vec{\nabla}_h\cdot d\vec{x} = 0$

We can easily prove this using Green's theorem.

$\displaystyle \oint_P\vec{\nabla}_h\cdot d\vec{x} = \int\!\!\!\int_{\!\!R} [g_1(x,y) - f_2(x,y)] dA$

But since this is a gradient...

$\displaystyle \int\!\!\!\int_{\!\!R} [g_1(x,y) - f_2(x,y)] dA = \int\!\!\!\int_{\!\!R} [h_{21}(x,y) - h_{12}(x,y)] dA$

Since $ h_{12}=h_{21}$ for any function with continuous partials, the corollary is proven.




"Green's theorem" is owned by mathcam. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: Gauss Green theorem, classical Stokes' theorem

Keywords:  path integrals, evaluating path integrals, curl of a vector field

Attachments:
proof of Green's theorem (Proof) by mathcam
Log in to rate this entry.
(view current ratings)

Cross-references: potential, smooth function, conservative, partial derivatives, continuous, function, gradient, integral, variable, derivative, vector-valued function, closed path, bounded, area, plane, region, path integrals, connection
There are 8 references to this entry.

This is version 6 of Green's theorem, born on 2002-02-02, modified 2004-04-30.
Object id is 1678, canonical name is GreensTheorem.
Accessed 16757 times total.

Classification:
AMS MSC26B20 (Real functions :: Functions of several variables :: Integral formulas )

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)