6.4 Green’s theorem  (Page 6/12)

Green’s theorem on general regions

Green’s theorem, as stated, applies only to regions that are simply connected—that is, Green’s theorem as stated so far cannot handle regions with holes. Here, we extend Green’s theorem so that it does work on regions with finitely many holes ( [link] ).

Before discussing extensions of Green’s theorem, we need to go over some terminology regarding the boundary of a region. Let D be a region and let C be a component of the boundary of D . We say that C is positively oriented if, as we walk along C in the direction of orientation, region D is always on our left. Therefore, the counterclockwise orientation of the boundary of a disk is a positive orientation, for example. Curve C is negatively oriented if, as we walk along C in the direction of orientation, region D is always on our right. The clockwise orientation of the boundary of a disk is a negative orientation, for example.

Let D be a region with finitely many holes (so that D has finitely many boundary curves), and denote the boundary of D by $\partial D$ ( [link] ). To extend Green’s theorem so it can handle D , we divide region D into two regions, $D_1$ and $D_2$ (with respective boundaries $\partial D_1$ and $\partial D_2),$ in such a way that $D=D_1\cup D_2$ and neither $D_1$ nor $D_2$ has any holes ( [link] ).

Assume the boundary of D is oriented as in the figure, with the inner holes given a negative orientation and the outer boundary given a positive orientation. The boundary of each simply connected region $D_1$ and $D_2$ is positively oriented. If F is a vector field defined on D , then Green’s theorem says that

Therefore, Green’s theorem still works on a region with holes.

To see how this works in practice, consider annulus D in [link] and suppose that $\text{F}=⟨P,Q⟩$ is a vector field defined on this annulus. Region D has a hole, so it is not simply connected. Orient the outer circle of the annulus counterclockwise and the inner circle clockwise ( [link] ) so that, when we divide the region into $D_1$ and $D_2,$ we are able to keep the region on our left as we walk along a path that traverses the boundary. Let $D_1$ be the upper half of the annulus and $D_2$ be the lower half. Neither of these regions has holes, so we have divided D into two simply connected regions.

We label each piece of these new boundaries as $P_i$ for some i, as in [link] . If we begin at P and travel along the oriented boundary, the first segment is $P_1,$ then $P_2,P_3,$ and $P_4.$ Now we have traversed $D_1$ and returned to P. Next, we start at P again and traverse $D_2.$ Since the first piece of the boundary is the same as $P_4$ in $D_1,$ but oriented in the opposite direction, the first piece of $D_2$ is $\text{−}{P}_4.$ Next, we have $P_5,$ then $\text{−}{P}_2,$ and finally $P_6.$

[link] shows a path that traverses the boundary of D . Notice that this path traverses the boundary of region $D_1,$ returns to the starting point, and then traverses the boundary of region $D_2.$ Furthermore, as we walk along the path, the region is always on our left. Notice that this traversal of the $P_i$ paths covers the entire boundary of region D. If we had only traversed one portion of the boundary of D , then we cannot apply Green’s theorem to D .