3.1rules of Vector Differentiation
3.1rules of Vector Differentiation
3.1rules of Vector Differentiation
i j k
curl (v) v
x y z
v1 v2 v3
d
The good news is that you can apply all the usual formualae for differentiation with replced by
dx
provided you are careful. This is because grad and curl are vectors, wherer as div is a scalar. Also
div and curl apply to vector fields, where as grad applies to scalar fields.
In this lecture we look at more complicated identities involving vector operators. The main thing to
appreciate it that the operators behave both as vectors and as differential operators, so that the usual
rules of taking the derivative of, say, a product must be observed.
Let u (r ) and v(r ) be vector fields, f (r ) and g (r ) be scalar fields and and be constants.
1 Differentiation is Linear
grad (f g ) f g grad ( f ) grad ( g )
Example: James Clerk Maxwell established a set of four vector equations which are fundamental to
working out how electromagnetic waves propagate. The entire telecommunications industry is built on
these.
divD
divB 0
curlE B
t
curlH J D
t
In addition, we can assume the following, B r 0 H , J E , D r 0 E , where all the scalars are
constants. Now show that in a material with zero free charge density, 0, and with zero conductivity,
0 , the electric field E must be a solution of the wave equation 2 E r 0 r 0 ( E
2
)
t 2
Find (i) div(v) (ii) curl (v) (iii) v.grad ( ) and hence (iv) div( v) (v) curl ( v) .
The arc length s has units of length and the integral above is the “area” under the curve C along that curve.
However, the integral as it is written above cannot be evaluated since we do not have an expression for x, y and z
along C. To get this, suppose that the curve C is parameterized using the parameter t, then we can write the
t1
ds
integral above as f ( x(t ), y(t ), z(t )) dt dt . Where we have used the Chain Rule, and t ranges from t0 to t1.
t0
1. kfds k
C
C
fds
2. ( f g )ds
C
C
fds gds
C
3.
C1 c2
( f g )ds fds gds
C1 C2
b. ( F G)ds
C
C
Fds Gds
C
c.
C1 c2
( F G)ds Fds Gds
C1 C2
Parametrisation of Curves
The key to evaluating such integrals is to define a single co-ordinate t that parametrises the curve C.
Consider the curves in 2D. For some curves it is obvious how to do this, eg. Use the x-coordinate as
the parameter:
Straight line y a bx x t , y a bt or r (t ) (t , a bt )
Parabola y a bx 2 x t , y a bt 2 or r (t ) (t , a bt 2 )
Example1: Find the work done moving a particle from (0,0,0) to (1,1,1) in the field
F (2x y 2 )i 3xy j k along the straight path C1, the straight line joining (0,0,0) to (1,1,1)
and parametrically given by x= t, y =t2, z = t3.
Example2: Find the work done moving a particle from (0,0,0) to (1,1,1) in the field
F (2xy z 3 )i x2 j 3xz 2 k along the following paths
a) the straight path C1, the straight line joining (0,0,0) to (1,1,1) .
b) the path C2 composed of the three straight lines joining (0,0,0) to (1,0,0) to (1,1,0) to (1,1,1).
Note that both answers are same as they would be for any curve C joining (0,0,0) and (1,1,1). This is
because the above force field F is conservative.
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
To prove the fundamental theorem of line integrals we will use the following outcome of the chain rule:
d
f(r(t)) = fx x'(t) + fy y'(t)We are now ready to prove the theorem. We have
dt
Theorem:
The necessary and sufficient condition for a continuous vector field F to be conservative (or irrotational)
in a simply connected region R is F that it is the gradient of a scaler field.
F(x,y) = (2x -3y)i + (3y2 - 3x)j along the curve indicated in the graph below
Independence of Path and Closed Curves
F(x,y) = (cos x + y)i + (x+ esin y)j + (sin(cos z))k along the closed curve shown below
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.
is independent of path.
Remarks
The course is also true; if the work integral is independent of path taken between any two points
then there must exist a scalar potential function such that F .