Kevin James. MTHSC 206 Section 16.4 Green s Theorem

Transcription

1 MTHSC 206 Section 16.4 Green s Theorem

2 Theorem Let C be a positively oriented, piecewise smooth, simple closed curve in R 2. Let D be the region bounded by C. If P(x, y)( and Q(x, y) have continuous partial derivatives on an open region containing D, then ( Q P dx + Q dy = x P ) da. y C D

3 Theorem Let C be a positively oriented, piecewise smooth, simple closed curve in R 2. Let D be the region bounded by C. If P(x, y)( and Q(x, y) have continuous partial derivatives on an open region containing D, then ( Q P dx + Q dy = x P ) da. y C Note In the situation above, we sometimes denote C as D. D

4 Sketch of Proof We will assume that the region D is both of type I and type II.

5 Sketch of Proof We will assume that the region D is both of type I and type II. Note that it is enough to show that C P dx = D P y da, and C Q dy = D Q x da.

6 Sketch of Proof We will assume that the region D is both of type I and type II. Note that it is enough to show that P C P dx = D y da, and C Q dy = D We will show that first equality. Q x da.

7 Sketch of Proof We will assume that the region D is both of type I and type II. Note that it is enough to show that P C P dx = D y da, and C Q dy = D We will show that first equality. Writing Q x D = {(x, y) a x b; g 1 (x) y g 2 (x)}, da. we have D P y da = = b g2 (x) a g 1 (x) P y dy dx

8 Sketch of Proof We will assume that the region D is both of type I and type II. Note that it is enough to show that P C P dx = D y da, and C Q dy = D We will show that first equality. Writing Q x D = {(x, y) a x b; g 1 (x) y g 2 (x)}, da. we have D P y da = = b g2 (x) a b a g 1 (x) P y dy dx [P(x, g 2 (x)) P(x, g 1 (x))] dx.

9 Sketch of proof continued... Now we break C into 4 curves C1, C2, C3 and C4 given by: C1 : [t, g 1 (t)]; a t b C2 : [b, t]; g 1 (b) t g 2 (b) C3 : [t, g 2 (t)]; a t b C4 : [a, t]; g 1 (a) t g 2 (a).

10 Sketch of proof continued... Now we break C into 4 curves C1, C2, C3 and C4 given by: C1 : [t, g 1 (t)]; a t b C2 : [b, t]; g 1 (b) t g 2 (b) C3 : [t, g 2 (t)]; a t b C4 : [a, t]; g 1 (a) t g 2 (a). Note that C2 P dx = 0 = C4 P dx. Thus,

11 Sketch of proof continued... Now we break C into 4 curves C1, C2, C3 and C4 given by: C1 : [t, g 1 (t)]; a t b C2 : [b, t]; g 1 (b) t g 2 (b) C3 : [t, g 2 (t)]; a t b C4 : [a, t]; g 1 (a) t g 2 (a). Note that C2 P dx = 0 = C4 P dx. Thus, C P dx = C1 P dx P dx C3

12 Sketch of proof continued... Now we break C into 4 curves C1, C2, C3 and C4 given by: C1 : [t, g 1 (t)]; a t b C2 : [b, t]; g 1 (b) t g 2 (b) C3 : [t, g 2 (t)]; a t b C4 : [a, t]; g 1 (a) t g 2 (a). Note that C2 P dx = 0 = C4 P dx. Thus, C P dx = C1 P dx P dx C3 =

13 Sketch of proof continued... Now we break C into 4 curves C1, C2, C3 and C4 given by: C1 : [t, g 1 (t)]; a t b C2 : [b, t]; g 1 (b) t g 2 (b) C3 : [t, g 2 (t)]; a t b C4 : [a, t]; g 1 (a) t g 2 (a). Note that C2 P dx = 0 = C4 P dx. Thus, C P dx = = C1 b a P dx P dx C3 [P(t, g 1 (t)) P(t, g 2 (t))] dt

14 Sketch of proof continued... Now we break C into 4 curves C1, C2, C3 and C4 given by: C1 : [t, g 1 (t)]; a t b C2 : [b, t]; g 1 (b) t g 2 (b) C3 : [t, g 2 (t)]; a t b C4 : [a, t]; g 1 (a) t g 2 (a). Note that C2 P dx = 0 = C4 P dx. Thus, C P dx = C1 b P dx P dx C3 = [P(t, g 1 (t)) P(t, g 2 (t))] dt a P = y da. D

15 Sketch of proof continued... Now we break C into 4 curves C1, C2, C3 and C4 given by: C1 : [t, g 1 (t)]; a t b C2 : [b, t]; g 1 (b) t g 2 (b) C3 : [t, g 2 (t)]; a t b C4 : [a, t]; g 1 (a) t g 2 (a). Note that C2 P dx = 0 = C4 P dx. Thus, C P dx = C1 b P dx P dx C3 = [P(t, g 1 (t)) P(t, g 2 (t))] dt a P = y da. D

16 Example Evaluate C x 3 dx + xy dy where C is the curve bounding the triangular region with vertices (0, 0), (1, 0) and (0, 2).

17 Example Evaluate C x 3 dx + xy dy where C is the curve bounding the triangular region with vertices (0, 0), (1, 0) and (0, 2). Example Evaluate C (3y esin(x) ) dx + (7x + y 4 + 1) dy where C is the circle about the origin of radius 3.

18 Example Evaluate C x 3 dx + xy dy where C is the curve bounding the triangular region with vertices (0, 0), (1, 0) and (0, 2). Example Evaluate C (3y esin(x) ) dx + (7x + y 4 + 1) dy where C is the circle about the origin of radius 3. Note If P and Q are known to be zero on C and if D is the interior of C then no matter the behavior of P and Q in D, we have ( ) Q D x P y = C P dx + Q dy = 0.

19 Note We can use Green s theorem to calculate area. We simply need to arrange for Q x P y = 1.

20 Note We can use Green s theorem to calculate area. We simply need to arrange for Q x P y = 1. Here are some possible choices: P(x, y) = 0 P(x, y) = y, P(x, y) = y 2 Q(x, y) = x Q(x, y) = 0, Q(x, y) = x 2.

21 Note We can use Green s theorem to calculate area. We simply need to arrange for Q x P y = 1. Here are some possible choices: P(x, y) = 0 P(x, y) = y, P(x, y) = y 2 Q(x, y) = x Q(x, y) = 0, Q(x, y) = x 2. Then, Green s theorem gives A = x dy = C C y dx = 1 2 C x dy y dx.

22 Example Find the area enclosed by the ellipse x2 a 2 + y 2 b 2 = r 2.

23 Example Find the area enclosed by the ellipse x2 a 2 + y 2 b 2 = r 2. Note We can use Green s theorem to integrate over regions which are not of type I and of type II but are finite unions of such regions.

24 Example Find the area enclosed by the ellipse x2 a 2 + y 2 b 2 = r 2. Note We can use Green s theorem to integrate over regions which are not of type I and of type II but are finite unions of such regions. Example Evaluate C y 2 dx + 3xy dy where C is the boundary of the region bounded above by the upper semicircle of radius 2 and below by the upper semicircle of radius 1.

25 Note With some care, Green s theorem can be extended to regions with holes.

26 Note With some care, Green s theorem can be extended to regions with holes. Example Use the extended version [ of Green s theorem mentioned above to show that if F (x, y) = y x, ], then x 2 +y 2 x 2 +y 2 C F dr = 2π for every positively oriented, simple, closed path that encloses the origin.