MBTHUBN'S MONOGRAPHS
ON PHYSICAL SUBIBCTS
General Editors:
B. 1. WORSNOP, B.Sc., Ph.D.
G. K. T. CONN, M.A., Ph.D.
An Introduction to
Vector Analysis
For Physicists and Engineers
B. HAGUE
D.SC•• PH.D., F.C.G.!.
Prolessor 01 Eleetrical Engineering
at the UnJuersity 01 Glasgow 1946-1960
RBVISED BY
D. MARTIN
M.A.• B.SC., PH.D.
Senior Leeturer in Mathematics
at the University 01 Gwgow
Haverhill, Suffolk
This book is available both as a hardbound and as a paperback
edition. The paperback edition is sold subject to the condition
that it shall not, by way of trade or otherwise, be lent, resold,
hired-out, or otherwise circulated without the publisher's prior
consent in any form ofbinding or cover other than that in
which it is published and without a similar condition being
imposed on the subsequent purchaser.
2 PRODUCTS OF VECTORS IS
1. General. 2. The Scalar Product. 3. The Veetor Product.
4. Veetor Area. 5. Application to Veetor Products. 6.
Products of Three Veetors. 7. Line and Surface Integra}s
as Scalar Products. Miscellaneous Exercises II.
Operator eurl grad. 11. The Operator grad div. 12. The
Operator div eurl. 13. The Operator eurl eurl. 14. The
Vector Field grad (klr). 15. Vector Operators in Terms
of Polar Co-ordinates. Miscellaneous Exercises IV.
S INTEGRAL THEOREMS 70
1. The Divergence Theorem of Gauss. 2. Gauss's
Theorem and the Inverse Square Law. 3. Green's
Theorem. 4. Stokes's Theorem. 5. Alternative Defini-
tions of Divergence and Curl. 6. Oassification of Vector
Fields. Miscellaneous Exercises V.
BIBLIOGRAPHY 117
INDEX 119
Preface to the Revised Edition
""
I "
8 -1 I
A
I
, "
""
'S J
A
,r---->-- - I
I
8 -:f
I - 8 1? v
r - 8
I
I
l _
____~ __ _
A
(0) ( b)
sum is the closing side V of the polygon of which the other sides are
A, B and C. But it is geometrically obvious that we could start by
adding any pair of vectors by the parallelogram rule, and to their
resultant add the third veetor. Hence
V = (A + B) + C = A + (B + C) = (A + C) + B (1.3)
and may be written as A + B + C; addition of veetors is, therefore,
associative. The vectors are not necessarily all in the same plane; this
is more clearly shown by fig. 5.
4. Components of a Veetor. By reversing the process of addition it
is clear that any veetor V ean be deeomposed into the sum of n
DEFINITJONS. ADDITJON OF VECTORS 7
veetors, of whiehn - 1 are arbitrary and the last one eloses the
polygon. In general the veetors are not co-planar and the polygon is
not a plane figure.
The most useful instanee is the deeomposition of a veetor into
component veetors along the three orthogonal axes of cartesian
z
-- ----; ~
V, /' I
., I
I
I
V,
·~~~I~~ ., ~
" ~---+Y
I .,
_v"
x
(0)
x
(b)
x
y
r - - - - r - - - 7P
o
Figure 6
Example 1.1. The vertices A,B, C of a triangle have position
veetors a, b, e respectively. Show that the centroid G of the triangle
has position vector !(a + b + e).
The midpoint M of BC has position vector!(b + e) and so the
point G, which divides AM in the ratio 2: 1 has position vector
!{2.!(b +'e) + I.a}, i.e. !(a + b + e).
Example 1.2. Prove that the .1ines joining the midpoints of the
opposite (i.e. non-intersecting) edges of a tetrahedron are concurrent
and bisect each other.
DEfINITIONS. ADDITION OF VECTORS 11
Let the vertiees A, B, C, D of the tetrahedron have position
veetors a, b, e, d respeetively. Then, if P, Q, R, S, T, Vare the
midpoints of AB, AC, AD, BC, CD, DB respectively, the position
veetors of R, S are t(a + d), t(b + e), respectively, and the midpoint
of RS has position veetor -Ha + b + e + d). By symmetry, this
point is also the midpoint of PT and the midpoint of Q V, and the
required result foIlows (Fig. 7).
We now show that the equation of a straight line can be written
in veetor form.
o
Figure 8
Let the point A have position veetor a with respeet to some origin
o and eonsider the straight line through A in the direetion of the
veetor u. Then r, the position veetor of any point P on the line, is
given by
->- ->-
r = OA + AP = a + AU, (Fig.8)
where Ais a real number whose value depends on the position of P
on the line. As Aranges from - oo to + oo, P traverses the entire line.
The line is therefore speeified by the equation
r =a + AU.
If U happens to be a unit veetor, then Ais the measure of AP.
In the same way we can easily write down the equation of the
12 VEeToa ANALYSIS
plane passing through the point A with position veetor a and con·
taining the veetors a and Y. Thus, if P is any point in the p1ane,
-+
AP = Aa + p.Y, where A, p. are real numbers, and the position
vector r of P is given by
-+
r=a+AP
te. r = a + Aa + p.Y. (Fig.9)
This is the equation of the plane in vector form and each point
of the plane is specified by a unique pair of values l, p..
F'lpre9
Example 1.3. Show that the equation of the plane through the
non-collinear points A, B, e with position veetors a, b, e respectively,
may be written in the form r = (1 - II - t)a + ab + te, where II, t
are real parameters.
e
A
Flprel0
DEFINITIONS. ADDITION OF VECTORS 13
-+ -+ -+
H P is any point in the plane. thcn AP = sAB + IAC and the
position vector r of P is given by
r = a + s(b - a) + I(e - a)
i.e. r = (1 - s - l)a + ab + le,
which is the desired result (Fig. 10).
6. SCaJar and Vector Fields. A physica1 quantity can bc expressed
as a function of the position of a point in a region of space; such a
function is Caned a poinl-funelion and the region in which it specifies
the physica1 quantity is known as a /ield. Fields are of two main
kinds. scalar and veetor, according to the nature of the quantity
concemed.
A typica1 sealar /ield, such as the distribution of temperature,
density, electric potential or of any other non-directed quantity, is
represeoted by a scalar function giving the value of the quantity at
each point. Such a function is usuaUy cantinuous. The field can bc
mapped graphically by a series of surfaees - such as isothermal,
equi-density or equipotential surfaees - upon each of which the
scalar has a definite constant value. Such surfaees, called level
surfaees, are conveniently chosen so that in passing from one to the
next a constant arbitrary ditTerenee is made between the values
which characterize them. It is evident that the level surfaees must lie
one within the other and cannot cut; for if two such surfaees could
interseet, the scalar values corresponding to both must hold along
their common line, which is contrary to our definition. Scalar
point-functions are single-valued at every point.
A typical veetor /ield, such as the distribution of velocity in a fluid
or of electric or magnetic field strength, is represented at every point
by a veetor function. At any given point the function is specified by
a veetor of definite magnitude and direction, both of which usua1ly
change continuously from point to point throughout the field region.
Starting at any arbitrary plaee, proceed an infinitesimal distanee in
the direction of the vector at that place, arriving at a closely-
neighbouring point. Proceeding thenee in a similar way, we trace out
a curve the tangent to which at any point gives the direction of the
vector thereat; such a curveis called a /ine of /low or /lux fine. To
14 VECTOR ANALYSIS
Miscellaneous Exercises I
1.1. Prove that, for any two veetors u and v,
(i) lu + vi Et /ul + Ivi,
(ii) lu - vi ~ lul - lvii·
1.2. Prove that the veetors a + b + 2e, 2a - b + e, - 3a - 3e,
where a, b, e are arbitrary veetors, are coplanar.
1.3. Prove that the midpoints of the sides of a quadrilateral
(skew or pIane) are the vertices of a paralleIogram.
1.4. The vertices of a tetrahedron have position veetors a, b, e, d.
Show that the lines joining the vertices to the centroids of the oppo-
site faces are concurrent at the point with position veetor
t(a + b + e + d). (This point is the cenlroid of the tetrahedron.)
1.5. Find the veetor equation of the line joining the points whose
position veetors are i - 2j + k and 3k - 2).
Find where this line cuts the pIane through the origin and the
points whose position veetors are 4) and 2i + k.
1.6. Find the equation of the plane containing the two paralleI
Iines
r = a + ab. r = a' + Ib.
1.7. Verify that the six planes, each passing through one edge of a
tetrahedron and bisecting the opposite edge, meet in the centroid of
the tetrahedron.
2: Products of Vectors
Compon,n' of
It 0101lQ 8
It
Companenlof
8 010n9 It
o~------~------~~
CA
(0)
( b)
Figure 11 (a) Distributive law for scalar products. (b) Veetor equation of
a plane
At S
81A - - A18
5". 0
"
(oI
are positive and others negative, the sum of them all being zero.
Hence the total veetor area of a tetrahedron is zero. This result
follows at once from physical considerations, if the tetrahedron is
supposed to be drawn within a ftuid which is in equilibrium under
hydrostatic pressure. Bach face experiences a force normal to its
plane and proportional to its area. Since the ftuid within the solid
figure is in equilibrium with that outside it, the resultailt of the forces
on its faces is zero; hence also is the sum ofthe veetor areas, since the
pressure is the same on all faces. This hydrostatic demonstration also
applies to any form of solid figure and thus generalizes the theorem.
Geometrically, any polyhedral figure may be divided up into tetra-
hedra; every surface introduced into the interior of the polyhedron
appears twice, once with a positive and once with a negative normal.
Hence for any polyhedral surface the total veetor area is zero. By
making the faces vanishingly small and indefinitely increasing their
number we approach a elosed curved surface over which
PRODUCTS OF VECToas 21
5. Applicadon to Vector Products. Consider now the veetor product
of a veetor A with the sum of two others, B and e. In fig: 15 draw a
triangular prism with its pjU'allel edges in the direction of A and its
end faces as triangles with sides B, e and B + e. The veetor areas
of the triangular end faces are tB x e and te x B, which cancel;
the remaining vector areas are B x A, e x A and A x (B + C) in
the sense of the outward normaIs, their sum being zero. Thus
A x (B + C) +B x A+e x A= 0 (2.16)
i.e. A x (B + C) = -B x A- e x A =A x B +A x e.
aiA
FIpre 15 Distributive law for veetor products
Plone 01 e and e
Figare 16 The scalar triple product
x
z
,,"
",,"
<"
Outword "u. ~
O """'-----~
Figure 20
28 VICTOR. ANALYSIS
e
FIgUre 21
or,
(e - a).d - b.(e - a) =
(e - a).(d - b) = 0,
°
and so AC is perpendieular to BD, (i).
To establish (ii), let H be the orthocentre of triangle BCD and
have position vector h. Then, since BH is perpendicular to CD,
(h - b).(d - e) =0
and so, by (1),
(h - a).(d - e) = O.
Hence, AH is perpendieular to CD and, similarly, to BC. Since AH
is perpendieular to two lines in plane BCD, it is normal to that plane.
Eumple 2.3. If w = au + (3v + y(u x v), where u and v are unit
veetors inelined to each other at angle t1T, prove that
Iwl 2 = a 2 + a{3 + (32 + ir 2•
By 2.1
Iwl s = w.w = alul + fJ*v. +"s(u X V)3 + 2a{3u.v
+ 2yau.(u x v) + 2{3yv.(u x v).
Now u3 = v2 = 1, u. v = eos t1T = t, Iu X vl 2 = sin 2 t1T = i and
u. (u x v) = v. (u x v) = 0, since u x v is perpendieular to u and
to v, so we find that
Iwls = al! + ap + pa + irll•
30 VEeToa ANALYSIS
A
Figure 22
Miscellaneous Exercises II
2.1. A parallelepiped has adjacent edges OP, OQ and OR of
lengths I, 3 and 2 units respectively; OP is perpendicular to OQ and
the angles POR and QOR have cosines t and i respectively. Pind the
lengths of the diagonais through 0 and R, and the cosine of the
acute angle between them.
2.2. Three vectors a, b, c are non-zero. If
axb=c and bxc ... a,
show that a, b, c are mutually perpendicular, that two of them are
equal in magnitude and that the third is a unit vector.
Deduce necessary and sufficient conditions under which
axb=c, bxc=a, cxa=b.
2.3. Show that the sum of the four veetors of magnitudes equal to
the areas of the faces of a tetrahedron and directed outwards and
perpendicular to the faces, is zero.
2.4. If a, b, c are vectors such that
bxc=cxa=axb,
prove that
ax~+b+~=bx~+b+~=cx~+b+~=a
Deduce that if, further, a, b, e are non-zero vectors and not all
parallel, then
a+b+c=O.
2.S. The veetors u, v, w are unit vectors such that v and w both
make an angle 8 with u. Prove that the VectOf a = v - w is perpen-
dicular to the veetor u and to the vector b = - u + v + w. IT b is
perpendicular to u, show that 8 = 60°.
If, further, ahas length I, find the angle between v and wand obtain
the volume of the cuboid whose sides are U, a, b.
2.6. a and b are nOD-parallel unit veetors, and c = a + v'3 b,
PRODUCTS OF VECTORS 33
d = a - V3 b. If the angle 8 between a and b is the same as that
between e and d, show that 8 = cos-1 (-1/v3).
2.7. Show that, if a ana b are any non-parallel veetors and if
a = lal, b = Ibl, then the veetor
e=ab+ba
bisects the angle between a and b.
If i, j, k are mutually orthogonal unit veetors, find a veetor
bisecting the angle between the veetors 2i + j - k, i - j + 2k.
Find also a unit veetor perpendicular to the plane containing these
two veetors.
2.8. Find the area of the parallelogram the diagonats of which are
the veetors
3i + j - 2k and i - 3j + 4k,
i, j, k being the usual mutually perpendicular unit veetors.
2.9. Find a veetor r for which
(r x a) + r = b,
where a, b are given veetors.
2.10. If a veetor x satisfies the equations
x x e = b x e and x.a = 0
and if a and e are not mutually perpendicular, show that
x= b- (a.b)
a.e
e.
2.11. If the veetors a, b, e, U, v and w are such that U = a x b,
v = a x e, w = b + e, show that
(i) U.W + v.w = 0;
(ii) w x U + W x v = w2a - (w.a)w;
(iii) U x v = ra, b, el a.
2.12. The veetors u, v, w are non-zero. Show, by taking the veetor
product of each side with u, or otherwise, that the general solution
of the equation
UXy=uxw
Deduee that, if
A' B x e B' e x A and e' A x B
= [A, B, e]' = [A, B, e] = [A,B, q'
then (i) [A, B, q [A', B', e'] = 1,
.. B' X e' e' x A'
and (11) A = [A', B', eT B = [A', B', e'] and
A' x B'
e = [A', B', eT
2.14. In the tetrahedron OABC, the sides OA, aB, ac are equal.
By considering
-4- --+ --+ --+
(OA x OB).(OA x OC),
show that
eos a = eos b eos e + sin b sin e eos A,
where a, b, e are the angles BOC, COA, AOB, respectively, and A is
the angle between the planes AOB, AOC.
2.15. Show that if u is a given non-zero veetor, then a veetor v
satisfies the eondition
u = v x (u x v)
if and only if v is a unit veetor perpendieular to u.
If a variable point in three-dimensional space has position veetor r
and if a and b are fixed veetors with b non-zero, show that the equa-
tion
b = (r - a) x {b x (r - a)}
represents a circle C of radius 1 with a as the position veetor of its
eentre. Find, in a form similar to the above, the veetor equation of
the eircle of radius R whieh lies in the same plane as C and is
eoncentrie with C.
2.16. Prove that the plane through the point with position veetor
p and with normal in the direetion of the veetor n has equation
(r - p).n = O.
PRODUCTS OF VECTORS 35
A, B, C are the points with position veetors a, b, e respectiveIy.
The pIane a contains the line OA and is perpendicular to the pIane
OBC, where 0 is the origin. Similarly, the plane {J contains OB and
is perpendicular to the plane OCA, and the pIane 'Y contains OC and
is perpendicular to the plane OAB. Show that the pIanes a, {J, 'Y
intersect in a line.
2.17. The veetors i, j, k are non-planar. Find the veetor equa-
tion of the line joining the points A and B with positian vectors
i - 2j + k and i - j + 3k, respectiveIy, and show that the point P
with position veetor i - Sj - Sk lies on AB. Find also the vector
equation of the plane which passes through AB and the point C with
position veetor k.
2.18. Prove that the points with position veetors - 2i + 2j,
- i + j + 2k and i - j + 6k lie in a straight line and find the
equation of the line. If this line interseets the line
r = (s + 1) i + (1 - 3s) j + (e + 3s) k,
where s is a parameter and e is a constant, prove that e = S.
3: The Oifferentiation of Vectors
For the particular case AB = AB = constant, dA/dt is zero and 3.3a leads
to A. (dA/dt) = O. Hence dA/dt is perpendicular to A. If a point moves on
the surfaee of a sphere its velocity is always normal to the radius veetor, as
is physically obvious.
For the veetor produet A x B, expansion by 2.17 gives
(A + BA) x (B + 8B) = A x B + 8A x B + A x aB + aA x 8B,
38 VECTOR ANALYSIS
V =. 0.0
) - + J-
0
ox oy + k-,
oz
it is easy to verify that the sealar produet of V, regarded formallyas a
veetor, with dr gives the operator in square braekets. Thus,
dV = (V.dr)V. (3.5 bis)
;, (il x v) =w x (u x v).
Unit
normal
n
Thus, the gradient of a SCaIar field is a veetor field, the veetor at any
point having magnitude equal to the most rapid rate of increase of
S at the point, and being in the direction of this fastest rate of
increase, i.e. perpendicular to the level sudaee at the point.
THE OPERATOR 'il AND ITS USES 43
A simple physical example will fix the reader's ideas. Suppose S
is the potential in an eleetric field due to static charges. Then the
eleetric force at any point is in the direction of the greatest rate of
decrease of potential, i.e. normal to the equipotential surfaees. and
has a magnitude equal to that rate of decrease. That is, the electric
foree is - grad S.
It is clear from the way that the gradient has been introdueed that
it is a veetor field independent of any particular system of co-ordinate
axes. Consider now the veetor
'ilS - aS i aS • aS k
- ax + ay 1 + az '
where i, j, k have their usual meanings. We wish to show that this
veetor is the gradient as just defined. To do this, take the sealar
product on both sides of equation 4.2 with an element of radius
veetor dr. Then
as as as
(grad S).dr = an D.dr = an dr eos 8 = an dn = dS,
sinee as/an is the normal rate of change of S. Now in reetangolar
co-ordinates,
as as as
dS = -dx
ax
+ -dy
ay
+ -dz
az
and henee
as as as
(grad S).dr = ax dx + ay dy + az dz
= ( Õs •
ax I +
as • as
ay 1 + õz
k) •(dxi + d·Y1 + dzk)
= ('ilS).dr;
sinee dr is arbitrary
"S as . as • as k
grad S = v =-1+-1+- , (4.3)
õx ay az
and so the operations grad and 'il applied to a sealar point-function
are identical. AIso sinee the gradient of a scalar field is independent
of the nature of co-ordinates, so also is the operator 'il; it is a mere
convenienee, therefore, to express it in terms of x, y and z. We may
regard 'il as a direetional differentiator which, when applied to a sealar
44 VEeTOll ANALYSIS
o
Ftgure 25 Une integrals in a Iamellar field
the element ds ot the path; then the product of the length of the
element and the component of Vs in its direction is, from p. 25,
Vscos 8ds = Va.ds.
The path is traced out by the extremity of aradius vector r from the
origin; thends is equivalent to dr and we may write, from p. 43,
Va.ds = (VS).dr == (grad S).dr = dS.
THE OPERA TOR V AND ITS USU 4S
Hence the line integrai of Vs from A to B is
f Vs.ds
.AB.AB
= f (grad S).dr = f
.AB
dS = SB - SA, (4.4)
where SA and SiJ are the values of the scalar at the extremities of the
path. Since only the end values are concemed, the line integrai hill! a
value independent of the path followed.
Now take a elosed path, eonsisting of path 1 from A to B followed
by path 2 from B to A. From 4.4, since the limits of integration are
reversed for ·the second path, the value of the line integral along it is
SA - SB; hence round a elosed path
vector fields, e.g. the flow of heat with temperature isothermals and
gravitational attraction with level surfaces.
3. The Divergence of a Vector Field. In fig. 26 let V be the veetor
at the centre of an infinitesimal element of volume with sides dx, dy
Vt + .!.. elV, dz
2 ell
I el v,
V, - 2" äi dy
I~
v,+! el, dy
I av,
Vz -zazdl
Figure 26 Divergence of a veetor point function
and may be taken as the value all over the face when this becomes
very small. Similarly, on the right-hand face the x-component is
Vx - zax
loV
dx .
x
We now define the flux through any face as the scalar product of the
vector area of the face and the veetor V; i.e. as the product of the
area of the face and the normal component of the veetor upon it
(see p. 27). The flux is positive when the component of V and the
outward-drawn normal on the face of the element are in the same
THE OPERATOR V AND ITS USES 47
sense. Then the excess of ftux leaving the element over that entering
it in the X direction is
( + 12.
Vz
OVz)
dx dx dydz -
(12"'h
Vz -
OVz)
dx dydz oVz
= "'h dxdy dz.
( OVz
ox
oV"
+ oy + oz
OVz) dx d d
lY z.
The amount of ftux per unit volume is defined as the divergence of the
veetor V and is written
· V oVz oV" oVz
dIV =-+-+-.
ox oy oz
(4.6)
In a ftuid this means that there can be no sources or sinks in the field,
nor can its density be changing, i.e. the ftuid is ineompressible. H the
ftuxes entering and leaving an element are equal, none can have been
generated within it; the Iines offtow of the veetor V must either form
elosed curves (ef the magnetie field of a current), or terminate upon
bounding surfaees (ef the electrie field in a eondenser), or extend to
infinity. A veetor whieh satisfies this condition is said to be $Olenoidal
(from a Greek word meaning a tube).
Consider now the SCaIar produet of the operator V and the veetor
V. Expressed in cartesian eo-ordinates,
4. 1be Operator div grad. In 4.2 and 4.3 it has been shown that if
S is a scalar function of position in space, then grad S = VS is a
veetor function having the magnitude and direction of the greatest
rate of increase of S; its ftux Iines eut normally throngb the level
surfaees of S. Since grad S is a veetor it can have a divergence.
Indeed,
div grad S = !.
ox
(aS)
ox
+ ~ (aS) + .!. (a~
oy oy oz ai)
02S 02S oas
= ox2 + oy2 + OZ2; (4.9)
the operator
02 02 02
div grad = ox2 + oy2 + oza = va,
is known as Laplace's operator or the LapIacian. Examples of its use
will be found in later ehllPters.
5. 1be Operator va with Vecror Operand. A veetor point-function
V may be expressed in terms of its rectangular eomponents Va:, VI/,
V.. in the usual way. Since Va:, VI/ and Va are each SCaIar functions
THE OPERA TOR V AND ITS USES 49
of position (x, y, z), the operator VI applles to them all..Then, if
V = Ysl + VI/j + Vzk,
VIV = VIVsi + VIIVI/) + VIVzk, (4.10)
which is a result of great importanee in eleetromagnetic theory and
hydromechanics.
6. The Curl of a Vector Field. It has been shown on p. 4S that when
a veetor field is the gradient of a scalar field, the line integral of the
vector taken round any closed path is zero; this result is true no
matter what size or shape the path may have. A vector field satisfying
this condition is known as a !amellar field, and is of a special, though
very important, class. Many veetor fields occur in physica1 problems,
however, which cannot be expressed as the gradient of a scalar point
function; it is to an important property of these more general fields
that we now give attention.
V,= V,k
(0) (b)
none of the field is dil'PCted along any part of the bounding edge of
the area; the line integral round it is zero. In position 2, with the area
parallei to the field, since the value of the veetor along the upper edge
is assumed to be different from that along the lower edge, the line
integral round the boundary has a non-zero value. Similar arguments
apply to intermediate positions; the value of the line integrai
depends, therefore, upon the direction of the normal to the area
relative to the field, i.e. upon the orientation of the given small veetor
area at the region considered.
In general, if we put a small area of any shape at any point in a
veetor field and compute the line integrai of the veetor V around its
bounding edge there will be an orientation of the area for which the
line integral is greatest. The value of this maximum line integrai
divided by the area is called the eurl of the veetor field at the point
and is given the veetorial sense of the positive normal drawn on the
small exploring area when in the position giving this greatest integraI.
When the area is in a general position the line integral gives the
component of the curl along the normal to the area. The term rot is
sometimes used in place of curl, since the curl is associated in hydro-
meehanics with the rotation or spin of a ftuid. Physical examples
illustrating the meaning of the curl of a veetor field will be given
later; the meaning depends very much upon the nature of the
problem.
To calculate the curl in terms of its cartesian components, we take
three infinitesimal rectangular areas intersecting mutually at right
angles at a point where the veetor field V has components Vz, VII, Vz,
as in fig. 27(b). If the positive normals to the areas are taken along
the positive directions of the X, Y and Z axes, the circular arrows
indicate the positive senses in which their boundaries must be
traversed to accord with the right-hand screw rule for veetor areas.
As an example, we consider the area ahed in fig. 27(b) with sides
dx, dy, its normal being along the axis of Z. Since the reetangle is
very small, the value of the component of V at the middle of any
side may reasonably be taken as the average value along that side;
the arrows show the directions in which the components act. Since
Vz, V", Vz are funetions of the co-ordinates (x, y, z) of the middle
of the rectangle, the average values along the four sides ah, be, de, ad,
THE OPERA TOR V AND ITS USES 51
respectively, are
1 oVII
VII +i ax- dx ,
x x
+ ay ay
[( Vx - "21 oV dy ) - ( Vx + "21 oV dy )] dx,
that is, _ OVx) dx dy.
( OV"
ox oy
Since the area of the element is dx dy, the bracketed terms give
the Z-component of the curl of the vector field. Thus, we may write
v. \
Translatlonal
Vlloclty
Again, using 2.18 with 4.1 and remembering that sinee Wx, Wy, Wz
are not funetions x, y, z their derivatives are zero, we ean easily
verify that
v x (w x r) = 2wxi + 2wyj + 2wzk = 2w.
Finally, therefore,
eurl V = 2w
and w = teurl V. (4.13)
Hence when a rigid body is in motion the eurl of its velocity at any
point gives twice its angular velocity in magnitude and direction (see
also p. 50).
Now examine the motion of a fluid and eonsider what may happen
to an infinitesimal element within it. The element ean have three
kinds of motion simultaneously. (i) It may be moving with a linear
velocity of translation as a whole. (ii) If the fluid is deformable it
may ehange its shape. (iii) It may be in rotation. At any instant the
little element may be regarded as a rigid body; the eurl of the veloeity
of the fluid at the point where the element is situated gives twice its
angular velocity. The nature of the rotational motion will be made
elearer by fig. 29(a), whieh shows two positions of a small portion of
the fluid in movement about an axis at o. It is dear that the portion
54 VECTOR ANALYSIS
(al Ib)
If a motion is such that the velocity has non-zero curl, the ultimate
particles of the bodyare in rotation with an instantaneous angular
velocity. The motion is described as rotationa!. If, on the other hand,
the particles do not rotate, the curl is null and the motion is irrota-
tional.
Another example of an entirely different kind is provided by the
magnetic field of a conductor carrying a steady current. At any point
in the field put a very small plane area and turn it into such a position
that the line integraI of the magnetic force taken round its boundary
is the greatest possible; this value expressed per unit area is the
vector curl H, i.e. the magneto-motive force per unit area at the
point. If the point is within the material of the conductor at a place
where the vector of current density is j, then this will be the total
current passing normally per unit area through the elementary path
when the line integraI round it is greatest. In m.k.s. units, curI H
= j, so that the curl of the magnetic force at any point is the
current density thereat and has the same direction. For a point in the
field external to the conductor there is no current density and curl
H= O.
8. Divergence of a Vector Product. In certain physical probIems, e.g.
in calculating the flux of e~ergy in an electromagnetic field, it is
THE OP ERA TOR V AND ITS US ES ss
required to find the veetor produet of two veetors and then to work
out the divergence of the result. We thus seek to find div (A x B).
Using 2.18, we write
V = A x B = (A"Bz - AzB,,) i + (AzBiZ - AzBz) j
+ (AzB" - A"BiZ) k
= ViZi + V"J + Vzk.
Now applying 4.6, we find that
. V
dIV .õViZ õV" õVz
= - +õy- +OZ
õx -
i j k
curI SA = %x %y %z,
SA z SAy SA,
the x-component being
!... (SA,) -
oy
~ (SA y) = S (OA, _ OAy) + (Az oS _ Ay o~.
OZ oy oz oy ozJ
= S(curI Ah + [(grad S) X· A]z.
Hence curI SA = S curI A + (grad S) x A
= (oa v %+ 02V" + oa V, ) i
ox2 OX oy OX OZ
02 V% 02V" 02V, )
+ ( OX oy + oya + oy OZ j
in cartesians. For example, ifV is a ftuid velocity, div V gives the rate
at which the density at a point is changing per second; grad div V
gives the magnitude and direction in space of the greatest rate of
space inerease of the density. In an eleetric field, V is the eleetric
force, div V the density of space charge and grad div V the greatest
rate of increase of charge at any point.
12. The Operator div eurl. If V is any veetor field, curl V is also a
veetor field of which we may calculate the divergence and the eurl.
Dea1ing with the first of these and using 4.6 and 4.11, we have that
divcurl V = V.(V x v)
= !... (OVt: _ OV,,) + ~ (OV% _ OVz)
OX oy OZ oy OZ OX
Hence since it has null divergence the eurl of any veetor field is a
solenoidal field, i.e. one in which the lines of ftow form closed curves.
The converse result is also true, namely, that if a veetor field u is
such that div u = 0, then there exists a veetor v such that u = curl v.
I:
Indeed, such a veetor v is given by
-v == r x lu(.\r) d'A,
- y Io A~ {ua(.\r)} dA + z
1
I: ~ A {ua(.\r)} dA.
= _ f\aduadA _ 2 f1AuadA
Jo dA Jo
= _(A2ua)Ol = -ua(x, y, z).
av" oVz
u,=--- (3)
ax ay'
THE OPERA TOR V AND ITS US ES 59
and, if we let Vz = f(x}, where f(x} is an arbitrary function of x, find
f
from (2) and (3) that
VII = u, dx + g(y, z},
f
v. = - UII dx + h(y, z},
where g(y, z) and h(y, z) are arbitrary functions of y and z. (1) then
J
shows that
Uz = _JOUII dx + oh _ ou, dx _ og
oy oy oz OZ
or, since div u = 0,
og _ oh =0
OZ oy .
Hence, the equation div u = 0 is satisfied by u = curl v, where
Vz = f(x),
VII = Ju, dx + g(y, z),
v, = - IUII dx + h(y, z),
where f(x) is an arbitrary function of x and g(y, z), h(y, z) are any
functions of y, z for which
og _ oh =0
OZ oy •
13. The Operator eur. eur•• The y and z components of curl V are
curlz curl V = [ oy
II OVz)
"]x - ay
0 (OV - 0 (OVz
OZ Tz - ax
OV,)] i.
oy + k!.)
= k (i!..
oX + j!.. oz (x + y2 + Z2)-1/2.
2
oV:r: + -
av" OV~
divV= V.V=-
ox ay+ -oz'' (4.6,4.8)
( V, + 2.1 Tr
õV, dr) (r + t dr) d8dz
- ( V, - -1 -õV, dr ) (r - t dr) d8 dz
2 õr '
which to the third order of small quantities is
õV,
Tr r d8 dr dz + Vr d8 dr dz.
x
z
d1 Volume .Iement
rd8~
_ .(
I \
I ' dr
/" ~
I"
/ " ~~
'// /'
/"
1 'iJV.
curlV=V'xV= ( - - -'iJVe)
- a+ ('iJV,
- - 'iJV.)
- b
r 'iJ8 'iJz 'iJz 'iJr
1 'iJ 2S
• _
dlV grad S - V S -
2 _
r1 Fr'iJ ('iJ~
r or) + j:2 082 +
'iJ2S
OZ2'
z x
'd8~
/Ohxne eliment
, ~
r ,In 8d~ ~,
/' \
dr .......... :'
+ 1-r [0
-or (rVo) - -OVr]
08' c·
.
dlV grad S = V2S = T21 Fr0 (2 OS) 1 0 (. 8 o~
r or + r2 sin 8 08 sm 08J
1 o2S
+ r 2 sin2 8 -.-.
Oq,2
We now work out some examples to illustrate the manipulation of
the operators that have been defined in the above paragraphs. Here,
as throughout the book, we assume that the veetor fields concemed
are continuously differentiable to. the order required in the particular
context; for instanee, we always assume that the commutative
property of higher partial derivatives hoIds.
Example 4.1. If q, and !/I are scalar fields, show that
div (q, grad!/l) = q,V2!/1 + (grad q,).(grad !/I).
By 4.15,
div (q, grad!/l) = q, div (grad!/l) + (grad !/I).(grad q,)
= q,V2!/1 + (grad q,).(grad!/l)
as required.
There is much to be said, of course, for working out an example
such as this from first principles and without relying on a formula
66 VECTOR ANALYSIS
= -1r (r x al.
(iii) By 4.14
div(a x gradr-1) = gradr-1 .eurla - a.curlgradr-1
=0- a.O = O.
Example 4.5. If the veetor fields E(x, y, z, t) and H(x, y, z, t)
=,
satisfy the equations
divE = 0, divH = 0, curlE = - 0::, eurlH =
show that both E and H satisfy the veetor differential equation
Vau = aSu/otI.
Since OH
eurl eurl E = - eurl-
at
=-
o
-(curlH)
at '
we have by 4.20 that
grad div E _ VlIE = _ a2E
a'·
Le. Vlm allE
-..:, = atS'
Similarly.
68 VECTOR ANALYSIS
Miscellaneous Exercises IV
4.1. If q, and rP are scalar fields, prove that
curl (q, grad rP) = grad q, x grad rP.
4.2. Show that, if r is the position veetor of a point, n is a constant
andf(r) an arbitrary differentiable function of r, then
(i) div (r"r) = (n + 3) r",
(ii) curl {f(r) r} = o.
4.3. If v = (xyz)m (x", y", ZIl), show that curl v = 0 if and only
ifeitherm=Oorn= -1.
4.4. If a is a constant veetor and r is the position veetor of a point,
prove that
(i) div (a x r) = 0,
(ii) curl (a x r) = 2a,
(iii) curl (r2a) = 2(r x al,
(iv) curl {r x (r x al} = 3(a x rl,
(v) div {r x (r x al} = 2a.r,
(vi) curl (grad r- 1 x a) = grad (a.grad r- 1).
4.5. If v is a veetor field and r is the position veetor of a point,
show that
(i) (v. V) r = v,
(ii) (v. V) v = t Vv 2 - V X (V x v),
(iii) (v.V)(v x r) = -r x (v.V)v.
4.6. If q, = (a.r)", where a is a constant veetor, r is the position
veetor of a point and n is a constant, show that V2,p = 0 if and only
ifn=Oor1.
Evaluate V4,p, i.e. V2(V2,p), and show that ,p is a solution of the
biharmonic equation V4q, = 0 if and only if n has one of the values
0, 1, 2, 3.
4.7. Prove that
V(u.v) = (v.V)u + (u.V)v + v x (V x u) + u x (V x v),
and rewrite the relation in terms of the operators curl and grad.
4.8. Prove that
curl(u x v) = udivv - ~divu + (v.grad)u - (u.grad)v,
and rewrite the relation in terms of the operator V.
THE OPERA TOR V AND ITS USES 69
4.9. The veetor fields u and v satisfy the equations
eurl u = cv, eurl v = CU, (1)
where e is a nOD-zero constant. Show that div u = div v = 0 and
that u and v satisfy the equation VIlV + cllV =0.
IfX is any veetor for whieh VIlX + cllX = Vrf" where rf, is a scalar
field, verify that the veetors u = e eurl X and v = eurl eud X satisfy
the equations (1).
4.10. Show that the equations
s
II
V.dS ==
s
II
V.ndS.
~ -------
~VC :
_
_" 1'_.
-r-- __ .
)( I I Y
a ~~ P~ :.L-. __
y
CIOMd surlae.
S
merely for ease in drawing the diagram. The total ftux diverging from
this volume is div V dV, V heing the vector at the centre of the
element, and this ftux has been computed on p. 47 by calculating the
surface integraI of the normal components of V through the surfaees
bounding the volume. For 1he face abcd the positive direction of the
INTEORAL THEOREMS 71
y-component of V and the outward-drawn normal are in the same
sense and the ftux is positive. A eontiguous cube, shown dotted, has
the same component of V acting through the eommon face - since
V and its components are assumed to be continuous, as also are the
derivatives of these quantities - but its outward normal, shown
dotted, is in the opposite sense and the ftux is negative. The surface
ftuxes through the common face cancel. This argument can be applied
to further elements placed end to end parallel to the Y axis until an
element is reaehed which has one face in the surface S, shown
shaded; this'alone makes a contribution to the normal ftux through
S. Applying the same treatment to the surfaees of all elements of
volume throughout the space enclosed by S, we arrive at a total ftux
dS.
ff V. But at the same time we have integrated div V through-
s
dV
out the enelosed volume and this also measures the total ftux.
Equating them, we have that
Figure 34
~dSZ
I I
r
,'~_:
-, dS1
, I
, n ,
I '
l::::'?--dS,
Figure 35
Then
JJJ~: dx dy dz =
V
JJ
s.
[R{x,y, 'Mx, y)} - R{x, y,lMx, y)}]dS•.
Iff:dxdydz = IIIPdS,
v s
III:Q dxdydz =
v y
frVmQdS.
By addition we now have that
Figure 36
74 VEeToa ANALYSIS
Figure37
(0)
(b)
II t/> grad !/J. n dS = I IIt/> V2!/J dV + III grad q,. grad !/J dV,
s v v
n being the unit outward-drawn normal to the surfaee. Writing
q, grad !/J.n as t/>(o!/J/on), we have that
5.3 and 5.4 are formsof Green's theorem. Having used Gauss's
theorem, we require that q,. !/J and their partial derivatives of the first
and second order be continuous functions of x, y, Z.
INTEGRAL THEOREMS 77
If we take 1/1 = q, in 5.3, we obtain the important result that
II q, ~~dS = III{q,v q, + (grad q,)2} dV,
2 (5.5)
s y
and, if we replace 1/1 by a constant in 5.4, we find that
III
y
VSq,dV= II~~dS.
s
(5.6)
III{grad(t/> -1/I)}2dV= O.
y
Henee grad (t/> - .p) is zero in V, i.e. t/> - .p has a constant value
throughout V. But t/> - 1/1 = 0 on S, so 1/1 = t/> in V.
The problem of finding a function whieh is harmonic throughout
a given region and assumes prescribed values on the boundary of
the region is called the Dirichlet problem. If a solution exists then,
by the eonsiderations just given, it is unique.
Similarly, we ean show that two functions, which are harmonie
throughout a region V and have the same normal derivative on the
surfaee S bounding V, can differ by only a eonstant.
Thus, if X is the difference of the two functions, then X is harmonie
throughout Vand ox/on = 0 on S. If we now put X for t/> in 5.5 we
have that
III (gra x)2dV II :~ dS
d = X =0
v s
and hence that grad X = 0 at each point of V. X has therefore· a
eonstant vaIue throughout V.
The problem of finding a funetion, which is harmonie throughout
a given region and whose normal derivative on the boundary of the
78 VECTOR ANALYSIS
Figure 39
41T<f>(P) =~ lj (n - ~ ~~}
{<f> :n dS (5.8)
e
Figure 40
where 8(n) = max (81, ... , 8n) and tends to zero when n -+ oo in such
a way that each llS, -+ O. Henee, proceeding to the Iimit and remem-
bering that line integrals along common edges of the llS, caneel, we
have that
fc
V.ds = lj
n.eurl V dS. (5.9)
The direction of eurI V is that of the positive normal to 8S, Le. the
direction of the normal which is related to the sense of description of
the boundary by the right-handed corkscrew role.
div V and curI V may be defined by the formulae just given and
vector caleuIus developed therefrom rather than from 4.6 and 4.11.
These definitions have the advantage of being intrinsic, i.e. free of
any referenee to a particular co-ordinate system.
6. CJassification of Vettor Fields. We have already proved on p. 58
that, if a vector field u is such that div u = 0, then there exists a
vector field v such that u = eurl v. Before proceeding to diseuss the
case when curl u = 0, we must explain what is meant by a simply
eonnected region. A region of spaee is said to be simply connected if
every elosed curve in the region can be eontraeted to a point without
passing out of the region. A region whieh is not simply eonnected is
said to be multiply connected. Thus, the interior of a sphere is simply
eonnected, while the interior of a torus (anchor-ring) is multiply
eonnected. The distinguishing feature of a simply connected region
which coneems us here is that every simple elosed curve in the region
is the boundary of a surfaee lying entirely within the region.
We now prove that, if a vector field u is sueh that eurI u = 0
throughout a simply connected region, then there exists a scalar
field </J such that u = grad </J.
If r is any simple elosed eurve in the region then, sinee the region
is simply connected, there exists a surfaee S in the region with r as
82 VEeToa ANALYSIS
I u.ds + r u.ds = 0,
I
ABP JpCA
or
f ABP
u.ds =
ACP
u.ds.
A
Figure 41
is meaningful.
Now regard Aasa fixed point and P as a variable point in the
field and let
q, = I~u.ds.
Theo, if Q is a point close to P and such that the straight line segment
PQ lies in the region,
= I:
I:
q, + 8q, u.ds,
and
8q, = u.ds,
INTEGRAL THEOREMS 83
where the path of integration may be taken as the line-segment PQ.
Hence
3t/1 = Ua: 3x + UI/ 3y + u. 3z + e,
where the components Ua:, UI/, U. are evaluated at P and e -+ 0 as
Q -+ P and does so faster than 3x, 3y and 3z. Thus
at/l at/l at/l)
(u.. UI/, U.)= ( ax' ay' az '
i.e. u = grad t/I,
and we have found, for a given vector u such that eurl a = 0, a
scalar t/I such that u = grad t/I.
It is useful to elassify vector fields as follows:
(i) eurl u = 0, div a = O. By the first condition the field is
irrotational and from the above eonsiderations, u = grad t/I,
where t/I is a scalar. By the second condition, the field is
solenoidal and 0 = div u = div grad t/I = V2t/1. The scalar ~
therefore satisfies Laplace's equation V2t/1 = O.
Examples of this type of field are the electrie field due to statie
electrie charges and the velocity field in the irrotationaI motion of an
incompressible fluid.
(ii) eurl u = 0, div a if:. O. Again, there exists a scalar t/I such that
u = grad t/I, but in this case VBt/I if:. 0 and , satisfies Poisson's
equation rather than Laplace's equation. Examples of this
type of field are the electrie field generated by the electrons in
a thermionie valve and the gravitational field inside matter.
(iii) eurl u if:. 0, div u = O. The field is rotational and cannot have
a scalar potential. However, since it is solenoidal, there
exists a veetor potential A such that u = eurl A; A is not
uniquely determined and the gradient of an arbitrary scalar
may bc added to it (see p. 58). Examples of this type of field
are the magnetie field inside a conductor carrying a steady
current and the velocity field of an incompressible fluid in
rotational motion.
(iv) eurl u if:. 0, div a if:. O. This is the most general type of ficld
possible and is exemplified by the velocity field of a com-
pressible fluid in rotationaI motion.
84 ViCTOR ANALYSIS
•
~
E
1• ~
1
~
0
eurl only
0 Dlveraenee·
and eurl
(e) (d)
Ffgure 41 Typical eharacteristics of vector fields
Ul =- 1 grad fIfdivU
471' -,- dV, (5.13)
Thus
U= - 4171' grad III di ; U dV + L
eurl III~1 U dV,
=t + 2 + 6- 6 = !.
Example 5.3. Evaluate
II
s
eurl v.o dS,
II
s
curlv.ndS = f
0
v.ds,
II
s
curl v.n dS = f (- y, x, z).( - Ylo, xla, 0) ds
0
= LadS
= 217a2•
Example 5.4. If u is a veetor field and ." is a scalar field, show that
in the usual notation
Miseellaneous Exereises V
SJ. Evaluate
f dx + dY,
Jo X-Y
where e is the curve formed by the line joining the point ( -1,2) to
the point (0, 3) followed by the line joining the point (0, 3) to the
point (1, 2).
S.2. Show that
where F is a veetor field, " and .Js are scaIar fields and t is the unit
tangent veetor to the eurve e whieh bounds the surfaee S.
S.3. li the veetor field u is normal to the elosed surfaee S at all
points on it, and " is a scaIar field, prove that
fI a"an
s
dS
'
when '" = X.V2Z 2 and S is the ellipsoid
Xl yl Zl
aa+bl + es =1.
INTEGRAL THEOREMS 89
S.S. Show that, in the usual notation, the volume of V is
where N = (nl, n2, - na), (nl, na, na) being the unit outward-drawn
normal to S.
S.8. If v = eurl A and w = t eurl v, prove that
IIIv u dV = III
2
v
D.V dV
v v
5.11. ef> and .p are scalar fields such that the surfaees ef> = constant
and .p = constant are everywhere orthogonal. Prove that, in the
usual notation,
S+dS~---
s.&----
We recall that such a veetor field has the essential property that
the value of the line integrai of the tangential component of Vs
along any path joining two points A and B is the same and equal to
92 VEeToll ANALYSIS
I:
the differenee between the vaIues of S at B and A, i.e.
Vs.ds = SB - SA.
q, = IIu:S (6.5)
va" = 0, (6.6)
i.e. Laplaee's equation is satisfied by the potential at all source-free
points in space. A field of this kind is, therefore, known as a Laplacian
field and" is a hannonic function. 6.1, 6.4 and 6.5 may be regarded
as solutions of 6.6 for various physical conditions.
3. Volume Distributions. In many problems the field is due to
volume distributions of sourees, each element of which actsaccord-
ing to the inverse square law. Familiar examples are the electric field
due to a space charge of electrons or of ionized gas molecules, the
attraction of solid bodies, the ftow of intemally generated heat (as in
an electricaIly-heated conductor), etc. Let p be the density of sources
per unit volume within a closed surface S; p is a scalar function of
position. Then if dVis avolume element in fig. 45, p dV is an elemen-
tal souree. Two cases arise and wiII be separately examined.
differentiating operation,
F = -grad~ and VB~ = 0,
exactly as before. The field extemal to avolume distributioo is
solenoidal, i.e. the patential is Laplacian.
If P is ioside the surfaee S there is a small difficulty, sinee r in the
denominator of the integrand in 6.7 cao oow become zero. Surround
P by a small spherical surface of radius 8; then, taking the volume
integrai through the space confined between S and the sphere, P is
outside this regioo and the integral is finite. Now let the sphere be
made very small; then the integral 6.7 taken throughout it is propor-
tiooal to 8 2 approximately, and varushes as 8 becomes zero. Hence
6.7 expresses also the potential inside the surface if it is regarded as
the limiting value reached when a small sphere round P is reduced
without limit; the field is oot, howevel, Laplacian. In 5.2 it has been
shown that when V = grad (l/r) the total normal 1Iux of V through
a surface eoclosing a source of unit strength is - 411' and is iodepen-
dent of the positioo of the source. aenee wheo F = - grad ~, where
~ is due to sources of total amount q, oo matter how distributed
within the surfaee S, the 1Iux is +411'q. In the present case q is the
volume integraI of the source-density, so that
z y
n n n X
S • J
(b)
= - -2-y
-1.+ - -x- ].= -1( -SID
. 8i +eos 8)
j
X +y2 X2 +y2 a
where a2 = xl! + y2, The lines of the vector grad'" are in the
direction of the eounter-clockwise tangent at any point P, perpendi-
cular to the' equipotential' plane through that point. To calculate the
98 VECTOR ANALYSIS
V.L d
'f'. a = [- Y.
-2--2 1
x
+ x+y JJ [dxi + d']
-2--2' YJ = x dy2 - y 2
dx
x+y x+y '
Consider a eircular path round 0 in the plane of XY; then, sinee
x = a eos 0 and y = a sin 0,
we have that
dx = -asin OdO, dy = aeos OdO and xdy - ydx = a2 dO;
henee
J V,p.da. = J
dO
the battery. Physically, therefore, the scalar potential of the field must
be multi-valued, and its cyclic character has this physieal explana-
tion. To satisfy mathematieal requirements, however, we replace
the field of the current by that of a thin, normally-magnetized sheet
with the circuit as its boundary edge - the equivalent magnetic sheli.
The potential due to the shell is iw, w being the solid angle subtended
by the circuit at any point in the field, and is single-valued as required
by potential theory, p. 13; the field is then acyclic and the problem
has been reduced to one in magnetostatics; see further, p. 105. It is,
however, not in agreement with the essential physieal nature of a
current field and must be regarded as a mere mathematieal con-
venience. Agreement can be secured by treating the field of a linear
current as a degenerate case of the veetor potential field of a current-
carrying medium, as on p. 104.
7: The Veetor Potential Field
current lIow
H
elosed curv.
Figure 47 Curl of magnetic field due to electric current
102 VECTOR ANALYSIS
taken over the entire area. Now calculate the line integrai of the
tangential component of the magnetie force H round the elosed
curve, in the sense of a right-hand screw relative to the unit surfaec-
normal n, as in fig. 47; then the eircuital theorem makes
H f - f~
= eurl A = i eurl ~ i eurl ds =i f eurl ~ ds.
THE VECTOR POTENTIAL FIELD 105
Using 4.16, substitute 11' and t; remembering that the eurI is ealcu-
lated at P and that t is not a function of that point, so that eurI t
thereat is zero, we obtain
eud (tlr) = [grad (l/r)] x t = -(rl x t)lr 2 ,
rl being the unit veetor drawn from the eircuit element towards P.
Hence
= _ i 1: (rl
x t) ds = _ i 1: u sin 8 dS,
H
:r,2 :r,2 (7.6)
where u is a" unit veetor in the sense of the veetor produet of rl and
t, i.e. rl, t and u form a right-handed system. 7.6 is known either as
Ampere's rule or as the Biot and Savart law· and states that the
magnetic force due to an element ds of a elosed eircuit has a magni-
tude i sin 8 dslr 2 and is normal to the pIane containing ds and r; the
direetions of magnetie force, ds and " form a left-handed system,
since H is in the sense of - u.
Since eurl grad (l/r) is zero, the field oflinear currents has no eurl.
As shown on p. 100, sealar potential theory can be applied to the
eyelie non-eurI fieId by repJacing the eurrent by a uniformly-
magnetized shell having the eircuit for its bounding edge. The north
polar faee of the shell is directed toward a point P, as in fig. 49, when
~dP
P
dlXdp
Figure 49 Equivalence of magnetic sheIl and Iinear current
• The general rule is due to Ampere for any shape of circuit. Biot and
Savart's proof applies only to straight conductors.
8·
106 VICTOR ANALYSIS
fl'
r 2 .(ds x dp) = dp. (r 2f xl 'ds) = PI dp. (r 2f xl 'ds) ,
since P moves away from the eircuit this is the rate of deereose of
solid angle subtended by the eircuit. But grad w is the total rate of
increase of w; hence - PI . grad tu is the eomponent rate of deerease
in anY direction denoted by pI, equivalent to dw/dp above. Also if
fl is the unit veetor drawn towards P from ds, fl' = - fl. Taking
the scalar produet with PI in 7.7 we have
. . dw . ! (fl X t)
H·PI = -IPI.grad w = I dp = -PI.I j -r-s-ds.
For this to be true of any displacement,
H = _; i (fl X t) ds
j r2 '
·~:----+-·x
z
(0) (11)
The !ines of magnetic force are circles with their centres on the Z
axis, the circles lying in planes parallel to the XY-plane; in other
words, since the wire is infinitely long, the field distribution in the
XY-plane is preeisely similar to that in any other parallei plane.
Since all the elements of current are in the same direction, the veetor
potential at any point P is a veetor parallei to OZ and can be found
by a simple scalar integration. Writing ds = k dz and,2 = z2 + a2 ,
108 VECTOR ANALYSIS
A = ik J OO
-oo
( II
z +a
dz
11)1/11 = ik [are.sinh (z/a)] -oo
oo
symmetry this argument applies to any point on this locus. Hence the
lines of veetor potential for a eireular current filament are paralleI
circles with their centres on the common axis. To give an expression
for A and hence for H requires the use of elliptic funetions and is
beyond the scope of our present discussion.
The diagram, fig. 51, represents also in one meridinoal plane the
lines of flow of fluid about a eircular vortex filament; the complete
pieture is obtained by revolving the diagram about 0 X.
8: The Electromagnetic Field Equations of
Maxweil
which define the field strengths in terms of the scalar and veetor
potentials. 8.7 and 8.4 now become
i.e.
0 2'" + ~ at = -pjK
at (diV A + KP. 0"')
(8.l0)
and
02A - grad (diV A + KP. °tr) = - p.j, (8.11)
In the same way, when there are no true eharges present, we find
that
ilE 02E
V2E = ap. at + KP. ot2' (8.l6)
Miseellaneous Exereises I
1.5. r = (l-'\)i-2j+(l+2'\)k, r = li-2J + ik.
1.6. r = '\(a' - a) + "b.
Miseellaneous Exereises II
2.1. 3v'2, v'10, 1/v'5.
2.2. a, b, e mutually orthogonal and of unit length.
2.5. 60°, v'2.
2.7. 3i + k, (i - Sj - 3k)/v'35.
2.8. 5v'3.
2.9. r = [(a x b) + b + (a.b) a]/(l + a2 ).
2.15. R 2b = (r - a) x {b x (r - al}.
2.17. r = i + (,\ - 2)j + (2.\ + l)k, (r - k).(4i + 2j - k) = O.
Miseellaneous Exereises III
3.5. [r, i, ·r·].
Miseellaneous Exereises V
5.1. -to
5.4. 81rabc(b2 c2 + c2a2 + a2b2)/105.
Bibliography
(1) and (2) are concemed with only the algebra of veetors; both
contain applicatioos to geometry and (2) discusses some applieatioos
to meehanies. (3), (4) and (5) deal with both the algebra and ealeulus
of vectors and include applicatioos to mathematical physics. (6) is a
completely different book from any of the others and deals with
certain aspects of veetor ealeulus (Stokes's theorem in partieular) at
the high level of rigour and sophistication of modem pure mathe-
maties.
Index
Harmonie function, 77
Deeomposition of field into lamellar Helmholtz's theorem, 84
and solenoida! components, 84
Del operator, 41
Dilferentiation of vectors, 36 Inverse square law, 61
sums and produets, 37 point sourees, 92
triple products, 38 Gauss's theorem, 74
partial,38 applied to electrie field, 92
Diriehlet problem, 77 Irrotational motion, 54
120 VECTOR ANALYSIS