1 Symplectic Geometry in Classical Mechanics

Total Page:16

File Type:pdf, Size:1020Kb

1 Symplectic Geometry in Classical Mechanics Aspects of Symplectic Geometry in Physics Josh Powell 1 Symplectic Geometry In Classical Mechanics We seek here to use geometry to gain a more solid understanding of physics. This process may seem frighteningly mathematical, but we shouldn’t expect much gain in insight with only a modicum of effort. Following Alexander Pope: “A little learning is a dangerous thing; Drink deep, or taste not the Pierian spring: There shallow draughts intoxicate the brain, And drinking largely sobers us again.” 1.1 Hasty Review of Classical Mechanics Consider a mechanical system with both position degrees of freedom, qi, and momentum degrees of freedom, i pi. The Hamiltonian H(pi, q ) is a function on phase space that governs the dynamics of the system, and in particular of these degrees of freedom. That is, it describes time evolution by specifying their equations of motion. The equations of motion are i ∂H ∂H q˙ = andp ˙i = − i ∂pi ∂q We have a system of differential equations which are all first order in time derivatives. Since we know the i expression for the phase space variables’ time derivatives, any function f(pi, q ) of these variables will have a time derivative given by df X ∂f ∂f = q˙i + p˙ dt ∂qi ∂p i i i X ∂f ∂H ∂f ∂H = − =: {f, H} ∂qi ∂p ∂p ∂qi i i i where in the last line we have defined the Poisson bracket of two functions on phase space. The function i also been explicitly dependent on time, f = f(pi, q , t), then we would have written df ∂f = {f, H} + dt ∂t in order to capture the total time derivative. We have thus seen how the Hamiltonian gives the time evolution of all dynamical quantities in our system. What if we had chosen another coordinate system on our phase space? Let’s call this new coordinate i i system (Pi,Q ) to distinguish from the previous (pi, q ). The dynamics in the old system are described by varying the action Z X i δ pidq − Hdt = 0 and those in the new come from varying Z X i 0 δ PidQ − H dt = 0 The same dynamics are described in terms of these two coordinate systems if these two integrands differ by i a total differential dF of some function F = F (pi, q , t). We write this as X i X i 0 dF = pidq − PidQ + (H − H)dt i i 0 whence we get ∂F/∂q = pi, ∂F/∂Q = −Pi and ∂F/∂t = H − H. We call the function F the generating function of this canonical transformation. If F has no explicity time dependence, it’s an element of F(Q×Q). If it is time dependent, then F ∈ F(Q × Q × R), and the two Hamiltonians differ in a way more than just 1 rewriting the old Hamiltonian in terms of the new coordinates. There is another common formalism in which the dynamics of a system can be described. Imagine we had i i i i wanted to work not in terms of the variables (pi, q ) but instead (q , q˙ )? Since ∂H/∂pi =q ˙ , we recognize i that what this amounts to is a Legendre transform from pi toq ˙ . Let’s say that the Legendre transform of i i i the Hamiltonian H(pi, q ) is some function L(q , q˙ ). This transformation and its inverse are given by i ˙i X i i i L(q , q ) = piq˙ − H(pi, q ) with pi = ∂L/∂q˙ i X i i i i H(pi, q ) = piq˙ − L(q , q˙ ) withq ˙ = ∂H/∂pi i i i The first canonical equation of motion, ∂H/∂pi =q ˙ , is transformed into the tautological statementq ˙ =q ˙ . This comes as no surprise, since it was the equation which specified in the first place the transformation we i are making. The second canonical equation of motion, ∂H/∂q = −q˙i, is transformed into ∂L d ∂L − = 0 ∂qi dt ∂q˙i which is known as the Lagrange equation of motion. Note that it is second order in time derivatives, unlike the dynamical equations in the Hamiltonian formalism which were both first order. We’ve obtained the Lagrangian formulation of classical mechanics. The two are equivalent descriptions, up to certain technical issues related to when the Legendre transformation is not defined. 1.2 Symplectic Geometry Let M be a smooth manifold of even dimensionality and let Ω be a closed, non-degenerate 2-form on M. We call the pair (M, Ω) a symplectic manifold, and Ω its symplectic structure. The condition that Ω be non-degenerate means that the only vector field X on M satisfying Xy Ω = 0 is the one vanishing uniformly. A non-zero X satisfying this condition would correspond to a zero-mode of the symplectic structure, and would prevent Ω from being invertible. If such a zero-mode exists, it’s possible that it can be projected out and a lower dimensional system thus obtained is a symplectic manifold with non-degenerate symplectic structure. This procedure is known as reduction. One familiar example of this process comes from gauge theories, in which it is sometimes necessary to project out non-physical degrees of freedom. In this case, it’s known as gauge fixing. In general, any diffeomorphism of M which preserves the symplectic structure is known as a sym- plectomorphism. That is, a symplectomorphism is a diffeomorphism between two symplectic manifolds ∗ f :(M, ΩM ) → (N, ΩN ) for which f ΩN = ΩM . We can generate diffeomorphisms (M, Ω) → (M, Ω) by exponentiating a vector field on M. If this vector field, call it X, is to generate a symplectomorphism, then it must satisfy LX Ω = 0. Vector fields satisfying this condition are known as symplectic vector fields. Furthermore, given a function f ∈ F(M), there is Xf ∈ X(M) satisfying Xf y Ω + df = 0 (∗) The invertibility of Ω guarantees the existence of Xf so defined. In local coordinates, this vector field has a ab the components (Xf ) = Ω ∂bf. Such a vector field is automatically symplectic: LXf Ω = Xf y dΩ + d Xf y Ω = d(−df) = 0 We call the function f the generating function and the vector field Xf a Hamiltonian vector field. Conversely, given a symplectic vector field X, we can try to find the corresponding generating function by working back- wards. We can of course do this locally, but in order to find a globally defined function that generates X, 2 we need the first de Rham group to be trivial H1(M) = 0. Therefore, obstructions which keep a symplectic vector field from being Hamiltonian arise from H1(M). Requiring that dΩ = 0 allows one to write Ω = dΘ, at least locally. Depending on the topology of M, this may hold for a globally define 1-form Θ. Θ is known as the symplectic potential. Imagine we have a Hamiltonian vector field Xf generated by f. What is the change in Θ under an infinitessimal flow along Xf ? LXf Θ = Xf y dΘ + d Xf y Θ = Xf y Ω + d Xf y Θ = d Θ(Xf ) − f =: dΛ where we used the relation (∗). Then Θ is an abelian gauge potential and Ω = dΘ is the corresponding field strength. From this point of view, the flow Ft(Xf ): M → M which preserves Ω but sends Θ → Θ + dΛ is a (symplectomorphic) gauge transformation. 1.2.1 Poisson Brackets If we have two Hamiltonian vector fields Xf and Xg, their Lie bracket is also Hamiltonian. L[Xf ,Xg ]Ω = [LXf , LXg ]Ω = 0 What is the corresponding generating function? [Xf ,Xg]y Ω = (LXf Xg)y Ω = LXf (Xgy Ω) − Xgy (LXf Ω) = Xf y d Xgy Ω + d Ω(Xg,Xf ) = −d Ω(Xf ,Xg) Therefore, we define the Poisson bracket of the functions f and g as {f, g} := Ω(Xf ,Xg) [Xf ,Xg]y Ω + d{f, g} = 0 We could have stopped midway in our derivation of the Poisson bracket and ended up with other equivalent expressions: {f, g} = df(Xg) = LXg f and also {f, g} = −dg(Xf ) = −LXf g. In local coordinates, the Pois- −1 ab a b son bracket takes the form {f, g} = (Ω ) ∂af∂bg. Note in particular that if ξ and ξ are two coordinate functions on phase space, we have {ξa, ξb} = (Ω−1)ab. The salient features of the Poisson bracket – namely, anti-symmetry and the Jacobi identity – follow readily from the definition. - Anti-symmetry: {g, f} = Ω(Xg,Xf ) = −Ω(Xf ,Xg) = −{f, g} - Jacobi Identity: From the second boxed equation above, we see that X{f,g} = −[Xf ,Xg]. From here, we find {f, {g, h}} = LX{g,h} f = −L[Xg ,Xh]f = −[LXg , LXh ]f = LXh (LXg f) − LXg (LXh f) = LXh {f, g} − LXg {f, h} = {{f, g}, h} + {g, {f, h}} 3 Hence, the Poisson bracket and its properties are entirely geometric notions defined on any symplectic man- ifold. Let Xf be a Hamiltonian vector field on M with generating function f. Then, Xf generates a one- parameter family of diffeomorphisms, its flow, through exponentiation, and is the first-order term in the expansion of an infinitessimal flow. The corresponding infinitessimal change in a function G ∈ F(M) under this infinitessimal diffeomorphism is δG = LXf G = {G, f}. 1.2.2 Theorem of Darboux Any two symplectic manifolds of the same dimension are locally symplectomorphic, so all their distinguishing features must manifest as global properties. These are the famed Gromov-Witten invariants. Compare this situation to Riemannian geometry, where symmetries of the manifold must preserve the Riemann curvature tensor.
Recommended publications
  • Density of Thin Film Billiard Reflection Pseudogroup in Hamiltonian Symplectomorphism Pseudogroup Alexey Glutsyuk
    Density of thin film billiard reflection pseudogroup in Hamiltonian symplectomorphism pseudogroup Alexey Glutsyuk To cite this version: Alexey Glutsyuk. Density of thin film billiard reflection pseudogroup in Hamiltonian symplectomor- phism pseudogroup. 2020. hal-03026432v2 HAL Id: hal-03026432 https://hal.archives-ouvertes.fr/hal-03026432v2 Preprint submitted on 6 Dec 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Density of thin film billiard reflection pseudogroup in Hamiltonian symplectomorphism pseudogroup Alexey Glutsyuk∗yzx December 3, 2020 Abstract Reflections from hypersurfaces act by symplectomorphisms on the space of oriented lines with respect to the canonical symplectic form. We consider an arbitrary C1-smooth hypersurface γ ⊂ Rn+1 that is either a global strictly convex closed hypersurface, or a germ of hy- persurface. We deal with the pseudogroup generated by compositional ratios of reflections from γ and of reflections from its small deforma- tions. In the case, when γ is a global convex hypersurface, we show that the latter pseudogroup is dense in the pseudogroup of Hamiltonian diffeomorphisms between subdomains of the phase cylinder: the space of oriented lines intersecting γ transversally. We prove an analogous local result in the case, when γ is a germ.
    [Show full text]
  • Symplectic Structures on Gauge Theory?
    Commun. Math. Phys. 193, 47 – 67 (1998) Communications in Mathematical Physics c Springer-Verlag 1998 Symplectic Structures on Gauge Theory? Nai-Chung Conan Leung School of Mathematics, 127 Vincent Hall, University of Minnesota, Minneapolis, MN 55455, USA Received: 27 February 1996 / Accepted: 7 July 1997 [ ] Abstract: We study certain natural differential forms ∗ and their equivariant ex- tensions on the space of connections. These forms are defined usingG the family local index theorem. When the base manifold is symplectic, they define a family of sym- plectic forms on the space of connections. We will explain their relationships with the Einstein metric and the stability of vector bundles. These forms also determine primary and secondary characteristic forms (and their higher level generalizations). Contents 1 Introduction ............................................... 47 2 Higher Index of the Universal Family ........................... 49 2.1 Dirac operators ............................................. 50 2.2 ∂-operator ................................................ 52 3 Moment Map and Stable Bundles .............................. 53 4 Space of Generalized Connections ............................. 58 5 Higer Level Chern–Simons Forms ............................. 60 [ ] 6 Equivariant Extensions of ∗ ................................ 63 1. Introduction In this paper, we study natural differential forms [2k] on the space of connections on a vector bundle E over X, A i [2k] FA (A)(B1,B2,...,B2 )= Tr[e 2π B1B2 B2 ] Aˆ(X). k ··· k sym ZX They are invariant closed differential forms on . They are introduced as the family local indexG for universal family of operators. A ? This research is supported by NSF grant number: DMS-9114456 48 N-C. C. Leung We use them to define higher Chern-Simons forms of E: [ ] ch(E; A0,...,A )=∗ L(A0,...,A ), l l ◦ l l and discuss their properties.
    [Show full text]
  • Lecture 1: Basic Concepts, Problems, and Examples
    LECTURE 1: BASIC CONCEPTS, PROBLEMS, AND EXAMPLES WEIMIN CHEN, UMASS, SPRING 07 In this lecture we give a general introduction to the basic concepts and some of the fundamental problems in symplectic geometry/topology, where along the way various examples are also given for the purpose of illustration. We will often give statements without proofs, which means that their proof is either beyond the scope of this course or will be treated more systematically in later lectures. 1. Symplectic Manifolds Throughout we will assume that M is a C1-smooth manifold without boundary (unless specific mention is made to the contrary). Very often, M will also be closed (i.e., compact). Definition 1.1. A symplectic structure on a smooth manifold M is a 2-form ! 2 Ω2(M), which is (1) nondegenerate, and (2) closed (i.e. d! = 0). (Recall that a 2-form ! 2 Ω2(M) is said to be nondegenerate if for every point p 2 M, !(u; v) = 0 for all u 2 TpM implies v 2 TpM equals 0.) The pair (M; !) is called a symplectic manifold. Before we discuss examples of symplectic manifolds, we shall first derive some im- mediate consequences of a symplectic structure. (1) The nondegeneracy condition on ! is equivalent to the condition that M has an even dimension 2n and the top wedge product !n ≡ ! ^ ! · · · ^ ! is nowhere vanishing on M, i.e., !n is a volume form. In particular, M must be orientable, and is canonically oriented by !n. The nondegeneracy condition is also equivalent to the condition that M is almost complex, i.e., there exists an endomorphism J of TM such that J 2 = −Id.
    [Show full text]
  • Hamiltonian Systems on Symplectic Manifolds
    This is page 147 Printer: Opaque this 5 Hamiltonian Systems on Symplectic Manifolds Now we are ready to geometrize Hamiltonian mechanics to the context of manifolds. First we make phase spaces nonlinear, and then we study Hamiltonian systems in this context. 5.1 Symplectic Manifolds Definition 5.1.1. A symplectic manifold is a pair (P, Ω) where P is a manifold and Ω is a closed (weakly) nondegenerate two-form on P .IfΩ is strongly nondegenerate, we speak of a strong symplectic manifold. As in the linear case, strong nondegeneracy of the two-form Ω means that at each z ∈ P, the bilinear form Ωz : TzP × TzP → R is nondegenerate, that is, Ωz defines an isomorphism → ∗ Ωz : TzP Tz P. Fora(weak) symplectic form, the induced map Ω : X(P ) → X∗(P )be- tween vector fields and one-forms is one-to-one, but in general is not sur- jective. We will see later that Ω is required to be closed, that is, dΩ=0, where d is the exterior derivative, so that the induced Poisson bracket sat- isfies the Jacobi identity and so that the flows of Hamiltonian vector fields will consist of canonical transformations. In coordinates zI on P in the I J finite-dimensional case, if Ω = ΩIJ dz ∧ dz (sum over all I<J), then 148 5. Hamiltonian Systems on Symplectic Manifolds dΩ=0becomes the condition ∂Ω ∂Ω ∂Ω IJ + KI + JK =0. (5.1.1) ∂zK ∂zJ ∂zI Examples (a) Symplectic Vector Spaces. If (Z, Ω) is a symplectic vector space, then it is also a symplectic manifold.
    [Show full text]
  • 1 the Basic Set-Up 2 Poisson Brackets
    MATHEMATICS 7302 (Analytical Dynamics) YEAR 2016–2017, TERM 2 HANDOUT #12: THE HAMILTONIAN APPROACH TO MECHANICS These notes are intended to be read as a supplement to the handout from Gregory, Classical Mechanics, Chapter 14. 1 The basic set-up I assume that you have already studied Gregory, Sections 14.1–14.4. The following is intended only as a succinct summary. We are considering a system whose equations of motion are written in Hamiltonian form. This means that: 1. The phase space of the system is parametrized by canonical coordinates q =(q1,...,qn) and p =(p1,...,pn). 2. We are given a Hamiltonian function H(q, p, t). 3. The dynamics of the system is given by Hamilton’s equations of motion ∂H q˙i = (1a) ∂pi ∂H p˙i = − (1b) ∂qi for i =1,...,n. In these notes we will consider some deeper aspects of Hamiltonian dynamics. 2 Poisson brackets Let us start by considering an arbitrary function f(q, p, t). Then its time evolution is given by n df ∂f ∂f ∂f = q˙ + p˙ + (2a) dt ∂q i ∂p i ∂t i=1 i i X n ∂f ∂H ∂f ∂H ∂f = − + (2b) ∂q ∂p ∂p ∂q ∂t i=1 i i i i X 1 where the first equality used the definition of total time derivative together with the chain rule, and the second equality used Hamilton’s equations of motion. The formula (2b) suggests that we make a more general definition. Let f(q, p, t) and g(q, p, t) be any two functions; we then define their Poisson bracket {f,g} to be n def ∂f ∂g ∂f ∂g {f,g} = − .
    [Show full text]
  • Time-Dependent Hamiltonian Mechanics on a Locally Conformal
    Time-dependent Hamiltonian mechanics on a locally conformal symplectic manifold Orlando Ragnisco†, Cristina Sardón∗, Marcin Zając∗∗ Department of Mathematics and Physics†, Universita degli studi Roma Tre, Largo S. Leonardo Murialdo, 1, 00146 , Rome, Italy. ragnisco@fis.uniroma3.it Department of Applied Mathematics∗, Universidad Polit´ecnica de Madrid. C/ Jos´eGuti´errez Abascal, 2, 28006, Madrid. Spain. [email protected] Department of Mathematical Methods in Physics∗∗, Faculty of Physics. University of Warsaw, ul. Pasteura 5, 02-093 Warsaw, Poland. [email protected] Abstract In this paper we aim at presenting a concise but also comprehensive study of time-dependent (t- dependent) Hamiltonian dynamics on a locally conformal symplectic (lcs) manifold. We present a generalized geometric theory of canonical transformations and formulate a time-dependent geometric Hamilton-Jacobi theory on lcs manifolds. In contrast to previous papers concerning locally conformal symplectic manifolds, here the introduction of the time dependency brings out interesting geometric properties, as it is the introduction of contact geometry in locally symplectic patches. To conclude, we show examples of the applications of our formalism, in particular, we present systems of differential equations with time-dependent parameters, which admit different physical interpretations as we shall point out. arXiv:2104.02636v1 [math-ph] 6 Apr 2021 Contents 1 Introduction 2 2 Fundamentals on time-dependent Hamiltonian systems 5 2.1 Time-dependentsystems. ....... 5 2.2 Canonicaltransformations . ......... 6 2.3 Generating functions of canonical transformations . ................ 8 1 3 Geometry of locally conformal symplectic manifolds 8 3.1 Basics on locally conformal symplectic manifolds . ............... 8 3.2 Locally conformal symplectic structures on cotangent bundles............
    [Show full text]
  • Symplectic Topology Math 705 Notes by Patrick Lei, Spring 2020
    Symplectic Topology Math 705 Notes by Patrick Lei, Spring 2020 Lectures by R. Inanç˙ Baykur University of Massachusetts Amherst Disclaimer These notes were taken during lecture using the vimtex package of the editor neovim. Any errors are mine and not the instructor’s. In addition, my notes are picture-free (but will include commutative diagrams) and are a mix of my mathematical style (omit lengthy computations, use category theory) and that of the instructor. If you find any errors, please contact me at [email protected]. Contents Contents • 2 1 January 21 • 5 1.1 Course Description • 5 1.2 Organization • 5 1.2.1 Notational conventions•5 1.3 Basic Notions • 5 1.4 Symplectic Linear Algebra • 6 2 January 23 • 8 2.1 More Basic Linear Algebra • 8 2.2 Compatible Complex Structures and Inner Products • 9 3 January 28 • 10 3.1 A Big Theorem • 10 3.2 More Compatibility • 11 4 January 30 • 13 4.1 Homework Exercises • 13 4.2 Subspaces of Symplectic Vector Spaces • 14 5 February 4 • 16 5.1 Linear Algebra, Conclusion • 16 5.2 Symplectic Vector Bundles • 16 6 February 6 • 18 6.1 Proof of Theorem 5.11 • 18 6.2 Vector Bundles, Continued • 18 6.3 Compatible Triples on Manifolds • 19 7 February 11 • 21 7.1 Obtaining Compatible Triples • 21 7.2 Complex Structures • 21 8 February 13 • 23 2 3 8.1 Kähler Forms Continued • 23 8.2 Some Algebraic Geometry • 24 8.3 Stein Manifolds • 25 9 February 20 • 26 9.1 Stein Manifolds Continued • 26 9.2 Topological Properties of Kähler Manifolds • 26 9.3 Complex and Symplectic Structures on 4-Manifolds • 27 10 February 25
    [Show full text]
  • Canonical Transformations (Lecture 4)
    Canonical transformations (Lecture 4) January 26, 2016 61/441 Lecture outline We will introduce and discuss canonical transformations that conserve the Hamiltonian structure of equations of motion. Poisson brackets are used to verify that a given transformation is canonical. A practical way to devise canonical transformation is based on usage of generation functions. The motivation behind this study is to understand the freedom which we have in the choice of various sets of coordinates and momenta. Later we will use this freedom to select a convenient set of coordinates for description of partilcle's motion in an accelerator. 62/441 Introduction Within the Lagrangian approach we can choose the generalized coordinates as we please. We can start with a set of coordinates qi and then introduce generalized momenta pi according to Eqs. @L(qk ; q_k ; t) pi = ; i = 1;:::; n ; @q_i and form the Hamiltonian ! H = pi q_i - L(qk ; q_k ; t) : i X Or, we can chose another set of generalized coordinates Qi = Qi (qk ; t), express the Lagrangian as a function of Qi , and obtain a different set of momenta Pi and a different Hamiltonian 0 H (Qi ; Pi ; t). This type of transformation is called a point transformation. The two representations are physically equivalent and they describe the same dynamics of our physical system. 63/441 Introduction A more general approach to the problem of using various variables in Hamiltonian formulation of equations of motion is the following. Let us assume that we have canonical variables qi , pi and the corresponding Hamiltonian H(qi ; pi ; t) and then make a transformation to new variables Qi = Qi (qk ; pk ; t) ; Pi = Pi (qk ; pk ; t) : i = 1 ::: n: (4.1) 0 Can we find a new Hamiltonian H (Qi ; Pi ; t) such that the system motion in new variables satisfies Hamiltonian equations with H 0? What are requirements on the transformation (4.1) for such a Hamiltonian to exist? These questions lead us to canonical transformations.
    [Show full text]
  • Hamiltonian and Symplectic Symmetries: an Introduction
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 54, Number 3, July 2017, Pages 383–436 http://dx.doi.org/10.1090/bull/1572 Article electronically published on March 6, 2017 HAMILTONIAN AND SYMPLECTIC SYMMETRIES: AN INTRODUCTION ALVARO´ PELAYO In memory of Professor J.J. Duistermaat (1942–2010) Abstract. Classical mechanical systems are modeled by a symplectic mani- fold (M,ω), and their symmetries are encoded in the action of a Lie group G on M by diffeomorphisms which preserve ω. These actions, which are called sym- plectic, have been studied in the past forty years, following the works of Atiyah, Delzant, Duistermaat, Guillemin, Heckman, Kostant, Souriau, and Sternberg in the 1970s and 1980s on symplectic actions of compact Abelian Lie groups that are, in addition, of Hamiltonian type, i.e., they also satisfy Hamilton’s equations. Since then a number of connections with combinatorics, finite- dimensional integrable Hamiltonian systems, more general symplectic actions, and topology have flourished. In this paper we review classical and recent re- sults on Hamiltonian and non-Hamiltonian symplectic group actions roughly starting from the results of these authors. This paper also serves as a quick introduction to the basics of symplectic geometry. 1. Introduction Symplectic geometry is concerned with the study of a notion of signed area, rather than length, distance, or volume. It can be, as we will see, less intuitive than Euclidean or metric geometry and it is taking mathematicians many years to understand its intricacies (which is work in progress). The word “symplectic” goes back to the 1946 book [164] by Hermann Weyl (1885–1955) on classical groups.
    [Show full text]
  • Classical Mechanics Examples (Canonical Transformation)
    Classical Mechanics Examples (Canonical Transformation) Dipan Kumar Ghosh Centre for Excellence in Basic Sciences Kalina, Mumbai 400098 November 10, 2016 1 Introduction In classical mechanics, there is no unique prescription for one to choose the generalized coordinates for a problem. As long as the coordinates and the corresponding momenta span the entire phase space, it becomes an acceptable set. However, it turns out in prac- tice that some choices are better than some others as they make a given problem simpler while still preserving the form of Hamilton's equations. Going over from one set of chosen coordinates and momenta to another set which satisfy Hamilton's equations is done by canonical transformation. For instance, if we consider the central force problem in two dimensions and choose Carte- k sian coordinate, the potential is − . However, if we choose (r; θ) coordinates, px2 + y2 k the potential is − and θ is cyclic, which greatly simplifies the problem. The number of r cyclic coordinates in a problem may depend on the choice of generalized coordinates. A cyclic coordinate results in a constant of motion which is its conjugate momentum. The example above where we replace one set of coordinates by another set is known as point transformation. In the Hamiltonian formalism, the coordinates and momenta are given equal status and the dynamics occurs in what we know as the phase space. In dealing with phase space dynamics, we need point transformations in the phase space where the new coordinates (Qi) and the new momenta (Pi) are functions of old coordinates (pi) and old momenta (pi): Qi = Qi(fqjg; fpjg; t) Pi = Pi(fqjg; fpjg; t) 1 c D.
    [Show full text]
  • Conformal Hamiltonian Systems
    Journal of Geometry and Physics 39 (2001) 276–300 Conformal Hamiltonian systems Robert McLachlan∗, Matthew Perlmutter IFS, Massey University, Palmerston North, New Zealand 5301 Received 4 August 2000; received in revised form 23 January 2001 Abstract Vector fields whose flow preserves a symplectic form up to a constant, such as simple mechanical systems with friction, are called “conformal”. We develop a reduction theory for symmetric con- formal Hamiltonian systems, analogous to symplectic reduction theory. This entire theory extends naturally to Poisson systems: given a symmetric conformal Poisson vector field, we show that it induces two reduced conformal Poisson vector fields, again analogous to the dual pair construction for symplectic manifolds. Conformal Poisson systems form an interesting infinite-dimensional Lie algebra of foliate vector fields. Manifolds supporting such conformal vector fields include cotan- gent bundles, Lie–Poisson manifolds, and their natural quotients. © 2001 Elsevier Science B.V. All rights reserved. MSC: 53C57; 58705 Sub. Class.: Dynamical systems Keywords: Hamiltonian systems; Conformal Poisson structure 1. Introduction The fields of symplectic geometry and geometric mechanics are closely linked, indeed almost synonymous [10,14]. One of their most important features is that the symplectic diffeomorphisms on a manifold form a group. This property can be taken as the definition of “geometry;” it is natural to try and generalize it. In 1913 Cartan [5,24] found that, subject to certain restrictions, there are just six classes of groups of diffeomorphisms on any manifold, namely (i) Diff itself; (ii) Diffω, the diffeomorphisms preserving a symplectic 2-form ω; (iii) Diffµ, the diffeomorphisms preserving a volume form µ; (iv) Diffα, the diffeomorphisms c preserving a contact form α up to a function; and the conformal groups, (v) Diffω and (vi) c Diffµ, the diffeomorphisms preserving the form ω or µ up to a constant.
    [Show full text]
  • PHYS 705: Classical Mechanics Canonical Transformation 2
    1 PHYS 705: Classical Mechanics Canonical Transformation 2 Canonical Variables and Hamiltonian Formalism As we have seen, in the Hamiltonian Formulation of Mechanics, qj, p j are independent variables in phase space on equal footing The Hamilton’s Equation for q j , p j are “symmetric” (symplectic, later) H H qj and p j pj q j This elegant formal structure of mechanics affords us the freedom in selecting other appropriate canonical variables as our phase space “coordinates” and “momenta” - As long as the new variables formally satisfy this abstract structure (the form of the Hamilton’s Equations. 3 Canonical Transformation Recall (from hw) that the Euler-Lagrange Equation is invariant for a point transformation: Qj Qqt j ( ,) L d L i.e., if we have, 0, qj dt q j L d L then, 0, Qj dt Q j Now, the idea is to find a generalized (canonical) transformation in phase space (not config. space) such that the Hamilton’s Equations are invariant ! Qj Qqpt j (, ,) (In general, we look for transformations which Pj Pqpt j (, ,) are invertible.) 4 Invariance of EL equation for Point Transformation First look at the situation in config. space first: dL L Given: 0, and a point transformation: Q Qqt( ,) j j dt q j q j dL L 0 Need to show: dt Q j Q j L Lqi L q i Formally, calculate: (chain rule) Qji qQ ij i qQ ij L L q L q i i Q j i qiQ j i q i Q j From the inverse point transformation equation q i qQt i ( ,) , we have, qi q q q q 0 and i i qi Q i Q i k j Q j Qj k Qk t 5 Invariance of EL equation
    [Show full text]