Vector Analysis A Mathematical Appendix
Vector Analysis A Mathematical Appendix
Vector Analysis A Mathematical Appendix
Figure 1.1: The cartesian coordinate system; the unit vectors ex , ey , ez of the three directions obey ex × ey = ez
A = Ax ex + Ay ey + Az ez (1.1)
Consider a rotation of angle φ of the reference frame about the Ox axis, as in Fig. 1.2. the unit vectors change as
Matrix form
′
ex ex 1 0 0
ey′ = R(ex , φ) ey , R(ex , φ) = 0 cos φ sin φ (1.3)
ez′ ez 0 − sin φ cos φ
Properties of the matrix R
1-1
• det(R) = 1
• R tr = R −1
• R is an orthogonal matrix, Rij Rik = δjk
We use the alternative notation {x , y , z} → {1, 2, 3} and the dummy index summation convention. Transformation of the coordi-
nates:
r = xi ei → xj′ ej′ , ei = R −1 ej′ = Rji ej′ (1.4)
ij
Then
xi ei = xi Rji ej′ ≡ xj′ ej′ ⇒ xj′ = Rji xi , (1.5)
The inversion is the reversing of the direction of the reference frame axes.
ei → ei′ = −ei , xi → xi′ = −xi (1.6)
The most general orthogonal transformation
xi → xi′ Rij xj , i = 1, 2, 3 (1.7)
−1 tr
where R is an orthogonal matrix: R = R and det R = ±1. A real orthogonal matrix with det R = 1 provides a matrix
representation of a proper rotation. n. The most general rotation matrix represents a counterclockwise rotation by an angle θ about
a fixed axis that lies along the unit vector n. A real orthogonal matrix with det R = −1 is the matrix representation of an improper
rotation, i.e. a proper rotation followed by an inversion.
A vector is defined as a quantity with a magnitude and direction, whose components change according to (1.7) when a rotation
is performed.
A scalar is a quantity invariant under rotations.
A cartesian tensor of rank 2 is a set of 9 numbers tij which under a rotation transforms as
tij → tij′ = Rik Rjl tkl . (1.8)
n
In general a cartesian tensor of rank n is a set of 3 numbers transforming as
ti1 ...in → ti′1 ...in = Ri1 j1 . . . Rin jn tj1 ...jn . (1.9)
Properties of tensors
• If Aij and Bij are second rank tensors, and α, β are scalars, then Tij = αAij + βBij is also a second rank tensor
• If Tij is a tensor then Tii is a scalar.
• If Tijk...lmn... is a tensor of rank n then Sjk...mn... = Tijk...imn... is a tensor of rank n − 2.
• If a and b are vectors then the outer product Tij defined by Tij = ai bj is a tensor of rank 2.
The Kronecker δ symbol is an isotropic tensor of rank 2; its components are the same in any reference frame, i.e.
δij′ = Rik Rjl δkl = Rij Rjk = δij (1.10)
The Levi-Civita antisymmetric tensor
+1 if (i, j, k) is an even permutation of (1,2,3)
ǫijk = −1 if (i, j, k) is an odd permutation of (1,2,3) (1.11)
0 otherwise
1-2
1.1.1 Operations with vectors
• addition
a = ai ei , b = bi ei , a + b = c = ci ei , with ci = ai + bi (1.15)
• multiplication by a scalar
a = ai ei , b = bi ei , a · b = ai bj ei · ej = ai bj δij = ai bi (1.17)
a × b = c, c1 = a2 b3 − a3 b2 , c2 = a3 b1 − a1 b3 , c3 = a1 b2 − a2 b1 (1.21)
a × b = ei ǫijk aj bk (1.22)
Determinant form
e1 e2 e3
c = a × b = a1 a2 a3 = −b × a (1.23)
b1 b2 b3
A cross product of two vectors transforms under proper rotations as a vector but is invariant with respect to spatial inversion;
such an object is named pseudovector
• Scalar triple product (mixed product)
a1 a2 a3
a · (b × c) = ǫijk ai bj ck = b1 b2 b3 (1.24)
c1 c2 c3
a · (b × c) = c · (a × b) = b · (c × a) (1.25)
Using (1.12)
1-3
1.2 Scalar fields and vector fields
A scalar field is a function Φ which associates a scalar value to every point r in space.
Φ : R → R3 (1.28)
′ ′
Under a rotation Φ is invariant, i.e. Φ(r ) → Φ (r ) = Φ(r ), i.e. when an orthogonal transformation is performed the coordinates
x , y , z change according to (1.7) and also the functional dependence of Φ changes such that the numerical value of the new function
Φ ′ at the new coordinates x ′ , y ′ , z ′ is the same as the numerical value of the old function Φ at the old coordinates x , y , z.
A vector field is a vector-valued function of three-dimensional vectors
V : R3 → R 3 (1.29)
If V (r ) is a vector field then the field lines are curves s(t) in space such that the vector field V is tangent to the field line in every
point. The equation of the field line is then
ds(t)
= V (s(t)) (1.31)
dt
or, equivalent,
dsx dsy dsz
= = (1.32)
Vx (s) Vy (s) Vz (s)
∇Φ is named gradient of the field Φ. In order to prove that ∇Φ is a vector we consider the orthogonal transformation xi′ = Rij xj ;
then the
∂Φ(r ) ∂xj ∂Φ(r ) −1
∂i Φ(r ) → ∂i′ Φ ′ (r ′ ) = = (R )ji = Rij ∂j Φ(r ) (1.38)
∂xj ∂xi′ ∂xj
i.e. the gradient of a scalar field behaves as a vector field. Properties of the gradient
1-4
• we can see that the directional derivative of the field Φ can be written as ∂n Φ = n · ∇Φ = |n| |∇Φ| cos θ = |∇Φ| cos θ; then
the directional derivative is maximum if θ = 0 i.e. if ∇ and n are parallel. So, the direction of the most rapid increase in Φ
is the gradient direction, and the magnitude of the gradient is the directional derivative of Φ in that direction. If ∇Φ = 0 at
(x , y , z), then dΦ = 0 for small displacements about the point (x , y , z). This is, then, a stationary point of the function
Φ(x , y , z).
• consider the isosurfaces of the scalar field Φ(r ) (i.e. the surfaces S defined by the condition Φ(r ) = C and a curve r (t) on
the surface S. Then the total derivative of Φ(r (t)) with respect to t vanishes, as Φ(r (t)) = C . By direct calculation
dΦ(r (t)) ∂r
= · ∇Φ(r (t)) = 0 (1.39)
dt ∂t
i.e. ∇Φ(r (t)) is orthogonal on any curve r (t) on the surface S. The gradient of a vector-field Φ(r ) is in any point r orthogonal
on the level surface of Φ(r ) passing through that point.
∇ · V (r ) = ∂i Vi (r ) (1.40)
The divergence is a measure of how much the vector V (r ) spreads out (diverges) from the point in question. The divergence
of a vector is a scalar.
• via the cross product: curl
∇ × V (r ) = ei ǫijk ∂j Vk (r ) (1.41)
The curl is a measure of how much the vector V (r ) swirls around the point in question. The curl of a vector is a pseudovector.
Identities with differential operators
∇(φ + χ) = ∇φ + ∇χ (1.42)
∇ · (A + B) = ∇ · A + ∇ · B (1.43)
∇ × (A + B) = ∇ × A + ∇ × B (1.44)
df
∇f (φ(r )) = ∇φ(r ) (1.45)
dφ(r )
∇(φχ) = (∇φ)χ + φ(∇χ) (1.46)
∇(A · B) = A × (∇ × B) + B × (∇ × A) + (A · ∇)B + (B · ∇)A (1.47)
∇ · (φA) = (∇φ) · A + φ(∇ · A) (1.48)
∇ · (A × B) = B · (∇ × A) − A · (∇ × B), (1.49)
∇ × (φA) = φ(∇ × A) − A × (∇φ), (1.50)
∇ × (A × B) = (B · ∇)A − (A · ∇)B + A(∇ · B) − B(∇ · A)., (1.51)
∇ · ∇A = ∇2 A ≡ ∆A Laplacian of A (1.52)
∇ × (∇ · A) = 0 (1.53)
∇ · (∇ × A) = 0 (1.54)
∇ × (∇ × A) = ∇(∇ · A) − ∆A (1.55)
1-5
1.4 Integral calculus
Possible line integrals with vectors are
Z Z Z
φ(r )dl , F (r ) · dl , F (r ) × dl (1.57)
Γ Γ Γ
where da = nda with da the infinitesimal element of area and n an unit vector indicating the normal direction. Note that one needs
a convention for the direction of n. If the
R surface
H is closed one takes the direction “towards outside“.
If the curve/surface is closed then →
Volume integral of vectors
Z
F (r )dτ (1.59)
V
Consequence:
The integral is then independent on the path taken from a to b
H
(∇φ(r )) · dl = 0.
• The Fundamental Theorem for Divergences (Gauss theorem):
Z I
(∇ · F (r ))dτ = F (r ) · da (1.61)
V S
The integral of the divergence of a vector field F over a volume V is equal to the surface integral of the vector field V on the
boundary S of V. The surface integral is called the flux of the vector field F through the closed surface S.
• The Fundamental Theorem for Curls (Stokes theorem):
Z I
(∇ × F (r )) · da = F (r ) · dl (1.62)
S Γ
The integral of the curl of a function over a surface S is equal to the integral of the function on the boundary Γ of the surface.
Consequence:
R
(∇ × F (r )) · da depends only on the boundary line, not on the particular surface used.
S
H
(∇ × F (r )) · da = 0 for any closed surface,
S
1-6
Representations of the δ function: as limits of ”normal“ functions; e.g.
1
, |x | < k
δ(x ) = lim δk (x ), δk (x ) = 2k (1.64)
k→0 0, |x | > k
In curvilinear coordinates
1
δ(r − r0 ) = δ(u − u0 )δ(v − v0 )δ(w − w0 ) (1.67)
hu hv hw
1
∆ = −4πδ(r − r0 ) (1.68)
|r − r0 |
F (r ) = −∇U(r ) + ∇ × V (r ) (1.69)
where
D(r ′ )
Z
1
U(r ) = dτ ′ (1.70)
4π |r − r ′ |
C(r ′ )
Z
1
V (r ) = dτ ′ (1.71)
4π |r − r ′ |
Zb I
∇ × F (r ) = 0, F (r ) · l is independent of path, F (r ) · l = 0, F (r ) = −∇V (r ) (1.72)
a Γ
1.7 Calculation of ∆ 1r
By direct calculation, for r 6= 0
1 r
∇ =− 3 (1.74)
r r
and
1 1 r
∆ = ∇ · ∇ = −∇ · 3 = 0 (1.75)
r r r
1-7
On the other hand, consider the integral over a sphere Sǫ of radius ǫ
Z Z
1 r
I = dτ ∆ = − dτ ∇ · 3 (1.76)
r r
Sǫ Sǫ
In the previous equation we have denoted the surface of the sphere by ∂Sǫ and used the surface element expression da = r 2 r /r dΩ
with dΩ the element of solid angle. Note that the result is independent of ǫ which could be arbitrary small. The definition of the δ
function
Z
dτ δ(r ) = 1, if O ∈ V (1.78)
V
so
1 1
∆ = −4πδ(r ), ∆ = −4πδ(r − r0 ), (1.79)
r |r − r0 |
1.8 Bibliography
[1] David J. Griffiths, Introduction to Electrodynamics, fourth edition, Pearson 2013, Cap. 1
1-8