Green's Theorem - Proof When D Is A Simple Region

Proof When D Is A Simple Region

The following is a proof of the theorem for the simplified area D, a type I region where C2 and C4 are vertical lines. A similar proof exists for when D is a type II region where C1 and C3 are straight lines. The general case can be deduced from this special case by approximating the domain D by a union of simple domains.

If it can be shown that

and

are true, then Green's theorem is proven in the first case.

Define the type I region D as pictured on the right by

where g1 and g2 are continuous functions on . Compute the double integral in (1):


\begin{align}
\iint_D \frac{\partial L}{\partial y}\, dA
& =\int_a^b\,\int_{g_1(x)}^{g_2(x)} \frac{\partial L}{\partial y} (x,y)\,dy\,dx \\
& = \int_a^b \Big\{L(x,g_2(x)) - L(x,g_1(x)) \Big\} \, dx.\qquad\mathrm{(3)}
\end{align}

Now compute the line integral in (1). C can be rewritten as the union of four curves: C1, C2, C3, C4.

With C1, use the parametric equations: x = x, y = g1(x), axb. Then

With C3, use the parametric equations: x = x, y = g2(x), axb. Then

The integral over C3 is negated because it goes in the negative direction from b to a, as C is oriented positively (counterclockwise). On C2 and C4, x remains constant, meaning

Therefore,


\begin{align}
\int_{C} L\, dx & = \int_{C_1} L(x,y)\, dx + \int_{C_2} L(x,y)\, dx + \int_{C_3} L(x,y)\, dx + \int_{C_4} L(x,y)\, dx \\
& = -\int_a^b L(x,g_2(x))\, dx + \int_a^b L(x,g_1(x))\, dx.\qquad\mathrm{(4)}
\end{align}

Combining (3) with (4), we get (1). Similar computations give (2).

Read more about this topic:  Green's Theorem

Famous quotes containing the words proof, simple and/or region:

    The chief contribution of Protestantism to human thought is its massive proof that God is a bore.
    —H.L. (Henry Lewis)

    It is a curious emotion, this certain homesickness I have in mind. With Americans, it is a national trait, as native to us as the rollercoaster or the jukebox. It is no simple longing for the home town or country of our birth. The emotion is Janus-faced: we are torn between a nostalgia for the familiar and an urge for the foreign and strange. As often as not, we are homesick most for the places we have never known.
    Carson McCullers (1917–1967)

    Biography is a very definite region bounded on the north by history, on the south by fiction, on the east by obituary, and on the west by tedium.
    Philip Guedalla (1889–1944)