Classical Newtonian Gravity-Springer (2019)
Classical Newtonian Gravity-Springer (2019)
Classical
Newtonian
Gravity
A Comprehensive Introduction, with
Examples and Exercises
UNITEXT for Physics
Series Editors
Michele Cini, University of Rome Tor Vergata, Roma, Italy
Attilio Ferrari, University of Turin, Turin, Italy
Stefano Forte, University of Milan, Milan, Italy
Guido Montagna, University of Pavia, Pavia, Italy
Oreste Nicrosini, University of Pavia, Pavia, Italy
Luca Peliti, University of Napoli, Naples, Italy
Alberto Rotondi, Pavia, Italy
Paolo Biscari, Politecnico di Milano, Milan, Italy
Nicola Manini, University of Milan, Milan, Italy
Morten Hjorth-Jensen, University of Oslo, Oslo, Norway
UNITEXT for Physics series, formerly UNITEXT Collana di Fisica e Astronomia,
publishes textbooks and monographs in Physics and Astronomy, mainly in English
language, characterized of a didactic style and comprehensiveness. The books
published in UNITEXT for Physics series are addressed to graduate and advanced
graduate students, but also to scientists and researchers as important resources for
their education, knowledge and teaching.
123
Roberto A. Capuzzo Dolcetta
Department of Physics
Sapienza University of Rome
Rome, Italy
This Springer imprint is published by the registered company Springer Nature Switzerland AG
The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
This book is dedicated to my wife Daniela
and my son Flavio, both essential ingredients
of my life.
Preface
The scope of this book is to put on paper many things which, although basic, are not
easily found in a single text, and are not always trivial to understand and manage.
Actually, this book intends giving an easy, but complete, introduction to classical
Newtonian theory of gravitation, as a basic piece of Physics of particular relevance
for Astrophysics.
It is known, indeed, that among the four fundamental forces of Physics, gravity
has the unique aspect of being an unscreened force, which permeates the whole
universe at all scales. On the other side, in addition to the above property (which is
often referred to as infrared divergence), Newtonian interaction among individual
point masses is characterized, also, by the ultraviolet divergence: the force exerted
by one point mass on another one is unlimited when the two bodies approach too
closely each other. These two characteristics of Newtonian gravitation are not real
issues for limited, in size, and more regular (extended objects instead of point
masses) distributions of matter. Another relevant characteristic, and conceptual,
limitation of the purely Newtonian gravity interaction is the intrinsic assumption
that it generates a force field such that in every point in the physical space the
intensity and direction of the force instantly feel of the variation of the location
of the set of massive bodies. This corresponds to the unlikely, and strongly criti-
cized by Einstein, infinite interaction speed.
In spite of these practical and conceptual limitations, Newtonian gravity is an
exceptional tool for the understanding of the mechanics on the Earth and in the sky
over an enormous range of space- and time-scales and over a wide range of
velocities. In other words, whenever both the approximations of weak gravity field
and that of low velocities (respect to the speed of light in vacuum, c) of the objects
under study are valid, General Relativity (or similar theories) and Special Relativity
are irrelevant to a precise determination of the objects motion. For example, on the
Earth, the consideration of General Relativity effects has a role just when an
extremely high accuracy of position determination is required (GPS systems), and
Special Relativity has no relevance for mechanics out of the submillimeter scales.
vii
viii Preface
Acknowledgements I wrote some parts of this book while hosted at the Astronomical Rechen
Institut in Heidelberg (Germany), at the Aspen Center for Physics (Aspen, CO, USA) and at the
Leiden Observatory (Leiden, The Netherlands), institutions which I warmly acknowledge.
Introduction
ix
Contents
xi
xii Contents
xv
xvi Symbols
where i, j, k are the unit vectors in the directions of the axes of an orthogonal
coordinate system, such that
i · i = j · j = k · k = 1, (1.2)
i · j = i · k = j · k = 0. (1.3)
with 0 ≤ θ < 2π .
It corresponds to the vector function
Example 1.1.2 Let us give the Cartesian and parametric representations of a parabola
as
x = t,
y = ax ,
2
y = at 2 .
r : R −→ R+ , r = ti + at 2 j.
Note that hereafter we will deal only with single-valued vector functions (mon-
odrome functions), excluding multivalued function, which do not have an inverse
function (Fig. 1.1).
then
|v(t) − V| < ,
we say that
Note that, if
then
⎧
⎪ lim vx = Vx ,
⎪ t→t
⎨ 0
lim v y = Vy ,
lim v = V ⇐⇒ t→t (1.5)
t→t0 ⎪
⎪ 0
⎩ lim vz = Vz .
t→t0
Clearly, the function v(t) is continuous if and only if all its components, vx (t),
v y (t), vz (t), are continuous. The usual properties of scalar continuous functions still
hold for vector functions:
Moreover, some additional properties for the vector functions limits hold.
Let v(t) e w(t) two vector functions such that
then
• lim αv = αV (α ∈ R),
t→t0
• lim |v| = |V|,
t→t0
• lim v · w = V · W,
t→t0
• lim v ∧ w = V ∧ W.
t→t0
Let v = v(t) be a vector function of a real variable t defined in an interval I . For any,
arbitrary, point t = t0 in I let us consider the difference quotient
v(t) − v(t0 )
. (1.8)
t − t0
dv v(t) − v(t0 )
≡ v̇0 = lim . (1.9)
dt t0
t→t0 t − t0
(the dot over the vector is hereafter indicating derivative with respect to t) we say
that the function v = v(t) is differentiable in the point t0 of the domain I and such a
limit value is called derivative of v(t) in t0 .
The following relations hold
d d
(i) (αv) = α (v) ∀α ∈ R,
dt dt
d
(ii) (v + w) = v̇ + ẇ,
dt
d
(iii) (v · w) = v̇ · w + v · ẇ,
dt
d
(iv) (v ∧ w) = v̇ ∧ w + v ∧ ẇ.
dt
Theorem 1.1 If the vector function v(t) is differentiable in t0 , it results to be con-
tinuous in t0 .
Proof Let v(t) differentiable in the point t = t0 . It implies that the limit
v(t) − v(t0 )
lim = v̇(t0 ), (1.10)
t→t0 t − t0
v(t) − v(t0 )
lim (v(t) − v(t0 )) = lim (t − t0 ) = v˙0 lim (t − t0 ) = 0, (1.11)
t→t0 t→t0 t − t0 t→t0
Note
While all differentiable functions are continuous, the viceversa is not true, i.e.
there are functions which are continuous but not differentiable. An example is
f (x) = |x|, which is continuous everywhere except in x = 0.
which is a vector in the direction pointing from the point P to Q (Fig. 1.2).
1.3 Derivatives of Vector Functions 5
v(t) δv Q
O
v(t+dt)
−v(t)
If the limit
δv dv
lim ≡ (1.12)
δt→0 δt dt
dv
is finite, we easily understand (see Fig. 1.2) that the vector derivative has the
dt
direction of the straight line tangent to the curve in P.
d
Exercise 1.3 Calculate the derivative (a ∧ b ∧ c).
dt
Solution
Left to the reader.
6 1 Elements of Vector Calculus
Exercise 1.5 Show that v ∧ v̇ = 0 if and only if v has invariable direction (ev =
const.)
Solution
Geometrically, the solution is intuitive because the fixed direction of v (although v
may vary) implies Δv ∝ v, i.e. Δv v and so v ∧ v̇ = 0; viceversa, if v ∧ v̇ = 0 then
Δv v.
In a more rigorous way.
v
Let ev = the unit vector in the (fixed) direction of v, then we can write v = vev ,
v
hence
v̇ = v̇ev + vėv ,
so that
which implies
v ∧ v̇ = 0 ⇐⇒ ėv = 0 ⇐⇒ ev = const.
1.3 Derivatives of Vector Functions 7
d
(a) (r · ṙ) = ṙ · ṙ + r · r̈ = |ṙ|2 + r · r̈
dt
d
(b) (r ∧ ṙ) = ṙ ∧ ṙ + r ∧ r̈ = r ∧ r̈
dt
Definition 1.1 Let f = f(t) a real vector function of the real variable t in the domain
[a,b]. This function is said integrable over [a,b] if exists a continuous function F(t)
dF
such that = f, that formally translates into
dt
F(t) = f(t) dt. (1.13)
b
Upon this definition, F(b) − F(a) = f(t) dt 1 Of course, the above vector rela-
a
tion corresponds (in R3 ) to the following scalar equalities
dFx dF y dFz
= fx , = fy , = fz . (1.14)
dt dt dt
Exercise 1.7 Calculate the integral
r ∧ r̈ dt.
Solution
An integration by parts leads to
d ṙ
r ∧ r̈ dt = r∧ dt = r ∧ d ṙ = r ∧ ṙ − ṙ ∧ dr = r ∧ ṙ + c,
dt
given that ṙ ∧ ṙ = 0 and with c a constant vector. In the case of a particle of mass
F
m subjected to a force F, we have r ∧ r̈ = r ∧ , which means that for a central
m
force field (r ∧ F = 0) it results r ∧ ṙ ≡ mL = c , where c is a constant vector which
expresses the integral of angular momentum.2
a ∧ r̈ = b,
1 2
a ∧ ṙ = b t + c, a∧r= bt + ct + d,
2
then we have for r this implicit expression
1
a ∧ (a ∧ r) = (a · r)a − (a · a)r = (a ∧ b)t 2 + (a ∧ c)t + (a ∧ d)
2
Exercise 1.9 Verify that v · v̇ = 0 implies |v| ≡ v = const.. Note that such result
together with that of Exercise 1.1 constitutes a necessary and sufficient condition.
Solution
Integrating both sides of the relation v · v̇ = 0 gives
1
v · v̇ dt = v · dv = v · v = c,
2
√
where c is a constant, and so |v| = 2c = const. Equation 1.9 represents the kinetic
energy theorem: when the acceleration a ≡ v̇ is orthogonal to v then the unit mass
particle kinetic energy T = 21 v · v is constant. Note that the above relation is the
inverse of that proved in Exercise 1.1, so that v · v = 0 and |v| = const. are equivalent.
2 An integral of motion is a function (either scalar or vector) which keeps constant along all possible
solutions of the motion equations and which is independent of t.
1.5 The Formal Vector Operator ∇ 9
∂f
∇ f : Ω −→ Rn , ∇ f ≡ grad f = ei . (1.16)
∂ xi
Exercise 1.10 Show that ∇ f (x, y, z) is a vector normal at the point (x, y, z) to
the generic level surface of f (x, y, z), f (x, y, z) = c, where c is an arbitrary real
constant.
Solution
dr
As known, et = is a vector tangent to a curve represented by r = r(s), where
ds
s is a curvilinear abscissa. To solve the exercise it is sufficient to show that the
orthogonality condition
dr
∇f · =0
ds
holds for an arbitrary curve belonging to the surface f (x, y, z) = c, passing through
the point (x, y, z). This is easily seen because, indeed, on the level surface, where f
is constant, results
dr ∂ f dx ∂ f dy ∂ f dz df
∇f · = + + = = 0.
ds ∂ x ds ∂ y ds ∂z ds ds
y x 2 + y2
r= x 2 + y 2 + z 2 , θ = 2 arctan , ϕ = arctan .
x 2 + y2 + x z
(1.18)
It results that the spherical polar unit vectors are:
r
er = = sin ϕ cos θ i + sin ϕ sin θ j + cos ϕ k,
r
∂r 1
eθ = = − sin θ i + cos θ j,
∂θ dθ
ds (1.19)
∂r 1
eϕ = = cos θ cos ϕ i + cos ϕ sin θ j − sin ϕ k,
∂ϕ dϕ
ds
ds
and analogous for .
dϕ
The gradient operator of a function can be written formally as
∇ f = (∇ f · er ) er + (∇ f · eθ ) eθ + (∇ f · eϕ ) eϕ , (1.20)
and that
⎧
⎪ ∂f ∂ f ∂x ∂ f ∂y ∂ f ∂z ∂f ∂f ∂f
⎪
⎪ = + + = sin ϕ cos θ + sin ϕ sin θ + cos ϕ,
⎪
⎪ ∂r ∂ x ∂r ∂ y ∂r ∂z ∂r ∂x ∂y ∂z
⎪
⎪
⎪
⎪
⎨ ∂f ∂ f ∂x ∂ f ∂y ∂ f ∂z ∂f ∂f
= + + = − r sin ϕ sin θ + r sin ϕ cos θ,
⎪ ∂θ
⎪ ∂ x ∂θ ∂ y ∂θ ∂z ∂θ ∂x ∂y
⎪
⎪
⎪
⎪
⎪
⎪ ∂f ∂ f ∂x ∂ f ∂y ∂ f ∂z ∂f ∂f ∂f
⎪
⎩ = + + = r cos θ cos ϕ + r cos ϕ sin θ − r sin ϕ.
∂ϕ ∂ x ∂ϕ ∂ y ∂ϕ ∂z ∂ϕ ∂x ∂y ∂z
(1.22)
To obtain the complete expression of the spherical polar components of the gra-
dient of the function f , it is necessary to solve for ∂∂ xf , ∂∂ yf , ∂∂zf the system of equations
(1.22). The system (1.22) is of the type
⎛ ∂f ⎞ ⎛ ⎞
∂f
⎜ ∂r ⎟ ⎜ ∂x ⎟
⎜ ∂f ⎟ ⎜ ⎟
⎜ ⎟ T ⎜ ∂f ⎟
⎜ ⎟=J ⎜ ⎟, (1.23)
⎜ ∂θ ⎟ ⎜ ∂y ⎟
⎝ ∂f ⎠ ⎝ ∂f ⎠
∂ϕ ∂z
The formal solution of the problem is thus given by expressions Eq. 1.21, where
∂f ∂f ∂f
the partial derivatives , , are functions of r, θ, ϕ through the solution of
∂ x ∂ y ∂z
the system (1.22), which, formally, is
⎛ ⎞ ⎛ ∂f ⎞
∂f
⎜ ∂x ⎟ ⎜ ∂r ⎟
⎜ ∂f ⎟ ⎜ ⎟
⎜ ⎟ T −1 ⎜ ∂ f ⎟
⎜ ⎟ = (J ) ⎜ ⎟. (1.25)
⎜ ∂y ⎟ ⎜ ∂θ ⎟
⎝ ∂f ⎠ ⎝ ∂f ⎠
∂z ∂ϕ
The general relation (JT )−1 = (J−1 )T allows to obtain the solution of the above
system by the knowledge of J−1 . In this case, JT is orthogonal, so that (JT )−1 = J. The
12 1 Elements of Vector Calculus
gradient polar components can even more easily obtained by a straight comparison
of 1.21 and 1.22, leading straightforwardly to
∂f
∇ f · er = ,
∂r
1 ∂f
∇ f · eθ = , (1.26)
r sin ϕ ∂θ
1 ∂f
∇ f · eϕ = .
r ∂ϕ
That means that in spherical polar coordinates the formal vector ∇ is written as
∂ 1 ∂ 1 ∂
∇ = er + eθ + eϕ . (1.28)
∂r r ∂θ r sin ϕ ∂ϕ
Note
In some textbooks the variables θ and ϕ are exchanged respect to our definition,
so that
∂f 1 ∂f 1 ∂f
∇f = er + eθ + eϕ . (1.29)
∂r r ∂θ r sin θ ∂ϕ
θ ρ
x
∇ f = (∇ f · eρ ) eρ + (∇ f · eθ ) eθ + (∇ f · ez ) ez , (1.32)
where
⎧
⎪ ∂f ∂f
⎪
⎪ ∇ f · eρ = cos θ + sin θ,
⎪
⎪ ∂ x ∂y
⎪
⎪
⎪
⎪
⎨ ∂f ∂f
∇ f · eθ = − sin θ + cos θ, (1.33)
⎪
⎪ ∂x ∂y
⎪
⎪
⎪
⎪
⎪
⎪ ∂f
⎪
⎩ ∇ f · ez = .
∂z
and the general procedure to obtain the ρ, θ, z components of the gradient vector is
the same as in the previous subsection. Also in this case, the comparison of Eqs. 1.33
and 1.34 allows their straightforward determination as
∂f 1 ∂f ∂f
∇f = eρ + eθ + ez . (1.35)
∂ρ ρ ∂θ ∂z
14 1 Elements of Vector Calculus
∂vi
div v : C −→ R div v ≡ ∇ · v = , (1.37)
∂ xi
∇ · r = n. (1.38)
Solution
We have
∂ xi
∇ ·r= = 1 + 1 +
· · · + 1 = n.
∂ xi
n times
∇ · f v = f ∇ · v + v · ∇ f. (1.40)
Solution
∂ ∂vi ∂f
∇ · fv = ( f vi ) = f + vi .
∂ xi ∂ xi ∂ xi
r 1 1 n r n 1 n−1
∇ · er = ∇ · = ∇ ·r+r·∇ = −r· 2 = − = . (1.41)
r r r r r r r r
Solution
∂ ∂ ∂
∇ · (r ∧ a) = (yaz − za y ) − (xaz − zax ) + (xa y − yax ) = 0.
∂x ∂y ∂z
Such result is obtained also by applying the rules of the scalar triple product to
the formal vector ∇, r and a.3
Exercise 1.15 Show that in Rn
∇ · v = ∇vi · ei .
Solution
∂vi ∂vi
∇vi · ei = ek · ei = = ∇ · v. (1.42)
∂ xk ∂ xi
Exercise 1.16 In Rn , given the scalar function ϕ(r), calculate in a direct way the
divergence of the gradient of ϕ, i.e.
∇ · ∇ϕ ≡ (∇ · ∇)ϕ = ∇ 2 ϕ,
n
∂2
where ∇ 2 ≡ is the Laplacian formal operator, often written also as .
i=1
∂ xi2
3 The scalar triple product of 3 vectors satisfies various identities, among which a · (b ∧ c) =
det(a, b, c).
16 1 Elements of Vector Calculus
Solution
∂ ∂ϕ ∂ 2ϕ
∇ · ∇ϕ = ∇ 2 ϕ = ei · ei = ≡ ϕ.
∂ xi ∂ xi ∂ xi2
∇ · (a∇b − b∇a) = a∇ 2 b − b∇ 2 a.
Solution
We leave the proof to the reader.
n−1 1
∇ · f er = f ∇ · er + er · ∇ f = f + er · f (r )er = 2 (n − 1) f r + r 2 f ,
r r
where the apex, , indicates derivative with respect to r . For n = 3 the expression
above reduces to
1 1 d 2
∇ · f er = 2
2 f r + r2 f = 2 r f .
r r dr
Let us note that f (r ) er could represent a central force field, attractive in the
region where f (r ) < 0 and repulsive where f (r ) > 0.
Solution
With regard to (i)
1 1 1 r 1 1
∇ ·∇ = ∇ · − 2 ∇r = ∇ · − 2 = − 3∇ · r − r · ∇ 3 =
r r r r r r
(1.44)
1 3 n 3 r 3−n
= − 3 n + r · 4 ∇r = − 3 + 4 r · = ,
r r r r r r3
so that
1 1 3−n
∇ ·∇ = ∇2 = =0 ⇐⇒ n = 3. (1.45)
r r r3
1
This means that in R3 the function is harmonic, because its Laplacian is zero.
r
With regard to (ii)
1 1 1r 1 1
∇ · ∇ log = ∇ · r − 2 ∇r = −∇ · = − 2∇ ·r −r ·∇ 2 =
r r rr r r
n r 2−n
= − 2 + 2 3 · ∇r = ,
r r r2
so that
1 2−n
∇ · ∇ log = =0 ⇐⇒ n = 2.
r r2
1
As a consequence, the function log (and log r ) is harmonic in R2 (it is the so
r
called logarithmic potential).
1 r 1−n
∇ ·∇ = ∇ · (2 − n) r 1−n ∇r = (2 − n) ∇ · r + r · ∇(2 − n)r −n =
r n−2 r
= (2 − n)nr −n + (2 − n)r · (−n)r −n−1 ∇r =
r·r
= (2 − n)nr −n + (2 − n)(−n)r −n−1 =
r
= (2 − n)nr −n + (2 − n)(−n)r −n = 0.
18 1 Elements of Vector Calculus
1
In particular, if n = 2 then n−2 = 1, which is a constant and so all its derivatives
r
1
are zero. If n = 1, then n−2 = r = |x| and, clearly, every 1st degree polynomial in
r
the single variable x, p1 (x) = ax + b, is such to give
∇ · ∇ p1 (x) = 0.
The curl of a vector field v of class C 1 (Ω), where Ω ∈ R3 , is also a vector field,
written as
curl v : Ω −→ R3 ,
∂vz ∂v y ∂vz ∂vx ∂v y ∂vx (1.47)
curl v = − i− − j+ − k.
∂y ∂z ∂x ∂z ∂x ∂y
As for the divergence, which can be written as the formal scalar product of ∇ and
v, the curl of v can be formally written as the vector product between ∇ and v
i j k
∂ ∂ ∂
curl v = ∇ ∧ v = .
(1.48)
∂ x ∂ y ∂z
v x v y vz
Contrary to the divergence, the curl transforms a vector field in another vector
field only in R2 and R3 .
Definition 1.3 A vector field v ∈ C 1 (Ω) is called irrotational if
∇ ∧ v = 0. (1.49)
curl v = ∇ ∧ ∇ f = 0. (1.50)
Corollary 1.2 A conservative vector field of class C 1 (Ω) is irrotational. The vicev-
ersa, in general, is not true, unless Ω is a simply connected domain.
1.7 The Curl 19
∇ ∧ r = 0. (1.51)
Solution
i j k
∂ ∂ ∂
curl r = ∇ ∧ r = = 0,
∂x ∂y ∂z
x y z
∂ xi
because every partial derivative ∂x j
is identically zero.
Solution
(⇐=) If F = ∇ϕ, then the curl of F is
i j k
∂ ∂ ∂
∇ ∧ F = ∂x ∂y ∂z = (ϕzy − ϕ yz ) i − (ϕx z − ϕzx ) j + (ϕ yx − ϕx y ) k,
∂ϕ ∂ϕ ∂ϕ
∂x ∂y ∂z
where ϕx y ≡ ∂∂x ∂ϕ
∂y
and similarly for the other derivatives. The above curl vanishes
because the function ϕ is of class C 2 and so, for Schwarz’s theorem, the order of
partial derivation can be exchanged, i.e. ϕx y = ϕ yx , etc.
(=⇒) On the other side, if ∇ ∧ F = 0 then
∂ Fy ∂ Fz ∂ Fz ∂ Fx ∂ Fy ∂ Fx
∇ ∧F= − i− − j+ − k = 0,
∂z ∂y ∂x ∂z ∂x ∂y
that implies
∂ Fy ∂ Fz ∂ Fz ∂ Fx ∂ Fy ∂ Fx
= , = , = .
∂z ∂y ∂x ∂z ∂x ∂y
The expressions above represent the conditions for the differential form F · dr =
Fx d x + Fy dy + Fz dz to be an exact differential. This means that it does exist a
continuous and differentiable function ϕ(r) whose differential reproduces the given
20 1 Elements of Vector Calculus
∂ϕ ∂ϕ ∂ϕ
form, dϕ = dx + dy + dz = Fx d x + Fy dy + Fz dz, which is equivalent
∂x ∂y ∂z
to
F = ∇ϕ.
In conclusion, all irrotational fields are conservative, i.e. they can be derived from
scalar (potential) functions.
∇ · F ∧ r = 0.
Solution
Since
F ∧ r = (Fy z − Fz y)i − (Fx z − Fz x)j + (Fx y − Fy x, )k,
it is
∂ ∂ ∂
∇ ·F∧r= (Fy z − Fz y) − (Fx z − Fz x) + (Fx y − Fy x) =
∂x ∂y ∂z
∂ Fy ∂ Fz ∂ Fx ∂ Fz ∂ Fx ∂ Fy
= z− y− z+ x+ y− x=
∂x ∂x ∂y ∂y ∂z ∂z
= r · ∇ ∧ F.
∇ · F ∧ r = 0.
Exercise 1.25 Given a scalar field f and a vector field v, show that
∇ ∧ f v = f ∇ ∧ v − v ∧ ∇ f = f ∇ ∧ v + ∇ f ∧ v. (1.53)
Solution
The solution is left to the reader. Note that the expression Eq. 1.53 is similar to that
of the scalar product of ∇ with f v (Eq. 1.40), paying attention to the sign.
Exercise 1.26 Determine the real values of a, b and c for which the field
Solution
a = 4, b = 2, c = −1.
x2 3 2
U (x, y, z) = + 2x(y + 2z) − y y − z − z 2 + const.
2 2 3
∇ ∧ (∇ ∧ v) = ∇(∇ · v) − ∇ 2 v,
∇ ∧ ∇ ∧ v = (v · ∇)∇ − (∇ · ∇)v,
whence, substituting (v · ∇)∇ with ∇(∇ · v) we have the seeked relation. A longer
way to the same result is via a thorough development of the calculations
!
∂2 ∂2 ∂2 ∂ ∂vx ∂v y ∂vz
∇ ∧∇ ∧v=− + + (v x i + v y j + v z k) + + + i+
∂x2 ∂ y2 ∂z 2 ∂x ∂x ∂y ∂z
∂ ∂vx ∂v y ∂vz ∂ ∂vx ∂v y ∂vz
+ + j+ + + k = −∇ 2 v + ∇∇ · v.
∂y ∂x ∂y ∂z ∂z ∂ x ∂y ∂z
Exercise 1.28 Show that a central force field F(r) = f (r)er is conservative if, and
only if, it is spherically symmetric, i.e. f (r) = f (r ).
Solution
Given a central force field F(r) = f (r)er , it is
∇ ∧ f er = f ∇ ∧ er − er ∧ ∇ f,
∇ ∧ f er = −er ∧ ∇ f.
Now
(i) If the field is conservative, i.e. ∇ ∧ f er = 0, the above equation gives ∇ f parallel
to er i.e. f is a function of r ;
(ii) if the field is spherically symmetric ( f (r) = f (r )) ∇ f is (see Exercise 1.10)
orthogonal to any spherical surface centered at the origin, which are its level
22 1 Elements of Vector Calculus
∇ f (r ) = f (r )er =⇒ er ∧ ∇ f = 0.
It is easy to verify that in spherical polar coordinates the formal vector ∇ is written
as (Eq. 1.27)
∂ 1 ∂ 1 ∂
∇ = er + eθ + eϕ . (1.54)
∂r r sin ϕ ∂θ r ∂ϕ
F = Fr er + Fr eθ + Fϕ eϕ , (1.55)
Keeping into account the orthonormality of the polar basis and the expressions
(1.19), it results that
∂er ∂eθ ∂er ∂eϕ
= = = = 0. (1.57)
∂r ∂r ∂ϕ ∂r
Moreover
∂er
= − sin ϕ sin θ i + sin ϕ cos θ j = sin ϕ eθ
∂θ
∂er
= cos ϕ cos θ i + cos ϕ sin θ j − sin ϕk = eϕ (1.58)
∂ϕ
∂eϕ
= − sin θ cos ϕ i + cos ϕ cos θ j = cos ϕ eθ ,
∂θ
1.8 Formal Calculation of Divergence and Laplacian by the Operator ∇ 23
F = Fρ eρ + Fθ eθ + Fz ez . (1.62)
Consequently,
∂ 1 ∂ ∂
∇ · F = eρ + eθ + ez · F. (1.63)
∂ρ ρ ∂θ ∂z
Now, given the orthonormality of the cylindrical vector basis, and given the expres-
sions (1.31), we have
∂eρ ∂eρ ∂eθ ∂eθ ∂ez ∂ez ∂ez
= = = = = = = 0, (1.64)
∂ρ ∂z ∂ρ ∂z ∂ρ ∂θ ∂z
and
24 1 Elements of Vector Calculus
∂eρ
= − sin θ i + cos θ j,
∂θ (1.65)
∂eθ
= − cos θ i − sin θ j,
∂θ
so that Eq. 1.63 becomes
1 ∂ 1 ∂ Fθ ∂ Fz
∇ ·F= ρ Fρ + ++ , (1.66)
ρ ∂ρ ρ ∂θ ∂z
In Rn a generic vector field is a function of n real variables (x1 , x2 , ..., xn ) which can
be written on a basis {ei } as F(r) = Fi ei .
For n = 3, it is
F(x, y, z) = Fx i + Fy j + Fz k. (1.68)
where the constant a 2 accounts for the coupling physical constant. In the Newtonian
case of a point of mass m, a 2 = Gm, where G is the universal gravitational constant
and m the mass sited in the origin and generating the field.
1.9 Vector Fields 25
Definition 1.5 The lines of force of a vector field F are curves in Rn whose tangent
at any point is in the direction of the field. As we will see, an information on the
intensity is possible for solenoidal fields, and it is given by the density of the lines
of force (see Sect. 1.14.1).
Mathematically, the lines of force are represented by the curves r(s) (s is the
curvilinear abscissa along the curve) such that
dr
= cF(x, y, z), (1.70)
ds
dr
where, for any arbitrary value of the non-zero constant c, ds
is a vector tangent to
the curve.
In R3 the above relation gives
dr dx dy dz
= i+ j + k = cFx i + cFy j + cFz k, (1.71)
ds ds ds ds
so that
dx dy dz
= = (1.72)
Fx Fy Fz
represent the system of 3 differential equations whose solution gives the lines of
force of F.
Note
From its definition, the tangent to a line of force in any point P of the space
gives the direction of the vector field evaluated in that point; it is so possible to
assign an orientation to the line as that of the vector field in that point.
Exercise 1.29 Determine the lines of force of a generic central field, expressed, in
R3 , by
f (x, y, z)
F = f (x, y, z)er = (xi + yj + zk) .
r
Solution
In this case, the conditions (1.72) are written as
dx dx dy dy dz dz
= x = = y = = z,
Fx f Fy f Fz f
r r r
26 1 Elements of Vector Calculus
equivalent to
dx dy dz
= = .
x y z
Integrating, we have
log |y| = log |x| + c1 , log |z| = log |x| + c2 , log |z| = log |y| + c3 ,
that is
|y| = ec1 |x|, |z| = ec2 |x|, |z| = ec3 |y|. (1.73)
The first of Eq. 1.73 corresponds, in the x, y plane, to y = ec1 x (1st and 4th
quadrant) and y = ec1 (−x) (2nd and 3rd quadrant), which are straight lines passing
through the origin. The same holds for the lines of force in the (x, z) and (y, z)
planes.
Exercise 1.30 Determine the lines of force of the gravitational field generated by
two points of masses m 1 and m 2 sited in P1 = (−a, 0, 0) and P2 = (a, 0, 0), where
a > 0. Discuss the existence of an equilibrium in the case m 1 = m 2 .
Solution
Let r1 = (−a, 0, 0) and r2 = (a, 0, 0) the 2 particles position vectors; on the generic
point P with radius vector r= and unitary mass, the combined force exerted by the 2
particles is (Fig. 1.4)
m1 m2
F(r) = G (r1 − r) + G (r2 − r),
|r1 − r| 3 |r2 − r|3
r m1
r1
r2 y
m2
x
1.9 Vector Fields 27
lead to
dx dy
m1 m2 = m1 m2 =
G (−a − x) + G (a − x) G (−y) + G (−y)
|r1 − r|3 |r2 − r|3 |r1 − r|3 |r2 − r|3
dz
= m1 m2 .
G (−z) + G (−z)
|r1 − r| 3 |r2 − r| 3
or, equivalently,
This means that the lines of force lie on planes through the x axis, which means
an invariance by rotation around that axis and so the lines of force are contained in
dy dz
surfaces of revolution around the x axis. This is made clear by taking = and
y z
by multiplying and dividing by y e z, so to have
The last equality is a differential relation linking x and y 2 + z 2 , thus the solutions
are ∞1 surfaces of revolution around the x axis.
The conclusion of the exercise is left to the reader.
28 1 Elements of Vector Calculus
Definition 1.6 Let x(t), y(t) and z(t) be single value functions continuous in
[t1 , t2 ] and such that
Upon these conditions the curve written by the parametric expressions x = x(t),
y = y(t) and z = z(t) is a closed curve.
Note
The further condition that x(u) = x(v), y(u) = y(v) and z(u) = z(v) occurs
only for u = v corresponds to no intersections in the curve, which is so called
closed and simple.
Let us suppose that the functions x(t), y(t) and z(t) are piecewise differentiable
in the interval [t1 , t2 ] and give the following
Note
A sphere is not a normal domain because condition (ii) (b) does not hold, but
it is union of a finite number of normal domains.
Note
A sub region OABC of a sphere (see Fig. 1.5) is normal as far as the angles
AOC, AO B and
B OC are small enough.
1.10 The Divergence Theorem 29
O
C
Theorem 1.3 (Divergence theorem) Let A(x,y,z) a vector field continuous with its
first order partial derivatives. If N is a normal domain, then the divergence theorem
(referred also to as Ostrogradskij theorem or, also, Green’s theorem in space) holds.
The thesis of the theorem is:
∇ · A dV = A · n dσ, (1.75)
N Σ
where Σ ≡ ∂ N is the surface contouring N and n is its outward unit vector (Fig. 1.6).
Proof Let S the surface contouring N , while σ is the projection onto the plane (x, y)
of one, σ , of the sides of Σ, and v is the spatial region given by the intersection of
N with the cylindrical surface along the sides of σ (Fig. 1.6). The region v is thus
characterized by two surfaces z = f 1 (x, y) e z = f 2 (x, y) such that
f 1 (x, y) ≤ f 2 (x, y),
⎡ ⎤
z= f 2 (x,y)
∂ Az ∂ Az ⎢ ∂ Az ⎥
dV = d xd ydz = ⎣ dz ⎦ d xd y =
v ∂z v ∂z σ ∂z
z= f 1 (x,y)
( )
= A z (x, y, f 2 (x, y)) − A z (x, y, f 1 (x, y)) d xd y.
σ
Indicating with Δσ2 an element of the upper, curved, portion F of the surface Σ,
which is represented by z = f 2 (x, y), and with Δσ2 the projection of Δσ2 onto the
plane (x, y), it results
where α is the angle between the outward normal, n2 , to Δσ2 and the positive z axis.
On another side, on the inferior surface (that represented by z = f 1 (x, y)) we
have
with β the angle between the outward normal, n1 , to Δσ1 and the positive z axis;
consequently
( )
A z (x, y, f 2 ) − A z (x, y, f 1 ) d xd y =
σ
= A z (x, y, f 2 ) d xd y − A z (x, y, f 1 ) d xd y =
σ2 σ1
= A z k · n dσ = A z k · n dσ,
σ1 ∪σ2 =σz ∂v
∂ Ax
d xd ydz = A x i · n dσ,
v ∂x ∂v
∂ Ay
d xd ydz = A y j · n dσ.
v ∂y ∂v
Now, due to property (ii) (a), the projection of all sides of Σ onto a coordinate
plane is a finite number, n, of regions contoured by simple and closed curves, and so
∂ Ax n
∂ Ax
d xd ydz = d xd ydz =
N ∂x k=1 vk ∂x
n
A x i · n dσ = A x i · n.
k=1 σk,x Σ
A x i · n + A y j · n + A z k · n = A · n,
∇ · A dV = A · n dσ. (1.76)
N Σ
Note
The divergence theorem can be extended to domains for which property (ii) (b)
of Definition 1.7 does not hold; it suffices to divide the domain in sub-regions for
any of which (b) actually holds. Obviously, the outward normal to the surface
of separation bounding two sub-regions has to be considered, when performing
the surface integral, once with a direction and once with its opposite so that the
whole contribution of such separation surface to the surface integral cancels
out leaving only the contribution of the overall bounding surface. As example,
think to a spherical domain and intersect with a diametral plane. The planar
cross section is the separation surface mentioned above.
Theorem 1.4 (Divergence theorem in the plane) Let A be a vector field, continuous
with its first order partial derivatives, and S a planar normal domain, such that
S̄ = S ∪ ∂ S and C = ∂ S where C is a simple, closed planar curve. Show that in R2
the divergence theorem assumes the form (Green theorem)
* *
∂ Ax ∂ Ay
+ dσ = A · n ds = A x dy − A y d x . (1.77)
S ∂ x ∂ y C C
32 1 Elements of Vector Calculus
t
S ds
Proof Indicating by ds the line element vector counter-clockwise oriented along the
contour of S, and by α the angle it forms with the direction parallel to the x axis,
from Fig. 1.7 it is clear that
by which
A · n ds = A x n x + A y n y ds = A x dy − A y d x . (1.78)
C C C
Theorem 1.5 (Stokes’ Theorem) Let S be any open, two-sided, surface bounded by
a simple closed curve C, and A a vector field continuous with its first order partial
derivatives in a region containing S. Under these hypotheses, it results
*
A · dr = ∇ ∧ A · n dσ. (1.79)
C S
1.10 The Divergence Theorem 33
In words, the line integral of the tangential component of A along C equals the
surface integral of the normal component of ∇ ∧ A on every open, two-sided, surface
having C as contour.
Proof Let us proof the theorem in the hypothesis that S satisfies the same conditions
of the curved surface F in the divergence theorem, i.e. it satisfies the conditions (ii)
(a), (b) and (c) of the Definition 1.7 of a normal domain, and that its projections onto
the coordinate planes are regions where the Green’s theorem (divergence theorem in
R2 ) holds. We have to show that
*
(∇ ∧ A) · n. dσ = ∇ ∧ A x i + A y j + A z k · n dσ = A · dr. (1.80)
S S C
Since
∂ Ax ∂ Ax
∇ ∧ Ax i = j− k, (1.81)
∂z ∂y
we can write
∂ Ax ∂ Ax
(∇ ∧ A x i) · n. dσ = j·n− k·n dσ. (1.82)
S S ∂z ∂y
If the Cartesian expression for S is z = f (x, y), then A x over S is, actually,
A x (x, y, f (x, y)), and so
34 1 Elements of Vector Calculus
∂ Ax
which, by substitution of through the above relation, allows writing the rhs of
∂z
Eq. 1.82 as
+ ,
∂F ∂ Ax j·n ∂ Ax
− ∂f
− k·n dσ. (1.85)
S ∂y ∂y ∂y
∂y
where S̄ is the projection of S onto the plane (x, y) (Fig. 1.9). For the divergence
theorem in R2 , it is possible to write
*
∂F
− d xd y = F d x, (1.88)
S̄ ∂ y ∂ S̄
where ∂ S̄ is the contour of S̄, which is a simple closed curve, Γ . Finally, we have
*
(∇ ∧ A x i) · n. dσ = F d x. (1.89)
S Γ
Noting that F(x, y) = A x (x, y, f (x, y)), we have that F over Γ is equal to A x
over C and, due to that d x is the same on C and on Γ , it results
*
(∇ ∧ A x i) · n. dσ = A x d x. (1.90)
S C
The thesis of the theorem is so obtained by straight summation of the lhs and rhs
of (1.90) and (1.91):
*
(∇ ∧ A) · n = A · dr. (1.92)
S C
and, by the continuity of both A and its first order partial derivatives, it results also
*
(ii) A · dr = 0 =⇒ ∇ ∧ A = 0.
C
which vanishes everywhere (but the origin where it is not defined) because
∂ Fx r 2 − 2yr r
y
x 2 − y2
= = ,
∂y r 4 r4
∂ Fy −r 2 + 2xr rx x 2 − y2
= = .
∂x r4 r4
If ∇ ∧ F = 0 everywhere but the origin, obviously
(∇ ∧ F) · n dσ = 0,
S
* 2π 2π
1
F · dr = (−r 2 cos2 θ − r 2 sin2 θ ) dθ = − dθ = −2π.
C r2
0 0
The residual, −2π , derives by the integration around the pole (which is the origin).
The singularity is easily eliminated by integrating along the path Γ = Γ1 ∪ Γ2 as
described in Fig. 1.10.
In R2 \ (0, 0) the potential of F is
x
U (x, y) = arctan + c,
y
as it is easily verified.
1.10 The Divergence Theorem 37
Γ2
Exercise 1.32 If S is a closed surface union of two surfaces for which the Stokes’
theorem holds, show that
∇ ∧ A · n dσ = 0.
S
Solution
Left to the reader.
Exercise 1.33 Let S R (0) a sphere of radius R centered at the coordinate origin, and
let A = a(x, y, z) er a continuous vector field; calculate
∇ · A d V.
S R (0)
Solution
By the divergence theorem we have
∇ · A dV = A · n dσ,
S R (0) ∂ S R (0)
R
2 da
∇ · A dV = (a∇ · er + er · ∇a) d V = a + 4πr 2 dr =
S R (0) S R (0) r dr
0
R R
1 d 2
= (r a) 4πr 2 dr = 4π d(r 2 a) = 4π R 2 a(R),
r 2 dr
0 0
Exercise 1.34 Same of the previous exercise, in the case a(R, θ, ϕ) = −a(R, θ, π −
ϕ), i.e. for a vector field which is antisymmetric respect to the x y plane.
Solution
π 2π
∇ · A d V = R2 a(R, θ, ϕ) sin ϕ dθ dϕ =
N
0 0
⎡ π
⎤
2π 2 π
⎢ ⎥
= R2 ⎢ a(R, θ, ϕ) sin ϕ dϕ + a(R, θ, ϕ) sin ϕ dϕ ⎥
⎣ ⎦ dθ =
0 0 π
2
⎡ π
⎤
2π 2 π
⎢ ⎥
= R2 ⎢ a(R, θ, ϕ) sin ϕ dϕ − a(R, θ, π − ϕ) sin ϕ dϕ ⎥
⎣ ⎦ dθ =
0 0 π
2
⎡ π ⎤
2π 2
⎢ ⎥
= 2R 2 ⎣ a(R, θ, ϕ) sin ϕ dϕ ⎦ dθ.
0 0
Exercise 1.35 Show that the radius, R, of a sphere centered in the origin can be
expressed as
13
1
R= r · n dσ ,
4π S R (0)
r · n dσ = ∇ · r d V = 3VR = 4π R 3 .
∂ S R (0) S R (0)
1.10 The Divergence Theorem 39
F = (2x y + 3) i + (x 2 − 4z) j − 4y k
Solution
The existence of the potential is guaranteed by that
∂ Fz ∂ Fy ∂ Fz ∂ Fx ∂ Fy ∂ Fx
∇ ∧F= − i+ − j+ − k=
∂y ∂z ∂x ∂z ∂x ∂y
= (−4 + 4) i + 0 · j + (2x − 2x)k = 0.
∂U ∂U ∂U
= Fx , = Fy, = Fz .
∂x ∂y ∂z
∂U dg dg
= −4y + = Fz = −4y =⇒ =0 =⇒ g(z) = c,
∂z dz dz
40 1 Elements of Vector Calculus
U (x, y, z) = x 2 y + 3x − 4zy + c.
give the velocity of every particle at any time as a function of its initial position
(that at time t0 ). The mathematical procedure of elimination of x0 , y0 , z 0 in the
1.11 Velocity Fields 41
rhs of Eq. 1.94, which is done (if possible) by its inversion, allows passing from
Lagrangian to Eulerian specification, which corresponds to the identification of the
velocity field (fluid flow) v = vx i + v y j + vz k at any time t and in any point x, y, z
of the 3-dimensional space
The velocity flow may depend explicitly on t. In that case, the flow lines also
depend on time and constitute, so, a set of ∞1 curves defined by the usual (see 1.72)
differential conditions
dx dy dz
= = . (1.97)
vx (x, y, z; t) v y (x, y, z; t) vz (x, y, z; t)
If the velocity field is independent of t (stationary flux), the curves satisfying Eq. 1.97
are the actual trajectories of fluid motion.
x = x 0 et , y = y0 e−t , z = z0 , (1.98)
Solution
By time differentiation of Eq. 1.98:
thus the Eulerian form, that is obtained by elimination of x0 and y0 in the above
relations, is
ẋ = x = vx , ẏ = −y = v y , ż = 0 = vz .
This is a planar stationary flow, whose flux lines (which are trajectories of motion)
are
dx dy
= =⇒ log |x| = − log |y| + c,
x −y
42 1 Elements of Vector Calculus
C0
z=0
x
y
or, equivalently
|x||y| = ec = C hyperbola.
v = − cos t i + sin t j,
Solution
Left to the reader.
Exercise 1.39 Study the properties of the fluid motion represented by the Lagrangian
expression
x0 + y0 t x0 − y0 −t x0 + y0 t x0 − y0 −t
r= e + e i+ e − e j + z 0 k.
2 2 2 2
4A stream line has in any its point the direction of the velocity field. When the flow is stationary,
stream lines coincide with fluid trajectories.
1.12 Meaning of the Divergence of a Vector Field 43
A fluid in motion can expand or contract: a fluid element that at t0 covers a portion
of space C0 at time t will extend, generally, over a portion of space C such that, in
general, vol(C0 ) = vol(C). In such case we speak of a compressible fluid. Given
the mass continuity equation which, in Lagrangian form, writes as
Dρ
= −ρ∇ · v, (1.100)
Dt
where D/Dt represents the Lagrangian derivative (that evaluated along the flow),
and defining the specific volume V ∗ = 1/ρ as that occupied by the unitary fluid
mass, we clearly have that in the incompressible case V ∗ = const. and thus
DV ∗ 1 Dρ
=− 2 = 0.
Dt ρ Dt
Exercise 1.40 Let us consider the Lagrangian flow defined by Eq. 1.37
r = x0 et i + y0 e−t j + k. (1.101)
0 ≤ z ≤ 1, x02 + y02 = a 2 ,
Solution
From Eq. 1.101 we get
x2 y2
+ = x02 + y02 = a 2 ,
e2t e−2t
that is
x 2 y 2
+ = 1,
aet ae−t
which is the equation of the ellipse of semiaxes |a|et (x expansion) and |a|e−t
(y contraction). Note the invariance of the domain volume in time
∂x ∂y ∂z ∂x ∂y ∂z
∂2x ∂2 y ∂2z
∂t∂ x0 ∂t∂ x0 ∂t∂ x0 ∂ x0 ∂ x0 ∂ x0 ∂ x0 ∂ x0 ∂ x0
∂x ∂y ∂z
∂x ∂y ∂z ∂2x ∂2 y ∂2z
J˙(r0 ; t) = + + .
∂ y0 ∂ y0 ∂ y0 ∂t∂ y0 ∂t∂ y0 ∂t∂ y0 ∂ y0 ∂ y0 ∂ y0
∂x ∂y ∂z ∂x ∂y ∂z ∂2x ∂2 y ∂2z
∂z 0 ∂z 0 ∂z 0 ∂z 0 ∂z 0 ∂z 0 ∂t∂z 0 ∂t∂z 0 ∂t∂z 0
In the hypothesis that the first and second partial derivatives are continuous, then
1.13 Link Between Divergence and Volume Variation 45
∂ ∂x ∂ ∂y
∂ 1 ∂z 0 0
∂ x0 ∂t ∂ x0 ∂t ∂
∂ x0 ∂x∂t∂ ∂y ∂ ∂z
J˙(r0 , t) = +
∂y +
0 1 0 0 ∂t ∂ y0 ∂t ∂ y0 ∂t
0 0 1 0 0 1
1 0 0
0 1 0
+ ,
∂ ∂x ∂ ∂y ∂ ∂z
∂z ∂t ∂z 0 ∂t ∂z 0 ∂t
0
Viceversa, if V̇ (t) = 0, ∀t, then the continuity of v and of its first derivatives
imply ∇ · v = 0: the fluid is said to be incompressible. Applying the mean theorem
for integrals, we have
V̇ V̇
= ∇ · v, lim = ∇ · v,
V C→(x,y,z) V
where the brackets represent an average over the domain. Clearly, ∇ · v is the frac-
tional rate of expansion (∇ · v > 0) or compression (∇ · v < 0) of the fluid around
the generic point (x, y, z).
Exercise 1.42 Show that the volume of a fluid domain C is expressible by the
formula
1
V (C) = r · n dσ.
3 ∂C
Solution
Left to the reader.
46 1 Elements of Vector Calculus
A flux tube is a particular type of vector field (see Sect. 1.9), defined as that surface
whose lateral surface has tangent in every point which is parallel to the field lines,
assuming that an outward normal can be defined in every point of such a surface.
The simplest example is that of a fluid which moves into a physical tube without
crossing its lateral sides. We can prove that in the case of an incompressible flow, the
fluid speed increases (decreases) when the flux tube cross section shrinks (widens).
Let us consider a region of space T limited by a flux tube and by two orthogonal
cross sections S1 and S2 to the tube, as in Fig. 1.12.
If the generic vector field F is solenoidal (like the velocity field of an incompress-
ible fluid) then
∇ · F dV = F · n dσ = F · n dσ + F · n dσ = 0,
T ∂T S1 ∪S2 L
(1.103)
where ∂ T is the union of S1 , S2 and of the lateral surface, L, of the tube. Clearly,
the surface integral over the lateral surface is zero because there F · n = 0, so that
Eq. 1.103 reduces to
F · n dσ = 0,
S1 ∪S2
which implies
F · n dσ = − F · n dσ.
S1 S2
n
n F
S1 S2
where F1 and F2 are the norms of the F vector field outward normal components
over the two cross sectional surfaces. This, obviously, leads to the scaling
F1 ar ea(S2 )
= ,
F2 ar ea(S1 )
that is: the intensity of a solenoidal vector field increases (the field line density
increases) where the flux tube shrinks while its intensity decreases (as the field
lines density) across larger cross sections of the flux tube. The ratio is inversely
proportional to the area of the orthogonal cross sections.
This chapter contains all the notions that are needed to understand the remainder of the
book. Readers wishing to deepen their knowledge about theory of functions of many
variables and vector analysis can refer to many excellent introductory textbooks, like,
e.g., [23, 25]. Aspects of fluid-dynamics are covered by [15].
Chapter 2
Newtonian Gravitational Interaction
∇ · ∇U ≡ ∇ 2 U = 0.
m
y
O
This means that (i) F is a solenoidal vector field, and (ii) U (r) is a harmonic
function1 in the empty space around the particle m placed in the origin.
The vector equation of motion of the P particle with given initial conditions is
⎧ m
⎪
⎨ r̈ = −G 3 r
r
r(0) = r0 (2.3)
⎪
⎩
ṙ(0) = ṙ0 .
The Eq. 2.3 constitute a system of 3 scalar, 2nd order, ordinary differential equa-
tions. The motion of the P particle in the space around the particle of mass m sitting
at the coordinate frame and giving the potential is the typical case of one-body prob-
lem. Of course, due to that by Newton’s third principle the particle of mass m is also
feeling the acceleration induced by the particle of mass m P , the coordinate frame
anchored in the m particle is not inertial. It becomes inertial in the limit m m P
(as, for instance, in the case of the Sun-Earth system).
Note that the 2nd order system in Eq. 2.3 can be easily reduced to a system of 6, 1st
order, differential equations, by the introduction of the auxiliary vector v = ṙ. This is
not relevant for the one-body (and two-body) point like Newtonian cases because the
explicit solution is known, while it is needed in the case of more general interaction
potentials where the explicit solution does not exist and should be approximated by
numerical methods.
Fc + Fd λ
r̈ = = ∇U − ṙ. (2.4)
mP mP
A scalar multiplication by ṙ of both sides of Eq. 2.4 and an integration over time
leads to
t t t
λ
ṙ · r̈ dt = ∇U · ṙ dt − ṙ · ṙ dt, (2.5)
mP
0 0 0
whence
t
1 1 λ
ṙ · ṙ − U (r) = ṙ0 · ṙ0 − U (r0 ) − ṙ · ṙ dt. (2.6)
2 2 mP
0
t r(t)
λ λ
Ld = − ṙ · ṙ dt = − ṙ · dr (2.8)
mP mP
0 r(0)
represents the (always negative) work (per unit mass) done by the dissipative force
Fd in the time interval [0, t]. Consequently the expression
λ
Ė = − ṙ · ṙ = Fd · v ≤ 0
mP
d f = X d x + Y dy + Z dz, (2.9)
∂X ∂Y ∂X ∂Z ∂Y ∂Z
= , = , = . (2.10)
∂y ∂x ∂z ∂x ∂z ∂y
∂ ẋ ∂ ẏ ∂ ẋ ∂ ż ∂ ẏ ∂ ż
= , = , = . (2.11)
∂y ∂x ∂z ∂x ∂z ∂y
These relations would imply (by the previous theorem) the existence of a
scalar function Φ(r) whose total differential is the differential form ẋd x +
ẏdy + żdz and thus
ṙ = ∇Φ(r), (2.12)
λ λ
E+ Φ(r) = E 0 + Φ(r0 ) = const. (2.14)
mP mP
r j − ri m j mi
Fi j = Fi j with Fi j = G , (2.15)
|r j − ri | |r j − ri |2
so that
N
N
m j mi
Fi = Fi j = G (r j − ri ), (2.16)
j=1 j=1
|r j − ri |3
i= j i= j
is the total force exerted by the other N − 1 bodies of the system on the ith. Clearly,
Fi j = −F ji , Fi j = F ji . (2.17)
The total momentum of the forces acting on the N -body system is the sum of the
momentum of the above internal forces and that of external forces (F(e) )
N
N
M=M (i)
+M (e)
= ri ∧ Fi + ri ∧ Fi(e) =
i=1 i=1
N
N
N (2.18)
= ri ∧ Fi j + ri ∧ Fi(e) .
i=1 i=1 i=1
i= j
If we consider the system as composed by the whole set of pairs (i, j), the momen-
tum of internal forces can
be written as the sum of the contribution of all these pairs,
N N (N − 1)
which are, in number, = , so that
2 2
N
N
N
N
M(i) = ri ∧ Fi j = ri ∧ Fi j = (ri ∧ Fi j + r j ∧ F ji ) =
i=1 j=1 i=1 j=1 pairs
j=i j=i (2.19)
mi m j
= (ri − r j ) ∧ G (r j − ri ) = 0, ∀i, j.
pairs
|ri − r j |3
d
N
L̇ = ri ∧ m i ṙi = M(e) .
dt i=1
Given N points whose masses and positions are m k and rk , k = 1, 2..., N , if they
interact via Newtonian gravity only, the function defined as
N −1 N −1
G mi m j
N N N
mi m j G mi m j
U (r1 , . . . r N ) = =G = ,
2 i, j=1 |ri − r j | i=1 j=i+1
r ij j=1 i= j+1
2 ri j
i= j
(2.20)
(where ri j ≡ |ri − r j | = r ji ), is the potential2 of the Newtonian force because
∂ ∂ ∂
Fk = ∇k U, with ∇k ≡ , , .
∂xk ∂xk ∂xk
N
m k ml
=− G (xk − xl ) = Fkx ,
l=1
rkl3
l=k
and similarly for the yk and z k coordinates. Given this potential, the equations of
motion of the generic ith body of the N -body set are synthetically written as
⎧ ∇U
⎪
⎨ r̈i =
mi (2.21)
⎪
⎩ r i (0) = ri0
ṙi (0) = ṙi0 ,
where the initial conditions for both position and velocity have been specified.
The particular case of a test particle of mass m, identified by its position vector
r and moving (without influencing the motion of the other bodies) in the force field
generated by other N bodies yields to its equation of motion
N
mj
r̈ = G (r j − r), (2.22)
j=1
|r j − r|3
N
mj m
U= G . (2.23)
j=1
|r j − r|
1 1 mi m j
N
E= m i vi2 − G = T − U, (2.24)
2 i=1 2 i, j=1 ri j
i= j
mi m j
4E
i = 21 m i vi2 − G ri j .
j=1
i= j
5 The phase space is a 6-dimensional space where every point (x, y, z, vx , v y , vz ) represents position
and velocity of a particle.
56 2 Newtonian Gravitational Interaction
N
I = m i ri · ri . (2.25)
i=1
N
I¨ = 2 m i (ṙi · ṙi + ri · r¨i ), (2.26)
i=1
The quantity
N N
∂U ∂U ∂U
ri · ∇i U = xi + yi + zi , (2.28)
i=1 i=1
∂xi ∂ yi ∂z i
is called Clausius’ virial after Rudolf Clausius who introduced the so called virial
theorem in 1870.
Let us recall an important mathematical aspect.
Definition 2.2 Let f (r) be a real function of m real variables; this function is called
homogeneous of degree n if for any α = 0 the relation
holds. When Eq. 2.29 holds for α > 0 or α < 0 we speak of f (r) as positively or
negatively homogeneous, respectively.
Lemma 2.1 If the interaction potential U (r1 , . . . , r N ) is a homogeneous function
of degree n, it results
N
ri · ∇i U = nU. (2.30)
i=1
∂ ∂
U (αr1 , . . . , αr N ) = αn U (r1 , . . . , r N ) , (2.31)
∂α ∂α
that develops into
N
∂U ∂αxi ∂U ∂αyi ∂U ∂αz i
+ + = nαn−1 U, (2.32)
i=1
∂αx i ∂α ∂αyi ∂α ∂αz i ∂α
2.4 The Scalar Virial Theorem 57
equivalent to
N
(∇αri U ) · ri = nαn−1 U. (2.33)
i=1
Given the arbitrariness of α we can set α = 1 in the above equation and the relation
2.30 is obtained.
1¨
I = 2T + nU, (2.34)
2
which is the actual thesis of the virial scalar theorem.
Due to that the potential of a set of N particles interacting via Newtonian classic
gravity is given by
1 mi m j
U= G , (2.35)
2 i, j=1 ri j
i= j
which is (as easily seen) a positively homogeneous function of degree n = −1, the
virial theorem thesis assumes the form
1¨
I = 2T − U = 2T + Ω = E + T (2.36)
2
By dividing the 2 sides of the virial relation (Eq. 2.34), where we set n = −1) by
|Ω| = −Ω we have
1 I¨ 2T
= − 1, (2.37)
2 |Ω| |Ω|
1 I¨
Q= + 1. (2.38)
2 |Ω|
polar inertia moment, I¨ < 0 (initial contraction) and supervirial when Q > 1, which
corresponds to a positive acceleration of the polar inertia moment, I¨ > 0 (initial
expansion).
Let us examine some particular cases concerning I¨ = 0.
If the system motion is periodic with period P, performing an integral average
over the period of left side and second rhs of Eq. 2.36 we get
P
1 ¨ 11 11 ˙
I P = I¨ dt = I (P) − I˙(0) = 0 = 2 T P + Ω P. (2.39)
2 2P 2P
0
In the above equation, we use that, if I (t) is periodic, also I˙(t) is periodic. This
is a general property. Indeed, to say that I (t) is periodic means that I (t + P) = I (t)
for every t. Consequently
Equation 2.39 can be, equivalently, expressed as < Q > P = 1. In general, per-
forming an average over a generic time interval τ , the result is
τ
1 ¨ 11 11 ˙
I τ = I¨ dt = I (τ ) − I˙(0) = 2 T τ + Ω τ. (2.40)
2 2τ 2τ
0
Thus, if τ is properly chosen of the order of the oscillation time of the system,
it is I˙(τ ) I˙(0) or, equivalently, < Q >τ 1, i.e. the system is globally virialized
over the time scale τ .
In the case of a motion which is non-periodic but limited in the phase space, i.e.
1 ¨ 1 1 ˙
I ∞ = lim I (τ ) − I˙(0) ≤
2 2 τ →∞ τ
1 1 ˙ 1 2H
≤ lim | I (τ )| + | I˙(0)| ≤ lim = 0.
2 τ →∞ τ 2 τ →∞ τ
A last, but relevant, result is that if the system energy is positive, E > 0, the
system is unstable (unbound in physical space).
Actually
1¨
I = E + T ≥ E > 0,
2
2.4 The Scalar Virial Theorem 59
that means the system is indeed unstable, in what exists at least an escaping particle,
for which ri (t) → ∞.
Let F(r) be the gravity force exerted on the unitary mass in the point r (see Fig. 2.2)
by a regular matter distribution with volume density ρ(r) defined in a bound domain
C. The generalization to a continuous distribution of the expression by sum of the
total force exerted by a set of N point masses on a unit test mass sited in r yields
straightforwardly to the integral
r − r
F(r) = G ρ(r )d 3 r . (2.44)
C |r − r|3
r−r’
r dm’=dm(r’)
r’
y
x
60 2 Newtonian Gravitational Interaction
Let us see some characteristics of the force field Eq. 2.44 and its potential Eq. 2.45.
The divergence of the force field is the divergence of the integral in Eq. 2.44. Now,
we distinguish the internal case, r ∈ C, from the external, r ∈ / C.
We have
r − r
∇ · F(r) = G ∇· ρ(r ) d 3 r =
|r − r|3
C
1 1
=G
∇ · (r − r) + (r − r) · ∇ ρ(r )d 3 r .
C |r − r| |r − r|3
3
(2.47)
1 3 1 r − r
∇ = − ∇|r − r | = 3 , (2.48)
|r − r |3 |r − r |4 |r − r |4 |r − r|
consequently
3 3(r − r) · (r − r)
∇ · F(r) = G − + ρ(r )d 3 r . (2.49)
C |r − r|3 |r − r|5
∇ · F = 0, (2.50)
in the empty space around a distribution of matter. This means that the force field is
solenoidal and the Laplace’s equation
∇ · ∇U ≡ ∇ 2 U = 0 (2.51)
holds. In other words, the field equation for the classical gravitational force in the
empty space is just the Laplace’s equation.
On the other hand, the evaluation of the force on a point within the matter dis-
tribution implies to that the above integral is improper (the integrand is singular in
r = r.
We can evaluate this improper integral as
r − r 3 r − r 3
∇ · F = G lim ρ(r )∇ · d r = G lim ρ(r )∇ · d r,
r →r C |r − r|3 h→0 Sh (r) |r − r|3
2.5 Continuous Distributions of Matter 61
where Sh (r) = r : |r − r| ≤ h is the sphere of radius h centered in r. The integral
is evaluated by applying the mean theorem for integrals, first, and, after, the diver-
gence theorem. The mean theorem allows taking out of the integral the density as
evaluated in a (unknown) point rh within Sh (r), while the divergence theorem can
be used after we swapped ∇r with −∇r ,6 thanks also to the continuity of ρ(r ).
Finally
r − r 3
∇ · F = −G lim ρ(rh ) ∇r · d r =
h→0 S (r) |r − r|3
h (2.52)
r − r
= −G lim ρ(rh )
· n dσ,
∂ Sh (r) |r − r|
h→0 3
where ∂ Sh (r) is the sphere surface (r : |r − r| = h) and n is its normal unit vector.
Obviously,
r − r
n = er −r = , (2.53)
|r − r|
so that
1 ρ(rh )
∇ · F = −G lim ρ(rh ) dσ = −G lim dσ =
h→0 ∂ Sh (r) |r − r|2 h→0 h 2 ∂ Sh (r)
ρ(rh )
= −G lim 4πh 2 = −4πGρ(r),
h→0 h 2
because of the continuity of the density ρ(r). The final result corresponds to the so
called Poisson’s equation
∇ · F = ∇ · ∇U = −4πGρ(r), (2.54)
Note
The definition of the force per unit mass by the integral Eq. 2.44 is wherever
valid. Actually, the integral is improper just for r = r , but it always converges.
Indeed, it results
6 The exchange is not a general property; in this case it is allowed because applied to (r − r)/|r − r|.
62 2 Newtonian Gravitational Interaction
ρ(r ) 3 d 3 r
0 ≤ lim G
(r − r) d r ≤ G lim ρ(r h )
Sh (r) |r − r| Sh (r) |r − r|
h→0 3 h→0 2
h
|r − r| 2
= G lim ρ(rh ) 4π d |r − r| = 4πGρ(rh ) lim h = 0 (2.56)
h→0 0 |r
− r|2 h→0
Theorem 2.2 (Gauss’ Theorem) The integral of the outward normal component of
the force F(r) to any closed surface containing a quantity M of matter is equal to
−4πG M. In other words, the outward force flux through the surface is −4πG times
the mass enclosed (in the electrostatic case the mass is substituted by the electric
charge).
Proof By integration of both sides of the Poisson’s equation over a generic subdo-
main N of the domain where the density is non zero we have, for the divergence
theorem,
∇ · ∇U d 3 r = ∇U · n dσ = −4πG ρ(r) d 3 r = −4πG M.
N ∂N N
Exercise 2.1 Show whether the following force fields are solenoidal in R3 , and
discuss possible singular points.
x 1 y 1
(a) F = 2 i + arctan j+ k
y + z2 z z y + z2
2
y x
(b) F = − 2 i + 2 j
r r
(c) F = er r
Solution To check whether the fields are solenoidal it is necessary to verify where
∇ · F = 0.
Exercise (a)
x 1 y 1
∇ ·F=∇ · i + arctan j+ k =
y2 + z2 z z y2 + z2
∂ x ∂ 1 y ∂ 1
= + arctan + =
∂x y 2 + z 2 ∂y z z ∂z y2 + z2
1 1 z −z 2 y2 + z2 − z
= 2 + + 3 = 3 .
y + z2 z y2 + z2 y2 + z2 2 y2 + z2 2
2.6 Gauss’ Theorem 63
Exercise (b)
Given that r = x 2 + y 2 , F(r) becomes
y x
F=− i+ 2 j
x2 +y 2 x + y2
and
∂ y ∂ x
∇ ·F= − + =
∂x x + y2
2 ∂ y x + y2
2
2x y 2x y
= 2 − 2 = 0.
x 2 + y2 x 2 + y2
Consequently
∇ · F = 0, ∀(x, y) ∈ 2 \ {0, 0}.
Exercise (c)
and the field is not solenoidal. Anyway, it is possible to scale it with a scalar function
α(r ) to make it solenoidal. Actually,
dα
∇ · αF = α∇ · F + F · ∇α = α∇ · F + F · er = 0,
dr
so to have
1 dα ∇ ·F er (3 + r ) 3+r
=− =− =− ,
α dr F · er er r r
which implies
c
α= ,
r 3 er
c
where c = 0 is an arbitrary constant. The field αF = r is thus solenoidal for r = 0.
r3
Exercise 2.2 Compute the flux through the unitary radius sphere centered at the
coordinate origin, S1 (0), of the force fields:
(a) F = r
(b) F = x i
64 2 Newtonian Gravitational Interaction
Solution
Exercise (a)
π 2π
φ= F · n dσ = r dσ = sin ϕ dθdϕ = 4π
∂ S1 (0) ∂ S1 (0)
0 0
Exercise (b)
π2π
x2
φ= F · n dσ = dσ = sin2 ϕ cos2 θ sin ϕ dθ dϕ =
∂ S1 (0) ∂ S1 (0) r
0 0
2π π
= cos θ dθ
2
sin3 ϕ dϕ,
0 0
but
π −1 1
2 4
sin ϕ dϕ = − sin ϕ dcos ϕ = (1 − cos2 ϕ) dcos ϕ = − + 2 = ,
3 2
3 3
0 1 −1
so to have
2π
4 2π 1 + cos 2θ 1 2π 4
φ= cos2 θ dθ = dθ = θ + sin θ cos θ 0
= π.
3 0 0 2 2 3
Clearly, the same result above could have been obtained much faster by application
of the divergence theorem
4
φ= ∇ · F dV = V = π.
S1 (0) 3
r − r 1 1
∇∧ = ∇ ∧ (r − r) − (r − r) ∧ ∇ =
|r − r|2 |r − r|3 |r − r|3
−3 r − r
= −(r − r) ∧ = 0.
|r − r|4 |r − r|
If the point where we calculate the curl of F is in C, we can see, in the same way
followed to obtain Poisson’s equation, that
r − r
∇ ∧ F(r) = lim G ∇∧ ρ(r ) d 3 r = 0. (2.59)
h→0 Sh (r) |r − r|3
∇ 2 (U + δU ) = −4πG(ρ + δρ),
i.e.
∇ 2 δU = −4πGδρ,
whence
1
δρ(r) = − ∇ 2 δU. (2.61)
4πG
Consequently, the expression Eq. 2.60 becomes
1 1
δΩ = U ∇ δU d r ≡
2 3
U ∇ · ∇δU d 3 r. (2.62)
4πG C 4πG C
66 2 Newtonian Gravitational Interaction
Note that the above formula derives by a straight application of the divergence
theorem to the function f A.
The first integral in the above expression vanishes because for large r
⎧
⎪
⎪
1
⎨ U (r ) ∝ r ,
⎪
1
⎪
⎪ |∇δU (r )| ∝ 2 ,
⎪
⎩ r
dσ ∝ r dr,
so that it results 1
U ∇δU · n dσ ∝ lim − = 0. (2.65)
∂R3 r →∞ r
If we now sum up all the contributions δΩ we, finally, have the expression for the
potential energy Ω
1
Ω=− |∇U |2 d 3 r. (2.67)
8πG R3
A much faster way to get the above expression of the potential energy of a distri-
bution of matter contained in a domain C is by using its definition as generalization
to a double integral of the double sum of Eq. 2.20, that is
1 dm dm 1 dm 1
Ω=− G =− dm G =− U (r)ρ(r) d 3 r.
2 C C |r − r| 2 C C |r − r| 2 C
(2.69)
Exercise 2.3 Calculate the expression for the potential energy of a homogeneous
sphere of density ρ0 and radius R.
Solution
R
1 r2
Ω=− U (r ) dm = −πGρ0 R2 − ρ0 4πr 2 dr =
2 S R (0) 3
0
R5 R5 16π 2 3 G M2
= −4π 2
Gρ20 − =− Gρ0 R 5 = − .
3 15 15 5 R
Let us note that for a generic density distribution in spherical symmetry cut at
a given radius R the potential energy assumes always a form Ω = −A2 (G M 2 )/R
where A2 1/2 is a coefficient which depends on the “shape” of the distribution,
being larger for more compact density distributions.
Let us briefly deal with the classical Newton’s theorems about gravitational potential
and force.
Theorem 2.4 (Newton’s First Theorem) The gravitational force internal to a spher-
ically symmetric, homogeneous, material shell is null.
The theorem is proven by (see Fig. 2.3) noting that on any internal point the
diametral opposite matter shells, A1 and A2 , intersected by the same solid angle, α,
have a mass which scales with the same square power of the distance to the point
of the (inverse) square scaling of their (opposite in direction) gravitational force on
the point (ΔFi ). That is Δm 1 = ασr12 and Δm 2 = ασr22 , where σ is the (constant)
surface mass density, so that
ΔF1 Δm 1 r22
= 2 = 1.
ΔF2 r1 Δm 2
The proof of the Newton’s first theorem results, also, as a direct corollary of
Newton’s second theorem:
Theorem 2.5 (Newton’s Second Theorem) The gravitational force external to a
spherical and homogeneous material shell is the same exerted by all of its mass as
concentrated at a point at its centre.
Proof Let P a point of unitary mass out of the material shell of radius R and constant
density σ, identified by its position vector r. Let us compute explicitly the force
vector F(r). If the (constant) surface density of the shell is σ, the mass element in a
generic point on the shell surface is dm = σ R sin ϕ dθ Rdϕ (see Fig. 2.4),
so we have
π2π
r − r
F(r) = G σ sin ϕ dθ dϕ
|r − r|3
0 0
π
(r − R cos ϕ ) sin ϕ dϕ
= 2πG R σ(−er )2
3 ,
(R 2 + r 2 − 2r R cos ϕ ) 2
0
where the last equality was obtained by a little manipulation (multiplying and dividing
by |r − r|) and noting that (see Fig. 2.4)
= r − r cos ϕ = r − R cos ϕ .
|r − r| cos P
Letting D ≡ |r − r|, we have
whence
R2 + r 2 − D2 r 2 + D2 − R2
R cos ϕ = =⇒ r − R cos ϕ = .
2r 2r
D
d D 2 = 2Dd D = 2r R sin ϕ dϕ =⇒ sin ϕ dϕ = d D,
rR
so that the force may be written as
r +R
R r 2 − R2
F(r) = Gπ 2 σ(−er ) 1+ dD =
r D2
r −R
r +R (2.71)
R (r 2 − R 2 ) 4πGσ R 2
= Gπ σ(−er ) D − = (−er ) =
r2 D r −R r2
GM
= − 2 er
r
Proof Using expression Eq. 2.71 and taking into account that D(ϕ = 0) = R − r
when r ≤ R, we have
r +R
R r 2 − R2
F(r) = Gπ 2 σ(−er ) 1+ d D = 0. (2.72)
r D2
R−r
Another way to get the theses of both the Newton’s theorems is by mean of the
potential computation, as follows.
70 2 Newtonian Gravitational Interaction
π 2π
σ R sin ϕ dθ R dϕ
Us (r) = G =
R 2 + r 2 − 2r R cos ϕ
0 0
2r R
2 2πσ dy
= GR =
2r R + r2 − y R2
−2r R
R 2r R
= −G 2πσ R2 + r 2 − y =
r −2r R
⎧
⎪ R2
R ⎨ 4πG σ se r ≥ R
= −2πG σ |R − r | − (R + r ) = r
r ⎪
⎩
4πG Rσ se r < R,
which is equivalent to the results of first and second Newton’s theorem. It is trivial
the extensions to material sphere of finite size and spherically symmetric density.
It suffices substituting σ with ρ(R) in the integral expression of the potential and
integrate over R
∞
U (r ) = Us (R) d R.
0
The classical, Newtonian, theory of gravitation is one of the most studied, and applied,
fields in theoretical and experimental Physics. It is so found an enormous quantity of
textbooks, useful, for the curious reader, to enlarge and deepen the notions presented
in this chapter. As mere examples, I suggest [10, 13, 16]. Some deep theoretical
insight to gravity is found in the 2-volume book [8], with extension to General
Relativity in the fundamental texts [14, 20]. An astrophysical careful insight comes
from reading [4, 18, 22].
Chapter 3
Central Force Fields
lim U (r) = 0.
r →∞
The Euclidean distance between the two points r and r can be written as
,
|r − r| = r 2 + r 2 − 2r r cos rr (3.2)
where rr is the angle between the r and r vectors; in spherical polar coordinates
(r, θ, ϕ), the cosine theorem gives
Substitution by mean of (3.2) and (3.3) into Eq. 3.1, and taking into account that in
spherical polar coordinates ρ(r )d 3 r = ρ(r , θ , ϕ )r 2 sin ϕ dθ dϕ dr , makes evi-
dent that the integral (3.1) for the potential is very complicated to compute.
Anyway, in the case of spherical symmetry for the density, i.e. ρ(r ) = ρ(r ), the
problem is clearly invariant by rotations around the origin, and so we can choose the
polar reference frame setting the axis from which evaluate the ϕ angles along the
r direction so that (in the new spherical polar coordinates for r (Fig. 3.1) ) ϕ = 0,
yielding
|r − r| = r 2 + r 2 − 2r r cos ϕ . (3.4)
Rπ2π
r 2 sin ϕ dθ dϕ dr
U (r ) = G ρ(r ) =
r 2 + r 2 − 2r r cos ϕ
0 0 0
(3.5)
R π
sin ϕ
ρ(r )r dr dϕ .
2
= 2π G
r + r − 2r r cos ϕ
2 2
0 0
R
t=−1
d(r 2 + r 2 − 2r r t)
ρ(r )r dr
2
U (r ) = 2π G =
2r r r 2 + tr 2 − 2r r t
0 t=1
(3.6)
R
2 1
= 2π G ρ(r )r (r + r − |r − r |)dr .
rr
0
R
4π G M(R)
ρ(r )r dr = G
2
U (r ) = ≡ Uint (r ); (3.7)
r r
0
r R
4π G 2
U (r ) = r ρ(r ) dr + r r ρ(r ) dr =
r
0 r
(3.8)
R
G M(r )
= + 4π G r ρ(r ) dr ≡ Uint (r ) + Uext (r ).
r
r
Note that while the potential on a generic point P at distance r from the origin is
contributed by both the matter within r (Uint (r ) = G M(r )/r ) and out of r (Uext (r )),
the force has only the internal contribution, as already stated by Newton’s theorems.
Indeed, for any choice of integrable spherically symmetric density law, the force
generated by the spherical potential is:
r R
4π G 2
F = ∇U = U (r )er = − 2 r ρ(r ) dr + r r ρ(r ) dr +
r
0 r
(3.9)
R
4π G 2 2 2 G M(r )
+ r ρ(r ) + r ρ(r ) dr −
r ρ(r ) er = − er .
r r2
r
1 d dU
r2 = −4π Gρ(r ). (3.10)
r 2 dr dr
74 3 Central Force Fields
which writes as
dU dU
r2 − lim r 2 = −G M(r ). (3.12)
dr r →0 dr
Now, it is lim r 2 dU
dr
= 0, because any regular matter distribution is broader than
r →0
that of the point-like case (a delta function) which produces the U ∝ 1/r potential,
thus Eq. 3.12 simply gives the first and second Newton’s theorem theses, resumed as
dU M(r )
= −G 2 . (3.13)
dr r
A further r integration by parts leads to
∞ ∞ ∞
M(r ) M(r ) ∞ d M(r )
dU = −G dr = G −G =
r2 r r r
r r r
(3.14)
∞
M(r ) M(r )
= G lim − − 4π G ρ(r )r dr,
r →∞ r r
r
which reduces to
∞
M(r )
U (r ) = G + 4π G ρ(r )r dr + U∞ , (3.15)
r
r
M(r ) M(r )
assuming lim r
= 0 and U∞ ≡ lim U (r ) = 0. Note that the condition lim r
r →∞ r →∞ r →∞
= 0 means that the asymptotic (large r ) behaviour of ρ(r ) is ρ ∝ 1/r 2+β with β > 0.
This asymptotic behaviour for ρ(r ) guarantees, also, convergence of the integral in
the rhs of Eq. 3.15.
Exercise 3.1 Compute the flux through a spherical surface of radius R of the grav-
itational force exerted by a spherical matter distribution, ρ(r ).
3.1 The Potential and Force Generated by a Spherical Matter Distribution 75
Solution
The flux is given by
π2π
G M(R) 2
F(r) · n dσ = − R sin ϕ dθ dϕ = −4π G M(R),
S R(0) R2
0 0
As we saw in Sect. 1.4 of Chap. 1, in the case of a central force field (per unit mass),
F = f (r) er , the orbital angular momentum (per unit mass) L is conserved
L̇ = r ∧ f (r) er = 0, (3.16)
so that the motion is planar. The particle acceleration, in spherical polar coordinates
defined on the motion plane, writes as
r̈ − r θ̇ 2 = f (r ),
(3.18)
r θ̈ + 2ṙ θ̇ = 0,
where we have also assumed spherical symmetry for f (r), to guarantee conserva-
tivity. The second equation in the system 3.18 corresponds to
d 2
r θ̇ = 0, (3.19)
dt
L2
r̈ − = f (r ), (3.20)
r3
where, for simplicity, we let hereafter L ≡ L z .
76 3 Central Force Fields
dU
Being the force conservative, f (r ) = , and so
dr
L2 dU dUe f f
r̈ = 3 + ≡ , (3.21)
r dr dr
with c an integration constant, which is zero under the two conditions lim U (r ) = 0
r →∞
and lim Ue f f (r ; L) = 0. Note that the term −L 2 /(2r 2 ) in the above equation is the
r →∞
centrifugal potential.
In the above scheme, provided that the force is attractive, circular trajectories exist of
any radius r , upon the proper choice of the angular momentum L. Indeed Eq. 3.21,
under the assumption r = const. for every t, that implies ṙ = r̈ = 0, gives for the
angular momentum of the unit mass particle on the circular obit of radius r the value
dU
L c = −r 3 . (3.22)
dr
Exercise 3.2 Show that among all the possible orbits of given energy E in a spherical
potential, the circular one is that of maximum angular momentum.
3.2 Motion in a Spherical Potential 77
Solution
Given a spherical potential U (r ), the energy per unit mass is
1 2 1 1 L2
E= ṙ + r 2 θ̇ 2 − U (r ) = ṙ 2 + − U (r ),
2 2 2 r2
so that
1 2
L = 2r
2 2
E − ṙ + U (r ) ≤ 2r 2 [E + U (r )] = L 2c ,
2
R
M(r )
U (r ) = G + 4π G r ρ(r ) dr , (3.24)
r
r
which, assuming ρ(r ) = ρ0 = const. for r ≤ R, and ρ(r ) = 0 for r > R, gives
⎧ R
⎪
⎪
⎪ 4 r 2 1 2
⎪
⎪ π Gρ r 2
+ 4π Gρ = 2π Gρ R 2
− r if r ≤ R,
⎨3 0 0
2
0
3
U (r ) = r
(3.25)
⎪
⎪
⎪
⎪ 3
⎪
⎩ 4 π Gρ0 R if r > R,
3 r
that is
⎧
⎨ har monic, for r ≤ R,
U (r ) =
⎩
K eplerian, for r > R.
78 3 Central Force Fields
whose general solutions are x(t) = ax cos ωt + bx sin ωt and y(t) = a y cos ωt +
b y sin ωt, with ax , bx , a y , b y constants to be determined by the initial conditions
on r and ṙ, namely x(0) = x0 , ẋ(0) = ẋ0 , y(0) = y0 , ẏ(0) = ẏ0 .
Upon the given i.e., the solutions specify as
x˙0 y˙0
x(t) = x0 cos ωt + sin ωt, y(t) = y0 cos ωt + sin ωt, (3.27)
ω ω
which are the parametric expressions of the trajectory.
The choice of the particular i.c. x0 > 0, ẋ0 = 0, y0 = 0, ẏ0 > 0 (see Fig. 3.2),
which correspond to an initial velocity vector orthogonal to the initial position vector,
assumed on its turn on the x axis, leads, after squaring and summing member to
member in Eq. 3.27, to the canonical Cartesian equation of an ellipse
x2 y2
+ = 1, (3.28)
x02 ẏ0 2
where a 2 ≡ x02 and b2 ≡ ( ẏ0 /ω)2 are the (squared) semi axes.
xo x
3.3 Potential Generated by a Homogeneous Sphere 79
Actually, we can see that the trajectories are conics for any choice of i.c.. Indeed,
solving Eq. 3.27 for cos ωt and sin ωt, and using the trigonometric identity, it results
( yω˙0 x − x˙0
ω
y)2 (x0 y − y0 x)2
cos2 ωt + sin2 ωt = 1 = + , (3.29)
( yω˙0 x0 − x˙0
ω 0
y )2 ( yω˙0 x0 − x˙0
ω 0
y )2
y˙02 y˙0 x˙02 1
+ y0 x − 2
2 2
x˙0 + x0 y0 x y + + x0 y 2 = 2 (x0 y˙0 − y0 x˙0 )2 .
2
ω 2 ω 2 ω 2 ω
(3.30)
The above expression is that of a conic section, whose general equation is
Ax 2 + Bx y + C y 2 = D, (3.31)
y˙02 y˙0
A= + y02 ≥ 0, B = −2 x˙0 + x0 y0 ,
ω2 ω2
x˙2 1
C = 02 + x02 ≥ 0, D= (x0 y˙0 − y0 x˙0 )2 ≥ 0.
ω ω2
If A = C and B = 0 the curve is a circumference.
In general, defined the discriminant of the conic as Δ ≡ B 2 − 4 AC, it is known,
from analytic geometry, that
⎧
⎨ Δ < 0 for ellipse,
Δ = 0 for parabola,
⎩
Δ > 0 for hyperbola.
In our case
2
y˙0 x˙0
Δ = −4 x0 − y0 = −4D ≤ 0,
ω ω
so that trajectories are either ellipses (D > 0) or parabolas (D = 0), these latter being
degenerate. Actually, D = 0 ⇐⇒ (x0 y˙0 − y0 x˙0 )2 = |r0 ∧ v0 |2 = L 20 = 0, meaning
that r0 v0 . Due to that L is constant, it results r(t) v(t) for every t, that means
the parabola degenerates in two coinciding straight lines (purely radial motion).
80 3 Central Force Fields
Formally
y˙02 x˙02 y˙0
+ y0 x 2 +
2
+x02 y 2 − 2 x˙0 + x0 y0 x y = 0 ⇐⇒
ω2 ω 2 ω2
2
y˙0 x˙0
x− y + (y0 x − x0 y)2 = 0 ⇐⇒
ω ω
⎧
⎪ y˙0 x˙0
⎨ x− y=0
ω ω
⎪
⎩
y0 x − x0 y = 0.
The two straight lines above are coincident because ẏ0 /ẋ0 = y0 /x0 .
As said above, the case of i.c. such that L0 = 0 gives, as always in a central force
field, a purely radial motion.
Remembering the variable separation introduced in Sect. 3.2, and letting L = 0,
it is
dU 4
r̈ = = − π Gρ0 r = −ω2 r, (3.32)
dr 3
whose solution is a radial oscillation across the origin for negative mechanical energy,
E, and an unlimited straight line motion for E ≥ 0 (see Sect.3.5.2). In the first case,
the radial oscillation occurs in a time (called radial period)
1 2π π 1 3π
Tr = = = . (3.33)
2 ω 4 2 Gρ0
π Gρ0
3
Exercise 3.3 Calculate the time needed to a person which falls into an imaginary
tunnel crossing diametrically the Earth to reach the antipodes. Compare this time
with that required by a normal line aircraft to reach the same point.
Solution
Left to the reader.
3.4 Some Relevant Spherical Models 81
In the class of spherical potentials, all admissible stationary and stable mass density
distributions should be less concentrated than the, extreme, point mass case (Dirac’s
dρ
delta function ρ(r) = δ(r)) while keeping a radially decreasing profile < 0. So
dr
the density distributions, and the corresponding potentials, should lay in between
the Keplerian (point mass) and harmonic (homogeneous sphere) cases, which are
the only spherical potentials giving bound trajectories that are closed (fixed, non-
precessing). This statement is, basically, the thesis of the Bertrand’s theorem [3],
whose demonstration is rather complicated and beyond the scopes of this book.
Anyway, we will present in Chap. 4 an Exercise (4.14) whose solution constitutes a
partial demonstration of the theorem.
A direct consequence of the Bertrand’s theorem is that in any realistic model of
stationary, stable, spherical self-gravitating system (but the 2 cases above mentioned)
the bound orbits are precessing. It may be useful, so, to study a bit better some
spherical distributions that are intermediate between the two extreme cases of point-
mass and uniform density. Two relevant examples are the so called Plummer’s and
isochrone potentials.
The Plummer (or Schuster, see [4]) sphere is an unbound spherical distribution of
matter whose density law is
ρ0
ρ(r ) = , (3.34)
r 2 25
1+
b
1 Globular clusters are star clusters satellites of our Milky Way, composed by 105 − 107 stars
distributed in a nearly spherical volume of diametral size ∼100 pc.
82 3 Central Force Fields
r r/b
r 2 dr x2 dx
M(r ) = 4πρ0 = 4πρ0 b3 25 . (3.35)
r 2 25
1 + x2
0 1+ 0
b
x
Adopting u = x and dv = 25 d x in the usual formula of integration by
1 + x2
parts, we have
⎧ ⎫
⎨ 1 x
r/b
1
r/b
d x ⎬
M(r ) = 4πρ0 b3 − + . (3.36)
⎩ 3 (1 + x 2 ) 23 0 3 (1 + x 2 ) 2 ⎭
3
By integration by parts of the second integral in the r.h.s of Eq. 3.37 we have
Finally
⎛ ⎞
⎜ 1 ⎟
⎜ r/b 1 r/b ⎟
M(r ) = 4πρ0 b3 ⎜− + r 2 ⎟ =
⎝ 3 r 2 23 3 ⎠
1+ 1+
b b (3.39)
4 (r/b) 3
4
= πρ0 b3 =⇒ Mtot = lim M(r ) = πρ0 b3 .
3
r 2 2
3
r →∞ 3
1+
b
3.4 Some Relevant Spherical Models 83
which, at first order in r/b, behaves as the force in a homogeneous sphere for r/b 1
and has Keplerian behaviour at large distances from the center.
The potential in the Plummer model is easily obtained as
G Mtot
U (r ) = . (3.41)
1 + (r/b)2
Let us note that the above potential constitutes a “mollification” of the point mass
potential where the mollification length scale (called also softening scale) is b. The
substitution of the purely Keplerian interaction with this softened one avoids the UV
divergence but of course does not preserve the overall Newtonian behaviour of the
system. Some further comments at this regard are found in Appendix B.
The potential energy of this distribution of matter is obtainable, for instance, by
Eq. 2.67, as follows
∞ 2
1 1 G M(r )
Ω=− |∇U | d r = −
2 3
4πr 2 dr =
8π G R3 8π G r2
0
∞ r ∞ (3.42)
1 2
G Mtot (r/b) 4 2
1 G Mtot x4
=−
r 2 3 d = − 3 d x.
2 b b 2 b 1 + x2
0 [1 + 0
b
The improper integral above converges because for x 1 the integrand scales
x
as 1/x 2 . Also this integral is solved by parts, letting u = x 3 and dv = 3 ,
1 + x2
leading to
∞ ∞ ∞ ∞
x4 1 x3 3 x2 3 x2
3 d x = − + 2 d x = 2 d x.
1 + x2 4 1 + x2 2 4 1 + x2 4 1 + x2
0 0 0 0
(3.43)
A further integration by parts of the integral in the rightmost hand side of Eq. 3.43
gives
84 3 Central Force Fields
∞ ∞ ∞ ∞
x2 1 x 1 dx 1 dx
2 d x = − + = , (3.44)
1+x 2 2 1 + x2 0 2 1+x 2 2 1 + x2
0 0 0
so that, finally
∞ ∞
x4 3 dx 3 3π
3 d x = = [arctan x]∞
0 = , (3.45)
1 + x2 8 1+x 2 8 16
0 0
Another potential which, like the Plummer’s, satisfies the condition of being nearly
harmonic in the central region and falling off as Keplerian at large distances from
the center is the isochrone potential. The name derives from that it is the most
general potential that makes the radial oscillation period independent of the angular
momentum. Actually, the potential is
GM GM 1
U (r ) = √ = , (3.47)
b+ b +r
2 2 b
1+ 1+ r 2
b
where b is a length scale, one of the 2 free parameters of the model (the other is the
total mass M). The corresponding force per unit mass is
dU GM r/b
F= er = − 2 er , (3.48)
dr b
r 2
2
r 2
1+ 1+ b
1+ b
dU − GbM 1 r
1,
= (r/b)2
2 b
(3.49)
dr − 4 b2 b
1 GM r r
b
1.
Using Poisson’s equation, it is easily seen that the density distribution which
generates the potential (3.47) is
3M (t + 1)t 2 − 13 x 2 (3t + 1)
ρ(r ) = , (3.50)
4π b3 (t + 1)3 t 3
3.4 Some Relevant Spherical Models 85
√
where x ≡ r/b and t = t (x) ≡ 1 + x 2 .
The above expression gives a finite central density ρ(0) = 3M/(16π b3 ).
Note that the asymptotic behaviours (for small and large distances from the center)
of the density is
⎧
⎪
⎨ρ(0)(1 − 12 x ), x 1,
5 2
⎪
ρ(x) ≈ (3.51)
⎪
⎪
⎩ 4πb
3M 1
, x 1.
(1+x 2 )5/2
3
2 A constant of motion is a function of phase-space coordinates and time that remains constant along
every trajectory of motion; an integral of motion is a particular constant of motion that depends
only upon phase-space coordinates and not upon time.
86 3 Central Force Fields
1 2 1 1 L2
E= (ṙ + r 2 θ̇ 2 ) + V (r ) = ṙ 2 + + V (r ), (3.54)
2 2 2 r2
so that the for the motion to be real the requirement is
1 2 1 L2
ṙ = E − − V (r ) = E − Ve f f (r ; L) ≥ 0, (3.55)
2 2 r2
i.e. E ≥ Ve f f (r ; L), which is a limitation for the physical space allowed to the motion
of the particle of given energy and angular momentum. The function Ve f f (r ; L) is
2
the effective potential energy, Ve f f (r ; L) ≡ −Ue f f (r ; L) = 21 Lr 2 − U (r ).
The Keplerian, point mass, potential is the simplest to approach and so it is the
archetype of the qualitative analysis of motion. Whenever the test particle mass, m,
is much smaller than the other mass, M, i.e. m M, the problem is, in practice, a
one body problem, because the barycenter almost coincides with the position of the
massive particle. In any case, also if m/M is not much smaller than 1, qualitative
considerations hold for the relative motion, i.e. that of one of the 2 bodies around the
other.
The effective potential energy is
1 L2 GM
Ve f f (r ; L) = 2
− , (3.56)
2r r
so that the motion is possible whenever the test particle energy is E ≥ Ve f f,min .
In the case of L 2 = 0, the motion is possible (and radial) for every energy E,
because lim+ Ve f f (r ; 0) = −∞, while for L 2 > 0, Ve f f (r ; L) takes its minimum
r →0
2
value, Ve f f,min = − 21 ( GLM )2 , at rmin = GLM .
Clearly, the function Ve f f (r ; L) is continuous for every r but the origin, which is
singular for both L 2 = 0, where Ve f f diverges to −∞, and L 2 > 0 where it diverges
positively (centrifugal barrier).
For the sake of clarity we can distinguish the non-radial case (L 2 > 0) from the
radial one (L 2 = 0).
Case L 2 > 0 Qualitatively speaking, this case corresponds to the two example
curves in Fig. 3.3 where arbitrary units are chosen. The upper curve corresponds to
a value of L 2 twice of the other curve. The stationary values of r (t) are solutions of
the equation ṙ = 0, which writes as
3.5 Quality of Motion 87
1 L2 GM
E − Ve f f (r ; L) = E − + = 0, (3.57)
2 r2 r
that is the quadratic equation
1 2
Er 2 + G Mr − L = 0, (3.58)
2
whose solutions
−G M ± (G M)2 + 2E L 2
r1,2 = , (3.59)
2E
are
In the case of a homogeneous sphere of mass density ρ0 , we have (see Eq. 3.25)
⎧
⎪
⎪ 1 L2 1 2
⎪
⎪ + 2π Gρ0 r − R 2 , if r ≤ R,
⎨ 2 r2 3
Ve f f = (3.60)
⎪
⎪
⎪
⎪ 1 L 2
4 R 3
⎩ − π Gρ0 , if r > R.
2 r2 3 r
We can distinguish the non-radial case (L 2 > 0) from the radial one (L 2 = 0).
88 3 Central Force Fields
tionary point is r2 .
Actually, r1 and r2 are minima for Ve f f (r ; L), because
16π
Vef f (r1 ; L) = Gρ0 > 0, (3.65)
3
and
4
4π R3
Vef f (r2 ; L) = Gρ0 3/2 > 0. (3.66)
3 L
Moreover
4π
Ve f f (r1 ; L) = L c (R) Gρ0 − 2π Gρ0 R 2 , (3.67)
3
In conclusion, for any value of L a radially periodic motion is possible only for
E < 0.
It is worth noting that for |L| < L c (R) the trajectories always penetrate the sphere
(r− < R, ∀E), while for |L| > L c (R) it is r+ > R, ∀E. √
Radially limited orbits all external to the sphere require |L| > 2L c (R).
90 3 Central Force Fields
Summarizing:
Note that case (d) is that of a particle faster than escape velocity (unbound), because
E ≥ 0 corresponds to
1 2 1
(ṙ + r 2 θ̇ 2 ) = v 2 ≥ U (r ) ⇐⇒ v ≥ 2U (r ) ≡ vesc (r ). (3.68)
2 2
The pericenter, r− (E, L), and apocenter, r+ (E, L), distances are stationary points
for r (t) and, so, are the roots of the equation
$ %
ṙ 2 = 2 E − Ve f f (r ; L) = 0. (3.69)
We leave to the reader the discussion of the existence of those roots and their depen-
dence upon E and L.
Case L 2 = 0 This case corresponds to r ṙ ∀t, that is a radial motion. If L 2 =
0, Ve f f (r ; L) = V (r ) and, in the specific case of a homogeneous sphere, V (0) =
−2π Gρ0 R 2 < 0 and V (r ) = 0 both for r = 0 and r → ∞, moreover
⎧
⎪
⎪ 4
⎨ π Gρ0 > 0, r≤R
3
V (r ) = 3 (3.70)
⎪ 8
⎪ − π Gρ0
R
< 0, r > R.
⎩
3 r
Expressions above say that the minimum is attained in r = 0 which is a stable equi-
librium point.
The qualitative characteristics of the L 2 = 0 motion are summarized as:
It is worth noting that the case L 2 = 0 has as solution r (t) that of the 3D harmonic
oscillator for E ≤ V (R) (the whole oscillation is within the sphere) or of a harmonic
oscillation for r ≤ R matched to a Keplerian motion for r > R for E > V (R).
Actually, the equation of motion reduces to
3.5 Quality of Motion 91
⎧
⎪ 4
dU ⎨ − π Gρ0 r, r ≤ R,
r̈ = = 3 3 (3.71)
dr ⎪
⎩ − 4 π Gρ0 R , r > R.
3 r2
Note
In the homogeneous sphere potential, which is Keplerian out of the sphere
boundary R, as we saw the condition√for a particle to be unbound is E ≥ 0
which is equivalent to v ≥ vesc (r ) ≡ 2U (r ). On this purely classical basis,
John Michell in 1783 deduced that a sufficiently massive planet could have
been completely dark because even light would have not been fast enough to
escape the gravitational attraction.
Under the hypothesis of uniform mass density, ρ0 , the condition for the
planet
to be dark would be that the escape speed at its surface vesc (R) = R 8π 3
Gρ0
is greater than the speed of light in vacuum, c. This means, for a planet with
the average density of the Earth (5.51 g cm−3 ), to have a radius R ≥ 1.7 × 108
km 243R 1.13 AU! Although interesting, this implicit deduction of the
existence of an event horizon is physically flawed, because it bases on the wrong
assumption that the light behaves as “particles” with a non zero finite mass, so
to allow writing their mechanical energy per unit mass in the usual way.
Exercise 3.4 Compute, for L 2 = 0, the pericenter and apocenter distances for oscil-
lation within the homogeneous sphere.
Solution
ṙ = 0 ⇐⇒E − Ve f f (r ) = 0, i.e.
r2
E − 2π Gρ0 − R2 = 0,
3
2 E
− π Gρ0 r 2 + E + 2π Gρ0 R 2 = 0 =⇒ r+ = 3R 2 + .
3 (2/3)π Gρ0
As expected, there is only one solution acceptable for the quadratic equation (positive
determination of the square root). The pericenter r− = 0 is not a point where the time
derivative of r (t) vanishes: at the time t of origin crossing, the function r (t) is indeed
not differentiable.
As seen above, in a spherical potential, once given the (constant) values of E and
L the motion is allowed in the radial region where E ≤ Ve f f (r ; L). In particular,
the solutions for r of the equation E = Ve f f (r ; L) give the radial stationary points
92 3 Central Force Fields
Fig. 3.4 Behaviour of Ve f f (r ; L) vs radius in the 2 regimes of low (upper panel) and high (lower
panel) specific orbital angular momenta, in a homogeneous sphere. In both panels, horizontal and
vertical solid lines refer to zero energy and to the sphere radius location, respectively. In the upper
panel the straight lines at decreasing energies corresponds to cases of: (i) oscillation through the
sphere boundary (dotted line); (ii) oscillations touching internally the sphere boundary (short dashed
line); (iii) oscillations all within the sphere (long dashed line)
r+ √ r+
dr 2 dr
Tr (E, L) = 2 = √ =
2(E − Ve f f ) |Ve f f (ξ± ; L)| |r − r± |
r− r−
√ √ (3.75)
x+
2 dx 2 2
= √ = |r+ − r− |.
|Ve f f (ξ± ; L)| |x| |Ve f f (ξ± ; L)|
x−
Case (ii)
Let us consider Vef f (r− ; L) = 0 (the case Vef f (r+ ; L) = 0 is equivalent). Figure 3.5
(where r− corresponds to the local maximum) displays an example of such a situation,
whose gravitational significance is discussed in the following Note box.
The lowest order approximation is, in this case
1
Ve f f (r ; L) = Ve f f (r− ; L) + Vef f (η− ; L)(r − r− )2 ,
2
1 1 1 1
= = ,
2(E − Ve f f ) −Vef f (η− ; L)(r − r− )2 |Vef f (η− ; L)| r − r−
94 3 Central Force Fields
so that
r+
2 dr
Tr (E, L) = , (3.76)
|Vef f (η− ; L)| r r − r−
−
L 2 = G M(r )r.
The above equation has a unique solution, for any chosen value of L 2 , because
the function M(r )r is a continuous increasing function of r which is zero in
the origin and diverges at infinite. This means that, for any given value of the
angular momentum, there is only one circular orbit, which is characterized,
indeed, by Vef f (r ; L) = 0.
3.6 Periods of Oscillations 95
In this case, U (r ) = G M/r where M is the mass of the point generating the field,
so that the period of radial oscillations writes as
r+ √
r+
dr r dr
Tr = 2 = 2 . (3.77)
1L 2
GM Er 2 − 21 L 2 + G Mr
r− 2 E− 2
+ r−
2r r
• Ve f f,min (L) ≤ E < 0: the Eq. 3.78 has two real (the radicand is ≥ 0) and distinct
(because Ve f f,min (L) ≤ E) solutions
L2
−G M ∓ G 2 M 2 + 2E 2
r± = m , (3.79)
2E
with r− < r+ < ∞, taking sign + for r− and − for r+ in Eq. 3.79. The circular
orbit (r− = r+ ) corresponds to E = Ve f f,min .
2
• E = 0: Eq. 3.78 reduces to a linear equation, with r− = 21 GLM as root. Conse-
quently, the motion is unbound, r+ → ∞. Note that lim |ṙ | = 0, that means that
r →∞
the particle of zero energy in the Keplerian field reaches an infinite distance from
the origin in an infinite time with eventual zero speed.
The integral in Equation 3.77 can be rewritten as follows, after letting a ≡ E < 0,
b ≡ G M > 0 and c ≡ − 21 L 2 < 0
√
r+
r dr
Tr = 2 √ , (3.80)
ar + br + c
2
r−
√
and can be solved by parts, with the choices u = r and dv = dr/ ar 2 + br + c, so
to have
96 3 Central Force Fields
⎧ ⎫
r+
√ ⎨ r 2ar + b r+ 1 2ar + b ⎬
Tr = 2 −√ arcsin √ +√ arcsin √ dr .
⎩ −a Δ r− −a Δ ⎭
r−
(3.81)
Now,
⎧ ⎫
√ t+
√ ⎨ r 2ar + b r+ Δ 1 ⎬
Tr = 2 −√ arcsin √ +√ arcsin t dt , (3.82)
⎩ −a Δ r− −a 2a ⎭
t−
where we introduced
2ar + b
t≡ √ ,
Δ
2ar− + b 2ar+ + b
which implies t− = √ and t+ = √ .
' Δ Δ
The integral arcsin t dt is, also, solvable by parts (u = arcsin t and dv = dt)
obtaining
arcsin t dt = t arcsin t + 1 − t 2 ,
to give, finally
√ √ r+
√ 1 Δ 1 Δ
Tr = 2 − √ arcsin t r − t + √ 1 − t2 =
−a 2a 2a −a
r−
√ 1 b 1 b
= 2 −√ arcsin(−1) − +√ arcsin(1) − = (3.83)
−a 2a −a 2a
√ √
√ 1 b π 2 b 2 GM
= 2 2√ − = π = π .
−a 2a 2 2 (−a) 23 2 (−E) 23
In any spatially limited spherical distribution of density (ρ(r ) > 0 for r ≤ R) the
possible cases, in dependence on E and L, are:
(i) r− < r+ ≤ R,
(ii) r− < R ≤ r+ ,
(iii) R ≤ r− < r+ .
In the case of uniform density (ρ(r ) = ρ0 for r ≤ R), case (iii) occurs, for r+ <
8
+∞, only if L 2 ≥ π Gρ0 R 4 .
3
In the 3 cases we have:
r+
dr
(i) Tr = 2 ,
r−
2(E − Veint
ff)
R r+
dr dr
(ii) Tr = 2 + , (3.84)
r−
2(E − Veint
ff) R
2(E − Veext
ff)
r+
dr
(iii) Tr = 2 ,
r−
2(E − Veext
ff)
√
r+
r dr
Tr = 2 √ , (3.85)
Ar 4 + Br 2 + C
r−
with ⎧
⎪
⎪
2
⎪ A = − π Gρ0 < 0,
⎨ 3
B = E + 2π Gρ0 R 2 ≥ 0,
⎪
⎪
⎪ 1
⎩ C = − L 2 ≤ 0.
2
98 3 Central Force Fields
4π
Note that B ≥ 0 because, to have motion, E ≥ Ve f f (r1 ; L) = L Gρ0 − 2π Gρ0 R 2 ,
3
and, consequently, B ≥ L 4π 3
Gρ0 > 0.
The integral in Eq. 3.85 is an elliptic integral.4
If L 2 = 0 (purely radial motion) the integral simplifies, because L 2 = 0 ⇒ C = 0,
and it reduces to
√ r+
√
r+
dr 2 dr
Tr = 2 √ =√ =
Ar + B
2 B A
0 0 1 + r2
B (3.86)
√ y+ √
2 − BA dy 2 y
=√ =√ [arcsin y]0+ ,
B 1 − y2 −A
0
after setting − BA r 2 = y 2 so as y = − BA r .
From Exercise 3.4, it is y+ = 1, whence
√
2 π 1
Tr = [arcsin y]10 = · (3.87)
2 2 π
π Gρ0 Gρ0
3 3
Note
The above result could have also been obtained taking into account that in
a homogeneous sphere when L = 0 the motion is radial and harmonic with
π
pulsation ω2 = 43 π Gρ0 which gives the motion period T = 2π)
ω
= ·
π
Gρ0
3
By its definition, the radial period is Tr = T /2.
Let us now consider the generic L 2 > 0 case. In this case we have
√ r+2 √ x+
2 dr 2 2 dx
Tr = √ = √ , (3.88)
2 Ar 4 + Br 2 + C 2 Ax 2 + Bx + C
r−2 x−
'x √
4 An “elliptic integral” is any function f (x) which can be expressed as f (x) = R t, P(t) dt,
√ c
where c is a constant, R t, P(t) is a rational function of both arguments and P is a polynomial
of degree 3 or 4.
3.6 Periods of Oscillations 99
α is one of the two (real and distinct) roots of the radicand x− and x+ (x+ > x− ),
giving
√
2 1 2 Ax + B x+
Tr = − √ arcsin √ . (3.89)
2 −A Δ x−
√ √
2 2π π 1
Tr (E, L) = − √ [arcsin(−1) − arcsin(1)] = √ = π , (3.91)
2 −A 2 −A 2 3 Gρ0
which is the same results of the case L 2 = 0. This is relevant because it means that
Tr does not depend neither on E nor on L, so it corresponds to a fully isochrone
radial oscillation. Actually, the oscillation period depends only upon ρ0 , other than
(as obvious) upon G. This characteristic reminds the small oscillations of a sim-
ple pendulum whose period does not depend on the initial conditions (and so on
the energy and angular momentum) but just on the length of the wire and on the
gravitational acceleration.
Exercise 3.5 In the case of a homogeneous sphere, calculate Tr for orbits such that
r− < R ≤ r+ (case (ii) in Eq. 3.84).
Solution
Left to the reader.
A Plummer sphere of mass M and scale radius b gives the potential (see Eq. 3.41)
GM
U (r ) = √ , (3.92)
r 2 + b2
GM 1 L2
Ve f f (r ; L) = − √ + , (3.93)
r 2 + b2 2 r2
100 3 Central Force Fields
where, as usual, r− and r+ are the pericenter and apocenter distances. In general
cases for E and L, neither the integral Eq. 3.94 nor the equation E − Ve f f (r ; L) = 0
can be explicitly solved, requiring a numerical approach. Given this, we limit here to
the study of the case of small amplitude oscillations of radial orbits (L = 0) around
the sphere center, i.e. the case of low
energies, E −G M/b. For L = 0, and for
GM 2
any E, we have r− = 0 and r+ = b bE
− 1, and
√
r+
dr
Tr = 2 , (3.95)
0
E+ √G M
r 2 +b2
where
⎧
⎪ A = 1,
⎨
B = 4b2 (Eb+G
GM
M)
, (3.97)
⎪
⎩ C = 3G M(2Eb+G M) .
32b4 (Eb+G M)2
where b is a length scale, one of the 2 free parameters of the model (the other is the
total mass M).
The radial period of bound oscillations (E < 0) is
√
r+
dr
Tr = 2 . (3.101)
1 L2
r− E− 2 r2
+ GM
b
1
1+ 1+( br )
2
it results
s−1
dr = b √ ds,
s(s − 2)
√ s+
(s − 1)ds
Tr = 2b , (3.102)
GM GM 1 L2
s− Es 2 − 2E − s−2 −
b b 2 b2
so that, indicating with s− and s+ (s− < s+ ) the two roots of the denominator, it can
be rewritten as
s+
2 (s − 1) 2 1
Tr = b √ ds = π b −1 + (s− + s+ ) .
−E (s − s− )(s+ − s) −E 2
s−
(3.103)
102 3 Central Force Fields
As it is easily seen
1 GM
(s− + s+ ) = 1 − ,
2 2bE
and finally
√
2 GM
Tr = π . (3.104)
2 (−E) 32
Note that this result (independent of both b and L) is the same as for the Keplerian
potential of a mass M.
As for the radial period, we can define an azimuthal period as the (constant) time
needed to make a revolution around the origin, i.e. the time needed to increase of 2π
the angular coordinate, θ , on the motion plane. Formally, Tθ is given by
t (θ+2π)
θ+2π
θ+2π
r (θ+2π)
r (θ+2π)
dθ 1 1 2 dθ dr
Tθ = dt = = r dθ =
2
r dr = ,
θ̇ L L dr ṙ
t (θ) θ θ r (θ) r (θ)
(3.105)
where we made use of the angular momentum conservation, L = r 2 θ̇ = const.
To evaluate Tθ , we can choose as initial θ the pericenter azimuth, for which
r (θ ) ≡ r− .
We can thus write Tθ as
r+ r(2π)
dr dr
Tθ = + , (3.106)
ṙ ṙ
r− r+
so that
+)
θ(r −)
θ(r r+
L dr
Δθ = dθ + dθ = 2 , (3.107)
r 2 2[E − Ve f f (r ; L)]
θ(r− ) θ(r+ ) r−
3.7 Azimuthal Period 103
y y
r
−
r r r
− + +
x x
Fig. 3.6 A Keplerian ellipse (left panel) and a canonic ellipse (right panel). The arrow indicates
the usual direction of increasing azimuth
so that
Δθ ≥ 2π, if Tθ ≤ Tr ,
(3.108)
Δθ ≤ 2π, if Tθ ≥ Tr .
For the Keplerian case and the homogeneous sphere, Tr = Tθ and Tr = Tθ /2,
respectively (Fig. 3.6).
From what we said above, a planar motion in an external radial force field may
be radially periodic and/or azimuthally periodic, and this happens when exists a
constant time, Tr , such that r (t + Tr ) = r (t) and another constant of time, Tθ , such
that θ (t + Tθ ) = θ (t), for every t.
Obviously, the full (or simple) periodicity corresponds to the existence of a single
constant of time T for which r(t + T ) = r(t), for every t. In a planar motion this is
equivalent to r (t + T ) = r (t) and θ (t + T ) = θ (t).
It is easy to see that if Tr and Tθ are commensurable, i.e. their ratio is a rational
number, Tθ /Tr = l/m where l and m are positive integers, the motion is periodic
and the period is T = lTr = mTθ .
Let us show, indeed, that, upon the above hypotheses, r (t + T ) = r (t) and θ (t +
T ) = θ (t), ∀t. Actually, if Tr is the radial period, i.e. r (t + Tr ) = r (t), then r (t +
T ) = r (t + lTr ) = r (t + (l − 1)Tr + Tr ) = r (t + (l − 1)Tr ) = r (t + (l − 2)Tr +
Tr ) = r (t + (l − 3)Tr ) = ... = r (t + (l − l + 1)Tr + Tr ) = r (t + Tr ) = r (t).
By the same token it can be shown that θ (t + T ) = θ (t + mTθ ) = θ (t) and so
the periodicity is proven.
104 3 Central Force Fields
In a central force field (per unit mass) whose equiforce surfaces are spherical, F =
f (r )er , the spherical polar equations of motions are
ar = r̈ − r θ˙2 er = f (r ) er ,
(3.109)
aθ = r θ̈ + 2ṙ θ̇ eθ = 0.
As we saw in Sect. 3.2, integration of the second of the equations above leads to
L z = r 2 θ̇ = const., so that we can eliminate θ̇ in the first equation.
Actually, letting again L = L z ,
dr dr L
ṙ = θ̇ = , (3.110)
dθ dθ r 2
and
d θ̇ L d L L 2 dr
θ̈ = = 2 = −2 , (3.111)
dt r dθ r2 r 5 dθ
implying
2 2
d dr d 2 r 2 dr L d 2r L2 dr
r̈ = θ̇ = θ̇ + θ̈ = −2 5 . (3.112)
dt dθ dθ 2 dθ r2 dθ 2 r dθ
1
Excluding radial orbits (L = 0) which cross the origin, and letting u ≡ , we have
r
2
dr 1 du d 2r 2 du 1 d 2u
=− 2 −→ = 3 − , (3.113)
dθ u dθ dθ 2 u dθ u 2 dθ 2
2
2d u
= −L u2
+ u = f (1/u).
3
(3.115)
dθ 2
d 2u 1
u2 +u =− f (1/u). (3.116)
dθ 2 L2
3.8 The Inverse Problem in a Central Force Field 105
Given the force field f (1/u) the solution of the above non-linear differential equation
in the unknown u(θ ) would give the trajectory r (θ ) = 1/u(θ ) of the body, once that
u(θ0 ) and ( du ) are provided. Both these conditions are obtained from initial (in
dθ 0
time) conditions r (0) = r0 and ṙ (0) = ṙ0 , being (with the choice θ0 as the anomaly
at time t = 0)
1 du 1 dr r˙0
u(θ0 ) = , and =− =− . (3.117)
r0 dθ 0 r02 dθ 0 L
The search of solution for r (θ ) once given f (r ) corresponds, indeed, to the direct
problem of dynamics. On the other side, supposedly known the planar trajectory
r (θ ), the search for a central force field compatible with that trajectory constitutes
the inverse problem of dynamics.
The existence and uniqueness of a solution for this inverse problem is not guaran-
teed. Under some conditions the central force field compatible with a given family
of trajectories is given by
d 2u
f (1/u) = −L 2 u 2 +u . (3.118)
dθ 2
Of course, this explicit solution is found whenever the trajectory u(θ ) is (i) twice
differentiable and (ii) the right hand side of Eq. 3.118 can be expressed as explicit
function of u (which is not always the case).
where e < 1 is the eccentricity, p the ellipse’s parameter and θ0 the angular position
of the pericenter (indeed, r− = r (θ0 ) = p/(1 + e), while r+ = r (θ0 + π ) = p/(1 −
e)). Commonly, the choice θ0 = 0 is done, which means counting θ angles starting
from the pericenter position.
For the given elliptic trajectory, it is
du e sin(θ − θ0 ) d 2u e cos(θ − θ0 )
=− =⇒ =− , (3.120)
dθ p dθ 2 p
e cos(θ − θ0 ) 1 + e cos(θ − θ0 ) 1
f (1/u) = −L 2 u 2 − + = −L 2 u 2 , (3.121)
p p p
L2 1
f (r ) = − . (3.122)
p r2
On another hand, ellipses centered in the origin have the so called “canonical” (Carte-
sian) form
x2 y2
+ = 1. (3.123)
a2 b2
In planar polar coordinates, Eq. 3.123 writes as
x = a cos θ,
(3.124)
y = b sin θ,
du 2 du
= 2u = 2(a 2 − b2 ) sin θ cos θ u 4 , (3.126)
dθ dθ
that leads, in sequence, to
du
= (a 2 − b2 ) sin θ cos θ u 3 , (3.127)
dθ
and
d 2u $ %
2
= (a 2 − b2 ) 3(a 2 − b2 )u 5 sin2 θ cos2 θ + u 3 (cos2 θ − sin2 θ ) . (3.128)
dθ
Given the above expression, Eq. 3.118 writes as
( ) * +
f (1/u) = −L 2 u 2 (a 2 − b2 ) 3u 5 (a 2 − b2 ) sin2 θ cos2 θ + u 3 (cos2 θ − sin2 θ) + u ,
(3.129)
and so, eliminating sin2 θ and cos2 θ by mean of Eq. 3.125, we finally have
3.8 The Inverse Problem in a Central Force Field 107
L2 1 L2
f (1/u) = − = − r. (3.130)
a 2 b2 u a 2 b2
1 1 b2 −bθ 1 1 b2 1
f = −L 2 2
e + = −L 2 2 + =
u r a r r r r
1 dU
= −L 2 3 b2 + 1 = .
r dr
By straightforward integration
(b2 + 1)L 2 1
U (r ) = + c,
2 r2
whence, using Poisson’s equation
1 1 d 2L
2 1
ρ(r ) = r b +1 3 =
2
4π G r 2 dr m r
1 L2 2 1 1
= b + 1 2 − 2 < 0, ∀b ∈ R.
4π G m r r
The above density is always negative, that means that the logarithmic spiral trajec-
tories are not compatible with a dissipationless Newtonian gravitational field.
The contents of this chapter are strictly related to the ones of the previous chapter.
So the relevant additional readings partly overlap, and the suggested books are
[4, 5, 8, 10, 13, 14, 16, 18, 20, 22].
Chapter 4
Potential Series Developments
n
with r ≡ xi2 .
i=1
Let us consider the generic point r ∈ Rn as ‘pole’ and define r̃ = r − r . If f =
n−1
f (r̃ ), recalling that ∇ · er = , it results
r
n−1
f (r̃ ) + f (r̃ ) = 0, (4.2)
r̃
which, in the case n = 3, writes also as
1 d 2
r̃ f (r̃ ) = 0. (4.3)
r̃ 2 d r̃
Actually, the differential equation (4.2) is solved by letting g(r̃ ) = f (r̃ ) such that
the 2nd order equation transforms into the 1st order system
⎧
⎨ f (r̃ ) = g(r̃ )
(4.4)
⎩ n−1
r̃
g(r̃ ) + g (r̃ ),
one obtains the so called fundamental solution of the Laplace’s equation (or funda-
mental harmonic)
⎧
⎪
⎪ 1
⎨ Γn (|r − r |) = −G , if n > 2,
(2 − n)|r − r |n−2
(4.6)
⎪
⎪
⎩ Γ (|r − r |) = G log |r − r |, if n = 2,
2
where C is a matter domain and the operator ∗ represents the convolution product.
In the case n = 3 we obtain the already known (see Sect. 2.5.1) expression for
the potential
ρ(r ) 3
UC (r) = G
d r, (4.8)
C |r − r |
and so
∇ · ∇UC = −2πGρ (4.10)
where nωn = σn represents the area of the unit ball whose volume measure is ωn .
Let S represent the ball centered in O and unitary radius and, on its surface, consider
the spherical triangle abc with angles at corners A, B, C (opposed to the curved sides
a, b, c obtained as intersection of the spherical surface with three planes through the
sphere center) (Fig. 4.1).
For this kind of triangle the following theorems of spherical trigonometry hold:
Theorem 4.1 (Sine theorem)
Note that Theorems 4.1 and 4.2 are the equivalent, in spherical trigonometry, of
the sine theorem and of the cosine (Carnot’s) theorem in the plane, which give,
respectively
Now, let r and r the position vectors of two arbitrary points P and Q of unit mass.
Setting G = 1, the Newtonian potential in P ≡ r as due to the presence of Q ≡ r
(and viceversa), is given by
1
Γ3 (|r − r |) = , with |r − r | = r 2 + r 2 − 2rr cos γ, (4.21)
|r − r |
after defining the angle γ = rr . Resorting to spherical polar coordinates such that
r = (r, θ, ϕ) and r = (r , θ , ϕ ), and applying the cosine Theorem 4.2 to the P P S
spherical triangle drawn on the spherical surface of radius |r | (see Fig. 4.2), it results
that
cos P P = cos rr ≡ cos γ = cos ϕ cos ϕ + sin ϕ sin ϕ cos(θ − θ ),
so to give
1 1
= f (r, θ, ϕ, r , θ , ϕ ) = =
|r − r | r + r − 2rr cos γ
2 2
1 1 (4.22)
= .
r r 2 r
+ 1 − 2 cos γ
r r
4.2 Harmonic Functions 113
S θ−θ
P’’ P’
ϕ γ
ϕ P
r’
r
r
Letting in the above relation μ ≡ and u ≡ cos γ, it writes as
r
1 1 1
= . (4.23)
|r − r | r μ2 + 1 − 2μu
Our purpose is now that of building a proper development of the above function in
series of μ.
Actually, the function (1 + x)n admits a development in series of x, such that
(i) it converges for |x| < 1, if n ≤ −1;
(ii) it converges for −1 < x ≤ 1, if −1 < n < 0;
(iii) / Z+
it converges for |x| ≤ 1, if n > 0 and n ∈
(iv) it reduces to the usual Newton’s binomial expansion, if n ∈ Z+ .
In general, the formal expression is (note the alternate change of sign)
n(n − 1) 2 n(n − 1) · · · (n − k + 1) k
(1 ± x)n = 1±nx + x ± · · · + (±1)k x +
2 k!
∞ ∞
n n
+ ······ ≡ (±x)k = (−1)k x,
k=0
k k=0
k
(4.24)
where in the above sum the sign + is chosen if k is even and − if k is odd, and
where we have introduced a double round parenthesis symbol as a generalization of
the usual binomial coefficient (which is defined when both n and k are non negative
integers, while here n is not necessarily a positive integer).
114 4 Potential Series Developments
1 − 1
= 1 + (μ2 − 2uμ) 2 (4.25)
μ2 + 1 − 2μu
k f actor s
1 3 5 1
1 − − − ··· −k
n −2 2 2 2 2
= = =
k k k(k − 1) · · · · · · · · · 2 · 1
1 3 5 2k − 1
− − − ··· −
2 2 2 2
= =
k(k − 1) · · · · · · · · · 2 · 1
1 1 · 3 · 5 · · · (2k − 1) (4.26)
= (−1)k =
2k k(k − 1) · · · · 2 · 1
1 · 3 · 5 · · · (2k − 1)
= (−1)k =
2k · 2(k − 1) · · · 4 · 2
k
(2l − 1)
k l=1
= (−1) ,
k
2l
l=1
where the final ratio is that between the product of the first k odd integers to that of
the first k even integers.
As consequence of what above, we have
1 1 1·3 2
= 1 − μ(μ − 2u) + μ (μ − 2u)2 +
μ2
+ 1 − 2μu 2 2·4
1·3·5 3 1 · 3 · · · (2k − 1) k
− μ (μ − 2u)3 + · · · + (−1)k μ (μ − 2u)k + · · · (4.27)
2·4·6 2 · 4 · · · 2k
The above series is not a simple power series but, rather, a polynomial series in μ,
convergent for
−1 < x ≡ μ(μ − 2u) ≤ 1,
4.2 Harmonic Functions 115
The coefficient of the generic μm is given by the sum of the coefficients of all the terms
μk+l , with k and l variables under the constraint k + l = m with l ≤ k according to
Table 4.1. Accordingly, the coefficient of μm is given by
n n n
V0,m + V0,m−1 + V0,m−2 + · · · · · · + =
m m−1 m−2
1 · 3 · 5 · · · (2m − 1)
= (−1)m (−1)m (2u)m +
2 · 4 · · · 2m
V0,m
1 · 3 · · · (2(m − 1) − 1) m−1 (4.30)
+ (−1)m−1 (−1)m−2 (2u)m−2 +
2 · 4 · · · 2(m − 1) 1!
V1,m−1
1 · 3 · · · (2(m − 2) − 1) (m − 2)!
+ (−1)m−2 (−1)m−4 (2u)m−4 + · · ·
2 · 4 · · · 2(m − 2) 2!(m − 4)!
V2,m−2
m
It represents the summation of + 13 alternate (in sign) terms and it is actually
2
a polynomial of degree m in the variable u, Pm (u), whose general expression comes
from the below development4
.. ..
. .
m m
if m is even
2 2
m m
if m is odd +1
2 2
∞ k
1 − 21
= μk+l Vl,k =
μ2 + 1 − 2μu k=0
k l=0
⎡ ⎤
⎢
∞ ⎥
⎢ − 21 k ⎥
= ⎢ (−1)k−l (2u)k−l ⎥ μm =
⎣ k l ⎦ (4.31)
m=0 lk
l+k=m
Vl,k
⎡ ⎤
∞
⎢ − 21 m − l m−2l m−2l ⎥ m
= ⎣ (−1)m−2l 2 u ⎦μ =
m=0
m −l l
lk
l+k=m
⎡ ⎤
m
∞ ⎢
⎢
⎥
⎥
⎢ (−1)m−l 1 · 3 · · · (2(m − l) − 1) (−1)m−2l (m − l)! 2m−2l u m−2l ⎥ μm =
2
= ⎢ ⎥
2 · 4 · · · 2(m − l) l!(m − 2l)!
m=0 ⎣ l=0 ⎦
2m−l (m−l!!
⎡ m ⎤
∞
⎢
2
1 · 3 · · · (2(m − l) − 1) X
1 1 ⎥
= ⎣ X (−1)l
2m−l (mX
−XX
l)! l u m−2l ⎦ μm =
2m−l
(mX
− l)! X 2 l!(m − 2l)!
m=0 l=0 X
⎡ m ⎤
∞
⎢
2
1 · 3 · · · (2(m − l) − 1) ⎥
= ⎣ (−1)l u m−2l ⎦ μm =
2l l! (m − 2l)!
m=0 l=0
∞
≡ Pm (u)μm ,
m=0
(4.32)
4.2 Harmonic Functions 117
where we set
[ m2 ]
1 · 3 · · · (2(m − l) − 1)
Pm (u) = (−1)l u m−2l . (4.33)
l=0
2l l! (m − 2l)!
1
μ2 + 1 − 2μu
Note
⎧m m
⎪
⎪ = , when m is even
⎨ 2 2
⎪
⎩ m = m − 1 , when m is odd
⎪
2 2
The terms in the Legendre’s polynomials are of alternating sign, and the highest
power of u has always a positive sign. Pm (u) contains only even powers of u, if m is
even, and only odd powers of u, if m is odd. This resumes as
converges for
r
μ= < 1, u = cos γ ∈ [−1, 1] ⇐⇒ γ ∈ [0, π].
r
Proof Using the known Euler’s formula
eiγ + e−iγ
u = cos γ = ,
2
it results
1 1
=
$ % $ %=
μ2 + 1 − 2μu 1 − μeiγ 1 − μe−iγ
$ %− 1 $ %− 1
= 1 − μeiγ 2 1 − μe−iγ 2 = (4.37)
∞ ∞
= αk ekiγ μk αk e−kiγ μk
k=0 k=0
Actually, Pm (u) is obtained by the sum of trigonometric terms in (4.37) with indexes
that give m as sum. For example, the second addend above come this way
2α1 αm−1 cos(m − 2)γ = α1 αm−1 eiγ e−i(m−1)γ + αm−1 α1 ei(m−1)γ e−iγ =
$ %
= α1 αm−1 eiγ(2−m) + e−iγ(2−m) =
= 2α1 αm−1 cos(2 − m)γ,
∞ ∞
− 21 1 · 3 · 5 · · · (2k − 1) k
(1 − x) =
n
(−1) k
xk = (−1)2k x .
k=0
k k=0
2 ·
4 · 6 · · · 2k
αk >0
Being all coefficients positive, Pm (u) takes its maximum value in u = cos γ = 1;
actually
[ m2 ] [ m2 ]
Pm (u) = 2αk αm−k cos(2k − m)γ ≤ 2αk αm−k = Pm (1).
k=0 k=0
Finally, let us note that, if m is even, in the expression of Pm (u) the constant term
2α2m appears, otherwise there is the term 2α m−1 2
α m+1
2
cos γ.
2
[ m2 ]
1 · 3 · · · (2(m − l) − 1) m−2l
Pm (u) = (−1)l u =
l=0
2l l! (m − 2l)!
&
m−l (4.40)
[ ] m (2k − 1)
2
k=1
= (−1)l u m−2l .
l=0
2l l! (m − 2l)!
Plots of Legendre’s polynomials up to the 5th order are shown in Fig 4.3.
Actually, Legendre’s polynomials with m = 0, . . . , 5 are explicitly given by
P0 (u) = 1,
P1 (u) = u,
1
P2 (u) = (3u 2 − 1),
2
1·3·5 3 1·3 1
P3 (u) = u − u = (5u 3 − 3u),
3! 2 2
1
P4 (u) = (35u 4 − 30u 2 + 3),
8
1
P5 (u) = (63u 5 − 70u 3 + 15u).
8
120 4 Potential Series Developments
1.5
P0
1
P1
P3
0.5 P5 P4
-0.5
P2
P0(x)
-1 P1(x)
P2(x)
P3(x)
P4(x)
-1.5
P5(x)
-2
-1 -0.5 0 0.5 1
P1 (u) = 0 ⇐⇒ u 1 = 0,
P2 (u) = 0 ⇐⇒ u 1,2 = ± 1
3
,
P3 (u) = 0 ⇐⇒ u 1 = 0, u 2,3 = ± 3
5
,
√ √
P4 (u) = 0 ⇐⇒ u 1,2 = ± 15+2 30
35
, u 3,4 = ± 15−2 30
35
,
√ √
P5 (u) = 0 ⇐⇒ u 1 = 0, u 1,2 = ± 35+2 70
63
, u 3,4 = ± 35−2 70
63
.
Remembering that for odd values of m the polynomial Pm (u) contains the linear
term in u, it results
P2k+1 (0) = 0, ∀k ∈ Z+ .
4.3 Legendre’s Polynomials 121
Note that
Pm (1) = 1,
Pm (−1) = (−1)m ,
At the same time, for |μ| < 1, it is also (as geometric series in μ)
∞
1 1
= = um , (4.42)
μ2 + 1 − 2μ 1 − μ m=0
Pm (1) = 1, (4.43)
√
converges for |μ| < 2 − 1 and for −1 < u < 1.
Solution
Left to the reader.
122 4 Potential Series Developments
by term differentiable with respect to μ and the obtained series converges to the
1
derivative (with respect to μ) of .
μ + 1 − 2μ
2
From this, it results that
∞ ∞
d 1 u−μ dμm
= 3 = Pm (u) = Pm (u)mμm−1 ,
dμ μ2 + 1 − 2uμ μ + 1 − 2uμ
2 2
m=0
dμ m=0
and to
∞ ∞
(u − μ) Pm (u)μ = (μ + 1 − 2uμ)
m 2
Pm (u)mμm−1 , (4.47)
m=0 m=0
The formal series development of the derivative with respect to u of the generating
function √ 2 1 is
μ +1−2μu
4.4 Recurrence Relations 123
∞
d 1 μ
=$ % 23 = P m (u)μm . (4.50)
du μ + 1 − 2μu
2
μ + 1 − 2μu
2
m=0
which implies
u
P m (u) du = Pm (u) − Pm (0), (4.53)
0
and so
d
P m (u) = Pm (u) ≡ Pm (u), (4.54)
du
which finally yields to
∞
d 1 μ
= 3 = Pm (u)μm . (4.55)
du μ2 + 1 − 2μu μ + 1 − 2μu)
2 2
m=0
A multiplication of both the 2nd and 3rd sides of relation Eq. 4.55 by u − μ gives
∞
(u − μ)
μ$ % 3 = (u − μ) μm Pm (u),
μ2 + 1 − 2uμ 2 m=0
( ) ∞
d 1
μ = (u − μ) μm Pm (u),
dμ μ2 + 1 − 2uμ m=0
(∞ ) ∞
d
μ μm Pm (u) = (u − μ) μm Pm (u),
dμ m=0 m=0
∞ ∞
μ mμm Pm (u) = Pm (u)(uμm − μm+1 ),
m=0 m=0
124 4 Potential Series Developments
The first and second recurrence relations Eqs. 4.49 and 4.56 lead to the differential
equation satisfied by the generic Legendre’s polynomial Pm (u).
Differentiation with respect to u of Eq. 4.49 gives
(m + 1)Pm+1 (u) − (2m + 1)Pm (u) − (2m + 1)u Pm (u) + m Pm−1
(u) = 0,
which, by eliminating Pm−1 (u) as obtained by Eq. 4.56, leads to
(m + 1))Pm+1 (u) − (2m + 1)Pm (u) − (2m + 1)u Pm (u) + m(u Pm (u) − m Pm (u) = 0.
−m m2
m Pm (u) + u Pm−1 (u) [m − 1 − 2(m − 1) − 1] −Pm−1 (u) [2(m − 1) + 1 + (m − 1)2 ] = 0,
which reduces to
Pm (u) − u Pm−1
(u) − m Pm−1 (u) = 0, (4.57)
which, by elimination of Pm−1 (u) by mean of (4.56), becomes
d
[(1 − u 2 )Pm (u)] + m Pm (u) + mu Pm (u) − m Pm−1
(u) = 0, (4.59)
du
which, after a further elimination of Pm−1 (u) with (4.56), leads to the 2nd order
Legendre’s differential equation
4.5 The Legendre’s Differential Equation 125
d
[(1 − u 2 )Pm (u)] + m(m + 1)Pm (u) = 0. (4.60)
du
A third recurrence relation can be obtained by relating Pm (u), Pm−2 (u), and Pm−1 (u)
by mean of (4.56) and (4.57) (the reader is suggested to verify it, as exercise)
Let I = [−1, 1] ⊂ R be a closed interval, and Pm (u), Pn (u) two Legendre’s polyno-
mials of arbitrary degrees m and n.
Theorem 4.4 The polynomials Pm (u) and Pn (u) are orthogonal in the interval I .
More specifically, it results
1
2
(Pm (u), Pn (u)) ≡ Pm (u) Pn (u) du = δmn , (4.62)
2m + 1
−1
where
0, m = n
δmn = (4.63)
1, m = n
Proof Let us consider first m = n. Polynomials Pm (u) and Pn (u) satisfy the Legen-
dre’s equation (4.60), i.e.
d
[(1 − u 2 )Pm (u)] + m(m + 1)Pm (u) = 0, (4.64)
du
d
[(1 − u 2 )Pn (u)] + n(n + 1)Pn (u) = 0, (4.65)
du
d * +
(1 − u 2 ) Pm (u)Pn (u) − Pn (u)Pm (u) =
du (4.66)
= [m(m + 1) − n(n + 1)] Pm (u)Pn (u).
126 4 Potential Series Developments
Note that the left hand side of the equation above is obtained by simple operations,
as follows
d d
[(1 − u 2 )Pm (u)] − Pm (u) [(1 − u 2 )Pn (u)] =
Pn (u)
du du
d d
= [(1 − u )Pm (u)Pn (u)] −
2
[(1 − u 2 )Pn (u)Pm (u)] = (4.67)
du du
d * +
= (1 − u 2 ) Pm Pn (u) − Pn Pm (u) .
du
Integrating with respect to u between −1 and 1 both sides of Eq. 4.66 it results
1
1
(1 − u 2
)(Pm Pn − Pn Pm ) −1 = [m(m + 1) − n(n + 1)] Pm (u)Pn (u) du,
−1
(4.68)
where the lhs is, clearly, zero, because Pm (u), Pn (u) ∈ C∞ ([−1, 1]). It then follows
that
1
Pm (u)Pn (u) du = 0,
−1
as we wanted to show. Let us now treat the case m = n. Consider the generating
function of Pm (u) and square both sides of the series development, to obtain
( ∞
)2 ∞ ∞
1
= Pm (u)μ m
= Pm (u)μm Pn (u)μn =
μ2 + 1 − 2uμ m=0 m=0 n=0
(4.69)
∞ ∞
= Pm (u)Pn (u)μm μn ,
m=0 n=0
1
⎛ 1
⎞
∞ ∞
1 ⎝
du = Pm (u)Pn (u) du ⎠ μm+n . (4.70)
μ2 + 1 − 2uμ m=0 n=0
−1 −1
The integrals at rhs are all zeros for n = m, as we saw above, so we set n = m
obtaining5
5 Using the developments of log(1 + μ) and log(1 − μ), valid for |μ| ≤ 1.
4.6 Orthogonality of Legendre’s Polynomials Pm (u) 127
∞ ∞
1 (1 − μ)2 1 1+μ 1 μ2m+1 μ2m
− log = log = 2 = 2 =
2μ (1 + μ)2 μ 1−μ μ m=0 2m + 1 m=0
2m + 1
∞ 1 (4.71)
= μ2m Pm2 (u) du
m=0 −1
1
2
Pm2 (u) du = .
2m + 1
−1
2
(Pm (u), Pn (u)) = δmn . (4.72)
2m + 1
Consider a function f (u) defined over the real interval [−1, 1]. It can be developed
* + in
series
2 of Legendre’s
3 polynomials adopting the orthonormal function base P m (u) =
2m + 1
Pm (u) , if f (u) satisfies the following Dirichlet conditions:
2
a. f (u) ∈ C 0 ([−1, 1]) except for a finite number of discontinuity points;
b. f (u) has a finite number of minima and maxima in the [–1, 1] interval.
Upon the above constraints, as further sufficient but not necessary condition, the
series
∞
( f, P m )P m (u), (4.73)
m=0
128 4 Potential Series Developments
converges to:
(i) f (u), if f is continuous in u;
f (u + 0) + f (u − 0)
(ii) to , if u is one of the points in the finite set of discontinuity
2
points for f (u).6
The series is written as
∞
f (u) = cm P m (u),
m=0
with
1
$ %
cm = f, P m (u) = f (u) P m (u) du. (4.74)
−1
Indeed, if the series converges to f (u) and it is integrable term by term, it follows
1 ∞ 1
$ %
f, P n = f (u) P n (u) du = cm P m (u)P n (u) du = cn ,
−1 m=0 −1
1 1
cm = f (u) P m (u) du = P m (u) du =
−1 0
1
2m + 1 1
= Pm+1 (u) − Pm−1 (u) du =
2 2m + 1
0
2m + 1 1
= Pm+1 (1) − Pm+1 (0) − Pm−1 (1) + Pm−1 (0) =
2 2m + 1
2m + 1 1
= 1 − Pm+1 (0) −
1 + Pm−1 (0) =
2 2m + 1
f(x+0)+f(x−0)
2
−1
1
2m + 1 1
= Pm−1 (0) − Pm+1 (0) ,
2 2m + 1
where we used the relation Eq. 4.61 and that Pk (1) = 1, ∀k.
We have, finally
⎧ √2
⎪
⎪
⎪ 2 , if m = 0
⎪
⎪
⎪
⎪
⎨ 0, if m is even
cm =
⎪
⎪ 4 5
⎪
⎪
⎪
⎪ m−1 1 · 3 · · · (m − 2) m+1 1 · 3···m
⎪
⎩
2m+1 1
2 2m+1 (−1) 2
m−1
− (−1) 2
m+1
, if m is odd
2 2 ( m−1
2 )! 2 2 ( m+1
2 )!
Proposition 1 Let Pm (u) the generic Legendre’s polynomial. We show that it can
be expressed as
1 dm $ 2 %m
Pm (u) = m m
u −1 , (4.75)
2 m! du
which constitutes the Rodrigues’ formula.
Proof
&
m−l
m (2k − 1)
2
k=1
Pm (u) = (−1)l l u m−2l =
2 l! (m − 2l)!
l=0
1 · 3 · · · (2m − 1) m 1 · 3 · · · (2m − 3) m−2 1 · 3 · · · (2m − 5) m−4
= u − u + u − ··· =
m! 2(m − 2)! 22 2 (m − 4)!
130 4 Potential Series Developments
1 · 3 · · · (2m − 1) m m!
= u − u m−2 +
m! 2(m − 2)!(2m − 1)
m!
+ 2 u m−4 − · · · =
2 2(m − 4)!(2m − 1)(2m − 3)
6 7
1 &
m
m(m − 1) m−2 m(m − 1)(m − 2)(m − 3) m−4
= (2k − 1) u m − u + u − · · · .
m! 2(2m − 1) 22 2(2m − 1)(2m − 3)
k=1
By m subsequent integrations over the limits 0 and u of Pm (u) and of the finite
product here above it results
Pm (u) d m u ≡ du du · · · du Pm (u) =
m times
6
1 &
m
u 2m
= (2k − 1)
m! (m + 1)(m + 2) · · · 2m
k=1
m(m − 1) u 2m−2
− +
2(2m − 1) (m − 2 + 1)(m − 2 + 2) · · · (2m − 2)
7
m(m − 1)(m − 2)(m − 3) u 2m−4
+ − · · · =
22 2(2m − 1)(2m − 3) (m − 3)(m − 2) · · · (2m − 4)
6
1 &
m
(2m)! u 2m−2
= (2k − 1) u 2m − +
(2m)! k=1 2(2m − 1) (2m − 2)!
7
(2m)! u 2m−4
+ 2 − ··· =
2 2(2m − 1)(2m − 3) (2m − 4)!
6 7
1 &
m
m(m − 1) 2m−4
= (2k − 1) u 2m − mu 2m−2 + u − ··· =
(2m)! k=1 2
1 &
m m
l m
= (2k − 1) (−1) (u 2 )m−l =
(2m)! k=1 l=0
l
1 & $ %m 1 $ 2 %m
m
(2k − 1) u 2 − 1 = m u −1 .
(2m)! k=1 2 m!
4.8 Rodrigues’ Formula 131
Now, by m differentiations of the first left side and last right side of the above series
of relations, we eventually get the Rodrigues’ formula
1 dm $ 2 %m
Pm (u) = u −1 .
2m m! du m
dx
(u 2 − 1) = k 2mu(u 2 − 1)m = 2mux.
du
Making m + 1 differentiations of the lhs and rhs
6 7
d m+1 dx d m+1
m+1
(u 2
− 1) = 2m m+1 (ux).
du du du
m+1
d m+1 m+1
( f · g) = f (k) g (m+1−k) ,
du m+1 k=0
k
which is valid for any m + 1 times differentiable functions f (u) and g(u), we have
6 7
d m+1 dx d m+2 x d m+1 x m(m + 1) d m x
(u 2 − 1) = (u 2 − 1) + (m + 1) 2u m+1 + 2 m =
du m+1 du du m+2 du 2 du
d m+1 x dm x
= 2mu m+1
+ 2m(m + 1) m ,
du du
which reduces to
d m+2 x d m+1 x dm x
(u 2 − 1) + 2u − m(m + 1) = 0. (4.76)
du m+2 du m+1 du m
132 4 Potential Series Developments
d 2 ym dym
(u 2 − 1) + 2u − m(m + 1)ym = 0,
du 2 du
and, collecting terms, finally
6 7
d2 dym
(u − 1)
2
− m(m + 1)ym = 0.
du 2 du
1
The proof that k = if ym (1) = 1 is left to the reader.
2m m!
Exercise 4.4 Using the Rodrigues’ formula, show that Pm (u) has m real and distinct
zeroes in the (−1, 1) interval. Show also that, by application of Rolle’s theorem, it
results that
a. the zeroes of P2m (u) are symmetric with respect to the origin;
b. the zeroes of P2m+1 (u) are symmetric with respect to the origin and P2m+1 (0) = 0.
Solution
Left to the reader.
Let us remind the series development of the inverse of the Euclidean distance between
two points r ≡ (x, y, z) and r ≡ (x , y , z ) in space
∞ ∞ ∞
1 1 rm
= Pm (u)μm = Pm (u)μm ≡ Hm (x, y, z),
|r − r | r m=0 m=0
r m+1 m=0
r r · r x x + yy + zz
μ≡
, u ≡ cos γ =
= ,
r rr rr
where
4.9 Harmonic and Homogeneous Polynomials 133
r= x 2 + y2 + z2, r = x 2 + y2 + z2,
1
Because the series Eq. 4.77 converges to in a neighborhood of the origin,
|r − r |
1
the function is analytical 9 in every point r = r .
|r − r |
1
In conclusion, the function is a harmonic function which has a develop-
|r − r |
ment in terms of homogenous polynomials, equivalent to a development in power
series convergent in a neighborhood of the origin. This means that the series (4.77)
is term by term differentiable, and thus
∞
1
∇2 =0= ∇ 2 Hm (x, y, z).
|r − r | m=0
A power series cannot converge to zero in a domain containing the origin if its
coefficients are not all zero, that is
∇ 2 Hm (x, y, z) = 0, ∀m.
The above conditions imply that all the Hm polynomials are harmonic: they are called
“solid spherical harmonics”.
Table 4.2 gives the first Hm (x, y, z), with m = 0, 1, 2.
7 All (x x + yy + zz )m−2k
the addends are of the type r 2k .
' r 2m−2k+1
8 The development is of the type ai jk (x − x0 )i (y − y0 ) j (z − z 0 )k with x0 = y0 = z 0 = 0.
9 In what it has a power series development.
134 4 Potential Series Developments
m Hm (x, y, z)
1
0
r
x x + yy + zz
1
r
2
1
x (2x 2 − y 2 − z 2 ) + y (2y 2 − z 2 − x 2 ) + z (2z 2 − x 2 − y 2 )+
2 2 2
2
2r
5
+6y z yz + 6x y x y + 6x z x z
1
where ai jk are (m + 1)(m + 2) constants, as we now show. The constraint i +
2
j + k = m implies that, choosing arbitrarily j and k among their m + 1 possible
values (k + j ≤ m), i, which is always given by i = m − j − k, assumes the values
reported in the following Table 4.4.
4.9 Harmonic and Homogeneous Polynomials 135
Table 4.4 For every value of j the table reports in the other columns the allowed values of k, the
corresponding number of choices and the constrained values of i
j k Number of choices i =m− j −k
0 0, 1, . . . , m m+1 m, m − 1, . . . , 0
1 0, 1, . . . , m − 1 m m − 1, m − 2, . . . , 0
2 0, 1, . . . , m − 2 m−1 m − 2, m − 3, . . . , 0
.. .. .. ..
. . . .
From the table it is clear that the total number of choices is the sum of the val-
ues in the 3rd column, 1 + 2 + · · · + (m − 1) + m + (m + 1) that is the arithmetic
progression
a + (a + d) + (a + 2d) + · · · + (a + md),
whose sum is
m
1
(a + kd) = (m + 1)a + (m + 1)md.
k=0
2
∇ 2 Fm = Ai jk x i y j z k = 0 , i + j + k = m − 2,
i jk
where the coefficients Ai jk are linear combinations of the ai jk and are such that all the
m(m − 1) m(m − 1)
coefficients Ai jk are zeros. This implies the existence of linear
2 2
136 4 Potential Series Developments
(m + 1)(m + 2)
relations among the coefficients aik . As a conclusion, a homoge-
2
1 1
neous and harmonic polynomial of degree m has (m + 1)(m + 2) − (m − 1)m =
2 2
2m + 1 arbitrary coefficients. This statement corresponds to thesis of the following
Theorem 4.6 The number of linearly independent homogeneous and harmonic poly-
nomials of degree m is 2m + 1.
2m+1
Fm (x, y, z) = α(k) Fm(k) (x, y, z),
k=1
where the Fm(k) functions are the 2m + 1 independent homogenous and harmonic
polynomials.
r ≥ 0, 0 ≤ θ < 2π, 0 ≤ ϕ ≤ π,
where Sm (θ, ϕ) ≡ Fm (sin ϕ cos θ, sin ϕ sin θ, cos ϕ) is a homogeneous and har-
monic polynomial in the quantities sin ϕ cos θ, sin ϕ sin θ, cos ϕ, called surface
spherical harmonic. It is defined on the unitary radius sphere and is also named
Laplace’s spherical function of order m. As the solid spherical harmonics, also the
linearly independent surface spherical harmonics of order m are in number of 2m + 1.
In spherical polars, the Laplacian ∇ 2 Fm writes as
4.10 Surface Spherical Harmonics 137
1 ∂ ∂ Fm 1 ∂ 2 Fm 1 ∂ ∂ Fm
∇ 2 Fm = r2 + 2 2 + sin ϕ =
r 2 ∂r ∂r r sin ϕ ∂θ2 r 2 sin2 ϕ ∂ϕ ∂ϕ
1 ∂ 2 m−1 1 m ∂ Sm
2 1 m ∂ ∂ Sm
= 2 (r mr Sm ) + 2 2 r + 2 2 r sin ϕ =
r ∂r r sin ϕ ∂θ2 r sin ϕ ∂ϕ ∂ϕ
r m−2 ∂ 2 Sm r m−2 ∂ ∂ Sm
= m(m + 1)Sm r m−2 + + sin ϕ .
sin2 ϕ ∂θ2 sin ϕ ∂ϕ ∂ϕ
The above expression, valid for every r > 0, implies the following equation to be
satisfied by the corresponding surface harmonic Sm (θ, ϕ)
1 ∂ 2 Sm 1 ∂ ∂ Sm
(m + 1)m Sm (θ, ϕ) + + sin ϕ = 0. (4.79)
sin2 ϕ ∂θ2 sin ϕ ∂ϕ ∂ϕ
which reduces to the Legendre’s equation for Sm as function of t = cos ϕ alone (this
rm
is no surprise because Hm (x, y, z) = m+1 Pm (u), so that Pm is surface harmonic
r
of order m and a proper choice of axis allows ϕ = 0, that gives u = cos ϕ. andPm
does not depend on θ).
The Eq. (4.80) is invariant upon change of m with −(m + 1), implying that to
every solid harmonic r m Sm corresponds the harmonic r −(m+1) Sm .
We look for 2m + 1 particular solutions for the differential equation (4.80) by variable
separation
2m+1
Sm (θ, t) = α p Sm( p) (θ, t) .
p=1
10 It 1 − t2
suffices multiplying Eq. 4.81 by .
fg
11 In such case the solution writes as f (θ) = a cos √νθ + b sin √νθ.
12 cos √ν(θ + 2π) = cos √νθ cos √ν2π − sin √νθ sin = cos √νθ only if √ν is a positive or
√
negative integer (similar reasoning for sin ν(θ + 2π).
4.11 Solution of the Differential Equation for Sm (θ, ϕ) 139
(q) (q)
Sm,1 = Pm(q) cos qθ , Sm,2 = Pm(q) sin qθ . (4.86)
Clearly, the most general solution of the surface spherical harmonic equation is given
by summation of terms like the two in the rightmost side of Eq. 4.85 varying q between
0 and m (so that q and −q assume the 2m + 1 integer values = 0, ±1, ±2, . . . , ±m),
how it happens for a homogeneous and harmonic polynomial of degree m. Defining
amp = (α + β)a and bmp = (α − β)b, it results
m m
$ %
Sm (θ, ϕ) = Sm( p) (θ, ϕ) = amp Pm( p) cos pθ + bmp Pm( p) sin pθ =
p=0 p=0
(4.87)
= am0 Pm(0) + 0 + am1 Pm(1) cos θ + bm1 Pm(1) sin θ + · · · +
+ amm Pm(m) cos mθ + bmm Pm(m) sin mθ (2m + 1 terms) .
Obviously, also the single addends in the above expression are surface spherical
harmonics, individually obtained by choices of the kind
which lead to
( p)
4.12 The Solution in ϕ: Pm (cos ϕ)
The Eq. 4.83 for the generic ν = p 2 can be written, after division by 1 − t 2 = 0, as
6 7
d 2 dg p2
m(m + 1)g(t) + (1 − t ) − g(t) = 0, (4.88)
dt dt 1 − t2
that is the Legendre’s differential equation, one particular solution of which we know
to be13
( p)
If p = 0, the differential equation satisfied by Pm is called associated Legendre’s
differential equation, whose solution in terms of Legendre’s polynomial is due to
Poincarè p
p d
Pm( p) (t) = (t 2 − 1) 2 p Pm (t), p ≤ m; (4.90)
dt
and, using Rodrigues’ formula
p+m
1 p d
Pm( p) (t) = (t 2
− 1) 2 (t 2 − 1)m . (4.91)
2m m! dt p+m
( p)
The Pm (t) functions are called associated Legendre’s function of the first kind.
Let us verify that the expression (4.91) actually satisfies the Eq. (4.88).
By introducing the auxiliary function z(t) defined as
p
g(t) = (t 2 − 1) 2 z(t)
where the apex stays for derivative respect to t. On the other side, a p-times differ-
entiation of the Legendre’s equation gives
d p Pm d p+1
m(m + 1) p
+ p+1
(1 − t 2 )Pm = 0. (4.93)
dt dt
p+1
d p+1 p + 1 dk d p+1−k
(1 − t 2 )Pm = (1 − t 2 ) p+1−k Pm =
dt p+1 k dt k dt
k=0
p+1
p+1 [ p+2]
= (1 − t 2 )[k] Pm =
k
k=0
[ p+2] [ p+1] ( p + 1)! [ p]
= (1 − t 2 )Pm + ( p + 1)(−2t)Pm + (−2)Pm ,
2!( p − 1!)
[ p]
where the last equality corresponds to satisfying Eq. 4.92 with z = Pm , so that the
solution g(t) of Eq. (4.88) is indeed
p p dp
g(t) = Pm( p) (t) = (t 2 − 1) 2 Pm[ p] (t) ≡ (t 2 − 1) 2 Pm (t) .
dt p
( p)
It is also possible to verify that the set of functions Pm (t) above defined is an
orthogonal system in (−1, 1), giving
1
(m + p)! 2
(Pm( p) , Pn( p) ) = Pm( p) Pn( p) dt = (−1) p δmn ,
(m − p)! 2m − 1
−1
∀ p ≥ 0, m = p, p + 1, . . . ; n = p, p + 1, . . . (4.95)
The associated Legendre’s equation with m and p non negative integers has two
families of solutions, so that its general solution is
g(t) = c1 Pm( p) + c2 Q m
( p)
,
( p)
where Q m are called associated Legendre’s functions of the second kind
( p) p d p Qm
Qm = (−1) p (t 2 − 1) 3 .
dt p
where Q m (t) are the Legendre’s function of the second kind, i.e. the other family of
solutions, other than Pm (t), of the Legendre’s equation. Being t real and |t| ≤ 1, the
function in Eq. 4.90
p dp
Pm( p) (t) = (t 2 − 1) 2 Pm (t),
dt p
is real only for even values of p, so that it is often advantageous replace it with
( p) p dp
P m (t) = (1 − t 2 ) 2 Pm (t),
dt p
and/or (4.96)
dp p
Tm( p) (t) = (−1) p (1 − t 2 ) Pm (t),
2
dt p
142 4 Potential Series Developments
these latter real functions being called Ferrer function of the first kind (we will use
( p)
them in the following indicating them as Pm ).
∂2 f ∂2 f ∂2 f d2 f d2 f d2 f d2 f
∇2 f = + + = a 2 2 + b2 2 + c2 2 = (a 2 + b2 + c2 ) 2 ,
∂x 2 ∂y 2 ∂z 2 dt dt dt dt
d2 f
which is zero either by the trivial condition a 2 + b2 + c2 = 0 or 2 = 0, this latter
dt
meaning that f is linear in t ≡ ax + by + cz
Exercise 4.6 Given a harmonic function F(x, y, z), determine under what condi-
F
tions is also harmonic.
r
Solution
The condition is ∇ 2 Fr = 0, where
F F 1 F
∇2 =∇ ·∇ =∇ · ∇ F − 2 ∇r =
r r r r
1 1 F F
= ∇ 2 F + ∇ F · ∇ − 2 ∇ 2 r + ∇r · ∇ − 2 =
r r r r
1 F2 F
= 0 − 2 ∇ F · er − 2 − er ∇ 2 =
r r r r
1 ∂F 2 2 1
=− 2 − 3 F − er · − 3 Fer + 2 ∇ F =
r ∂r r r r
2 ∂F
=− 2 .
r ∂r
We can distinguish three cases which characterize the various locations on the unitary
sphere of the zeros of these harmonics
(i) p = 0: zonal harmonics,
(ii) 1 ≤ p ≤ m: tesseral harmonics,
(iii) p = m: sectorial harmonics.
(i) case p = 0: zonal harmonics
If p = 0, then the surface spherical harmonic Pm(0) (t) is the Legendre’s polyno-
mial in the variable t = cos ϕ, which has m distinct roots, symmetric respect to
π π
t = cos ϕ = 0 ⇐⇒ ϕ = (if m is odd also t = 0, i.e. ϕ = is a root of the poly-
2 2
nomial) (Fig. 4.5).
The roots lays, so, on parallel circles dividing the unitary sphere in zones, whence
the name of zonal harmonics. We remind that at the poles (ϕ = 0, ϕ = π) Pm (1) = 1
and Pm (−1) = (−1)m .
(ii) case 1 ≤ p ≤ m: tesseral harmonics
If 1 ≤ p ≤ m, the harmonic takes the form
6 7
p 1 d m+ p 2
(−1) (t 2 − 1) 2
p
(t − 1) (amp cos pθ + bmp sin pθ),
m
2m m! dt m+ p
and/or
1 d m+ p 2 dp
(t − 1) m
= Pm (t) = 0,
2m m! dt m+ p dt p
this latter equation (as it could be demonstrated) has m − p real roots in the interval
−1 < t < 1 symmetrically distributed as for the zonal harmonics.
144 4 Potential Series Developments
that is
amp 1 amp k
pθk = arctan − + kπ ⇐⇒ θk = arctan − + π.
bmp p bmp p
The above values of θk define on the unitary sphere p great circles spaced by Δθ =
π
θk − θk−1 = . The 2m − 2 zeros lie at the poles and on both parallel and meridian
p
circles which divide the sphere surface on a set of tesseras of alternating sign for the
harmonic, whence the name of tesseral harmonics (Fig. 4.6).
( p)
The sign of Sm (θ, ϕ) changes crossing a parallel and a meridian.
(iii) case p = m: sectorial harmonics
If p = m the generic harmonic is
6 7
m 1 d 2m 2
(−1) (t 2 − 1) 2
m
(t − 1) (amm cos mθ + bmm sin mθ).
m
2m m! dt 2m
and/or
amm cos mθ + bmm sin mθ = 0,
4.14 Zonal, Tesseral and Sectorial Spherical Harmonics 145
+ − + − +
that is ⎧
⎨ t = ±1 ⇐⇒ϕ = 0,π, 2 poles
amm k
⎩ θk = arctan − + π, m great circles.
bmm m
The zeros location on the unitary sphere along meridians and the subsequent subdi-
vision in spherical sectors justifies the name of sectorial harmonics (Fig. 4.7).
Exercise 4.7 Write the explicit expression of P2(1) (t), P3(2) (t), P2(3) (t).
Solution
Being
p dp
Pm( p) (t) = (−1) p (1 − t 2 ) 2 Pm (t),
dt p
it results
6 7
d 1 d 3 2 1
P2(1) (t) = −(1 − t 2 ) 2
1
P2 (t) = −(1 − t 2 ) 2 (t − ) = −3t 1 − t 2
dt dt 2 3
2 2 6 7
d d 1 3
P3(2) (t) = (1 − t 2 ) 2 P3 (t) = (1 − t 2 ) 2 (5t − 3t) = 15t (1 − t 2 )
dt dt 2
3 3 6 7
(3) 2 23 d 2 23 d 3 2 1
P2 = −(1 − t ) P2 (t) = −(1 − t ) (t − ) = 0.
dt 3 dt 3 2 3
Exercise 4.8 Verify that P3(2) (t) given in the Exercise 4.7 satisfies its associated
Legendre’s equation.
Solution
Given the Legendre’s equation
d p2
m(m + 1)g + (1 − t 2 )g − g = 0,
dt 1 − t2
146 4 Potential Series Developments
d 4
12g + (1 − t 2 )g − g = 0.
dt 1 − t2
Taking g(t) = P3(2) (t) and substituting into the above equation
d 4
12 × 15t (1 − t 2 ) + (1 − t 2 )(15 − 45t 2 ) − 15t (1 − t 2 ) =
dt 1 − t2
= 15t 12(1 − t 2 ) + 12t 2 − 12 = 0,
as required.
Exercise 4.9 Write the associated Legendre’s equation in the form f (g, g , g ; t)=0.
Solution
The associated Legendre’s equation writes as
p2
m(m + 1)g − 2tg + (1 − t 2 )g − g = 0,
1 − t2
or, equivalently
6 7
p2
(1 − t 2 )g − 2tg + m(m + 1) − g = 0.
1 − t2
f (g,g ,g ;t)
p
p d
Clearly, if g = (t 2 − 1) 2 p Pm is solution of the above equation, also g = cg where
dt
c is a constant, is a solution.
Consequently, to any imaginary solution of the Legendre’s equation corresponds
p
a real one obtained by simple multiplication by (−1) 2 .
Solution
Left to the reader.
4.15 Orthogonality of Surface Spherical Harmonics 147
{Ymp (θ, ϕ)} = {Pm( p) (ϕ) cos pθ, Pm( p) (ϕ) sin pθ}, p = 0, 1, . . . , m,
2π π
( p) ( p) ( p) ( p)
(a) Pm cos pθ Pn sin pθ dσ = cos pθ sin pθ dθ Pm Pn sin ϕ dϕ = 0,
S1 (0) 0 0
because
2π
cos pθ sin pθ dθ = 0.
0
2π π
2π 1
1 1
1
$ % 1 d
(Pm( p) , Pn( p) ) = 1 − t 2 Pm[ p] Pn[ p−1] −1 − Pn[ p−1] (1 − t 2 ) p Pm[ p] dt.
dt
−1
(4.97)
By mean of Eq. 4.92 we have, after multiplication by (1 − t 2 ) p
d
(1 − t 2 ) p+1 Pm[ p+1] = ( p 2 + p − m 2 − m)(1 − t 2 ) p Pm[ p] =
dt
= −(m − p)( p + m + 1)(1 − t 2 ) p Pm[ p] ,
1
$ %
Pm( p) , Pn( p) = (m − p + 1)(m + p) Pm[ p−1] Pm[ p−1] (1 − t 2 ) p−1 dt =
−1
$ %
= (m − p + 1)(m + p) Pm( p−1) Pn( p−1) =
$ %
= (m − p + 1)(m + p)(m − p + 1)( p − 1 + m) Pm( p−2) Pn( p−2) =
(m + p)! 2
= ··· = δmn .
(m − p)! 2m + 1
$ % (m + p)! 2
Ym( p) , Yn( p) = (1 ± δ0 p )π δmn ,
(m − p)! 2m + 1
(Sm , S n ) = 0, if m = n,
4 m
5
2π (m + k)!
(Sm , S m ) = 2am0 a m0 + (amk a mk + bmk bmk ) ,
2m + 1 k=1
(m − k)!
$ % p [ p] [ p]
15 With u = 1 − t 2 Pm and dv = Pm dt; remember that the symbol [ p] here means pth-
derivative respect to t.
4.15 Orthogonality of Surface Spherical Harmonics 149
where
n
Sm (θ, ϕ) = (anp cos( pθ) + bnp sin( pθ)) Pm( p) ,
p=0
n
S n (θ, ϕ) = (a np cos( pθ) + bnp sin( pθ)) Pn( p) .
p=0
4π 4π
(Sm , Pm ) = am0 = Sm (0, 0), (4.98)
2m + 1 2m + 1
due to that
m
Sm (0, 0) = am0 Pm (1) + amp Pm( p) (1) = am0 ,
p=1
( p)
being Pm (1) = 1 ∀m, and Pm (1) = 0, ∀m with p ≤ m.
Given that the set of Ym (θ, ϕ) constitutes a basis, a sufficiently regular function
f (θ, ϕ) can be developed as
∞ m
f (θ, ϕ) = (amp cos pθ + bmp sin pθ)Pm( p) (cos ϕ), (4.99)
m=0 p=0
Note
The unique determination of coefficients of the series means that if the above
series development of f (θ, ϕ) exists it is unique.
Remembering that
∞ ∞
1 1 rm
= Pm (cos γ)μm = Pm (cos γ)
|r − r | r m=0 m=0
r m+1
r
is convergent for μ = < 1, it is clear that if we divide the mass domain (where
r
r r
ρ(r) ≥ 0) in the two parts (a) < 1, and (b) > 1, the following two developments
r r
hold, respectively
∞
1 rm r
(a)
= Pm (cos γ) , convergent for < 1,
|r − r | m=0 r m+1 r
∞
1 r m r
(b)
= Pm (cos γ) , convergent for < 1.
|r − r | m=0 r m+1 r
(b)
(a) r’
y
x
and can be obtained by considering that the integration term by term is possible
because the two series are uniformly convergent being bounded by the geometric
series of argument μ < 1.16
The resulting development is
∞ ∞
1
U (r ) = Uext,m r =
m
Uint,m +
m=0
r m+1 m=0
1 1 1
= Uint,0 + Uint,1 2 + · · · + Uint,k k+1 + · · · + Uext,0 + Uext,1 r + · · ·
r r r
+ Uext,k r + · · ·
k
(4.101)
where the Uint,m and Uext,m coefficients depend also on the direction of vector radius
r , and are given by
Obviously, to the evaluation of the potential in points out of the minimum sphere
containing C, whose radius we indicate with R (see Fig. 4.9), the contribution comes
only from the internal terms . This means that an evaluation of the potential in the
space between the surface delimiting C and the surface of the ball of radius R requires
a direct evaluation of the potential integral, because here the series development is
not valid.
We now deal with the potential series development in the external convergence region,
r > R, that is
∞
rm
U (r ) = Uint (r ) = G Pm (cos γ) ρ(r) d 3 r =
m=0 S R (0) r m+1
∞
(4.104)
1
= Um (θ , ϕ ) ,
m=0
rm+1
which are called moments of the matter distribution (they are indeed the average of
the generic mth power of r weighted by the function G Pm (cos γ) ρ(r)).
In spherical polar coordinates it is
P0 (cos γ) = 1 =⇒ U0 = G ρ(r) d 3 r = G M,
C
4.17 Development of the Potential Generated by a Regular Mass Distribution 153
whence
1 GM
U0
= ,
r r
which is the monopole term. It corresponds to the lowest order approximation of the
potential as due by a point of mass M in the coordinate origin, approximation which
is more and more valid at larger distances from the origin because the contribution
of higher moments reduces as 1/r at increasing distances whilst the coefficients
m+1
Um are bound.
• If m = 1, then
r · r
P1 (cos γ) = cos γ =⇒ U1 = G cos γ r ρ(r) d 3 r = G r ρ(r) d 3 r =
rr
C C
r G
=G · r dm = Mr · rG ,
r r
C
8
r dm
where rG = 8C gives the center of mass position of the matter domain C.
C dm
The term U1 /r in the series is the dipole term. It vanishes upon the choice of the
coordinate origin in the mass distribution center of mass (i.e. letting rG = 0). With
other coordinate choices, the dipole term is equal to the component of the vector
G Mr along rG .
The term with m = 2 is called quadrupole term, and so on.
Try now to express the generic Um (θ , ϕ ).
To do this we keep in mind that the “Laplace’s coefficient”, Pm (cos γ), is a surface
spherical harmonic in θ and ϕ (thinking of the pair (θ,ϕ) variable upon the unitary
sphere and of (θ ,ϕ ) as fixed17 ) so that it can be written on the harmonic basis
m
Pm (cos γ) = am0 Pm (cos ϕ) + Pm( p) (cos ϕ) amp cos( pθ) + bmp sin( pθ) ,
p=1
(4.107)
where coefficients amp and bmp depend upon the angular coordinates (θ , ϕ ) of r on
the unitary sphere.
The method to find amp and bmp is the same as for the generic function f (θ, ϕ)
development (see Eq. 4.99) leading to
2m + 1
am0 = Pm (cos γ)Pm (cos ϕ) dσ,
4π
2m + 1 (m − p)!
amp = Pm (cos γ)Pm( p) (cos ϕ) cos pθ dσ ( p = 1, 2, . . . , m),
2π (m + p)!
2m + 1 (m − p)!
bmp = Pm (cos γ)Pm( p) (cos ϕ) sin pθ dσ ( p = 1, 2, . . . , m).
2π (m + p)!
17 Or viceversa.
154 4 Potential Series Developments
The practical computation of the above integrals takes advantage by a proper change
of reference frame, centering at (θ , ϕ ), letting θ = θ − θ and ϕ = ϕ − ϕ .
Upon this transformation Pm (cos γ) = Pm (cos ϕ) so that by relation Eq. 4.98 it
results.
2m + 1
(X m , Ym ) = am0 = Pm (cos γ)Pm (cos ϕ) dσ = Pm (cos ϕ ),
4π
(m − p)! ( p)
amp =2 P (cos ϕ ) cos pθ ,
(m + p)! m
(m − p)! ( p)
bmp =2 P (cos ϕ ) sin pθ .
(m + p)! m
2m + 1
am0 = Pm (cos γ)Pm (cos ϕ) dσ = Pm (cos ϕ ),
4π
(m − p)! ( p)
amp =2 P (cos ϕ ) cos pθ ( p = 1, 2, . . . , m),
(m + p)! m
(m − p)! ( p)
bmp =2 P (cos ϕ ) sin pθ ( p = 1, 2, . . . , m).
(m + p)! m
Corollary 4.8 Given the above expressions of the series coefficients, the explicit
development of Pm (cos γ) is
Note
Let us consider, first, the first addend in the square bracket in Eq. 4.108
r m dm
Pm (cos ϕ ) Pm (cos ϕ) r m dm = M R m Pm (cos ϕ ) Pm (cos ϕ) ≡
C C R M
≡ −M R m Pm (cos ϕ )Jm ,
which is, indeed, the opposite of the (adimensional) mth moment of r weighted with
ρ(r)Pm (cos ϕ).
Finally, the corresponding generic mth contribution to the external potential is so
m
GM R
− Jm Pm (cos ϕ ).
r r
Let us now consider the sum over p in the square brackets of Eq. 4.108, whose
generic term is18
(m − p)! ( p)
2 P (cos ϕ ) Pm( p) (cos ϕ) cos p(θ − θ )r m dm =
(m + p)! m C
6 r m dm
(m − p)!
= 2M R m
Pm (cos ϕ ) cos pθ Pm( p) (cos ϕ) cos pθ
( p)
+
(m + p)! C R M
r m dm 7
+ sin pθ Pm( p) (cos ϕ) sin pθ =
C R M
$ %
= M R m Pm( p) (cos ϕ ) cos pθ Jmp + sin pθ J mp ,
where r m dm
(m − p)!
Jmp = 2 Pm( p) (cos ϕ) cos pθ ,
(m + p)! C R M
(m − p)! r m dm (4.109)
J mp =2 Pm( p) (cos ϕ) sin pθ ,
(m + p)! C R M
The potential results to be a series where a radial, power decaying, part is modu-
lated by a (θ , ϕ ) dependence through surface spherical harmonics with coefficients
depending on the distribution of matter density.
As expected, if we consider only the terms with m = 0, 1 and choosing the frame
origin in the barycenter, O ≡ G, the development reduces to
GM
U (r ) = ,
r
1 1
Uext,m = G '
Pm (cos γ)m+1
dm = G Pm (cos ϕ) ' Pm (cos ϕ) m+1 dm =
R
r R
r
m+1
GM R dm GM
= m+1 Pm (cos ϕ) ' Pm (cos ϕ) = − m+1 Pm J˜m ,
R R
r M R
where
4.17 Development of the Potential Generated by a Regular Mass Distribution 157
m+1
R dm
J˜m = − '
Pm (cos ϕ) = −Pm (0) =
r M
⎧ R
⎪
⎪ −1 if m = 0,
⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎪ 0 if m is odd,
⎨
= m
⎪
⎪ &2
⎪
⎪ (2k − 1)
⎪
⎪
⎪
⎪
⎪
⎪
m k=1
⎩ −(−1) 2 m $ % if m is even.
2 2 m2 !
GM ∞ r m
U (x, y, z) = − J˜m Pm (cos ϕ) =
R
m=0
R
⎡ m ⎤
&2
⎢ (2k − 1) ⎥
⎢ ∞ r m ⎥
⎢ m k=1 ⎥
= 2πG ⎢1 + (−1) 2 m $m % Pm ⎥=
⎢ 2 2 ! R ⎥
⎣ m=2
m even
2 ⎦
6 7
1 r 2 1·3 r 4
= 2πGρ0 1 − P2 + 2 P4 − ··· .
2 R 2 ·2 R
(ii), r > R 4 ∞ m 5
GM R
U (x, y, z) = 1− Jm Pm (cos ϕ) ;
r m=2
r
upon the choice of barycentral reference system (J1 = 0). The zonal coefficients are
r m dm
Jm = − '
Pm (cos ϕ) = −Pm (0) =
R
R M
⎧
⎪ −1 if m = 0,
⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎪ 0 if m is odd,
⎨
=
⎪
⎪ &
m
⎪
2
⎪
⎪ (2k − 1)
⎪
⎪
⎪
⎪
⎩ −(−1) 2
m k=1
if m even,
2 2 ( 2 )!
m m
so that
158 4 Potential Series Developments
4 2 4 5
GM 1 R 1·3 R
U (x, y, z) = 1 − P2 (cos ϕ) + 2 P4 (cos ϕ) − ··· =
r 2 r 2 ·2 r
4 3 5 5
R 1 R 1·3 R
= 2πGρ0 − P2 (cos ϕ) + 2 P4 (cos ϕ) − ··· .
r 2 r 2 ·2 r
Exercise 4.12 Evaluate the gravitational force exerted by the homogeneous ring
considered in the previous exercise in points at distances r > R from the ring center
and determine the number of terms in the series development of the potential required
to have an error in the radial component of the force not greater than 10−2 times the
lowest order (monopole) contribution.
Solution
In axisymmetry, U is independent of θ, and the corresponding force is
∂U 1 ∂U
F = ∇U = er + eϕ ,
∂r r ∂ϕ
where
⎡ ⎤
∞ m ∞ m
∂U GM ⎢ R R ⎥
Fr = = − 2 ⎣1 − Jm Pm (cos ϕ) − Jm Pm (cos ϕ)m ⎦=
∂r r r r
m=2 m=2
m even m even
⎡ ⎤
∞ m
GM ⎢ R ⎥
=− ⎣1 − (m + 1)Jm Pm (cos ϕ) ⎦.
r2 r
m=2
m even
l
(2k − 1)
l k=1
m = 2l, l ≥ 1 =⇒ (m + 1)Jm = −(2l + 1)(−1)
2l l!
where the fraction numerator is the product of the first l odd positive integers.
It turns out that the radial force expansion is an alternating series, whose first three
terms are
4 2 4 5
GM 1 R 3 R
Fr = − 2 1 − P2 (cos ϕ) + P4 (cos ϕ) − ··· .
r 2 r 8 r
Being the series alternated in sign, when considering up to the mth term, the error
bound in the force radial component is
m+2
GM R
|| ≤ (m + 2)|Jm | = (m + 3)|Jm+2 Pm+2 | ,
r2 r
so that the condition required by the exercise is satisfied when the error in the radial
component of the force relative to the monopole is
|| (m + 1)(m − 1) · · · 3 · 1
|r | ≡ ≤ (m + 3)|Jm+2 | = (m + 3) ≤ 10−2 ,
2 2 +1 ( m2 + 1)!
m
GM
r2
that corresponds to an inequality for m to be solved numerically.
Exercise 4.13 Given a spherical massive shell of uniform surface mass density σ0
and generic radius R, it is asked to show that the gravitational force vanishes inside
the shell.
Solution
The potential series development in points internal to the shell (r < R) is
GM
∞ r m
U (x, y, z) = − J˜m Pm (cos ϕ) ,
R m=0
R
where m+1
R σ0 r 2 sin ϕ dθdϕ
J˜m = − ! Pm (cos ϕ) =
R r M
1
σ0 R 2 2π 1, if m = 0,
= Pm (t) dt =
M 0, ∀m = 0,
−1
so that
GM
U (x, y, z) = U (r ) = = constant =⇒ F = ∇U = 0, ∀r < R.
R
Note that this is an alternative demonstration of the 1st Newton’s theorem.
160 4 Potential Series Developments
Exercise 4.14 Show that any radial perturbation δU (r ) to a Keplerian potential leads
to a precession of the motion of the unit mass particle. Find the precession angle in
α
the case δU (r ) = 2 , which corresponds to a dipole perturbation.
r
Solution
Given a spherical potential U0 (r ) a perturbation leads, in general, to
k
U (r, θ, ϕ) = U0 (r ) + δU (r, θ, ϕ) = + δU (r, θ, ϕ).
r
where the last equality holds in the assumption of an unperturbed Keplerian potential,
k
U0 (r ) ≡ with k > 0. Of course, a purely radial perturbation is such that δU depends
r
only on r .
First, note that the condition for the perturbation to be small is
9 9
9 δU 9
9 9
9 U 9 1,
0
that defines the region of space where linear considerations are valid. For example,
α
assuming δU (r ) = β with α a non-zero constant and β > 0, the previous inequality
r
|α|
leads to r β−1 . In the case of a dipole perturbation, β is equal to 2 and the
k
|α|
perturbation is small only in regions sufficiently out of the sphere of radius R = .
k
Let us evaluate the precession angle Δθ, defined in Chap. 3, Sect. 3.7, as
r+
1 |dr |
Δθ = 2L .
r2 L2
r− 2 E +U − 2r 2
L2
Letting f (U ) ≡ 2 E + U − 2 , its development up to 1st order in U around
2r
U0 is19
The first integral in Eq. 4.110 is simply the Keplerian θ variation, i.e. 2π (the trajectory
is fixed); it remains to compute the second integral, giving the variation δθ respect
to the Keplerian value, which requires, again, a Keplerian approximation for ṙ that,
using the angular momentum conservation, gives (for r− ≤ r ≤ r+ )
dr dr r2
= = dt = dθ.
ṙ k L2 L
2 E+ − 2
r 2r
so that
θ+
∂ r2
δθ = −2 δU dθ.
∂L L
θ−
Δθ>2π
Δθ<2π
so that the ratio between the actual perturbed force and the Keplerian
9 9 9 9 9 9
9 Fr 9 9 9 9 9
9 9 = 91 + 2α 9 = 91 + 2α 1 9 , (4.111)
9 k/r 2 9 9 r 9 9 k r9
consequently, the curvature of the test particle trajectory (which is proportional to the
acceleration) is larger (smaller) than the local Keplerian trajectory when α is positive
(negative), inducing a forward or backward precession in the two cases, respectively
(Figs. 4.10 and 4.11).
4.18 Further Readings 163
Let O ≡ G (center of mass) the origin of a Cartesian reference frame with the z axis
parallel to the Earth angular rotation velocity and the equatorial plane x y whose x
axis is pointing to the prime meridian. Moreover, we indicate by R the equatorial
semiaxis.
According to geophysics data, the internal Earth mass density does not show a
∂ρ
significant departure from axisymmetry, 0, with the usual definition of r , θ ,
∂θ
ϕ. Consequently, it turns out that (Eq. 4.109)
Jmp = J¯mp 0.
π r (ϕ) r m 2π
(m − p)! 1
Jmp =2 Pm( p) (cos ϕ) ρ(r, ϕ)r 2 sin ϕ dr dϕ cos pθ dθ,
(m + p)! M R
0 0 0
2π
The same holds for every J¯mp , which depends upon sin pθ dθ , which is zero, too.
0
So, the general result for the external Earth potential in axisymmetry is
∞
GM R m
U (x , y , z ) = 1 −
Jm Pm (cos ϕ ) ,
r m=2
r
where
I = r 2 dm,
C
it results
1
I = (I1 + I2 + I3 ), (5.1)
2
and
z 2 dm = I − I3 , (5.2)
C
whence
1 1 1 1
J2 = 2
[I − 3(I − I3 )] = [2I3 − (I1 + I2 )] =
2 MR 2 M R2
1 (I1 + I2 )
= I3 − > 0.
M R2 2
The coefficient J2 is positive because z is along the Earth minor axis (which is along
the spin direction) so that I3 > I2 and I3 > I1 .
From satellite measurements of M, R, I1 , I2 , I3 , the value J2 = 1.0827 × 10−3
is obtained (see also Table 5.2).
5.2 Satellite Motion 167
The vectorial equation of motion for a point mass satellite in the axisymmetric Earth
field, neglecting atmospheric drag, is
∞
GM R m
r̈ = ∇U = ∇ 1− Jm Pm (cos ϕ) .
r m=2
r
GM
U (x, y, z) = + R,
r
where, in axisymmetry, the perturbing function R is
∞
GM R m
R(r, ϕ) = − Jm Pm (cos ϕ).
r m=2 r
The above function actually constitutes a small perturbation over the monopole term,
because (see Table 5.2) J2 (which is by far the largest) is only ∼10−3 .
Using the perturbing function, the full 1st order system of equations of motion
for the satellite is ⎧
⎪
⎪ ẋ = u
⎪
⎪
⎪
⎪ ẏ = v
⎪
⎪
⎪
⎪ ż =w
⎪
⎪ ∂R
⎪
⎪
GM
⎨ u̇ = − r 3 x + ∂ x
⎪
(5.3)
⎪
⎪ ∂R
⎪
⎪ G M
⎪
⎪ v̇ = − 3 y +
⎪
⎪ r ∂y
⎪
⎪
⎪
⎪
⎪
⎪ GM ∂R
⎪
⎩ ẇ = − z+ ,
r 3 ∂z
The unperturbed solution of the equation of motion is by definition that obtained for
R = 0. It depends on the six constants (x0 , y0 , z 0 ) and (ẋ0 , ẏ0 , ż 0 ). Usually, another
set of six constants is used at their place, called elliptic elements, which are linked
to the initial conditions. The adjective “elliptic” derives from that the unperturbed
solution of negative energy is a Keperian ellipse.
The elliptic elements are
Ω, the longitude of the ascending node. It defined as the angle formed by the x axis
of the plane of reference with the intersection line between the orbital plane and
the reference plane (called line of nodes) in the direction of the ascending node
which is the point where the satellite passes from negative to positive values of
z coordinate;
i, the inclination angle between the orbital plane and the reference plane (0◦ ≤
i ≤ 180◦ );
a, the trajectory semi-major axis;
ω, the position angle of the perigee;
e, the trajectory eccentricity;
τ , the time of passage of the satellite at its perigee.
The unperturbed solution is, so, fully identified by the above set of values, r =
r(t; Ω, i, a, w, e, τ ). The solution of the perturbed problem consists in finding the
set of elliptic element in the form of slowly varying time functions such that at any
time t the values of the elliptic elements at that time define a Keplerian elliptic orbit
which osculates the real satellite orbit.
5.4 Search for the Time-Dependent Elliptic Elements 169
Without entering in details, we sketch here the standard procedure to solve the per-
turbed satellite problem. We indicate by
(α1 , α2 , α3 , α4 , α5 , α6 ) = (Ω, i, a, ω, e, τ ),
the set of elliptic elements, supposed to depend, slowly, on time. The scope is the
determination of such functions αi (t), i = 1, 2, · · · , 6, as satisfying Eq. 5.3 in the
form of
αi (t) = αi0 + si (t) + pi (t) i = 1, 2, · · · , 6,
where αi0 = αi (t0 ) is the osculating elliptic element evaluated at t = t0 . The function
si (t) is the secular part of the solution and depends on the osculating elliptic elements
and on the Jm coefficients, other than, linearly, on t; pi (t) is the periodic part of the
solution. Were si (t) and pi (t) known, an observation of the satellite at an initial
time t0 would give the whole set of αi0 and so the actual unknowns would be the Jm
quantities. Thus, many different observations of different satellites at different times
could constitute a way to evaluate some of the Jm , as well as the product G M and
R. and so of the monopole component J0 . In Tables 5.1 and 5.2 we report values
obtained in this way.
A more refined study would keep into account the dependence, even if small,
of the Earth potential on θ , that causes the presence in the perturbation function R
of some tesseral harmonics, which are hard to determine. In conclusion, given the
definition of geoid as the shape of the ocean surface under the Earth’s gravity, it is
an equipotential surface of the effective potential, i.e.
1
Ue f f (x, y, z) = U (x, y, z) + ω2 (x 2 + y 2 ) = c, in Cartesian coordinates,
2
1 2 2 2
Ue f f = U (r, θ, ϕ) + ω r sin ϕ = c, in spherical polar coordinates
2
where c is a constant.
Available data on the Earth’s potential from study of satellites motion show that
the geoid deviates from the reference ellipsoid of revolution around the polar axis
for no more than ±100 m. Note that Newton was the first to evaluate the value of
the relative deviation of the Earth’s ellipsoid from sphericity obtaining the value
1
s = 1/230 which is quite similar to modern determinations, ∼ .
298.25
This chapter presented a short spot of classical celestial mechanics theory of per-
turbation as well as some geodetical information on the Earth potential. The reader
who wish to go deeper in the topics of celestial mechanics may take advantage by
both the classical text [21] and the more modern one [7]. For a deeper approach to
the Earth gravity field see [6].
Appendix A
Two- and N-Body Adimensional Motion
Equations
m1 + m2
r̈ = −G r. (A.2)
r3
A choice of proper mass and length units, M and L, which can be assumed as
M = m 1 + m 2 and, for negative orbital energy (elliptic trajectory), as L = a where
a is the ellipse’s semi major axis, leads to write Eq. A.2 as
r̈ G M m 1 + m 2 (r/L)
=− 3 . (A.3)
L L M (r/L)3
√ new, adimensional, variables r = r/L, m i = m i /M, t = t/T , where
We can define
T = L / G M. If E < 0, T /(2π) is the orbital period (note also that the adoption
3/2
d 2 r r 3
= − . (A.4)
dt 2 r
Such procedure of adimensionalization can be followed also for the generic N -body
case, where the equations of motion are (see Sects. 2.3 and 2.3.1), for every 1 ≤ i ≤ N
⎧
⎪ N
r −r
⎪
⎪ r̈ = G m j jr 3 i ,
⎨ i
j=1 ij
j=i (A.5)
⎪
⎪
⎩ ri (0) = ri0 ,
⎪
ṙi (0) = ṙi0 ,
⎪
⎪ j=i
⎪
⎪
⎩ ri (0) = ri0 ,
⎪
vi (0) = ṙi0 .
The Newtonian interaction potential between two point mass particles, Ui j ∝ 1/ri j ,
diverges for two particles approaching toward zero distance (called U V divergence).
This causes a relevant problem in the numerical integration of the evolution of an
N -body system because in order to follow with sufficient accuracy the, rare, close
encounters, the time step must decrease by orders of magnitude (to the order of the fly-
by time of the encounter, τ ∼ 2d/vr , where d is the closest approach distance and vr
the two body relative speed) so that the overall integration becomes computationally
overwhelming unless particular treatments are introduced (for example, methods
apt to separate the i, j binary motion from the rest of the system, whose motion is
essentially frozen over τ , to be resynchronized afterwards).
Another interesting, and more correct, way to deal with the U V divergence of
Ui j is via its regularization, a procedure first introduced by the mathematician Levi-
Civita and, later, faced and refined in many different ways by other researchers,
among whom Kustaneeimo, Stiefel, etc.
Let us consider two bodies of masses m i and m j and position vectors ri and
r j in a given reference frame. The equation of their relative motion, after setting
r ≡ r j − ri , G = 1, and m i + m j = 1 is1
r
r̈ = − . (B.1)
r3
As said above, the force is singular in r = 0. By introducing the differential space-
time transformation dt = r n dτ (with given, but arbitrary, n) which, equivalently, is
dτ = r −n dt, it results
dr dτ dr −n
ṙ = = r , (B.2)
dτ dt dτ
1 These choices imply that the unit of time is such that the orbital period of the bound 2-body motion
is equal to 4π 2 .
© Springer Nature Switzerland AG 2019 173
R. A. Capuzzo Dolcetta, Classical Newtonian Gravity,
UNITEXT for Physics, https://doi.org/10.1007/978-3-030-25846-7
174 Appendix B: Two Body Regularization
so that the final, 2nd order, differential (with respect to τ ) equation of motion is
d 2r dr dr
2
− nr −1 = −r 2n−3 r. (B.3)
dτ dτ dτ
x 2
x − = −1. (B.5)
x
2
By mean of the energy integral, E = 21 ẋ 2 − 1
x
= 1
2
x
x
− x1 , we can substitute
2
x
x
= 2(E x + 1) in Eq. B.5 obtaining
x − 2E x = 1, (B.6)
u − 2Eu = 0, (B.7)
whose solution in terms of sine and cosine functions is well known. The seeked
function x(t) is finally obtained by the formula x(τ ) = (u(τ ) − 1)/(2E), with the
τ
τ (t) relation coming by the inversion of the integral relation t (τ ) = x(τ )dτ .
0
References
1. Aarseth, S.J.: Gravitational N-Body Simulations. Tools and Algorithms. Cambridge Mono-
graphs on Mathematical Physics. Cambridge University Press, Cambridge (2001)
2. Arnold, V.I.: Mathematical Methods of Classical Mechanics, 2nd edn. Springer Nature, New
York (1989)
3. Bertrand, J.: Théoréme relatif au mouvement d’un point attiré vers un centre fixe. C. R. Acad.
Sci. 77, 849–853 (1873)
4. Binney, J., Tremaine, S.: Galactic Dynamics, 2nd edn. Princeton University Press, Princeton
(2011)
5. Boccaletti, D., Pucacco, G.: Theory of Orbits, vols. 1 and 2. Springer, Berlin (1996)
6. Caputo, M.: The Gravity Field of the Earth from Classical and Modern Methods. International
Geophysics Series, vol. 10. Academic, New York (1967)
7. Fitzpatrick, R.: An Introduction to Celestial Mechanics. Cambridge University Press, Cam-
bridge (2012)
8. Fridman, A.M., Polyachenko, V.L.: Physics of Gravitating Systems I and II. Springer, Berlin
(2012)
9. Gilbart, D., Trudinger, N.S.: Elliptic Equations of Second Order. Springer, New York (1977)
10. Goldstein, H., Safko, J.L., Poole, G.P., Spiegel, M.R.: Classical Mechanics, 3rd edn. Pearson
Ed. Limited, Edinburgh (2002)
11. Heggie, D.C., Hut, P.: The Gravitational Million Body Problem: A Multidisciplinary Approach
to Star Cluster Dynamics. Cambridge University Press, Cambridge (2003)
12. Kellogg, O.D.: Foundations of Potential Theory. Dover, New York (1953)
13. Landau, L.D., Lifshits, E.M.: Mechanics, Course of Theoretical Physics, vol. 1, 3rd edn. Else-
vier, Butterworth-Heinemann, Oxford (1976)
14. Landau, L.D., Lifshits, E.M.: The Classical Theory of Fields, Course of Theoretical Physics,
vol. 2, 4th edn. Elsevier Butterworth-Heinemann, Oxford (1987)
15. Landau, L.D., Lifshits, E.M.: Fluid Dynamics, Course of Theoretical Physics, vol. 6, 2nd edn.
Pergamon Press, Oxford (1989)
16. Mc Call, M.W.: Classical Mechanics: From Newton to Einstein: A Modern Introduction, 2nd
edn. Wiley Ltd., Chichester (2011)
17. Mc Robert, T.M.: Spherical Harmonics. Pergamon Press, Oxford (1967)
18. Merritt, D.: Dynamics and Evolution of Galactic Nuclei. Princeton University Press, Princeton
(2013)
19. Mikhailov, V.P.: Partial Differential Equations. MIR Publishers, Moscow (1978)
20. Misner, C.W., Thorne, K.S., Wheeler, J.A.: Gravitation. W.H. Freeman & Co., New York (1972)
21. Moulton, F.R.: An Introduction to Celestial Mechanics. 2nd rev. ed. Dover, New York (1970)
22. Saslaw, W.C.: Gravitational Physics of Stellar and Galactic Systems. Cambridge University
Press, Cambridge (1985)
23. Spiegel, M.R.: Advanced Mathematics. Schaum’s Outline Series. McGraw Hill, New York
(2010)
24. Vladimirov, V.S.: Equations of Mathematical Physics. MIR Publishers, Moscow (1984)
25. Wrede, R.C.: Introduction to Vector and Tensor Analysis. Dover Publications Inc., New York
(1972)