Professional Documents
Culture Documents
The mechanics of taking the grad, div or curl, for which you will need to brush up your multivariate
calculus.
The underlying physical meaning that is, why they are worth bothering about.
0 '2
0 ')
$"
5
6' 4 & & 31 & & 1( & & % #!
It is usual to dene the vector operator
& '
0 & ' 2 0 & ') 7
& 4
&
&
which is called del or nabla. Then
7 8 $"
A@9 % #!
51
If
is a scalar eld, ie a scalar function of position
gradient at any point is dened in Cartesian co-ordinates by
T R
S
I
P
@
Q
' 4 0 ' 2 0 ') %
. Hence
D
E' 4
B
& ' & ' & H @ A7
D '4 0 2 0 )
&
&
& %
F
& & 0 0 G
@
B
C
@
&
0 ' 2 & 0 ' ) & % A
&
&
&
8 3
#& 40
8
$&
3 '0
)& 29 #&
'
, so
5 3
)& 70
5 ( 3
)& $& 40
(
)&
3 '0
)& 61 #& )& 21 #&
' 3 '0
'
,
, so
%
%
%
' 4 $ 0 ' 2 0 ' ) ! # 0 0 ! & ' 4 0 & ' 2 0 & ' )
"
"
&
&
&
is constant.
But
Now
A7
, where
5
A7
0 0
' 4 0 ' 2 0 ')
, so
4.
3.
2.
5 ' ) A7
& &
Only
exists so
1.
Without thinking too carefully about it, we can see that the gradient tends to point in the direction of
greatest change of the scalar eld. Later we will be more precise.
A7
is a vector eld!
52
53
grad
5 A7
@
@
'4 0 ' 2 0
@
@
@
& & 0 & & 0 & &
') @ @
'
, so
@
So
@
@
@
@ @
7
5
Now divide by
the change in
$"
% #!
has the property that the rate of change of wrt distance in a particular direction ( ) is the
projection of
onto that direction (or the component of
in that direction).
$
% " !
"
% $ #!
@
The quantity
is called a directional derivative. Note that in general it has a different value for
each direction, and so has no meaning until you specify the direction.
$"
% #!
At any point P,
points in the direction of greatest change of
to the rate of change of wrt distance in that direction.
for
& &% # !
(# $ '$"
54
0.1
0.08
0.06
0.04
0.02
0
4
4
2
2
0
0
2
2
4
Figure 5.2:
@ @
@
@
@
A7
$
% " !
gradU
Surface of constant U
These are called Level Surfaces
Surface of constant U
Figure 5.3:
If we move a tiny amount within the surface, that is in any tangential direction, there is no change in
so
. So for any
in the surface
55
More precisely, if
is a vector function of position in 3 dimensions, that is
then its divergence at any point is dened in Cartesian co-ordinates by
"
We can write this in a simplied notation using a scalar product with the
7
&
' 0 & ' 2 0 & ')
&
& 4
&
%
of it.
"
# ' " & 0 0 $ "
5 # 0 0 ! 0 " 0 0 5 " 0 0 5 & &
"
and gives
1)
20(
, and we need to nd
$
%"
0 0 5
is
component of
&
The
"
3
' 4 0 ' 2 0 ')
)'
is constant
&&
where
div
3
#@
in and out of
3
4@
@ @ @
7 ' 2
5
6@
@ @
@ @
5
5
5
@
'2 @
3
4@
56
dz
dS = -dxdz j
dS = +dxdz j
y
dx
dy
x
Figure 5.4: Elemental volume for calculating divergence.
A similar contribution, but of opposite sign, will arise from the opposite face, but we must remember
that we have moved along by an amount , so that this OUTWARD amount is
@ @
@
5
5 && 0
@ @ @ 0 5
3
#@
@ @ @
5
& & 5 & &
Summing the other faces gives a total outward ux of
3
#@
3
#@
7
Take home message: The divergence of a vector eld represents the ux generation per unit volume at
each point of the eld. (Divergence because it is an efux not an inux.)
Interestingly we also saw that the total efux from the innitesimal volume was equal to the ux integrated over the surface of the volume.
(NB: The above does not constitute a rigorous proof of the assertion because we have not proved that the
quantity calculated is independent of the co-ordinate system used, but it will sufce for our purposes.
1)
20(
The Laplacian:
"
% $ #!
5.5
of a scalar eld
Recall that
of any scalar eld is a vector eld. Recall also that we can compute the divergence
, even if we dont know what it means yet.
of any vector eld. So we can certainly compute
$
% " ! %
"
# 0 0
0
0 0
0
5 5 0 " 0
0 0
"
0
5
and
"
&
&
"
0 0 & &
' & &
and so
' 0 0
Lets prove the last example (which is particularly signicant can you guess why?).
B
A9
@
2
3&
"
& 8('73654
" 1
2 &
1
) &
0('%$#!
"
Examples of
evaluation
&
0 & 0 &
&
&
&
This last expression occurs frequently in engineering science (you will meet it next in solving Laplaces
Equation in partial differential equations). For this reason, the operator
is called the Laplacian
&&
&&
2' 0 &
&
2' 0 &
&
')
')
& 0 &
& &
&& 0 &&
& '
0 & '2 0
& 4
&
& '
0 & '2
& 4
&
0 &
&
0 &
&
& ')
&
0 & ')
&
7
OF A SCALAR FIELD
57
58
7
7
; and
"
'4
( & &
5
& &
0 '2 8 &
&
( & &
'4
8$&
&
0 ') 5 &
&
8
'2
5)&
&
')
()&
&
8
& &
(
'4
'
' 2 4 0 ' )
' 2 ')
' 2 0 ')
5
'4
In fact curl is closely related to the line integral around a loop. The circulation of a vector
closed curve is dened to be
round any
represents the vorticity, or circulation per unit area, of the eld.
by
59
y
ax (y+dy)
y+dy
dy
ay (x)
ay (x+dx)
dx
x+dx
x
ax (y)
@
@
(
(
( & & 0 0
(
%#$
@
@
5
5
5 & & 0 0
' 2 0 ')
5
%#$
Starting at the bottom and working round in the anticlockwise sense, the four contributions to the circulation
are therefore as follows, where the minus signs take account of the path being oppose to the
eld:
@
5
D
( &
&@
0
@
0
5
6@
5
& &
(
( 0
0
.
@
@
@
@
5 B
( B
@ ( & & 5 0 @ @ D ( 5 @& & 0 @ 5
0 0
@
@
@ @
5
6@
'4
where
NB: Again, this is not a completely rigorous proof as we have not shown that the result is independent
of the co-ordinate system used.
60
Lecture 6
Vector Operator Identities
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.
We shall derive these using both conventional grunt, and using the compact notation. Note that the
relevance of these identities may only become clear later in other Engineering courses.
5
' 4 0 ' 2 0 & & & & & & ')
& & & & & &
'& 4 & & ' 2 & & ') &
can be thought of as a null operator.
(
& & &
8 &
& &
61
A7
Note that
5
& & &
8 &
(
&
&
7
7
62
Suppose that
is a scalar eld and that
is a vector eld and we are interested in the product
,
which is a vector eld so we can compute its divergence and curl. For example the density
of a uid
is a scalar eld, and the instantaneous velocity of the uid
is a vector eld, and we are probably
interested in mass ow rates for which we will be interested in
.
is given by:
% #! 0 %
$"
7 0 7
A7
7
Life quickly gets trickier when vector or scalar products are involved: For example, it is not that obvious
that
"
( 5
&
5 (
8 (
& 0
&
%&
5 5 5 " % ! " & & !
( 8
5 8
& 0
&
% $ 5 5 5
8 5
&
"
"
6%
curl
8
5
(
& & & & & &
"
% % #!
$"
First, since
,
and
describe key aspects of vectors elds, they arise often in practice, and
so the identities can save you a lot of time and hacking of partial derivatives, as we will see when we
consider Maxwells equation as an example later.
Secondly, they help to identify other practically important vector operators. We now look at such an
example.
( 5
'& 4 &
5 (
8 (
&' &
2
( 8
5 8
8 5
"
( 8
( 5
&&
8 (
')
so the component is
6.6 Identity 5:
63
6.6. IDENTITY 5:
5 (
&&
(
&8 0 &5
& &
0 D 8 & 0 5 &
&
&
&
&
8 & 0 5 &
& (
7
67
0 7
(
)&
7
to the
67
where
(
)&
& (
(
8
5
&& 0 &&
Adding
to the rst of these, and subtracting from the last, and doing the same with
other two terms, we nd that:
This is a scalar operator, but it can obviously can be applied to a scalar eld, resulting in a scalar eld,
or to a vector eld resulting in a vector eld:
&
( B
5
&8
0 & 0 & 8 7
&
&
D
"
6.8 Identity 6:
8
'4
5
0 '2
(
0 ')
where
Background: Maxwell established a set of four vector equations which are fundamental to working out
how eletromagnetic waves propagate. The entire telecommunications industry is built on these!
#
$%
'
# (& 0 1
%& "
%
&
'
(&
&
)
0"
64
In addition, we can assume the following
,
,
,
where all the scalars are constants.
, the
5 (& % &
'
3
3
Answer: The good news is that we can do this knowing little about EM waves!
3
1
(& % & '
'
0 3 ( & ' # & 0
'
(& ) ) 3 & 3 &
& (
$6% % 3 ) % 3 %%
$ %
%
% ( % % #! (& ) &
% $"
'
% "
$ % % $ #! 0 " "
%
%
) "
% "
3
"
0% " "
#
$6%
, so
(& 3 3
'
% &
(& 3 B (& 3
'
'
D %
&
&
' 3
0) " (& &
It is possible to obtain general expressions for grad, div and curl in any orthogonal curvilinear co-ordinate
system by making use of the factors which were introduced in Lecture 4.
and
&&
&
&
and similar expressions apply for the other co-ordinate directions. Then
@ # " 0 @ ! 0 @
65
@
@
@ @ @
,
@
&
0
&
@
@
& 0
&
&
&
@
& @
&
A7
@ # " 0 @ ! 0 @
A7
&
0
&
&
0
&
It follows that
is when
!
& "
0 ' & 0 ' & A7
&
&
&
'#
3
#@
&
@ @ @
3
& #@
If the curvilinear coordinates are orthogonal then the little volume is a cuboid (to rst order in small
quantities) and
@ @ @ " !
3
#@
However, it is not quite a cuboid: the area of two opposite faces will differ as the scale parameters are
functions of , and in general.
direction shown in Figure 6.1 is
@@@ &
" ! B&
B
B
@
@
@@ @
" & & 0 " D && 0 D ! && 0 !
@@ "!
By denition div is the net efux per unit volume, so summing up the other faces:
@
which is easily shown by multiplying the rst line out and dropping second order terms (i.e.
$
'
).
!
@@@ &
! "
@@@
&"
&
&
0
&
" !
" & !
&
0
&
0
&
" !
" ! &
&
0
&
3
#@
%
@@ @ "!
6%
66
h (v) dw
w
h (v+dv) dw
w
h (v) du
h (v+dv) du
h v dv
Figure 6.1: Elemental volume for calculating divergence in orthogonal curvilinear coordinates
So, nally,
!
&"
&
0
" & !
&
0
&
" ! &
"!
6%
Recall from Lecture 5 that we computed the component of curl as the circulation per unit area the
contents of the brackets in the expression for the element of circulation
@
( & &
5
& &
@
By analogy with our derivation of divergence, you will realize that for an orthogonal curvilinear coordinate system we can write the area as
. But the opposite sides are no longer quite of the same
length. The lower of the pair in Figure 6.2 is length
, but the upper is of length
@ @
@ @!
@
@@
&
&
@ @ 0 @ 0 @
@@
&
&
&
&
0
! ! & &
@
0
&
! ! &
@
! @ @!
67
y
au (v+dv)
v+dv
h u(v+dv) du
dv
hu (v) du
y
u+du
u
au (v)
Figure 6.2: Elemental loop for calculating curl in orthogonal curvilinear coordinates
and hence curl is
0 '
&
" " &
&
&
!
#' & ! ! &
& & & " !
0 ' ! ! &
& " " &
"
"
$"
% #!
%
"
! &&
, and so
&
&
0
&
&
!
" & &
0
& &
, and that
&
&
B "!
" ! &&
%
' 4 0 ' 2 # 0 ' )
% !
% ! 0 # %
%
0 $!
F
We recall that
"
"
Q1 Find
Examples
is set as a tutorial exercise.
0 # %
&&
3
&
&
& # % 0
& # % 0 3 &
# % # % & 3 &
&
0 ' & 0 ' &
&
&
'
&
&
"
%
$
% " !
Hence
'4
# % $! 0 # % # %
%
# % 0 # % 0 $" % !
% !
%
$! 0 # % 0 % ! # %
% !
$"
0 '2 # %
# %
0 ')
"
% ! %
$" #
We recall that
so that
'4
3
&&
&
0 '
&
8
3
3 & 0 ' & &
&
8
& 0 & 0 3
&
&
' 4 & 0 ' &
&
&
&&
8 &
&
&
3 &
0 ' &
&
"
%
$
% " !
Hence
68
% ! %
$" $!
'2
%
$!
0 ') # % 0 # %
4' 0 ' 2
%
' 4 # % # 0 ' 2 % !
% !
% ! %
' 4 # % ' 2 # % $" 0 ' ) $" $!
"
'
' 4
') 2
5 ' 4 0 ' 2 0 ' ) "
'
'4
') 2
# %
% !
$"
'
$!
%
%
# % $!
# % # %
')
'
# %
$" $!
% ! %
$" # %
% !
& '
'
'
3
'
Grinding through we nd
3
& '
@
')
Now, these two results should be the same, but to check we need expressions for
etc.
etc in terms of
&
' 0
% ! %
$" $!
0 # % # %
$ '
%$"
!
# % &
&
$" $!
% ! %
% !
$"
0
# %# '
# % &
&
'
'
%
#
"
'
%!
$" # % 3
3
'
"
'4 0 ' 2
Hence
so
% ! # %
69
# %
8
% !
$"
(
5
'
' 4
') 2
'
'
3
'
'
'4
')2
'
'4
')2
%$! ( 0 # %
# % % ! 0
$! $!
% %
(
# % # % 0
%
$! # %
(
, etc, where
8
5
(
3 3
' 4 0 ' 2 0 ' ) ' 0 ' 0 '
Now the point is the same point in space whatever the coordinate system, so
'
'4
' ) 2
'
'4
')2
$"
% !
# % $"
% !
# % # %
# %
$"
% !
# %
$! $"
% % !
% ! # %
'
'
3
'
and our rst task is to nd and so on. We cant do this by inspection, and nding their values
requires more work than you might think! Recall
'
0 ' 0 3 ' 3
555 0
555 0
( '
0 0
'
5
& &
%
70
71
&&
&
# % &
# %
%
#
3 & %
&
In glorious detail this is
0 &
8
%
$! # %
5
0
# %
# %
5
(
%
# % $!
# %
(
$!
%
%
# % $! ( $
5
# % # % 0 % ! # %
$"
% !
%
%
$!
0
5
# % # %
0
(
3
'
$! # %
%
%
Just as physical vectors are independent of their coordinate systems, so are differential operators.
Dont forget about the vector geometry you did in the 1st year. Rotation matrices are useful!
Spherical polars were NOT a good coordinate system in which to think about this problem. Let
the symmetry guide you.