Articles

16.4: Green's Theorem - Mathematics

16.4: Green's Theorem - Mathematics


We are searching data for your request:

Forums and discussions:
Manuals and reference books:
Data from registers:
Wait the end of the search in all databases.
Upon completion, a link will appear to access the found materials.

We will now see a way of evaluating the line integral of a smooth vector field around a simple closed curve. A vector field ( extbf{f}(x, y) = P(x, y) extbf{i} + Q(x, y) extbf{j}) is smooth if its component functions (P(x, y)) and (Q(x, y)) are smooth. We will use Green’s Theorem (sometimes called Green’s Theorem in the plane) to relate the line integral around a closed curve with a double integral over the region inside the curve:

Theorem 4.7: Green's Theorem

Let (R) be a region in (mathbb{R}^2) whose boundary is a simple closed curve (C) which is piecewise smooth. Let ( extbf{f}(x, y) = P(x, y) extbf{i}+Q(x, y) extbf{j}) be a smooth vector field defined on both (R) and (C). Then

[oint_C extbf{f}cdot d extbf{r} = iintlimits_R left ( dfrac{∂Q}{ ∂x} - dfrac{∂P}{ ∂y} ight ),dA, label{Eq4.21}]

where (C) is traversed so that (R) is always on the left side of (C).

Proof: We will prove the theorem in the case for a simple region (R), that is, where the boundary curve (C) can be written as (C = C_1 cup C_2) in two distinct ways:

[egin{align} C_1 &= ext{ the curve }y = y_1(x) ext{ from the point }X_1 ext{ to the point }X_2 label{Eq4.22} [4pt] C_2 &= ext{ the curve }y = y_2(x) ext{ from the point }X_2 ext{ to the point } X_1 , label{Eq4.23} [4pt] end{align}]

where (X_1) and (X_2) are the points on (C) farthest to the left and right, respectively; and

[egin{align} C_1 &= ext{ the curve }x = x_1(y) ext{ from the point }Y_2 ext{ to the point } Y_1 label{Eq4.24} [4pt] C_2 &= ext{ the curve } x = x_2(y) ext{ from the point } Y_1 ext{ to the point }Y_2,label{Eq4.25} [4pt] end{align}]

where (Y_1) and (Y_2) are the lowest and highest points, respectively, on (C). See Figure 4.3.1.

Integrate (P(x, y)) around (C) using the representation (C = C_1 cup C_2) given by Equation ef{Eq4.23} and Equation ef{Eq4.24}.

Since (y = y_1(x) ext{ along }C_1) (as (x) goes from (a ext{ to }b)) and (y = y_2(x) ext{ along }C_2) (as (x) goes from (b ext{ to }a)), as we see from Figure 4.3.1, then we have

[ onumber egin{align} oint_C P(x, y),dx&=int_{C_1}P(x, y),dx+int_{C_2}P(x, y),dx [4pt] onumber &=int_a^b P(x, y_1(x)),dx+int_b^a P(x, y_2(x)),dx [4pt] onumber &=int_a^b P(x, y_1(x)),dx - int_a^b P(x, y_2(x)),dx [4pt] onumber &=-int_a^b (P(x, y_2(x)) - P(x, y_1(x))), dx [4pt] onumber &=-int_a^b left ( P(x, y) Big |_{y=y_1(x)}^{y=y_2(x)} ight ),dx [4pt] onumber &=-int_a^b int_{y_1(x)}^{y_2(x)} dfrac{∂P(x, y)}{ ∂y},dy,dx ext{ (by the Fundamental Theorem of Calculus)} [4pt] &=-iintlimits_R dfrac{∂P}{ ∂y},dA. [4pt] label{Eq4.26} end{align}]

Likewise, integrate (Q(x, y)) around (C) using the representation (C = C_1 cup C_2) given by Equation ef{Eq4.25} and Equation ef{Eq4.26}. Since (x = x_1(y) ext{ along }C_1) (as (y) goes from (d) to (c)) and (x = x_2(y) ext{ along }C_2) (as (y) goes from (c) to (d)), as we see from Figure 4.3.1, then we have

[ onumber egin{align} oint_C Q(x, y),dy&=int_{C_1}Q(x, y),dy+int_{C_2}Q(x, y),dy [4pt] onumber &=int_d^c Q(x_1(y), y),dy+int_c^d Q(x_2(y), y),dy [4pt] onumber &=-int_c^d Q(x_1(y), y),dy + int_c^d Q(x_2(y), y),dy [4pt] onumber &=int_c^d (Q(x_2(y), y) - Q(x_1(y), y)), dy [4pt] onumber &=int_c^d left ( Q(x, y) Big |_{x=x_1(y)}^{x=x_2(y)} ight ),dy [4pt] onumber &=int_c^d int_{x_1(y)}^{x_2(y)} dfrac{∂Q(x, y)}{ ∂x},dx,dy ext{ (by the Fundamental Theorem of Calculus)} [4pt] onumber &=iintlimits_R dfrac{∂Q}{ ∂x},dA, ext{ and so} [4pt] end{align}]

[ onumber egin{align} oint_C extbf{f}cdot d extbf{r} &= oint_C P(x, y),dx + oint_C Q(x, y),d y [4pt] onumber &= -iint_R dfrac{∂P}{ ∂y},dA + iint_R dfrac{∂Q}{∂x},dA [4pt] onumber &= iint_R left ( dfrac{∂Q}{ ∂x}-dfrac{∂P}{ ∂y} ight ) ,dA. [4pt] end{align}]

( ag{( extbf{QED})})

Though we proved Green’s Theorem only for a simple region (R), the theorem can also be proved for more general regions (say, a union of simple regions).

Example 4.7

Evaluate (oint_C (x^2 + y^2 ),dx+2x y, d y), where (C) is the boundary (traversed counterclockwise) of the region (R = {(x, y) : 0 ≤ x ≤ 1, 2x^2 ≤ y ≤ 2x}).

(R) is the shaded region in Figure 4.3.2. By Green’s Theorem, for (P(x, y) = x^2 + y^2 ext{ and }Q(x, y) = 2x y), we have

[ onumber egin{align} oint_C (x^2+y^2),dx+2x y ,d y &=iint_R left ( dfrac{∂Q}{ ∂x}-dfrac{∂P}{ ∂y} ight ) , dA [4pt] onumber &=iint_R (2y−2y),d A = iint_R 0,dA = 0. [4pt] end{align}]

We actually already knew that the answer was zero. Recall from Example 4.5 in Section 4.2 that the vector field ( extbf{f}(x, y) = (x^2 + y^2 ) extbf{i}+2x y extbf{j}) has a potential function (F(x, y) = dfrac{1}{3} x^3 + x y^2), and so (oint_C extbf{f}cdot d extbf{r} = 0) by Corollary 4.6.

Example 4.8

Let ( extbf{f}(x, y) = P(x, y) extbf{i}+Q(x, y) extbf{j}), where

[ onumber P(x, y) =dfrac{-y}{x^2+y^2} ext{ and }Q(x, y) =dfrac{x}{x^2+y^2},]

and let (R = {(x, y) : 0 < x^2 + y^2 ≤ 1}). For the boundary curve (C : x^2 + y^2 = 1), traversed counterclockwise, it was shown in Exercise 9(b) in Section 4.2 that (oint_C extbf{f}cdot d extbf{r} = 2π). But

[ onumber dfrac{∂Q }{∂x} = dfrac{y^2+x^2}{(x^2+y^2)^2} = dfrac{∂P }{∂y} Rightarrow iintlimits_R left ( dfrac{∂Q}{ ∂x} - dfrac{ ∂P}{ ∂y} ight ),dA= iintlimits_R 0,dA = 0]

This would seem to contradict Green’s Theorem. However, note that (R) is not the entire region enclosed by (C), since the point ((0,0)) is not contained in (R). That is, (R) has a “hole” at the origin, so Green’s Theorem does not apply.

If we modify the region (R) to be the annulus (R = {(x, y) : 1/4 ≤ x^2 + y^2 ≤ 1}) (see Figure 4.3.3), and take the “boundary” (C ext{ of }R ext{ to be }C = C_1 cup C_2), where (C_1) is the unit circle (x^2 + y^2 = 1) traversed counterclockwise and (C_2) is the circle (x^2 + y^2 = 1/4) traversed clockwise, then it can be shown (see Exercise 8) that

[ onumber oint_C extbf{f} cdot d extbf{r} = 0 ]

We would still have (iintlimits_R left ( dfrac{∂Q}{∂x} − dfrac{∂P}{ ∂y } ight ),d A = 0), so for this (R) we would have

[ onumber oint_C extbf{f}cdot d extbf{r} = iintlimits_R left ( dfrac{∂Q}{ ∂x} - dfrac{∂P}{ ∂y} ight ) , dA,]

which shows that Green’s Theorem holds for the annular region (R).

It turns out that Green’s Theorem can be extended to multiply connected regions, that is, regions like the annulus in Example 4.8, which have one or more regions cut out from the interior, as opposed to discrete points being cut out. For such regions, the “outer” boundary and the “inner” boundaries are traversed so that (R) is always on the left side.

The intuitive idea for why Green’s Theorem holds for multiply connected regions is shown in Figure 4.3.4 above. The idea is to cut “slits” between the boundaries of a multiply connected region (R) so that (R) is divided into subregions which do not have any “holes”. For example, in Figure 4.3.4(a) the region (R) is the union of the regions (R_1 ext{ and }R_2), which are divided by the slits indicated by the dashed lines. Those slits are part of the boundary of both (R_1 ext{ and }R_2), and we traverse then in the manner indicated by the arrows. Notice that along each slit the boundary of (R_1) is traversed in the opposite direction as that of (R_2), which means that the line integrals of extbf{f} along those slits cancel each other out. Since (R_1 ext{ and }R_2) do not have holes in them, then Green’s Theorem holds in each subregion, so that

[ onumber oint_{bdy,of,R_1} extbf{f} cdot d extbf{r} = iintlimits_{R_1}left (dfrac{ ∂Q }{∂x} - dfrac{∂P }{∂y} ight ),dA ext{ and }oint_{bdy,of,R_2} extbf{f}cdot d extbf{r} = iintlimits{R_2} left ( dfrac{∂Q }{∂x} - dfrac{∂P}{ ∂y} ight ),dA.]

But since the line integrals along the slits cancel out, we have

[ onumber oint_{C_1 cup C_2} extbf{f}cdot d extbf{r} = oint_{bdy,of,R_1} extbf{f} cdot d extbf{r} +oint_{bdy,of,R_2} extbf{f}cdot d extbf{r},]

and so

[ onumber oint_{C_1 cup C_2} extbf{f}cdot d extbf{r} = iintlimits_{R_1} left ( dfrac{∂Q}{ ∂x} − dfrac{∂P}{ ∂y} ight ) ,dA + iintlimits_{R_2} left ( dfrac{∂Q}{ ∂x} − dfrac{∂P}{ ∂y} ight ) ,dA = iintlimits_R left ( dfrac{∂Q}{ ∂x} - dfrac{∂P }{∂y} ight ) ,dA,]

which shows that Green’s Theorem holds in the region (R). A similar argument shows that the theorem holds in the region with two holes shown in Figure 4.3.4(b).

We know from Corollary 4.6 that when a smooth vector field ( extbf{f}(x, y) = P(x, y) extbf{i}+Q(x, y) extbf{j}) on a region (R) (whose boundary is a piecewise smooth, simple closed curve (C)) has a potential in (R), then (oint_C extbf{f}cdot d extbf{r} = 0). And if the potential (F(x, y)) is smooth in (R), then (dfrac{∂F}{ ∂x} = P ext{ and }dfrac{∂F}{ ∂y} = Q), and so we know that

[ onumber dfrac{∂^2F }{∂y∂x} = dfrac{∂^2F}{ ∂x∂y} Rightarrow dfrac{∂P}{ ∂y} = dfrac{∂Q }{∂x} ext{ in }R]

Conversely, if (dfrac{∂P}{ ∂y} = dfrac{∂Q}{ ∂x}) in (R) then

[ onumber oint_C extbf{f} cdot d extbf{r} = iintlimits_R left ( dfrac{∂Q }{∂x}-dfrac{∂P }{∂y} ight ) ,dA iintlimits_R 0,dA = 0 ]

For a simply connected region (R)(i.e. a region with no holes), the following can be shown:

The following statements are equivalent for a simply connected region (R) in (mathbb{R}^2) :

  1. ( extbf{f}(x, y) = P(x, y) extbf{i}+Q(x, y) extbf{j} ) has a smooth potential (F(x, y)) in (R)
  2. (int_C extbf{f}cdot d extbf{r}) is independent of the path for any curve (C) in (R)
  3. (oint_C extbf{f} cdot d extbf{r} = 0) for every simple closed curve (C) in (R)
  4. (dfrac{ ∂P}{ ∂y} = dfrac{∂Q }{∂x} ) in (R) (in this case, the differential form (P dx+Q d y) is exact)


Watch the video: Το Θεώρημα του Θαλή - ΓΓυμνασίου (June 2022).


Comments:

  1. Hanlon

    Made you don't turn away. What is done is done.

  2. Temman

    Granted, a useful thing

  3. Ordsone

    I consider, that you are mistaken. Let's discuss.

  4. Everett

    the Relevant message :), it is funny ...

  5. Culver

    Really and as I have not realized earlier



Write a message