Green's Theorem

    Recall to evaluate a line integral we have the option of using a parametrization or using the Fundamental Theorem of Line Integrals. However both have their drawbacks, in particular it may be difficult to come up with a parametrization. On one hand the value of a line integral is independent of the parametrization used, even so, sometimes it may be hard to find any parametrization at all.
    If a vector field is conservative then Fundamental Theorem of Line Integrals can be used, but this also has its difficulties. First, not all vector fields are conservative, and even if a vector field is conservative it may be difficult to find the scalar potential function.The advantage, though, of this method is path independence. If you in fact do know that the vector field is conservative you have two choices, find a connivent path from starting point to ending join and either use the scalar potential function or use some parametrization of that path to find the value of the line integral.
    Green's Theorem in the plane allows use evaluate a line integral even though the vector field may or may not be conservative -- without using a parametrization; but rather a double integral. One of the most beautiful theorems in all of mathematics, Green's theorem allows us to evaluate a line integral by iterated integration over the region enclosed by the closed path.
    A Jordan curve is a closed curve green theorem _gr_1.gif] that does not intersect itself and a simply connected region green theorem _gr_2.gif] has the property that it is connected and the interior of every Jordan curve green theorem _gr_3.gif] in green theorem _gr_4.gif] also lies in green theorem _gr_5.gif]

Proposition (Green's Theorem) Let green theorem _gr_6.gif] be a simply connected region with a piecewise smooth boundary curve green theorem _gr_7.gif] oriented counterclockwise and let green theorem _gr_8.gif] be a continuously differentiable vector field on green theorem _gr_9.gif] then

green theorem _gr_10.gif]

Example (Green's Theorem) Use Green's theorem to evaluate the line integral green theorem _gr_11.gif] around the curve green theorem _gr_12.gif] defined by the ellipse green theorem _gr_13.gif] oriented counterclockwise.  

    Solution.  Let green theorem _gr_14.gif], then green theorem _gr_15.gif] which is continuously differentiable over the ellipse as well as green theorem _gr_16.gif]Therefore, green theorem _gr_17.gif] and green theorem _gr_18.gif] satisfy the hypothesis of Green's theorem, and
                
green theorem _gr_19.gif]

green theorem _gr_20.gif]

green theorem _gr_21.gif]

green theorem _gr_22.gif]

green theorem _gr_23.gif]

green theorem _gr_24.gif]

Knowing the area of an ellipse green theorem _gr_25.gif] is green theorem _gr_26.gif]

green theorem _gr_27.gif]
green theorem _gr_28.gif]

Example (Green's Theorem) Use Green's theorem to evaluate the line integral green theorem _gr_29.gif] around the curve green theorem _gr_30.gif] defined by the unit circle oriented clockwise.  

    Solution. Let green theorem _gr_31.gif], then green theorem _gr_32.gif] which is continuously differentiable over the unit circle as well as green theorem _gr_33.gif] Therefore, green theorem _gr_34.gif] and green theorem _gr_35.gif] satisfy the hypothesis of Green's theorem, and
    
green theorem _gr_36.gif]

green theorem _gr_37.gif]

green theorem _gr_38.gif]  (we use a minus sign to switch the orientation)

green theorem _gr_39.gif]

green theorem _gr_40.gif]

green theorem _gr_41.gif]

green theorem _gr_42.gif]
green theorem _gr_43.gif]

Example (Green's Theorem) Use Green's theorem to evaluate the line integral green theorem _gr_44.gif] around the curve green theorem _gr_45.gif] defined by the square with vertices green theorem _gr_46.gif] green theorem _gr_47.gif] green theorem _gr_48.gif] green theorem _gr_49.gif] oriented counterclockwise.

    Solution. Let green theorem _gr_50.gif], then green theorem _gr_51.gif] which is continuously differentiable over the square as well as green theorem _gr_52.gif] Therefore, green theorem _gr_53.gif] and green theorem _gr_54.gif] satisfy the hypothesis of Green's theorem, and
green theorem _gr_55.gif]

green theorem _gr_56.gif]

green theorem _gr_57.gif]

green theorem _gr_58.gif]

green theorem _gr_59.gif]

green theorem _gr_60.gif]
green theorem _gr_61.gif]

Example (Green's Theorem) Find the work done when an object moves in the force field green theorem _gr_62.gif] once counterclockwise around the circular path green theorem _gr_63.gif]

    Solution.  Let green theorem _gr_64.gif], then green theorem _gr_65.gif] which is continuously differentiable over the circle as well as green theorem _gr_66.gif] Let green theorem _gr_67.gif] be the region bounded by the curve green theorem _gr_68.gif] Then, green theorem _gr_69.gif] and green theorem _gr_70.gif] satisfy the hypothesis of Green's theorem, and

green theorem _gr_71.gif]

green theorem _gr_72.gif]

green theorem _gr_73.gif]

green theorem _gr_74.gif]

green theorem _gr_75.gif]

green theorem _gr_76.gif]

Converting to polar coordinates,

green theorem _gr_77.gif]

green theorem _gr_78.gif]

green theorem _gr_79.gif]
green theorem _gr_80.gif]

Example (Green's Theorem) Find the work done when an object moves in the force field green theorem _gr_81.gif] once counterclockwise around the circular path   green theorem _gr_82.gif]

    Solution.  Let green theorem _gr_83.gif], then green theorem _gr_84.gif] which is continuously differentiable over the circle as well as green theorem _gr_85.gif] Let green theorem _gr_86.gif] be the region bounded by the curve green theorem _gr_87.gif] Then, green theorem _gr_88.gif] and green theorem _gr_89.gif] satisfy the hypothesis of Green's theorem, and

green theorem _gr_90.gif]

green theorem _gr_91.gif]

green theorem _gr_92.gif]

green theorem _gr_93.gif]

green theorem _gr_94.gif]

green theorem _gr_95.gif]

green theorem _gr_96.gif]
green theorem _gr_97.gif]

Proposition (Green's Theorem for Doubly-Connected Regions) Let green theorem _gr_98.gif] be a doubly-connected region with a piecewise smooth outer boundary curve green theorem _gr_99.gif] oriented counterclockwise and a piecewise smooth inner boundary curve green theorem _gr_100.gif] oriented clockwise and let green theorem _gr_101.gif] be a continuously differentiable vector field on green theorem _gr_102.gif] then

green theorem _gr_103.gif]

Example (Green's Theorem for Doubly-Connected Regions) Evaluate green theorem _gr_104.gif] where green theorem _gr_105.gif] is any Jordan curve whose interior does not contain the point green theorem _gr_106.gif] transversed counterclockwise.

    Solution. Let green theorem _gr_107.gif], then green theorem _gr_108.gif] which is continuously differentiable over the circle as well as green theorem _gr_109.gif] Let green theorem _gr_110.gif] be the region bounded by the given curve green theorem _gr_111.gif] Then, green theorem _gr_112.gif] and green theorem _gr_113.gif] satisfy the hypothesis of Green's theorem, and
    
green theorem _gr_114.gif]

green theorem _gr_115.gif]

green theorem _gr_116.gif]

green theorem _gr_117.gif]

green theorem _gr_118.gif]

green theorem _gr_119.gif]

green theorem _gr_120.gif]

green theorem _gr_121.gif]

green theorem _gr_122.gif]
green theorem _gr_123.gif]

Example (Green's Theorem for Doubly-Connected Regions) Evaluate green theorem _gr_124.gif] where green theorem _gr_125.gif] is any Jordan curve whose interior contains the point green theorem _gr_126.gif] transversed counterclockwise.

    Solution. Let green theorem _gr_127.gif] be a circle centered at green theorem _gr_128.gif] with radius green theorem _gr_129.gif] so small that all of green theorem _gr_130.gif] is contained within green theorem _gr_131.gif] Let green theorem _gr_132.gif] be oriented clockwise and let green theorem _gr_133.gif] be the region between green theorem _gr_134.gif] and green theorem _gr_135.gif] Then by Green's Theorem for Doubly-Connected Regions,
    
green theorem _gr_136.gif]

green theorem _gr_137.gif]

green theorem _gr_138.gif]

green theorem _gr_139.gif]

Thus,

green theorem _gr_140.gif]

which is something that can be easily evaluated, using say, the parametrization

green theorem _gr_141.gif]

Therefore,

green theorem _gr_142.gif]

green theorem _gr_143.gif]

green theorem _gr_144.gif]

green theorem _gr_145.gif]
green theorem _gr_146.gif]

Cite this as:
Green Theorem
Published by Library of Math -- Online math organized by subject into topics.
Written by Smith, David A.
http://www.libraryofmath.com/green-theorem.html
 
    
Library of Math
Online Math Organized by Subject Into Topics
math search
Library of Math AddThis Feed Button
The Library of Math - Online Math Organized by Subject Into Topics.
© 2005 - 2008 www.LibraryOfMath.com All rights reserved.
about us | feedback | privacy policy | terms of use | mision statement | help

Page copy protected against web site content infringement by Copyscape Valid CSS! Valid HTML 4.01 Transitional Subscribe to the Library of Math Feed
Art & Photography Shop | Being Healthy Shop | Best Sports Mall | Cafe Food Lover | Cafe Gift Shop | Cafe Internet Shop | Career Archives | City Annals
Countries Shop | Crazy Kids World | Dallas Cowboys Football Shop | Headline News Shop | Heart Boutique | Lover of Pets | Military Support Store
Musical Boutique | Online Math Store | Political Ramblings | Shop by Auction | Shop of Learning | Shop of Technology | Shop of Travels | Special Occasion Shop
Store of Hobbies | Theology Store | USA States Shop | Your Animal Store | Your Fitness World | Your Funny Store | Your Science Store