Professional Documents
Culture Documents
(D3 & D4 )
Lecture 11
Debanjana Mitra
Department of Mathematics
Indian Institute of Technology Bombay
Powai, Mumbai - 76
February 4, 2021
Characterization of conservative fields Contd.
Theorem
I For n = 2, if F(x, y ) = F1 (x, y )i + F2 (x, y )j is a conservative vector
field, where F1 and F2 have continuous first-order partial derivatives
on an open region D in R2 , then
∂F1 ∂F2
= , on D.
∂y ∂x
I For n = 3, if F(x, y , z) = F1 (x, y , z)i + F2 (x, y , z)j + F3 (x, y , z)k is
a conservative vector field, where F1 , F2 , F3 have continuous
first-order partial derivatives on an open region D in R3 , then
∂F1 ∂F2 ∂F1 ∂F3 ∂F2 ∂F3
= , = , = on D.
∂y ∂x ∂z ∂x ∂z ∂y
The theorem follows from a direct calculation using the fact that
F = ∇V and using the properties of the mixed partial derivatives of V .
Example Determine whether or not the vector field
F(x, y ) = (x − y )i + (x − 2)j, in R2
is conservative.
Ans Here F1 (x, y ) = x − y and F2 (x, y ) = x − 2. Then
∂F1 ∂F2
= −1, and = 1.
∂y ∂x
So by previous theorem, F cannot be a conservative field.
What about the converse of the theorem?
The converse is partially true under some additional hypothesis on D.
However, it is often a convenient method verifying if a vector field is
conservative.
Simply connected domain
Definition
A subset D of Rn for n = 2, 3, is simply connected, if D is a connected
region such that any simple closed curve lying in D encloses a region that
is in D.
Basically, a simply-connected region contains no hole and cannot consist
of two separate pieces.
Sufficient condition for conservative field
Theorem
Let n = 2, 3 and let D be an open, simply connected region in Rn .
1. For n = 2, if F = F1 i + F2 j is such that F1 and F2 have continuous
first order partial derivatives on D satisfying
∂F1 ∂F2
= , on D,
∂y ∂x
Then F is a conservative field.
2. For n = 3, if F = F1 i + F2 j + F3 k is such that F1 , F2 and F3 have
continuous first order partial derivatives on D satisfying
∂F1 ∂F2 ∂F1 ∂F3 ∂F2 ∂F3
= , = , = on D,
∂y ∂x ∂z ∂x ∂z ∂y
Then F is a conservative field.
We postpone the proof of the theorem for later as it can be derived using
Green’s theorem.
Examples
is conservative.
Ans Note that the region R2 is open and simply-connected and
F : R2 → R2 is continuously differentiable.
Let F1 (x, y ) = (3 + 2xy ) and F2 (x, y ) = x 2 − 3y 2 . Then
∂F1 ∂F2
(x, y ) = 2x = .
∂y ∂x
Thus using the previous theorem, we conclude that F is a conservative
field.
How to find a potential function f such that F = ∇f , for above example?
Example contd.
∂f ∂f
Let F = ∇f , then ∂x (x, y ) = F1 (x, y ) and ∂y (x, y ) = F2 (x, y ).
Step 1 Fixing y , solve the ODE with respect to x-variable:
∂f
(x, y ) = F1 (x, y ).
∂x
Integrating with respect to x in both side, we get
Z x
f (x, y ) = F1 (s, y ) dx + c(y ) = 3x + x 2 y + c(y ).
0
∂f
Step 2 Determine the c(y ) using ∂y (x, y ) = F2 (x, y ). Differentiating
f (x, y ) with respect to y ,
∂f
(x, y ) = x 2 + c 0 (y ),
∂y
and it has to be equal to F2 (x, y ).
so, x 2 + c 0 (y ) = x 2 − 3y 2 and thus c 0 (y ) = −3y 2 . Now solving this ODE
with respect to y variable:
c(y ) = −y 3 + K ,
for some constant K .
Thus f (x, y ) = 3x + x 2 y − y 3 + K such that F = ∇f .
In summary, for a given vector field F : D ⊂ Rn → Rn for n = 2, 3:
1. If F is a continuous, conservative vector field, i.e., F = ∇f , for some
C 1 scalar function, then the line integral of F along any path C from
P to Q in D given by
Z
F.ds = f (Q) − f (P),
C
where U(f ) and L(f ) are upper Darboux integral and lower Darboux
integral. And S is the limit of Riemann sum R(f , P, t) for any
tagged partition (P, t) satisfying kPk → 0.
Properties
D2 = {(x, y ) | c ≤ y ≤ d and k1 (y ) ≤ x ≤ k2 (y )}
• All the theorems for integrals over rectangles go through for integrals
over rectangular cuboids.
• If f : B ⊂ R3 → R is bounded and continuous in B, except possibly on
(a finite union of) graphs of C 1 functions of the form z = a(x, y ),
y = b(x, z) and x = c(y , z), then it is integrable on B.
Evaluating triple integrals: Fubini’s Theorem
Fubini’s Theorem can be generalized - that is, triple integrals can usually
be expressed as iterated integrals, this time by integrating functions of a
single variable three times.
Thus, if f integrable on the cuboid B we have
ZZZ Z b Z d Z f
f (x, y , z)dxdydz = f (x, y , z)dzdydx.
B a c e
There are, in fact, five other possibilities for the iterated integrals.
We again have a theorem saying if f is integrable whenever any of these
iterated integral exists, it is equal to the value of the integral of f over B.
Elementary regions in R3
The triple integrals that are easiest to evaluate are those for which the
region P in space can be described by bounding one variable between
between the graphs of two functions in the other two variables with the
domain of these functions being an elementary region in two variables.
For example,
where h(P ∗ ) = P.
If the change in coordinates is given by h = (h1 , h2 , h3 ) = also written as
(x(u, v , w ), y (u, v , w ), z(u, v , w )),the function g is defined as g = f ◦ h.
The expression
∂x ∂x ∂x
∂u ∂v ∂w
∂(x, y , z) ∂y ∂y ∂y
= det
∂u ∂v ∂w
∂(u, v , w )
∂z ∂z ∂z
∂u ∂v ∂w
In particular, F yields the velocity field of the path c. • Finding the flow
line for a given vector field involves solving a system of differential
equations,
Recall a path in Rn is a continuous map c : [a, b] → Rn . A curve in Rn is
the image of a path c in Rn . Both the curve and path are denoted by the
same symbol c.
• Let n = 3 and c(t) = (x(t), y (t), z(t)), for all t ∈ [a, b]. The path c is
continuous iff each component x, y , z is continuous. Similarly, c is a C 1
path, i.e., continuously differentiable if and only if each component is C 1 .
• A path c is called closed if c(a) = c(b).
• A path c is called simple if c(t1 ) 6= c(t2 ) for any t1 6= t2 in [a, b] other
than t1 = a and t2 = b endpoints.
• If a C 1 curve c is such that c0 (t) 6= 0 for all t ∈ [a, b], the curve is
called a regular or non-singular parametrised curve.
Line integrals of vector fields
• Let c be a curve on [a, b] and −c(t) =Rc(b + a −Rt), that is the curve c
traversed in the reverse direction. Then c F · ds + −c F · ds = 0.
• Let c(t) : [t1 , t2 ] → Rn be a path which is non-singular, that is,
c0 (t) 6= 0 for all t ∈ [t1 , t2 ].
I Suppose we now make change of variables t = h(u), where h is C 1
diffeomorphism (this means that h is bijective, C 1 and so is its
inverse) from [u1 , u2 ] to [t1 , t2 ].
I We let γ(u) = c(h(u)). Then γ is called a reparametrization of c.
We will assume that h(ui ) = ti for i = 1, 2
I Since a path between P and Q is a mapping c : [a, b] → Rn with
c(a) = P and c(b) = Q, (or vice-versa), it allows us to determine
the direction in which the path is traversed. This direction of the
path is called its Orientation.
I If
R the reparametrization
R γ = c(h) preserves the orientation of c, then
γ
F.ds = c
F.ds.
I If
R the reparamtrization
R reverses the orientation, then
γ
F.ds = − c
F.ds.
I Let f : D → R be a continuous scalar function and c : [a, b] −→ D
be a non-singular path. Then the path integral of f along c is
Rb
defined by c f ds := a f (c(t))kc0 (t)k dt.
R