05tcentennial
VECTOR ANALYSIS
Bicentennial publications
With
structors,
to
be
issued
in
connection
with
the
This
series
of volumes
is
raDuate$ of
respectfully
tfc
dedicated to
VECTOR ANALYSIS^
A TEXT-BOOK FOR THE USE OF STUDENTS
OF MATHEMATICS AND PHYSICS
WILLARD
BY
PH.D.
NEW HAVEN
YALE UNIVERSITY PRESS
BY YALE UNIVERSITY
Published, December, 1901
Second Printing, January 19/3
Third Printing, July, 1916
fourth Printing^ April, 1922
,
1943
PRINTED
IN
from
the publishers.
tise,
the public.
my
YALE UNIVERSITY,
September, 1901.
WILLARD
GIBBS.
GENERAL PREFACE
WHEN
series,
Elementary
For
this reason
my
he wished
me
to feel
and
in the
mode
of treatment.
By
(Teubner, 1894).
My
GENERAL PREFACE
make
Great care
to
so
cations
of the
for reference.
first
part
is
The second
main body of
is
the scalar
has been
made
stood by and
is
It can
quite elementary.
readily be under
especially suited for such readers as have a
GENERAL PREFACE
xi
Chapters
III.
of
vector function
cal
number
complex
been added.
In the treatment of the integral calculus, Chapter IV.,
questions of mathematical rigor arise. Although modern
theorists are devoting much time and thought to rigor, and
vectors, has
And
upon those
Notwithstanding the
facts.
efforts
to
physics the fact remains that they have not found wide favor.
On the other hand there has been a growing tendency espe
Vector Analysis.
"I am
which
now
finish
may
GENERAL PREFACE
x ii
The keynote,
be
and others
must
was Professor
its
practical utility.
He uses it
s point of view in building up his system.
and
in
courses
on
his
Electricity
Magnetism and on
entirely
Gibbs
What
much
subtraction of vectors.
This
is scarcely
enough. It has
been the aim here to give also an exposition of scalar and
pearance of Maxwell
Treatise on Electricity
and Magnetism,
gating questions in
mathematical physics.
may
still
Whether
this
maintain that
GENERAL PREFACE
the vectors themselves.
To
xiii
success
aging sign.
I
and
script.
The good
my
am
work.
also
October, 1901.
my
enough
to
E. B.
W.
TABLE OF CONTENTS
PAGE
vii
GENERAL PREFACE
ix
CHAPTER
1-3
4
5
6-7
8-10
11
12
13-16
17
18-19
20-22
23-24
25
4
6
....
11
....
....
12
14
18
21
...
27
39
CHAPTER
46
51
52
II
31-33
34-35
36
55
58
60
63
67
CONTENTS
XVI
PAGE
ARTS.
37-38
39-40
41-42
43-45
46-47
48-50
51
52
53
54
68
71
75
81
87
....
92
...
101
CHAPTER
97
104
106
109
113
III
58-59
60
61
62
63-67
68
69
70
71
72
73
74-76
77
78
....
VX
V
>
115
120
125
131
133
136
138
147
149
150
152
155
157
159
166
170
172
177
CONTENTS
xvii
CHAPTER IV
THE INTEGRAL CALCULUS OF VECTORS
PAGE
ARTS.
79-80
81
82
83
84
179
THEOREM
STOKES S THEOREM
GAUSS
184
187
91
92
THE POTENTIAL
85
86-87
88
89
90
ENTIATING OPERATORS
"
POT "
A SOLUTION OF POISSON
MAXWELLIANS
211
215
222
230
234
240
96
205
95
197
200
228
is
EQUATION
SOLENOIDAL AND IRROTATIONAL PARTS OF A VECTOR
FUNCTION. CERTAIN OPERATORS AND THEIR INVERSE
MUTUAL POTENTIALS, NEWTONIANS, LAPLACIANS, AND
93-94
193
243
249
255
CHAFIER V
LINEAR VECTOR FUNCTIONS
97-98
99
100
....
101
102
108-104
105-107
108
CONTENTS
XV111
PAGE
ARTS.
109-110
111
112-114
115-116
117
118-119
120
121
122
ANTI-SELF-CONJUGATE
DYADICS.
290
294
....
...
CHAPTER VI
ROTATIONS AND STRAINS
123-124
125-126
127
128
129
130
131
132
332
334
343
339
CYCLIC DYADICS
RIGHT TENSORS
TONICS AND CYCLOTONICS
REDUCTION OF DYADICS TO CANONICAL FORMS, TONICS,
CYCLOTONICS, SIMPLE AND COMPLEX SHEARERS
SUMMARY OF CHAPTER vi
.
CHAPTER
347
351
353
356
368
VII
MISCELLANEOUS APPLICATIONS
136-142
QUADRIC SURFACES
143-146
147-148
VARIABLE DYADICS
CURVATURE OF SURFACES
HARMONIC VIBRATIONS AND BIVECTORS
149-157
158-162
IN CRYSTALS
....
372
392
403
....
411
426
VECTOR ANALYSIS
VECTOR ANALYSIS
CHAPTER
Consider, for
Force to be sure
or
many pounds
grams
magnitude.
said to be
weight; velocity, of so
of
is
as
But
many
them adequately.
Definition
vector is a quantity
which
is
considered
Definition
VECTOR ANALYSIS
Consider
is
line
straight
Let P be displaced
and take a new position
(Fig. 1).
PP. The
ment
it is
1
.
move
f
.
is
PP
the length of
; the direction of
to
the direction of the line
from
is
PP
but of
points
represented by the
magnitude of the displace
in a
all
Let
of one,
all
the
for the
same distance D.
body
rigid
Such a displacement is
and magnitude.
rotation.
possesses direction
called a translation.
When
It
space undergoes
PP
the displacement
point
to
is
also
PP.
The
and
its
head or
is
symbol
num
As examples
3.]
sity,
of scalar quantities
tance,
however,
by no means the
is
distinguishing characteristics, as
its
be
cited.
distance
3,
Magnitude,
own
a time
known
3,
Each has
its
an example of which
to physicists
a work
may
are very
3, etc.,
The magnitude
different.
to
them
it is
all
As examples
all scalars.
The concept
and simple.
two alone
vector.
But
to a rigid
body the
consideration;
And
of vector involves
line in
which
it
acts
must be taken
into
fice.
than force.
in case
it is
is
The mathematical
present
vector,
mathe
matical scalar, pure number, abstracts the magnitude and
Hence one must be on his guard lest from
that alone.
;
just as the
by considering the
VECTOR ANALYSIS
its
For example
it
would
effects as unaltered
by
it
itself.
Thus
interpretation.
must be
scalars
scalar
but
/,
if
n be the index
force,
and
a,
of
refraction
it
the
acceleration,
are
When, however,
vectors.
as
Hence
in this
is
C be the
electric current in
magnitude and
direction,
C may
moving
mass, v
may be
Two vectors
direction.
instances
it
is by no means
invariably followed. In some
would prove just as undesirable as it is convenient in others. It is
Thus
usual sign =.
and B
is
denoted by the
A=B
may
(Fig. 1)
for the
segment
the point
In this
be
P falls
way
all
PP
may
be
moved
vectors in space
may
and
as origin
T.
be replaced by directed
0.
Equal vectors
both
fall
upon T
with
</>,
its
~OT.
three scalars
r,
</>,
the vector.
r~(r,*,0).
Or if #, y9 z be Cartesian coordinates in space a vector r may
be considered as given by the differences of the coordinates a/,
y
of its terminus
and those
r~
#, y, z
x,y
(x
of its origin.
y,z
z).
with the
When two
-(*
,*,
by the
* )
Hence
VECTOR ANALYSIS
A vector A is said
Definition
magnitude A is
Such a vector
equal to
to be equal to zero
when
its
zero.
A is
A=
if
and
is
written
Thus
A = 0.
any considerations
of direction.
or,
thing,
none at
all.
direction
which
finite vector,
is
when
The
this direction
occurs and
when
the product
is zero.
5.]
of algebra
If then A be a
given displace
or
what
is two, three, or in
ment, force,
velocity,
general x
times A? What, the negative of A? And if B be another,
what
is
the
of A and B ?
That
and B taken together ?
sum
equivalent of
is
to say,
what
is
the
to these questions
suggest immediately the desired definitions.
Scalar Multiplication
Definition:
6.]
positive scalar
and
Thus
v
when
direction
its
said to be multiplied by a
magnitude is multiplied by that scalar
vector
its
is
unaltered
is left
is
if
Or
East by North.
be the force exerted upon the scalepan by a gram weight, 1000 times f is the force exerted by a
kilogram. The direction in both cases is vertically down
if f
ward.
If
A be
the vector
and x the
denoted as usual by
x
It
is,
or
and
A is
x.
x (y A)
as in ordinary algebra
mediately obvious
and
(x y)
A=y
arithmetic.
when the
fact
is
(x A)
This statement
is
im
Any
vector
vector a in
its
magnitude
is
unity.
A may
tude.
A=A
The unit vector
by I/A
= a A.
may
A
= ^1 A = -I
A
A
VECTOR ANALYSIS
reverses its
as
A~B
from
magnitude unchanged.
two feet
be A, the stroke
but which
prefixed to a vector
sign,
its
if
a displacement for
is
stroke
The negative
For example
Definition
7.]
is
of motion.
If
" reaction."
The
B A, which
of the
is
Another
A.
Newton s
denote an "action,"
positive sign,
instead of
be taken from
may
same length
B to A
to 5, will be
the right,
Again if the
to the left.
+ may
,
third law
be prefixed to a vec
The two
signs
and
when used
same laws
These are
symbolically
++=+
+- = -;
(ra
The
interpretation
is
=m
A)
+ = -;
= +;
A).
obvious.
The
8.]
may
be treated
line
PP
is
carry
into
parallel to
FIG.
2.
If
into
11
the line
T and equal
P P"
being
to it in magnitude.
P".
The transformation T
direction.
is
now Q
= T.
Thus
S followed
f
by T
carries
PP
into Q".
For
Q Q Q"
the two sides Q Q and Q Q", being equal and parallel to S
and T respectively, must be likewise parallel to P P and
P P" respectively which are also parallel to S and T. Hence
the triangle
Moreover,
is
equal to
P".
That
parallel
is
Q Q"
is
PP".
As Q
ment
is
therefore
translations S and
two
Consequently the
translation.
Moreover
S
if
The
= PP
R
stroke
strokes S and
and T
=P
is
called the
to
which
P", then
resultant
it is
R = PP".
or
equivalent.
sum
This
of the
two
sum
de
is
R=S +
From analogy with
the
sum
T.
is
down.
Definition
The sum
or resultant of
two vectors
is
found
9.]
The order
affect the
in
sum.
".
The
P
P
"
line PP
is
PP".
Con-
VECTOR ANALYSIS
10
P P
ff
and
Pm
lie
at the vertices of
a parallelogram.
pm pn
to
allel
carries
Hence
e q ua l an(J
js
PP.
P"
into
par-
Hence S
P". T fol
P" through P\
T
carries P into P" through
P m The final result is in
ries
into
whereas S followed by
This
by writing
It is to
R=
may be
+T=T+
common
origin
through P.
S.
be noticed that S =
of the parallelogram
designated symbolically
and that
This leads
JL=PP"
to another
sum
of
is
the diagonal
very
two
drawn
common way
of
vectors.
lie
but subtracted
sum
sum
of several
sum
of
may
be found by adding
together the first two, to this sum the third, to this the fourth,
and so on until all the vectors have been combined into a sin-
gle one.
result
is
11
and
that
their
if
strokes
Each point
of space is brought
mechanics
terpreted in
it
back
is nil.
states that
if
any number
In
of forces
The order
sequence.
cent vectors
may
To show
Let
A=
Then
Let now
A, B
= A B, C = B C, D =
B C = D. Then C B C D
1
consequently
is
D = C. Hence
OJ = A + B + D +
D,
= D E.
a parallelogram and
E,
Definition
added
vector
is
said to be subtracted
when
it
Symbolically,
A - B = A + (- B).
By
this
means subtraction
is
VECTOR ANALYSIS
12
no special consideration.
important
way
A = OA, B =
Let
geometrically.
There
Complete
0IT(Fig. 4).
vectors.
agonal 02)
!)
will be the
sum
of
But the
and
is
equal
parallel
segment OD
Hence BA may be taken as the difference to the two
to BA.
This leads to the following rule The differ
vectors A and B.
ence of two vectors which are drawn from the same origin is
and the negative of
B.
the vector
tracted
to
of the vector to be
it
is
sub
sub
tracted.
is
ference of
and
B.
To make
_of
vectors this
may seem
superfluous.
laws are
m
II
III,
n (m A)
= A+
(m n} A,
+
(B + C),
A + B r, B + A,
(m + n) A = m A + n A,
m (A + B) = m A + m B,
- (A + B) = - A - B.
(A
III a
(n A)
B)
These
is
13
It
III a
is
is
cation.
III 6
cation.
Ill,
The
is
it is
suggested that the
out
for
the
sake of fixing the fundamental
reader work them
They
The
clearly in mind.
in the statement
may
be
summed up
scalar
which
justifies
=, +, and
it is
results obtained
also this
by operat
ing with those signs in the usual manner. One caution only
need be mentioned. Scalars and vectors are entirely different
sorts of quantity.
to each other
For
this reason
zero.
VECTOR ANALYSIS
14
coefficients
scalar
unknown
vectors
may
be eliminated or
tions
tions
instance
cC +
aA + &B +
then A, B,
C,
or
D may
dD = 0,
three
as
And two
and
yield
A+ 4B=E
A+
=F
A=3E-4F
B
and
= 3 F - 2 E.
Components of Vectors
13.]
Definition
when
when
parallel
to the
be non-coplanar.
said to
coplanar.
may be
expressed as the
product of a and a positive or negative scalar which is the
ratio of the magnitude of b to that of a.
The sign is positive
Any
when b and
If
then
OA =
to
line
produced in
is
= x a.
(1)
If
15
there
may
Let now
be any point not
that
line produced
the
line
or
upon
in either direction (Fig. 5).
OA.
line
OA
Let
OB = b.
The
it.
vector b
is
OA
and
Let
The vector
to
is
collinear with a
and
is
R is
0~E=0~B + ITR
r = b + #a.
or
This equation
all
"
Flo 5
be any
BE
from
surely
Draw through B
a.
may
(2)
B is
one point.
Any
14.]
a and b
and b
may
This resolution
respectively.
may
and
b,
Hence
r
=xa+
yb
(2)
VECTOR ANALYSIS
16
=x
r2 = #
r = x
rl
their
sum
+
+
+
yl
b,
2/ 2
b,
b.
2/3
r is then
(ft
ft
ft
This
is
sum
sums
components of those
of the
vectors.
each of
its
components must
be zero.
Consequently the one vector equation r
equivalent to the two scalar equations
y\
ft
ft
is
(3)
Any
and
The
c.
may then
resolution
be
accom
plished by constructing
the parallelepiped (Fig.
7) of
are parallel to
c
agonal
FIG.
It.
di
This par-
allelopiped may be
drawn easily by passing
three planes parallel re
c and a through the
origin
b, b and c,
and a similar set of three planes through its
These six planes will then be parallel in pairs
spectively to a
of the vector r
terminus
and
7.
is r.
The
where
and
x, y,
That the
parallelepiped.
which are
parallel to
17
intersections of
a,
or b, or c
a,
b,
is
and zc;
(taken with
length of
and
a, b,
Hence
c.
= #a +
7/b
zc
(4)
is
rx
r2
1*3
Their sum r
1
is
= r + r2 +
l
=x
=#
=X
+
+
2
a +
Z
l
yl b
y2 b
2/3
+
+
z l c,
*2 c
then
F3
a
+ *2 + X Z +
+
+
)!>
(2/i
2/2+ 3/3
+ Ol +^2 + ^3+ "O
0*1
each of
its
three components
is
= 0.
is
zero.
equivalent to
xl
2/i
*i
+
+
+
#2
2/2
*2
+ #3 +
+ 2/3 +
+%+
=
=
= /y
(5)
all
ponents parallel to c
equations reduce to those given before.
VECTOR ANALYSIS
18
Let
=r
=x a+y b+z
x =x
Then
y=y
= (x x a + (y - y ) b + (* - z ) c.
r - r =
For
x - * = 0, y - y = 0, z - * = 0.
Hence
1
c,
But
this
if a, b,
and
were coplanar. In
two
as
= m a + n b.
= #a + y b + s c = (a + m z) a + (y +
= x a + y b + z c = (x + m z a + (y +
r = [(x + m z )
(x + m z )] a,
c
Then
r
r
TI
Hence
But
this
tively to
+ mz =
nz
-f
=y
z) b,
nz)
b,
r in the directions
+ mz
+ nz
linear it
is
applications
(Arts. 18 et seq.).
i, j,
k.
The
is
the rect-
19
This
in Solid Cartesian Geometry.
angular system familiar
distinct
however be either of two very
rectangular system may
types.
8, first
lies
upon
This relation
try.
may be
If the
right,
state-
Z
,,k
Left-handed
Right-handed
FIG.
ment
is
common
8.
in mathematical physics
and engineering.
If
a right-handed screw be turned from the Xaxis to the Faxis it will advance along the (positive) Z-axis. Such a sys
tem
wise. 2
the ^X-plane on which rotation from the ^-axis to the Xaxis is counterclockwise ; and the X-axis, upon that side of
1
By
is
meant.
The
X Y-
0.
plane means the plane which contains the X- and Y-axis, i. e., the plane z
2
convenient right-handed system and one which is always available consists
of the thumb, first finger, and second finger of the right hand.
If the thumb and
first finger be stretched out from the palm perpendicular to each other, and if the
second finger be bent over toward the palm at right angles to first finger, a righthanded system is formed by the fingers taken in the order thumb, first finger,
second
finger.
VECTOR ANALYSTS
20
counterclockwise.
is
Thus
it
F-axis to the Z-
is perfectly symmetrical so
long as the
If
a
is observed.
order
right-handed
cyclic
screw is turned from one axis toward the next it advances
XYZXY
same
The
ative.
upon
clockwise or neg
^X-plane
its
as the
same
In this case,
X YZX Y
is
S3 mmetrical so long
preserved but it is just
If a fe/Mianded
is
Hence
the third.
this
system
is
too,
is
it
screw
advances along
or clockwise. 1
One
metric.
mirror.
is
If the JT-
the
of
the
They
other
as
are
sym
seen in a
image
and F-axes of the two different systems be
little
Which
asmuch
of the
as
slightly in the
all
which
left
hand
just as
a right-handed
The
three letters
i,
j,
21
will be reserved to de
= xi +
The
coefficients
coordinates.
be expressed as
zk.
(6)
y, z
of the terminus of r
y]
may
if its
The components
and
The
rotations about
about k from
By means
to
i,
from
z k.
j,
to k, about
from k to
i,
and
of these vectors
i,
j,
k such a correspondence is
and the analysis in Car
it
intrinsic
meaning
of the formulae.
Applications
*18.J Problems in plane geometry
easily
by vector methods.
Any two
may
which
may
be solved
non-collinear vectors in
the plane
all
may frequently
may
be expressed.
Often
it
is
The
origin
possible
to
VECTOR ANALYSIS
22
the
same
The
method
is
about
with differ
onal (Fig.
Let
9).
A BCD
BE
be the parallelogram,
the line joining the
vertex B to the middle point
of the side
AD, R
diagonal
is
A R is one third of
origin, A B and AD as the
To show
C.
Choose A as
two fundamental vectors S and T.
Then
the sum of S and T. Let AR = R.
To show
AC.
FlG 9
AC
R=
(S
T).
where x
is
the ratio of
R=y
And
where y
ER to EB
is
(S
an unknown
AR
scalar.
T),
to
AC
to be
shown equal
to.
Hence
or
x (S
-i
* S
(1
T)
X) T
=y
(S
=yS+
T)
T.
2 (1
- x) = y.
y
x
as
is
also
23
must be
trisected as
A C.
be
Let
ABC be
as origin,
and
the triangle,
A B and A C as
2.
it.
Choose
S
two
fundamental
vectors
the
Let
T.
AR = R = w S +
m
parallel to
is
the fraction of
tion (1
A B which is
A C. The
AC
T.
(a)
remainder of
m) S. Consequently by
7i
A C itself is
A B to the
to the line
(1
Next express
n ).
(1
R=
Hence (m
line
+ ri) S
through
is
(m
ri)
is
B C.
- m) +
(1
of S
and T
S the
+n
the fraction of
parallel to
(1
R in terms
ra).
AB
line
(T
- S).
A B which is
Consequently by similar
BC itself is (m + n).
- n) +
(m +
ri)
tri
Adding
= 2,
proved.
Let
and
A B CD
be a parallelogram,
a point within
respectively to
it,
KM
AB and
VECTOR ANALYSIS
24
AD,
the points K, Z,
M,
N lying
upon the
sides
DA, AS,
KN
B C, CD respectively. To
KRND
R=
and
P be the
let
AB = m S
KN with LM.
point of intersection of
KN=KR + BN = m S +
Then
=(1 -m)
7i
(1
rc)
T,
T,
= n T + x [m S + (1 n) T],
P = m S + y [(1 - m) S + n T].
Hence
and
Equating
coefficients,
By
4- ft T,
solution,
m=m+
;
m+
~
m)
(1
m
m+
P^-^-^S +
T),
is collinear with A C.
Problems in three dimensional
geometry may be
essentially the same manner as those in two dimen
19.]
solved in
sions.
terms of which
solution
is
Two
The co
In this
efficients of the
25
way
bility as
method
in
Example 1
point within
Let
A B CD
a tetrahedron
be
and
any
it.
show
PA
PB
PC
PD
"
A~A
Choose
TTB
as origin,
~C~O
AD
A =AA =AB+
Also
The
= A P=IE + raC +
vector
B.
BA
Hence
^1
coefficients
Hence
(C-B)+y (D~B).
m = xv
1
Jc
&.,1
=
I
and
PA _ JL-1
PA*
ZZ ~~&
7
WC =
A =B+
Equating
BA
D,
B and
C
coplanar with
in
of
be
terms
them.
may
expressed
is
it
7i
+m+n
"
^7
as the
A P be
BD
VECTOR ANALYSIS
26
A B = # 2 C + y2 D
A B = ^t + B B = B + & 2 (P - B).
C + y 2 D = B + 2 (ZB + mC + ^D-B
2
= 1 + *, (J - 1),
In like manner
and
Hence
o;
and
A:
Hence
-i
__
and
In the same
Adding
way
may be shown
it
PC
.PL
CC*
3D
that
JL vn
<w
-4-
is
^ _L 7 J_
-I-
77
Let
Any
point
P of A B may be
P= OP=
Any
point
If the points
are collinear
of
0~A
That
is
= ~OC, D=d~D.
expressed as
= A + x (B- A).
+ xA
CD may likewise
P and Q lie
Choose
in the
be written
same
line
through
0,
P and
Before
it is
vectors
Then
Tf
&
=A+
(1
_1_
- A)
x (B
_J_
Tl
_1_
1
x=zy
x = zy m,
Hence
=z
[1
Hence
y (n
Substituting in
P and
= i-
I^^T
/,
- 1)J.
_________
+m
ft
I
ft
Either of these
>w
and cutting
27
A+ m B
+m
may
A B and
CD.
Example 1
20.]
To
divide a line
the terminus
ratio
= ~OP of
divides
AB
-f-
is,
as
= B.
which
in the
B
FIG. 10.
n.
m
That
in a given ratio
(Fig. 10).
To
AB
B=A
(B
- A).
7i
=nA+ mB
n
(7)
VECTOR ANALYSIS
28
The components
of
the line
AB
parallel to
AP
and
to the segments
divided by the point P. If
PB
it
into
which the
A P / PE
ratio
A B is
line
P divided
would be nega
Example 2
To
medians
of a triangle.
at random.
Choose the origin
Let A BC be the given
= A, ()B = B, and "00 = C. Let A ,C
triangle. Let 0~A
be respectively the middle points of the sides
opposite the
f
vertices A, B, (7.
Let
be the point of intersection of the
medians and M =
the vector drawn to it.
Then
and
~< = B
that
has been chosen outside of the
plane of the
so
that
C
are
B,
A,
triangle
non-coplanar, corresponding coeffi
Assuming
cients
Hence
Hence
may
be equated.
= 9y
M =4 (A + B + C).
to the
sum
of the vectors
drawn
is
29
equal
to the vertices.
A +mB
m+n
M=~(A
and
This
is
+B+
C).
by vector
between the
some
cases,
other cases the generality obtained by leaving the origin unspecialized and undetermined leads to a symmetry which
remember.
: The
necessary and sufficient condition that a
vector equation represent a relation independent of the origin
is that the sum of the scalar coefficients of the vectors on
Theorem
sum
is
be zero.
latter
form be
must
VECTOR ANALYSIS
30
to
by adding a constant vector
origin from
The equation
to each of the vectors A, B, C, D ----
Change the
B = OO
then becomes
a (A
4-
B) +
If this is to be
must vanish.
That
is
(B
B)
+ B) +
(C
d (D
+ R) +
Hence
two examples
cited
obvious.
if
m+
m+
l
M = \3 (A
If
*
21.]
m+
f B
C),
sufficient
and
of the scalar
be equal in magnitude
in direction.
aA
First let
and
It is of course
vanish.
+ 6B =
+ 6 = 0.
the
sum
a and
first.
-&A +
Hence
coefficients
6B
A=
B.
= 0.
if
the equation
subsists
31
A-B =
The sum
between them.
of the coefficients
is zero.
aA + 6B +
First let
and
cC
+ c = 0.
or
C and
is
which
A=
00
terminate in a straight
line.
Then
the
AB = B - A and A~C = C - A
are collinear.
subsists.
Hence
The sum
the equation
of the coefficients
is
the same.
an equation,
zero, subsist
is
by
VECTOR ANALYSIS
82
First let
and
if
origin
+ 6B + cC + dV =
a + b + c + d = Q.
- A) = 6
d (D
or
The
AD
line
is
termini A, B,
(7,
(A
of A, B, C,
= D - A, ~AC = C - A,
One
planar vectors.
the other two.
/
where
/,
(B
of
C,
C).
Hence
all
four
and ~AB
=B-A
A)
+m
(C
- A) +
n (D
scalars.
are co
in terms of
- A) = 0,
The sum
of the coeffi
zero.
(A
Let A,
in
lie
Then AZ)
A B and A C.
coplanar with
- B) +
C,D,E be the
five
sum
Form
the
given vectors.
differences
E-A,
E--B,
E-C, E-D.
(E
The sum
1
A) +
(E
- B) + m
(E
- C) +
(E
- D) =
0.
is zero.
33
Example
If a line
1:
triangle, the line which joins the opposite vertex to the inter
section of the diagonals of the
ABC
Let
be the triangle,
ED
pezoid
tion of
that
EB
and
CBDE,
AG
DC
of the tra
and Fthe
bisects
CB.
origin at random.
intersec
To show
with CB.
FI(J
Choose the
Let the vectors drawn from
it
to the
Then
Clarendons as usual.
lel to
CB,
E-D
holds true.
it
since
ED
is
by hypothesis paral
the equation
The sum
should be.
=n
(C
- B)
of the coefficients
Rearrange
the
is evidently zero as
terms so that the equation
nC =
"D
7i
B.
The vector E
n C is coplanar with E and C. It must cut
the line EC.
The equal vector D
7&B is coplanar with D
and B. It must cut the line DB. Consequently the vector
represented by either side of this equation must pass through
the point A.
Hence
7iC
=D
?iB
= #A.
VECTOR ANALYSIS
34
By
Hence
n.
=D-
(1
- w) A.
E+
Subtract the
first
=D + 7iC=
7i
cuts
vector
n)Qt.
second
equation from the
n (B + C)
This
(1
EC
(1
n) G
and AQ.
(1
It
- n) A.
must therefore be a
n (B + C)
Hence
(1
+ )G F
Hence
(1
A=
2 nf.
Example %
To determine
from the
first.
plane.
Let the line be fixed by two points A and B upon it. Let
be any point of the line. Choose an arbitrary origin.
The
vectors A, B, and
P terminate
in the
aA + 6B
a + I + p = 0.
and
,
Therefore
=
a
same
line.
Hence
be replaced by x and
They may
more generally
35
Then
to represent variables.
y,
The
vectors A, B, C, and
Hence
6B + cC
+ c+p = Q.
aA + 6B + cC
P=
a
and
Therefore
-f c
As
a, 6,
c,
+
Example 3 ;
The
line
x,
which
it is
more
z.
joins
two diagonals
CD
A B meet
Let
of a quadrilateral.
and
in a fifth vertex E,
BC
meet
AC
BD
intersect in
that
FG
G.
and
by E.
2?" in the
That
is
to
and
12
To show
AB
intersects
AD
AB
same
in a point
and
i" and
(7I> are
CD
in a point
divided internally at
cross ratios
VECTOR ANALYSIS
86
Hence
plane.
and
+e+
= 0.
two terms
Separate the equations by transposing
a
Divide
+c=
+c
aA + d D
F=
In like manner
a + d
(a + C )G
(a + d)F "
Form:
+
c)
(a + d)
(a
(a + c)Q
(a + rf)F
a
or
+d
6B + cC
b + c
b
__
cC
(a
Hence
d)
+
c +
(a
c)
aA + EB _
di
cC
d).
6B +
cC
(b
cC
-f b
(6)
2? divides
AB
in the ratio a
ff
c / d.
ratio
same
externally in the
ratio.
Which
of the
two divisions
is
internal
of c
of division is
and
E may
Example 4
By
E;
-
if
opposite signs,
be shown to divide
To
1
.
In a similar way
A B harmonically.
of points
it is
and straight
is
meant a
figure
composed
number
of points all of
which
manner.
lie in
one
37
plane.
all
the
lines
Next draw
of points
all
pairs
and so
on.
to
commence
is
with.
now be drawn in the figure. These cut out six new points.
From these more lines may be obtained and so on.
To treat this net analytically write down the equations
=
and
+b+c+ d=
(c)
From
these
it is
possible to obtain
Tjl
+ dD
c + d
Z>B + dD
A + 6B
a + b
A + cC
a + c
A + dJ)
a + d
cC
+d
&B + cC
b + c
b
dividing. Next
four vectors such as A, D, E, F may be chosen and the equa
tion the sum of whose coefficients is zero
may be determined.
by
This would be
aA + dV +
(a
b)
By
E-f
(a
c)
= 0.
VECTOR ANALYSIS
38
H=
1
A + dD
a
aA +
(a
(a
+ (a +
2a + b + c
6)E
ft)E __
<?D+
a
4- c
+
+
(a
(a
c)F
+ c)F
+d
6)
The
of Quaternions,"
Book
I.
As
remaining
The
pairs.
similar to
five vectors
five points.
the
sum
of
that in the
This equation
coefficients is zero.
then
=
a
+ 6B
+b
A + cC
a
cC
new
points
may be
may thus
+ dD +
+d+e
6B + dV +
b
39
Centers of Gravity
*
The
23.]
center of gravity of a
system of particles
may
2.
is
and B.
given by
to
The
three points
-4,
masses a and
mass a
B,
C may
may
b situated at the
TT
Hence
= (a +
situated at the
2.
The
Then
a, J, c
A + &B
a + b
"
6)
A + 6B
a
-f-
= aA-h&B-f-cC
a
-f b
VECTOR ANALYSIS
40
number of masses
Evidently the center of gravity of any
at the points A, B, C, D, ... may
a, &, c, d, ... situated
The
aA +
+ cO + rfD +
+ b + c + d + ...
The
lines
which
is
...
ftB
Theorem 1
result
Let A, B,
Join A, B,
ter of gravity.
to
G and
they intersect
A B\ C
To show
respectively.
that
the areas
G B C G CA G A B A B C =
:
The
last
proportion between
ABC
first three.
and a
It
is,
+
b
c.
comes
however, useful in
the demonstration.
Hence
ABC AA
GBC~ GA!
ABC
GBC
In a similar manner
and
AG
CTA
a
GA
G~A
b
f
1.
BCA
GCA~
CAB ~_
GAB
~~c
41
D be
Let
-4,
B, C,
A B\
G\
To show
that
BCDG:CDAG:DABG:ABCG:ABCD
BCDA
BCDG
In like manner
and
and
ABCD
By
J, c
lo
PAB
an
set of masses a,
which
&,
may
be found, but
differ
VECTOR ANALYSIS
42
a, 6, c
may
points
therefore be looked
ABC.
the triangle
inside of
as coordinates of the
upon
To each
set there
number
corresponds an infinite
however do not
differ
ABC
of the triangle
which
of sets of quantities,
of proportionality.
To
there
of the plane
one
may
of gravity of the
negative weights or masses. The center
and
1 situated at the points
masses 2 and
respectively
would be a point G dividing the line
externally in the
A
AB
ratio 1
That
2.
is
AB
Any
any point
a, b
of the
plane
suitable set of masses a, 6,
ABC.
Inasmuch
ABC
may be
represented by a
if
portant two
The
Calcul" in 1827.
point of
modern
This
analytic geometry.
The conception
in nature
may
of negative masses
may
GO
GAB
a point
P is
ABC,
of these areas
is
the
common
the bases.
to the
vertex
The
sign
a triangle is said to be
the vertices A, B, C follow each other in the
The area
Definition:
positive
ABC
43
when
positive or counterclockwise
of
direction
upon the
circle
de
A CB = BA
If
P be
= CBA = -A B C.
PAB+PBC+PCA=ABC
must
The same
hold.
be outside of the
The
respectively.
these
may
the masses
is
here
As
this
may
Definition
to be positive
VECTOR ANALYSIS
44
modeL
A plane
difficult to see
from
it
it is
ACBD = CBAD=BACD=DBCA
The
sible
number
as that of
If
is
of interchanges
A B CD ;
if
is
odd, opposite.
is
the same
Thus
A B CD
the
equation
ABCP-BCDP+ CDAP-DABP=ABCD
P
and more
to one
easily
number.
remembered by transposing
all
the terms
Then
The
if
BCDG:CDGA:DGAB:GABC:ABCD
45
center of gravity. If
or
be regarded as masses some of which are negative
four
as
numbers
ratios
determine
better
whose
merely
perhaps
still
A B C is
origin to
any
(page 35)
aA + yB + zC
x + y + z
Comparing
this
aA + &B + cC
a + b + c
it
more nor
less
wD
__#A + yB + 2C +
x
+z+w
same
origin, it
may
+ &B + c C + rfD
+b+c+d
x, y, 2, w are precisely
a
that the
four quantities
the bary
AB
the tetrahedron
It
it
may
VECTOR ANALYSIS
46
that the origin
may
be
left
The
their termini.
vector equations
A + y B 4-
+
xA + yB + zC + wD
w.
x + y + z
x
and
"
25.]
An
is
Grassmann.
Areas
denote
to
of
PQR
and
when
PQR
letters
MN
plane
follow
the
each
At
or positive order;
when
they
follow
negative,
in the
boundary
is
supposed to be traced
PQR;
and
PR
is
to
which
some point
its
out
negative relative to
negative relative to the
is
same area viewed from a point O upon the side of the plane
A circle lying in the F-plane and described
opposite to 0.
f
from every
axis
point on that side of the plane on which the positive
lies, but negative from all points on the side upon which
lies.
For
47
view
must
be
boundary
kept
of description of the
clearly in mind.
definition
is
as follows
If
hand
will lie
other.
To one
it
and the
left
hand
of the
to the
other, negative.
seems positive
of one
is
called the
positive
side
the side
upon
which
appears negative, the negative side. This idea is
familiar to students of electricity and magnetism.
If an
it
A plane
is
areas
a vector quantity.
Theorem 1
magnitude
direction
is
is
If a plane area be
MN
Let
M N&nd M* N
inter-
VECTOR ANALYSIS
48
sect in the line
and
MN
first
and perpendicular
rectangle
will be equal
will be equal
to the line
/.
At
FIG. 15.
Hence
respectively parallel
equal
to
and perpendicular
to
is
by the
From
area which
is
of the angle
any area
is
projected into an
by the cosine
A may be
di
I.
49
MN
f
MN
A =A
1
The
relation
cos x,
Definition
said to be
Two
added when
added.
A vector
area
is
consequently the
sum
of its three
com
ponents obtainable
be resolved into
may
A generalization
oblique exists.
surface made up of several plane areas may be repre
sented by the vector which is the sum of all the vectors
is
solid,
not into it
4
VECTOR ANALYSIS
50
Theorem 2
surface
is zero.
This
fluid
may
assumed
cluded. 1
pressures.
surface
to be free
from
all
other.
these forces
must be
and normal
to
it.
the
is
covered twice, once with positive area and once with negative.
These cancel each other. Hence the total projection of a
which the
it
may
51
whose number
Hence the
may
is
when
the limit
number
the
of faces
becomes indefinitely
great.
SUMMARY OF CHAPTER
is
parallel to itself.
nitude
multiply
its
unchanged.
is
one whose
mag
To
zero.
is
tion,
same
parallel to
The components
= x* + yb +
This resolution
zc.
(4)
method
in
which
VECTOR ANALYSIS
52
may
Cartesian coordinates #, y,
z.
is
= xi + yj+zk.
(6)
The
Applications.
ratio
m+
The necessary and
(7)
If the
sum
exists
of the coefficients
is
coeffi
termino-collinear.
masses
A, B, C
The center
situated
a, &, c
gravity of a number of
at the termini of the vectors
of
common
origin
is
vector
may
If the area is
is
zero.
EXERCISES ON CHAPTER
1.
A triangle may be
I
12.
parallel
The
six points in
53
by three
common
Find the middle point of the line which joins the middle
Show that these two points are
points of two opposite sides.
the same and coincide with the center of gravity of a system
of equal masses placed at the vertices of the quadrilateral.
6.
If
two opposite
two quadrilaterals
lie
The
meet in a
point.
If the
any
A complete quadrangle consists of the six straight lines which may he passed
through four points no three of which are collinear. The diagonals are the lines
which join the points of intersection of pairs of sides
1
VECTOR ANALYSIS
54
point
and
is
10.
E and
is
such that
PE passes
through
bisected by
Show that without exception there exists one vector
C,
D.
efficients in
each of which
is zero.
CHAPTER
II
THE
Two
Vectors
and
scalar
applications.
new combinations
now becomes
tween them.
The
direct product
is
A-B.
This
is
read
dot
B and
therefore
may
definition
A-B = ^cos
(A,B).
(1)
A-B = B
A.
(2)
VECTOR ANALYSIS
56
If either vector be
That
(x A)
=A
is
is
(x B)
= x (A
B).
product of a vector by
itself is therefore
of its length
A.A=^4 2
if
Consequently
vector
is
when they
The
are opposite.
a null vector.
Conversely
Hence
if
either
or
A B
vanishes, then
A B cos (A, B) = 0.
B or cos (A, B) is zero,
which vanishes,
28.]
vectors
The
i, j, k
is
A B=
is null.
Thus
the
vectors, neither of
0.
fundamental unit
are evidently
ii = jj = kk =
i
If
=k
l,
(4)
= 0.
product
a
= cos
(a, b).
57
For
it.
this reason
it
follows
by the length
of either
From
upon
it.
by
The
scalar product of
two vectors
examples
vector
may
The
be cited.
whenever the
will appear
of importance.
projection of a
The following
vector B upon a
is
AB A = AB A a cos
A A
where a
is
is
(A, B)
= B cos
(A,
B)
a,
If
(5)
is itself
(A-B) A
If
by the force
cos
(A,B) A.
a displacement the
is
B.
work done
If
repre
uct
A B
of
will be the
volume
is
of the cylinder
the
base and of
FlG
the projection of
v
B upon A
or
= A h = A B cos
(A, B)
=A
B.
Hence
VECTOR ANALYSIS
58
The
29.]
That is
law of multiplication.
(A
This
B) .C
magnitude
tion.
To show
(A
or
B)
(A
=A
c = A
B)
(A
c,
equal to the
is
The
+B+
is
...)
and
then
(P
c.
sum
c.
B
But
;
c,
that of
no peculiar
i, j,
of the projections.
If in particular
,A^,A 3
lines
<ey
2 j
i
+ ^k)
A-* = A
l
Hence
terms of the
as
By means
difficulties.
are expressed in
A = ^[ 1 i + ^ 2 j + ^ 8 k,
B = ^ i + JB2 j + B k,
A- B = (A i + A z j + A B k) (^i +
= A B i i + A 2 i j + A B%
l
B upon
A and B
k
direc
B. (0o)
may
It has
two vectors
upon
its
By an immediate generalization
proved.
scalar product
nary algebra.
If
A + B upon
that of
(0o)
c + B
(<7c)
c is the projection of
B)
(6)
sum A + B
B.C.
to its
(A
= A-C +
and
A and B
+ A2 E, + A B JB,.
B 19 S29 SB
are
vectors, their
(7)
components
referred to X, Y, Z.
= cos (A,
.# 2 = cos (B,
A<i
A B
Moreover
is
A z = cos
= cos
3
F),
T),
59
(A, ^f),
(B,
).
Hence
= cos
(A,
X)
cos (B,
X) +
+
A and B
In case
known
cos (A,
cos
T) cos
(A,)
(B,
T)
cos (B,Z).
relation
= cos
X) +
cos (A,
cos
Y) cos
(A,^)
cos
F)
(B,
(B,)
A and
line
If
30.]
the line B.
and
OB
side
AisG = -B-JL
of a triangle
OAB,
the third
PlG 17
(Fig. 17).
or
That
sum
upon
If
it
and D
=A
= (A +
Then
or
=A+
B).(A +
VECTOR ANALYSIS
60
sum of
That
is,
the
gram
is
C*-D = 4A
2
or
That
is,
is
it.
i,
A = A i + A 2 j + A B k,
A A = A* = A* + A* +
j,
as
then
But
if
vectors
A*.
(8)
a, b, c
A = a? +
2
This formula
is
2 J
2 a b cos
bc +
(a, b)
+
+
2 b
cos
2 ca cos
(b, c)
(c,
a).
D2
31.]
is
- x^ + (y a - yi 2 + (z 2 - zj*
+ 2 (a, - xj (y a - 2/0 cos (X, Y)
+ 2 (yt - ft) (,-*!> cos (F.S)
+ 2 (z 2 -24) (x 2 - xj cos (^,-T).
(* 2
Definition:
the vector
normal upon
of the vector
into
is
61
angle from
The
which
sine of the
to B.
direction
an
and B by the
of
A x B may
ordinary right-handed
it turns so as
screw advances as
c= AXB
to carry
C =A
and read
product.
More
cross B.
For
FIG. 18.
x B
uct,
owing
trast
when
where
by
x B
definition
= ^J5sin
(A,B)c,
and
c is
=A
is
is scalar.
(9)
respectively
and
C.
In case
and
unit vector c
A) X B
If
=AX
(zB)
= xC.
between them
is
either zero
A B sin
(A,
B)
= 0.
VECTOR ANALYSIS
62
B or
Hence
or
itself vanishes.
32.]
of
two vectors
will appear
wher
and the
common
seen
cross.
At
later.
may
be cited.
If
and B
of a parallel
=A
x B
= A B sin
(A, B) c
and
X B
common
of such
the product
(Art. 51).
of rotation
AX&
This velocity
and
is
63
same.
AxB = -BxA.
be
(10)
interchanged if
and only
is
if
sin (x
y),
cos (y
Again
x)
y)
x)
= cos
y).
ABC in the
area of a
AB C = -ACB.
when
will
The
distributive
it is
is
reversed,
as
necessary.
except
VECTOR ANALYSTS
64
that the
carefully maintained
be
when expanding.
is
and B be two
(A + B)
Then
in order.
Form
which
will be the
the prism
and
4
FIG. 19.
is
prism are
Ax
The
C,
B x
(A
C,
-f
B)
C.
is
(A x B) and
- - (A
B).
or
The
is
Hence
a closed surface.
+BX
= (A +
B) X
0,
C.
(11)
relation is therefore
and
B.
that plane.
A X
(C
Hence by
D)
(11)
+B X
(C
D)
(A
B)
(C
D).
65
+ B) x D.
AxD + BxD = (A + B)xD.
AxC + BxC = (A + B)xC.
But by (11)
Hence
B) x C
(A
The
The
(A + B+---)x(P + a +
distributive
generalization
= AxP + Axa +
---)
+BxP+B
<J
The
ixi = jxj =
---
(11)
law holds
immediate.
is
i, j,
k are
kxk = 0,
ixj=-j xi = k,
jxk = k x =
kxi = ixk=j.
(12)
i,
A x B = (A
+ -4 + ^ k) x (^i +
+ 3*)
= A ixi + A B ixj + A BzixTt
x k,
x + AZ B
+ A 2 j x + AI
+ A S k x + A BZ k x j + A B k x k.
A x B = (A^B^ - A
+ (A Z B -A,BB )j
- A BJ k.
4- (A,
z
l
2 j
Hence
2j
2j
B j
2)
factors
is
reversed.
Hence
Xj=
Xj=0.
5
is
VECTOR ANALYSIS
66
This
may
Ax B =
The
sum
or dif
j-plane.
= cos x +
cos y
Hence
cos (y
cos
Hence
/,
m,
7i
= cos
(sin y cos
y.
x).
sin y sin
x.
(y
x),
sin x cos y.
y cos x
b ) = k sin (y + x)
k (sin y cos x + sin x cos y).
sin (a,
sin
(y
= k sin
and
x),
x sin
sin (a, b)
ax
x)
(y
sin
+
+
sin
sin (y
= cos
cos y cos x
j,
cos (a, b
x)
j,
axb
sin (y
Hence
If
x b
x b
sin y
sin y sin x.
cos y cos x
sin y j,
cos y i
a.V:
(y + x)
a
sin
cos x cos y
Hence
i -f
cos (a, b)
x)
If
and y the
i,
then
i,
makes with
TI
y cos x
sin # cos y.
JT,
F,
= li + m + k,
m
= cos (a, a ) = IV + m m +
a
two
then
7i
shown
in Art. 29.
be found.
The
nn
familiar formula
= sin
x a
(a,
= (mn
+ (Jm -f m)
where
x a
sin 2 (a, a )
(a
x a
= (mn
(72
+ w2 +
7i
(V*
= sin (a, a
m n)*+ (nl
2
way
(n
I) j
k,
(a
ri) i
67
and a
= sin 2
2
/)
(a,
+(lm
).
I
m)*.
+m
+n
(ll
*)
Two
+ mm + n n
Vectors
Up
is
The
scalar product of
(A-B)
C.
^n
way
Later (Chap. V.) the product BC, where no sign either dot or cross occurs,
But it will be seen there that (A.B) C and A-(B C) are identical
and consequently no ambiguity can arise from the omission of the parenthesis.
will be defined.
VECTOR ANALYSIS
68
The second
37.]
two
vectors, of
triple
which one
product
is
A-(BxC)
or
(AxB>C.
uct.
deduced from
easily
perhaps most
its
commonest
from
same origin
the
Then BxC
B and C
allelogram of which
scalar
BxC
is
This volume v
side of the
sides.
is
B C-plane
(14)
of the parallelepiped of
positive
;
A and BxC
is
which
if
lie
but negative if
if A, B, C form a right-handed or
In other words
The
sides.
volume
(Fig. 20).
the area of the par
two adjacent
are
is
but
if
is
posi
it
negative.
volume
piped must
is
cient condition
for
of which vanishes
the coplanarity
is
A-(BxC)
= 0.
collinear
are A, B, C.
cases.
The sign
of the
Hence
(AxB) . c
volume
=A
(BxC)
is
= ,.
(14)
and
may
the cross in
a scalar
muted
The dot
be interchanged
may be
per
= B-(CxA) = C-(AxB).
A-(BxC)
For each
same
69
sign, because if
volume
A is
(15)
upon the
B C-
plane,
= B-(CxA) =: C.(AxB)
= (AxB)-C = (BxC)-A = (CxA)-B
A<BxC)
If
however the
product will
= - A<CxBV
BxC
CxB.
word
permuting
of the
38.]
in
(16)
may
Hence
changed the
change sign.
A-(BxC)
This
(35)
biguity
They
is
can.
The expression
A-BxC
can have only the one interpretation
A<BxC).
For the expression (A-B)xC is meaningless. It is impos
form the skew product of a scalar AB and a vector
sible to
VECTOR ANALYSIS
70
Hence
C.
as there
is
symbol
[ABC]
to denote
[A B C]
then
(16)
The
all
vectors.
[ijk]
Hence
if
= _[ikj] = l.
(17)
three vectors A, B, C be
expressed in terms of
i, j,
as
= ^ i + A, + 8 k,
C = C i+C 2 + C 3 k,
then
This
tions
may
[ABC]
=A
C3 +
C2 A.+
be obtained by
actually performing the multiplica
which are indicated in the
The result
triple product.
may
[A B C]
1
This
is the formula
given in solid analytic geometry for the volume of a
tetrahedron one of whose vertices is at the
For a more general formula
origin.
see exercises.
more generally A,
non-coplanar vectors
vectors,
B,
a,
A=a
= &!
C =c
where a^ # 2
stants,
#3,"
71
+
+
a2 b
&2
c2
+
+
J8 c
ftp & 2 ,
then
[A B 0]
= (a
&2 C B
+
[a b c].
[A B C]
or
The
39.]
of
[a
of
which one
is
(19)
two vectors
be]
is
are
Ax(BxC)
where x and y are two
vector
= x B + y C,
scalars.
lie
in the plane of
(AxB)xC
where
= ra.A +
scalars.
nB
From
in general
(AxB)xC
The
parentheses
changed.
It is
is
not equal
therefore
essential to
to
Ax(BxC).
cannot be
removed or
know which
cross
inter
product
is
VECTOR ANALYSIS
72
formed
first
This product
is
termed the
The
ponent of a vector
B which
may
is
A.
AXB
Let
AXB*
components of B
parallel
and per-
(AXB)
2i
perpendicular to the
Ax (AxB) lies in the plane of
is
Hence
perpendicular to A.
A
it
and
is
B.
be
It is furthermore
An
Ax(AxB)
where
c is
some
Now
but
if
cB",
scalar constant.
= - A* B sin (A, B) V
- c B"-^= - c B sin (A, B) b",
Ax (AxB)
Hence
Hence
B"
A2
=-
A* A.
Ax(AxB)
to
(20)
has been expressed
component B
parallel to
and
B.
to be
The
=B +
=?A
B
73
(21)
AA?A-^>.
AA
(22)
40.]
as the
Ax(BxC)=A-C B-A-B
In the
first
By
when two
equation (22)
= A-B A - Ax(AxB)
Ax(AxB) = A*B A - A- A B
A-A B
or
of the
(22)
(23)
This proves the formula in case two vectors are the same.
To prove it in general express A in terms of the three
non-coplanar vectors B,
C,
and BxC.
A = bE +
where
Ax(BxC)
The vector product
(23)
a (BxC),
of
(I)
Then
= SBx(BxC) +
+
By
cC
cCx(BxC)
(II)
a (BxC)x(BxC).
any vector by
itself is zero.
Hence
(BxC)x(BxC) =
Ax(BxC) = 6Bx(BxC) + c Cx(BxC).
Bx(BxC) = B-C B - B-B C
By
A-C
Art. 37
Hence
(II)
(II)"
VECTOR ANALYSIS
74
Ax(BxC)
The
It
relation
is
= A.C
- A.B
C.
(24)
of the
Ax(BxC)
Since
it
Ax(AxC)
by A
is zero.
is
= #B +
yC.
Hence
A-[Ax(BxC)]
a;
+ yAC =
A*B
= A*C AB.
=
n (A-0 B - A-B C),
Ax(BxC)
x :y
and
Hence
where n
is
a scalar constant.
It
remains to show n
1.
Multiply by B.
cross.
C-B).
Hence
B be
inverted.
= -A-[B.C B-B.BC]
= B-C AB + B-B AC.
A-B C.
Ax(BxC) = A.C B
-A-[Bx(BxC)]
Hence n
=1
and
(24)
As
Ax(CxB),
two
factors is
(CxB)xA,
(BxC)xA.
75
(AxB)xC
The
= - Cx(AxB) = - C-B A + CA
B.
Ax(BxC)
and
(AxB)xC
= A-C
= A*C
- A.B C
B - C-B A.
B
(24)
(24)
vector triple product first multiply the exterior factor into the
remoter term in the parenthesis to form a scalar coefficient for
the nearer one, then multiply the exterior factor into the nearer
As
41.]
and
to
form a
scalar
coefficient
for
the
duct
ABxC.
To
is itself
(AxB>(CxD).
Let
this
vectors A, B, and
AxB-(CxD).
Interchange the dot and the cross.
VECTOR ANALYSIS
76
= A-Bx(CxD)
Bx(CxD) = B-D C - B-C D.
(AxB>(CxD) = A-C B-D - A-D
AxB.(CxD)
Hence
This
may
B.C.
(25)
(25)
(scalar)
To reduce
is
(AxB)x(CxD).
Let CxD = E.
(AxB)xE
Substituting the value of
(AxB)x(CxD)
Let F
= AxB.
= A-E
E back
- B-E A.
(A-CxD)B
(B-CxD)
By
A.
(26)
Fx(CxD) = FD C F-C D
(AxB)x(CxD) = (AxB-D)C - (AxB-C)
all
D.
(26)
[B C D]
This
A-
[C
D A] B + [D A
B] C
[A B C] D
- 0.
(27)
11
tion,
which
exists
triple
products of
also
[A B C]
D = [B C
More examples
D]
A+
[C
D] B
[A B D]
of reduction formulae, of
C.
(27)
cross at most.
analyzing the
of
and
vectors
combinations
possible
showing that they all
fall under the reduction formulae in such a way that the
crosses
may
one remains.
*
The
and
(25)
(26)
VECTOR ANALYSIS
78
A C)
AB,
and
etc.,
and B,
give the angles between the vectors A
a
The points A, B, C, determine quadrilateral
C, etc.
AC
and
BD are
AD
B-D
- A-D
one
AB
(AxB).(CxD)
AxB = sin
CD
= A-C
(A, B),
CxD
the
Let
it
be denoted
Then
x.
(AxB). (CxD)
The
is
FIG. 22.
by
B-C
angles
circular arcs
= sin
AB, CD
cos
BC.
Hence
sin
A B sin CD
cos x
= cos A C cos B D
cos
AD cos B C.
is
of the
theorem
is
This
credited to Gauss.
FIG. 23.
respectively.
let
pa p b pe
,
-A,
B, C.
(AxB)-(CxA)
= sin
(AxB)
Then
(A, B)
(AxB) (CxA)
c,
to the sides a,
- B.C A-A.
(CxA) = sin (C, A) = sin
= A-C
= sin
-4, J9,
79
6,
B-A
= sin c sin
6.
b cos #,
This
angle between AxB and CxA.
angle is equal to the angle between the plane of A, B and the
which
plane of C, A. It is, however, not the interior angle
is one of the angles of the triangle
but it is the exterior
where x
is
the
angle 180
Hence
(AxB). (CxA)
AC BA
By
= cos 6 cos c
cos 6 = cos c cos a
cos c = cos a cos 6
cos a
The
last
letters or
sin a cos
A
B
= B-A C B - C-A,
(CxAHBxC) = C-B A.C - B-C.
(BxC).(AxB)
Next
cases in
(AxB)x(CxD)
is
in the special
repeated.
(AxB)x(AxC) = [A B C] A.
Let the three vectors
a, b, c
BxC, CxA,
c,
[A B C]
b sin
sin
(AxB)-C
sin 6 sin
pc) sin c
VECTOR ANALYSIS
80
By
common
factor,
= sin b sin A
sin^? a = sin c sin B
sin p = sin a sin C.
sin^ c
The
last
letters.
triangle
write
= [ABC]A
= [BCA]B
(CxA)x(CxB) = [CAB]C.
(AxB)x(AxC)
(BxC)x(BxA)
A=
sin a sin c sin B =
sin b sin a sin C =
Hence
sin
sin b sin
[A B C]
[B C A]
[C
A B].
Equate
A = sin a sin B
sin c sin B = sin b sin C
sin a sin C = sin c sin A
sin b sin
are obtained.
sin
sin a
sin
sin b
line.
sin c
The
as vectors
From
this
is
zero
for the
almost
is
all
triangle
equation
b-f
is
a closed polygon.
from a to
b,
from b to
c,
It
from
=b+c
+ c) = b-b +
(7,
81
aa =
If a,
c)*(b
J, c
The
(b
last
=a +
62
becomes
2 a 6 cos C.
to the first
letters.
is
B.
is
2 bc.
If
a, b, c, this
The
c-c
obtained.
sin
sin
the product
(bxc)(bxc)
2 Area (6
sin
A}
2 Area
= (cxa)-(axb)
(c
=a
a sin B) (a
sin -Z?sin
sin
The problem
of expressing
Let
a, b, c
b sin (7)
Solution of Equations
any vector
may
r in
terms of
be solved as follows.
VECTOR ANALYSIS
82
where
a, J, c are
bx
Multiply by
c.
= a abxc + 6 bbxc +
[rbc] = a [a be].
r.bxc
or
cc-bxo
x a and
= I [b c a]
= c [c a b]
[r a b]
[r c a]
Hence
a+
[be a]
The denominators
are
all
Hence
equal.
equation
[a
[b c r] a
c] r
[c r a]
[r
= rb
r
-
- a
ro
=r
bxc
_
a,
..
a b]
r, a, b, c.
cxa,b
+r
ra
x b
e
+r
axb
o.
[abc]
[abc]
bxc
[a
[a be]
[abc]
[abc]
The
[abe]
or
gives the
this
also be written
(28)
[c a b]
cxa
_
b
-
be]
[a
by !, namely
axb
>
c]
[a b c]
this reason
Definition
The system
b x
cxa
axb
[abc]
[abc]
[abc]
name and
of three vectors
notation.
83
a,
x b
[abc]
product
is
a, b, c
is
bxc
axb
________
[a b c]
[a b c]
[a be]
were co
[a b c]
cxa
a, b, c.
If a, b, c
important.
by the scalar
when
Hereafter
The system
of three vectors
,_bxc
""[abc]
The
it
__
a
,
a x b
The
vector r
system a
place
a , b
it
,
and
c
a,
is
may
r-b b
r.c
b, c
(29)
c.
form
(30)
instead of in terms of
a,
~[ac]
[abc]
will be
b, c
used,
reciprocal to system
denoted by primes as a
will be
a,
is
a, b, c.
In the
first
are non-coplanar,
if a, b, c
z.
x a
Multiply successively by
?/b
z c
This gives
= x [b c a], x = r-a
[abc]r-b = y [cab],
y = r-b
=
z [a b c],
z = r-c
[a b c] r-c
r = r-a a + r-b b + r-c c
[a b c] r-a
Hence
(31)
VECTOR ANALYSIS
84
If a
44.]
V,
scalar product of
system
is
unity
a .a = bM>=:c .c = l
=
a .c = b -a = b *c = c -a = c
a .b
Hence
(32)
V,
in
non-coplanar the
are
is
bW
Since a
That
-b = 0.
but
corresponding
coeffi
From
the second
From
the third
This
proves
the
=a
=b
=c
= a -b
*a
l=b
=c
relations.
= bxc
= bxc
e.
o.
also
be
proved
[abc]
= bxc-b =
[abc]
=0
[abc]
forth.
Conversely
and
[abc]
[abc]
and so
c.
bxca = [be a] = 1
[abc]
a
They may
b
b
=a
=b
=c
a, b, c,
if
two
Aa = Bb = Cc = 1
A-b = Ac = Ba = B-c = Ca = Cb =
By
A=
85
a, b, c.
+ Ab b + A-c c
B = B-a a + B-b b + B-c c
C = Caa + C-bb + C-c c
A-a a
is
A=
=b
=c
Hence
Theorem
set of vectors
be the reciprocals of
that
= b .b = c .c = l
= b a = b .c = c -a = c
a .a
=a
a -b
As
to a
-c
(32)
.b
0.
a, b, c.
That
to say,
is
Theorem: If a
then
V
[a
a, b, c will
x
b
b=-c
[a
x ab
V,
x b
[a
b c
a, b, c,
(29V
v
/
c ]
The demonstration
is
straightfor
system of
a, b, c,
then
a, b, c
must be the
reciprocal system of
VECTOR ANALYSIS
86
45.]
Theorem
If a
V,
and
be reciprocal systems
and [a b c] are numerical
a, b, c
That
reciprocals.
is
bV] [abc]=l
xc cxa axb"|
[a
t. b .
]=[i[a "be]
~[abc]
But
Hence
[abc]
Hence
= (bxc)x(cxa>(axb).
[abc]c.
[abc] c-axb
bV] =
[a
[abc] J
(bxc) x (cxa)
[bxc cxa axb]
[abc]
By means
[abc]
2
.
[abc]
is
(33)
(33)
[abc]
between [a b c ] and [a b
an important reduction formula,
of this relation
possible to prove
(P.axE)(ABxC)
P-A
P.B
p.c
Q.A
B*A
Q.B
a-c
*B
*C
c] it
(34)
Thus
the
two
crosses
To
But
= P-A A +
P.B B
B = B-A A +
B.B B
+ BC
Then
[POB]
P.A
P.B
P.C
a-A
R-A
Q.B
a-c
R.B
R.C
[A
B C
[ABC]
P.C C
[A
B C
].
ft,
be
Hence
[PQE] [ABC]
The system of
P-B
a-B
Q.C
R.A
R.B
B*C
i, j,
system.
jxki
this reason the
primes
is its
own
reciprocal
k==k
kxi
,,
J
For
P-C
Q.A
87
(35)
That
vectors.
is
Then by (32)
Hence the vectors
AA = B-B = CNC = 1.
are all unit vectors.
A-B
Hence
is
perpendicular to
B-A
Hence B
is
= A-C =
B and
0.
C.
= B-C = 0.
perpendicular to
C-A
and
=C.B
C.
= O.
A scalar equation
or like
i, j,
k.
a a-bxr
6(oxd)(exr)
may
be given.
+ c fr +
= 0,
VECTOR ANALYSIS
88
where
known vectors
are
a, b, c, d, e, f
and
a, &, c, d,
known
scalars.
r-A
where
is
known
vector
=a
and
known
a,
scalar.
To
ac
+
axb +
a axbor
{a
"b
(cxd)xe-r
(cxd)xe
it
+ c fr + d =
+ c f}r = d.
may
be necessary to
make use
made
]>A
As a vector
= a.
it is
Three
The geometric
tion
r.A => a
is
origin.
if
drawn from a
fixed origin.
Let
or
interesting.
(Fig. 24)
(36)
cos (r,A)
T cos (r,A)
r be the magnitude of r
and
r cos
A
(r,
= a,
a
,
that of A.
The
expression
A)
89
at a distance
tion
upon
and equal
to a/A.
This gives
Theorem
scalar equation in
unknown
terminus of the
It
is
easy to see
The
determined.
is
equations
is
extremely easy.
rA = a
=b
r-C = c
r-B
(37)
it is
Hence
The
solution
is
therefore accomplished.
(38)
It is expressed in
C which
is
if
case,
Hence the
common
line.
Hence there
will be either
no solution
for r or
VECTOR ANALYSIS
90
From
=a
r.B = 6
rC = c
rD =d
r-A
the vector r
may be
To accomplish
entirely eliminated.
(39)
this
= aA + 6B +
cC
A D + &B .D + cC -D = d
[BCD] + b [CAD] + c [ABD] = d [ABC].
a
or
*
47.]
A vector equation
(40)
unknown
vector
is
an equation
is
(AxB)x(Cxr)
+ D ET + n
+ F =0,
r.
general sufficient to
contained in
it
The method
That
is
to say,
determine the
unknown
may
first
Thus
known non-coplanar
A ar + B br +
where A,
These
B, C, D, a, b, c are
known
c-r
In the
article.
= D,
vectors.
No
scalar coeffi
may be incorporated in
the vectors.
Multiply the equation successively by A B , C .
It is understood of course that A, B, C are non-coplanar.
cients are written in the terms, for they
= D-A
b-r = D-B
c-r = D-C
a-r
Hence
The
But
91
solution
is
coplanar and
be discussed here.
A
That
is it
a-r,
r,
an
D.
Exr,
contain terms
will
in
tor
ples
of the
product of
The terms
terms.
of the type
a-r
may always
number.
to three in
a,
b,
c,
be reduced
which are
the type
terms, as
all
A a-r + B
The terms
of the types
b-r
an expression of three
c-r.
also be expressed
in this form.
Adding
to the
all
7i
form
a-r
M b-r + N c-r = K.
VECTOR ANALYSIS
92
The
solution
= K.L
+ K-M
+ XJT c
is
a, b, c in
unknown
V,
f
.
terms of which
Applications
48.]
Mechanics
of application.
and
direction,
and direction
but which
lie
but
it
forces
upon
body
effect.
number
same point
on a body at the
added as vectors is called
of forces f x , f 2 , f 3 , ---act
0, the
sum
of the forces
the resultant R.
E = f1 +
In the same
way
if f
added just as
if
x,
f8
...
f2, f 8
applied to the
is still
sum
of these forces
B=f +
1
The
f2
fa
f8
...
(41)
As
is
concerned
The moment
however
is
nitude
as defined above.
is
by the perpendicular
best looked
upon
is
dis
The moment
as a vector quantity.
Its
mag
taken to
93
The moment
of the force f
= PQ
moment
;
(Art. 25).
M will be
Q,
The
f.
A subscript will
moment
is
taken.
is
the (vector)
moment
of the forces
If
This
*
is
known
v *&
49.]
If f
to
moment
if e
is
the
Mo
dxf
d be the vector
For
any
if
W = dxf
= d f sin
(42)
(d, f) e,
dxf
Now d
sin
(d, f) is
The magnitude
of
= dsm
(d,
f)/e.
dxf
is
to
f.
VECTOR ANALYSIS
94
The direction
the magnitude of the moment MO {f}
as
same
the
of
the
direction
moment.
the
Hence
of dxf
This
is
is
the relation
is
proved.
Mo
The sum
of the
of the resultant
= dxf.
moments about
acting at the
f p f 2,
{f}
same point
of a
P is
of forces
moment
to the
equal
For
to P.
Mo
Mo
{f x>
{f a |
= dxf
= dxf a
l
moment about
let
Then
= dx( + f
The
number
+ ...
(43)
+ -..)=dxB
resultant
M<x
Let
dj,
fr f ,
2
BO
considered as acting at 0.
{f i> f 2
>} = Mo
{f r f 2 ,
Mo< {Bo
d 2,
Let d/, d 2
respectively.
any point
in
to
(44)
\.
Let
respectively.
d2
d^d/H-c,
Mo
Mo
{f i, f 2
{f!,f 2 ,
=d
= d2 +
c,
+ d 2 xf 2 +
}
J=d xf 1 + d a xf a + ...
= (d - c)xf + (d 2 - c)xf a +
= d x xf +d2 xf 2 + ---- cx(f j + f a +
xf j
x
But
is
the
c is the
moment about
parallel in direction to f 1
to 0.
of a force equal in
but situated at 0.
Hence
.)
f,
magnitude and
Hence
Hence MO/
{f x
...)
=M
f2 ,
= - cxBo = Mo
{f r
;,} +
fa
95
{Bo}.
MCX {Bo
|.
(44)
The
is
the
E affects
between them
of the angle
is
invariant
E MO
where O and
f
}= B MO
{f i, f 2
are
{f !
f2
Mo
For E.Mo
But
the
{*i, f a
if!,f 2
moment
the point
= Mo {fj f 2
}=* M {f^,
}
of
is
}
}
perpendicular to
+ Mo {Eo}.
+ E- M {B
E no
}.
matter what
Hence
of application be.
E-MO* IE O }
=o
parallelism
is
{f x
fa
-}=<)
=0
VECTOR ANALYSIS
96
where
by
its
braces
is
Mo {Eo}
in the
Then
{ }.
RxMcy
The problem
is
= ExMo - Ex(cxE) = 0.
EE c + R.c E = 0.
ExMo
Now R
c.
known
o is also supposed to be
quantity.
Let c be chosen in the plane through
known.
perpen
and the equation reduces to
Then
dicular to E.
is
Ec =
ExM = EE c
ExMo
E-E
moment about
moment and
the total
resultant itself
is
the resultant
constant
it is
is
moment
about which
For
If c
it is
Mo
about O
O
f
jf !, f 2
= Mo
cxE
parallel to E,
is
is
is
where
moment
minimum.
will be a
The
total
{f !
f2 ,
- cxE.
Hence
it is
possible to
moment
moment
obtained
may
be
summed up
as follows
whose resultant
f 19 f 2 ,
is
97
not
The
of it
is
the
same and
is
total
moment about
all
points
This theorem
is
of forces acting
and
of
may
is
minimum.
system of forces
desired point
moment be a minimum.
and point of
His vectors are consequently not the same as
application.
however may be
analysis.
The treatment
of his vectors
Cartesian coordinates.
is
Each step
number
of exercises
is
the chapter.
51.]
Suppose a body be rotating about an axis with a con
stant angular velocity a.
The points in the body describe
circles concentric with the axis in planes perpendicular to
1
VECTOR ANALYSIS
98
the axis.
The
velocity of
any point in
its
circle is
equal
The
direction
of
the velocity
to the
axis
is
and to
perpendicular
the radius of the circle described
by the
point.
if
turned in
FIG. 25.
a,
body.
The
vector product
axr
= a rsin(a,r)
is
distance r sin
(a, r)
v
If the
a i* a 2> a a
case
line a.
= axr.
That
is
(45)
of the
rotations are
v i -=a 1 xr 1
v8
= a 8 xr 8
to
the various
99
r x, r 2, r 3,
on the axis a 19 a 2 a 3
,
to the
the vectors r x , r 2 , r 8 ,
Then
= ra = r8 =
=r
and
v
= vt + v2 + v3 +
== a xr
x
a 2 xr
is
velocities a 19 a 2 , a 8 ,
This theorem
the vector
if
a 8 xr
sum
is
sometimes known
This axis
axis
is
position.
fixed
is
is
therefore represented
v
where a
The
is
by
= axr
(45)
radius vector
body.
is
fixed
of a rigid
be treated as follows.
=v +
axr.
(46)
VECTOR ANALYSIS
100
In case v
is
parallel to a, the
perpendicular to a, it
the vector r, such that
possible to find a point, given by
is
its
velocity
This
may
is
zero.
That
is
be done as follows.
Multiply by xa.
=
a-r a =
v xa
(axr)xa
aa
or
The
ity
a,
point
is
r,
this
aa
=
-
v xa.
Then ar
a.
is
zero
and
v x a
v x a
aa
its
veloc
If a line be
zero.
the motion of
about
is
new
In case v
is
axis.
it
may
vn
vv n
4r
vn "
point
may now
"
+ axr
"
axr.
denoted by
a.
this point
be
=v +
axr
(46)
101
(i. e. its
instant to instant.
The
52.]
of
principle
methods.
tance
D whether
The
dis
finite or infinitesimal
the
forces is
work done
total
be
this distance
act on a
If the
rigid body.
f x , f 2,
is
therefore
W^^i
D.f 2
...
W= D-fj + D-f
the forces
The equation
D-E
holds for
all
is
f2
= D.E = 0.
their resultant.
D.
= D-Cfj +
Hence
vectors D.
E = 0.
The total resultant must be zero if the body be in equilibrium.
The work done by a force f when the rigid body is dis
placed by a rotation of angular velocity a for an infinitesimal
time t is approximately
a-dxf t,
where d
is
tion a to
any point of
components
To prove
f.
"
parallel
a-dxf
this
break up
f into
= a-dxf +
a-dxf ".
two
to
a.
VECTOR ANALYSIS
102
As
is
d f ] vanishes.
parallel to a the scalar product [a
a-dxf
On
done by
= a-dxf
".
work done by
t"
is
For
being parallel to
If
h be the common
vector perpendicular from the line a to the force f ", the work
"
done by f during a rotation of angular velocity a for time
t is
approximately
product
[adf]
is
and
perpendicular alike to a
W= a-hxf
"
= a-dxf
= a-dxf
t.
act be dis
body upon which the forces f v f 2
an
placed by
angular velocity a for an infinitesimal time t
and if d x d 2
be the vectors drawn from any point
of
If a rigid
a to any points of f v
by the forces f v f 2 ,
f2 ,
W= (a-djXfj + ad
= a.(d
= a.M
If the
body be
Hence
work done
will be approximately
xf 1
{f 1
xf 2
d 2 xf 2
,f 2 ,...}
in equilibrium this
a*M
\tl9 f2 ,
.-.)*
t.
work must be
}
zero.
= 0.
must vanish.
Mo
{f r f r
= 0.
103
The necessary
point in
E = 0,
DE =
JF=D-f1 +
and the
total
work done
is
o.
D.f 2
zero,
...
when
=
the body suffers any
displacement of translation.
Let Mo {fp f 2
be zero for a given point 0.
}
other
O
point
any
>
Then
for
Mo< {fx
f 2,
But by hypothesis
-\
is
= Mo
flf f 2 ,
also zero.
+M
{Bo}-
Hence
Hence
where a
is
equal to the
a time
It has
total
VECTOR ANALYSIS
104
to
Applications
Geometry
Hence
r =
=
r
ri
and
From
=k
The
i -i i
*^,t ^*v,
rj j + rk k
-j
-k
=a
+k
-k
i .j j
+k
-i i
scalarsflj,
a2 a3
,
direction cosines of
That
+r
/+
I
(47)
.
this
/ i
b lt
Z>
2,
a2
a3 k
cl i
c2 j
c3 k.
c3
2,
is
cos
<&]_
== COS
0j
i)
a2
(j
(k
(i
cx
= cos
= cos
a3
j)
(i
l)
O t^ == COS
(j
j)
t>
i)
c2
= cos
(k
j)
c3
"
= cos
-
COS
= cos
(i
k)
(J
Kj
(k
k).
( 4o)
= i-i
j
j-i
j
( k = k.i
i
+ i-j j + i-k k = ^
+ j-j j + j-k k = a a
+ k.j j + k-k k = a a
7
i
i
!/!_/
!?
and
fcf
]
I
j
i_^
.k
!
9i
^
/t
+ \ y + GI k
+ 6 2 j + c2 k
+ J 8 J + C 3 k/
9i
n &
(47)"
9
4
=1= +
=1=a2+
2
j.j
( k-k
and
"1
i
i
= =\
= U = Cj
cj
J 22
6 32
+
+
c2 2
3
&2 c2
b B cs
C<
-f-
dy
(49)
-f-
f\
ttj
a%
(50)
j-k
j.k
= = #a*
2
a 39
62
+K
6
I*3
and
xj
= (a
53
- a3
(50)
c,
(51)
"2
105
62 ) i
But
(a2 & 3
- a3
6 2 ),
Hence
(52)
Or
Co
coefficients of a transformation
X F
1
The
b v & 2 , &3.
,
orthogonal axes
important and well
known
JT,
set of
F,
Z are
may
be note
worthy.
may
=a
a2
a3 k
in vector multiplication.
&!
Cj j
=a
3 j
a2
k.
(53)
VECTOR ANALYSIS
106
the
its
Hence
Its
it
must be the
magnitude
is
V af + a
or
V b^ + c^.
two
planes.
scalar relations
af + a*
=V+
*!
= 1 - a*.
The magnitude 1
a^ is the square*of the sine of the angle
Hence the vector
between the vectors i and i
.
^k -cj ^sj-aak
(53)
is
its
is
to
A B.
=C.
Choose
as origin
and
let
OA =
A,
OB = B,
and
Then
= C-B,
By
hypothesis
- B) =
B<A - C) = 0.
C<B - A) = 0,
A.(C
and
Add;
line
drawn
Let
is
the vector
OS.
Let
to
be the ra
Then
line.
A.
parallel to
107
vanishes.
Ax(B-B) = 0.
This
BC = c
in the
unknown
The point
vector B.
of intersection of a line
found at once.
The equations
(
Ax(B B-C
are
B)
=e
AxB = AxB
B - C-B A = (AxB)xC
A-C B - c A = (AxB)xC
(AxB)xC + c A
A-C
Hence
A-C
AC = 0.
The
or, if it lies
In this case
how
and there
an
infinite
is no solution
number of solu
tions.
plane area but the entire plane itself, just as a vector represents
a point. The result is analogous to the plane coordinates of
analytic geometry.
a plane in space.
Let
MN
be
be an assumed origin. Let
is to be denoted b^ a vector
The plane
MN
VECTOR ANALYSIS
108
whose direction
is
is
represents
If r be
which
it.
in the plane
then
r-p
is
rp
Now p,
=1
For
= r cos
(r,
p) p.
distance from
is
Hence rp must be
i, j, k
and p be expressed
unity.
in terms of
= #i + yj + zk
p = ui + vj + wit
rp = xu + yv + zw = L.
r
Hence
The
relation
tion of duality.
between r and p
is
symmetrical.
It is a rela
If in the equation
r-p
=1
which
is
the locus of
all
If
however p be
points given by
regarded as variable and r as constant, the equation repre
r.
Chapter VII.
SUMMARY OF CHAPTER
The
scalar product
of
two vectors
them.
A-B
is
109
II
= A B cos (A, B)
A-B = B.A
A.A = ^.
(1)
(2)
(3)
The
product vanishes.
is
i,
j,
are
(4)
^=J!Uk!=o
A.B
= A B + A,, B + AS Bz
= A* = A* + A* + A*.
1
B upon
AB
-R
The
(7)
XA
a vector
(8)
is
(*\
is
equal in magnitude to
AxB = A B
sin (A,
B)
c.
(9)
VECTOR ANALYSIS
110
vanishes
is
The com
AxB = -BxA
ixi
ixj
jxk
kxi
AxB =
2)
(10)
= kxk =
jxi = k
=jxj
=
=
=
i
kxj
(12)
=i
=
+ (A a B - A
ixk
(13)
AxB =
(13)
Bn
Bo
The
to the
[AB C]
=- [A OB].
(15)
(16)
[ABC]
[ABC]
(18)
[a
be]
(19)
of
B perpendicular
= _AX(AXB)
component
,,
to
be B",
A*A
= A-C B - A-B C
(AxB)xC = A-C B - C-B A
(AxB>(CxD) = A.C B-D - A-D B-C
(AxB)x(CxD) = [A CD] B- [BCD] A
= [ABD] C-[ABC] D.
Ax(BxC)
111
subsists
(24)
(24)
(25)
(26)
C,
is
[BCD]
(27)
when
= _bxc.,
.
[a
A vector r may be
its
reciprocal in
a, b, c
= =cxa
-=>
= axb
[abc]
be]
(29)
[abc]
(30)
(31)
non-coplanar vectors
a,
b, c
and a b
,
two systems of
be reciprocals
is
that
a, b, c
will
= Vb = c c = 1
a .b = a -c = b .c = b .a = c -a = e -b = 0.
a .a
If a
a, b, c
then
VECTOR ANALYSIS
112
P.A
a-A
R.A
[PaK][ABC] =
The system
system be
its
i, j,
own
system of three
is
its
own
reciprocal
it
P.B
P.C
ft-B
a-c
B-B
R-C
(34)
Appli
The
r-A
is
= a.
(36)
force.
v
where v
=v +
(46)
is
by making use
of the principle of
of the angles
axes.
by vectors.
113
EXERCISES ON CHAPTER II
Prove the following reduction formulae
= [ACD]B-A-BCxD
= BD AxC B-C AxD.
1.
Ax{Bx(CxD)}
2.
= [ABE]
= [CD A]
[AxB
3.
BxC
CxA]
[ABC]
2
.
Q.B
P
Q
RA RB
P.A
4 [PQE] (AxB)
P.B
5.
6.
[AxP
Bxtt
- [ABF] [BCD]
- [CDB] [AEF].
[FCD]
[BEF]
CxR] + [Axtt
= 0.
BxR CxP]
+ [AxR BxP
Obtain formula
7.
Cxtt]
= 0.
by expanding
[(AxB)xP].[Cx(ttxR)]
in
two
different
results.
a system reciprocal to a
Show
9.
tors
and polar
The perpendicular
meet in a
11.
two
point.
to
VECTOR ANALYSIS
114
Show by
12.
ume
of a tetrahedron
whose four
vertices are
IS
13.
Making use
[abo]
where
a, &, c
I
14.
which
= cos
m = cos
(b, c),
(c, a),
= cos
and where
(a, b).
vector quantity)
Determine
is
= a be
show that
Show
that the
a, b, c.
volume of a tetrahedron
is
of solution
equal to one
If a line is
CHAPTER
III
Variable
denoted as usual by
A r.
Ar = r -r,
where
A r must
(1)
direction.
If,
however,
two values
and
are
and
of
known.
To
it
(Fig. 26).
When
PP
Ar
A*
f
.
r will be the
VECTOR ANALYSIS
116
the ratio 1
in
When A t
t.
chord PP
proach P, the
PP
but magnified
approaches zero
will
ap
and
the vector
Ar
which
is
(t t
rfr
...
will approach
i\
be expressed in terms of
r
i, j,
=r +
r2 j
directed in that
as
rz
+ Arj)i+
(r 1
Ar = r
= Ar
Ar _ A
+ Ar2 )j +
(^ 2
"
+ Ar3 )k
+ Ar2 j + Ar3 k
A r2
?*!
(r 3
t.
J+
A r8
and
components
derivatives.
of
The same
r.
_
- -
j__
dt*~ dt*
dn
dt n
dn
dt
if
non-coplanar vectors
a, b, c
dn r
.
,
of the
dt*
d
d
__
__
dt
dt*
n
In a similar manner
_f
dt*
r,l
is
fl
r*
?
_i
n J
r be expressed in
as
= aa +
&b + cc
dn a
dn
(2)
dn c
The vector
Let
= a cos +
t
b sin
117
t.
and
Then
b.
which
X = a cos
Y = 6 sin
t,
coincident with a
t,
dr
-3
a sin
+ b cos
t.
Hence
= a cos (t +
The tangent
for
+ 90).
The second
is
2r
derivative
is
90) + b
(a cos
sin (t
b sin
the negative of
90).
t).
Hence
r.
Example
Let
=a
cosh
b sinh
t.
The
dr
= a sinh +
b cosh
t,
= a cosh +
b sinh
t.
dt
and
=r
Hence
d
is
t*
VECTOR ANALYSIS
118
ordinary calculus.
d
For
(a
+ Aa)
(b
A(a-b)
= (a + Aa)
A*
Hence
in the limit
=a
Ab
A*
when A
+ Ab) - a-b
(b
Aa
-A*
Aa-Ab
-
= 0,
d_
dt
= a-b
_(a.bxc)
v
dt
\d
The
[b
may
be demonstrated exactly
of
analysis,
namely
The order
119
Hence
of the
two formulae
d
and
first is
evidently incorrect, but the second correct. In
other words, scalar differentiation must take place without
The
altering the order of the factors of a vector product.
the
factors
must be
differentiated in situ.
be expected.
In case the vectors depend upon more than one variable
the results are practically the same. In place of total deriva
#, y, z.
The
scalar product
The second
first
it
will
will
have three
order.
52
9y
ab
\3x5y
VECTOR ANALYSTS
120
Often
it is
more convenient
This
the differentials.
first differentials.
particularly true
is
The formulas
(3), (4)
= da, b + a
= ds, x b + a
d (a b)
d (a X b)
and so
forth.
example.
As an
when
but
dealing with
become
db,
(3)
x db,
(4)
illustration
If r be a unit vector
rr = 1.
The
is
dr
= 0.
Hence
of a unit vector
the vector.
perpendicular to
This can be seen geometrically. If r traces a
is
where
The increment A r
is
s is
The curvature
s is
Let
121
be the
UAt
of the curve
is
the
to the length
At
As
LIM
As=0
The vector C
to
is
collinear with
inasmuch as
t; for
is
As
At
is
ds
ds*
a unit vector
At
is
perpendicular
t.
The
tortuosity of a curve
is
N = txC.
planei8
with C
=t
is,
d n/d
s.
From
vectors
t, c,
n form an
i,
j,
k system
of unit
122
VECTOR ANALYSIS
and
= c c = nn = 1
tc = cn = nt = 0.
t
= cdc = ndn = 0,
t-dt
and the second
do
t*
But d t
is
rft
parallel to c
n- dt = 0.
d n t = 0.
Hence
The increment
of
of
is
perpendicular to
also perpendicular to n.
is
It
to n.
is
is
t.
therefore parallel to
parallel to
dn and
c.
hence
c.
The
tortuosity
is
~ds^
T
*
The
first
VCC/
d*r
d*r
j O v
d s*
term of
= d 2 r/ds 2
T moreover has
Consequently the
magnitude of T is the scalar product of T by the unit vec
tor c in the direction of C.
It is desirable however to have
.
turns
away from
c
c.
therefore be given
when
The
by
But
dr
d 2 i/d s 2
d2
123
1
Hence
dr
~~
ds 2
ds
And
c is
T. -c-T = -
Hence
(12)
r=
Or
The
is
Hence
tortuosity
may
somewhat shorter
if
(13)
tc = cn = nt = 0.
dtc = dct
dn c
dc n =
Hence
dn*t
Now
dt
dt n
= 0.
dtn.
parallel to c
r=-
dn
.c
ds
= n. dc
ds
(14)
r = txc-^-
as
(14)
VECTOR ANALYSIS
124
V cc
dC
d
C
dc
ds
---VC.C
ds
!;
ds
C-C
But
= 0.
A/C
C-C
_
m=
dC
T~
ITTc
(13)
ds*
In Cartesian coordinates
this
becomes
(13)
T=
Those who would pursue the study of twisted curves and
surfaces in space further from the standpoint of vectoi-s will
find the book " Application de la Methode Vectorielle de Grass-
maun d
la Greometrie
1
Infinitesimale"
Paris, Carre et
by FEHB extremely
Naud, 1899.
125
He works
elegant.
The fundamental
Xa
HI
ax
One used
a2
~ Oi
x a3
[a x a 2 a 3 ]
[a x
to either
2]
a 2 aj.
difficulty
with the
up
here.
* Kinematics
of the path
is
then
The
This
is
V
This velocity
LIM
A *
fA
r"|
change of position.
increment A t.
r to the
dr
a vector quantity.
Its direction is the
direction of the tangent of the curve described by the par
is
The term
followed here.
speed
is
Then
.-,
(16)
if s
VECTOR ANALYSIS
126
--T.
=v
The
is
acceleration
<">
t.
(17)
is
Let
a vector quantity.
of velocity.
be denoted by A.
it
It
Then by
definition
A v _ d v =_
LIM
-At=OA7-rf7
dv
and
dv
__
~-
d(vt)
v
dt
dt
_
d
t
where C
is
_
dt
dv
.
dt
dz
dv
t.
ds d
nj
dt
__
dt
.
s~
_=C
dt d
=v
t?
is
the
is
A=st+
The
acceleration of a particle
v* C.
moving
fore been
lei
curvature
C,
that
is,
That
this
it
brings to light.
127
The
If r be expressed in terms of
=# +
i,
j,
y}
z k,
From
(16)
A = v=s =
(18)
+y * +z%
x + y* + z 2
x x
this
as
= V ** + y* + * 2
A = v = r = ii + yj + * k,
v
on
i/ i/
= r, the
rate of
change of velocity,
became clearly
But certain
mind when he stated
of velocity
is
it
his
is
that
second
proportional
VECTOR ANALYSIS
128
particle in
possible to
A=r
is
Example 1
fV
^-r^
angular velocity
The
a.
Let
velocity v
is
perpendicular to
f
The
vector v
=v=a
The
r.
r in
is
its
The
a.
r.
The hodograph
tude.
The
is
=a
acceleration
which
is
circle,
and
it
conse
is
A = a v = a 2 r.
The
acceleration
But as a
Hence
The
A may
= A = axv = ax(axr) = ar a
is
= A = aa r =
a 29
a-a
r.
lies,
a r
= 0.
r.
a circle
the
= A = g.
the
It is easy to find
is merely a point.
Let v be the velocity of the projectile
hodograph.
in path at
any given
=v +
At
instant.
will be
particle
g.
The path
straight line.
Example 3
The
is
The hodograph of
The curve
vector.
129
well
is
known
is
hence a
to be a parabola.
acceleration
= A = f(r).
That
is
the accelerations
collinear
and
r!
with the
of the radius
approximately
A*
Multiply by rx.
=rx
Hence
But J
r
r
x
x
- r ) = 0.
r = r x r
(r
Hence the
VECTOR ANALYSIS
130
it
Perhaps
would be well
this question.
to
go a
little
particle in
its path at one instant, the radius vector at the next instant
The area of the vector of which r and r
r.
r are
is r
+A
+A
The
is
rate
of description
of area
is
consequently
AT
irx(r+ Ar)
Lm 1
A*
~A*-=02
LIM
A* = 02
A*~2
P and P
is
the limit of
r
A*
A
A ^t
_" A r
"
= ?^IlI?
A
into
to the acceleration r
Ar.
if
if
The quantity x ap
The quantity y
Hence
x
x
- r ) = r x r - (r +
^A M x
n.
131
Hence
Ar
rxr-r xf = /A xr
6
But each
tion of area at
and
Pd
differ
by an
Hence the
rates
infinitesimal of the
at all points.
The motion
60.]
fixed
is
But
= (d r
i) i
(d r
dr
= (xi
di+
i,
yi
di + yj
j) j 4-
dr
(d r
j,
+
*dj +
d
k) k.
d r k obtained from
2 i
d k)
zj
= 0.
Hence
dj +j di = Q or j-c?i =
dj
=
=
or
j-dk
j.dk + k.dj
k.dj
=
=
k.di + i.rfk
k di.
or idk
Moreover
i.i=j .j=kk = l.
Hence
d =
d = k d k = 0.
But
=j
=k
VECTOR ANALYSIS
132
dr
This
is
dk
+
(zi
yjdi)i+(jdi
(y
-xi
dj
d k)
r.
k.
a vector product.
dr
Let
dj
;n
2;
k).
k
l+| -i J+J
ii
-r
Then
d k
yj
=axr
Two
may be added
rotations
infinitesimal
d2
If r
be displaced by
T
If it
a, it
d1
=a
Hence
t.
becomes
T
=T+
then be displaced by a 2
r 4-
it
a,
xrdt.
becomes
= r + d r + % x [r + (a
d r = aj x r d + a x r d +
d
r)
a2
(a x
If the infinitesimals
(d
like vectors.
The displacements
t)
t]
t.
r) (d
neglected,
=a
a2
If
(a x
a 2)
t,
= dr = (a +
1
a 2)
r.
133
This
a,
con
is
The
It
is
acceleration r
=a
a.
r.
(axr).
As
On
hand
ax
dicular to
r.
Inasmuch
the other
(a
r) is parallel to
r.
of the circle in
which
it
moves
is
a x (a x r).
This
to
at all.
On
It corresponds
the other
hand
is
axr.
This
depend in any way upon the angular velocity itself but only
upon its rate of change.
61.] The subject of integration of vector equations in which
the differentials depend upon scalar variables needs but a
word.
If
then
d
r
=d
=s+
s,
C,
VECTOR ANALYSIS
134
where C
tion in
is
some constant
To accomplish
vector.
the integra
difficulty
projectile.
The equation
of motion
is
simply
always ver
= g + b,
where b
is
a constant of integration.
0.
velocity at the time t
It
is
is
evidently the
r
c is
ig*2 + b* +
= 0.
c.
It
is
given by this
so may be seen by
expressing
in terms of x
is
That this is
and y and eliminating
t.
is
But
For
(r
x
x
= f(r).
parallel to the radius,
=
a
f)
0.
(r
r).
L>
(r
r)
C,
u/ t
Hence
CL t
and
r.
135
Given
Then
Hence
0.
= C.
xC = -1
^-
rx (rxr)=
Then
= r r.
Then
Integrate.
is
x C
c*
where
e I is
by
r 2.
o *
a perfect differential.
= + e I,
r
x C
c*
x C
e r
I.
*
e is its
magni
its direction.
But
- r-r r}.
{r.r r
_ Lr
*2L
o
Hence
Each
-jjj-
Differentiate.
-1
VECTOR ANALYSIS
136
T
p=
s"
and cos u
p=
Then
Or
r
city.
r cos u.
cos
is
axis.
(r, I).
=
1
This
= cos
The vector
The length
of this axis
is
A function V (x,
62. ]
y, z)
which takes on a
definite scalar
#, y, z in space is called
ample,
The Operator
Such a function,
for ex
is
V O, y, z)
==
x2
y*
z2
= r\
functions
of position
In the
This,
too, is
If a scalar function
is the all-important
a scalar function of position.
be set equal to a constant, the equa
tion
V(x,y,z)=c.
(20)
function
In case
isothermal surface.
V be the
137
It is called
an
and
most important of
as it is perhaps the
owing
all
such functions
V O, y,z)=c
of positions in space.
The
tion
rate at
that
when x changes
constant
is,
to x
+A
x and y and
remain
is
LIM
Aa =
F" (a?
+ A a,
- T (x, y, z)
y, g)
["
"1
J*
This
is
axes X, Y)
Z are
respectively
3V
3V
Ty* Tz
3V
~Wx
3V
1
JZ*
3V
3V
5?
~3~z
shown
VECTOR ANALYSIS
138
63.]
of
is
VF
VV
a directed
represents a directed rate of change of
or vector derivative of F^ so to speak. For this reason
VF
VF.
The terms
V F.
It
a vector
is
gradient and
customary to regard
V; and
slope of
F, the primitive of
Hamilton and
is
now
in
universal
W.
R.
There
employment.
l
seems, however, to be no universally recognized name for it,
although owing to the frequent occurrence of the symbol
some name is a practical necessity. It has been found by
VF
*
v=i*
+ ji- +k
dx
9z
dy
Some
Foppl in
Maxwell
avoids any special designation and refers to the symbol as "die Operation
How this is to be read is not divulged. Indeed, for printing no particular
tricitdt
V.
name
is
quiredsomething
often repeated.
so that
is
139
it
system
k and a new
Then
set of
referred to this
is
v/
By making
?T7
ax
+J
ao^7
y
k ^T7
dz
( 22 )
from
i, j,
to
k and by
The
shorter
method
of demonstration
is
to be given.
64]
y,z)=c
V (x,
and
upon which
V is
near together.
V=c.
dius
Let
vector
y, z)
=c+
d c,
denote the ra
drawn
to
this
origin.
Then any
the
point near by in
neighboring surface
+ d c may be represented
by the radius vector r + d r.
c
The
actual increase of
Ffrom
FIG. 30.
the
is
first
The
rate of increase
is
a variable
VECTOR ANALYSIS
140
and
the distance
x, y, z
Vdr
dr
\/d r
will therefore be a
equal in
is
maximum when d r
magnitude of
d n.
therefore a vector of
n and
Fand
of
is
the direction of
This vector
is
is
the
entirely independent of
parallel to
is
The expression
second.
Then
let
Let d
V V be defined again as
Vr=4^n.
d n
(24)
VV
From
It
first
given.
To do
this multiply
VF.dr =
by
is
dV
-n.dr.
d n
(25)
is a unit normal.
Hence n d r is the projection of d r on
n and must be equal to the perpendicular distance d n between
the surfaces.
dT
dV
-dn
dn
5V
But
5V
5V
-=
-z
=7rdx
where
(d x?
= dV
(d *)
= dr
dr
ids=
dy
(25)
5z
dy
(d y)
141
d r.
dx,
dy,
kdz the
5V
~dx
dx
sv
dy
(26 )
9V
If the factors
rf a;, rf
i,
j,
rf
y,
VF
k of
VF
in the
3V
5V
5_V
5x
5y*
5z
VF=(VF. i)i +
VF=
Henceby(26)
The second
|^ + j |T+
is
equivalent to
|
reduced to the
definition of
y
-
d x
V V.
satisfies
According
is
often taken as a
the equation
dx dy
dx
,
first
it.
*65.]
ed
and consequently
ative
VF* j, VF-
i,
= dy
VECTOR ANALYSIS
142
Moreover
it
this
V^
d r.
This definition
is
certainly the
are
They
definitions
more
tangible.
But
The computation
frequently
carried
of the derivative
V of
a function
is
most
partial
differentiation.
Example 1 :
(ix
The
This
derivative of r
is
+ jy +
kz)
r.
Let
V1F
(x
)*
-k
_1
Hence
V ~ == 7
r
of
r,
derivative of 1/r
-r
-
g 2 )t
V log
is
is
is
that
r.
n rn ~ 2
= n r*
i>r
Let
F(#,
y, z)
= log y# 2 +
V^Tp = TT
22 +
i
y*.
+
f
22
If r
y,
2 2 )*
Example 4
r)
(r
V rn
Example 3:
is
-r
= ~T
3
^i
The proof
(x
and
The
143
= log Vr.r-(k.r) 2
k kr.
ix + )y = T
2/1
and
Hence
V log
*)
V^ + y
T
""
- k kr
(r-kk.r).(r-kk.r)
VECTOR ANALYSIS
144
There
is
which
is
based
V = Vrr = r.
Example 1 : Let
=^ =
V=
Hence
Example 2 :
Hence
Example 3:
Let
i>r
a,
where a
V= r
Let
r
is
a constant vector.
F=dr.a = dr Vr.
V V = a.
F= (rxa)
constant vectors.
V = rr ab
dV =
2cZr*r a-b
drb
dr-a r-b
V F == 2 r a-b
Hence
r-a rb.
a r.b
Vr= (ra-b-ar-b) +
Which
of these
two methods
for
= di V Fl
b r^a
(ra-b
= bx(rxa) -fax
r-a
-br.a)
(rxb).
computing
shall be
applied in a particular
may
therefore be
Fcan
be
cannot be so
expressed easily in terms of r. But when
the
former
method
has
be
to.
to
resorted
expressed
The
in mathe
great importance of the operator
matical physics may be seen from a few illustrations. Sup
*66.]
pose
T (#,
y, z)
#, y, z of
heated body.
in
145
creases
increase of temperature.
f
where k
body.
of heat f is
= _& vr,
is
is
in
The
F
As
= VF.
might be well to
state
would be
F
In case
= - VfF.
The
force
is
in
magnetic pole re
is
= - VF.
attraction
difference between
potential
is
this.
VECTOR ANALYSIS
146
negative sign.
often convenient to treat an operator as a
quantity provided it obeys the same formal laws as that
Consider for example the partial differentiators
quantity.
It is
*67.]
As
!_
9x
3y
!..
3z
are precisely
if
instead of differentiators
6,
For instance
were given.
99
Sx3y
*,
3ySx
a,
and the
3\
distributive
law
33
33
3\
+ ._ --+_-)=_--_
3x\3y 3zJ 3x3y dxdz
3
f 3
a(b
c)
=a
Of course such
formulae as
where u
is
properties of differentiators.
scalar function
u cannot be
is
to operate.
a great advantage
way
may be
147
obtained by
looking upon
+
V-if
3x +jf
dz
dy kf
as a vector.
.., JL,
P#
are not true scalars.
A
dz
dy
It is
course an operand
operations
are
instance
if
#,
V (u + v) = V u + V v,
V(ttfl) = (Vtt) v + ^(Vtf),
c V u = V (c u),
A. Vis
A.V = A
/-x+
A=A
provided
This operator
A V is
to a scalar function
A2
/-
+ As
+ A^ j + A% k.
a scalar differentiator.
V (x,
(27)
j-,
y, z) it
When
(a.V)F=a
applied
gives a scalar.
is
a unit vector
a.
I + a r +a8 r
2
(28)
(29)
VECTOR ANALYSIS
148
where a v
a^a B
well-known
This
is
Consequently
(a
derivative of
directional
V)
V appears
as the
in the direction
a.
often written
3V
3V
3V
3F,
magnitude of the
(29)
rate of increase of
V in
a.
if
of the normal.
The
operator a
applied to a scalar function of position
yields the same result as the direct product of a and the
vector
V.
(a.V)F=a.(VF).
For
a-
may
(30)
be denoted simply by
VF
may however
(a
a.
be
V) F is
On the other hand
the direction
any direction
VFin
Hence
a.
V V)
The
equal to the
is
that direction.
theorem becomes
The
If
is
the component of
V F in
directional derivative of
F in
of the derivative
component
Fdenote gravitational potential the
in
must be observed.
149
69.]
(x, y, z)
vector.
ponents
(x, y, z)
F!
y,z)i+
(x,
F2
(x, y, z) j
+ F3
(a?,
y, z) k.
Examples
VF
magnetic force,
electricity,
vector functions
of position in space.
The
tion
V to
Let
scalar operator a
may
V=
Fi
and
(a.V)V
+ F2
=a
Then
y,z)
(x,
V=
i^
(a.V) F!
a
(as,
y, z) j
a2
+ F3
(x, y, z)
a 3 k.
3^+-af3
+ (a.V) F2 j + (a.V)F, k
9V
3V
-
9V\
9V,
9V2
3V
VECTOR ANALYSIS
150
This
may be
Hence
V)
(a
function
is
in the direction
V) V
(a
without parentheses.
when
defined.
V)
=a VV
-
V V can
(a
It is possible to write
a.
it
by
V.
and
VxV =
+ ]-
and
differentiators
cross.
< 82 >
+kxV
(88)
V, del cross V.
That
is
(32)
3z
Qy
(88)
F",
ofV.
i
definition of
VV
will
be given
in
Chapter VII.
PI.
V,
dx
9x
3y
dy
8V_9V}
3*
3*
151
Sx
~5y
9y
h
5V,
3
(34)
3F
Jl
~3
i.fl-
Then
3V
Hence
Moreover
This
may
V V = rf + ^7 + 3Ti
(32)"
>
VxV=
333
i
(33)"
VECTOR ANALYSIS
152
It is to be
Vv
the functions
F3
F"2 ,
determinant.
From some
products of
simply laying
x, which
quite distinct
from V,
and
means advisable
all
for
71.]
it
333T~
T~~
(33)
remembering formulae
operators
to regard
same laws
new
+ jx-4-kx-.
seems by
as entirely
shall be
V xV = ix
and
But
into V.
down
^)e
^e same
aws
V V
and
x V have very
it
From
intrinsic properties of
this
V V represent
In order
function
some
definite physical
meaning such
as flux or
denote
153
of the
This
may
= i~+j.
Then
is
dx
and
is
V V= div
The reason
for this
term
is
that
*I
dz
often written
V.
VV gives at each
3y
at
which
point the
fluid is leaving
that point
(x, y, z)
=V
(x9
y,z)i+ V^ (x
y, z) j
+ F3 (x, y, z)
k.
which are
i.
e.
perpendicular to the
axis.
The normal to the
face
whose x coordinate
is,
is
the nor
is
i.
The
flux
xy2
face
is
-i.V
(x,y,z)
face,
FIG. 31.
x coordinate
through
dz.
to the oppo- z
The normal
site
dy
greater by the
therefore
is
it is
amount dx,
is
+i
and the
flux
VECTOR ANALYSIS
164
(x
dx,
y, z)
dy dz
= i V (x
V(#,
dy dz
y, z)
y, z)
3V dx
c)
3v
dx
i
dy dz
dz.
dy
The
total
faces
is
is
flux
simply
3V
i
= -^3^
dx dy dz
-=
9x
9x
dx dy
dz.
3V,,,
dx dy dz
^
9y
The
total flux
j,,c)V
and
k - dx dy
/.
i
(
3V
9x
3V
dy
dz.
9z
+
t
is
3V\
therefore
.
)
9zJ
dx dy
dz.
This
is
V.T.I. 9x + ,
dy
9z
9x
dy
9z
Because
V thus represents the diminution of density
or the rate at which matter is leaving a point per unit volume
per unit time, it is called the divergence. Maxwell employed
the term convergence to denote the rate at which fluid ap
proaches a point per unit volume per unit time. This is the
negative of the divergence. In case the fluid is incompressible,
as
zero.
it.
For
The
total
this reason
must
satisfy is
known
as the
is
This equation
fluid.
hydrodynamic equation.
is
often
is
It is satisfied
155
by any
The
practically incompressible.
the operator
X Maxwell gave the
This nomenclature has become widely accepted.
V
The
x V
As
name
curl.
= curl V.
of position in space.
If
= V D = 0.
To
72.]
fluid.
the
is
itself
name
a vector function
indicates, it is closely
Take
At
any
virtue
Finally
of
it
which
may
it
becomes slightly
ellipsoidal
in
shape.
dw.
That
is
to say, it
may have an
An
angular velocity the magnitude of which is dw/dt.
infinitesimal sphere therefore may have any one of three
distinct types of
motion or
all
of
them combined.
First, a
VECTOR ANALYSIS
156
is
The
more
difficulties
the curl.
to give
=v + a x
curl v = Vxv = Vxv + Vx(axr).
a = a
+ a% j + a 3 k
r = r
+ r 2 + r k=:;ri + 2/j-fzk
v
Let
expand
product of
is
x v
=V
is
x v
as
+ (V
if it
r) a
- (V
a constant vector.
V
As
X (a x r) formally
V, a, and r. Then
V
v
r.
a constant vector
3x
it
^+3
3y
may be
x v
r.
vanishes.
= 3.
z
=a
V.
/
3
3
3\ = a
Vr=( ai^ + a 2j-+ a
s^ Jr
Vxv = 3a a = 2a.
Hence
a)
triple
157
= curl v = 2 a,
x v
= ^Vxv=| curl v.
+ ^ (V x v) x r = v + \ (curl v)
a
=v
r.
(34)
tion
V>V% V X,
have to be
The following
Let
be found
u, v
v vector func
u,
Then
+ t?) = Vw + Vfl
V.(u + v) = V.u + V-v
Vx(u + v) = Vxu + Vxv
V (u v) = v V u + u V v
V (w v) = V M v + M V v
V(t6
(35)
(36)
(37)
(38)
(39)
(40)
(41)
+ v x (V x
u)
+ u x (V x v)
V.(uxv)=v.Vxu u-Vxv
(42)
Vx (uxv) = v.Vu~vV-u-u.Vv + uV.v. (43)
A word necessary upon the matter of the interpretation
1
is
of such expressions as
V u v,
The
Vu
v,
book
is
(V
That
v
Vu
v.
V applies
is,
V n and
V v me
to be interpreted as
VECTOR ANALYSIS
158
V uv = (V u) v
V u v = ( V u) v
V u x v = ( V u) x v.
If
The
By means
of it the operators
V> V*
Ax
take the
form
To demonstrate
Vx
#, y, z.
(wv)
^
Vx
Hence
(wv)
9x
= Vwxv + ^Vxv.
To demonstrate
(u
v)
=v Vu+
Vv + v
x u)
n x
v).
V(u.v)
3u
159
3v
2^-v+^^.-
Now
,3u
^ v ._
2
3 u
= vx(V
IE v
**
9x
or
In like manner
3v
Tu
;r-
=u
dx
x u) + v
9 u
2v.i-
x v)
V u.
+
V v.
V(uv)=vVu +
Hence
+
The
=v
xu) +
v x
(V x
n)
+ u x (V x v).
71]
The notation l
V(u-v) u
(44)
product (u
That
is,
v),
partially
the operation
the product (u
V to the
In general
v).
if
is
of functions
to be carried out
which occur
after
it in
Let
=U
X (V X
n).
VECTOR ANALYSIS
160
n-v
then
and
=M
+ u^v 2 + u z
V)
(u
3^0
But
and
V(u.v) T
Hence
But
V(u-v)
rrr^j
= w Vi? + ^ a Vi? a + w 8 V? 8
V(uv) v = ^j V^ + 2 V^ 2 + ^ 3 V^ 3
V (u- v) = V (u- v) u + V (u- v) v
V(u-v) n
and
Vw +
Hence
(44)
i;
(45)
d (u v)
d (u
or
The formulae
= d (u
v) = u
v) u
dv
+ d (u v) T
+ d n v.
(Art. 73) may be
obvious from analogy
V (u +
V.
Vx
(u
(u
+
v)
v*)
v)
= V (u + v\ + V (u + v)
= V- (u + v) u + V- (u + v) v
=V
x (u
v) u
+Vx
(u
v) y
(35)
(36)
(37)
V (u v) = V (u v\ + V (u v\
V- (u v) = V- (u v). + V- O v) r
V x (u v) = V x (i* v) a + V x (u v) v
V (u- v) = V (u. v) u + V (u. v) v
V (u x v) = V (u x v) a + V (u x v) y
V x (u x v) = V x (u x v) a + V x (u x v)
(38)
(39)
(40)
(41)
(42)
(43)
v.
This notation
scalar product
In almost
formally.
where
it
Take
Vx
it
x v) u
= (V
Expand
v) u
is
(V
u)
(u
v) u
v,
Then
which occur in V.
may
was introduced.
(u
entiations
factor u
other cases
all
simplicity.
particularly useful
is
u^v and
161
in the last
term the
Hence
V X (uX v) u = u V v u- Vv.
manner V x (u x v) = v V u
v V u.
Vx(uxv)=vVu v V u u V v + u V
*
In like
Hence
75.]
u x
V(u-v) u
or
(u v) u figures.
v)
= V (u
i,
V v = V (u
j, k.
as follows.
v) a
= u. Vv + u
v) u
terms of
is
(V x
or
The
v.
method
Expand
of
x (V x
+ (V x
may
- u V v,
v),
v) x
u.
(46)
(46)
(46)"
be given by expanding in
the product
u x (V x v)
ll
easily
VECTOR ANALYSIS
162
formally as
if
V,
u,
v were
Then
ux(Vxv)=u.vV
V v.
to operate.
that
have u v as
it
shall
of the parenthesis in
tiations.
must be transposed so
an operand. But u being outside
It therefore
u x (V x v)
Hence
is
V = V (u v) u
u V v.
v) = V (u v) u
u v
u x (V x
and
If
a,
(46)
the formula
a-Vv = V(av) a + (V x
v)
x a
(47)
v of a
expresses the fact that the directional derivative a
in
vector function v
the direction a is equal to the derivative
of the projection of the vector v in that direction plus the
vector product of the curl of v into the direction a.
Consider the values of v at two neighboring points.
and
v (x
(x, y, z)
dx, y
dy> z
dz)
2 j
(48)
if
(#, y, z)
163
and v the
= v + V (d r
v) dr
+ (V x
dels,
its
v) x dr.
(49)
r is analogous to the
expan
/<*>=/(*>+ .TOO **
The
That
derivative of (r
is
v)
when v
is
constant
V (r v) = v.
= v V r - (V x
is
equal to v.
V (r
For
v) v
r> x
v,
Vr = v
V (r
Hence
In like manner
if
v%j
= v,
= 0.
v) v = v.
r,
an infinitesimal
still is
V (d r v) v = v.
v = V + V (d r v) dr + (V x v) x d r
V (d r v) = V (d r v) d + V (d r vV
V (d r v) dr = V (d r v) v.
V/fllO*^
By
(49)
Hence
Substituting :
= ^ vo + ^V(dr.v) + ^(Vxv)xdr.
convenient
It is also slightly
is
(50)
sometimes more
more symmetrical.
VECTOR ANALYSIS
164
*
Consider a moving
76.]
Let v
fluid.
(#,
T/, 3,
t)
round a point
(a;
z )
=v +
moved
The
= c2
Sur
be the
dr dr
At each
t.
is
V v.
the distance
moved
the distance
The
To
dr
it is
necessary to
c2
The
first
The
result will
= dr
r.
may
infinitesimal sphere
A
may
more
= iv + |v(rfr.v) + 2-(Vx
165
xdr,
v)
= v +i[V(dr.v)-v ] + |(Vxv)xdr;
S
= v + V(dr-v) dr +(Vx
=v +
[V (dr
The
first
v) dr
(V x
v)
x d
v)xrfr,
r]+
(V x
v)
x d r.
^(Vxv)xdr =
is
curl v
x dr
is
curl
v.
v(dr.v) dr -
or
(Vx
v)
x dr
becomes
ellipsoidal.
For
this
term
is
equal to
dx V^j + dy V# 2 + dz
if
Vj,
tions
v 2 , v s be respectively the
i,
It
is
fairly obvious
(#o> 2A
may
j,
k.
VECTOR ANALYSIS
166
Then
them.
to
spectively parallel
the
expression
above
becomes simply
dx *i i+dyy
dx
9y
^i + dz ^.
9^
dx,
dy,
dz
will
The
is
therefore
In the time S
t it
the ellipsoid of
goes over into the totality of points upon
which the equation is
2
dx 2
dz*
dy
now been
demonstrated.
V may be
in
succession.
V itself
is.
Let
The
(#, y, z)
derivative
VF
and a divergence.
Therefore
V-VF,
VxVF
are the
which may be
V-VF=div VF
(51)
VF=curl VF.
(52)
V x V V vanishes identically.
V possesses no
V V in terms of
scalar function
the derivative
167
That
curl.
is,
This
of any
All
x
be seen by expanding
i, j, k.
the terms cancel out. Later (Art. 83) it will be shown con
possesses no curl, i. e. if
versely that if a vector function
may
is
W = curl W =
then
W = VF,
first
expression
V VF
when expanded
in terms of
k becomes
V V=
Symbolically,
The
0,
The
i, j,
operator
Laplace.
V V is
Laplace
^
y2
-5
<i/2
+ -rO
/v
Equation
V-VF=0.
(53)
V V
Let
flow f
is
VECTOR ANALYSIS
168
The
rate at
unit time
is
which heat
f.
is
The increment
of temperature is
rfr=-^-V.f
K
dt.
d
-
= -^.VT.
pK
at
This
is
Fourier
ture.
Let
ponents.
The
Vv Vv Vz
operator V V of Laplace
may
three
its
If a vector function
its
satisfies
2 j
order
Laplace
Other
Equation, each of
second
dels of the
VV-V = VdivV.
curl
(55)
and
and
Of
(54)
may
of V.
The
these expressions
V VxV
(56)
(57)
vanishes identically.
vector is zero.
V V
it
will be
83)
vector function
if
i, j,
k.
This
That
is,
may
be
Later (Art.
the divergence of a
W vanishes identically,
V W = div W = then W = V x V = curl V,
i. e. if
0,
is
com
be applied to V.
the curl of
If the expression
according to the
169
law of the
Vx(VxV) = V-VV-V.VV.
The term
V VV
meaningless until
is
it
be transposed to
operates upon V.
VxVxV = VV.V-V-VV,
curl
or
This formula
(58)
(58)
Equation,
V VV = and
curl curl V = V div V.
Should the divergence of
curl curl
be zero,
V=
V VV.
vanish,
V div V = V VV.
To sum
up.
dels of the
second order.
V-VT, VxVF,
V-VV, V V
Of
these,
two vanish
V,
V Vx
V,
V.
identically.
VxVr=0, V-VxV = 0.
A third may be
VxVxV = VV.V-V.VV.
The
operator
(58)
VECTOR ANALYSIS
170
*
The geometric
78.]
interpretation of
V Vw is interesting.
t.
Xn
*""
XQ
XQ
-^
~~~
^^
&t
*/
ni
Then
d*u
.
is
easily
That
LIM.
i,
j,
Choose
expressions
Let
>
?^_.
LIM ._2
u~
:
171
Add:
-LIM r
~a=OL
As
V and V-
this expression
then for
still
may
a different one,
By
etc.
adding together
all
these results
u\ + u% +
a==
Let n become
infinite
n terms
and
same time
at the
from #
The
fraction
u\
U2
n terms
by u a
u on the surface
limit approached
by the
ratio
The
VECTOR ANALYSIS
172
body)
77).
VV^is
constant.
flow
must remain
is
V V u = 0.
That
u be a
The
is
Equation.
V V u whether
Consequently V V u may
or vector.
u whether
it
be scalar
dispersion
the average value of the function on an infinitesimal surface
above the value at the center. In case u is a vector function
the average
is
The
a vector average.
additions in
it
are
vector additions.
SUMMARY
OF CHAPTER III
with respect to
the derivative of
is
dn r
dt*
=d
r,.
dt
dt*
d*
j
J
r~
dt*
2V
may
be
173
(3)
(4)
d (a
or
b)
=da
b,
(3)
The
forth.
(4)
perpendicu
The
the unit tangent to the curves directed toward that part of the
$ is
supposed to increase.
<"
r."The
direction
is
a vector whose
whose magnitude
The
is
is
is
s.
The magnitude
^n_^_/rfr X r
ds~ ds\ds ds*
<?
of the tortuosity
r=
VCTC/
is
rdr d*r 3
r"|
L^s ^T2 rf^J
cZ
_1
VECTOR ANALYSIS
174
If r
the time,
v the velocity,
*-*---*
The
acceleration
which one
is
may
A=
s t
C.
(19)
is
given accelerations.
The
operator
applied to a scalar function of position in
a
vector
whose direction is that of most rapid
space gives
of
that
increase
function and whose magnitude is equal to
The
i,
It
k.
j,
n,
may be
(24)
W-dT = dV.
or
175
(25)
currence of
V in
mathematical physics.
A
If a
VF
=^ ^i^ l7
+
be a unit vector a
in the direction
VV
is
< 28 >
a.
V is
a vector function a
VV
is
(30)
3 x
+ k.^-,
,-J~
9
3 z
+
VxV=ix|^
3x jx
V.V= ^
(32)
3 x
3y
^+
3y
+ kx
(33)
^
3 z
(32)
VECTOR ANALYSIS
176
Proof that
V V is
of V.
the divergence of
V x V, the curl
and
V V = div V,
V X V = curl V.
V O + = V u + Vtf,
(35)
=V
(36)
t;)
u + V v,
V (u + v)
Vx(u + v)=Vxn + Vxv,
V (u v) = v V u + u V v,
V (u v) = V u v + u V v,
V x (u v) = V u x v + u V x v,
V(nv)=vVu + U Vv + vx (V x
Vx (u x
(V x
n x
(37)
(38)
(39)
(40)
n)
v), (41)
V (n x v) = v Vxu-u-Vxv,
u Vv + uV* v.
v V u
v) =v .Vu
del,
V (u
performed upon
v) u
in
(42)
(43)
which the
dif
is
constant.
u x
If a
(V x v)
= V (u
v) u
V v.
(46)
The expansion
Vv=V
v) a
(a
+ (V x
v)
a.
(47)
or
of
=v + V
= \ v + V (d r
(d r
v) dr
.
v)
+ (V x v) x
+ \ (V x
v)
dr,
(49)
x d r.
(50)
Application to hydrodynamics.
The dels of the second order are six in number.
F"
(52)
wv &v
+ Vp
V-VJ^vV^f^+^
d x
d y
9
2
V V
place s
is
Laplace s operator.
The
Equation.
(51)
z2
VVF=0, V satisfies
If
operator
may
interpretation of
La
be applied to a vector.
VV. V = VdivV,
V V x V = div curl V = 0,
Vx VxV=curlcurlV = VV.V- V. VV.
The geometric
177
V V as giving
(55)
(56)
(58)
the disper
sion of a function.
Let the
particle moving in a plane curve.
Obtain
the
formulae
the
for
be
the
plane
ij-plane.
compo
nents of the velocity parallel and perpendicular to the radius
1.
vector
These are
r.
rp
where
is
is
kxr,
makes with
i,
and k
and
y.
12
VECTOR ANALYSIS
178
4.
</>,
Reduce
Show by
5.
V is
the operator
6.
By
where
7.
method given
V of a triple product
a function of
#, y, z in
= (r
d, e, f
in Art. 63 that
the second
the derivative
is
method suggested
the direct
z.
case
r) r,
computing V find
[a be] each term of which
for
(r
a)
e,
=r
t,
Compute
V V F when Fis r 2 r, -, or -r
r
r*
V V V, VV V, and V x V x V when V
,
8.
Compute
equal to r and when
is
equal to
-j>
is
Expand
V x V V and V V x V in
Show by expanding
Prove
in terms of
i, j,
k that
VV.
and
(VxV)
i, j,
77).
Vx VxV=VV. V-V
11.
terms of
W=Vx
(Vx
k and
CHAPTER IV
THE INTEGRAL CALCULUS OF VECTORS
79.]
Let
space.
Let
sum
of the function
thus
The
in
From
the
limit of this
sum when
the elements
dr become
W along
infinite
line integral of
.dr.
dT
and
= dx + j dy +
i
dz,
r W dr = r
[W+dx -\-W*dy +W%dz\.
t/
t/
(7
(1)
C7
The
the
is
supposed to
VECTOR ANALYSIS
180
C and
method
If one
site directions.
the other by
of description be denoted by
(7,
= --
dr
/W
JI c
-G
d r.
C is
such
(Art. 25).
when
r
its
point of application
of the curve
C to
ff
J
Theorem
The
scalar function
is
moved from
dr= fr
line integral of
V(x,y,
z)
dr.
the derivative
That
F (#,
VF
of a
of the function
its final
y, z) at
is,
Vr.dr =
F(r)
- F(r ) =
V(x,y,z)
- V(xy*d.
By
dr
definition
fdV= F(r)
Theorem
The
F(r
V F" = d V
=
Ffey,^)
line integral
of the
- V(xyz.).
derivative
The
is
(2)
V F" of
taken around a
curve vanishes.
fact that the integral
denoted by writing a
is
To show
(3)
initial
Jo
Conversely
V (x, y, z)
if
function
Hence
fvF.dr = 0.
Hence by (2)
Theorem
181
of position in space.
Given
W = V V.
To show
Let
The
line integral
J
di
C from
to r is a closed curve.
to r
W
c
J/ c
-c
fw.dr = 0,
/
/Wdr =
J
C from
Hence by hypothesis
/W*cZr+
j
Hence
dr
W*dr.
dr.
of integration
VECTOR ANALYSIS
182
The value
z.
infinitely near
together.
y,z).
But by
VV
definition
= d V.
dr
Hence
The theorem
is
therefore demonstrated.
Let
a system of axes
k be chosen so that k
i, j,
the force
w=
f*dT
w=
Jr
Hence
when
its
is vertical.
Then
point of application
r to the position r is
Jr
(z
# k
z )
dr
= g (z
J r gdz.
I
z).
Evidently
equal at each
V is one
to V any
force-function, another
arbitrary constant.
the force-function is
by adding
ample
is
if
V=w = g(z
Or more simply
The force is
-z).
V= g
f = VF=-0k.
z.
In the above ex
V (z,
y, z)
exist, is
183
work done by
that the
the force
when
its
w=
If
integral vanishes
this
dr
closed
contour
And
conversely
if
= VV
V= w +
In case there
is
work done by
closed circuit
The
friction
friction
is
a particle
is
is
For the
exist.
moved around
in a
never zero.
by a fixed mass
a unit mass
masses.
f
M upon
is
propor
the distance between the
tional
const
no force-function can
when
work done
M
= -c-r.
6
r
This
It is
is
function V.
M
?
But
dr
= r d r,
= -c$r
r dr
I
Jr
d r.
=-cM
M---1)
}
r 3
VECTOR ANALYSIS
184
By
chosen as
If there
<
where r r r 2 r 8
are the distances of the attracted unit
mass from the attracting masses
v M%
B
,
on the assump
tion that none of the mechanical energy has been converted
into other forms of energy during the motion.
The law of
This
is
derivable
no
loss of energy.
function exists
is
A mechanical
Let
(x, y, z)
tude
is
element.
185
d a.
Form
which
is
the
the
sum
sum
surface.
The
limit of this
is
sum when
is
W over
written
(4)
The value
da
or
and da be ex
three components parallel to i, j, k
of the integral
= dy dz
scalar.
is
i -f
dz dx
If
+ dx dy k,
(5)
The
da
is.
integral
That
is
is,
which
taken over.
Hence the
sides
surface integrals
differ in sign.
In case the
surface be looked
is
speak) the
f.rfa
s
VECTOR ANALYSIS
186
unit time
is
(6)
///
CO
Written out in the notation of the ordinary calculus
this
becomes
I
3Y,
The
where X, F, Z are the three components of the flux f
familiar
when each of the three
theorem is perhaps still more
.
components
is
treated separately.
(8)
This
is
known
as Gauss s Theorem.
X and
function
187
sphere or cube
ff f-da = V-f dv
where d v
is
V.f =
fff-da.
dv J J
Hence
(9)
This equation
may
face
when
From
(10)
this definition
all
f fV x
JJ8
This
is
JO
w-dr.
great importance in
number
W-da=
all
On
(11)
account of
its
VECTOR ANALYSIS
188
First Proof
(Fig. 32).
W = ~{ W
III.,
+ V (W* 8 r) + (V x W) x
8 r
is
where the symbol 8 r has been introduced for the sake of dis
tinguishing it from d r which is to be used as the element of
integration.
The
integral of
W taken
FIG. 32.
first
term
I
2
f (V x W) x
A
fv(W-Sr).<Zr
Sr-dr.
fw
JA
.dr
= iw
Cdr
JA
Jfv(W-Sr).dr
A
Hence
Cw*di =
JA
189
fvxWxSr-dr.
JA
=| JV xW-Sr
When dr
is
12
x dr.
of the triangle,
Sr
is
also
Sr x di
vanishes because 8 r and d r are collinear.
when dr
is
In like manner
When dr
is
1 at which
W= W
the
is
|r x
dr
is
the
=V
holds.
Perform the
integration
fw-dr
JA
2/
JA
VECTOR ANALYSIS
190
da
3
is
W.
2 V x W-rfa=JJv x W
In adding together the line integrals which occur in the
member
first
that all
necessary to notice
mentary triangles except those which lie along the bounding
curve of the surface are traced twice in opposite directions.
Hence
it is
all
sum
which
arise
surface
to the line in
Hence
da
= fW
d r.
Jo
Second Proof
Let
C be any closed
Let
to C.
S
C
itself.
FIG. 33.
contour
C".
191
/V.dr = t/f
t/
fwdr =
But
d(W-
and
Hence
J*W
--
CdW *ST.
form a perfect
differential.
The expression d
The value of the
(W
8 r)
is
its
by
dr
at the
integral
is
end and at
Hence
/^
Jc
Hence
and
But
or
fsw.dr- f
fw-rfr=
W = 9W d
J
-K
W = PW
&x
-^
a?
3W
d!
+ ^d
and
vx
-7T
&y
dJ y
dr
3W k
-^
d r,
VECTOR ANALYSIS
192
dT
i.Br-~
ox
similar terms in y
and
-8r i-dr
z.
[
Hence
sfwdr=/
+
or
fW
Srxdr
similar terms in y
dr
= fV
and
x d r.
8r
r
.
Hence
8r
X dr
is
fw-dr= fv
C and C upon
f
the
da.
in
expand until
starting at a point
coincides with the contour bounding S.
The line integral
will vary
at the point
/
t/O
to the value
it
193
This
sum
of the
equal to the
variations 8
f Wdr=
Or
ff Vx W-da.
(11)
83.]
The converse
vector function
W taken around
is
is
also true.
equal
If
the surface
of the
and
if
this relation holds for all surfaces in space, then TT is the curl
of
function
W.
That
if
Form
V x W.
the curve
bounding
the surface
is
= f Wdr, thenU=Vx
fll. da
S over which
The
factor vanishes.
the integration
any element
Hence
V x W = 0.
IT = V x W.
IT-
is
0.
is
performed be
The converse
and
(U_V
Hence
IT
f W-dr = 0,
f f (TI- V x W)-da =
or
first
(12)
As
W.
therefore demonstrated.
13
of surface
a,
the
VECTOR ANALYSIS
194
A
i, j,
area d
a.
Vx W.da=f W*dT.
When d a
between
W and
maximum,
(13)
W the
value of the
d a will be equal
For
to unity.
this
value of da,
IM
=rfa
rfa=:0
Hence
the curl
VxW
F/V
f W-rfrl
J
(13)
Lda.dajo
of a vector function
W has
at each
which the
line integral of
is
maximum.
The mag
theorem or rather
duce Maxwell
its
converse
may
be used to de
the circuit.
The
around the
Edr.
circuit.
That
is
195
total
bounded by the
circuit.
That
is
B d*.
i
B d a.
JJa
J/E-dr=/l
o
or
x E
of Stokes s theorem
= - B,
curl
= - B.
The
circuit.
flux
That
of
electricity
is
///*
Experiment therefore teaches that
= 47r C f
JJs
VECTOR ANALYSIS
196
By
V
With a proper
H=4
TT C.
The theorems
of Stokes
s theory, in the
form used by
to
demon
V V
W=
div curl
0,
Vx VF=0,
According to Gauss
curl
W=
0.
VF=0.
theorem
VX Wdv=
According to Stokes
this to
the sphere
point
theorem
fvxW-da = CW
fffv-VxWdtf=
Hence
Apply
is
Cw*dr.
The
an infinitesimal sphere.
closed.
Hence
its
dr.
surface bounding
it,
to zero.
V-VxWdv = Jfw-dr =
o
V V
W=
0.
0,
to a
to Stokes s
197
theorem
ffvxvr.<2a = fvr-dr.
to
Apply this
bounding
any
line integral of
VF" vanishes.
the derivative
V
As
Hence the
The curve
any d a,
it
follows that
Vx VF=0.
In
similar
TT of a vector function
divergence
TJ is everywhere zero, then TT is the curl of some vector
function W.
demonstrated.
If the
TJ
If the curl
then
is
V x II of
between the
dels/ viz.
x W*
a vector function
TT is
everywhere zero,
By making
84.]
=V
F",
line, surface,
and volume
integrals,
and the
JYv x W-rfa=
f W.rfr,
(2)
(11)
(7)
it is
transformation of integrals.
number
VECTOR ANALYSIS
198
"
in ordinary
connected with u integration by parts
are
obtained
both
sides of the
calculus.
They
by integrating
those
First
(u v)
= u V v + v V u.
Jc
~Jc
Hence
Vv
di
C V
JG
[uv]
vV u* dx.
(14)
The expression
[u v]
f^Vvdr = -
C V
Jo
Jo
Second
f*
f*
J J
x (u v)
x (wv)*^ a=
=uV
f*
(*
J J
x v +
u*dr.
Vu
x
(*
^Vxvrfa+/
v.
f*
I
J J
(14)
Vwxv-da.
Hence
f*
f*
J J
V^xvda=l
f*
Jo
uv dr
f* f*
I
wVxvda,
J J
(15)
or
&Vxvda=
Third
Vx
(wV
But
Hence
Vx
Jo
uv dr
V?txvrfa,
J J
y)^^VxV^ + V^xV
V x Vv =
(u V v) = V u
V v,
2;
(15)
199
f*
f*
JJ
f*
J J
Hence
f*
IIVO AVt/
f*
f*
J J
S-4
^-J
Jo
Jo
Fourth
,-y
It
(u v)
///
=uV
+V
/>V
v.
+ C C C
r r r
V-vd
JJJV.(T)^=JJJVT^ JJJ
*
Hence
^v
or
C C C ^7uv dv=
v(V^xv) = VXV^*v
Fifth
V (V M x
Hence
In
v)
rfv^xvrfa =
all
surface
rrr^V
Mvda
V^ V
V^i;,
(17)
v^-VXv.
x
v,
fffv^vxvdi;.
(18)
Examples
is
performed.
of integration
given here.
It
is
known
by parts
like those
above can be
all.
limit.
If
u and v
are
VECTOR ANALYSIS
200
JJJ^
fl)
VOV
u)
(^
= V^ V + V V^
= V u V v + v V V u>
24
tf
J J J V- (uvv)dv C f Cu^
vclv==
Hence
^
/
By
/^VvcU
/V^-Vtfdfl=/
/ /
V^
da
r/^V-Vvdi?,
I v^*V udv.
(19)
/ / / (^
V V^
V V w) ^ ^ =
(20)
/ (^
t>
V ^)
a.
following
lw^/u*Vvdv=l
=
where
w is
vwVU"d*
uwVv*d&
I
v\?
u\
[w^ u^
dv,
(21)
to
any misunderstanding.
*
85.]
tions
In the preceding
201
When
ation.
valued, or
fail to
in
VFThe
line integral
dx
= r cos 6,
y = r sin 0,
x
Form
along two
circle lying
0.
path
+ 1,0)
to the point
different paths.
axis.
The value
is
From
d r
(1, 0)
first
/-*
d6
TT.
VECTOR ANALYSIS
202
of the value
the value along one path being the negative
which is a
circle
the
around
The integral
along the other.
2 TT.
to
closed curve does not vanish, but is equal
were false
Art.
79
of
results
the
therefore
seem
It
might
and that consequently the entire bottom of the work which
This however is not so. The difficulty is
follows fell out.
that the function
F=tan
^-
is
-i
F=
tan
TT
-r>
-+&7T,
where k
is
the origin,
differed.
the
Inasmuch
the
by an impassable
origin
barrier.
Any
closed curve
which does
203
It cannot be
the origin.
It
must
it is
first
such point
reducible;
circuit
it
no
around any
reducible circuit C.
all
be marked as impassable
V vanishes
Let
partial derivatives
Then any
barriers.
V is
V fails
C may be
irreducible circuit
its
continuity
may then be
VF" of any function
It may or may not
singular points of
the two circuits are said to be reconcilable and the values of
VF
it
may
be
dered acyclic.
VECTOR ANALYSIS
204
in
It
~^x
draw a
circuit
which
it is
no longer possible
around the cyl
inder
cuit
region
is acyclic.
surfaces of the
number
new region
may
be rendered acyclic by
of diaphragms.
consist of the
The bounding
bounding surfaces of
the given cyclic region and the two faces of each diaphragm.
In acyclic regions or regions rendered acyclic by the fore
going device all the results contained in Arts. 79 et seq.
hold true.
true.
To
unnecessary.
Indeed, even as
much
to the
which
is
the
In this
205
line,
surface,
owing
operators V,
V,
^0** Vv
is
*a)
may
body
V is
be regarded as the
In a homogeneous
constant.
matter exists
V is
tributions of matter
varies
origin,
may
be used to designate
Let
On
yi.
*i)
-r =
x
the vector
O 2
origin.
!>!
Then
(y2
- yi ) j +
(z 2
- *j)
=r
~~ r
2
i-
it
will be denoted
by
VECTOR ANALYSIS
206
The length
of r 12
is
positive.
-i2
= V r 12
r 12
= V
(* 2
- x^ +
(y2
- ^) +
2
- ^) 2
The
integration
that
^2> ^2> ^ 2
is
is,
mains
fixed.
The
integral
/ has
a definite
FIG. 3o.
is
easy, if
the function
The element
of
mass
dm
dm
V (# 2
y2
at (# 2 , y 2 , z 2 ) is
,
2!
2)
Vdv.
r dm
J
what
is
The
in
is
either
of
two ways.
In the
first
/ may be
looked at
place they
may
be
body of which
the most natural
V is
the density.
set of limits.
On
hand the
integral
/ may
be
207
is
the function
V vanishes
y2
2 2)
all space.
The operation
Pot
The symbol
Pot V,
is
r=fff
y"
* 2>
rf* 2
dy^ dz y
The
#.
2,
(22)
potential,
yv
z2
with
regard to
variables
and Pot
V therefore
have
The function
has hitherto
may be necessary to note that although
in
of
matter
been regarded as the density
space, such an
It
interpretation for
Whenever
it
V is
i
of
integral
is
"
< 22 >
represents, that
is
that
it
is
formed
and
VECTOR ANALYSIS
208
WO
may
of opera
y2
2,
z 2)
be written down.
Pot
W (*
W=
* 2)
y*
dx,
is
the
sum
rfy. rf, r
of vector
(23)
quantities
and
is
of a scalar function
tion in space.
WO
2,
If
2/2 ,
V was
z2
z2
2,
Pot
W=
Pot
X+
Pot
z2
2,
+ kZ <> 2
yv
z 2)
Y+ k Pot Z.
(24)
taken
over
all
If,
Evidently therefore
if
Jhe potential
is
to exist
Let
= r sin
yr
6 cos fa
sin 6 sin fa
z = r cos
dv
209
= r sm0
2
0,
dr dO
is
d<f>.
=r
r i2
PotF= CCCVrsmff dr d0
or simply
If
the
function
dfa
For
far as
the
distant
let
= 00
= 00
dr d0d<f>
dr d0
d<f>
= QO
Hence the
triple integral
taken over
space outside of a
supposed to be a large quan
all
14
VECTOR ANALYSIS
210
If
the function
V remain
Vr
remains finite when r approaches zero, then the integral converges
as far as regions near to the origin are concerned. For let
Vr<K
f CCrrsmddr d0
r
dO
triple integral
R (where
than 2 Tr2
of radius
regions near to
concerned.
R is now
e.
the point
d<f>.
If at any point (x 2 y2
i.
d<t>
taken over
KR
is less
< C C fadr d0
CCC
Hence the
d<f>
(x x , y v
far as
z x ), the function
0/V
becomes infinite so
at
a point near
(x
2,
y2 z 2 )
,
remains
The
to
from
are concerned.
are
Zj)
near
to the
is
point (x 2
y2
z2)
before.
It is
however indispensable
to
know whether or
not an integral
They belong
211
functions and
may
be treated as above.
The
88.]
potential
is
The
is
first partial
therefore
LIM
The value
^[
of this limit
may
be determined by a simple
Consider
device (Fig. 36).
the potential at the point
FlG 36
-
If
changed.
by the
changed from
where
v C*2> y*
A# 2 = A x r
**) to
v 0*2
VECTOR ANALYSIS
212
Hence
[Pot
V(x v yv
z^ +
[ Pot
LlM
Hence
A #! =
It will be
AX,, yt , *,
= [Pot F<> 2 + A
HX. + A
..,,, .t
a;
2 ,y2 ,
- [Pot
j
/
limits
of
integration.
the distance
x l be denoted by
The
regions
Pot
V (a, + A *
y r * 2) f
M and M
and
let the
Then
1
.
rrr
JJJ m
Pot
///
J J JM
/
"\F
(
r
I O/ft
(II
t/n
I
^j 2
/*/*/*
ill
*
^O/,
*y
*\
1^
f V O1 tl
9 ^
*V*
V91 " J
/
rft>,+ / / /
J J Jm
A ^j
is
<)
T YL
replaced *by
^_Mrf r2
ar
lf
yi,
its
equal Aic 2
213
C r
J Jf J
my(*
A
Or,
a;
"
^,
==0
LIM
v yy
g2
r12
= rrr
jJJ
LIM
r 12
9 X
when A
-Jf
;
,
as a limit.
limits
are taken gives incorrect results. This is a question of double limits and leads to
the mazes of modern mathematical rigor.
If the derivative of
function
V must
V is
supposed to be
finite
VECTOR ANALYSIS
214
Then
T/nvr
i <t\ jvi
rrr
A^ojjj
V(Y
V
^o*
\
OT
<>/
fo
T is
z \
^9y
riaAa;2
finite
Ji
and that
/\
reduces to merely
3 Pot
F= r r r
J1/1
J JM
d xl
is
i
r 12
3# 2
dv*
Pot
3^2
ables x v
y^
Zj,
it
be written
may
Vr
set
As
of vari
V upon
Then
To
Pot
F= Pot V F
.3 PotF
V may be expanded
.3 PotF
^J
I
(27)
.
I
T-
SV
+jPot 3-l-
lr
*
PotF
^
in terms of
215
i, j,
may
be placed under
be
integration and the terms may
the sign of
by means of (26)
The curl
function
VX
and
W are equal
divergence
collected.
Then
respectively to the
and
W = Pot V x W,
curl Pot W = Pot curl W
Vj Pot W = Pot V W,
div Pot W = Pot div W.
V, x Pot
or
and
(28)
or
These relations
above.
It is
may
of higher order
v v Pot r= Pot v
VF;
(30)
Uf>iac<3*
V- V Pot W = Pot V V W,
V V Pot W = Pot VV W,
V x V x Pot W= Pot V x V x W.
(31)
(32)
(33)
Theorem: The
differentiating operator
The
VECTOR ANALYSIS
216
otr_ r r r
J J J ,f
xl
SV
r 12 2x 2
J.
-LJ-LJjl
\^o
V2
^2
**
2^
a V2
12
LIM
rrr
T r(g a>
y ff
region
The element
therefore equal to
dt? 2
L
-
Hence
of
volume dv z
=A#
of
the
r
da.
r !2
volume d v 2 ^ n *^ e
di, 2
Hence
$ bounding
in the region
,^2^-^2^2112)
f
JfJfJm-
= TfV
JJ
The element
fgr
i2
g a)
re gi
^s
equal to
= -Aa; 2 i.da.
/Tf
J\X^J J Jm
>
Consequently
i-da.
^ r !2
(34)
is
217
M with
The volume
the surface
derivative
of
M.
V at
when
the surface
is
S where V becomes
discontinuous.
The
S which bounds
M becomes
upon
V to
surface integral
is
the region.
infinite.
By
virtue of
Vr* < K.
S be
da
<R
a sphere of radius
2
a quan
6 d<f>.
<//*-.
s
JLJT^
remains
V is
finite as
M becomes
infinite.
Consequently provided
V exists as
=
holds as far as those regions of space are concerned.
ceases to be continuous or becomes infinite
Suppose that
Surround
VECTOR ANALYSIS
218
this point
all
the region
denote the
T not
included
Then
r r r
9V
=JJj^^
By
Let
dv * +
r r
JJ*-^
Vr<K
V
//>"
<//.*
d6
d^
R
becomes smaller
may
or
when
a limit
and smaller.
3V
zero.
becomes smaller
SPotF
SV
product
Vr
remains
finite.
remains
however,
finite at
approaches zero.
becomes
infinitesimal.
219
Con
5 Pot
7\
V _ Ap Ob dV
V
VI*
where
I is
near to
it.
<
K,
r !2
5PotF
= Pot SV
TT
(a?
,
VI
But
<K,
its
limit
and
Within
this surface
V is
finite
surface integral
F.
without,
it is
zero.
The
VECTOR ANALYSTS
220
SPotF
=--- =
dX
Pot
9V
-^r
v%i
cannot hold.
Similar reasoning may be applied to each of the three
x
By combining
partial derivatives with respect to v y v z r
the results
it is
Vj
PotF= Pot V2 F+ f f
da.
(35)
F be any function in
F exists. Surround
Let
Pot
V.
over
all
when
(27)
This formula
V PotF=PotV
1
F.
a point (x x yv Zj) if
remains always
or becomes infinite at a point (x 2 y2 z 2 ) so that the
V1
product
finite,
if V possesses no surfaces of
and
the
discontinuity,
if furthermore
product V r remains finite
and
remains
as r becomes infinite.
tests
must be
formation that
and so amenable
will in general be
assumed
In cases in which
S of
to trans
to be
221
such a
possesses a
discontinuity
frequently found convenient
to consider V as replaced by another function V which has
in general the same values as Fbut which instead of possess
surface
it is
of
actual
V becomes
VV
//.
in addition to the
volume integral
>VF
U
SSSr*J
*J
10
12
and other
Pot V X W, New V
met in the future must be regarded
as consisting not only of a volume integral but of a surface
possesses
integral in addition, whenever the vector function
In like manner Pot
W,
similar expressions to be
a surface of discontinuities.
It is precisely this convention in the interpretation of
formulae which permits such simple formulae as (27) to hold
in general, and which gives to the treatment of the integrat
ing operators an elegance of treatment otherwise unobtainable.
VECTOR ANALYSIS
222
The
irregularities
which may
arise are
The
90.]
first partial
also
may
= CCC
Jj J
*>-
like
S Pot
3/21*2)
manner
*,
/r/-
\9
..
/..
( 3 7)
/* /* /*
""I
p^
In
2>
~
..
\2
~ \2^ia
/^.
Or
^!W=
and
But
1
If
-!
*"-,-
" " d,
r
(38)
12
12
an attempt were made to obtain the second partial derivatives in the same
it would be seen that the volume integrals no longer converged.
manner,
V Pot F =
Hence
/// ^f- d
223
vr
(39)
In like manner
^,,
and
Pot
W = fff
(40)
^*
Each has
its
own
Conse
interpretation.
is
integrals
may
exist
is
divergent,
(42)
12
12
.3
r
If
= Max W.
then
V Pot F= New F
VxPotW = LapW
V-PotW = MaxW.
The
first is
written
(44)
12
New
V and read
The Newtonian
(45)
of
V!
VECTOR ANALYSIS
224
The reason
V represent the
Newtonian
is
that
if
density of a
and magnetism.
of magnetization
For instance
I,
if
due
to the magnetization.
To show
in magnitude
x v Vv
z i)
due to
dm
is
equal to
Hence the
force is
where
V denotes the
density of matter.
integral
may
be expanded in terms of
i,
j,
225
k,
12
The
three components
may
12
(42)
It is in this
is
generally found in
books.
W (#
f electric flux.
z
The magnetic force at (x v yv
2 y<p 2 )
due to an element of current d C 2 is equal in magnitude
,
to
dC*
T*2
The
The
is
dC 2 and
element of current
12
is
dC 2
The
r3
T
12
15
force
is
therefore
VECTOR ANALYSIS
226
c r r rJi2 x d CJ2
///
This integral
may
W (x v y v *
2)
r r r*
-J J J
be expanded in terms of
= X(x v
i
yv
The
i,
j,
-^i)
i+(y-yi)J+
k components of Lap
i, j,
k^O
2,
Let
k.
z^ + j Y (x^ y v
4-
r i2=(^ 2
".-
yv
z^)
z%).
(a-*i)k-
W are respectively
C.-^^
(43)
Lap
(if
W = 3 gPot Z
S Pot
may
r=lP^_a|2t^
To show
be written
,,
(43)
that
if
227
is
therefore
r 12
dv%
is
seen to be
12
This integral
may
z.
Let-
*ia
i)
xv yv
zl
A+
(y a
~ Vi) B +
(*2
- *i) &
If instead of
O -x
x v y& z z
oq the form given by Maxwell.
Max
w -fff (*.-i
(44)
1
Maxwell
9.
VECTOR ANALYSIS
228
The Maxwellian
It
may
of a vector function
is
a scalar quantity.
Max
W = -=dx-- + SPotF +
l
The Newtonian,
--
3y l
9z l
much used
(if it exists) as
(44)"
in ordinary treatises
upon
to
The Laplacian
function.
and
is
is
The Maxwellian
and yields a scalar function.
yields
its
the potential.
of
derivatives
derivatives.
If
Let
91.]
exist
and
and have
(29)
V V PotF= V
and
V.
(45)
and by
(45)
and
VF.
(46)
W = V Pot V. W= Pot V V
Pot W = Max W,
V Pot V W = New V. W.
VF = Pot V
(27)
V Pot V = New F,
V.Pot VF=Max VF.
But by (45)
Hence
Pot
Then by
VV
V
Pot
W.
VV
Hence
Pot
229
W = V Max W = New V W
= Pot VV.W
By
(28)
But by (45)
and
Hence
By
Hence
And by
or
Hence
And by
Hence
or
x Pot
W=V x
Pot
V
V
= Pot V x x W.
V x Pot W = Lap W,
V x Pot V x W = Lap V x W.
V x Pot W = V x Lap W = Lap V x W
= Pot V x V x W.
(48)
V V x Pot W = 0,
V Pot V x W = 0.
V Lap W = Max V x W = 0.
(49)
III.
V
V
PotF=
x
0,
(52), Chap.
VxPotVF=0.
V x New V = Lap V V = 0.
(50)
V x V x W = VV W - V V W,
(58), Chap. III.
V.VW = VV-W VxVxW.
(56),
or
(47)
Chap.
III.
V V Pot W New V W
V V Pot W = V Max W
V X W,
V X Lap W.
Lap
(51)
if
desired.
Thus
New V = Max
V F,
(46)
(47)
div
W = Lap curl W
div Lap W = Max curl W =
curl
curl
V V
Pot
Lap
New V = Lap
W = New div W
(48)
(49)
VF=
Lap
(50)
curl
W.
(51)
VECTOR ANALYSIS
230
Poisson s Equation
Let
92.]
"be
PotF
has in general a
definite value.
Then
V V PotF= - 4 TrF,
c>
PotF
This equation
The
is
PotF
32
known
Pot r= Vj . New
The
PotF
as Poisson s Equation.
V V
32
subscripts 1
clearly
(52)
as the potential is a
The proof
is
as follows.
*
F= Max V r=T f C
2
to
V
^*
to
which the
dv v
designate
differen
But
and
Vj
V (v V
2
r vt
= - V2
= V2
ru
V F+ V Va Va
2
- V2
v,
.v.r=rv. v2
V V
2
is
Hence
r !2
- V2
WV
+ v..(V
!2
(V
\
r !2/
But
That
V V = V V2 V
!2
y 13
Integrate
231
to say
Vj
satisfies
= 0.
Laplace
Pot V =
Equation.
f f fV
=rr
J J
^v
-x
V2 Vd v 2
(53)
.rfa.
And by (8)
7*12
The
VECTOR ANALYSIS
232
of the
As
That
<
Vr <
when
K, when r
i)
and
is
large
small.
= - Va
x
l
= -^
V,
da =
r r2
*3
4*3
**
12
ii
Then
is
Introduce
(#i> #i
-fiT,
is
sm0 d0
dd>.
!2
as its limit.
Hence when
-R
becomes
its
limit.
1
t
da
r !2
<r
Hence the
= --r5 r 2 sin
7*v
d 6.
over the
233
V be
is
and equal
practically constant
to its
value
V (*ii Vv *i)
at the point in question.
- f /Vsi
sintf d8
Hence
when
fssintf d
the radius
zero as
its limit.
=-
Hence
>
d<
ff, rv
=- 4 * F
<
V- VPotF=-47rF.
and
In like manner
if
is
< 68)1
(52)
V V Pot W = - 4
The proof
ponents.
TT
W.
(52)
W into
its
three
Let
vV. VPotF=-47r F,
V V Pot Z = 4 TT Z.
Consequently
V V Pot (JTi +
Fj + Zk)
= - 4 TT
(JTi
+ Fj +
com
VECTOR ANALYSIS
234
Theorem
If V and
that their potentials exist in general, then for all points at which
and
Poisson
and continuous
are finite
those potentials
Equation,
V- VPot r=-4irF;
V V Pot W = - 4 TT W.
The
satisfy
(52)
(52)
points at
V and W become
which
made
taken up here.
It
93.]
Hence
was seen
V VPotF = V- NewT=Max
V New V = - 4 V
VF1
TT
(53)
Max VF=-47rF.
or
In a similar manner
Hence
or
it
By
W=
Lap V x
-7
is
4-7T
where
and
W =
t
W =
-r
4-rr
Lap
4-7T
-
New V- W.
4?T
(54)
(55)
2,
NewV- W =
-:
(54)
W = W! + W
Let
at
Newdiv W.
4-7T
-
(56)
(57)
235
multiplied
Equation (55) states that any vector function
4
TT is equal to the difference of the Laplacian of its curl
by
W,
of its divergence.
Lap
4?r
Furthermore
V xW=
V- V x Lap W r
4-7T
-7
Hence
V.W = divW =
W = - j Vx New V W = 2
VxV Max W
Hence
zero.
(58)
But the
is
is zero.
= curl W = 0.
(59)
and
of
curl.
This division of
W into
is unique.
In case a vector function has no potential but both
first
its
curl
may be
has no divergence
W=4
Let
7T
Lap V x
W-4
New V
W + W.
(55)
7T
As before
4?r
and
V
1
Lap V x
W=
V x New V W
4-7T
The divergence
part of
V V
4-7T
Vx
W=
VxV Pot V W =
0.
7T
x Pot
VECTOR ANALYSIS
236
4?r
x Lap
VxW =
VV
Pot
=
4
-4?r
~ V V Pot V X W.
W - 4?T
W = -- V P o V V x W =
P ot V x
Hence
^
4-7T
Hence
4?r
curl of
V VPot V x W = V x W.
is
Lap
-r
47T
into
V V x W = 0.
for
The
Vx
7T
VV
VxVxPotVxW
4-7T
which
is
T: 7T
Thus
the
New
divergence of
is
no
Moreover
W= V W
part
VxW
Hence
divided.
first
l.
2.
4?r
New
W.
is divided.
Hence as the first part has no
the
third
have
can
none. Consequently the third
divergence
This proves the
part
3 has neither curl nor divergence.
statement.
into
which
By means
it
may
237
Definition
divergence of which
said to be solenoidal.
way
Wv W
two parts
into
They have
With
solenoidal
is
and
stated.
4?r
Lap V x Wi
Applied
to
an
gives zero.
=V
That
respect to
or curl
is
-j
4-rr
Lap Wi
= Wr
either
W =
an irrotational function W
New
_ _L New V
(60)
of
these opera
is
and
4?r
7T
irrotational function
Lap
Lap and
That
With
which one
all
4?r
tors
of
That
0.
or
2,
(61)
the operators
div
is
=-V
-i-
7T
New
W =W
2
(62)
VECTOR ANALYSIS
238
With
a scalar function
respect to
div and
or
the operators
New,
4-7T
and
also
Max and
-=
4?r
That
is
-V.-i NewF= V
(63)
4 7T
~--Max VF=
and
V.
4?r
Pot and
the operators
or curl curl
47T
That
Pot
4?r
With
respect to
an
=V
is
irrotational function
Pot and
That
With
respect
VV W
.
to
Pot Wi
4?r
4?r
_ _L Pot
= Wr
the operators
VV
is
= - VV -L Pot W = W
.
operators
Pot and
4-7T
That
(64)
is
V V
(65)
the
_ JL
Pot
v v v= - v v
-i- Pot
-^V V W = - V V 4?r
Pot
4?r
With
a solenoidal function
respect to
F= v
4?r
4?r
and
239
Pot
W = W. (66)
the differentiating
V V
are equivalent
and
respect to
Wr
irrotational function W
V VW =V
x
With
an
(67)
the differentiat
V V
are equivalent
That
VV
is
VBy
and
VW
= V V-W2
(68)
and
by means
TT
4^^=- V.NewF
W = V x Lap W - V Max W
4<7rPotF=:-Pot
4 TT
TT
New Max
47T
is
an operator which
is
equivalent to Pot.
Lap Lap
For solenoidal
vector
VECTOR ANALYSIS
240
For any
gives
of the
irrotational
part;
them
will
These double
The
functions by
vanishing identically outside of certain finite limits deter
mine for all practical purposes the limits of integration in
all space.
two functions
Z7,
of position in
or potential product, as
is
it
may
space.
be called,
Pot
(71)
One
of the integrations
may
be performed
* 2 y*
yi ,^)
* 2>
Pot
PotVdv,
Ud **
(T2)
W, W" is
(71)
This
is
ried out
One
integration
may
be car
The
mutual
=w
or
Laplacian
vector functions
W"
(x v
yv
,)
Laplacian
241
Pot W" dv t
of
product
of position in space
is
two
the sextuple
integral
Lap(W ,W")
=ffffffw
(*! yi
*i)
x
;nr
2-
(73)
One
integration
may
be performed.
f ( fW"
(^ 2 , ya , * 2 )
Lap
rf
va
(T4)
v yi
LaP
*i)
"
d r
of a scalar function F,
W of position in space
is
and a vector
rf* 2
(75)
By
New ( F, W)
=///W (*
2,
y2
* 2)
New Frf
t,
(76)
integral
Max (W,F)
=/////JV(*i^*i) J- W0r2
W
(77)
16
VECTOR ANALYSIS
242
One
integration yields
Max (W, F)
= - New
F, W).
(78)
By
-(V.NewOPotF=-V.[NewPTotF]+NewtT.NewF
Integrate
ff
47r
|VpotFdi>=-
f f fv.
[Ne
+ C f CtfewU- NewFdv.
4-Tr
Pot
IT,,
Tf
Pot
F New Z7
rf
a.
(79)
The
As
S may
must
vanish.
Hence
4
By
TT
Pot ( U, F)
= f f fNew U New Vd v.
47rW". PotW
(79)
But
[Lap
W" x
Pot
W = Pot W V x
Lap
W"
W" V x
Pot
and
Lap
V Max W"
and
Pot
W=V
-
Hence
4
?r
Hence
243
W]
substituting:
W"
Pot
W = Lap W
Lap
+ Max
W
-V [Max W" Pot W
+ V
[Lap
W" X
Pot
Max W"
].
Integrating
TT
.-
ff fLap W
r c r
Max W Max
/
J J J
Lap W" dv
dv
(80)
Max W"PotWWa.
now
TT
= f f fLap W
+ 11 fMax
J J J
*
96.]
Lap
W"
dv
Max W" d v.
theoretic nature
(80)
of a function-
VECTOR ANALYSIS
244
and in some
The theorems
not.
mathematical work.
Theorem : If
(#, y, z) be a scalar function of position
V
in space which possesses in general a definite derivative
and if in any portion of space, finite or infinite but necessarily
is
continuous, that derivative vanishes, then the function
VF=0.
Given
F= const.
To show
By
(2) page
180
y> *
ft* *i
But
fvr.dr =f<)
Hence
F(#,
Theorem
in space
If
y, z)
F" (#, y,
which possesses
dr
= 0.
= V (xv y v zj = const.
2;)
VV
if
continuous
and
if
V V vanishes
V V V=
Given
V F=
and
for a region T,
J^=
To show
Since
245
const.
S,
Vis
certainly
constant in S.
region T,
this side of
VF
VV
surface
to
it
must be nearly
parallel to the
VT-
da,
S which
VV
The
is
is
not zero.
But
f /Vr da =
Hence
0.
V V
but in
all
in the region T.
By
VECTOR ANALYSIS
246
is
seen to be constant
VV
T of
and
is
zero,
and
a constant value
and
V (x, y, z)
vanishes.
continuous
V VV
of that derivative
V possesses
if
when
differ essentially
eralized as follows
Theorem: If V(x,y,
z)
W;
if
U (x,
y, z)
exists
and
and at
to c
function
is
and
all the
equal to
Theorem :
if
furthermore
boundaries of
and
at infinity
then the
is
if
VV
zero throughout
is
infinity
upon
UV
T and
c.
If
V (#,
y, z)
V V;
if
through
V VV
the normal
component
at infinite distances in
1
of the derivative
The region
(if
includes
its
boundaries.
247
V Evanishes
the derivative
T V
of
is
and
this constant
may
This theorem
may
U V F) =
r^SV/Sr = 0.
V-VF=Oand Ur*3V/3r =
As
for
for
statements
when they
stood
V U = V V,
If
then
and
differ
most by a
at
constant.
V-V7=V.VF
If
VZ7 = VF
=
V U V V at all
and
if
in
V
V.VJ7= V- VF
If
V V 7 = V V F and
any
points
finite
and
differs
V=
and if
V in all the bounding
surfaces of the region and at infinity (if the region extend
thereto), then at all points 7 and Fare equal.
in all the
if
bounding surfaces
and VFare
F/5r)
is
then
?7and
any region I
finite
W"
the
two functions
every point of
in
any
Tor bounding
of the region T.
and
finite
it;
W"
volume
then
is
T or of
equal to
any
finite
W" at
surface
every point
VECTOR ANALYSIS
248
Since
W = V x W", V x
tor function
of a scalar function
(W - W") =
0.
vec
is
Let
(page 197).
VF=W
W".
Then V V V=
The theorem
Theorem
tion
if
W"
definite curls
and divergences
W" and
W";
the divergence of
and if furthermore in
region
then
equal to
Theorem: If
W"
and
W"
are equal;
and
W" are
tion in space
but not
is
is
is
finite
definite
of posi
curls
and
divergences
if
throughout any
W"
W"; and
if
in all the
V V
W"
and V V W"
is
W"
W"
ponents of
tic.
and
are equal ; then
entire
the
region T.
throughout
equal to
The proof is given by treating separately the three com
and
and W".
T may
The
A region which
region
If it encloses
no region
it is
aperiphractic.
249
SUMMARY OF CHAPTER IV
The
W along a curve
C is
defined as
Jfc
The
Wdr=f
J
V V of
(1)
a scalar function
versely
if
is
zero
the line
is
taken
ri
(2)
(3)
C W dr =
Jo
if
and con
the derivative
/ TO
and
0,
then
W = VF.
Illustration of the
The
is
= ff
Theorem| The surface integral of a vector functiorTtaken over a closed surface is equal to the volume
integral of the divergence of that function taken throughout
Gauss
VECTOR ANALYSIS
250
= f f {Xdydz+ Ydz
if
Z be
7
X, I
Stokes
dx + Zdxdy],
(8)
W.
And
surface.
function
TJ
W taken
of a function
curl of
//,VxW.*.=/o W.*r,
and
if
is
the
W.
ffjj da =f W
rfr,
then
TI
=V
(11)
x W.
(12)
due to Faraday.
and Gauss
a vector function
a scalar function
is
is
curl of
Vv
ff
di
JJ8
t/O
\u
v~]
*/
Vu
rf r,
(14)
rr
JJS
*/ */
r vVu
t/O
a r,
(16)
C CuV *vdv =
/Y vu
Green
/
da=- r r
V v dv =
da
.Vi;-i;V.Vw)rfi;=
__
x * dv.
(i8>
f T TwV -V v
f ttV-y -da
= if v V ^
Kelvin
A/!*
(17)
Theorerii:
x v
ii fV u*vdv,
uv d&-
251
vV *V udv,
f C (uVv
dv
(19)
t?Vw).rfa. (20)
generalization:
i I Tw^7u^vdv=
i?
wV
i^
w^Vv-rfa
da
//
T T TV V
[w
V w]
rf v.
as the potential
is
(21)
defined
by the equation
Pot
r=
Pot
V(xyv Z^
=*?
yy *
dxt dy 2 dz y
^^2 ^y 2 ^^-
VPot T=PotVF;
V x Pot W = Pot V x W,
V Pot W = Pot V W,
V V Pot F= Pot V VF,
(22)
(23)
(27)
(28)
(29)
(30)
VECTOR ANALYSIS
252
V V Pot W = Pot V V W,
(31)
VV
(32)
W = Pot VV W,
V x V x Pot W = Pot V x V x W.
The
Pot
(33)
V are commutative.
The
known
as the
__
New T=
Lap
Max
W=
f*
f*
W =j
*19
-^
f*
fO? ^9 /
\ Ay *
^^
^-^-
\XT ^7*
J J
?y
i ***.
(42)
2 ^
2
^^2
^2/2
dzv
( 43 )
12
2>
I
dy 2 dz2
rf^2
2*
rf^2 rfy
d^2
lows:
V Pot F= New V,
V x Pot W = Lap W,
(45)
(44) and
V New F= Max V F,
V Max W = New V W,
V x Lap W = Lap V x W,
(46)
(47)
(48)
Lap
V
V V
The
potential
W = New V W Lap V X W
= V Max W - V x Lap W.
V. VPotF=-47rW.
(52)
Lap
divided
is
That
(52)
4-7T
Hence
(51)
V. VPotF = -47rF;
F=
W=
(50)
is
and
(49)
0,
New V = Lap V V= 0,
Pot
W = Max V x W =
253
V.NewF,
(53)
(55)
into
New V W.
7T
two
of
parts
which one
is,
is
solenoidal
exists.
must be added
vanish.
A list
(53),
(55)
and which
operators.
function, and
47T
Lap
4 7T Lap
-47T
Wj = V x
New V. W,
= 0, V
=-V
7T
Lap
4?T
Then
Wr
(60)
W =
(61)
New W2 = W2
(62)
VECTOR ANALYSIS
254
f_V-
Pot
-NewF = V
(63)
47T
Max
VF=
V.
7T
=V
-- - Pot VV W = - V V
4
x Pot
7T
[--4?r
Pot
- Pot
L- -r
4?r
v.
- -
Pot
7T
= W,
=W
(64)
(65)
V V W = - V V ! Pot W = W.
4?r
(66)
-V-VWj^VxVxWj
V V W = VV W
(67)
(68)
V = - Max New V
4 TT Pot W = Lap Lap W - New Max W.
4
TT
Pot
(69)
(70)
may
be.
grals.
of theorems of
a function-theoretic nature.
By means
of
tion
Among
tion.
the exercises
number
the text
is
255
EXERCISES ON CHAPTER IV
I.
If
is
integral
is
a vector quantity.
That
is
Show
that
closed curve
Show
further that
if
V is
constant
constant.
Hint
it
If
2.
is
x dr
=/w
J
c
is
a vector quantity.
of the function
W.
It
may
If c is
H
1
The
first
(cVW cVW)
da
= c/ Wxdr,
worked
out.
Max-
VECTOR ANALYSIS
256
H-c = c.
and
]JJ V Wda- J J V (W
8
Show
when
a)
is
is
This
is
a vector quantity.
Show
that surface.
That
is
be constant.
4.
If
may
quantity.
Show
that the
skew
It
is
a vector
is
bounded by
the surface.
That
257
volume
is
integral of
5.
The work
potentials of
Fand
W exist.
Many
may
Then
New V =
V Pn V(x v y y *
t
=i^
Lap
Max
W =fffv
12
W (x v y v
W (z
pu
2,
yv
2)
d t> 2 ,
2)
dv v
z^dv v
(81)
(82)
(83)
(84)
c c r
-JJJr^rdvr
17
VECTOR ANALYSIS
258
By
exercise ( 3
It can be
)/// V
shown that
if
v)
(Pit
V is
d v*
New V
radius
when
exists,
small.
indefinitely
Hence
NewF=PotVF.
or
(85)
W = Pot V x W,
Max W = Pot V W.
Lap
By means
x Lap
it is
(86)
(87)
W = Lap V x W,
VxLapW=i
I^ 12 VV-W
*J
Hence
Hence
An
x Lap
f*
V-VWdi
l
J *Jf^ 12
V Max W = f/JJPii V V W
and
7.
f*
f*
di? 2
%} <J *J
dvv
W - V Max W = -ffffv V V W d v
x Lap
integral used
W - V Max W = 4
by Helmholtz
is
TT
W.
(88)
W be a vector function
H (W) =///
if
Show
Wd
that
if
259
<9
"2"
V diminishes
so rapidly
when
(91)
F),
(92)
=Jff (V.
Pot
(93)
(94)
(95)
Pot Pot PI
H ( F) = - -L
J
(96)
(97)
7T
7T
8.
(98)
9.
is
Show
Theorem.
W into
two
parts,
page 235,
unique.
10.
Treat, in a
manner analogous
to that
upon page
220,
CHAPTER V
LINEAR VECTOR FUNCTIONS
97.]
AFTER
down
One was
The treatment of
and new symbols
and vector
the
first
homogeneous substitutions.
new
ideas
potential, that
to
is,
V,
V, Vx,
The treatment
symbolization.
The
= CT
(1)
r.
more general linear function
be
obtained
may
by considering the components of r individ
Let i, j, k be a system of axes. The components of
ually.
is
a linear function of
r are
i
r,
r,
r.
may
r,
c2 j
r,
c3
r.
The
as the
(Cji-^ + j
vector r
is
j-r)
(c a
(c 8
261
k-r).
(2)
Its
r.
components
components of r each
and c v
strain
homogeneous
axes, a point
= ix + j
becomes
or
i c
i c
c 2, c ,
3
-f j c 2
+j
<?
+ bz
y
+
r
2 j
3 z,
r.
is
But
in case the
in a dielectric.
E
The
the
= i%
i*D +
phenomena
by
different
Thus
.D + k&gk-D.
2 j
is
of electricity,
isotropic bodies.
98.]
It
is
VECTOR ANALYSIS
262
Definition
vector r
is
when
the components of r
along
If
and
and
0,
c,
if
(3)
3 z,
then r
a linear function of
(The constants a^ l v c v
etc., have no connection with the components of a, b, c par
allel to i, j, k.)
Another definition however is found to be
more convenient and from it the foregoing may be deduced.
is
Definition
r.
sum
of
vectors.
when
is
/(r 1 +
r2
)=/(r )+/(r a ).
1
(4)
Theorem
If
the function of
r.
/0r) = a/(r),
And
(5)
hence
/(a
=
The
obvious
f<Ji)
+ .-)
+ <**f (r a )+ 8 /(*8) +
r1
a 2 r2
a3 r3
(5)
/(2r)
In like manner
/ (n r)
where n
Let
is
any positive
= 2/(r).
= nf (r)
integer.
is
is,
Then by
the relation
i r )=-?./
/ (.i)
m (,).
\ m
\ w / =/(
/
Hence
That
263
To show
/(0)=/(0 +
Hence
But
/(0)
/(O) =/(r-r)
= 2/(0).
= 0.
=/( r
+(-r)) =/(r)
r=
Hence
To prove
0)
Hence
*****.
=a
J (v xi}
=a
~
VECTOR ANALYSIS
264
LlM
=a
v
(ar)=ar.
/(") = / 00
Hence
mined when
known.
Let
l=/(a),
m=/(b),
n=/(c).
Since r
is
it
be expressed as
may
= #a + yb + 3C.
/ (r) = x + y m + z n.
r
Hence
99.]
expressed as
i c
2 j
c3
r.
In like manner
b3
ap a 2 , a 8
is
if
this
= a! b
a2 b2
for
a3 b3
owing
to the distributive
(6)
form
( ai
bx
aa b2
a3 b3
.)
r.
(6)
265
No
a^ + agbg + .)
(a^ +
to be
is
(7)
It
verts
affords a convenient
(6).
An
called a dyad.
of
two dyads
is
called a
The
first
are
Greek
capitals will be
By
= aj b
is
read
briefly in the
definition
employed
also.
With
becomes
d>
form
r.
(8)
a2 b2
a3 b 3
The symbol
<P-r
product of
dot
r.
are
VECTOR ANALYSIS
266
The
multiplied into r by direct or scalar multiplication.
order of the factors
and r is important.
The direct
product of
r
r into
=r
=r
<P
is
^+a
(a a
a x bj
When
and
is
a3 b 3
a3 b3
(9)
multiplied into r as
is
When
r.
the dyadic
said to be a prefactor to
<#,
b2
a2 b2
r
r
said to be a post/actor to
r is
multiplied in
r,
as
r.
^ajbj + ajbg +
=b
and
each of which
may
ax
b2 a2
agbg
b3 a3
...
Thus
Theorem:
r
100.]
Definition
Any two
That
is
r.
dyadics
(9)
and
are said to
be equal
when
or
when
or
when
= W r
=r W
W
r =B
r
r
B
r,
r,
and
(10)
r.
third relation
scalar
equivalent to the
is
first.
For,
the
if
products of any
them must be equal. And conversely if the
r
product of any and every vector s into the vectors
s
into
and
like
and
vectors
vector
267
manner
Theorem
Hence
all
dyadic
completely determined
is
when
the
values
0.a,
0.b,
0.c,
where
a, b, c
are
= 0.(#a +
2/b
If
+ zc)==#
?/*b-Mc,
may
be represented
known (page
Then
to be
264).
is
k) are
=
to be
i, j,
Let
<P (7
used as a prefactor.
= ia +
jb
kc,
VECTOR ANALYSIS
268
that scalar, or
a (ab)
(a a) b
If
= a (a b) =
=aa
11
(a a) (a" b).
The dyadic a $
or
<Pa.
obtained by applying
(a 0)
Theorem
utive.
that
to r
The combination
That
is
= a (0
r).
of vectors in a
dyad
is
distrib
is
(a + b)
and
a (b
+ c)
= ac + bc
= ab + ac.
...
For
dyadics (10).
[(a
b) c]
= (a +
b) c
= ac
+ c)]
= a (b + c)
= ab -r +
ac-
= (ab + ac)
(a c
b c)
and
[a(b
Hence
it
r.
each of which
maintained.
269
bn+
...
(11)
two vectors
of
it is composed, inasmuch as it
obeys the characteris
the distributive law.
law of products
This is a justifi
a
cation for writing
dyad with the antecedent and conse
which
tic
quent in juxtaposition as
is
in ordinary algebra.
The
10L]
From
i, j,
ij,
ik,
ji,
jj,
jk,
ki,
kj,
pressed in terms of
simplified
i, j,
(12)
kk.
distributive
may
be reduced to the
sum
which
is
= a n ii + a 12 ij +
+ iJi +a 22 jj +
a 13 ik
a 33 kk.
+
This
is
Theorem
dyadics
a 31 ki
4>
a 32 kj
jk
(13)
form of 0.
and
a23
be equal
is that,
when expressed
two
in nonion
VECTOR ANALYSIS
270
If the coefficients
r= W
<P.
for
any value
Conversely,
of r
if
and
Let
r.
and
d>
0.i=j.
W.i,
j. </.j
=j.
= k.
?F.i,
k- 0-
= k-
k.
Then
i,j,k.
<P-i
i,
W
.
j,
j,
j.
?F.j,
k = i
<P.k = j.
0- k = k
iT
?T.k
r.k.
But
are
coefficients
of the dyadic as
dyadic
may be expressed as the sum of nine
dyads of which the antecedents are any three given non-
Theorem
coplanar vectors,
a, b, c
non-coplanar vectors
Every antecedent
1,
m,
be expressed in terms of a,
in terms of 1, m, n.
The dyadic
may
b, c
may
= an
+
-f1
As a
al
& 12
a 21 bl
22
am +
bin +
+a
32
fflai
a 13
an
a 23
bn
m + ^33
(15)
c n.
corollary of the theorem it is evident that the nine dyads (12) are in
None of them may be expressed linearly in terms of the others.
dependent.
271
Any
dyadic
<#
may
be reduced to the
sum
of
may
coplanar.
Let
of
it
which
then be expressed as in
may
Hence
(15).
= a (a n +
1
12
m+
a 13 n)
+
or
<P
In like manner
it
if
+
Osi 1 +
b (a 21
c
= aA + bB +
m + 23 n)
m + a 32 n),
32
22
cC.
(16)
be required to express
as the
= Ll + Mm +
= an a +
M = a 12 a +
N = a lB a +
L
where
Nn,
sum
of
m, n are
(16)
a 2l b
a 31
c,
a 32
c>
a 23 b
a ZB
c.
22
1,
The
cedents,
a, b, c,
B,
- -
these
Definition:
position of
or a cross
a and
b.
two vectors
is
a,
the juxta
b without the intervention of a dot
two vectors
VECTOR ANALYSIS
272
The reason
for the
term indeterminate
The two
is this.
ab
is
it is
purely
law
is
(11)
It does
distributive
of
two vectors
is
is
associative.
known.
Inasmuch
are
a (ab)
it
the
= (a a) b = a (a b) = (a* a)
is
(a"b),
and b when
may
known when
the product
is
com
known. In
If the
Let
=a
=l
&2
&2
a3
6 3 k,
k,
=a
a2
a3
v = Vi + yj + &,
Then
&b
and
Since
ab
=a
V=
ii
b1
a1
a2 &3
jj
a 2 6 3 jk
a,&,
kj
a 3 6 3 kk.
ij
aj 6 3 ik
<V
ji
o 8 6j ki
a/V
b3
ik
&,
jj
a 2 6 3 jk
+ o,
6t
kj
a3
&3
kk.
a 1 :a 2 :a s
=a
:a 2 :a 3
And
ij
ii
=ab
k,
+ a^^
&/
273
&1
:,:6 8
= V-
But
al bl
/
-
Hence
collinear.
V.
V are collinear.
= a/ &/.
ab
is
equal to a
ab
=a
like
manner by using a b
to be parallel.
as a postfactor a
Also
ab-b =
a b -b,
which shows that the products of the lengths are the same.
18
VECTOR ANALYSIS
274
b,
a and
Only two
of
them
are different.
i.j=j.i=j.k = kj=ki = ik = 0.
and
ixj
jxk=
jxi,
kxj,
0,
kxi
ixk.
known when ab
ab
=a
is
known.
=a
That
is
b and a x b
=a
x b
(17)
ab
is
fixed
it.
is
Definition:
scalar
known
275
the scalar of
as
be ob
may
by a subscript S attached
=a
= &1
8
If
<P
+
+
b1
to 0.
bx
a2 b 2
b2
a2
known
a3 b 3
a3
...
b3
(18)
as the vector of
may
be
= aj
x b x + a2 x b2
x b3
a3
If
#x =
Or
<? x
=(j
i, j,
(19)
k,
(20)
!3)
<Pj + k.
(P-k-k* ^.j) i+
= a n + a^ + a BZ
+ (^12 - a 2l)
+ 0*31 - a
- a 32 *
28
= i- 0-i + jS
(?-k,
21 )
(20)
0-j-j.0.i)k.
(i-
(21)
vector of
is
From
this it
and the
If
is
W,
appears that
and
and
X
X
= yx
are
(22)
functions of
is
uniquely determined when
They may sometimes
given.
be obtained more conveniently from (20) and (21) than from
(18)
1
and
(19),
and sometimes
not.
liability to misinterpretation.
if it
were
sufficiently distinct
VECTOR ANALYSIS
276
Products of Dyddics
What
lying principle.
The
Definition:
dyad
is
is
written
(ab)
and
is
by
That
is,
dyad (b
c)
= a(b.c)d = b-c
second dyad
into the
,.
(cd)
(ab)-(cd)
ab
direct
first
d,
ad.
(23)
(ab). (cd)
The
new
The
direct
*=(a
r^CCjdj +
and
d>.
?T=(a 1 b 1
a 2 b2
c2
d2
+
+
+a 2 b 2 +
a3 b 3
...)
d3
-..)
a3 b3
c3
+)
+ C3 d3
= a b c 1 d + a b *e 2 d a + a x b x
+ a 2 b 2 -c d +a 2 b 2 .c 2 d 2 + a 2 b 2
+ agbg-c^ + a 3 b 3 -c 2 d 2 + a 3 b 3
+
(c^j +
The
parentheses
may
c2
d2
C3
d3
C3
d3
c3
+
+
d3 H
(23)
ajdj
a2 d x
ax d2
c2
bj
bx
-f
c3
277
ax d3
b 2 -c 2 a 2 d 2
b2
b 3 .c 2 a 3 d 2
b 3 -c 3 a 3 d 3
c3
a^j
d3
+
-f-
(23)"
The product
Theorem
regarded as
of
W is
and
two dyadics
a dyadic
W.
W followed
by the operator 0.
=&..
Let
To show
or
ab
cd)
(c d
Hence
(a b
The theorem
<?
and
=b
= ab
r)
d>
W)*T
((?
(ab
d)
=
c
r),
0- (^ 0-
(24)
d any dyad of W.
(ad
c (d
= (b c) (d r) a,
r) = (b c) (d r) a,
r)
ab
(c d
r).
P in
to a point
space, r
= W r will be
= (^(3 r)
That
is
to say,
W defines
a trans
carries
into
ff
.
The
single operation
also carries
PintoP".
Theorem: Direct multiplication of dyadics obeys the
tributive law.
That
is
dis*
VECTOR ANALYSIS
278
and
(0
Hence
=
W=
0)
W+
W.
(25)
4>
(4>+
4>"
...).(
W+
?F"+...)
may
Thatis
tive.
and consequently
o= t. (ma>
t.r).
either product
parentheses, as
may
(26)
be written without
Q,
(26 )
The
dyadics
4>,
Q.
ef
(abcd)
ab (cdef)
The proof may
also be given
by considering
as operators
Let
Let
Again
Hence
{^.(f.
{(*
r.
F)
J)}
Q\ -r
*. [(f.
{(?
Consequently
(V
J2).r].
T)\
0, W,
and
279
T)
(<P
r)
<P
r.
(24)
dyadic
not associative.
(#.r).
0.(r-
ab
Hence
The
r)
(r
c d)
(ab
d a dyad of
= b r (a c d) = (b
= ab d (r c) = b
r)
ab
may
(27)
).
be
(r
c) d,
r) (a
(r
c)
cd).
summed up
as follows
or of any
end or
at
laws of
made
to
it is
associative.
VECTOR ANALYSIS
280
104.]
Definition:
and
a vector r
respectively
of
by the equations
= a(b
rx(ab) = (r x
(ab) x
r),
a)b.
rrrajbj
a2 b2
xr +
a3 b 3
= r x (a b + a 2 b + a b +
= r x ajbj + r x a 2 b 2 + r x
either
end
is
+ ...
(28)
.)
a3 b3
...
But
not associative.
is
= rx(0.y)=rx <P
= <P.? xr,
(<P ?F) xr=(P.(?P xr)
=r x
= r x <P
s)
(r x #) s
r (0 x s) = (r
x s = r <P x
rx($xs) = (rx $)xs = rx $xs,
(rx
Sr
<P)
That
is,
s,
</>)
s,
but
!P
(rX^)^(S
jr
-r)
X*.
<P
and
<P
<P
=s
(r
<P),
(29)
281
appears that
x ^
<p
(s
4>
5F)
(</>
0-(r x
and
0,
r)
(r
r)
(31)
s),
V.
(sx
(0-r) x
s)
r).
s,
0*sx(r-0),
(0-r) x
cannot be
*
of
(ab) x (cd)
x(r.
>).
= a(b
(31)
d would be
x c)d.
b x
In
c,
an expression
rst
is
called a triad
The theory
of triadics
is
(32)
triadic.
dyadics
is
of a vector.
But
polyadics.
VECTOR ANALYSIS
282
It
was shown
be reduced to a
sum
and
this reduction
way when
In particular cases
the antecedents
it
may
= al + bm + cn.
<P
1,
be expressed
= x m + y n.
Then
may
If a
be expressed as the
dyadic
sum
of three
terms
<p
of
= al + bm +
may
a, b, c
are
en
known
be reduced to the
to be non-coplanar,
sum
of
two dyads
just been
given.
= dp +
eq
were non-coplanar.
1,
m, n of
This supposition leads to a contradiction. For let 1 , m n
be the system reciprocal to 1, m, n. That is,
,
_= mx n
[Tmn]
n x
vectors
exist
283
Any
1,
= xl + ym + zn/
<p.r = (al + bm + en) (xl + ym +
m = n n = 1,
1 = m
1
f
zn ).
But
and
m=m
m =1
Hence
=m
= xa +
n
yb
=n
+
= (dp +
e q)
= d (p
=n
d>
= 0.
z,e.
By
But
vector r
r)
may
e (q
be
made
r).
Theorem : If a dyadic
terms
of
be expressed as the
a, b, c
are
known
sum
to be non-coplanar,
the dyadic
can be reduced to a single dyad
when the consequents 1, m, n are collinear.
Let
of three
To prove
VECTOR ANALYSIS
284
From
where a
From
the
V,
first
is
it is
= x a + y b + zc
used as a
a, b, c
gives
expression
= 0.
#lxp+ymxp + znxp
Hence
must be zero
Hence
y, z.
1
Hence
evident that
1,
x p
= 0,
r,
mxp =
m, and n are
that
0,
all parallel to
is,
nxp = 0.
p and the theorem has
been demonstrated.
If the three consequents
1,
m, n had been
known
to be non-
the theorems
and consequents of
are coplanar.
sum of two dyads.
Then
is
reducible to
the
106.]
the
sum
of
sequents coincide
when
col-
dyadic
said to be unilinear.
is
285
If a dyadic
may
be
be zero.
The
unilinear dyadics
Let
is
If
complete
and
and
r
t
may
=r
made
be
<P.
to
take on
any
desired
As
is
complete
reciprocal system
s
In like manner
1,
(xl
+ ym + zn
a, b, c
complete dyadic
If
planar
zc.
= xl + ym +
V,
zn.
=#a + yb +
yb + zc
is
the vector s
zero.
may take
on any value in
the
plane
of the antecedents and t any value in the plane of the consequents
The dyadic
but no values out of those planes.
when
;
of
r
in
reduces
vector
to
as
a
a
used
vector
space
prefactor
every
is
VECTOR ANALYSIS
286
cedent of
nullity.
lity
is
If
A
A
A planar dyadic
and
is
or complete nullity.
The
107.]
direct product of
is
planar
first
dyadic
perpendicular to the plane of the antece
dent of the second dyadic. In this case the product reduces
and only in this case.
to a linear dyadic
in the product
is
Let
B,
\)
Q=
The vector
and
The
= W
r takes
W.
on
all
Cj
vector
g
a 2 b 2,
\x (bj
=
c x)
=x
(b x
c )
x
ax
y (b x
c2)
(b2
C l)
a2
y 0>2
C)
+y
(bj
c 2 )}
ax
{x (b 2
c x)
ax
E 2>
+ y
(b 2
c 2 )}
a2
where
and
x &i
+y
+y
x (b x
Cj)
x (b 2
Cj) 4-
a2
287
c2
(b l
),
c 2 ).
y (b 2
But by
Chap.
(25),
\xb
vector
is
and
sequents of <P;
bj-c,
b2
cx
t>
( ci
2)
and a2
unless the
c2
II., this is
0>i
The
V^
b2
EJ
C 2)
cl
that
pendicular.
plane of a x
Consequently
may
when
the
when
is,
and a2 and
is therefore a planar
dyadic
unless the planes of b x and b 2 , c x and c 2 are perpendicular.
If however b x and b 2 , Cj and c 2 are perpendicular s can take
f
The product
Theorem
except when
planar dyadic
dyadic.
In
when
is
the plane
of the
is
consequents of the
product
is
zero
and only
in this
case.
is
linear except
when
VECTOR ANALYSIS
288
dyadic
is
The
They
dyadics.
are
the reader.
left to
first
is
proofs are
two planar
The proof
of
the
Definition
if
or
=r
if
then
is
r,
an idemfactor.
Hence
ii
+ jj +
kk.
is
(33)
j,
all
respectively.
1
Let
= a n ii+
ki
12 ij
a 32 kj
a 13 ik
a 33 kk.
ordinary algebra.
. i
= an +
I-i
If
an
In like manner
it
and a 21
may
,
is
The
For
(0
I)
In like manner
Theorem:
it
If a
may
V,
kk.
and
coefficients
Hence
(33)
1-0 = 0.
(I
r
may
r)
be.
r,
= 0.
be shown that I
the
is,
and
all
all of
That
k.
= a 31 = 0.
direct product of
that dyadic.
a 31
i,
= ii + jj +
Theorem
j 4-
be shown that
vanish except a n a 22 a 33
factor
a 21
289
a, b, c
= aa + bb + cc
=aa+b b+c c
(34)
are idemfactors.
II.,
= raa + r*bb + r cc
r = ra a + r b b + r.c
r
and
c.
Conversely
if
the expression
= al + bm +
is
an idemfactor
1,
definition.
en
a, b, c.
19
VECTOR ANALYSIS
290
In the
dyadic.
place since
first
(P is
hypothesis
Then
<P
a, b, c are
is,
Hence the
z.
That
is,
Theorem
non-coplanar and
<?
a complete
= xl + ym-\-zn = xsi + y b + zc
when
it is
Let
= #a + y V + 20
r $ = r.
By
the idemfactor,
If
(Pand
V=L
Let
=L
To show
(0
W)
must take on
all
=
all
When
r.
(?)
As
Hence by
=r
is
0.
complete r
definition
= I.
If the
109.] Definition:
values of
desired values.
W
may
0)
(r
is
of
idemfactor.
is
reciprocals.
algebra
is
if
0.y=I,
employed
Theorem:
for reciprocals in
ordinary
to
?F-i
291
=1
and 5T=
That
0-i=L
is,
(35)
equal.
and
Let
0=
~i
W.
and
W,
= ~i.
0-1 = 1=
0- 1
To show
0.
0=,
As
I.0-i
Hence
-1.
0.0~i=0.-\
0-1.0
The
= l.
= I,
= 0-i = I. W~i =
0-i =
~\
-1.
is
If a complete dyadic
its
is
reciprocal
For
(al
+ bm + cn)
Theorem
into
0"1
= al + bm + en,
= a +mV+n
1
(1
V+
c )
(36)
=aa + bV +
ce
two dyadics
1
W and Q
An incomplete
dyadic has no
(finite) reciprocal.
W and Q
292
VECTOR ANALYSIS
are equal.
and
If the
product of a dyadic
two vectors
into
That
is,
if
= d> J2,
r =
r =
x
and
if
and
if
= Q,
then r =
then r =
then
This
may
(37)
s,
s,
s.
s,
= 0-i
r = r = 0~!
0-1.0. W =
0-i
0-1.
To
0xr = IXr=0"
=
0X8 = 1X8.
s
1 -
s,
any vector,
Hence
t is
any vector,
for
t.
=t
r is equal to
Let
be
tIxr = tIxs,
t
As
Q=
s.
s.
number
Theorem:
The
reciprocal
of the
product of any
is
To show
5F-1
0~l
Hence
(0
Hence
?T
y-1 }
( ?F
?F)
and W~
0- 1 )
JF- 1
(P"
0~ l
must be
293
0. 0-l
= I.
I.
reciprocals.
That
of times,
The products
by
of a dyadic
and so
=
.
in the
<P,
powers of
is,
0*,
02
0^
forth.
Theorem
The
the reciprocal of
reciprocal of a
power
of
<P is
the power of
<P.
(0)-i
= (0- )" =
1
0-
(37)
The
not be defined.
single-valued.
square roots
infinite
They
But
= -ii +
jj
kk.
doubly
VECTOR ANALYSIS
294
formation
is
The idemfactor
is
= V.T
by
180. The idemfactor thus possesses not only two square
roots but in addition two doubly infinite systems of square
figure
of
roots
and.
means
it
by no
all.
111.]
The
C has
been employed.
The equation
r
= 4>
(9)
Theorem
dyadics
is
The conjugate
equal to the sum
:
(d>
T)
The conjugate
of the
sum
or difference of
two
=0 C
Wc
Theorem
295
two
(d>.T)c =W c .0 Ct
.
(0
W) c
r = r
(r
<P)
power
(r
V) c =
(4>
The conjugate
W)
= <P C
W = Vc
Hence
Theorem
(0
in case
To show
factors.
(40)
(r
4>)
5F,
r,
<P)
<^.
r.
c .4> c
of the
power
of a dyadic is the
This
is
=
For
(@~
The idemfactor
)c
its
is
= (&
own
0~
)c
(42)
= Ic = I-
conjugate as
may
be seen from
= ii +
Hence
(^c)"
Hence
of
+ kk
*c
C^)
j j
= (*"%
If a
to be self-conjugate.
dyadic
is
If it is
equal to
its
conjugate,
it is
its
said
con-
VECTOR ANALYSIS
296
For se//-conjugate
said to be anti-self-conjugate.
it is
jugate,
dyadics.
r,
C.
Theorem
way
Any
dyadic
two parts
into
of
r,
may
00.
which one
other anti-self-conjugate.
But
0=5(0+0,) + 2 (0-0c).
(& + c) c = c +<p cc =: 4> c +
and
(0
For
|(^~
),
d>,
(43)
&c)
is
anti-self-conjugate.
self-conjugate;
Thus
Let
and
in another way
were possible to decompose
into a self-conjugate and an anti-self-conjugate part.
Let
Suppose
it
then
Where
Hence
Hence
(0
if
(0
if
conjugate.
= (0 + J2) + (0"-).
+ c=
+ 0) = (0 + ), =
-f J2) is
(0"
J2)
self-conjugate,
is
fi is
self-conjugate.
anti-self-conjugate
is
anti-self-
Any
gate
dyadic which
is
its
zero
is
is
to
equal
Hence
297
of
into
two parts
is
unique.
Anti-self-conjugate Dyadics.
In case
112.]
is
If
should be en
gives the anti-self-conjugate part of 0.
n
is
antinself-con
0".
to
Let
therefore
jugate
equal
tirely
<P
Suppose
$c =
20"
=a
But
al
la
But by
0"
lar-hbmr
a
r
a r =
bm r mb r =
nc r =
cn r
r
definition
(a
<P x
0"
Hence
r
0"
+ bm
mb +
= 0" c
(a
(b
x m) x
1)
nc,
nc
r.
r,
r,
(cxn)xr.
b x
4- c
n)
r.
= axl-fbxm4-cxn.
r
=-~
= - 0"
= I0 X
r,
cn
mbr + cnr
Hence
The
= al-hbm-fcn,
=- \ r
X.
follows.
anti-self-conjugate
VECTOR ANALYSIS
Theorem
!f
Any
perpendicular to
is
<P X ",
<P.
<p
Any
= <P
or symbolically
113.]
<P X
#x
r,
X.
(45)
For
it
dyadic.
must be
as a
to
c,
so that
be found as follows
I- (c x !)
(31)
(I
c)
=I
Hence
and
This
may
(I
c)
I}
(c
I)
= (I
c = r
c)
(I
be stated in words.
(!
r
c)
= {I
(c
1,
-
I)
(c
I)}
r.
= (e x I)
c) = r (c x I).
r
it
By
its
r,
(46)
is
used as prefactors
and
r.
follows
if c
The dyadics
as postfactors.
r,
I are anti-self-conjugate.
multiplication with
299
to
therefore turns
any vector
perpendicular to
an
c as
If r
axis.
c through a
were a vector
parallel to c
of r
which
is
perpen
direction.
are reversed in
They
through
The powers
(I
(I
c)
c)
(I
x
5
c)
(c
(I
I)
c)
I)
=-I
(c
=-
(c
(c
x
6
I)
x
I)
law as far as
its
- cc),
=-c x
= I - c c,
=I
(I
=c
c or c
I,
(47)
x
I
I.
1 in algebra.
The dyadic
Ixc orcxlisa
For vectors
parallel to c it acts
vectors perpendicular to
as an annihilator.
To
c.
VECTOR ANALYSIS
300
quadrantal versor for
X = Ixc +
If
=
=
The dyadic
idemfactor.
The quadrantal
imaginary
plete
and
conjugate
two
and
i, j,
+ 2cc,
iXc + cc,
parts of which I
c c, self-conjugate.
xj-j
jk,
= ik-ki,
Ixk=k x I=ji
may
(48)
Ixi = ixl = kj
as
cc,
a scalar algebra.
1 of
consists of
If
114.]
therefore
= cxI +
cc
(49)
ij,
and k successively.
i, j,
jj,
The expression
j,
is
k)
is
k,
and
man
but an
301
These partial
the reciprocal
system,
aa + bb
used as a prefactor is an idemfactor for all vectors in the
plane of a and b, but an annihilator for vectors in the direc
tion
c.
Used
as a postfactor it
an idemfactor for
is
all vectors,
in the plane of a
direction c
in the
cc
Used
as a postfactor
direction c
is
it
the
in
x b) x
=I
x (a x b)
of
c.
= ba - ab.
(50)
For
{(a
x b) x I}r =
(a
x b) x
= bar
ab
T = (ba
ab>r.
The
This
is
(a
x b)
(b a
=r
a b)
(ba
r,
- ab).
a symmetrical and
easy form in which to
(51)
remember
VECTOR ANALYSIS
302
Reduction of Dyadics
115.]
Let
Then
vector.
a linear function of
is
Normal Form
to
When
r.
r takes
on
values consis
all
tent with
its
and
varies continuously
surface
to a
sum
This
an
It is in fact
is closed.
Theorem
its
ellipsoid.
It
is
To
= ai
+ ck
k.
by
As
bj
0-r.
which makes
must be some
direction of r
maximum
lie
of r lie in a plane
1
This
may
be proved as follows
r
Hence
By expressing
degree.
is
Hence
the ellipsoid.
owing
.r=l=:
r,
r
i.
to a fact that
:
r^*-1
(*
r is a linear vector
(P
= r .*c
l
-i.* - 1)-
in
-1
=r V r
r = is seen to be of the second
.
The
303
as
other.
upon the
positive side of
plane of
and
Let
j.
be the
r = k.
= ai +
<P
show
It remains to
bj
ck.
as determined
a, b, c
= (ai +
= (ai
dr
dr
When
-f-
r is parallel to
perpendicular to di
perpendicular to
dr
i,
ck)-r,
bj
ck) -dr,
Since r
j-dr +
di +
maximum and
is
bj
ck-
di
r is parallel to
dr.
hence must be
a unit vector
is
Hence when
r.
di
ai
bj
is
always
kdr = 0.
vanishes, and if
Hence when r is
But when
parallel to i, r is perpendicular to both b and c.
r is parallel to i, r is parallel to a.
Hence a is perpendicular
Consider next the plane of j and k and the
to b and c.
plane of b and c. Let r be any vector in the plane of j and k.
If
dr
further
is
perpendicular to j, r
b vanishes.
perpendicular to k, r
is
dr
r
-dr
When
r takes the
hence
is
=r
value
-b
j,
+ ck)r,
(bj
+ ck)
(bj
dr
is
perpendicular to dr
f
.
-f r
dr,
c
k-dr.
maximum
in this plane
and
VECTOR ANALYSIS
304
Hence when
and
perpendicular to dr.
is
perpendicular to
Hence
j,
But when
c is zero.
is
parallel
r is parallel to
j,
to
j,
dr
takes the
Consequently b is perpendicular to c.
It has therefore been shown that a is perpendicular to b and
value
c,
b.
and that b
perpendicular to
is
denoted by
a,
J, c
Then
4>
where
c.
antecedents of
= ai
the dyadic
+bj
+ck
k,
(52)
116.]
They may be
reduced to a
sum
of three dyads
<?
may always
be
&=
The proof of
made on page 20
(ai
fcj j
+ ck
k).
(53)
that
may
If
two
two vectors
to
Hence
the
in
coefficients
performed.
and
is
The
planar.
= ai +&j
i
a and
coefficients
zero.
is
305
(54)
may always
be taken
positive.
By a proof similar to the one given above it is
show that any planar dyadic may be reduced to
to
possible
The vectors i andj are perpendicular, and the
this form.
vectors i and j are likewise perpendicular.
It
&, c
number
infinite
of
In
pendicular to k.
all
three scalar
coefficients will
normal form
may
space.
In
are the
same
may be accomplished
The three vectors
ways.
in a doubly infinite
number
of
all of
as in
These statements
will
maybe an
ellipsoid of revolution,
or finally a sphere.
Theorem
Any
the form
where
Let
a, &,
= aii +
and
dyadic
may
be expressed in
+ ckk
&jj
(55)
= ai
-f
Jj
+
20
6jj
+ck
k,
+ ckk
(52)
,
VECTOR ANALYSIS
306
0.0 c =a*i
&2j j
jj
+c a k k
+ c 2 kk.
= 0^
Since
0*
I
and
**
j j
+ kk
0= 0*.
n +j j
and be
But
linear.
it is
be parallel.
k and k
In like
are parallel.
if a, 6, c
are different
is
0=
where
apparent that
aii
a, J, c are positive or
bjj
+ ckk
Double Multiplication
The product
is
ab:cd
= a-c bd.
(56)
ab:cd
1
The
= cd:ab,
307
sum
number
of a
If
<p
=*
}>
a2 b2
a3 b3
d2
c8
d3
W = G! d +
and
=a
c2
...
4-
a 1 b 1 :c 2 d 2
a 1 b 1 :c 3 d 3
+ aab^Cjdj +
a 2 b 2 :c 2 d 2
a 2 b 2 :c 3 d 3
a 3 b 3 :c 2 d 2
a 3 b 3 :c 3 d s
b 1 :o 1 d 1
a 3 b 3 :c 1 d 1
aa
c1
+ a 3 -c 1
+
(56)
.
c2
b 2 d2
a 2 -c 3
b2
d3
bg.djH-a3.C2
b 3 -d 2
a 3 .c 3
b 3 .d 3
bg-d!
-f
d2
...............
Definition:
The
two dyads
---
(66)"
is
the
product
dyads
is
is
abcd = axc
b x
d.
(57)
ab
cd
= cd
ab,
VECTOR ANALYSIS
308
and the distributive law both with regard to the dyads and
with regard to the vectors of which the dyads are composed.
The double cross product of two dyadics is therefore defined
as the formal expansion
distributive
dyads.
=a
*F = c
If
b1
a2 b 2
a3 b3
&1
c2
d2
C3
<P
and
*
y=
(a^ +
=a
b1
a2 b2
aa b3
a2 b 2
a3b
d3
) x
...
(c^ +
C2
d2
+ c3 a3 +
1
Ojdj
ax bx
a2 b 2
M! +
a3 b3
cjdj
x
c2
d2
c3
d3
c3
d3
^ c3
d3
ajbj
c2
d2
a2 b2
c2
d2
a3 b3
c!
b2
xd
+ a 3 xc 3
b3
xd +a3 xc 2 bgXdj +a 3 xc 3
-fa 2
xc 2
b2
xd2 + a2 xc 3
............
Theorem
...
...)
(57)
ba
b3
...
(57)"
cross products of
W :0
$>*=*$
*
(<P
The theorem
is
T)
Q*
(58)
(^x)-
sufficiently evident
without demonstration.
dyads
is
of
309
two fundamental
ij:ki
= i-k
= 0.
is
equal to zero
if
But
if
That
is
ij
ij
There
*ik
=ix
*ki =i x k
x k
= +jk.
three dyadics.
The expression
*
is
WiQ
cross
ab*cd:ef=[ace]
That
[bdf].
(59)
above follows.
or
if
For
if
VECTOR ANALYSIS
310
the factors
sign.
is
A dyadic
118.]
may
Let
cross.
= al + bm +
<P
=
ss=
+ bm +
(al
a x a
be multiplied by
en)
(al-f
itself
with double
en
bm +
en)
x b
+bxa mxl+bxb m x m + b
+ cxa nxl + cxb
The products
n x
main diagonal
Hence
in the
equal in pairs.
m+
a, b, c
and
1,
may
+ b/m +
The product
fl>
is
a species of power of 0.
The
garded as a square of
notation
$2
mxn
n x
The
vanish.
n.
others are
Ixm).
(60)
be written
c
>
It
will be
(60)
may be re
employed
been
stricken out.
The
product of a dyadic
expressed as the
three dyads with itself twice repeated is
triple
</>*$:
<P
$2
sum
of
<P
(al
+ bm +
en).
:0=[bca] [mnl] +
is
311
zero.
[cab] [nlm]
[abc] [linn]
= 3 [a b c] [Imn]
2
0*0:0 = 6 [abc] pmn].
or
The
product of a dyadic by
triple
itself
twice repeated
is
The product
0*0:0
(62)
119.]
If
and
8,
the third of
Theorem
The second
the conjugate
is
The
is
equal
third of
<*,).= <.),
and
third.
<*-
),
(*,)-!=*,*
(f ). = (*,)->-*.1
Let
<p- 1
= al + bm + cn
= a + m b +n c
l
+bm +cn
n
(36)
VECTOR ANALYSTS
812
(*)
-1
[a
c ] [!
[a b c]
But
=1
(0,)-* =
and
[a b c ] [a be]
Hence
(1
(0-
+ m b + n c)
m n]
= 1.
[1 m n ] [Imn]
= 0,-*.
[1
).,
=[abc] [Imn],
[abc] [Imn]
C^-Oa = IX W] [1 m n ].
(0,)- = (*-), = 0,-*.
1
Hence
(f.f),
= *,.*,
(0. *),= *,
of
^3-
= al + b m + en,
?T =
d + m e + n
r = ad + be + cf,
(
W\ =bxc exf + cxa fxd + axb dxe,
<P = bxc
mxn-fcxa nxl + axb Ixm,
?T = m x n
e x f + n x
f x d +
x m dxe.
= bxc exf + cxa fxd + axb dxe.
Hence 2
2
?F
Hence
(# 5T) = <?
(^. JT) 8 = [abc] [def]
<P
f,
5P*
313
= [abc] [Imn],
rg = P m n ] [defj.
= [a be] [def].
8
z
8
Hence
Hence
(0.F),=
Theorem
Theorem
The
of the second
(*"),
= W=0,"
(0
)8
The second
third of a
powers
the dyadic.
y,.
03
of the idemfactor
is
is
the idemfactor.
unity.
=I
(6T)
1=1
lg
1.
equal
0,=
a
<P
2
=b
$<,
la
[1
m n]
(b
The antecedents
a, b, c of
be non-coplanar.
Then
(b
a b
Hence
120.]
of
Let a dyadic
three dyads of
non-coplanar.
+ mb +
c
c)
[abc]
<& c
be given.
Ixm,
nc,
x a b+
the dyadic
x b
sum
(68)
8 I,
C ;=
<P
the product of
to
may
[ab
x b
c).
be assumed to
c] (a a
+V
c c)
I.
^> 3 1
Let
it
be reduced to the
VECTOR ANALYSIS
314
= al + b m +
=b
cn,
x m,
[Imn].
Theorem: The necessary and sufficient condition that a
be complete is that the third of
be different from
dyadic
zero.
For
the
it
consequents of
Hence
two
the
a complete
are
dyadic
non-coplanar.
which occur in
cannot vanish.
dyadic
must vanish.
is
Hence
planar.
But $2 cannot
for a planar
vanish.
Since
a,
b, c
vectors
linear.
But
and not
linear.
that
is, 1,
m, n are
is
col-
planar
Hence
<P
vanish.
1,
each of
n,
are collinear.
The vanishing
m,
of
its
of
consequents
are collinear.
The vanishing
two degrees
of nullity.
may
is
315
complete nullity.
The
^0,
is
<P = 0,
#2 *
3
= 0,
= 0,
8
2
</>
complete.
is
0,
<P
planar.
(69)
is linear.
0,
any anti-self-conjugate
For any such
Nonion Form.
Invariants of a Dyadic
If
121.]
Determinants. 1
= au ii +
+
The conjugate
of
<P
a81 ki
a 12
i j
a 32 kj
a 18 ik
(13)
a 33 kk.
Thus
( 70 )
term.
What
it
C? .
2
The
antecedents must be
and k
a 31 k i
= - a2l a 33
k = a 31 a 23
x33 kk
J
a 23 j
i.
iJ
i j.
The extension
to
VECTOR ANALYSIS
316
This
is
the
in
first
ij
in
$2
is
minor of a*12
19 in the determinant
a
ai
a*
This minor
coefficient of
ij
in the determinant.
The
cofactor
is
merely
minor taken with the positive or negative sign
according as the sum of the subscripts of the term whose
first minor is under consideration is even or odd.
The co
the
first
efficient of
the
the cofactor of a*
is
the cofactor of a 12
is
the cofactor of a 32
33
n
With
second of
becomes
ik
kk
<P
may
(71)
be obtained by writing
as the
(a n
a 21
a sl k)
+ (a 12 i + a 22 j +
+ (a 13 i + a 23 j +
a 32 k) j
a 33 k)k
This
For
and
is
[Oil
21 J
"31
(21 *
idea of the
is
a1
ai
az
aQ
a*
most
a 33 k )
(72)
determinant
(72)
is
On
is
the third of $,
The
22 J
written
<P
3
The
k)
this reason
is
317
is
$3
may
be found
.</> c
=0
(68)
or
or
Hence 0"1
more natural.
=
(73)
VECTOR ANALYSIS
318
If the
determinant be denoted by
(73)
If
is
ki
6 31
& 32
kj
& 33
kk,
W of
the product
On
+
U+
a 12
iJ
6 32)
:
621
kJ
a 18
a
6 81 ) ii
( a 31 6 12
W = an in +
(a u
a 32
6 23
a 12 6 12
6 12
a la 622
ik
a 33
& 33>
kk
o 18 J 18
6 21
31
(74).
"11
"21
an
"11
a 22
a23
Ojrtn
dinn
6
19
"12
io
"31
&12
13
&22
6 23
"21
& 32
6 33
^31^
&,
22
23
a 32
!3
*32
4-
"11 "13
a 12
!3
& 13
22
23
6
31 13
32
*21
6 22
319
a 33
(76)
is
the
sum
column
first
of the second.
= al
If
<?
Then
I
=(^2 ) 3 =
Hence
<P
Hence
cxa axb]
[bxc
= (<P2 ) =
[a b c]
2
[1
m n] 2 =
n
"22
33
122.]
is
is
dyadic
a2
<P,
or determinant of 0.
quantities are
(77)
the scalar of
which
*ia
22
The determinant
<P
If
that
of the
<P,
is
form in
be expressed in nonion
form these
VECTOR ANALYSIS
320
(78)
*11
*18
hi
32
No
33
The
the same.
in the
sum
scalar of
the
of
first
sum
the
is
The
main diagonal.
is
the
By
may
0%&
(P
#n
x a 12
21
#22
#31
#32
2S
a 13
#23
#33
x2
x*
x i) 2
This equation
scalar x.
That
x I) 3
(#
(<p
dyadic
(0-xI\*(0-xY) c = (0-xl\
(68)
Hence
as
possesses.
satisfies a
is
f<p
_ x !)<; =
0^ +
It therefore holds,
if
x2
all
x*.
values of the
is
Hence
321
the theory
In fact,
of dyadics and the theory of matrices is very close.
a dyadic may be regarded as a matrix of the third order and
conversely a matrix of the third order may be looked upon as
addition and multiplication of matrices and
dyadics are then performed according to the same laws.
of higher
generalization of the idea of a dyadic to spaces
The
a dyadic.
SUMMARY OF CHAPTER
vector r
is
when
two vectors
is
the
sum
(ri
of the
sum
of
ra
)=f(r
1)
f(r a ).
(4)
function of
dyadic determines a linear vector
a vector by direct multiplication with that vector
capital.
= &1
-
=a
bj
bx
a2 b2
a2 b2
21
+
r
a3 b3
a3 b3
r H
(7)
(8)
VECTOR ANALYSIS
322
Two
when
<P
= W
coplanar values of
or
=r
coplanar values of
or
(10)
r,
=s W
r,
non-
s.
Any
(a
+ b + c+
) (1
+m+n+
...)
= al + am + an+
+
bl
+ bm + bn +
cl
+ cm + en +
(11)
ij,
ik,
ji,
Jj,
Jk,
ki,
kj,
kk,
(12)
= a n ii + a 12 + a 18 ik,
= ai + <*22 +
k
= a 31 k + a 82 k + a 33 k k.
as
ij
J *
JJ
<*23 J
( 13 )
dyadic
which
the
323
is
unique.
is
two vectors
in
associative.
five conditions
a vector
of the dyadic.
=
b8 +
b + a
*! + a
x b + a x b +
X = &1 x bj + a
0, = i-0.i + j*0-j + k 0*k
= a n -f a 22 + #339
i - i
k-k
j) i + (k
0*
= (j
(i-
0i)
0-j -j
(18)
(19)
(20)
k)
(21)
(ab)
(c d)
first
dyad and
JL
(b
c)
a/ *T
(23)
The
direct product of
two dyadics
is
VECTOR ANALYSIS
324
sum
Q.W.T,
s.0-?
$>.W.Q
s.^.^.r,
*,
(24)-(26)
no longer associative.
dyad and a vector may be defined
is
of a
by the equation
(ab) x
x (ab)
= a b x r,
= r x a b.
of a dyadic
(28)
and a vector
is
equal to the
The
expressions
r
^ x r,
?F,
x$
$ x
s,
s,
<P
(29)
may
Moreover
s
(r
<P)
= (s
<p.(rx
r)
?P)
<P,
(<P
(0 x
r)
r)
W.
(r
s),
(31)
325
planar dyadic
is
is
one
A
is
when used
as a postfactor.
of
nuljity.
linear
A zero dyadic
where
between the consequents of the
first dyadic and the antecedents of the second introduce one
more degree of nullity into the product. The product of a
are respectively planar or linear, except in certain cases
relations of perpendicularity
linear dyadic
by a
linear dyadic
is
in general linear
but in
and reducible
= ii +
I = aa +
I
Or
The product
to the
of
form
jj
kk.
bb + cc
(33)
(34)
is
that dyadic.
VECTOR ANALYSIS
326
product of two complete dyadics is equal to the idemfactor the dyadics are commutative and either is called
If the
They correspond
The reciprocal
of a product
Incomplete
to zero in
equal to the
ordinary algebra.
product of the reciprocals taken in inverse order.
(0.
5F)-
5F-1
0-i.
is
(38)
The conjugate
(0.
Wc
9%=
C.
(40)
Any
part of
multiplication.
T=-j0
xr,
(44)
I or I
is
c is anti-self-conjugate
and
= (I x c)
<P = (I x
c)
= (c x I)
= (c x I)
327
(46)
r,
0.
The dyadic c X I or I x c, where c is a unit vector is a quadran tal versor for vectors perpendicular to c and an annihilator
for vectors
parallel to
c.
i, j,
= kj - j k,
etc.
(ax
(a
r
=1
b)
b)
x (ax
x b)
(a
is
(49)
equivalent to
b)=ba-ab
(50)
= (b a a b) r
= r (b a - ab).
(51)
a right-handed
rectangular system of three unit vectors and of which the
scalar coefficients are all positive or all negative.
consequents
0=
This
is
(ai
plete dyadic
may
6,
Any
+ ck
(53)
k).
An
incom
The reduction
unique in case
In case they are not
is
in
ftj j
are different.
one way.
may
= aii +
a, S, c
6jj
+ ckk,
(55)
VECTOR ANALYSIS
328
is
ab:cd =
ac
abcd = axc
b.d,
(56)
bxd.
(57)
is
<P
=i
<Px
<P
by
itself
(61)
and
is
and
and the
scalar
0a
The second
The third of
= \0$ 0:
<P=[abc] [Imn].
of the conjugate
the conjugate
original dyadic.
is
is
(62)
third of a dyadic.
(*c\
= (*.)*
(65)
and conjugate
of the second
329
of a dyadic
^^c=^
= 0,
<P
is
0,
<P
equal
(68)
The
4>
is
complete
is
0,
= 0, $2 = 0,
3
be
may
planar
(69)
is linear.
0,
The
by a dyadic
03
This
_ Qa
02
+ 0^
03
^ _
[
is
cients
4>.
S,
<P<i
variants of
S,
and
The
coeffi
<P.
EXERCISES ON CHAPTER
Show
1.
(79)
that the
two
definitions
Show
3.
Show
Show
4.
from
zero,
linear
5.
of
r,
(<P
that
Show
a) c
<Pxr=
line of their
that
= 0.
= -a
XT
must equal
then
and the
then
if
if
?P
for
(1>
any value
unless both
consequents
for
is
of r different
and
parallel to
are
r.
330
VECTOR ANALYSIS
Prove the statements made in Art. 106 and the con
6.
Show
7.
and
<P
that
Q is
if
are equal.
complete and
Q= W Q
if
then
Definition
Two
?r
that
to say,
are
gous.
or
Justify
addition,
governing
subtraction,
by
?F,
(P,
then the
multiplication
and
it being
governing these operations in ordinary algebra
understood that incomplete dyadics are analogous to zero,
and the idemfactor, to unity. Hence the algebra and higher
is
Show
9.
10.
that (I
Show
c)
X $ and
a, b, c
(c
I)
& = c X #.
be coplanar
abxc+bcxa+caxb = [abc]I
bxca+cxab+axbc=[abc]L
and
vectors.
This
may
What
is
and
the-condition which
coefficients in the
c.
must
subsist
between the
form
if
What,
if
331
number
normal form.
14.
be zero
self-conjugate dyadic
an anti-
is
Show
that
if
<P C is
self-conjugate.
16.
Show how
to
make
$x
to
Show
that
and
(0
18.
Show
that
<P
+ W\ =
if
2
</>
=
2
&
+ 4>*V +
20.
Show
that
Show
Show
that
<P
= <P3 + e- 2
(0 + ?T) 3 = 8 + <P V +
(<P
of a dyadic
itself vanishes,
19.
= 0.
f.
ef) 3
d>
?F
+ V*
un
CHAPTER VI
ROTATIONS AND STRAINS
123.]
dyadics has
completeness which
is
and to develop, as
far as
may
and
strains
$ may
knowledge of the
origin.
r
Let now
= 0-r.
remains fixed.
Points in the
becomes a point
rf
finite
Any
The
regions of space
=b+ xa
=$ b+#$
origin
remain in
same
333
straight lines
and
lines
line a
Such a transformation
strain
known
is
as a homogeneous strain.
of frequent occurrence in
Homogeneous
physics. For
the
of
deformation
the
infinitesimal
instance,
sphere in a fluid
(Art. 76)
is
is
a homogeneous strain.
geneous strain
is
generally
known by
= an x +
y< =
x
Theorem
124.]
l2
13
If the dyadic
which
is
3,
to unity.
= al + bm + cn
r = <P.r = al-r-f bm r -f cnr.
into a, b,
Hence
The vectors 1 m n are changed by
and m are
the planes determined by m and n n and
Let
<P
c.
$2
Hence
due to
=r
b x
a,
Ixm.
if s
VECTOR ANALYSIS
334
It is
area
be
is
if it
denoted a
upon
This
line.
acts
on
is
acts
<P
s.
To show
The dyadic
to d,
e,
f as consequents.
from the
= [abc][dVf]
[d e fr^Cdef].
= [d e f] $3
[a b c]
8
Hence
The
But
the vectors
the action of
in the
same
ratio
and
this ratio is as
is
to 1.
Versors
= i i+j j +
where
k and
i, j,
are
k k
Let
(1)
= #i-f-f-3k
335
if C? is
i, j,
of shape
change
which carries
body
suffers
i, j,
The
effected.
is
k into
The
vectors
i,
j,
no change of shape
to a rotation.
that
is,
suppose
k must be carried
it
subjected
into another
form
Definition
+ j j+k
i i
dyadic which
i i
is
k.
+jj + k k
is
called a
versor.
and conversely
if
= i+j
Let
Hence the
second part
If
Hence
first
+k
is
k,
proved.
let
= ai + b j + ck,
<p c = i*+j b + kc,
4>-i
=<P C
aa4-bb
To prove
the
VECTOR ANALYSIS
336
Then
(iy
#.*rff,tnt).
The
unity
Hence
is evidently equal to
that of the versor with a negative sign, to minus one.
the criterion for a versor may be stated in the form
$
Or inasmuch
{/
= I.
3> n
3
as the determinant of
if (P* (P C =I, it is
=1
(%\
\ /
is
is
\.
a versor.
__.
j
(J/ 1
to
_j_
is
k k)
_j_
(3)
The dyadic
i+j
+k
k causes a
it is a versor.
The negative
in space and
vector
of
direction
the
reverses
then
every
sign
replaces each figure by a figure symmetrical to it with respect
to the origin.
By
and
the
= i+j j-k
i
or
<P
(i i
+j
-k
) .(i
k,
+k
k).
the
transformation due to
337
a rotation due to
is
i+j
The
is
Or inasmuch
as
if
= I,
= I,
C? c
I0I=-1.
the determinant
must be plus
may
= I,
(3)
<
(3)
0,
a perversor.
is
126.]
measured positive
if
the angle
in the positive
=
k =
The dyadic $
tion
is
i i
+j
cos q
j
sin q
sin y,
k cos
q.
k k which accomplishes
this rota
VECTOR ANALYSIS
338
= ii +
cos q (jj
+ kk) +
sin q (k
- jk).
(4)
jj +kk = I-ii,
kj-jk = I x
i.
Hence
i i
cos q (I
i)
sin q I
,( 5 )
i.
the dyadic
=aa +
To show
that this
rotation apply
it
a a)
cos q (I
is
sin q I
a.
(6)
to a vector
a a is an idemfactor
perpendicular to a. The dyadic I
for all vectors in the plane perpendicular to a; but an
annihilator for all vectors parallel to a.
The dyadic I x a
a quadrantal versor (Art. 113) for vectors perpendicular
is
to a; but
r be parallel to
0.r =
Hence
leaves unchanged
which
are parallel to
vectors)
.
Hence
= cos
aar =
a.
If then
r.
all
a.
If r is perpendicular to a
q r
sin q a
r.
If r
vector
is
a l a z ik
a 2 a x ji
a z a l ki
Hence
$ = {&J 2
ki
cos #)
{a
a s (1
a 1 (1
kk,
- cos 2) +
C1
{^3^2 (1
cos q)
(1
cosg)
ik,
+ Okk.
i i
S i n 2} lj
a3
a a sin ^^ ik
a 3 sin q} ji
al
jj
S l n 2l J
a 2 sin q}
cos ^)
(1
cos q}
c s ?)
kk,
~~
cos 2)
cos^)
a3
cos #}
"" COS
( a 2 a 3 (1
2)
+ {3
a x kj
a i a 2 (1
kj
~a
{ 2
jk
3 ij
(1
a2 a3
= 0ii-a
+
+
339
j j
= ii + jj +
a2
4-
ki
ajsin^} kj
+ cosg} kk.
(7)
127.]
+ cos q
(j
xj
<P X
<2> s
The
+ cosg
axis of rotation
+k x
k)
2 sin q
sin q (k
x k)
(j
i is
<P
(k
-k),
<P X ,
VECTOR ANALYSIS
340
After
is
seen
is
The tangent
$x
the direc
<?.
cos q
is
ON
(8)
4> s
$ x and
vector
the scalar
(P s ,
<?.
Let
ft
ft
deter
of
<P,
be a vector drawn
version.
The
vector
ft
<P
completely,
ft
will be
Hence
if ft
There
is
= aa +
cos q (I
a a)
sin q I
a.
in terms
ft
c into c
ft
c.
It will be sufficient to
For
ft.
if c
341
(or any
result of multiplying by
would be that
In the
c is carried into c.
ft
c)
(c
ft
c)
(c
=c
ft
ft
x c)-=
c)
ft
and
c are
The term
+ftxc-ftxc
ftft
ft
mag
2c-ftxc
ft
ft.c.
by hypothesis perpendicular
+ ftxc.ftxc=:c 2
c-c
place the
cc + ftxcftxc = cc +
Since
first
For
c vanishes.
(l
tan 2
Hence the
\ q).
equality.
is
In the
equal to
q.
ftxc)(c + ftxc)_cc ft x c ft x c
2
2
c
c* (1 + tan 2 i j)
(1 + tan -2 q)
2
(c
= cos
c
ft
(c
c
(1
c)
(1
(c
tan 2
+ ft x c)
1
2)
tan 2 i q)
tan i 2
2 c
_
c
(1
= sin
(ft
tan
c)
I j)
*
j.
q.
Now
VECTOR ANALYSIS
342
ftXC=(I
and
(c
(I
x Q)
+a x
(I
(I
-I
c)
Ixft)-C
(I
1
tt)-
ft)
-(I-Ixft) =
Ixft.
Multiply by c
(I
x a)
x Q)- 1
(c
-Q
(I
-I
X Q)- 1
c)
=c+
a x
c.
(I
of
ft
c.
tt)
(10)
ft.
ft
into
+ ft.ft)c.
(I
(I
(I
+ I X Q)
=c+
ftxc)
(c
ft)
QX
(c
c)
ftxc
=c+Q
ftxc
Qc=
ftx(ftxc)
(1
+Q
Q) C
dicular to
ft
ftft
ft
c into
the vector
(I
c, if
be perpen
+ Ixft) 2
1 + ft-ft
(I
I
+ IXQ)
+ Q.Q
Q
v
"l
*Q
+ Q-
merator.
The
versor
may
(P
(i
(i
ft)
(Ixft)-(I xft)
Hence substituting
ft)
an annihilator
is
nu
be added to the
IXft)*
ft-ft
2 1
ft
ft
(i
ft)
(i
ft)
= l.ftft-ft.ftl.
may
may
xft) x
^(l-ft.ft)I
This
=i+
(I
which
then be written
ftft+CI
1
Q, ft,
ft,
343
+
+
2ftft
ft
+ 2Ixft
ft
Let
(11)
128. ]
form
= 2aa-I
(12)
TT
in the general
aa
4-
cos q (I
a a)
sin q I
a,
or
is
is
VECTOR ANALYSIS
344
versors.
The
product
=(2bb-I).(2aa-I)
is
is
certainly a versor;
a versor.
changed.
The
a
is
2 b
a b a
of the versor
2 (b
is
is
a)
- 1 = cos
(b, a).
b.
Theorem
as the product of
lie in
-a
two biquadrantal
may be
versors, of
expressed
Furthermore
perpendicular to the axis
let the angle from a to b be equal to one half the angle of
Then by the foregoing theorem
this versor.
J? x
of this versor.
J2=(2bb-I).(2aa-I).
(14)
two biquad
rantal versors affords an immediate and simple method for
compounding two finite rotations about a fixed point. Let
The
d>
and
345
</>
= (2bb-I).(2aa-I)
$T=(2ec-I).(2bb-I)
V.
But
(2
bb
- I)
(2
bb
1)2. (2
aa
- I).
is
I)
(2 cc
it
of
into
a and
is
If
and
tangents of
= I.
perpendicular to
one half the angle from a to
is
is
equal to
c.
two versors of which the vector semiversion are respectively QJ and ft^ the vector
are
Q3
semi-tangent of version
a ~
of the product
q 1 + a 2 +a 2
xa
<P is
i-a.-a,
0=(2bb-I) (2aa-I)
= (2 c c - I) (2 bb - I).
<P = (2cc-I)
(2aa-I).
Let
and
~y
iff
ba
x
(V
-2aa -2b
= 4a
b b
X a,
<?)
VECTOR ANALYSIS
346
= 4(a.b)
?T
=4c
b cb
rx = 4
=4
<p
(ST.
But
[abc]
Q2
b,
= bxc
1,
axb
C^
ft
b b
b b
xb
r,
axe
b b
b b
Qr
ft
abbc
=1
r-^r
_a
c)
[abc]J b
a b
a* b b
bxc
(b
= axe
+cx
a-bb-c
x (axb)
x b)
=
" (a
2 aa
2 cc
b b
bx
= (bxc)
Q 2 x Qj
Hence
Hence
^=T
b
x Q
2 c c
<p) x
= axb-,
= 4 ca c x a,
2
0)^ = 4 (c-a) -l.
(?F.
Hence
2 bb
ca
-l,
= 4(c.b) 2 -l
?r5
JF
a*bb*c
847
finite rotations.
infinitesi
mal.
mula reduces
The
ftj
to
infinitesimal rotations
vector addition.
angular velocities.
The
If the
60.
icSy
129.]
and
standpoints in Arts. 51
<P
dyadic
be a versor
it
may
be written in the
form (4)
= ii +
cos q (jj
The
axis of rotation
axis
is q.
is i
+ kk) +
= ii +
.
This
is
- jk).
Let
Multiplying
sin q (kj
cos q
(j j
+ kk) +
sin q r (kj
y=
+ ? ) (j j + k k)
+ Bin(j+ 9 )(kj-jk).
i i
cos (g
two versors
jk).
of
the product of
(16)
is
a versor with
to the
sum
of the
angles of
If a versor be multiplied
by itself, geometric and analytic
considerations alike make it evident that
2
and
4>
i i
= ii +
cos
2q
cos
nq
(j j
(j j
+ kk) +
+ kk) +
sin 2 q (k j
sin
nq
(kj
- j k),
j
k).
VECTOR ANALYSIS
348
On the
kj-jk.
hand
other
4>
equal jj
+ kk;
and
<P
2
equal
Then
<p
The product of
ii.
Hence
= ii +
(i i
cos q
ii into either
4>
let
= ii +
cos n q (PS
or
d>
(cos q
+n
cos 11
<P
^1
sin q
2
is
$ 2)n
sin q
is
n
2)
1
q sin # fl^""
The dyadic
The dyadic
<P
2
itself.
(Pf
= <Pr
2
power gives the negative
raised
to
the
third
the
power,
<#!
negative of <P2 ; raised
to the fourth power,
raised
to
fifth power, <PZ and so
the
l
of
<P
The dyadic
on (Art. 114).
multiplied by
is
equal to
Hence
<P .
2
<p
i i
cos n q
nfnl)
V
;
&n
But
Equating
i i
coefficients of
cos
= cos
sm 7i q = TI cos "^
n (n
q
and $2
for
1)
~~^TI
sin
q sin q
<P%
<P
two expressions
"
COS>1
(71-1) (71-2)
:
nq
in these
-- 71
j sin q
~l
-2
cos
<P
cos n
+n
? sin q
cos n
"3
"# sm^ +
Thus the ordinary expansions for cos nq and sin 715 are
obtained in a manner very similar to the manner in which
they are generally obtained.
The expression for a versor
Let
a,b, c be
reciprocal system.
<p
= aa
4-
cos q
(bb
cc
sin q
(cb
be
).
(17)
349
Let
r
<P
= cos p b +
= cos
This transformation
(p
may
sin
q) b
c,
sin (p
q)
c.
interpretation as follows.
as a variable scalar parameter, describes an ellipse of
b and
c are
this ellipse
r
is,
the ellipse
cylinder.
Let
117).
unit circle
That
which
= cos p +
i
and the
sin q
same
circle
j.
and
and b
of the ellipse.
The radius
equal to
r,
such that
f
= cos (p + q) +
i
sin
r in the ellipse is so
(jp
+ q) j.
tion of
is
The vector
changed in a
may
dyadic
$ applied as
of which b and
whole
ellipse.
The
ellipse as q is to 2
a prefactor
to
TT.
Hence
a radius vector r in an
the
ellipse
VECTOR ANALYSIS
350
radius vector r
sector q from
it is
similarity to
its
Such a displacement
be called an
of the
the projection.
Definition
= aa +
is
may
2-Tr.
dyadic
cos q (bb
of the form
cc )
The
sin q (c
versor
is
V - be )
(17)
a special case of a
cyclic dyadic.
It is evident
= aa +
cos
If the scalar q is
nq (b b
c c )
sin
nq
(c
an integral sub-multiple of 2
27T
TT,
bc
that
).
is, if
= m,
1
it is
namely, the
may then
power w, that
it
to
be regarded as the
mth
In like manner
the idemfactor.
if
as
in
an
the ellipse.
<
<Z>
where
dyadic
Definition:
130.]
a,
itself is called
right tensor
The order
ii
+ &jJ+ckk
6, c
in
351
may
is
the
(18)
The
rt^Atf tensor.
is
The
immaterial.
transformation
is
and
is
described as a stretch or
is
unity.
The lengths
the successive
to the dyadic
may
be regarded
com
ponents of r parallel to
ratios
a to
a, 6, c
1, b
to 1, c to 1.
unity,
The
directions
The
if
the
elongation.
In Art. 115
reducible to
it
VECTOR ANALYSIS
352
where
constants.
a, J, c are positive
This expression
two dyadics.
0=
k)
(ai
0=
or
The
+ ck
ftj j
i+j
(i
factor
which
It
(i i
k k)
+j
(aii
+j
6jj
k),
i,
j,
be
(19)
+ ckk).
k k
is
may
is
a versor.
The vector
i>i
The other
^ + k kls ixi
+
i
+j xj + k xk
+j .j + k.k"
i.i-
factor
ai
+ ck k
aii
or
the second,
i, j,
the same,
k.
a to
1,
space
that
is,
a perversion.
Theorem:
Hence
order.
it is
353
rotation, either
ing as
in the product.
follows or precedes
4>
(ai
C
.
6 j
(aii
i i
accord
+ ck
+ ckk ),
6 jj
62 j
k),
k k
(20)
kk.
The
131.]
right tensor
is
the dyadic
where
and a
a, 6, c
,
= aaa + &bb +
ccc
(21)
and a
sarily a, b, c
Definition
<P
dyadic that
may
is
called a tonic.
The
directions a, b, c in space.
coplanar
into its components parallel to
23
a,
respectively these
VECTOR ANALYSIS
354
If one or
may be
factors
which each
of
a, b, c
The value
cc )
(aa
of a tonic
is
+ &bb + ccXa
not altered
if
in place of a, b, c
collinear with
them be sub
stituted,
which
which
is
and
c.
The product
same
is
of
two
tonics of
commutative and
is
Any
a, b, c
three
are the
=a
aa
+ \bV + ^ cc
c2
0. y =
The
=a
a 2 aa
+ ^^bV-f c^cc
(22)
aa
is
<?
cc
cos q (b
= a aa
-1-
V+
1 (b
c c )
V+
cc )
sin q (c b
(c
bc)
V - be ),
(23)
355
which a
a, b, c
V,
p and
may
and
(24)
scalar
c=psinq.
That
is,
and
tan
=.
(24 y
Then
+
This
may
cc
The
be ).
(cV
(25)
0= (aaa + bV + cc
{aa
+ p sin
cos q (b b 4- o c
is
(a a
+ p bV + jpcc )
sin q
(cV
immaterial.
- be )}.
The
first is
a tonic
unchanged vectors
parallel to a
but stretches
to 1.
all
The
vectors in
third
is
TT.
may
be regarded
VECTOR ANALYSIS
356
Definition :
dyadic which
= a aa + p cos
<P
owing
(bb
is
cc
+p
sin q (c
be
(25)
),
the
for consequents
is
is
com
mutative.
cc
5F
= a2 aa
0.
W*
5P*=
=a
sinq l (cb
be )
+ jpa
sin q 2 (cb
be
Reduction of Dyadics
132.]
cc
+ p p 2 cos (q l + j a ) (bb + cc )
sin ( 2l + & (c b - b c ).
(26)
a 2 aa
+ Pi P*
+p
to
Canonical Forms
may
be reduced
the reduction
which may
is
left
may
arise, is
<P
must be a
tonic.
is
357
=aa
al).a = 0.
a
or
(0
The dyadic
aI
is
(27)
it
reduces vectors
any case
if
the dyadic
<P-aI
reduces vectors collinear with a to zero
it
possesses at least
<P
vanishes.
(0-aI) 8 =
Now
(0
- a I) 8 =
<P
(page 331)
Hence
(4>
W) z
Z
-a
<P
B
<Z>
0.
+
1
(28)
<P
2 :
a2
W+
:
W^
^ - a3 1 8
= I and I3 = 1.
I2
But
The value
is
of
- a2
a which
0^ -03 = 0.
satisfies
(29)
Let x replace
a.
The
x*
- x*
d> 3
2S
= 0.
(29)
VECTOR ANALYSIS
358
value of x which
Any
this
satisfies
that
(*-aI), = 0.
That
is
xI
(28)
is
planar.
vector per
Theorem
133.]
x*
- x*
4> s
For
let
= a,
2*
are
a I,
<P
61,
Let
in general planar.
vectors
drawn perpendicular
b,
a,
=c
The dyadics
&,
(29)
in general be reduced
may
<P
cl
be respectively three
of these dyadics.
= 0,
(0-cI).c = 0.
<P
a = a a,
</>-b = &b,
c = cc.
<p
b
Then
(30)
(30)
If the roots a,
coplanar.
&, c
For suppose
c
= ma +
?ib
a, b, c
are non-
m$
raca-ffl>0b
But
= a a,
m (a
Hence
and
m(a
c)
m=
Hence
0,
c)
or a
vectors
a, b, c
(b
c)
n(b
TI
= 0,
c)
or b
0.
it
is
still
if
non-coplanar vectors a, b, c
This being
tions (30) hold.
reciprocal to a, b, c
c.
a, b, c
a a,
= 0.
= 6 b.
= c,
ncb
359
system a
carries a, b, c into
b b, c c is the tonic
Theorem
If the cubic
x*
equation
- x* 4> a +
the root be a.
d>
2S
may
in general be reduced to
real root.
<P
is
Determine a perpendicular
the consequents of
4>
(29)
to the plane of
I.
(<P-aI) .a
= 0.
and
(0- a I) =
VECTOR ANALYSIS
360
(0
- a I)
= 0.
Hence <Pb is
3
<P
b, $
b, and
perpendicular to a
l
2
<P~
b, 0~
b, etc., will all be perpendicular to a and lie in
one plane. The vectors <P b and b cannot be parallel or
would have the direction b as well as a unchanged and
thus the cubic would have more than one real root.
2
The dyadic
a,
b, b into
b, <P b re
changes a,
of
The
volume
the
parallelepiped
spectively.
Hence
al)b
(<P
is
perpendicular to a
In a similar manner
</>
</>
[<p.a
But
Hence
The
a a
vectors
b)
(<P
<0
b,
= 3 [a
$a = aa.
(0 b) = <P3 a
b,
and
Inasmuch
(0
as a
b)
and
x
<P
(</>.b)
and
b1
b_!
=;r #-b
(&-
b
b2
or
The
Xb
(b 2
vectors b 2
b1
= 27ib 2
b x -f
b_!
=2nb
b3
bx
Their
Hence
(31)"
let
(32)
= /r
#~ 2
etc.
(33)
etc.
b,
X b,
= 0.
b) x b x
b and b x are
b2
Then
=p
(31)
b2
b_ 2
b.
><Pb xb.
b)
to each other.
^ = a-i*
Let also
(0
(31)
b].
all lie in
<P-b
</>
</>.b]
parallel.
Let
= 27ib r
b + b = 2nb 3
b_!
+ b_ = 2 n b_
2
(34)
etc.,
etc.
off
861
Since
is
b2
b_j,
etc.,
b_2, etc.
since there
is,
no direction
is
in
on
= cos
b-j + bj = 2 cos q b.
n
Then
Determine
n must
(36)
q.
= cos q b + sin q c.
sin q c.
b_j = cos q b
bx
Then
Let a , b
f
,
sible since a
Then
=1
pos
Hence
is
and since
Let
are non-coplanar.
a, b, c
This
b, c.
The dyadic a a a
the vectors
+pW
a,
= (a aa + p
b,
W)
and
b and
= a aa + ^ cos j (bb +
4- ^?
The dyadic
a,
b_ x respectively.
sin q (c
b^
into
Hence
cc7 )
b o ).
root
is
VECTOR ANALYSIS
362
134.]
is
the
first
place
if
tonic form be
place
if
1 the reduction
vectors a
perpendicular and it
a a shall be unity.
is
The reduction
n=l,
If
b_1
b_1
Let
Choose
*P
<P
b1
through.
2b.
= 2b.
b =b
b_r
b1
=b
W = a aa + p (bV + co )
y.a = aa=<P.a,
pb
+ pc
?p*.o=jt)c=
Hence
falls
= a aa + p
pbi
pb 1
(b
V+
JP
<P
b,
b=
cc )
4-
c.
+ p cb r
(37)
may be
seen best by
into three factors which are independent of the
to this dyadic
factoring it
order or arrangement
.(aa + bb
cc
cb
).
In these cases it will be seen that the cubic equation has three real roots.
In one case two of them are equal and in the other case three of them. Thus
these dyadics may be regarded as limiting cases lying between the cyclotonic in
which two of the roots are imaginary and the tonic in which all the roots are real
The limit may be regarded as taking place either by the pure
distinct.
imaginary part of the two imaginary roots of the cyclotonic becoming zero or by
two of the roots of the tonic approaching each other.
and
863
first
a to
The
to 1.
(I
(I
+ cb
+ oV)
c in
form
= #a,
+ c V) x b = x b + x o,
x c = x c.
(I + c V)
by the
# b to
b.
In other
+ cb
general dyadic
<P
= a aa + p
(b
V+
c c )
+ oV
(37)
The trans
will also be called a shearing dyadic or shearer.
formation to which it gives rise is a shear combined with
elongations in the direction of a and is in the plane of b and c.
If n
1 instead of n
+1, the result is much the same.
$
$=
= a aa
aa + bb + cc )
-,p (bV
f
(a
{aa
+ c<0 - c V
-p
(b D
cc )>
(37)
(I
cV).
VECTOR ANALYSIS
364
The
0al
The
a I
<p
coefficient
+B
must vanish.
j j
+ Ck +Dk
i
k and
j.
Bk)
carried on as before.
new
This
case occurs.
Nothing new
Let
may be reduced
arises.
as follows to the
But
if
vanishes
form
ab + bc
where
Square
V=a
=b c =
and b V = 1.
W = A D ki = ac
c
Then
=A
and
into
V= CiA+DDi
=AD*,
b
i.
parallel to
i.
the dyadic
and hence the dyadic
this choice of a, b, V, c
ab + be
desired form
= al +
= aaa + abb +
or
This
may
reduces to the
reduced to
<P is
ab + bc
ace
(38)
+ aV +
be
order of which
The
365
is
immaterial.
represents
r
= IT +
r+ bc -r=
ab
r-t-aV-r + bc
is
tional to the
if
by the dyadic Q.
If
it is
In like manner
r.
r is parallel to c it is
which in direction
is
= (I + ab -f bc ).zb=
Q *xc = (I + ab + be ) xc =
-zb
Definition
dyadic which
<P
is
-r.
r is parallel to
which
For
shear.
= aI +
may
r.
zb + a a
xc
4-
#b.
ab + bc
(38)
VECTOR ANALYSIS
366
135.]
of dyadics
arise
may
Hamilton-Cayley equation
03
02
0^
S x*
<P
25
= 0.
(29)
&, c
- al)
(0
(<P
- JI)
- <?I) = 0.
(0
(40)
If,
(0_al).(0 2 - 2^0082
4>
+ p*I) =
0.
is
(41)
an equa
may
satisfy
of lowest degree
its characteristic
I.
(<P
equation.
- a I)
II.
(0-aI)
III.
IV.
(<P
V.
VI.
VII.
(0
The following
- b I)
possibilities occur.
- c I) = 0.
- a !).(</>- 61) = 0.
(0-aI) 3 = 0.
(<P
al)
(<P-aI)
0.
= 0.
first
a tonic and
is
= a aa +p
cos q
(bb
= aaa +
is
is
0=
= al +
cb
=a
be
sin q (eb
cc )
+ cb
be
).
may
be
Two
of the
(bb
cc
).
al + ab
is
+p
again a tonic.
be accomplished in an infinite
fifth
may
(bb
= aaa +
is
In the
be reduced
a cyclotonic and
cc )
may
may
form
6bb + ccc
d>
367
-f
be
may
be
is
4-
(aa
bb + cc
+ cb
= al = a(aa +
/
bb + cc
).
VECTOR ANALYSIS
368
Summary
VI
of Chapter
ratio in
or that
i i
4> c
or that
=I
c= I
<P
is
+
3
that
be reducible to
it
k k
=+
8 >
(1)
(2)
The
by which each
figure is replaced
by one symmetrical
to it is
that
= -(i +
$ <P C = I*
0.00 = 1,
i
or that
or that
is
(1)
k k)
^3 =
3
(iy
<0.
called a versor
(3)
;
a perversor.
(4)
or
If
i.
The
is
= aa +
(5)
cos q (I
a a)
sin q 1
(6)
X.
axis
and
if
369
the magnitude of
This vector
is
In terms of
the versor
<P
(9)
be expressed in a number of
may
was.
<P
dft
a-ft
/
cos q (I
<D
(I
a-ay
or
aa\
sin q
(I
ft)
-I
(10)
x Q)- 1
J^ + axQ)
tf
=
1
If
is
(10)
(loy
Q-ft
= 2aa-I
(11)
another.
of version
is
<P
is
simple rotation
an
It
(cb
-W)
(17)
produces a generalization of
The
pro-
VECTOR ANALYSIS
370
cyclic dyadic
angles q.
idemfactor.
where
may
(18)
a right tensor.
It
ratio
This transformation
is a pure strain.
as
the product of a versor,
be
expressed
Any dyadic may
and
a
or
a right tensor,
positive
negative sign.
of elongation.
=
<P=
or
(a i
(i i
+j
&j
k k)
(i i
j j
Jjj
ckk).
k k).(aii
k k)
(19)
(21)
and cyclotonic
cc
or
<P
+ c(cV-bc)
where
= + V 62 + c 2
and tan I q
*
=2?
-.
(23)
be )
(25)
(24)
Any
tonic
is
+ 0^ x -
<J>
(29)
shall
roots.
Special cases
371
in
which the
reduction
when
and
is
=aaa
+jp (bb
a simple shearer, or
it
is
a complex shearer.
cc )
+ cb
(37)
= al +
and
In these
ab + bc
Dyadics
(38)
may
be classified accord
=0
1) =
(<P-aI).(0-&I).(<P-cI)
(#
a I)
(<P
cos q
+ jp
tonic
cyclotonic
=
simple shearer
special tonic
(0_ <*!)($ &I) =
8
complex shearer
(0 a I) =
2
special simple shearer
(0 a I) =
special tonic.
(0 a I) =
(0
a I)
(#
& I)
CHAPTER
VII
MISCELLANEOUS APPLICATIONS
Quadric Surfaces
If
136.]
= const.
(1)
the form
= 1,
r = 0.
or
The dyadic
is
may
be assumed to be
(2)
For
self -conjugate.
if
r is
JJ
If
=1
sign
is
negative
it is
If the
is
QUADRIC SURFACES
373
all
equation
r
Thus
the equation
0-
= const.
The
quadric surface
may
form
in the
conjugate dyadic
surface reduces to
d>
= const.
This
is
#2
2
7/
z
= const.
c
<Pis
a*
scalar expression
o*
which
c*
quadratic in
set equal to a con
is
where
a, b, c, d,
a) (b
(r
r,
r)
c,
The
e,
first
two terms
and
the
But
and
r
(r
a) (b
=r I
=r
r)
r,
ab
r.
VECTOR ANALYSIS
374
where
a constant dyadic,
is
a constant scalar.
desired.
conjugate
To be rid of the linear term r
as
self-
if
by
replacing r
by
-t). 0-
(r
<P
Since
equal.
of origin
<P
A+ C=0
+
<P
(7=0.
and third terms are
Hence
r
now
is
2 r
(J
is
or t
is
incomplete
is self -conjugate.
as the case
If
may
+C =
f
t)
t
may
= 5L 0-
0.
be chosen so that
A.
In case
A-
is
-t)
-A-t- A +
= 0-t
IA
L
of
(r
is
r
If
-t) +
(r
t
make a change
A,
t.
r
it is
= const.
untplanar or unilinear because
lies in
the plane of
or in the line
be the equation
soluble for t
sible.
is
an interesting
The present
object
exercise.
is
It will not
to develop so
much
non-central
be taken up
of the theory
QUADRIC SURFACES
375
di
Since
<P is
= 1.
<P
self-conjugate these
differentiation.
di
<t>
= 0.
dr.0-r = 0.
(5)
The increment d r
this
normal be denoted by
BT
r is
is
and
r)
n.
<P
(6)
Let
r.
normal be
(0
#2
Vr
r)
r*
The perpendicular
the tangent plane, p is parallel to n.
distance from the origin to the tangent plane is the square
root of p p. It is also equal to the square root of r p.
r
Hence
= r cos
r
Ll!
p.p
Or
(r,
=p
p)
= p2
as
p and
p.
= , JL = L
.
p.p
r0r = rH =
But
Hence inasmuch
l.
IT are parallel,
0.r = !T=-^-.
p.p
(T)
VECTOR ANALYSIS
376
On
page 108 it was seen that the vector which has the direc
tion of the normal to a plane and which is in magnitude equal
may
Hence
That
The equation
may be
Hence
= H 0-
0- 1
= 1,
If
= JT 0"
H.
is
H-0-i-H = l.
(8)
*4 +y+"
c
kk.
= #i-t-yj+3k,
N = ui + v + wk,
Let
and
where
u, v,
plane N upon
written in either of the two forms familiar in Cartesian
geometry.
or
K 0- 1 .N = a 2
wa
2
Z>
v2
c2
w 2 = 1.
(10)
QUADRIC SURFACES
377
drawn tangent
to the
which
chords.
It is parallel
the plane
to
Let
= s + x a.
Hence
= (B +
2 #
<D
a)
.
(s
2? a
= 1.
# a = 1.
x a)
term x vanishes.
,.
s is
= 0.
perpendicular to
with
a.
The
s is
a,
and
parallel
a,
0.
with a and
of the diametral
b.
Then
a
d>
= 0,
c = 0,
a = 0.
(11)
VECTOR ANALYSIS
378
The
vectors
a, b, c
The
vectors a , b
For
=a
V=a
may
b, <P
b,
-b
by
c.
= 1,
V=b
=c
b = 0,
a =c
= 1,
c = b
a = 0.
a, b, c.
= 1,
= 0,
= a a + b b + cV,
0" = aa + bb + cc.
(12)
and
If for
a, <D
The dyadic
V=
a,
and
<P
Let
the dyadic 0.
a,
b,
c,
be called a
0- 1 = aa + bb +
The determinant
or third of
0" 1
which
is
is
-i=[abc]
cc.
QUADRIC SURFACES
But
0-!:=a 2
if
ii
=a6
[a b c]
Hence
<P
and
<Ps~~\
3,
The sum
it is
kk,
c.
& 2 jj
379
possible to
show that:
drawn to an
ellipsoid in a
is
constant
is
The sum
tf^-i
Let
a, b, c
= i*
0-i
i .
+j
+j
<P
0-i
j
.
+k
j
+k
k,
0"1
k.
respectively parallel to
Hence
</>
<P a
i, j,
k.
=b
-i
But
j
*
directions.
Hence
VECTOR ANALYSIS
380
The sum
in a similar
The equation
constant.
is
is
= 1.
(13)
8*0*8+
If the terminus of
of the ratio
+ #a
x + y
s
2 xy
s lies
two values
must be equal
x:y determined by
in magnitude
and opposite in
this equation
sign.
in x y
vanishes.
Hence
=1
is
of
a.
Let a be replaced by
or
z a.
(p
(P
= 1,
1
-
z
1
It is evidently
QUADRIC SURFACES
When
381
= 0.
direction
This
a.
statement
is
<P
=1
or
The equation
a.
IT
=1
P = r c C = 0,
r - 1) + k (r
c -
and
the equation
(r
C)
curve.
In like manner
Q
Q
the equation
if
=T
= T*
r
(r
=
-r-l =
r
1)
(r
0,
1)
other points.
is
factorable into
two
lie
in those
two planes.
VECTOR ANALYSIS
382
= 1.
are
a
r
<P
= 1,
r = 1.
r
(r
Hence
By
k (a
If this passes
(a
- 1) +
a - 1) + k
r - 1) (a
(r
which touches
is
- I) 2 = 0.
-4,
(a
- 1) -
(a
= 0.
r - I) = 0.
I)
to be a cone
140.]
Let
sible in the
It is expres
form
where A, 5,
more let
A<B<G
- Bl =
(<7- B) kk
(5
- A)
ii.
Further-
QUADRIC SURFACES
VC B
Let
Then
=c
and
0- Bl = cc-aa = \
Let
Then
=p
j(c
-(pq
<P
J.
= q.
sum of
the sum
as the
(14)
a constant
qp.
= a.
qp).
pq +
+ a)(c-a)+(c-a)(c+a)
and
= 51 +
<P
VB A
383
zero.
is
5r
Let
+
r
r
r
= 1 becomes
r = 1.
r
p q
= 1.
=n
p.
r.r-ftt q
By
substitution
= 0.
This
equation
is
r (r
n)
= 0.
intersect in
and
= n.
two plane
VECTOR ANALYSIS
384
circles.
.5 r
= 1.
p q
Hence
ishes.
as
p q
van
B r-r = l
and
is
of constant length.
section.
mean
The
may
section
is
is
therefore a circular
For convenience
stants
The
A, B,
let the
quadric be an ellipsoid.
The
The con
1
reciprocal dyadic (P"
B
Let
Then
\B
1-*
-^
\A
and
= f f - dd = \
-i.
=
(f
d) (f
- d)
+ (f-d)(f +
Let
Then
+ =u
d
0-i
and
= 4 1 + I*
>
d)j
= v.
O v + vu).
(15)
QUADRIC SURFACES
385
=1
or
-N N+N
For
(t>~
N=
N=
uv
1.
1.
z>
If
now N
uv
N N = B.
-
That
is,
the vector
is
of constant length.
But
the equation
The
cylinder is a circular cylinder enveloping the ellipsoid.
radius of the cylinder is equal in length to the mean semi-axis
of the ellipsoid.
extremities of the
two
and
mean
q.
The
through the
There are also
circles pass
n and
v.
The
Two
direction
elements of
mean
axis
of the ellipsoid.
One
axis of this
ellipse is the
mean
axis of
the
minor axis of the ellipsoid and hence at some stage must pass
through a length equal to the mean
25
axis.
At
this stage of
VECTOR ANALYSIS
386
is
circle.
mean
The
ellipsoid to the
some stage
it
mean
At
of the rotation
axis.
perpendicular
is
The
and
:
Furthermore
if
r is to
maximum
=1
= 0.
d r $ r = 0,
d r a = 0.
d r r = 0,
r
Differentiate
<P
Conversely
if
[a r
4>
[a r
<P
= 0.
= 0,
r]
(16)
r]
to their
common
plane.
QUADRIC SURFACES
Hence
maximum
r is a
or a
minimim and
387
is
of an ellipsoid in the
form
?T 2
instead of
This
may
<P
be done ; because
is
= 1,
r = 1.
r
(17)
if
ii
kk
=+ jj +
2
^ ir>
a square root of
is
equal to
may
<P.
But
<P
a.
It is frequently
are
be regarded as
must be re
it
<P
for
example,
and
For
root which
is
meant by
been denoted by
The equation
of the ellipsoid
.r.
or
Let
<P* is
may
.r
the sphere
is
= 1.
The equation of
VECTOR ANALYSIS
388
?Trit becomes
a-
moment
c,
a
a
=c
c = c
F2
a
If for the
=b
b =b
?F 2
denote respectively
=V V=c
V=V c =c
a
^.0 = 1,
a = 0.
radii vectors
a
c of
a,
b,
= 1,
= 0.
the unit sphere into
Theorem :
ellipsoid
Any
ellipsoid
may
by means of a homogeneous
strain.
and
By means
ellipsoid are
of the strain
01.
of the strain
= 1,
r = 1.
r
0* the
By means
<P
radii vectors r
r,
.r
of a unit sphere
= l.
of this unit
into f .
f
= r-
r.
(19)
QUADRIC SURFACES
389
without a perversion.
vectors in the sphere
by a suitable
The
faces
is
--ir-
a*
If r
and
o*
c*
family,
2
62
nl
TI
kk
.-..
0-1
(a
y-i
(a
Hence
- 71^11+
-
7i
2)
i i
0- - r- 1 ^
(7i 2
r
is
-n
- 74)
+ ((^-w^kk,
2) j j
(ii
7l*
(c
- n2 )
k.
two quadrics
=1
r = 1
+ j j + kk)
and
Tin
-tti)jj
2
(&
be confocal,
(&
7&
<P
and
differ
by a
390
VECTOR ANALYSIS
If
and
Let
Then
the quadrics
= 1,
r = 1.
r and s =
s and r =
1 .
r,
~l
be written in terms of
may
s
and
do so at right angles.
<P
<P
= 0-
intersect, they
and
as
= l,
s = 1,
0- 1
.s
W~ l
But
W~l
= 0.
r- +
s =
= 4> rl
= ?r-i s +
rs - s
.
=s
W~l
1 *
I)
s,
=1-s
5T-1
In like manner
r
= 0X
Add:
= FS = S
f
2 a
= (0- 1
s
1
(P""
=s
is
If the parameter
<P~l
- P"
s = 0,
(0~
Hence
and the theorem
I)
= 0- s <P~
S = S
S
s
s = x s
1
1.
proved.
n be allowed
to vary
from
oo to
+ oo
the
and the
third, hyperboloids of
two
sheets.
By
the foregoing
QUADRIC SURFACES
391
the family
The points in which two ellipsoids are cut by
of ellipsoids.
these lines are called corresponding points upon the two ellip
soids.
It
may
For
let
any
ellipsoid be given
The neighboring
dyadic
a
kk
JJ
dn
dn
y-\
= $-i
and
by the
11
"
Inasmuch as
by the dyadic
dn
ldn.
are
8, p.
330)
0+&dn.
ellipsoids are
and
By
r
f
(19)
+#
(0 +
(#
<Z>
r=
f
(I
then
= 1,
d n)
d n)-i
1,
r,
I<Pdn)
VECTOR ANALYSIS
392
The
perpendicular to
r which is
by a multiple of
the ellipsoid 0. Hence the termini of r and
upon one
of the lines
dn
=x=r
=x
*r
dn
a2
-.
ft
/>
The
ratio of these
a.
A/a
,.,
In
like
components
is
dn
V& 2
manner
dn
"l
..
by
fj\
A a
i
are
Va2
~*
dn
dn = y- j V^ 2
and
d n and
dn = z
-.
ratios of
It follows
drawn
to corresponding points
ellipsoids, sepa
The
infinite isotropic
netic
1
medium which
is
transparent to electromag
The
To treat
Pot
where
.FD
and
units,
VF
is
(i)
is
namic equation V D =
ured in electromagnetic
constant
V.D = O
+ VF=O,
393
For convenience
then become
-4-7T0.D +
U/
Operate by
V-D=0.
VF=0,
(2)
(/
x.
x Pot
47rVxVx0.D =
0.
(3)
CL t
The
last
the derivative
VF vanishes
(page 167).
also be written as
Pot
-r-y
47rVxVx<P.D =
0.
(3)
VxVx=VV.-V.V.
But
and
(t t
to
TT
the
dt*
0.D
VV
D,
VD =
0.
(4)
VECTOR ANALYSIS
394
D=A
Then
where
and
cos
(m
f)
and n a constant
scalar
the quotient of
is
The value
of
in those equations.
V V
D,
VV
and
D,
D may
be
dent with m.
m x.
The
variables y
D=i
V V
VV
Hence
d>
3D
D
m2 i
m A
i-
sin
(m x
n f)
cos
(m x
n f)
4>
sin
(m
cos
r
(mx
</>.D.
7i
nf).
nf)
D.
f)
m m
d>
Hence
A m
m2
(m x
dX
-j--^
if
no longer occur in D.
# D
Moreover
is
to satisfy the
equa
medium
n2 D
and
-z
V V
Hence
= A cos
and
= m-m
<P
m A = 0.
mm
<P
(5)
(6)
m of
is
D.
4>
7i
The vector s
s is
(5)
=-
the quotient of
velocity of the wave.
of
<P
n2
Introduce
395
This
n.
by
The
vector
The magnitude
the wave-slowness.
D
This
may
D.
s s
also be written as
(s
D)
=s
x (0
wave slowness
A.
(7)
depends not at
The motion
s.
n t\
A = sx(0A)xs = ss
D)
its
all
direction.
displacement and
let
that
d>
1.
(8)
(<2>*a)
to the
Xs = s-s #-a
a
a = 1.
form
ss-#-a
(9)
(8)
=s
medium may
a
be carried on.
=s
s.
(10)
VECTOR ANALYSIS
396
equal in
is
drawn
radius vector
in the
ellipsoid
=1
in that
direction.
axa = = ss
=s
But the
s(aX #
first
a)-
a x
The wave-slowness
<P
<P
aXs #
term contains
a x
<P
[a
a]
= 0.
a.
Hence
(11)
=1
at the terminus of a.
Since s is perpen
a
dicular to a and equal in magnitude to
it is evidently com
determined
as
pletely
except
regards sign when the direction
is
known.
<P
line of
known.
in either direction
perpendicular to
there are
s.
Hence
two possible
for
lines of displacement.
from the
ellipsoid a
minateness of
=1
to the
To these statements concerning the deterwhen a is given and of a when s is given just
If s is perpendicular to
one of the
When
slowness
397
=s
-s
(I
a
or
The dyadic
SB
s s
(P)
<P
a
a
= 0.
(12)
vectors parallel to
The
a.
third or determinant
it
annihilates
This
is zero.
gives immediately
(I
or
(0-
This
is
#) 8
ss)
= 0,
= 0.
(13)
It is the locus of
s.
+ ef) 8 =
<P
<P
00-
</>
Hence
common
factor
self-conjugate.
s1
--
Hence
-r
-8
Let
= 0.
8-1.8
S
1
si)- -8
(CM-s-
8*8
-=
(P
= 0.
(14)
is
VECTOR ANALYSIS
398
/^_W/_J_\ JJ++
jj
[i_g
i-i.i*-^_-jj
Let
Then
= xi +
+ zk
yj
s2
and
20
uk
[ir^J
= #2 +
y*
z 2.
z*
j?/
i-_
l-fl2
is
-72
0.
(14)
The equation
in Cartesian coordinates
may
be obtained
rp n f1 v f
rr\
from
directly
The determinant
a2
x2
x y
x
By means
of this dyadic
is
x y
6
y^
of the relation s 2
= x2 +
0.
(13)
z 2 this
assumes the
forms
n
~T~
"22
s
~~" -^
c2
or
The
Suppose that a
represents the wave-slowness.
polarized in the direction a passes the origin at a
vector
plane wave
unit of time
it
will
magnitude
of
s.
= ui +
vj
399
the end of a
s,
a distance
The plane
will
(page 108).
wit
the plane at the expiration of the unit time cuts off intercepts
upon the axes equal to the reciprocals of u, v, w. These
quantities are therefore the plane coordinates of the plane.
They are connected with the coordinates of the points in the
ux + vy + wz =
If different plane
waves polarized
\.
wave
The equation
v,
is
of the wave-
equa
The equation
s.
is
=
(15)
where
=u
-f
v2
+ w2
The
The equations
page 397
if
surface
is
in vector
s
known
as FresneVs
be regarded as determining a
wave
advance.
The
It is the
same as
VECTOR ANALYSIS
400
In a non-isotropic
The ray does not travel per
is
medium
this is
no longer
true.
that
is,
And
gency of
dicular
If instead of the
wave-
is
it is
Then
ray.
=1
because
and
v
may
dv
= 0,
=1
and
v
0,
be expressed in terms of
a
da
=s
s <P
= 2s.tfs<P.a
sds-
s-
&
a.
= 1,
(16)
= 0,
a, s,
and
s s
<P
dv
= 0,
as follows.
a,
^arfs + ss<?-rfa
ss
# d a.
and
or
But
ds
since v
0,
=x
= # (s
Hence
<P
(s
=s
op
= 0,
<P
v and
(s
direction.
ds
= 0.
a)
a),
a)
s.
(17)
=xs
8*8
a
<P
401
= 0.
is perpendicular to
a, that is, the
the
to
the
tangent plane
ellipsoid at the
ray
extremity of the radius vector a drawn in the direction of the
displacement. Equation (17) shows that v is coplanar with
velocity lies in
a and
plane.
The
The
s.
vectors
In that plane
angle from
Making use
it is
(16) (17),
a,
s to
a, s,
s is
is
and v therefore
lie
in one
perpendicular to a ; and v , to
equal to the angle from a to $
a.
a.
of
and
x v
a,
a,
s,
a)
(<P
If
=
-a =
a = s x a
s = a x v
=a
.v =a
s
-a
x a
=1
Thus
=v
=a
0-1
a
.
= 1,
= 1,
x a xv
x
= 1.
(18)
VECTOR ANALYSIS
402
It
cular sections of
if
was normal
same magnitude.
wave
primary
optic axes.
[4>
The
a v
a]
[a
v <P~l
a
0.
[0
a v a]
drawn
in the ellipsoid
to
of
of that cylinder.
two
VARIABLE DYADICS
of the ellipsoid
which
lie in
403
may
of the ellipsoid
At this singular
of the singular points of the wave-surface.
number
of
infinite
an
there
are
tangent planes envelop
point
ing a cone. The wave-velocity may be equal in magnitude
and direction to the perpendicular drawn from the origin to
any of these planes. The directions of the axes of the two
are
circular cylinders circumscriptible about the ellipsoid
the directions of equal ray-velocity but unequal wave-velocity.
They are the radii drawn to the singular points of the wave-
surface
optic
axes.
If a ray
wave planes
Variable Dyadics.
147.]
The
coefficients
is fixed.
rigid
VECTOR ANALYSIS
404
W be
Let
= dx i + dy j +
5W
3W
+ dy
^dx-^
$#
c?y
k,
5W
Hence
dz
dz-Ti
c/
---h 3W + k 5W)
W = d r H SW
dx
dz
(
-=
is
is
a dyadic.
It thus
a linear function of
The
first partial
in the braces
>
dy
antecedents are
derivatives of
c?r,
i, j,
k,
W with re
=i-
+j
k-.
(1)
dW = dr.VW.
Then
This equation
is
(2)
function F.
dV=dr VF.
It
may be regarded
nonion form
as defining
VW.
If
expanded into
VW becomes
VW = 11 3x
.
+
if
.5X
ki
.9Y
3Z
-+
-+kj T
kk-^--,
3z
z
dz
ls
<y
VARIABLE DYADICS
405
and
x which were applied to a vector
The operators
function now become superfluous from a purely analytic
For they are nothing more nor less than the
standpoint.
scalar
V W.
W = V W = (V W)*
curl W = V x W = (V W)
div
(4)
(5)
x.
The
VW
dyadic
ator
V may be
function.
V W. On
of
W be forgotten
VW.
function V^
dW = dVF=e?r
V V F=
where
i i
+
75x
<y
Qty
**dy dx
+
The
zero
=
<y
=- +
c/
32
k^
<y x
32
c/
F"
T
dy d z
TT
&y
- + kj
-g- + k k
dzdx
9zSy
result of applying
be a dyadic.
is
kj
ij
VVF",
This dyadic
is self -conjugate.
Its vector
V V V is evidently
3 V
92 V
3 F
V-VF= (VVF)*= 0-22 + T-2 + TT
its scalar
is
seen to
Vx VV
VECTOR ANALYSIS
406
If
V three
sum
symboli
would be a
r
c/
This
is
a triadic.
r,
^r
;r-
vx dy &z
,etc.
x and
V-
=i
30
= i._
+
3x
50
+
^Sy
30
dy
u, v,
Vx
=V
x u
V 0= V
and
=i
if
Vx 0=
x*
i{-
X)v
V
^
^-) +
+j
I*
j^
**
to yield
30
(7)
30
-.
T
3z
(8)
k,
of position in space,
Vx
+V w
k.
Vxvj
+V
operators
k x ^-,
9z
+ k-
where
T r
=u i+v +w
If
Or
+
^dx
The
to a dyadic
v
v
-f
k,
(7)
(8)
k w,
W
=-
-++
< 8 >"
VARIABLE DYADICS
(a.V)<P
(V
The
operators a
tions are
ators.
a1
<P
= ^32
V)
30
o/
and
+ a2
30
^- +
$
32
z 2f
407
+
c?
5d>
a8
32
-
y*
V V as
The
individual steps
(10)
z2
the dyadic
(9)
^,
as single oper
may
VW.
(a
(V
W=a
V) W = V
V)
= a V W,
(V W) = V V W.
(V W)
may
(u v)
= >V u v +
be given for
differentiation
V v,
V(vxw)=Vvxw Vwxv,
Vx
(v
= w V v V v w v V w + V w v,
V (v w) = V v w + V w v,
V (v w) = V v w + v V w.
x w)
Vx
V
(v
.
w)
=V
(u #)
VxVx
<P
The
principle in these
ciated before, namely
:
x v
=Vu
= VV.
and
all
w
<P
<P
v x
V w,
V
V V
0,
<P,
etc.
The operator
V may be treated
enun
sym-
VECTOR ANALYSIS
408
The
bolically as a vector.
must be
to which
x (vw)
Vx
Hence
(v
(v
Hence
148.]
(v w)] v
x w)
=V
w)
(v
[V
[V
[V x
it
[V
x vw
=Vv
V w.
V w.
v x
x w)] T + [V
(v
x w)] w
(v
(v
x w)]^
x w,
V (w x v)] = V w x
V(vxw) = Vvxw v w x
=
x w)] v
implies
+ [V x (vw)]^
[V x
which
Thus
it is applied.
Again
differentiations
v.
v.
It
initial
of that function at r
and r
if
denote an arc of a
and the
final point is r
point
the line integral of the derivative of a scalar function taken
along the curve is equal to the difference between the values
Cd r
Jc
Jo
may
vector
V W = 0.
fdr.VW
are
F(r)- F(r ).
V W = W (r) - W (r ),
Cd r
and
It
VF=
r*
In like manner
is r
dx cannot be
and
thing.
fvw
VW
placed arbitrarily
dr
is
upon
a dyadic.
The
either side of
it.
VARIABLE DYADICS
409
Owing
formity
of
may
be mentioned.
ff
ax
VW=
fdr
ff da. Vx W=
fdr*
r/daVx0=
dr
<
The
like
relations exist
surface integrals.
fff dv VW=rfa W
///
<*
*-
VECTOR ANALYSIS
410
The
Numerous
them
The
for himself.
To
The Newtonian
Pot
<?
</>,
of a dyadic
may
be
may
be defined.
New W =
// ^^I^> dV
d,
Max * =
The
before.
may
sum
be given
is
W as
the
of its components,
W = Xi+
Fj + ^k
upon them
at all
was
The
object of en
411
them
in advance. It
cient merely to
is suffi
how they
treated.
maybe
x =/i
<X
v)
or
=/a O>
=f
*0
=/8 <X
")>
(u, v).
This
is
The
latter
method
z)
thus
= 0.
at the terminus of
Hence the
surface.
drawn
to the surface
r.
derivative
V^is
Moreover, inasmuch as
normal to the
This
is
VECTOR ANALYSIS
412
VF
may be
equated to zero give the same geometric surface,
In
considered as the normal upon either side of the surface.
case the surface belongs to the family defined
by
F (#, y, z) = const.
the normal
increases.
IT.
let
Then
(1)
If s is the vector
drawn
to
the terminus of
at
Consequently
(s-r)
and in
like
(s-r)x VjF=0,
or
where k
is
= r + & V JP
a variable parameter.
dn
is
-*
N
The dyadic
dicular to
iv 2
nn
413
is
an idemfactor for
vectors perpen
all
parallel
to
n.
Hence
dn
= d n,
n n)
(I
V^.(I-nn)=0,
and
N
Hence
rf
But
dr
<*
.-*,.
Hanco
N N
VV .F
= dr
nn).
(I
n n).
(I
~"> V
^ P-").
(2)
> = (I-..
Let
dn = dr
Then
<P.
(4)
r.
The dyadic
is self-con
N4> c =
Evidently (I
is
(I
and in
(I
Hence
self-conjugate.
jugate.
For
- nn), (VV F) c
- n ri) c =
a vector parallel to
fore planar
is
n,
- n n)
<P C is
(I
equal to 0.
the dyadic
- nn)^
produces
When applied
zero.
lie
to
It is there
VV F
The
VECTOR ANALYSIS
414
the surface.
It is possible
form
4>
=a
i i
to the
b j j
(5)
dn = dr
The
vectors
The dyadic
of the surface.
151.]
The
conic r
a, 6
C? is
a and
is, if
the point
but
if
is
j j ).
variable.
that
i i
(a
an
If this conic is
an hyperbola, that
ellipse,
convex at
is, if
a and
it.
If r
the result
if
is
imaginary, an
ellipse.
Two
which
con
indicatrix are
known
They are a
The directions upon the
the
surface
is
known
as asymptotic directions.
is
an
ellipse
In case
and the
form
b are equal.
= a(i
may
i
+j
coeffi
(5)
any two
convex.
is
cible to the
form
<p
The
i
The
and j may be
becomes a
indicatrix
to
The
an umbilic.
umbilic
directions
pair of
give principal
called
The
of ways.
perpendicular directions.
Any
circle.
number
415
$ becomes
i i
linear
and redu
(5)"
point
further discussion of these
and other
omitted.
hyperbolic, parabolic,
152.]
it
points of
all
types
elliptic,
and umbilical.
upon a surface
is
curve which has at each point the direction of one of the prin
The direction of the curve at a
cipal axes of the indicatrix.
point is always one of the principal directions on the surface at
that point. Through any given point upon a surface two per
pendicular lines of principal curvature pass. Thus the lines
of curvature divide the surface into a system of infinitesi
The
is
always
Through
VECTOR ANALYSIS
416
the surface
if
lines pass.
These
convex.
is
imaginary
they do not in general intersect at right
curve upon a
surface
rfn= 0. dr
dr
Then
dr
is
For
is parallel
i i
(a
+
yj
b j j )
dr
The
dnxdr = 0.
Another method of statement
is
(6)
lie
in
an element of a
The
differential
dn
rfr]
= 0.
(7)
The
= dr
dn dr = dr
dn
If then
dn
dr
is
zero
asymptotic direction.
dr
tf>
For
<P
dr.
r is zero.
The statement
is
Hence d r
is
therefore proved.
an
It
417
The
an asymptotic
differential equation of
dn
line is
= 0.
(8)
plane
plane
coincide,
is
The curvature
different.
(Art. 57).
____
ds
As
dn
in the direction of
d n
ds
By
hypothesis
d (V
Hence
dn
dn dr
dr
ds
ds 2
ndr = n
=n
at
d r)
= dn
d2
= dn
and
n
d
-dr
d2
= 0.
d2
= 0,
r.
Hence
C=
- - --
dn*dr = dr
ds^2
<P
j-^2
ds
27
dr
= dr3
dr
<P
dr
dr
3
( 9)
is
VECTOR ANALYSIS
418
C7
= a --
dr
ar
ar
ar
Hence
tf= a
cos 2 (i
dr)
& cos 2
or
(7= a
cos 2 (i , rfr)
b sin 2 (i
The
dr),
dr).
(10)
normal section
as follows
is
When
to
plane section varies from the value a when the plane passes
through the principal direction i , to the value b when it
The values
passes through the other principal direction j
of the curvature have algebraically a maximum and minimum
.
at Pj there exist
the surface
The sum
is
and
concavo-convex
for
is, if
two directions
If a
of the curvatures in
one section
is
Cl =
and
a cos 2
(i
dr)
b sin 2 (i
dr),
Hence
=a
sin 2 (i
di)
O l + C2 =
b cos 2 (i
4>
dr).
(11)
ature.
4>t
x*
<P a
= ab
x
0^ 3
(12)
and
419
F(x,
By means
of this
be found in terms
may
(I-nn)
y, z).
N
(nn
VV^ )^ =
Hence
9.
(nn.
Hence
= -(VV^)
-^
(nn
(nn^
= V.V^
VFVF:WF
--
T--- --
n.
(13)
**
^i
CIS)
(I
nn) 2
= nn.
Hence
S-IA\
VECTOR ANALYSIS
420
vector defined as n
i, j, k system.
Hence the condition
an
x d n
= 0.
(15)
Hence
m d n=
= = m dn +
n d m = 0.
Moreover
Hence
Hence
d (m
n)
becomes
dm
= 0.
x dm
= 0,
d m.
(16)
dmxdn = Q.
or
The increments
of
m and of n
and of
is
(16)
geodetic line
let a
smooth
elastic string
which
acting under
is
constrained to
two points of
it.
lie
in the
The
string
own
string is at rest
surface
must
lie
reactions of the
Hence
The
vectors t and
dt
lie
in the
n.
Hence
and consequently
is
421
n*tx<2t = 0,
n x
or
The
(17)
t = 0.
[n
dr d 2 r] =0.
(18)
The
surface
is
As
is
curved.
There may
is,
Such
along a geodetic.
amount
form an
of deviation
i, j,
dt
Hence
is
is
from a straight
line is
d t.
The
Since
n,
k system
I
Since t
is
= tt +
nn + mm.
first
term vanishes.
The second
amount
Hence
dt
is
may
be
mapped upon
a unit
fixed origin is
sphere by the method of parallel normals.
of a
assumed, from which the unit normal n at the point
VECTOR ANALYSIS
422
given surface
of a sphere.
points P of a curve
the points P will
r
sphere.
The terminus
is laid off.
If the
This curve
is
upon
same
origin,
curve.
T of
the surface
may
T upon
region T upon
The
region
dn=
If
da be an element
is
dr.
of area
da
=a
<P
= a6
The
ratio of
hodogram
curvature at
i i
d a.
& j j
xj
dd = ab nn
Hence
its
<P
= ab
nn.
d a.
(19)
P to the area of
P or to
cipal curvatures at P.
integral.
dt.
(20)
and
near
together.
variation
is
f m-
fm.dt= Cs
(m
dt.
d(m-8t) =
S
dmSt-hmd
81
+ C d (m
St
mdt=
The idemfactor
8m
f or t
and
is
(2t
Sm
= tt +
= m
By
Sk
= m nn
dt,
Si).
S t) vanishes
dm
dt
nn + mm,
e2t
m m vanish. A
dm S
423
similar transformation
may
Then
t.
n-St).
and n
it is
seen that
c?mn=:--m^n
Hence
/m^t=/
(m
dt
Sn t*dn
Sim rft=/(mxt-8nx^n)=
dn
t.
m dn
I
Sn)
Sn x dn.
VECTOR ANALYSIS
424
The
the
differential
Sn x dn
hodogram upon
8n
<J
da
C start at
curve
any desired
quired in
2 TT.
The
The
size.
total
amount
making an infinitesimal
of turning which
circuit
is re
is
But
if
Hence
dt
= 2 TT
iT=27r
or
H+
or
The
area of the
Cm*
fm
dt
-JET,
rft,
(22)
= 27r.
equal to 2 TT.
is
is
made
If the
closed curve
The
amount
is
425
sum
of the exterior
is
positive
is less
than
If the surface is
negative.
The sum
than
is
TT.
Such a surface
There
is
is
an intermediate case in
to
when
it is
so deformed that
The sum
of the angles of
hodogram
of
VECTOR ANALYSIS
426
The
158.]
motion
The
differential
Bivectors
is
be reduced by a suitable
may
=A
sin
t.
This
is
=i A
Consider
=i A
sin
n t.
cos
m x.
sin
x.
At
points x
Or,
where
in
Dx
is
the equation
cos
(m x
f)
(1)
likewise a plane
not stationary.
If v be the velocity;
the
427
wave
length,
n
= -,
m
^p
2?r
I
TT
= -.
(2)
The displacement
=j A
D2
differs
cos
(m x
nt)
The wave as
place in the direction j, not in the direction i.
before proceeds in the direction of x with the same velocity.
This vibration is transverse instead of longitudinal. By a
simple extension
it is
seen that
= A cos
(m x
t)
the wave-front.
A still
by substituting m
r for
m x.
= A cos
Then
r
(m
(3)
t).
The general
integral
r
The
is
obtained as
= A cos
discussion of waves
viously.
(p. 117).
may
+B
sin
t.
harmonic
of
elliptic
is
seen to be
motion
VECTOR ANALYSIS
428
= A cos
dV
(m
A sin
(m
t)
sin
(m
(4)
t).
t)
+ B cos (m
t)
(5)
entirely
-+
The
and divided by
= A cos
(m
A sin (m
n.
t)
t)
sin
+ B cos (m
its
form
n f)
(m
n t) }.
is
concerned,
Such a vector
is
may
be called biscalars.
of bivectors
elliptic
The
The use
is
the velocity of
displacement
The
it is
need-
vector
429
have a distinguishing notation for biscalars. The bimay be regarded as a natural and inevitable extension
It is the
formal
sum
of
two
real vectors
not
much
1is
for the
reason that the two could hardly be used in the same place
and for the further reason that the Italic i and the Clarendon
i
Whenever
it
becomes
especially convenient to have a separate alphabet for bivectors the small Greek or German letters may be called upon.
bi vector
may be
expressed in terms of
i, j,
k with com
plex coefficients.
If
= TJ +
and
ri
=x
=#
or
i r2
= #i +
yj + z.
Two
In other cases
direction.
The value
of
it
Then
if
r
if
= TJ +
r =
s,
||
= s2 + i s2
r = B and r 2 = s 2
r = x s = (x + i # 3 )
and
r2
s,
VECTOR ANALYSIS
480
r
+s=
(r 1
<>!
= (r
r
r
rs
i(r 2
- r2
B!
BI
(r l s l
s 1)
s )
2
r2 s2)
s ),
2
2)
r2
(r l
+ i (r
(T I s 2
s2
r2
Sl ),
ra
x)
r 2 Sj).
Two
The conjugate
only in sign.
The conjugate
and
of
any
similar
duct of the conjugates taken in the same order.
made
and
differences.
be
sums
may
concerning
statement
Oi +
i r )
2
Oi +
Ol +
r2> ( r l
- * r2 ) = r
(r i
*2 )
(r x
~ * F2> =
If the bivector r
= TJ
- i r2 ) =
(rl rl
TJ
rt
i r2
F2 r2>
r2 ,
x TV
( r2 F l
-r
r2>-
where
the conjugate
is
4- i r2 be*
= a + ib,
a 2 + & 2 = 1,
sin q
multiplied by a
i 6,
(7)
products
are unaltered
Thus
by such a
if
r
TI
= r/ +
TI
i r
2
*z
=
r2
(a
=r
+
x
iV) (r x
T!
r2
i r2 ),
r2 , etc.
factor.
160.]
bivector by
Let
geometric results.
ri
* r
a
Then
By
( cos ?
in the real
rx
=i
cos ^
ra
= r2
cos q
duced
431
it
sin 2) ( r i
r2 sin
ra)-
( 8)
T I sin j.
change pro
of a bivector
by
=aa +
cos q
used as a prefactor.
(bb
c c )
q (c b
- be )
- sin
and
r2
ellipse.
They
semi-diameters of that
is
from
toward
whole
r 1$
by
ellipse
?r.
Such a change of position has been called an
rotation
elliptic
through the sector q.
The ellipse of which T I and r2 are a pair of conjugate semi-
as q
is
to 2
diameters
When
is
called
the directional
ellipse
of the bivector
r.
is
VECTOR ANALYSIS
432
bivector by
cyclic
factor retards
in
it
its directional
ellipse
by
by such a cyclic
and imaginary parts become coincident
the ellipse and are perpendicular.
To
(cos q
sin q) (a
b) where a
If a
(cos 2 q
i sin
2 q) (a
b)
Form
(a
b).
= 0,
r
(cos 2 q
Let
and
sin 2 q) (a
=a+
tan 2 q
With
= 0.
b).
i 6,
-.
-f i
(cos q
sin q)
r.
is
The
indeterminate.
directional ellipse
is
If
is
condition r
called a circu
is
= 0,
r circular.
r = zi + 2/j + *k,
2
r = x* + y* + z = 0.
r
The
is
a circle.
a circle
is
implies r
= 0,
The
The
is
a bivector vanish
condition that
is
433
it
by
its
con
jugate vanishes.
Oi +
i r2 )
(r x
then
- t r2 ) = r
= r2 =
F!
rx
and
conjugate and
that
it
= 0,
becomes equal to
becomes equal to
their product
The condition
161.]
ra
= 0.
r2
two bivectors be
r.
parallel is that
the product of the other by a scalar factor. Any biscalar factor may be expressed as the product of a cyclic
If
factor and a positive scalar, the modulus of the biscalar.
one
is
two bivectors
ellipses
and
similarly placed
the ratio of
A circular
be parallel.
The condition that two bivectors be perpendicular
r
is
or
rt
Consider
first
coincide.
r2
83
=r
= 0,
s2
r2
BI
= 0.
Let
r
The
(TJ
i r2 ),
=I
dicular to r2 ,
condition r
scalars a
ra
(s 1
rx
may
i g2 ).
be chosen perpen
in the direction of ra
then gives
82
and
rx
28
s2
ra
nl
= 0.
The
VECTOR ANALYSIS
434
The
first
hence
and
sl
s2
s2
are
and
are proportional.
for perpendicularity of
two bivectors
Let r and
s.
and
perpendiqular to
s.
To
form a bivector
this bivector
and
which
is
the conditions
the plane of
Hence,
ellipse of
s.
other projected upon the plane of that one are similar, have
the same angular direction, and have their major axes per
pendicular.
162.]
where
and
are bivectors
and
TI
is
a biscalar.
r is the
It is therefore to be con-
1 It should be noted
that the condition of perpendicularity of major axes is not
the same as the condition of perpendicularity of real parts and imaginary parts
be considered as
is
real.
is
435
also to
Let
A = Aj +
A*p
m = ni + i mj
D
As
factor
waves of
(A x
elliptic
Aj)
e <(mt
~ nif)
harmonic vibra
The
mr
in the direction
sion
are dampers.
.
It contradicts the
is
ne
The general
VECTOR ANALYSIS
436
The
If the
waves are
the resultant
is
(A
By combining two
directions but
- m*-
Ae-^- e-""
is
<mi
**.
obtained.
(mi
(e
The theory of
B)
trains of
which are
stationary waves
- lr
- n0
+ A e~ m
+ $-"i") = 2Acos
bivectors
and
(n^
r)
e- m*
e^ int
the reader
how
is
when
ellipse
bivector
D may
waves of
elliptic
vectors
1
simple and elegant treatment.
1
Such use of bivectors is made by Professor Gibbs in his course of lectures on
" The
Electromagnetic Theory of Light" delivered biannually at Yale University.
Bivectors were not used in the second part of this chapter, because in the opinion
of the present author they possess no essential advantage over real vectors until
the more advanced parts of the theory, rotation of the plane of polarization by
magnets and
crystals, total
and metallic
249005