Академический Документы
Профессиональный Документы
Культура Документы
Section 1
by 119.160.118.239 on 05/03/19. Re-use and distribution is strictly not permitted, except for Open Access articles.
Problems and Solutions in Special Relativity and Electromagnetism Downloaded from www.worldscientific.com
1
July 15, 2017 8:1 Problems and Solutions in Special Relativity. . . 9in x 6in b2938-ch01 page 2
Aα Bα = A1 B1 + A2 B2 + A3 B3 .
α̂α̂−1 = α̂−1 α̂ = 1̂
is called the inverse to the matrix α̂.
The former describes the inverse transformation: i.e., if Aα =
ααβ Aβ , then Aα = α−1
αβ Aβ .
The matrix α̃ ˆ formed from α̂ by the substitution of columns for
rows is called transposed:
α11 α21 α31
ˆ = α12 α22 α32 , α̃αβ = αβα .
α̃
α13 α23 α33
Matrices and tensors can be symmetric and antisymmetric.
The second-rank tensor Sαβ is symmetric if its components
remain invariable under permutation of indices: Sαβ = Sβα .
A tensor Aαβ , whose components change sign under permutation
of indices, is called antisymmetric: Aαβ = −Aβα .
The Kronecker delta δαβ is the unit second-rank tensor, whose
components are the same in all coordinate systems, like the tensor
eαβγ which is the absolutely antisymmetric unit third-rank pseudoten-
sor. The collection of components eαβγ has the following properties:
under permutation of two any indices, the nonzero component of
eαβγ changes its sign, and e123 = 1. Of the 27 values of eαβγ , only
six values are nonzero. Many have at least two identical indices and
are zero due to the antisymmetry (eααγ = −eααγ = 0). The nonzero
components are as follows:
e123 = e231 = e312 = −e321 = −e213 = −e132 = 1.
The tensors δαβ and eαβγ play important roles in vector and
tensor algebras.
***
July 15, 2017 8:1 Problems and Solutions in Special Relativity. . . 9in x 6in b2938-ch01 page 5
α y
Fig. 1.1
July 15, 2017 8:1 Problems and Solutions in Special Relativity. . . 9in x 6in b2938-ch01 page 6
z
by 119.160.118.239 on 05/03/19. Re-use and distribution is strictly not permitted, except for Open Access articles.
Problems and Solutions in Special Relativity and Electromagnetism Downloaded from www.worldscientific.com
α y
Fig. 1.2
unit vectors ex , ey , ez to the unit vectors er , eα , ez . In this case, the
coefficients ααβ are the projections of the new unit vectors onto the
old ones:
αrx αry αrz
ααβ = ααx ααy ααz .
αzx αzy αzz
By projecting analogously the old unit vectors onto the new ones,
we obtain the matrix of the inverse transformation:
cos α − sin α 0
α−1 sin α cos α 0.
αβ =
0 0 1
July 15, 2017 8:1 Problems and Solutions in Special Relativity. . . 9in x 6in b2938-ch01 page 7
Example 1.4. Find the components of the tensor ε−1 αβ , inverse to the
tensor εαβ . Consider, in particular, the case where εαβ is a symmetric
tensor given in the principal axes.
Answer . The tensor inverse to the given one satisfies the relation
εαβ ε−1
βγ = δαγ . (1.2)
July 15, 2017 8:1 Problems and Solutions in Special Relativity. . . 9in x 6in b2938-ch01 page 8
∆βα
ε−1
αβ = , (1.3)
|ε|
by 119.160.118.239 on 05/03/19. Re-use and distribution is strictly not permitted, except for Open Access articles.
Problems and Solutions in Special Relativity and Electromagnetism Downloaded from www.worldscientific.com
ε−1
αβ εβγ = δαγ .
Problems
1.1. Two directions n and n are defined in a spherical coordinate
system by the angles ϑ, α and ϑ , α, respectively. Find the
cosine of the angle between them.
Answer . cos ϑ = n n = cos ϑ cos ϑ + sin ϑ sin ϑ cos(α − α ).
1.2. Prove the identities:
(a) [A × B]
· [C
× D]
= (A · C)(
B · D)
− (A · D)(
B · C);
× B]
(b) [A × [C × D]
= (A · [B × D])
C − (A · [B
× C])
D
· [C
= (A × D])
B − (B · [C
× D])
A.
1.9. Show that the collection of quantities Aαβγ Bαβ , where Aαβγ
is a third-rank tensor, and Bαβ is a second-rank tensor, is a
vector.
1.10. Find the law of transformation of the collection of volume inte-
grals Tαβ = xα xβ dV under spatial rotations and reflections
(xα and xβ are Cartesian coordinates).
Answer . Tαβ form a second-rank tensor.
1.11. Construct the matrices of transformation of basis unit vectors:
under the transition from the Cartesian coordinates to spher-
ical ones and, conversely, from the spherical coordinates to
Cartesian ones; under the transition from the Cartesian coor-
dinates to cylindrical ones and, conversely, from the cylindrical
coordinates to Cartesian ones.
1.12. In all Cartesian coordinate systems, let us set a collection of
quantities eαβγ with the following properties: eαβγ changes its
sign under the permutation of any two indices, and e123 = 1.
Show that the collection eαβγ forms a third-rank pseudoten-
sor (totally antisymmetric unit third-rank pseudotensor).
Answer . Only 6 quantities of the 27 are nonzero. The remain-
ing quantities have at least two identical indices and are trans-
formed to zero due to the antisymmetry (eααβ = −eααβ = 0).
The nonzero components are (see page 4)
α2α α1β α3γ eαβγ = −α1β α2α α3γ eαβγ = −e123 = e213 . . .
July 15, 2017 8:1 Problems and Solutions in Special Relativity. . . 9in x 6in b2938-ch01 page 10
1.17. Transform the product (a · [b × c ])(a · [b × c ]) into the sum
of terms that contain only the scalar products of vectors.
Hint. Apply the theorem of multiplication of determinants or
use the third-rank pseudotensor eαβγ .
by 119.160.118.239 on 05/03/19. Re-use and distribution is strictly not permitted, except for Open Access articles.
Problems and Solutions in Special Relativity and Electromagnetism Downloaded from www.worldscientific.com
Answer .
(a · a )(b · b )(c · c ) + (a · b )(b · c )(c · a )
+ (b · a )(c · b )(a · c ) − (a · c )(c · a )(b · b )
− (a · b )(b · a )(c · c ) − (b · c )(c · b )(a · a ).
1.18. Find the values of the following expressions averaged
over all directions: (a · n)2 , (a · n)(b · n), (a · n)n, [a × n]2 ,
[a × n][b × n], (a · n)(b · n)(c · n)(d · n), if n is a unit vector,
whose all directions are equiprobable, and a, b, c, and d are
constant vectors.
Hint. Use the results of Problem 1.18.
Answer .
where
2
2
2
∂x ∂y ∂z
hi = + +
∂qi ∂qi ∂qi
are functions of the coordinates (Lamé coefficients).
July 15, 2017 8:1 Problems and Solutions in Special Relativity. . . 9in x 6in b2938-ch01 page 12
∂ϕ eϑ ∂ϕ ∂ϕ
grad ϕ = er + + ez ;
∂r r ∂α ∂z
= 1 ∂ 1 ∂Aα ∂Az
div A (rAr ) + + ;
r ∂r r ∂α ∂z
1 ∂Az ∂Aα ∂Ar ∂Az
r=
(rot A) − ; α=
(rot A) − ;
r ∂α ∂z ∂z ∂r
1 ∂ 1 ∂Ar
z=
(rot A) (rAα ) − ;
r ∂r r ∂α
1 ∂ ∂ϕ 1 ∂2ϕ ∂2ϕ
∆ϕ = r + 2 2 + 2.
r ∂r ∂r r ∂α ∂z
and ϕ, the following identities hold:
For any A
rot grad ϕ ≡ 0, div rot ϕ ≡ 0, div grad ϕ ≡ ∆ϕ.
The below-presented basic integral theorems connect volume,
surface, and contour integrals.
Ostrogradskii–Gauss theorem:
div AdV = · dS,
A (1.4)
V S
where V is some volume; S is the closed surface that bounds this
volume.
Stokes theorem:
· dl =
A · dS,
rot A (1.5)
l S
where l is a closed contour; and S is any surface that relies on this
contour.
must be a differentiable
In formulas (1.4) and (1.5), the vector A
function of the coordinates.
***
July 15, 2017 8:1 Problems and Solutions in Special Relativity. . . 9in x 6in b2938-ch01 page 14
Problems
1.19. Calculate div r, rot r, grad( p · r), grad pr
3
r , and (
p · ∇)r, where
r is a radius-vector; and p is a constant vector.
1.20. Find the divergences and the curls of the vectors (a · r)b,
(a · r)r, [a × r], and r × [a × r], where a and b are constant
vectors.
Answer .
div(a · r)b = a · b, rot(a · r)b = a × b, div(a · r)r = 4(a · r);
rot(a · r)r = a × r, div[a × r]r = 0, rot[a × r] = 2a;
div r × [a × r] = −2(a · r), rot r × [a × r] = 3[r × a].
1.22. Calculate grad A(r) · r, div ϕ(r) · A(r),
rotϕ(r) · A(r),
p · ∇)
(
ϕ(r)A(r).
Answer .
by 119.160.118.239 on 05/03/19. Re-use and distribution is strictly not permitted, except for Open Access articles.
+ r (r · A
Problems and Solutions in Special Relativity and Electromagnetism Downloaded from www.worldscientific.com
gradA(r) · r = A );
r
r );
gradA(r) · B(r)
= (A ·B+A ·B
r
ϕ + ϕ (r · A
);
divϕ(r)A(r) · r = (r · A)
r r
ϕ + ϕ [r × A ];
rotϕ(r)A(r) · r = [r × A]
r r
p · r ).
p · ∇)ϕ(r)A(r)
( = (ϕ A + ϕA
r
1.23. Prove the identities:
(a) grad(ϕψ) = ϕgradψ + ψgradϕ;
= ϕdivA
(b) div(ϕA) +A · gradϕ;
−A
= ϕrotA
(c) rot(ϕA) × gradϕ;
× B)
(d) div(A =B · rotA −A · rotB;
× B)
(e) rot(A =A · divB
−B · divA · ∇)A
+ (B − (A
· ∇)B;
(f) grad(A · B)
= A×rot
+B
B ×rotA+(
B · ∇)A+(
A · ∇)B.
and B
The scalars ϕ and ψ and the vectors A are functions of
the radius-vector r.
1.24. Prove the identities:
· grad(A
(a) C · B) · (C
=A · ∇)B
+ B(
C · ∇)A;
· ∇)[A
(b) (C × B] × (C
=A · ∇)B
−B × (C · ∇)A;
(c) (∇ · A)
B = (A · ∇)B + Bdiv
A;
× B]
(d) [A · rotC
=B · (A
· ∇)C
−A · (B
· ∇)C;
× ∇] × B
(e) [A · ∇)B
= (A +A × rotB
− Adiv
B;
(f) [∇ × A]
×B = Adiv
B − (A
· ∇)B
−A × rotB
−B
× rotA.
July 15, 2017 8:1 Problems and Solutions in Special Relativity. . . 9in x 6in b2938-ch01 page 16
1.28. Using the Stokes theorem, calculate the integral I = ϕdl.
Answer .
ϕdl = [n × gradϕ]dS.
by 119.160.118.239 on 05/03/19. Re-use and distribution is strictly not permitted, except for Open Access articles.
Problems and Solutions in Special Relativity and Electromagnetism Downloaded from www.worldscientific.com
1.30. Show that V AdV =0
= 0 and An = 0 if, respectively, divA
inside the volume V and on its boundary.
1.31. Show that the divergence of the vector
r )
1 div A(
A+ grad dV
4π |r − r|
is equal to zero.
1.32. For a three-dimensional second-rank tensor, prove the
Ostrogradskii–Gauss theorem:
∂Tαβ
dV = Tαβ dSα .
∂xα
Hint. Start from the Ostrogradskii–Gauss theorem for the vec-
tor Aα = Tαβ aβ , where a is any constant vector.
1.33. To find a solution of the Laplace equation in a spherical coor-
dinate system for a scalar function that depends on only one
coordinate: (a) on r; (b) on ϑ; (c) on α.
Answer .
B ϑ
(a) A + ; (b) A + B ln tan ; (c) A + Bα.
r 2
1.34. Find a solution of the Laplace equation in a cylindrical coor-
dinate system for a scalar function that depends on only one
coordinate: (a) on r; (b) on α; (c) on z.
Answer . (a) A + B ln r; (b) A + Bα; (c) A + Bz.