<< Chapter < Page Chapter >> Page >

Determine whether F ( x , y ) = sin x cos y , cos x sin y is conservative.

It is conservative.

Got questions? Get instant answers now!

When using [link] , it is important to remember that a theorem is a tool, and like any tool, it can be applied only under the right conditions. In the case of [link] , the theorem can be applied only if the domain of the vector field is simply connected.

To see what can go wrong when misapplying the theorem, consider the vector field from [link] :

F ( x , y ) = y x 2 + y 2 i + x x 2 + y 2 j .

This vector field satisfies the cross-partial property, since

y ( y x 2 + y 2 ) = ( x 2 + y 2 ) y ( 2 y ) ( x 2 + y 2 ) 2 = x 2 y 2 ( x 2 + y 2 ) 2

and

x ( x x 2 + y 2 ) = ( x 2 + y 2 ) + x ( 2 x ) ( x 2 + y 2 ) 2 = x 2 y 2 ( x 2 + y 2 ) 2 .

Since F satisfies the cross-partial property, we might be tempted to conclude that F is conservative. However, F is not conservative. To see this, let

r ( t ) = cos t , sin t , 0 t π

be a parameterization of the upper half of a unit circle oriented counterclockwise (denote this C 1 ) and let

s ( t ) = cos t , sin t , 0 t π

be a parameterization of the lower half of a unit circle oriented clockwise (denote this C 2 ) . Notice that C 1 and C 2 have the same starting point and endpoint. Since sin 2 t + cos 2 t = 1 ,

F ( r ( t ) ) r ( t ) = sin ( t ) , cos ( t ) sin ( t ) , cos ( t ) = −1

and

F ( s ( t ) ) · s ( t ) = sin t , cos t · sin t , cos t = sin 2 t + cos 2 t = 1.

Therefore,

C 1 F · d r = 0 π −1 d t = π and C 2 F · d r = 0 π 1 d t = π .

Thus, C 1 and C 2 have the same starting point and endpoint, but C 1 F · d r C 2 F · d r . Therefore, F is not independent of path and F is not conservative.

To summarize: F satisfies the cross-partial property and yet F is not conservative. What went wrong? Does this contradict [link] ? The issue is that the domain of F is all of 2 except for the origin. In other words, the domain of F has a hole at the origin, and therefore the domain is not simply connected. Since the domain is not simply connected, [link] does not apply to F .

We close this section by looking at an example of the usefulness of the Fundamental Theorem for Line Integrals. Now that we can test whether a vector field is conservative, we can always decide whether the Fundamental Theorem for Line Integrals can be used to calculate a vector line integral. If we are asked to calculate an integral of the form C F · d r , then our first question should be: Is F conservative? If the answer is yes, then we should find a potential function and use the Fundamental Theorem for Line Integrals to calculate the integral. If the answer is no, then the Fundamental Theorem for Line Integrals can’t help us and we have to use other methods, such as using [link] .

Using the fundamental theorem for line integrals

Calculate line integral C F · d r , where F ( x , y , z ) = 2 x e y z + e x z , x 2 e y z , x 2 e y + e x and C is any smooth curve that goes from the origin to ( 1 , 1 , 1 ) .

Before trying to compute the integral, we need to determine whether F is conservative and whether the domain of F is simply connected. The domain of F is all of 3 , which is connected and has no holes. Therefore, the domain of F is simply connected. Let

P ( x , y , z ) = 2 x e y z + e x z , Q ( x , y , z ) = x 2 e y z , and R ( x , y , z ) = x 2 e y + e x

so that F = P , Q , R . Since the domain of F is simply connected, we can check the cross partials to determine whether F is conservative. Note that

P y = 2 x e y z = Q x P z = 2 x e y + e x = R x Q z = x 2 e y = R y .

Therefore, F is conservative.

To evaluate C F · d r using the Fundamental Theorem for Line Integrals, we need to find a potential function f for F . Let f be a potential function for F . Then, f = F , and therefore f x = 2 x e y z + e x z . Integrating this equation with respect to x gives f ( x , y , z ) = x 2 e y z + e x z + h ( y , z ) for some function h . Differentiating this equation with respect to y gives x 2 e y z + h y = Q = x 2 e y z , which implies that h y = 0 . Therefore, h is a function of z only, and f ( x , y , z ) = x 2 e y z + e x z + h ( z ) . To find h , note that f z = x 2 e y + e x + h ( z ) = R = x 2 e y + e x . Therefore, h ( z ) = 0 and we can take h ( z ) = 0 . A potential function for F is f ( x , y , z ) = x 2 e y z + e x z .

Now that we have a potential function, we can use the Fundamental Theorem for Line Integrals to evaluate the integral. By the theorem,

C F · d r = C f · d r = f ( 1 , 1 , 1 ) f ( 0 , 0 , 0 ) = 2 e .
Got questions? Get instant answers now!
Got questions? Get instant answers now!

Questions & Answers

what are components of cells
ofosola Reply
twugzfisfjxxkvdsifgfuy7 it
Sami
58214993
Sami
what is a salt
John
the difference between male and female reproduction
John
what is computed
IBRAHIM Reply
what is biology
IBRAHIM
what is the full meaning of biology
IBRAHIM
what is biology
Jeneba
what is cell
Kuot
425844168
Sami
what is biology
Inenevwo
what is cytoplasm
Emmanuel Reply
structure of an animal cell
Arrey Reply
what happens when the eustachian tube is blocked
Puseletso Reply
what's atoms
Achol Reply
discuss how the following factors such as predation risk, competition and habitat structure influence animal's foraging behavior in essay form
Burnet Reply
cell?
Kuot
location of cervical vertebra
KENNEDY Reply
What are acid
Sheriff Reply
define biology infour way
Happiness Reply
What are types of cell
Nansoh Reply
how can I get this book
Gatyin Reply
what is lump
Chineye Reply
what is cell
Maluak Reply
what is biology
Maluak
what is vertibrate
Jeneba
what's cornea?
Majak Reply
what are cell
Achol
Got questions? Join the online conversation and get instant answers!
Jobilize.com Reply
Practice Key Terms 6

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Calculus volume 3. OpenStax CNX. Feb 05, 2016 Download for free at http://legacy.cnx.org/content/col11966/1.2
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Calculus volume 3' conversation and receive update notifications?

Ask