stokes` theorem

advertisement

17

VECTOR CALCULUS

VECTOR CALCULUS

17.8

Stokes’ Theorem

In this section, we will learn about:

The Stokes’ Theorem and using it to evaluate integrals.

2

STOKES’ VS. GREEN’S THEOREM

Stokes’ Theorem can be regarded as a higherdimensional version of Green’s

Theorem.

 Green’s Theorem relates a double integral over a plane region D to a line integral around its plane boundary curve.

 Stokes’ Theorem relates a surface integral over a surface S to a line integral around the boundary curve of S (a space curve).

3

INTRODUCTION

The figure shows an oriented surface with unit normal vector n .

 The orientation of S induces the positive orientation of the boundary curve C.

4

Fig. 17.8.1, p. 1129

INTRODUCTION

This means that:

 If you walk in the positive direction around C with your head pointing in the direction of n , the surface will always be on your left.

5

Fig. 17.8.1, p. 1129

STOKES’ THEOREM

Let:

 S be an oriented piecewise-smooth surface bounded by a simple, closed, piecewise-smooth boundary curve C with positive orientation.

 F be a vector field whose components have continuous partial derivatives on an open region

° 3 in that contains S .

Then,

C

F

 d r

 

S curl F

 d S

6

STOKES’ THEOREM

The theorem is named after the Irish mathematical physicist Sir George Stokes

(1819 –1903).

 What we call Stokes’ Theorem was actually discovered by the Scottish physicist Sir William

Thomson (1824 –1907, known as Lord Kelvin).

 Stokes learned of it in a letter from Thomson in 1850.

7

STOKES’ THEOREM

C

F

 d r

 

C

F T ds and



S curl F

 d S

 

S curl

Thus, Stokes’ Theorem says:

 The line integral around the boundary curve of S of the tangential component of F is equal to the surface integral of the normal component of the curl of F .

8

STOKES’ THEOREM Equation 1

The positively oriented boundary curve of the oriented surface S is often written as ∂ S.

So, the theorem can be expressed as:



S curl F

 d S

 

S

F

 d r

9

STOKES’ THEOREM, GREEN’S THEOREM, & FTC

There is an analogy among Stokes’ Theorem,

Green’s Theorem, and the Fundamental

Theorem of Calculus (FTC).

 As before, there is an integral involving derivatives on the left side of Equation 1 (recall that curl F is a sort of derivative of F ).

 The right side involves the values of F only on the boundary of S .

10

STOKES’ THEOREM, GREEN’S THEOREM, & FTC

In fact, consider the special case where the surface

S:

 Is flat.

 Lies in the xy -plane with upward orientation.

11

STOKES’ THEOREM, GREEN’S THEOREM, & FTC

Then,

 The unit normal is k .

 The surface integral becomes a double integral.

 Stokes’ Theorem becomes:

C

F

 d r

 

S curl F

 d S

 

S

 curl

 dA

12

STOKES’ THEOREM, GREEN’S THEOREM, & FTC

This is precisely the vector form of

Green’s Theorem given in Equation 12 in Section 17.5

 Thus, we see that Green’s Theorem is really a special case of Stokes’ Theorem.

13

STOKES’ THEOREM

Stokes’ Theorem is too difficult for us to prove in its full generality.

Still, we can give a proof when:

S is a graph.

 F , S , and C are well behaved.

14

STOKES’ TH.—SPECIAL CASE Proof

We assume that the equation of S is: z = g ( x , y ), ( x , y

D where:

 g has continuous second-order partial derivatives.

D is a simple plane region whose boundary curve

C

1 corresponds to C .

15

STOKES’ TH.—SPECIAL CASE Proof

If the orientation of S is upward, the positive orientation of C corresponds to the positive orientation of C

1

.

16

Fig. 16.8.2, p. 1129

STOKES’ TH.—SPECIAL CASE

We are also given that:

Proof

F = P i + Q j + R k where the partial derivatives of

P , Q , and R are continuous.

17

STOKES’ TH.—SPECIAL CASE

S is a graph of a function.

Proof

Thus, we can apply Formula 10 in

Section 17.7 with F replaced by curl F .

18

STOKES’ TH.—SPECIAL CASE

The result is:

Proof —Equation 2



S curl F

 d S

 

D

R y

Q z

 z x

 

P z

R x 

 z y

Q x

P y

 dA where the partial derivatives of P , Q , and R are evaluated at ( x , y , g ( x , y )).

19

STOKES’ TH.—SPECIAL CASE

Suppose

Proof x = x ( t ) y = y ( t ) a ≤ t ≤ b is a parametric representation of C

1.

 Then, a parametric representation of C is: x = x ( t ) y = y ( t ) z = g ( x ( t ), y ( t )) a ≤ t ≤ b

20

STOKES’ TH.—SPECIAL CASE Proof

This allows us, with the aid of the Chain Rule, to evaluate the line integral as follows:

C

F

 d r

  a b

P dx

Q dy

 dz

R dt dt dt dt

  a b

P dx

Q dy dt dt

R

 z dx x dt

 z dy y dt

 dt

21

STOKES’ TH.—SPECIAL CASE Proof

  a b

 

P

R

 z dx

 Q

R

 

 dt

 

C

1

P

R

 z x

 dx

 Q

R

 z y

 dy

 

D

 x

Q

R

 z y

 y

P

R

 z

 x 

 dA

 We have used Green’s Theorem in the last step.

22

STOKES’ TH.—SPECIAL CASE Proof

Next, we use the Chain Rule again, remembering that:

 P , Q , and R are functions of x , y , and z.

 z is itself a function of x and y .

23

STOKES’ TH.—SPECIAL CASE

Thus, we get:

Proof

C

F

 d r

 

D





 

Q x

Q z z x

R z x y

R z z z x y

R

 

P y

P z

  y

R z

 

R z z

  

R

 2 z

2 z



 dA

24

STOKES’ TH.—SPECIAL CASE Proof

Four terms in that double integral cancel.

The remaining six can be arranged to coincide with the right side of Equation 2.

 Hence,

C

F

 d r

 

S curl F

 d S

25

STOKES’ THEOREM

Evaluate

C

F

 d r

where:

 F ( x , y , z ) = – y 2 i + x j + z 2 k

Example 1

 C is the curve of intersection of the plane y + z = 2 and the cylinder x 2 + y 2 = 1.

(Orient C to be counterclockwise when viewed from above.)

26

STOKES’ THEOREM Example 1

The curve

C

(an ellipse) is shown here.

F

 d r could be

C evaluated directly.

 However, it’s easier to use Stokes’ Theorem.

27

Fig. 17.8.3, p. 1131

STOKES’ THEOREM

We first compute:

Example 1 curl F

 i j k

  

 x

 y

 z

 2 y x z

2

1 2 y

 k

28

STOKES’ THEOREM Example 1

There are many surfaces with boundary

C.

 The most convenient choice, though, is the elliptical region S in the plane y + z = 2 that is bounded by C .

 If we orient S upward,

C has the induced positive orientation.

29

Fig. 17.8.3, p. 1131

STOKES’ THEOREM Example 1

The projection D of S on the xy -plane is the disk x 2 + y 2 ≤ 1.

 So, using Equation 10 in Section 17.7 with z = g ( x , y ) = 2 – y , we have the following result.

30

Fig. 17.8.3, p. 1131

STOKES’ THEOREM Example 1

C

F

 d r

 

S curl F

 d S

 

D

1 2

 2

1  

0 0

    r dr d

0

2

2 3 r

 r

2 sin

2 3

 1 d

0

1

2

0

2

2

1

2

2 3

0 sin

31

STOKES’ THEOREM Example 2

Use Stokes’ Theorem to compute 

S curl F

 d S where:

 F ( x , y , z ) = xz i + yz j + xy k

 S is the part of the sphere x 2 + y 2 + z 2 = 4 that lies inside the cylinder x 2 + y 2 =1 and above the xy -plane.

32

Fig. 17.8.4, p. 1131

STOKES’ THEOREM Example 2

To find the boundary curve C , we solve: x 2 + y 2 + z 2 = 4 and x 2 + y 2 = 1

 Subtracting, we get z 2 = 3.

 So, z

3

(since z > 0).

33

Fig. 17.8.4, p. 1131

STOKES’ THEOREM Example 2

So,

C

is the circle given by:

x 2

+

y 2

= 1,

z

3

34

Fig. 17.8.4, p. 1131

STOKES’ THEOREM Example 2

A vector equation of C is: r ( t ) = cos t i + sin t j + k 0 ≤ t ≤ 2 π

 Therefore, r ’ ( t ) = –sin t i + cos t j

Also, we have:

 

3 cos t i

3 sin t j

 cos sin t k

35

STOKES’ THEOREM

Thus, by Stokes’ Theorem,

Example 2



S curl F

 d S

 

C

F

 d r

 

0

2

F r

 r t dt

 

0

2

 

3 cos sin t

 t

 2

3

0

0 dt

0

36

STOKES’ THEOREM

Note that, in Example 2, we computed a surface integral simply by knowing the values of F on the boundary curve C .

This means that:

 If we have another oriented surface with the same boundary curve C , we get exactly the same value for the surface integral!

37

STOKES’ THEOREM Equation 3

In general, if S

1 and S

2 are oriented surfaces with the same oriented boundary curve C and both satisfy the hypotheses of Stokes’

Theorem, then



S

1 curl F

 d S

 

C

F

 d r

 

S

2 curl F

 d S

 This fact is useful when it is difficult to integrate over one surface but easy to integrate over the other.

38

CURL VECTOR

We now use Stokes’ Theorem to throw some light on the meaning of the curl vector.

 Suppose that C is an oriented closed curve and v represents the velocity field in fluid flow.

39

CURL VECTOR

Consider the line integral

C v

 d r

 

C v T ds and recall that v ∙ T is the component of v in the direction of the unit tangent vector T .

 This means that the closer the direction of v is to the direction of T , the larger the value of v ∙ T .

40

CIRCULATION

 v

 d r

C of the fluid to move around C.

 It is called the circulation of v around C .

41

Fig. 17.8.5, p. 1132

CURL VECTOR

Now, let:

P

0

( x

0

, y

0

, z

0

) be a point in the fluid.

S a be a small disk with radius a and center P

0

.

 Then, (curl F )( P ) ≈ (curl F )( P

0

) for all points

P on S a because curl F is continuous.

42

CURL VECTOR

Thus, by Stokes’ Theorem, we get the following approximation to the circulation around the boundary circle C a

:

C a v

 d r

S

 a curl v

 d S



S a curl dS

S

 a curl v

   

0

P dS

0

 curl v P

0

P

0

 a

2

43

CURL VECTOR Equation 4

The approximation becomes better as a → 0.

Thus, we have: curl v

   

0

P

0

 a lim

0

1 a

2

C a v

 d r

44

CURL & CIRCULATION

Equation 4 gives the relationship between the curl and the circulation.

It shows that curl v ∙ n is a measure of the rotating effect of the fluid about the axis n .

 The curling effect is greatest about the axis parallel to curl v .

45

CURL & CIRCULATION

Imagine a tiny paddle wheel placed in the fluid at a point P .

 The paddle wheel rotates fastest when its axis is parallel to curl v .

46

Fig. 17.8.6, p. 1132

CLOSED CURVES

Finally, we mention that Stokes’ Theorem can be used to prove Theorem 4 in

Section 16.5:

 If curl F

3

= 0 on all of , then F is conservative.

47

CLOSED CURVES

From Theorems 3 and 4 in Section 17.3, we know that F

C

F

 d r

0 for every closed path C .

 Given C , suppose we can find an orientable surface S whose boundary is C .

 This can be done, but the proof requires advanced techniques.

48

CLOSED CURVES

Then, Stokes’ Theorem gives:

C

F

 d r

 

S curl F

 d S

0

 d S

S



0

 A curve that is not simple can be broken into a number of simple curves.

 The integrals around these curves are all 0.

49

CLOSED CURVES

Adding these integrals, we obtain:

C

F

 d r

0

for any closed curve

C

.

50

Download