Analytical mechanics is the foundation of many areas of theoretical physics, including quantum theory and statistical mechanics, and has wide-ranging applications in engineer- ing and celestial mechanics. This introduction to the basic principles and methods of analytical mechanics covers Lagrangian and Hamiltonian dynamics, rigid bodies, small oscillations, canonical transformations and Hamilton-Jacobi theory. This fully up-to-date textbook includes detailed mathematical appendices and addresses a number of advanced topics, some of them of a geometric or topological character. These include Bertrand’s theorem, proof that action is least, spontaneous symmetry breakdown, constrained Hamil- tonian systems, non-integrability criteria, KAM theory, classical field theory, Lyapunov functions, geometric phases and Poisson manifolds. Providing worked examples, end-of- chapter problems and discussion of ongoing research in the field, it is suitable for advanced undergraduate students and graduate students studying analytical mechanics.
Nivaldo A. Lemos is Associate Professor of Physics at Federal Fluminense University, Brazil. He was previously a visiting scholar at the Massachusetts Institute of Technology. His main research areas are quantum cosmology, quantum field theory and the teaching of classical mechanics.
Analytical Mechanics
NIVALDO A. LEMOS Fluminense Federal University University Printing House, Cambridge CB2 8BS, United Kingdom One Liberty Plaza, 20th Floor, New York, NY 10006, USA 477 Williamstown Road, Port Melbourne, VIC 3207, Australia 314–321, 3rd Floor, Plot 3, Splendor Forum, Jasola District Centre, New Delhi – 110025, India 79 Anson Road, #06–04/06, Singapore 079906
Cambridge University Press is part of the University of Cambridge. It furthers the University’s mission by disseminating knowledge in the pursuit of education, learning, and research at the highest international levels of excellence.
www.cambridge.org Information on this title: www.cambridge.org/9781108416580 DOI: 10.1017/9781108241489 © 2004, Editora Livraria da F´ısica, Sao˜ Paulo English translation © Cambridge University Press 2018 Revised and enlarged translation of Mecanicaˆ Anal´ıtica by Nivaldo A. Lemos originally published in Portuguese by Editora Livraria da F´ısica, Sao˜ Paulo 2004 This publication is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University Press. English edition first published 2018 Printed in the United Kingdom by TJ International Ltd. Padstow Cornwall A catalogue record for this publication is available from the British Library. Library of Congress Cataloging-in-Publication Data Names: Lemos, Nivaldo A., 1952– author. Title: Analytical mechanics / Nivaldo A. Lemos, Fluminense Federal University. Other titles: Mecanicaˆ anal´ıtica. English Description: Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2018. | Includes bibliographical references and index. Identifiers: LCCN 2018011108| ISBN 9781108416580 (hb) | ISBN 1108416586 (hb) Subjects: LCSH: Mechanics, Analytic. Classification: LCC QA805 .L4313 2018 | DDC 531.01/515–dc23 LC record available at https://lccn.loc.gov/2018011108 ISBN 978-1-108-41658-0 Hardback Cambridge University Press has no responsibility for the persistence or accuracy of URLs for external or third-party internet websites referred to in this publication and does not guarantee that any content on such websites is, or will remain, accurate or appropriate. To my wife Marcia and my daughters Cintia, Luiza and Beatriz
Contents
Preface page xi
1 Lagrangian Dynamics 1 1.1 Principles of Newtonian Mechanics 1 1.2 Constraints 7 1.3 Virtual Displacements and d’Alembert’s Principle 11 1.4 Generalised Coordinates and Lagrange’s Equations 17 1.5 Applications of Lagrange’s Equations 24 1.6 Generalised Potentials and Dissipation Function 28 1.7 Central Forces and Bertrand’s Theorem 31 Problems 37
2 Hamilton’s Variational Principle 42 2.1 Rudiments of the Calculus of Variations 42 2.2 Variational Notation 49 2.3 Hamilton’s Principle and Lagrange’s Equations 50 2.4 Hamilton’s Principle in the Non-Holonomic Case 56 2.5 Symmetry Properties and Conservation Laws 65 2.6 Conservation of Energy 71 2.7 Noether’s Theorem 73 Problems 78
3 Kinematics of Rotational Motion 86 3.1 Orthogonal Transformations 86 3.2 Possible Displacements of a Rigid Body 92 3.3 Euler Angles 95 3.4 Infinitesimal Rotations and Angular Velocity 96 3.5 Rotation Group and Infinitesimal Generators 102 3.6 Dynamics in Non-Inertial Reference Frames 103 Problems 109
4 Dynamics of Rigid Bodies 112 4.1 Angular Momentum and Inertia Tensor 112 4.2 Mathematical Interlude: Tensors and Dyadics 114 4.3 Moments and Products of Inertia 119 vii viii Contents
4.4 Kinetic Energy and Parallel Axis Theorem 120 4.5 Diagonalisation of the Inertia Tensor 122 4.6 Symmetries and Principal Axes of Inertia 126 4.7 Rolling Coin 129 4.8 Euler’s Equations and Free Rotation 131 4.9 Symmetric Top with One Point Fixed 139 Problems 145
5 Small Oscillations 149 5.1 One-Dimensional Case 149 5.2 Anomalous Case: Quartic Oscillator 154 5.3 Stationary Motion and Small Oscillations 161 5.4 Small Oscillations: General Case 163 5.5 Normal Modes of Vibration 165 5.6 Normal Coordinates 170 5.7 Mathematical Supplement 176 Problems 178
6 Relativistic Mechanics 183 6.1 Lorentz Transformations 183 6.2 Light Cone and Causality 188 6.3 Vectors and Tensors 191 6.4 Tensor Fields 194 6.5 Physical Laws in Covariant Form 196 6.6 Relativistic Dynamics 199 6.7 Relativistic Collisions 204 6.8 Relativistic Dynamics in Lagrangian Form 207 6.9 Action at a Distance in Special Relativity 209 Problems 211
7 Hamiltonian Dynamics 215 7.1 Hamilton’s Canonical Equations 215 7.2 Symmetries and Conservation Laws 220 7.3 The Virial Theorem 221 7.4 Relativistic Hamiltonian Formulation 224 7.5 Hamilton’s Equations in Variational Form 226 7.6 Time as a Canonical Variable 228 7.7 The Principle of Maupertuis 234 Problems 237
8 Canonical Transformations 242 8.1 Canonical Transformations and Generating Functions 242 8.2 Canonicity and Lagrange Brackets 248 ix Contents
8.3 Symplectic Notation 250 8.4 Poisson Brackets 254 8.5 Infinitesimal Canonical Transformations 258 8.6 Angular Momentum Poisson Brackets 262 8.7 Lie Series and Finite Canonical Transformations 264 8.8 Theorems of Liouville and Poincare´ 268 8.9 Constrained Hamiltonian Systems 272 Problems 281
9 The Hamilton-Jacobi Theory 288 9.1 The Hamilton-Jacobi Equation 288 9.2 One-Dimensional Examples 291 9.3 Separation of Variables 294 9.4 Incompleteness of the Theory: Point Charge in Dipole Field 299 9.5 Action as a Function of the Coordinates 303 9.6 Action-Angle Variables 306 9.7 Integrable Systems: The Liouville-Arnold Theorem 312 9.8 Non-integrability Criteria 316 9.9 Integrability, Chaos, Determinism and Ergodicity 318 9.10 Prelude to the KAM Theorem 320 9.11 Action Variables in the Kepler Problem 323 9.12 Adiabatic Invariants 325 9.13 Hamilton-Jacobi Theory and Quantum Mechanics 329 Problems 332
10 Hamiltonian Perturbation Theory 338 10.1 Statement of the Problem 338 10.2 Generating Function Method 341 10.3 One Degree of Freedom 342 10.4 Several Degrees of Freedom 345 10.5 The Kolmogorov-Arnold-Moser Theory 348 10.6 Stability: Eternal or Long Term 353 10.7 Lie Series Method 354 Problems 358
11 Classical Field Theory 360 11.1 Lagrangian Field Theory 360 11.2 Relativistic Field Theories 365 11.3 Functional Derivatives 367 11.4 Hamiltonian Field Theory 371 11.5 Symmetries of the Action and Noether’s Theorem 374 11.6 Solitary Waves and Solitons 378 11.7 Constrained Fields 381 Problems 385 x Contents
Appendix A Indicial Notation 392 Appendix B Frobenius Integrability Condition 398 Appendix C Homogeneous Functions and Euler’s Theorem 406 Appendix D Vector Spaces and Linear Operators 408 Appendix E Stability of Dynamical Systems 421 Appendix F Exact Differentials 426 Appendix G Geometric Phases 428 Appendix H Poisson Manifolds 433 Appendix I Decay Rate of Fourier Coefficients 440 References 442 Index 452 Preface
It is no exaggeration to say that analytical mechanics is the foundation of theoretical physics. The imposing edifice of quantum theory was erected on the basis of analytical mechanics, particularly in the form created by Hamilton. Statistical mechanics and the quantum field theory of elementary particles are strongly marked by structural elements extracted from classical mechanics. Moreover, the modern development of the theories of chaos and general dynamical systems has given rise to a renaissance of classical mechanics that began in the middle of the twentieth century and is ongoing today. Thus, the study of virtually any branch of contemporary physics requires a solid background in analytical mechanics, which remains important in itself on account of its applications in engineering and celestial mechanics. For more than two decades, intermittently, the author has taught analytical mechanics to undergraduate physics students at Universidade Federal Fluminense in Niteroi,´ Brazil. The present book, fruit of the author’s teaching experience and ceaseless fascination with the subject, aims at advanced undergraduate or graduate students who have previously taken a course in intermediate mechanics at the level of Marion & Thornton (1995) or Taylor (2005). As to mathematical prerequisites, the usual courses on calculus of one and several variables, ordinary differential equations and linear algebra are sufficient. Analytical mechanics is much more than a mere reformulation of Newtonian mechanics, and its methods have not been primarily conceived to help solve the equations of motion of specific mechanical systems. To make this clear, symmetry properties, invariance and general structural features of mechanics are highlighted in the course of the presentation. As remarked by Vladimir I. Arnold, numerous modern mathematical theories, with which some of the greatest names in the history of mathematics are associated, owe their existence to problems in mechanics. Accordingly, without neglecting the physical aspects of the discipline but recognising its eminently mathematical character, it is trusted that the level of mathematical precision maintained throughout the exposition will be found satisfactory. The main compromise in this aspect is the use of infinitesimal quantities, which seems advisable when first exposing students to the notions of virtual displacement and continuous families of transformations. Auxiliary mathematical results are kept out of the main text except when they naturally fit the development of the formalism. Theorems of more frequent and general use are stated and some proved in the appendices. With regard to the theorems stated without proof, reference is made to mathematical texts in which proofs can be found. The progressive replacement of heuristic arguments with rigorous mathematical justifications is in line with the trend of contemporary theoretical physics, whose mathematical language is becoming increasingly sophisticated. xi xii Preface
The mathematical apparatus of analytical mechanics is very rich and grants students the first contact with concepts and tools that find extensive application in the most varied fields of physics. Notions such as linear operator, eigenvalue, eigenvector, group, Lie algebra, differential form and exterior derivative arise naturally in a classical context, where circumstances are more easily visualisable and intuition is almost always a safe guide. The high degree of generality of the formalism is conducive to enhancing the student’s abstraction ability, so necessary for the proper understanding of contemporary physical theories. The presentation mainly follows the traditional approach, which still seems the most suitable for a first course in analytical mechanics, and for which the author is heavily indebted to acclaimed classics such as Goldstein (1980) and Landau & Lifshitz (1976). The text fully covers the standard themes of an upper-level undergraduate course in analytical mechanics, such as Lagrangian and Hamiltonian dynamics, variational principles, rigid-body dynamics, small oscillations, canonical transformations, and Hamilton-Jacobi theory. The original edition, published in Portuguese in 2004, was well received by both students and colleagues in Brazil. For the present English translation the opportunity has been taken to significantly increase the number of advanced topics addressed. Properly selected, these advanced topics make the book suitable for a graduate course: Bertrand’s theorem (Chapter 1); a rigorous proof that action is least if the time interval is short enough (Chapter 2); Frobenius integrability condition and basic theory of differential forms (Appendix B); spontaneous symmetry breakdown (Chapter 5); quartic oscillator and Jacobi elliptic functions (Chapter 5); Van Dam-Wigner no-interaction theorem (Chapter 6); time as a canonical variable and parameterised-time systems (Chapter 7); constrained Hamiltonian systems (Chapter 8); limitations of the Hamilton-Jacobi theory based on the separation of variables technique (Chapter 9); non- integrability criteria (Chapter 9); canonical perturbation theory and introductory KAM theory (Chapter 10); classical field theory (Chapter 11); stability of dynamical systems and Lyapunov functions (Appendix E); geometric phases (Appendix F); and Poisson manifolds (Appendix G). The exposition is characterised by many fully worked-out examples so as to make it accessible to typical students. At the same time, the text is intended to be stimulating and challenging to the most gifted students. The end-of-chapter problems are aimed at testing the understanding of the theory exposed in the main body of the text as well as enhancing the reader’s problem-solving skills, but some are more demanding and introduce new ideas or techniques, sometimes originated in research articles. The straightforward exercises sprinkled through the chapters and appendices are intended to stimulate an active involvement of the serious student with the development of the subject matter and are designed to be taken up on the spot. The References section, which includes very advanced books and recent research papers, aims at exciting the reader’s curiosity and showing that classical mechanics is neither a museum piece nor a closed chapter of physics. On the contrary, its power to charm resists the passage of time, and there are many problems worthy of investigation, some monumental, such as the question of the stability of the solar xiii Preface
system, which remains without a conclusive answer. Effort has been put forth to make the exposition even-handed, trying to strike the right balance between accessibility and the desire to afford a not too abrupt transition to the highly sophisticated treatments based on differential geometry and topology (Arnold, 1989; Thirring, 1997). It is hoped that, besides imparting the fundamental notions to fill the needs of most students, the book may prepare and persuade some readers to a deeper immersion in such a beautiful subject.
1 Lagrangian Dynamics
Lagrange has perhaps done more than any other analyst by showing that the most varied consequences respecting the motion of systems of bodies may be derived from one radical formula; the beauty of the method so suiting the dignity of the results, as to make of his great work a kind of scientific poem. William Rowan Hamilton, On a General Method in Dynamics Mechanical systems subject to restrictions (constraints) of a geometric or kinematic nature occur very often. In such situations the Newtonian formulation of dynamics turns out to be inconvenient and wasteful, since it not only requires the use of redundant variables but also the explicit appearance of the constraint forces in the equations of motion. Lagrange’s powerful and elegant formalism allows one to write down the equations of motion of most physical systems from a single scalar function expressed in terms of arbitrary independent coordinates, with the additional advantage of not involving the constraint forces.
1.1 Principles of Newtonian Mechanics
A fair appreciation of the meaning and breadth of the general formulations of classical mechanics demands a brief overview of Newtonian mechanics, with which the reader is assumed to be familiar. Virtually ever since they first appeared in the Principia, Newton’s three laws of motion have been controversial regarding their physical content and logical consistency, giving rise to proposals to cast the traditional version in a new form free from criticism (Eisenbud, 1958; Weinstock, 1961). Although the first and second laws are sometimes interpreted as a definition of force (Marion & Thornton, 1995; Jose&´ Saletan, 1998; Fasano & Marmi, 2006), we shall adhere to what we believe is the correct viewpoint that regards them as genuine laws and not mere definitions (Feynman, Leighton & Sands, 1963, p. 12–1; Anderson, 1990). A detailed analysis of the physical aspects and logical structure of Newton’s laws is beyond the scope of this section, whose main purpose is to serve as a reference for the rest of the exposition.
Laws of Motion
The postulates stated in this section are equivalent to Newton’s three laws of motion but seek to avoid certain logical difficulties of the original proposition.
1 2 Lagrangian Dynamics
LAW I There exist inertial reference frames with respect to which every isolated particle remains at rest or in uniform motion in a straight line. The existence of one inertial reference frame implies the existence of infinitely many, all moving with respect to each other in a straight line with constant speed. Implicit in this postulate is the Newtonian notion of absolute time, which of itself, and from its own nature, flows equably without relation to anything external, and is the same in all inertial reference frames. A particle is said to be “isolated” if it is far enough from all material objects. LAWII In any inertial reference frame the motion of a particle is governed by the equation ma = F , (1.1) where a is the particle’s acceleration, m is its mass and F is the total force acting on the particle. This postulate implicitly assumes that, associated with each particle, there is a positive constant m, called mass, which is the same in all inertial reference frames. Different types of force can be identified and the intuititive notion of force can be given an operational definition (Taylor, 2005, pp. 11–12). Force is supposed to have inherent properties that can be ascertained independently of Newton’s second law (Feynman, Leighton & Sands, 1963, p. 12–1). Furthermore, Eq. (1.1) cannot be a mere definition of force because it is changed to Eq. (6.99) in the special theory of relativity.
LAW III To every action there corresponds an equal and opposite reaction, that is, if Fij is the force on particle i exerted by particle j,then
Fij =−Fji . (1.2) This is the law of action and reaction in its weak form. The strong version states that, besides being equal and opposite, the forces are directed along the line connecting the particles; in other words, two particles can only attract or repel one another. The third law is not valid in general, since moving electric charges violate it. This is due to the finite propagation speed of the electromagnetic interactions, which requires the introduction of the electromagnetic field as mediator of such interactions. In the case of a system with several particles, it is assumed that the force on each particle can be decomposed in external forces, exerted by sources outside the system, and internal forces, due to the other particles of the system.1 Thus, the equation of motion for the ith particle of a system of N particles is, according to the second law, N dp i = F + F(e), (1.3) dt ij i j=1 j i= where dr p = m v = m i (1.4) i i i i dt
1 The possibility that a particle acts on itself is excluded. 3 Principles of Newtonian Mechanics
is the linear momentum or just momentum of the ith particle, mi its mass, ri its position (e) vector, vi its velocity and Fi denotes the net external force on it. Conservation Theorems
By summing Eqs. (1.3) over all particles one finds2 d2r m i = F + F(e) = F(e) (1.5) i dt2 ij i i i i,j i i i j= because 1 Fij = (Fij + Fji) = 0, (1.6) 2 i,j i,j i j= i j= where we have used Eq. (A.9) from Appendix A as well as Eq. (1.2). Defining the centre- of-mass position vector by miri miri R = i ≡ i , (1.7) i mi M Eq. (1.5) takes the form d2R M = F(e) def= F(e) , (1.8) dt2 i i where F(e) is the total external force. This last equation can be written as dP = F(e) (1.9) dt in terms of the total linear momentum of the system, defined by dr dR P = m v = m i = M . (1.10) i i i dt dt i i Thus, an important conservation law is inferred. Theorem 1.1.1 (Linear Momentum Conservation) If the total external force is zero, the total linear momentum of a system of particles is conserved.
The system’s total angular momentum with respect to a point Q with position vector rQ 3 is given by LQ = mi(ri − rQ) × (r˙i − r˙Q), (1.11) i