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, $$\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

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

We can easily prove this using Green's theorem.

$$\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...

$$\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, vector fields, 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 17134 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)