Lecture 40
Lecture 40
1 Vector Calculus
1.1 Line integrals and Green’s theorem
In many physical phenomena, the integrals over paths through vector filed plays important
role. For example, work done in moving an object along a path against a variable force or to
find work done by a vector field in moving an object along a path through the field. A vector
field on a domain in the plane or in the space is a vector valued function f : IR3 → IR3 with
components say M, N and P , for example
where ∆sk is the length of the curve between tk−1 , tk . As the norm of the partition approaches
zero, these sum’s approaches
Z b Z b r
→
− → − dx dy
F · T ds = F · T ( )2 + ( )2 dt.
t=a a dt dt
−
→
r 0 (t)
Now substituting T (t) = |−
→
r 0 (t)|
, we get
b
→
− →
Z
F ·−
r 0 (t)dt.
a
The line integral over a parametrized curve depends on the orientation. If we change the
orientation, then the integral is equal to −1 times: That is,
Z Z
− F · dr = F · dr.
C −C
1
Example 1.1.2 Find the work done by F = 3x2 î + (2xz − y)ĵ − z k̂ over the curve r(t) =
tî + t2 ĵ + t3 k̂, 0 ≤ t ≤ 1 from origin to (1, 1, 1)
dr
Solution: The tangent along the curve T is dt . Therefore,
1 1
d→
−
Z Z
r
F · T ds = F· dt
0 0 dt
Z 1
2
= 3t2 + t5 − 2t3 dt = .
0 3
→
−
Definition 1.1.3 Conservative vector field: A verctor field F is called conservative vector
field if the line integral depends only on the end points. Equivalently, the line integral over
any closed curve is zero.
The following is knon as fundamental thoerem of Line integrals. Recall the fundamental
theorem of integral calculus.
→
−
Theorem 1.1.2 Let F be a vector field and if there exists a differentiable function f : IR3 →
→
−
IR such that F = ∇f . Then
Z Q
→
− →
F · d−r = f (Q) − f (P )
P
→
−
Proof. Suppose there exists f such that F = ∇f . let → −r (t) : {(x(t), y(t), z(t)), t ∈ [0, 1]}
represent a curve connecting P and Q. Then
Z Q Z 1
→
− → − ∂f dx ∂f dy ∂f dz
F ·dr = + + dt
P 0 ∂x dt ∂y dt ∂z dt
Z 1
d
= (f (x(t), y(t), z(t)))dt
0 dt
= f (Q) − f (P ).
Proof. let X0 be a fixed point in D. For any point (x, y, z) in D, let C be a path from X0
to (x, y, z) . Define f (x, y, z) by
→
− →
Z
f (x, y, z) = F · d−
r.
C
(Note that this definition of f makes sense only because it is independent of path). We want
→
−
to show that f satisfies ∇f = F .
2
Since domain D is open, it is possible to find a disk centered at (x, y, z) such that the disk is
contained entirely inside D. Let (a, y, z) with a < x be a point in that disk. Let C be a path
from X0 to (x, y, z) that consists of two pieces: C1 and C2 . The first piece, C1 , is any path
from C to (a, y, z) that stays inside D and C2 is the horizontal line segment from (a, y, z) to
(x, y, z). Then
→
− → →
− →
Z Z
f (x, y, z) = F · d−
r + F · d−r
C1 C2
∂
Then differentiating this with respect to x, we see that the ∂x of the first term on the right
hand side is zero. Therefore
→
− →
Z
∂f ∂
= F · d−r
∂x ∂x C2
→
− −
Now considering the parametrization →
−
r (t) = tî+y ĵ+z k̂, a ≤ t ≤ x. Then F ·d→
r = M (t, y, z).
Hence Z x
∂f ∂
= M (t, y, z)dt = M (x, y, z)
∂x ∂x a
thanks to fundamental theorem of integral calculus. A similar argument using a lines parallel
to y-axis and z-axis rather than a line parallet to x−axis, shows that fy = N (x, y, z) and
fy = N (x, y, z).
→
−
Divergence and Curl: For a vector field F = M î + N ĵ + P k̂ the Divergence and curl are
defined as
→
− →
− ∂M ∂N ∂P
div F = ∇ · F = + +
∂x ∂y ∂z
î ĵ k̂
→
− →
− ∂ ∂ ∂
curl F = ∇ × F = ∂x ∂y ∂z
M N P
Theorem 1.1.5 Suppose F is a onservative vector field with all its components are differen-
→
−
tiable and partial derivatives are continuous in the domain D. Then curl F = 0.
→
− →
−
Proof. Since F is conservative, there exists f such that F = ∇f . Therefore, second order
partial derivatives are continuous. Hence mixed derivatives are equal. Now it is easy to check
→
−
that ∇ × ∇f = 0. Therefore curl F = 0.
3
→
−
Definition 1.1.4 A vector field is irrotational if curl F = 0.
4. The punctured disc {(x, y) ∈ R2 : x2 + y 2 < 1}\{(0, 0)} is NOT simply connected.
4
→
−
Example 1.1.9 Consider the vector field F = x2 +y12 +z 2 (xî + y ĵ + z k̂). Determine whether
→
− →
−
F is conservative, and if it is, find a potential function f for which F = ∇f .
Solution: In this case again the domain of definition is the punctured space R3 \{(0, 0, 0)}
which is simply connected. Also it is easy to check
→
− −2
∇× F = (zy − yz)î + (xz − zx) ĵ + (yx − xy)k̂ = 0.
(x2 + y 2 + z 2 )2