Page 1 Section 14.3: The Fundamental Theorem for Line Integrals Z

advertisement
Page 1
Math 251-copyright Joe Kahlig, 15C
Section 14.3: The Fundamental Theorem for Line Integrals
Zb
Recall the Fundamental Theorem of Calculus:
F 0 (x)dx = F (b) − F (a)
a
Theorem: Let C be a smooth curve given by the vector function r(t), a ≤ t ≤ b. Let f be a differentiable function of two or three variables whose gradient vector ∇f is continuous on C. Then
Z
Z
∇f · dr = f (r(b)) − f (r(a))
F · dr =
C
C
Note: The line integral of a conservative vector field ( ∇f with potential function f ) can be evaluated
by knowing the endpoints of the curve.
Note: This can also be used on curves that are that are piecewise smooth.
Z
2
3
Example: Let f (x, y) = 3x + x y − y . Evaluate
F · dr where F = ∇f and C is the curve given by
C
t
r(t) = e sin(t), et cos(t) , 0 ≤ t ≤ π.
Z
Definition: If F is a continuous vector field with domain D, we say that
F · dr is independent
C
Z
Z
of path if and only if
F · dr =
F · dr for any two paths C1 and C2 with the same starting and
ending points.
C1
C2
Note: Line integrals of conservative vectors fields are independent of path.
Page 2
Math 251-copyright Joe Kahlig, 15C
Z
Z
F · dr is independent of path in D if and only if
Theorem:
C
F · dr = 0 for every closed path C
C
in D. (A closed path is one that starts and stops at the same point.)
An interpretation is that the work done by a conservative vector field as an object moves around a
closed path is 0.
Z
Theorem: Suppose F is a vector field that is continuous on an open connected region D. If
F · dr
C
is independent of path in D, then F is a conservative vector field on D; that is, there exists a function
F such that ∇f = F.
Question: How do we determine if a vector field is conservative and if so, can we find the potential
function?
Theorem: IF F(x, y) = hP (x, y), Q(x, y)i is a conservative vector field, where P and Q have continuous first-order partial derivatives on a domain D, then we have Py = Qx .
Example: Is F = 3x2 − 4y, 4y 2 − 2x a conservative vector field?
Math 251-copyright Joe Kahlig, 15C
Page 3
Definition: A simple curve is a curve that does not intersect itself anywhere between its endpoints.
A simply-connected region in the plane is one that is connected and does not have holes. i.e. every
simple closed curve encloses only points in the region.
Theorem: Let F = hP, Qi be a vector field on an open simply-connected region D. Suppose that
P and Q have continuous first-order derivatives and Py = Qx throughout D. Then F is conservative.
Note: The above criteria to determine if a vector field is conservative works only for <2 . The criteria
for a vector field in <3 is found in section 14.5.
Example: Determine whether F = x + y 2 , 2xy + y 2 is conservative or not. If so, find a potential
function.
Page 4
Math 251-copyright Joe Kahlig, 15C
Example: Given that F =
4xez , cos(y), 2x2 ez
where r(t) = hsin(t), t, cos(t)i, for 0 ≤ t ≤
π
.
2
Z
F · dr
is conservative. Compute
C
Page 5
Math 251-copyright Joe Kahlig, 15C
Example: Given F = 2xy 3 + z 2 , 3x2 y 2 + 2yz, y 2 + 2xz is conservative. Find a potential function F .
Example: Given F = 2xy 3 , 3x2 y 2 . Evaluate
3
t + 2t2 − t, 3t4 − t2 , 0 ≤ t ≤ 1.
Z
F · dr where C is the curve given by r(t) =
C
Download