Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

4.4: Conservative Vector Fields and Independence of Path

( \newcommand{\kernel}{\mathrm{null}\,}\)

The Fundamental Theorem of Line Integrals

Consider the force field representing the wind shown below

alt

You are a pilot attempting to minimize the work your engines need to do. Does it matter which path you take? Clearly the red path goes with the wind and the green path goes against the wind. With this vector field, work is dependent on the path that is taken.

Next consider the vector field

F(x,y)=yˆi+xˆj

shown below

alt

It turns out that going from point A to point B, every path leads to the same amount of work done. What is special about this vector field?

The key here, as you can quickly check, is that the vector field F is conservative with My=Nx. Since for a conservative vector field, all paths produce the same amount of work, we seek a formula that gives this work quantity. The theorem below shows us how to find this quantity. Notice the strong resemblance to the fundamental theorem of calculus.

Theorem: The Fundamental Theorem of Line Integrals

Let F be a conservative vector field with potential function f, and C be any smooth curve starting at the point A and ending at the point B. Then

CFdr=f(B)f(A)

Proof

To prove the fundamental theorem of line integrals we will use the following outcome of the chain rule:

If

ˉr(t)=x(t)ˆi+y(t)ˆj

is a vector valued function, then

ddtf(ˉr(t))=fxx(t)+fyy(t).

We are now ready to prove the theorem. We have

CFdˆr=baF(x,y)ˉr(t)dt=ba(fx(x,y)ˆi+fy(x,y)ˆj)(x(t)ˆi+y(t)ˆj)dt=ba(fx(x,y)x(t)+fy(x,y)y(t))dt=baddt(f(x(t),y(t)))dt=f(x(b),y(b))f(x(a),y(a))=f(B)f(A)

The next example demonstrates the power of this theorem.

Example 4.4.1

Find the work done by the vector field

F(x,y)=(2x3y)ˆi+(3y23x)ˆj

along the curve indicated in the graph below.

151492354022259365.gif

Solution

First notice that

My=3=Nx

We can use the fundamental theorem of line integrals to solve this. There are two approaches.

Approach 1

We find the potential function. We have

fx=2x3y

Integrating we get

f(x,y)=x23xy+c(y)

Now take the derivative with respect to y to get

fy=3x+c(y)=3y23x.

Hence

c(y)=3y2

and

c(y)=y3.

The potential function is

f(x,y)=x23xy+y3.

Now use the fundamental theorem of line integrals (Equation ???) to get

f(B)f(A)=f(1,0)f(0,0)=1.

Approach 2

Since the vector field is conservative, any path from point A to point B will produce the same work. Hence the work over the easier line segment from (0,0) to (1,0) will also give the correct answer. We parameterize by

ˉr(t)=tˆi0t1.

We have

ˉri(t)=ˆi

so that

Fdˆr=((2x3y)ˆi+(3y23x)ˆj) ˆi=2x3y=2t.

Now just integrate

102tdt=t2|10=1.

Independence of Path and Closed Curves

Example 4.4.2

Find the work done by the vector field

F(x,y)=(cosx+y)ˆi+(x+esiny)ˆj+(sin(cosz))ˆk

along the closed curve shown below.

Exampl e4.4.2.gif

Solution

First we check that F is conservative. We have

Curl F=|ˆiˆjˆkxyzcosx+yx+esinysin(cosz)|=(00)ˆi(00)ˆj+(11)ˆk

Since the vector field is conservative, we can use the fundamental theorem of line integrals. Notice that the curve begins and ends at the same place. We do not even need to find the potential function, since whatever it is, say f, we have

f(A)f(A)=0.

In general, the work done by a conservative vector field is zero along any closed curve. The converse is also true, which we state without proof.

Conservative Vector Fields and Closed Curves

Let F be a vector field with components that have continuous first order partial derivatives and let C be a piecewise smooth curve. Then the following three statements are equivalent

  1. F is conservative.
  2. \boldsymbol{\int_C \textbf{F}\cdot dx\} is independent of path.
  3. CFdr=0 for all closed curves C.

Contributors and Attributions


This page titled 4.4: Conservative Vector Fields and Independence of Path is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by Larry Green.

  • Was this article helpful?

Support Center

How can we help?