Professional Documents
Culture Documents
Introduction To Modern Dynamics Chaos Networks Space and Time 2Nd Edition David D Nolte 2 Full Chapter PDF
Introduction To Modern Dynamics Chaos Networks Space and Time 2Nd Edition David D Nolte 2 Full Chapter PDF
Introduction To Modern Dynamics Chaos Networks Space and Time 2Nd Edition David D Nolte 2 Full Chapter PDF
https://ebookmass.com/product/introduction-to-modern-dynamics-
chaos-networks-space-and-time-2nd-edition-david-d-nolte/
https://ebookmass.com/product/introduction-to-modern-
analysis-2nd-edition-kantorovitz/
https://ebookmass.com/product/introduction-to-chaos-fractals-and-
dynamical-systems-phil-laplante/
https://ebookmass.com/product/foundations-of-space-dynamics-1st-
edition-ashish-tewari/
Introduction to Networks v6 Companion Guide 1st
Edition, (Ebook PDF)
https://ebookmass.com/product/introduction-to-
networks-v6-companion-guide-1st-edition-ebook-pdf/
https://ebookmass.com/product/demanding-energy-space-time-and-
change-1st-edition-allison-hui/
https://ebookmass.com/product/interference-the-history-of-
optical-interferometry-and-the-scientists-who-tamed-light-david-
nolte/
INTRODUCTION TO MODERN DYNAMICS
Introduction to Modern Dynamics
Chaos, Networks, Space and Time
Second Edition
David D. Nolte
Purdue University
1
3
Great Clarendon Street, Oxford, OX2 6DP,
United Kingdom
Oxford University Press is a department of the University of Oxford.
It furthers the University’s objective of excellence in research, scholarship,
and education by publishing worldwide. Oxford is a registered trade mark of
Oxford University Press in the UK and in certain other countries
© David D. Nolte 2019
The moral rights of the author have been asserted
First Edition published in 2015
Second Edition published in 2019
Impression: 1
All rights reserved. No part of this publication may be reproduced, stored in
a retrieval system, or transmitted, in any form or by any means, without the
prior permission in writing of Oxford University Press, or as expressly permitted
by law, by licence or under terms agreed with the appropriate reprographics
rights organization. Enquiries concerning reproduction outside the scope of the
above should be sent to the Rights Department, Oxford University Press, at the
address above
You must not circulate this work in any other form
and you must impose this same condition on any acquirer
Published in the United States of America by Oxford University Press
198 Madison Avenue, New York, NY 10016, United States of America
British Library Cataloguing in Publication Data
Data available
Library of Congress Control Number: 2019945041
ISBN 978–0–19–884462–4 (hbk.)
ISBN 978–0–19–884463–1 (pbk.)
DOI: 10.1093/oso/9780198844624.001.0001
Printed and bound by
CPI Group (UK) Ltd, Croydon, CR0 4YY
Links to third party websites are provided by Oxford in good faith and
for information only. Oxford disclaims any responsibility for the materials
contained in any third party website referenced in this work.
Preface to the Second Edition
Introduction to Modern Dynamics: Chaos, Networks, Space and Time (2015) is part
of an emerging effort in physics education to update the undergraduate physics
curriculum. Conventional junior-level mechanics courses have overlooked many
modern dynamics topics that physics majors will use in their careers: nonlinearity,
chaos, network theory, econophysics, game theory, neural nets, geodesic geometry,
among others. These are the topics at the forefront of physics that drive
high-tech businesses and start-ups where more than half of physicists are
employed. The first edition of Introduction to Modern Dynamics contributed
to this effort by introducing these topics in a coherent program that emphasized
common geometric properties across a wide range of dynamical systems.
The second edition of Introduction to Modern Dynamics continues that trend
by expanding chapters to including additional material and topics. It rearranges
several of the introductory chapters for improved logical flow and expands them
to add new subject matter. The second edition also has additional homework
problems.
New or expanded topics in the second edition include
• Lagrangian applications
• Lagrange’s undetermined multipliers
• Action-angle variables and conserved quantities
• The virial theorem
• Non-autonomous flows
• A new chapter on Hamiltonian chaos
• Rational resonances
• Synchronization of chaos
• Diffusion and epidemics on networks
• Replicator dynamics
• Game theory
• An extensively expanded chapter on economic dynamics
level, while continuing the program of updating topics and approaches that are
relevant for the roles that physicists will play in the twenty-first century.
The historical development of modern dynamics is described in Galileo
Unbound: A Path Across Life,the Universe and Everything, by D. D. Nolte, published
by Oxford University Press (2018).
Preface: The Best Parts of Physics
The best parts of physics are the last topics that our students ever see. These
are the exciting new frontiers of nonlinear and complex systems that are at
the forefront of university research and are the basis of many of our high-
tech businesses. Topics such as traffic on the World Wide Web, the spread of
epidemics through globally mobile populations, or the synchronization of global
economies are governed by universal principles just as profound as Newton’s
Laws. Nonetheless, the conventional university physics curriculum reserves most
of these topics for advanced graduate study. Two justifications are given for this
situation: first, that the mathematical tools needed to understand these topics are
beyond the skill set of undergraduate students, and second, that these are specialty
topics with no common theme and little overlap.
Introduction to Modern Dynamics: Chaos, Networks, Space and Time dispels these
myths. The structure of this book combines the three main topics of modern
dynamics—chaos theory, dynamics on complex networks and the geometry of
dynamical spaces—into a coherent framework. By taking a geometric view of
physics, concentrating on the time evolution of physical systems as trajectories
through abstract spaces, these topics share a common and simple mathematical
language with which any student can gain a unified physical intuition. Given the
growing importance of complex dynamical systems in many areas of science and
technology, this text provides students with an up-to-date foundation for their
future careers.
While pursuing this aim, Introduction to Modern Dynamics embeds the topics
of modern dynamics—chaos, synchronization, network theory, neural networks,
evolutionary change, econophysics, and relativity—within the context of tradi-
tional approaches to physics founded on the stationarity principles of variational
calculus and Lagrangian and Hamiltonian physics. As the physics student explores
the wide range of modern dynamics in this text, the fundamental tools that are
needed for a physicist’s career in quantitative science are provided, including
topics the student needs to know for the Graduate Record Examination (GRE).
The goal of this textbook is to modernize the teaching of junior-level dynamics,
responsive to a changing employment landscape, while retaining the core tradi-
tions and common language of dynamics texts.
viii Preface: The Best Parts of Physics
under limiting conditions, with the goal to reduce a problem to a few simple
principles, while making use of computer simulations to capture both the whole
picture as well as the details of system behavior.
• Synchronization (Chapter 6)
Everywhere we look today, we see networks. The ones we interact with daily
are social networks and related networks on the World Wide Web. In this
chapter, individual nodes are joined into networks of various geometries, such as
small-world networks and scale-free networks. The diffusion of disease across these
networks is explored, and the synchronization of Poincaré phase oscillators can
induce a Kuramoto transition to complete synchronicity.
Some of the earliest explorations of nonlinear dynamics came from studies of pop-
ulation dynamics. In a modern context, populations are governed by evolutionary
pressures and by genetics. Topics such as viral mutation and spread, as well as the
evolution of species within a fitness landscape, are understood as simple balances
within quasispecies equations.
Perhaps the most complex of all networks is the brain. This chapter starts with the
single neuron, which is a limit-cycle oscillator that can show interesting bistability
and bifurcations. When neurons are placed into simple neural networks, such as
perceptrons or feedforward networks, they can do simple tasks after training by error
back-propagation. The complexity of the tasks increases with the complexity of
the networks, and recurrent networks, like the Hopfield neural net, can perform
associated memory operations that challenge even the human mind.
A most baffling complex system that influences our daily activities, as well as
the trajectory of our careers, is the economy in the large and the small. The
dynamics of microeconomics determines what and why we buy, while the dynamics
of macroeconomics drives entire nations up and down economic swings. These
forces can be (partially) understood in terms of nonlinear dynamics and flows
in economic spaces. Business cycles and the diffusion of prices on the stock market
are no less understandable than evolutionary dynamics (Chapter 8) or network
dynamics (Chapter 7), and indeed draw closely from those topics.
This chapter is the bridge between the preceding chapters on complex systems
and the succeeding chapters on relativity theory (both special and general). This
is where the geometry of space is first fully defined in terms of a metric tensor, and
where trajectories through a dynamical space are discovered to be paths of force-
Preface: The Best Parts of Physics xi
free motion. The geodesic equation (a geodesic flow) supersedes Newton’s Second
Law as the fundamental equation of motion that can be used to define the path of
masses through potential landscapes and the path of light through space-time.
The physics of gravitation, more than any other topic, benefits from the over-
arching theme developed throughout this book—that the geometry of a space
defines the properties of all trajectories within that space. Indeed, in this geometric
view of physics, Newton’s force of gravity disappears and is replaced by force-
free geodesics through warped space-time. Mercury’s orbit around the Sun,
and trajectories of light past black holes, are elements of geodesic flows whose
properties are easily understood using the tools developed in Chapter 4 and
expanded upon throughout this textbook.
Acknowledgments
Introduction to Modern Dynamics. Second Edition. David D. Nolte, Oxford University Press (2019).
© David D. Nolte. DOI: 10.1093/oso/9780198844624.001.0001
4 Introduction to Modern Dynamics
The damped harmonic oscillator in one coordinate has the single second-order ordinary differential equation2
mẍ + γ ẋ + kx = 0 (1.1)
where m is the mass of the particle, γ is the drag coefficient, and k is the spring constant. Any set of second-order
time-dependent ordinary differential equations (e.g., Newton’s second law) can be written as a larger set of first-order
equations. For instance, the single second-order equation (1.1) can be rewritten as two first-order equations
ẋ = v
(1.2)
mv̇ + γ v + kx = 0
It is conventional to write these with a single time derivative on the left as
ẋ = v
(1.3)
v̇ = −2βv − ω02 x
in the two variables (x, v) with β = γ /2m and ω02 = k/m. State space for this system of equations consists of two
coordinate axes in the two variables (x, v), and the right-hand side of the equations are expressed using only the same
two variables.
To solve this equation, assume a solution in the form of a complex exponential evolving in time with an angular
frequency ω as (see Appendix A.1)
0 = mω2 − iωγ − k
= ω2 − i2ωβ − ω02 (1.6)
where the damping parameter is β = γ /2m, and the resonant angular frequency is given by ω02 = k/m. The solution
of the quadratic equation (1.6) is
ω = iβ ± ω02 − β 2 (1.7)
Using this expression for the angular frequency in the assumed solution (1.4) gives
x(t) = X1 exp (−βt) exp i ω02 − β 2 t + X2 exp (−βt) exp −i ω02 − β 2 t (1.8)
Consider the initial values x(0) = A and ẋ(0) = 0; then the two initial conditions impose the values
2 The “dot” notation stands for a time derivative: ẋ = dx/dt and ẍ = d 2 x/dt 2 . It is a
modern remnant of Newton’s fluxion notation.
6 Introduction to Modern Dynamics
⎛ ⎞
A ⎝ ω0 − β − iβ ⎠
2 2
X1 =
2 ω02 − β 2
⎛ ⎞ (1.9)
A ⎝ ω0 − β + iβ ⎠
2 2
X2 = = X1∗
2 ω2 − β 20
which is plotted in Fig. 1.1(a) for the case where the initial displacement is a maximum and the initial speed is zero.
The oscillator “rings down” with the exponential
decay constant β. The angular frequency of the ring-down is not
equal to ω0 , but is reduced to the value ω0 − β . Hence, the damping decreases the frequency of the oscillator from
2 2
its natural resonant frequency. A system trajectory in state space starts at an initial condition (x0 , v0 ), and uniquely
traces the time evolution of the system as a curve in the state space. In Fig. 1.1(b), only one trajectory (stream line) is
drawn, but streamlines fill the state space, although they never cross, except at singular points where all velocities vanish.
Streamlines are the field lines of the vector field. Much of the study of modern dynamics is the study of the geometric
properties of the vector field (tangents to the streamlines) and field lines associated with a defined set of flow equations.
(a) (b)
Configuration space State space
1
1.0
A=1
Envelope function β = 0.05
exp(–βt) ω0 = 0.5
0.5
Position
Velocity
0 0
–0.5
–1 –1.0
–1 –0.5 0 0.5 1
0 20 40 60 80 100
Time Position
Figure 1.1 Trajectories of the damped harmonic oscillator. (a) Configuration position versus time. (b) State space, every point
of which has a tangent vector associated with it. Streamlines are the field lines of the vector field and are dense. Only a single
streamline is shown.
Physics and Geometry 7
dq1
= F1 (q1 , q2 , . . . , qN ; t)
dt
dq2
= F2 (q1 , q2 , . . . , qN ; t)
dt (1.11)
..
.
dqN
= FN (q1 , q2 , . . . , qN ; t)
dt
dqa
= Fa (qa ; t) (1.12)
dt
Systems that exhibit self-sustained oscillation, known as autonomous oscillators, are central to many of the topics
of nonlinear dynamics. For instance, an ordinary pendulum clock, driven by mechanical weights, is an autonomous
oscillator with a natural oscillation frequency that is sustained by gravity. One possible description of an autonomous
oscillator is given by the dynamical flow equations
ẋ = ωy + ωx 1 − x2 − y2
(1.13)
ẏ = −ωx + ωy 1 − x2 − y2
continued
8 Introduction to Modern Dynamics
where ω is an angular frequency. The (x, y) state-space trajectories of this system are spirals that relax to the unit circle as
they approach a dynamic equilibrium, shown in Fig. 1.2. Without the second terms on the right-hand side, this is simply
an undamped harmonic oscillator. Examples and problems involving autonomous oscillators will recur throughout this
book in Chapters 4 (Chaos), 6 (Synchronization), 7 (Networks), 8 (Evolutionary Dynamics), 9 (Neurodynamics) and
10 (Economic Dynamics).
Figure 1.2 Flow lines of an autonomous oscillator with a limit cycle. All trajectories converge on the limit cycle.
The undamped point-mass pendulum is composed of a point mass m on a massless rigid rod of length L. It has a
two-dimensional state-space dynamics in the space (θ , ω) described by
θ̇ = ω
g (1.14)
ω̇ = − sin θ
L
The state-space trajectories can be obtained by integrating these equations using a nonlinear ODE solver. Alternatively,
the state-space trajectories can be obtained analytically if there are constants of the motion. For instance, because the
pendulum is undamped and conservative, the total energy of the system is a constant for a given initial condition,
1
mL2 ω2 + mgL (1 − cos θ )
E= (1.15)
2
referenced to the bottom of the motion in configuration space. If the maximum angle of the pendulum for a given
trajectory is θ0 , then
E = mgL (1 − cos θ0 ) (1.16)
Physics and Geometry 9
and
1
mL2 ω2 = mgL (cos θ − cos θ0 ) (1.17)
2
which is solved for the instantaneous angular velocity ω as
ω (θ ) = ±ω0 2 (cos θ − cos θ0 ) (1.18)
These are oscillatory motions for θ0 < π. For larger energies, the motion is rotational (also known as libration). The
solutions in this case are
ω (θ ) = ±ω0 2 (cos θ0 − cos θ ) (1.19)
where cos θ 0 is not a physical angle, but is an effective parameter describing the total energy as
E
cos θ0 = 1 + (1.20)
mgL
The (θ, ω) state-space trajectories of the undamped point-mass pendulum are shown in Fig. 1.3. When the state space
pertains to a conservative system, it is also called phase space. Conservative systems are Hamiltonian systems and are
described in Chapter 3.
10
Open orbits
5
Momentum
0 Separatrix
–5
Closed orbits
–10
–5 0 5
Angle
Figure 1.3 State space of the undamped point-mass pendulum. The configuration space is one-dimensional along the angle
θ . Closed orbits (oscillation) are separated from open orbits (rotation) by a curve known as a separatrix.
10 Introduction to Modern Dynamics
this reason, we need to find transformation laws that convert the description from
one frame to another.
Vectors are represented by column matrices (which is the meaning of the super-
scripts here3 ). It is important to remember that these superscripts are not
“powers.” A coordinate component raised to an nth power will be expressed
as (xa )n . For N free particles, a single 3N-dimensional position vector defines
the instantaneous configuration of the system. To abbreviate the coordinate
description, one can use the notation
x = xa a = 1, . . . , 3N (1.26)
where the curly brackets denote the full set of coordinates. An even shorter, and
more common, notation for a vector is simply
xa (1.27)
where the full set a = 1, . . ., 3N is implied. Cases where only a single coordinate
is intended will be clear from the context. The position coordinates develop in
3 The superscript is a part of the nota-
time as
tion for tensors and manifolds in which
vectors differ from another type of com-
xa (t) (1.28) ponent called a covector that is denoted
by a subscript. In Cartesian coordinates,
a superscript denotes a column vector
which describes a trajectory of the system in its 3N-dimensional configuration and a subscript denotes a row vector (see
space. Appendix A.3).
12 Introduction to Modern Dynamics
where t is the time and s is the path length along the trajectory. Once the trajectory
of a point has been defined within its configuration space, it is helpful to define
properties of the trajectory, like the tangent to the curve and the normal. The
velocity vector is tangent to the path. For a single particle in 3D, this would be
⎛ ⎞
dx1 (s)
⎜ ds ⎟
⎜ ⎟
⎜ dx2 (s) ⎟ ds
=⎜
v(s) ⎜
⎟
⎟ (1.30)
⎜ ds ⎟ dt
⎝ dx3 (s) ⎠
ds
where the ds/dt term is simply the speed of the particle. In the simplified index
notation, this is
ds dxa (s)
va (s) =
dt ds
ds
= Ta (1.31)
dt
dxa
Ta = (1.32)
ds
Each point on the trajectory has an associated tangent vector. In addition to the
tangent vector, another important vector property of a trajectory is the normal to
the trajectory, defined by
dT a
= κN a (1.33)
ds
where N a is the unit vector normal to the curve, and the curvature of the
trajectory is
1
κ= (1.34)
R
= v20 − 2gy
= v20 + g 2 t 2 = v2 (1.38)
with the arc length element
ds = v20 + g 2 t 2 dt
g 2 x2
= 1+ dx (1.39)
v40
and the tangent vector components
dx 1
T1 = =
ds g 2 x2
1+
v40
gx (1.40)
− 4 More generally, the invariant squared
dy v20
T2 = = path length interval ds2 is an essential part
ds g 2 x2 of the metric description of the geometry
1+ of space–time and other dynamical spaces,
v40 and is a key aspect of geodesic motion for
bodies moving through those spaces (see
continued
Chapter 11).
14 Introduction to Modern Dynamics
The trajectory and its tangent vector are described as functions of position—
a geometric curve rather than an explicit function of time. While the results
for this familiar problem may look unfamiliar, it is similar to the description
of trajectories in special relativity, or to geodesic trajectories near gravitating
bodies in space–time that will be treated in later chapters.
where the transformations associated with each index may have different func-
tional forms and do not need to be linear functions of their arguments. The
generalized coordinates do not need to have the dimension of length, and each can
have different units. However, it is required that the transformation be invertible
(one-to-one).
Generalized coordinates can be used to simplify the description of the motions
of complex systems composed of large numbers of particles. If there are N par-
ticles, each with three coordinates, then the total dimension of the configuration
space is 3N and there is a dense set of system trajectories that thread their way
through this configuration space. However, often there are constraints on the
physical system, such as the requirement that particles be constrained to reside
on a physical surface such as the surface of a sphere. In this case, there are
equations that connect two or more of the coordinates. If there are K equa-
tions of constraints, then the number of independent generalized coordinates is
3N − K and the motion occurs on a (3N – K)-dimensional hypersurface within
the configuration space. This hypersurface is called a manifold. In principle, it
is possible to find the 3N – K generalized coordinates that span this manifold,
Physics and Geometry 15
and the manifold becomes the new configuration space spanned by the 3N – K
generalized coordinates. Furthermore, some of the generalized coordinates may
not participate in the dynamics. These are called ignorable coordinates (also known
as cyclic coordinates), and they arise owing to symmetries in the configuration space
plus constraints, and are associated with conserved quantities. The dimensionality
of the dynamical manifold on which the system trajectory resides is further
reduced by each of these conserved quantities. Ultimately, after all the conserved
quantities and all the constraints have been accounted for, the manifold that
contains the system trajectory may have a dimension much smaller than the
dimension of the original Cartesian configuration space.
Consider a bead sliding without friction on a helical wire with no gravity. The trajectory is defined in 3D Cartesian
coordinates by
x(t) = R cos ωt
y(t) = R sin ωt (1.42)
z(t) = vz t
parameterized by time t. There are two constraints
x2 + y 2 = R 2
(1.43)
z = aθ
where a is the pitch of the helix and θ = ωt. These constraints reduce the 3D dynamics to 1D motion (3 – 2 = 1), and
the 1D trajectory has a single generalized coordinate
q(t) = t R2 ω2 + v2z (1.44)
which is also equal to the path length s. The speed of the particle is a constant and is
ṡ = R2 ω2 + v2z (1.45)
q1 = q1 (x, y, z)
q2 = q2 (x, y, z) (1.47)
q3 = q3 (x, y, z)
which may be generalized coordinates that are chosen to simplify the equations
of motion of a dynamical system.
row index
a
Jba = ∂x (1.49)
∂qb
column index
where the superscript and subscript relate to xa and qb , respectively. The super-
script is called a contravariant index, and the subscript is called a covariant index.
One way to remember this nomenclature is that “co” goes “below.” The covariant
index refers to the columns of the matrix, and the contravariant index refers to the
rows. Column vectors have contravariant indices because they have multiple rows,
while row vectors have covariant indices because they have multiple columns. Row
vectors are also known as covariant vectors, or covectors.
When transforming between Cartesian and generalized coordinates, an
infinitesimal transformation is expressed as
∂xa
dxa = dqb = Jba dqb (1.50)
∂qb
b b
Physics and Geometry 17
where the Jacobian matrix Jba can depend on position. If the transformation is
linear, then the Jacobian matrix is a constant. The operation of the Jacobian matrix
on the generalized coordinates generates a new column vector dxa .
Rather than always expressing the summation explicitly, there is a common
convention, known as the Einstein summation convention, in which the summation
symbol is dropped and a repeated index—one above and one below—implies
summation:
Einstein summation convention xa = Λab qb ≡ Λab qb (1.51)
b
where the “surviving” index—a—is the non-repeated index. Note that Λba is a
linear transformation. For example, in three dimensions, this is
and is simplified to
xa = Λab qb (1.54)
A · B = Ax Bx + Ay By + Az Bz
= Aa Ba (1.55)
and the implicit summation over the repeated indices produces a scalar quantity
from the two vector quantities. The inner product in matrix notation multiplies a
column vector from the left by a row vector.
The Jacobian matrix and its uses are recurring themes in modern dynamics.
Its uses go beyond simple coordinate transformations, and it appears any time a
nonlinear system is “linearized” around fixed points to perform stability analysis
18 Introduction to Modern Dynamics
(Chapter 4). The eigenvalues of the Jacobian matrix define how rapidly nearby
initial conditions diverge (called Lyapunov exponents—Chapters 4 and 9). The
determinant of the Jacobian matrix is the coefficient relating area and volume
changes (Chapter 11), and is used to prove which processes conserve volumes in
phase space or Minkowski space (Chapters 3 and 12).
∂x 1 ∂x
dx = dq + 2 dq2
∂q1 ∂q
(1.56)
∂y 1 ∂y
dy = dq + 2 dq2
∂q1 ∂q
The square matrix is the Jacobian matrix of the transformation. Transposing this
expression gives
⎛ ⎞
∂x ∂y
⎜ 1
∂q ∂q1 ⎟
(dx dy) = dq1 dq2 ⎜⎝ ∂x
⎟
∂y ⎠
∂q2 ∂q2
e 1
q
= dq dq
1 2
(1.58)
eq2
where the rows of the matrix have become basis vectors (covectors)
∂x ∂y
eq1 =
∂q1 ∂q1
(1.59)
∂x ∂y
eq2 =
∂q2 ∂q2
Basis vectors are used to express elements of the Cartesian vectors in terms of the
curvilinear coordinates as
The coordinate transformations describing Cartesian coordinates in terms of polar coordinates are
x = r cos θ
y = r sin θ (1.62)
z=z
The basis row vectors for the composition of Cartesian components in terms of the curvilinear coordinates are
∂x ∂y ∂z
er = = (cos θ sin θ 0)
∂r ∂r ∂r
∂x ∂y ∂z
eθ = = (−r sin θ r cos θ 0) (1.63)
∂θ ∂θ ∂θ
∂x ∂y ∂z
ez = = (0 0 1)
∂z ∂z ∂z
(Einstein summation implied), where gab is called the metric tensor. To find
an explicit expression for the metric tensor, given a coordinate transformation,
consider the differential transformation between coordinates xa and qb ,
∂xa b
dxa = dq (1.65)
∂qb
20 Introduction to Modern Dynamics
∂x 1 ∂x ∂x
dx = dq + 2 dq2 + 3 dq3
∂q1 ∂q ∂q
∂y 1 ∂y ∂y
dy = dq + 2 dq2 + 3 dq3 (1.66)
∂q1 ∂q ∂q
∂z 1 ∂z ∂z
dz = 1
dq + 2 dq2 + 3 dq3
∂q ∂q ∂q
with similar expressions for dy and dz. These squares are added (in quadrature)
to give the squared line element
ds2 = g11 dq1 dq1 + g12 dq1 dq2 + g13 dq1 dq3
+ g21 dq2 dq1 + g22 dq2 dq2 + g23 dq2 dq3
+ g31 dq3 dq1 + g32 dq3 dq2 + g33 dq3 dq3
in terms of the metric tensor gab . Collecting the coefficients of each of the dqa dqb
terms, and equating ds2 to the right-hand side, yields
∂x ∂x ∂y ∂y ∂z ∂z
g11 = + 1 1 + 1 1
∂q1 ∂q1 ∂q ∂q ∂q ∂q
∂x ∂x ∂y ∂y ∂z ∂z (1.70)
g12 = 1 2
+ 1 2 + 1 2
∂q ∂q ∂q ∂q ∂q ∂q
...
∂x ∂x ∂y ∂y ∂z ∂z
gab = + a b + a b (1.71)
∂qa ∂qb ∂q ∂q ∂q ∂q
Physics and Geometry 21
r
P (r, θ, z)
O
y-axis
θ
x-axis
O y-axis
φ
x-axis
Figure 1.4 Cylindrical and spherical
coordinate systems with line elements
ds2 .
for each element of the metric tensor. Alternatively, one can begin with
ds2 = d r · d r
= ea dqa · eb dqb
= (
ea · eb ) dqa dqb (1.72)
where the metric tensor elements are the inner products of basis vectors.
22 Introduction to Modern Dynamics
where Rba is the rotation matrix and Aa are the components of the vector as
viewed in the unprimed frame. For a 2D coordinate frame O that has been rotated
clockwise by an angle θ relative to the unprimed frame O, the rotation matrix that
transforms the vector components (described with respect to the new frame) is
cos θ − sin θ
2D rotation matrix Rba = . (1.75)
sin θ cos θ
The inverse transformation Rba has the primed index below, while in the forward
transformation of vector components, Rba , the primed index is above.
A vector quantity is expressed in terms of the basis vectors as
A = Aa ea = Ab eb (1.78)
Physics and Geometry 23
y
y
Ab = Rba Aa
Ay
Ay
Ax cos θ –sin θ Ax
=
A Ay sin θ cos θ Ay
êy
êx
êy Ax x Figure 1.5 Rotated coordinate axes
Ax
θ through the transformation Rab . The
êx vector A remains the same—only the
description of the vector (vector compo-
x
nents projected onto the axes) changes.
= Ab eb (1.79)
where the quantity Rba Rab is the identity matrix.
where each rotation is applied around a different axis. When applied to a basis
vector ea , this produces the successive transformations
eb = Rab (φ) ea
ec = Rbc (φ) eb (1.81)
c
ed = Rd (φ) ec
24 Introduction to Modern Dynamics
where the original primed frame is rotated into the double-primed frame, then the
z
. double-primed frame is rotated into the triple-primed frame, which is rotated into
φ the unprimed frame, which is the resultant frame of the 3D rotation. Although
there is no unique choice for the rotation axes, one conventional choice known
z = z . y as Euler angles uses a rotation by φ around the z axis, then by θ around the x
Ψ θ
axis, and finally by ψ around the z axis (Fig. 1.6). The rotation matrices for this
choice are
⎛ ⎞
y cos φ − sin φ 0
ψ x a ⎜ ⎟
Rz (φ) = Z = ⎝ sin φ
b cos φ 0⎠ (1.82)
x φ
. 0 0 1
θ ⎛ ⎞
x = x 1 0 0
⎜ ⎟
Line of Nodes
Rx (θ ) = Xcb = ⎝0 cos θ − sin θ ⎠ (1.83)
Figure 1.6 Euler angles for a 3D rota- 0 sin θ cos θ
tion. The original primed axes are first ⎛ ⎞
cos ψ − sin ψ 0
rotated by φ around the z-axis (fixed- ⎜ ⎟
frame z-axis), then by θ around the Rz (ψ) = Zdc = ⎝ sin ψ cos ψ 0⎠ (1.84)
x-axis (also known as the line of nodes), 0 0 1
and finally by ψ around the z-axis (body
z-axis). Euler angles are important for describing spinning or rotating systems in terms
of angular velocities. The angular velocities in the body frame are
⎛ ⎞ ⎛ ⎞⎛ ⎞
ω1 sin θ sin ψ cos ψ 0 φ̇
⎜ 2⎟ ⎜ ⎟⎜ ⎟
⎝ω ⎠ = ⎝ sin θ cos ψ − sin ψ 0⎠ ⎝θ̇ ⎠ (1.85)
ω3 cos θ 0 1 ψ̇
3D rotation matrix Rab = Iba cos θ + Sba sin θ + Tba (1 − cos θ) (1.87)
Physics and Geometry 25
where Iba = δba is the identity matrix, and the other matrices are
⎛ ⎞
0 −uz uy
a ⎜ ⎟
Sb = ⎝ uz 0 −ux ⎠
− uy ux 0
⎛ ⎞ (1.88)
ux ux ux uy ux uz
⎜ ⎟
Tba = ⎝uy ux uy uy uy uz ⎠
uz ux uz uy uz uz
with ua being the Cartesian components of the unit vector. The matrix Tba is the
tensor product of the unit vector with itself, denoted in vector notation as û ⊗ û .
The matrix Sba is a skew-symmetric matrix constructed from the unit vector and
is denoted in vector notation as the operator û× for the cross product. The
structure of the skew-symmetric matrix reflects the geometry of rotations in 3D
space. It is this intrinsic property of 3-space that is the origin of physics equations
containing cross products, such as definitions of angular momentum and torque
as well as equations that depend on the moments of inertia, which are encountered
later in this chapter.
relative to the origin of the rotating frame. The primed position vector is then
r = R + r (1.91)
26 Introduction to Modern Dynamics
x3
P
r
x3
x2
r
R
x1
x2
˙ + d xa ê
r˙ = R a
dt
=R˙ + ẋa ê + xa ê˙
a a
˙ + r˙ + xa ê˙
=R (1.92)
a
(the Einstein summation convention on the repeated index is assumed), where the
last term is a non-inertial term because the basis vectors of the rotating frame are
changing in time.
To obtain the time derivative of the basis vectors, consider an infinitesimal
rotation transformation that operates on the basis vectors of the body frame
d êa
êb = Rab êa = δba êa + dt (1.93)
dt
where the infinitesimal rotation matrix Rba from Eq. (1.87) is expressed to lowest
order in dθ = ωdt as
⎛ ⎞ ⎛ ⎞
1 0 0 0 −ωz ωy
⎜ ⎟ ⎜ ⎟
Rab ≈ ⎝0 1 0⎠ − ⎝ ω z 0 −ωx ⎠ dt (1.94)
0 0 1 − ωy ωx 0
xa ê˙a = ω
× r (1.98)
Cross products occur routinely in the physics of rotating frames and rotating
bodies, and are efficiently expressed in vector notion, which will be used through
most of the remainder of the chapter instead of the index notation.6 By using Eq.
(1.98) in Eq. (1.92), the fixed and rotating velocities are related by
vf = V + vr + ω
× r (1.99)
= ω,
As an example, consider the case Q 6 Vector cross products arise from the
˙ f = ω
ω ˙ r (1.102)
proving that angular accelerations are observed to be the same, just as linear
accelerations are the same when transforming between inertial frames. This
equality is because the rotating frame is in constant angular motion.
As a second, and more important example, take the time derivative of
Eq. (1.99). This is
d vf d V d vr ˙ × r + ω d r
= + +
ω × (1.103)
dt fixed dt fixed dt fixed dt fixed
=ω
× vr + ω
× (ω
× r) (1.105)
¨ + a + ω
af = R ˙ × r + ω
× (ω
× r) + 2ω
× vr (1.106)
r
¨ + ma + mω
F f = mR ˙ + r + mω
× (ω
× r) + 2mω
× vr (1.107)
r
¨ − mω
F eff = mar = Ff − mR ˙ × r − mω
× (ω
× r) − 2mω
× vr (1.108)
The first two terms on the right are the fixed-frame forces. The third term is the
effect of the angular acceleration of the spinning frame. The fourth term is the
centrifugal force, and the last term is the Coriolis force. The centrifugal and the
Coriolis forces are called fictitious forces. They are only apparent in the rotating
frame because the rotating frame is not inertial.
Physics and Geometry 29
Center-of-mass
Centrifugal force
acceleration
.
¨
mar = Ff – mR – mω × r – mω × (ω × r) – 2mω × νr
External force Angular Coriolis force Figure 1.9 Effective force in a frame
acceleration rotating with angular velocity ω.
The fourth term is related to the deceleration of the Earth and is negligible. The
−mω × ω × R
( )
centrifugal term is re-expressed as
¨ = ω
R × ω × R gmin
=ω ˙
×R (1.110)
gives
This last equation adds the centrifugal contribution to the measured gravitational
acceleration. The last term in Eq. (1.113), −2mω× vr , is the Coriolis force that has
important consequences for weather patterns on Earth, and hence has a powerful
effect on the Earth’s climate (Fig. 1.11). It is also a sizeable effect for artillery
projectiles. On the other hand, it plays a negligible role in the motion of whirlpools
in bathtubs.
30 Introduction to Modern Dynamics
1
T
y ar = g + T − 2ω
× vr (1.114)
m
mg
where the components of the tension and angular velocity are
x
x
Tx = −T ωx = −ω cos λ
Figure 1.12 Geometry of a Foucault y
pendulum of mass m attached to a mass- Ty = −T ωy = 0 (1.115)
less string of length supporting a ten- z
Tz = −T ωz = ω sin λ
sion T.
− ωy ωx 0 vz
⎛ ⎞⎛ ⎞
0 −ω sin λ 0 vx
⎜ ⎟⎜ ⎟
= ⎝ω sin λ 0 ω cos λ⎠ ⎝vy ⎠
0 −ω cos λ 0 0
⎛ ⎞
−ωẏ sin λ
⎜ ⎟
= ⎝ ωẋ sin λ ⎠ (1.116)
− ωẏ cos λ
Tx
arx = ẍ = + 2ẏω sin λ
m (1.117)
Ty
ary = ÿ = − − 2ẋω sin λ
m
ẍ + ω02 x = 2ωz ẏ
T g (1.118)
ÿ + ω02 y = −2ωz ẋ where ω02 = ≈
m
The coupled equations are added in quadrature (See Appendix A.3) to yield
CHAPTER VII
CHAPTER VIII
CHAPTER IX