3.1rules of Vector Differentiation

Download as pdf or txt
Download as pdf or txt
You are on page 1of 6

LECTURE 3

3.1Rules of Vector Differentiation


We have defined three kinds of derivatives involving the operator 
   v1 v2 v3
grad ( )    i j k, div(v)  .v    ,
x y z x y z

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 )

div( u   v)  div(u )  div(v)


curl ( u   v)  curl (u )  curl (v)
grad ( fg)  fgrad( g )  ggrad ( f )

div( f u )  fdiv (u )  grad ( f ).( u )

curl ( f u )  fxu  (f ) xu  fcurl (u )  grad ( f ) x(u )

2 Vector Product Rule


div(uxv)  v.curl (u )  u.curl (v)
curl (u  v)  u (div(v))  v (div (u ) )  (v.)u  (u.)v

grad (u.v)  ( u.)v  (v.)u  u  curl (v)  v  curl (u )

3. Vector Multiple Operations


div( grad ( f ))  .( f )   2 f
curl ( grad ( f ))  x( f )  0
div(curl (u ))  .x(u )  0

curl (curl (u ))  (.(u )   2 u

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

Example: Let v  3xyz 2 i  2xy3 j  x2 yzk ,   3x2  yz

Find (i) div(v) (ii) curl (v) (iii) v.grad ( ) and hence (iv) div( v) (v) curl ( v) .

3.2 Line Integrals


We are used to calculating integrals with respect to a set of coordinate axes, usually Cartesian. For
b
example Area under a curve f (x) between a and b =  f ( x)dx
a
In this section we will generalize this idea to line integrals which are entirely analogous to the above
idea. Here, we allow the „axis‟ of the integral to be an arbitrary curve in space and the function f will
vary along that line. As an example of this, suppose that the temperature of our body at a particular time
is T(x,y, z). Now suppose we wish to calculate the average temperature of the blood in a particular vein.
This vein traces out a curve through our body and we wish to average the temperature along that curve.
This involves a line integral like the ones we will consider here. We will consider two types of line
integrals: integrals of scalar functions and integrals of vector functions. As we will see, once we have
parameterized the integral using t on [a,b], the integral in both cases reduces to an ordinary integral over
[a,b]. This can be evaluated using integration rules.

Line integrals of scalar functions


Suppose we wish to integrate f (x,y, z) along a curve C. Letting s be the arclength along the curve, we
wish to find
 f (x, y, z)ds .
C

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

Where r(t) = x(t)i +y(t)j+z(t)k is the parametric form of the curve C.

Examples of line integrals of scalar functions


An important special case of the line integral above is where f (x,y, z) =1, which defines the arc length of the
curve C. Another important application is when f (x,y, z) represents the linear density (mass per unit distance), for
example along a wire. Then the line integral defines the total mass of the wire.
 To ensure the integral is defined, we assume that the curve C is smooth, or piecewise smooth, ie
continuous with finitely many smooth pieces.
 The value of the scalar line integral is independent of the parameterization used to define C. In particular,
the integral has the same value if the direction (orientation) of the parameterization is reversed.

 If C is a closed path, sometimes  C


is written instead of 
C
.

 Following results hold for line integral.

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

The line integral of a vector function


Suppose a particle is moved along a curve C from r(a) to r(b) by a force F(r). What is the work done W by the
b
force F on the particle? W  F .d r 
a
This expression holds for any vector function, not just force as in the derivation above. Some notes about this line
integral are listed below.
 To ensure the integral is defined, we assume that C is smooth or piecewise smooth.
 The value of the line integral of a vector function is independent of the parameterization used to define
the curve as long as the direction (orientation) is the same. If the direction is reversed, then the value of
the integral is multiplied by −1.
 If C is a closed path then 
C
is often written C

 The line integral has the following properties:


a.  kFds k  Fds
C
C

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 )

For other curves one can use an angular formulation


 Circle x 2  y 2  a 2  x  a cos t , y  a sin t or r (t )  (a cos t , a sin t ) and
dr (t )  (a sin t , a cos t )
x2 y2
 Ellipse   1  x  a cos t , y  b sin t or
a 2 b2
r (t )  (a cos t , b sin t ) and dr (t )  (a sin t , b cos t )
x a xb x c
 Straight line r = a + bt or    t (say )
l m n
Therefore x  a  lt, y  b  mt, z  c  nt
 Helix (shape of light spring) r  (a cos t , a sin t , ct )
b
Here a is the radius of the helix and = tan  , where  is the helix angle.
a

Evaluation of work Integrals

1 parametrise the curve C as r (t )  ( x(t ), y (t ), z (t ))


2 work the limits a and b on t .
3 evaluate the vector field v along the (x,y,z)=(x(t),y(t),z(t)), form the dot product and integrate w.r.t t:
t b
 dx(t ) dy(t ) dz(t ) 
C v ( r ).d r  ta v( x(t ), y(t ), z(t ). dt i  dt j  dt k dt

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.

3.5 Conservative Vector fields and independence of path


Recall from lecture 2 , a vector field is v conservative in a region , if its circulation along every closed
curve in the region is zero. i.e.  curl (v)  0  v  

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

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

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.

Example: Find the work done by the vector field

F(x,y) = (2x -3y)i + (3y2 - 3x)j along the curve indicated in the graph below
Independence of Path and Closed Curves

Example: Find the work done by the vector field

F(x,y) = (cos x + y)i + (x+ esin y)j + (sin(cos z))k along the closed curve shown below

Theorem: 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.
is independent of path.

3. for all closed curves C.


Example:
Calculate curl (F ) for the force field F taken in worked in previous example, hence show that the field
is conservative. Find the scalar field  and hence calculate the work done in moving from (1,-2,1) to
(3,1,4).

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   .

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy