Synchro-Betatron Motion in Circular Accelerators
|
|
- Edgar Charles
- 5 years ago
- Views:
Transcription
1 Outlines Synchro-Betatron Motion in Circular Accelerators Kevin Li March 30, 2011 Kevin Li Synchro-Betatron Motion 1/ 70
2 Outline of Part I Outlines Part I: and Model Introduction Part II: The Transverse Hamiltonian Part III: The Synchro-Betatron Hamiltonian 1 Collective effects in the longitudinal plane Numerical and computational tools in accelerator physics 2 Basic physics Specialisation to classical electromagnetic theory 3 The symplectic structure Kevin Li Synchro-Betatron Motion 2/ 70
3 Outline of Part II Outlines Part I: and Model Introduction Part II: The Transverse Hamiltonian Part III: The Synchro-Betatron Hamiltonian 4 The Transverse Hamiltonian Canonical transformations Coordinate and rescaling transformation Transverse dynamics Kevin Li Synchro-Betatron Motion 3/ 70
4 Outline of Part III Outlines Part I: and Model Introduction Part II: The Transverse Hamiltonian Part III: The Synchro-Betatron Hamiltonian 5 The Synchro-Betatron Hamiltonian Series of canonical transformations RF fields The full Synchro-Betatron Hamiltonian Kevin Li Synchro-Betatron Motion 4/ 70
5 Part I and Model Introduction Kevin Li Synchro-Betatron Motion 5/ 70
6 Outline Collective effects in the longitudinal plane Numerical and computational tools 1 Collective effects in the longitudinal plane Numerical and computational tools in accelerator physics 2 Basic physics Specialisation to classical electromagnetic theory 3 The symplectic structure Kevin Li Synchro-Betatron Motion 6/ 70
7 SPS ecloud effects Collective effects in the longitudinal plane Numerical and computational tools Frozen synchrotron motion: Dynamics: 17.6e10 protons, 1e12 electrons Tune footprint: Kevin Li Synchro-Betatron Motion 7/ 70
8 SPS ecloud effects Collective effects in the longitudinal plane Numerical and computational tools Linear synchrotron motion: Dynamics: 17.6e10 protons, 1e12 electrons Tune footprint: Kevin Li Synchro-Betatron Motion 7/ 70
9 SPS ecloud effects Collective effects in the longitudinal plane Numerical and computational tools Nonlinear synchrotron motion: Dynamics: 17.6e10 protons, 1e12 electrons Tune footprint: Kevin Li Synchro-Betatron Motion 7/ 70
10 1 Collective effects in the longitudinal plane Numerical and computational tools Synchrotron motion does not preserve the longitudinal position over several turns The tune footprint is obtained over several turns The color dimension looses its meaning We need to find a quantity that is preserved under synchrotron motion to refurnish the color dimension with a meaning Kevin Li Synchro-Betatron Motion 8/ 70
11 1 Collective effects in the longitudinal plane Numerical and computational tools Synchrotron motion does not preserve the longitudinal position over several turns The tune footprint is obtained over several turns The color dimension looses its meaning We need to find a quantity that is preserved under synchrotron motion to refurnish the color dimension with a meaning Kevin Li Synchro-Betatron Motion 8/ 70
12 1 Collective effects in the longitudinal plane Numerical and computational tools Kevin Li Synchro-Betatron Motion 8/ 70
13 1 G. Rumolo
14 1 G. Rumolo But where does this derive from?
15 2 Collective effects in the longitudinal plane Numerical and computational tools Kevin Li Synchro-Betatron Motion 10/ 70
16
17
18 Goal Collective effects in the longitudinal plane Numerical and computational tools What this presentation should be about: not a presentation of new results by no means any claim for mathematical rigor rather an attempt to gather different ressources to summarize the known theory in a more or less complete and comprehensible manner rather with an appeal to physical intuition Kevin Li Synchro-Betatron Motion 12/ 70
19 Goal Collective effects in the longitudinal plane Numerical and computational tools What this presentation should be about: not a presentation of new results by no means any claim for mathematical rigor rather an attempt to gather different ressources to summarize the known theory in a more or less complete and comprehensible manner rather with an appeal to physical intuition Kevin Li Synchro-Betatron Motion 12/ 70
20 Literature Collective effects in the longitudinal plane Numerical and computational tools Physics: [Goldstein: Classical Mechanics] [Jackson: Classical Electrodynamics] [Huang: Statistical Mechanics] [Peskin/Schroeder: Quantum Field Theory] Applied Hamiltonian dynamics: [T. Suzuki: 1985] [K. Symon: 1997] [S. Tzenov: 2001] Kevin Li Synchro-Betatron Motion 13/ 70
21 Outline Basic physics Specialisation to classical electromagnetic theory 1 Collective effects in the longitudinal plane Numerical and computational tools in accelerator physics 2 Basic physics Specialisation to classical electromagnetic theory 3 The symplectic structure Kevin Li Synchro-Betatron Motion 14/ 70
22 Basic physics Specialisation to classical electromagnetic theory We create our universe: two manifolds and one map Initialisation: Basic objects Parameter manifold: Configuration manifold: Map: M = R m N = R n Φ : M N Derived objects World bubble: Phase space: Jacobian: Θ = Φ(U M) = R m Ω = T N = R 2n J = DΦ M(m n, R) All physics is in finding Φ Kevin Li Synchro-Betatron Motion 15/ 70
23 Basic physics Specialisation to classical electromagnetic theory We create our universe: two manifolds and one map Initialisation: We create our universe by declaring two manifolds and connecting them with a map The parameter manifold M is our world The configuration manifold N is some quantity we are interested in The map Φ is an embedding of our world into the target space and as such describes the evolution of the target space quantities Kevin Li Synchro-Betatron Motion 15/ 70
24 Basic physics Specialisation to classical electromagnetic theory We create our universe: two manifolds and one map Why do we need manifolds and all that stuff? In our intuition we are (always) using them We (always) start with a collection of points which are, a priori, completely unstructured (i.e. a mesh of an accelerator structure (without connectivity information) or the time steps in a particle tracking code (with no ordering)) We want to be able to talk about neighbourhoods, derivatives, tangent spaces, metrics in order obtain a predictable evolution (a function of the parameter manifold) for any quantity that lives in our world. Our collection of points must thus be endowed with a smooth connectivity which is done formally via a differentiable structure (equivalence class of atlases where an atlas is a family of compatible charts on an open cover of the parameter manifold 1 ). Then, locally, our collection of points becomes isomorph to the Euclidean space; it locally obtains the structure of a linear vector space within which we are fully equipped with all our well-known tools of calculus 1 s. Abraham, Marsden pp. 31 Kevin Li Synchro-Betatron Motion 15/ 70
25 Basic physics Specialisation to classical electromagnetic theory We create our universe: two manifolds and one map Why do we need manifolds and all that stuff? In our intuition we are (always) using them We (always) start with a collection of points which are, a priori, completely unstructured (i.e. a mesh of an accelerator structure (without connectivity information) or the time steps in a particle tracking code (with no ordering)) We want to be able to talk about neighbourhoods, derivatives, tangent spaces, metrics in order obtain a predictable evolution (a function of the parameter manifold) for any quantity that lives in our world. Our collection of points must thus be endowed with a smooth connectivity which is done formally via a differentiable structure (equivalence class of atlases where an atlas is a family of compatible charts on an open cover of the parameter manifold 1 ). Then, locally, our collection of points becomes isomorph to the Euclidean space; it locally obtains the structure of a linear vector space within which we are fully equipped with all our well-known tools of calculus 1 s. Abraham, Marsden pp. 31 Kevin Li Synchro-Betatron Motion 15/ 70
26 Basic physics Specialisation to classical electromagnetic theory We create our universe: two manifolds and one map Why do we need manifolds and all that stuff? In our intuition we are (always) using them We (always) start with a collection of points which are, a priori, completely unstructured (i.e. a mesh of an accelerator structure (without connectivity information) or the time steps in a particle tracking code (with no ordering)) We want to be able to talk about neighbourhoods, derivatives, tangent spaces, metrics in order obtain a predictable evolution (a function of the parameter manifold) for any quantity that lives in our world. Our collection of points must thus be endowed with a smooth connectivity which is done formally via a differentiable structure (equivalence class of atlases where an atlas is a family of compatible charts on an open cover of the parameter manifold 1 ). Then, locally, our collection of points becomes isomorph to the Euclidean space; it locally obtains the structure of a linear vector space within which we are fully equipped with all our well-known tools of calculus 1 s. Abraham, Marsden pp. 31 Kevin Li Synchro-Betatron Motion 15/ 70
27 Basic physics Specialisation to classical electromagnetic theory We create our universe: two manifolds and one map Why do we need manifolds and all that stuff? In our intuition we are (always) using them We (always) start with a collection of points which are, a priori, completely unstructured (i.e. a mesh of an accelerator structure (without connectivity information) or the time steps in a particle tracking code (with no ordering)) We want to be able to talk about neighbourhoods, derivatives, tangent spaces, metrics in order obtain a predictable evolution (a function of the parameter manifold) for any quantity that lives in our world. Our collection of points must thus be endowed with a smooth connectivity which is done formally via a differentiable structure (equivalence class of atlases where an atlas is a family of compatible charts on an open cover of the parameter manifold 1 ). Then, locally, our collection of points becomes isomorph to the Euclidean space; it locally obtains the structure of a linear vector space within which we are fully equipped with all our well-known tools of calculus 1 s. Abraham, Marsden pp. 31 Kevin Li Synchro-Betatron Motion 15/ 70
28 Basic physics Specialisation to classical electromagnetic theory Basic physics: the principle of least action In this case we can define: Action The action S is defined as the volume of the world bubble: S = dφ The principle of least action Given a fixed subspace U, a map Φ is physical if and only if the action S is stationary δs = 0 Θ Kevin Li Synchro-Betatron Motion 16/ 70
29 The Lagrangian Basic physics Specialisation to classical electromagnetic theory To introduce a useful formalism it is expedient to write the action as Action S = Φ(U) dφ = U d m x det(j J T ) = d m x L U Thus, we have introduced the Lagrangian Lagrangian L = det(j J T ) Kevin Li Synchro-Betatron Motion 17/ 70
30 Basic physics Specialisation to classical electromagnetic theory Classical limit and electromagnetic theory Introduce classical limit δ = nλ 3 1 δ: characteristic dimensionless density parameter of a quantum gas λ = : thermal de Broglie wavelength 2π 2 mk B T The action becomes the length of the world-line: S = dl, dl 2 = c 2 dt 2 + d x 2 Introduce electromagnetic theory via U(1)-gauge coupling by moving from the standard to the covariant derivative A: gauge fields µ D µ = µ + iga µ The action becomes the covariant length of the world-line: S = D µl = L dt Kevin Li Synchro-Betatron Motion 18/ 70
31 Intuition of the classical limit Basic physics Specialisation to classical electromagnetic theory A small number of particles with a wavefunction that ( is represented ) as an evolving Gaussian wavepackage: ψ(x, t) exp x2 σ 2 Kevin Li Synchro-Betatron Motion 19/ 70
32 Intuition of the classical limit Basic physics Specialisation to classical electromagnetic theory For sufficiently many particles at low densty constructive superposition of wavefunctions establishes a correlation between space and time coordinates via delta-functions: ψ(x, t) δ(x(t) x ) x(t) Kevin Li Synchro-Betatron Motion 19/ 70
33 Intuition of electromagnetic theory Basic physics Specialisation to classical electromagnetic theory Gauge invariance of the Dirac field Directional derivative ψ(x) e iα(x) ψ(x) e ψ( x) = lim h 0 ψ( x + h e) ψ( x) h Kevin Li Synchro-Betatron Motion 20/ 70
34 Intuition of electromagnetic theory Basic physics Specialisation to classical electromagnetic theory Gauge invariance of the Dirac field Directional derivative ψ(x) e iα(x) ψ(x) e ψ( x) = lim h 0 ψ( x + h e) ψ( x) h ψ( x) µ ψ( x) Kevin Li Synchro-Betatron Motion 20/ 70
35 Intuition of electromagnetic theory Basic physics Specialisation to classical electromagnetic theory Gauge invariance of the Dirac field Directional derivative ψ(x) e iα(x) ψ(x) e ψ( x) = lim h 0 ψ( x + h e) ψ( x) h e iα(x) ψ( x) µ ψ( x) ψ( x + h e) D µ = ( µ + iea µ) ψ( x) Kevin Li Synchro-Betatron Motion 20/ 70
36 Basic physics Specialisation to classical electromagnetic theory One-parameter action and electromagnetic Lagrangian One-parameter action and electromagnetic Lagrangian S = L d 4 x S = L = ρ m c ẋ µ ẋ µ + j µ A µ L = mc L dt 1 v2 qv + q v A c2 Kevin Li Synchro-Betatron Motion 21/ 70
37 Electromagnetic Hamiltonian Basic physics Specialisation to classical electromagnetic theory Hamiltonian A Legendre transform of the Lagrangian yields the Hamiltonian H = P q L with P = L q H(q, P, t) = ( P q A) 2 c 2 + m 2 c 4 + qv (1) Kevin Li Synchro-Betatron Motion 22/ 70
38 Outline Symplectic structure 1 Collective effects in the longitudinal plane Numerical and computational tools in accelerator physics 2 Basic physics Specialisation to classical electromagnetic theory 3 The symplectic structure Kevin Li Synchro-Betatron Motion 23/ 70
39 Symplectic structure Least action and Hamilton equations of motion δs = δ P dq H dt = δp dq + P δ(dq) δh dt H δ(dt) = dq δp dp δq H H H dt δq dt δp = = 0 P.I. ( dq H ) P dt q δp P ( dp + H q dt ) δq + dt δt + dh δt ) δt t ( dh H t dt Equations of motion q = H P, P = H q, Ḣ = H t Kevin Li Synchro-Betatron Motion 24/ 70
40 Symplectic structure Symplectic structure The Legendre transform makes the independent variable time and together with the principle of least action/equations of motion unleashes the full symplectic structure of the theory yielding: the symplectic manifold (Ω, ω 0 ) (Phase space, Poisson bracket) ω 0 : T q N T q N R, (u, v) ω 0 (u, v) because ω 0 is nondegenerate, it defines a 1-form ω 1 : T q N T q N, u ω 0 (u, ) ( u ) let s use this 1-form to implicitly define a very special vector field ω 0 (X H, Y ) = dh(y ) (JX H, Y ) = ( H, Y ) q N, J = ( ) 0 1 symplectic structure matrix 1 0 Kevin Li Synchro-Betatron Motion 25/ 70
41 Symplectic structure Symplectic structure The Legendre transform makes the independent variable time and together with the principle of least action/equations of motion unleashes the full symplectic structure of the theory yielding: the symplectic manifold (Ω, ω 0 ) (Phase space, Poisson bracket) ω 0 : T q N T q N R, (u, v) ω 0 (u, v) because ω 0 is nondegenerate, it defines a 1-form ω 1 : T q N T q N, u ω 0 (u, ) ( u ) let s use this 1-form to implicitly define a very special vector field ω 0 (X H, Y ) = dh(y ) (JX H, Y ) = ( H, Y ) q N, J = ( ) 0 1 symplectic structure matrix 1 0 Kevin Li Synchro-Betatron Motion 25/ 70
42 Symplectic structure Symplectic structure The Legendre transform makes the independent variable time and together with the principle of least action/equations of motion unleashes the full symplectic structure of the theory yielding: the symplectic manifold (Ω, ω 0 ) (Phase space, Poisson bracket) ω 0 : T q N T q N R, (u, v) ω 0 (u, v) because ω 0 is nondegenerate, it defines a 1-form ω 1 : T q N T q N, u ω 0 (u, ) ( u ) let s use this 1-form to implicitly define a very special vector field ω 0 (X H, Y ) = dh(y ) (JX H, Y ) = ( H, Y ) q N, J = ( ) 0 1 symplectic structure matrix 1 0 Kevin Li Synchro-Betatron Motion 25/ 70
43 Symplectic structure Symplectic structure The Legendre transform makes the independent variable time and together with the principle of least action/equations of motion unleashes the full symplectic structure of the theory yielding: the symplectic manifold (Ω, ω 0 ) (Phase space, Poisson bracket) ω 0 : T q N T q N R, (u, v) ω 0 (u, v) because ω 0 is nondegenerate, it defines a 1-form ω 1 : T q N T q N, u ω 0 (u, ) ( u ) let s use this 1-form to implicitly define a very special vector field ω 0 (X H, Y ) = dh(y ) (JX H, Y ) = ( H, Y ) q N, J = ( ) 0 1 symplectic structure matrix 1 0 Kevin Li Synchro-Betatron Motion 25/ 70
44 Hamiltonian vector field Symplectic structure We have thus defined the Hamiltonian vector field X H = J H =: H : What is so special about this Hamiltonian vector field? Infinitesimal time evolution Finite time evolution X H = J H = f α=1 H q α H p α p α q α ψ(t 0) = X H ψ(t 0) = : H : ψ(t 0) = [H, ψ(t 0)] ψ(t 0 + t) = exp( : H : t)ψ(t 0) The Hamiltonian ( is the ) generator for translations in time for any function ψ! 0 1 q N, J = symplectic structure matrix 1 0 Kevin Li Synchro-Betatron Motion 26/ 70
45 Hamiltonian vector field Symplectic structure We have thus defined the Hamiltonian vector field X H = J H =: H : What is so special about this Hamiltonian vector field? Infinitesimal time evolution Finite time evolution X H = J H = f α=1 H q α H p α p α q α ψ(t 0) = X H ψ(t 0) = : H : ψ(t 0) = [H, ψ(t 0)] ψ(t 0 + t) = exp( : H : t)ψ(t 0) The Hamiltonian ( is the ) generator for translations in time for any function ψ! 0 1 q N, J = symplectic structure matrix 1 0 Kevin Li Synchro-Betatron Motion 26/ 70
46 Hamiltonian vector field Symplectic structure We have thus defined the Hamiltonian vector field X H = J H =: H : What is so special about this Hamiltonian vector field? Infinitesimal time evolution Finite time evolution X H = J H = f α=1 H q α H p α p α q α ψ(t 0) = X H ψ(t 0) = : H : ψ(t 0) = [H, ψ(t 0)] ψ(t 0 + t) = exp( : H : t)ψ(t 0) The Hamiltonian ( is the ) generator for translations in time for any function ψ! 0 1 q N, J = symplectic structure matrix 1 0 Kevin Li Synchro-Betatron Motion 26/ 70
47 Hamiltonian vector field Symplectic structure We have thus defined the Hamiltonian vector field X H = J H =: H : What is so special about this Hamiltonian vector field? Infinitesimal time evolution Finite time evolution X H = J H = f α=1 H q α H p α p α q α ψ(t 0) = X H ψ(t 0) = : H : ψ(t 0) = [H, ψ(t 0)] ψ(t 0 + t) = exp( : H : t)ψ(t 0) The Hamiltonian ( is the ) generator for translations in time for any function ψ! 0 1 q N, J = symplectic structure matrix 1 0 Kevin Li Synchro-Betatron Motion 26/ 70
48 Liouville s theorem Symplectic structure One of the many corollaries: preservation of the volume form on Ω (Liouville s theorem) Kevin Li Synchro-Betatron Motion 27/ 70
49 Liouville s theorem Symplectic structure One of the many corollaries: preservation of the volume form on Ω (Liouville s theorem) Kevin Li Synchro-Betatron Motion 27/ 70
50 Liouville s theorem Symplectic structure One of the many corollaries: preservation of the volume form on Ω (Liouville s theorem) Kevin Li Synchro-Betatron Motion 27/ 70
51 Symplectic structure Liouville s theorem One of the many corollaries: preservation of the volume form on Ω (Liouville s theorem) Kevin Li Synchro-Betatron Motion 27/ 70
Gauge Fixing and Constrained Dynamics in Numerical Relativity
Gauge Fixing and Constrained Dynamics in Numerical Relativity Jon Allen The Dirac formalism for dealing with constraints in a canonical Hamiltonian formulation is reviewed. Gauge freedom is discussed and
More informationDiscrete Dirac Mechanics and Discrete Dirac Geometry
Discrete Dirac Mechanics and Discrete Dirac Geometry Melvin Leok Mathematics, University of California, San Diego Joint work with Anthony Bloch and Tomoki Ohsawa Geometric Numerical Integration Workshop,
More informationPart III. The Synchro-Betatron Hamiltonian
Part III Kevin Li Synchro-Betatron Motion 43/ 71 Outline 5 Kevin Li Synchro-Betatron Motion 44/ 71 Canonical transformation to kinetic energy (1) Hamiltonian H(u, P u, s 0, H s ; s) = ( 1 + x ) (E 0 β0
More informationCurves in the configuration space Q or in the velocity phase space Ω satisfying the Euler-Lagrange (EL) equations,
Physics 6010, Fall 2010 Hamiltonian Formalism: Hamilton s equations. Conservation laws. Reduction. Poisson Brackets. Relevant Sections in Text: 8.1 8.3, 9.5 The Hamiltonian Formalism We now return to formal
More informationLecture I: Constrained Hamiltonian systems
Lecture I: Constrained Hamiltonian systems (Courses in canonical gravity) Yaser Tavakoli December 15, 2014 1 Introduction In canonical formulation of general relativity, geometry of space-time is given
More informationFrom physical assumptions to classical Hamiltonian and Lagrangian particle mechanics
From physical assumptions to classical Hamiltonian and Lagrangian particle mechanics Gabriele Carcassi, Christine A. Aidala, David John Baker and Lydia Bieri University of Michigan Foundations of Physics
More informationGEOMETRIC QUANTIZATION
GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical
More informationMaster of Science in Advanced Mathematics and Mathematical Engineering
Master of Science in Advanced Mathematics and Mathematical Engineering Title: Constraint algorithm for singular k-cosymplectic field theories Author: Xavier Rivas Guijarro Advisor: Francesc Xavier Gràcia
More informationM3/4A16. GEOMETRICAL MECHANICS, Part 1
M3/4A16 GEOMETRICAL MECHANICS, Part 1 (2009) Page 1 of 5 UNIVERSITY OF LONDON Course: M3/4A16 Setter: Holm Checker: Gibbons Editor: Chen External: Date: January 27, 2008 BSc and MSci EXAMINATIONS (MATHEMATICS)
More informationHamiltonian flow in phase space and Liouville s theorem (Lecture 5)
Hamiltonian flow in phase space and Liouville s theorem (Lecture 5) January 26, 2016 90/441 Lecture outline We will discuss the Hamiltonian flow in the phase space. This flow represents a time dependent
More informationTHE LAGRANGIAN AND HAMILTONIAN MECHANICAL SYSTEMS
THE LAGRANGIAN AND HAMILTONIAN MECHANICAL SYSTEMS ALEXANDER TOLISH Abstract. Newton s Laws of Motion, which equate forces with the timerates of change of momenta, are a convenient way to describe mechanical
More informationNonlinear Single-Particle Dynamics in High Energy Accelerators
Nonlinear Single-Particle Dynamics in High Energy Accelerators Part 2: Basic tools and concepts Nonlinear Single-Particle Dynamics in High Energy Accelerators This course consists of eight lectures: 1.
More informationThe Toda Lattice. Chris Elliott. April 9 th, 2014
The Toda Lattice Chris Elliott April 9 th, 2014 In this talk I ll introduce classical integrable systems, and explain how they can arise from the data of solutions to the classical Yang-Baxter equation.
More informationSymmetries in Semiclassical Mechanics
Proceedings of Institute of Mathematics of NAS of Ukraine 2004, Vol. 50, Part 2, 923 930 Symmetries in Semiclassical Mechanics Oleg Yu. SHVEDOV Sub-Department of Quantum Statistics and Field Theory, Department
More informationQuantum Field Theory I Examination questions will be composed from those below and from questions in the textbook and previous exams
Quantum Field Theory I Examination questions will be composed from those below and from questions in the textbook and previous exams III. Quantization of constrained systems and Maxwell s theory 1. The
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationBACKGROUND IN SYMPLECTIC GEOMETRY
BACKGROUND IN SYMPLECTIC GEOMETRY NILAY KUMAR Today I want to introduce some of the symplectic structure underlying classical mechanics. The key idea is actually quite old and in its various formulations
More informationTulczyjew triples: from statics to field theory
Tulczyjew triples: from statics to field theory Janusz Grabowski Polish Academy of Sciences 3rd Iberoamerican Meetings on Geometry, Mechanics and Control Salamanca, Sept. 3, 2012 J.Grabowski (IMPAN) Tulczyjew
More informationDirac Structures and the Legendre Transformation for Implicit Lagrangian and Hamiltonian Systems
Dirac Structures and the Legendre Transformation for Implicit Lagrangian and Hamiltonian Systems Hiroaki Yoshimura Mechanical Engineering, Waseda University Tokyo, Japan Joint Work with Jerrold E. Marsden
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationThree Loose Ends: Edge Focusing; Chromaticity; Beam Rigidity.
Linear Dynamics, Lecture 5 Three Loose Ends: Edge Focusing; Chromaticity; Beam Rigidity. Andy Wolski University of Liverpool, and the Cockcroft Institute, Daresbury, UK. November, 2012 What we Learned
More informationThe geometrical structure of quantum theory as a natural generalization of information geometry
The geometrical structure of quantum theory as a natural generalization of information geometry Marcel Reginatto Physikalisch-Technische Bundesanstalt, Braunschweig, Germany Abstract. Quantum mechanics
More informationElectric and Magnetic Forces in Lagrangian and Hamiltonian Formalism
Electric and Magnetic Forces in Lagrangian and Hamiltonian Formalism Benjamin Hornberger 1/26/1 Phy 55, Classical Electrodynamics, Prof. Goldhaber Lecture notes from Oct. 26, 21 Lecture held by Prof. Weisberger
More informationDierential geometry for Physicists
Dierential geometry for Physicists (What we discussed in the course of lectures) Marián Fecko Comenius University, Bratislava Syllabus of lectures delivered at University of Regensburg in June and July
More informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
More informationModified Equations for Variational Integrators
Modified Equations for Variational Integrators Mats Vermeeren Technische Universität Berlin Groningen December 18, 2018 Mats Vermeeren (TU Berlin) Modified equations for variational integrators December
More information1 Mathematical preliminaries
1 Mathematical preliminaries The mathematical language of quantum mechanics is that of vector spaces and linear algebra. In this preliminary section, we will collect the various definitions and mathematical
More informationLecture III: Neighbourhoods
Lecture III: Neighbourhoods Jonathan Evans 7th October 2010 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 1 / 18 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 2 / 18 In
More informationCaltech Ph106 Fall 2001
Caltech h106 Fall 2001 ath for physicists: differential forms Disclaimer: this is a first draft, so a few signs might be off. 1 Basic properties Differential forms come up in various parts of theoretical
More informationPreface On August 15, 2012, I received the following email message from Ryan Budney (ryan.budney@gmail.com). Hi Dick, Here s an MO post that s right up your alley. :) http://mathoverflow.net/questions/104750/about-a-letter-by-richard-palais-of-1965
More informationEuler-Lagrange Cohomology, Discrete Versions and Applications
November, 2002 Euler-Lagrange Cohomology, Discrete Versions and Applications Han-Ying Guo In collaboration with J.Z. Pan, S.K. Wang, S.Y. Wu, K. Wu and B. Zhou et al. Contents 1 Introduction 2 2 ELCGs
More informationUnder evolution for a small time δt the area A(t) = q p evolves into an area
Physics 106a, Caltech 6 November, 2018 Lecture 11: Hamiltonian Mechanics II Towards statistical mechanics Phase space volumes are conserved by Hamiltonian dynamics We can use many nearby initial conditions
More informationSolutions to the Hamilton-Jacobi equation as Lagrangian submanifolds
Solutions to the Hamilton-Jacobi equation as Lagrangian submanifolds Matias Dahl January 2004 1 Introduction In this essay we shall study the following problem: Suppose is a smooth -manifold, is a function,
More informationChaos in Hamiltonian systems
Chaos in Hamiltonian systems Teemu Laakso April 26, 2013 Course material: Chapter 7 from Ott 1993/2002, Chaos in Dynamical Systems, Cambridge http://matriisi.ee.tut.fi/courses/mat-35006 Useful reading:
More informationHamiltonian flows, cotangent lifts, and momentum maps
Hamiltonian flows, cotangent lifts, and momentum maps Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Symplectic manifolds Let (M, ω) and (N, η) be symplectic
More informationQuantum Theory and Group Representations
Quantum Theory and Group Representations Peter Woit Columbia University LaGuardia Community College, November 1, 2017 Queensborough Community College, November 15, 2017 Peter Woit (Columbia University)
More informationTHEODORE VORONOV DIFFERENTIAL GEOMETRY. Spring 2009
[under construction] 8 Parallel transport 8.1 Equation of parallel transport Consider a vector bundle E B. We would like to compare vectors belonging to fibers over different points. Recall that this was
More informationElements of Topological M-Theory
Elements of Topological M-Theory (with R. Dijkgraaf, S. Gukov, C. Vafa) Andrew Neitzke March 2005 Preface The topological string on a Calabi-Yau threefold X is (loosely speaking) an integrable spine of
More informationEuclidean path integral formalism: from quantum mechanics to quantum field theory
: from quantum mechanics to quantum field theory Dr. Philippe de Forcrand Tutor: Dr. Marco Panero ETH Zürich 30th March, 2009 Introduction Real time Euclidean time Vacuum s expectation values Euclidean
More informationSeminar Geometrical aspects of theoretical mechanics
Seminar Geometrical aspects of theoretical mechanics Topics 1. Manifolds 29.10.12 Gisela Baños-Ros 2. Vector fields 05.11.12 and 12.11.12 Alexander Holm and Matthias Sievers 3. Differential forms 19.11.12,
More informationWave Packet Representation of Semiclassical Time Evolution in Quantum Mechanics
Wave Packet Representation of Semiclassical Time Evolution in Quantum Mechanics Panos Karageorge, George Makrakis ACMAC Dept. of Applied Mathematics, University of Crete Semiclassical & Multiscale Aspects
More informationModern Geometric Structures and Fields
Modern Geometric Structures and Fields S. P. Novikov I.A.TaJmanov Translated by Dmitry Chibisov Graduate Studies in Mathematics Volume 71 American Mathematical Society Providence, Rhode Island Preface
More informationLecture 5. Alexey Boyarsky. October 21, Legendre transformation and the Hamilton equations of motion
Lecture 5 Alexey Boyarsky October 1, 015 1 The Hamilton equations of motion 1.1 Legendre transformation and the Hamilton equations of motion First-order equations of motion. In the Lagrangian formulation,
More informationFeynman s path integral approach to quantum physics and its relativistic generalization
Feynman s path integral approach to quantum physics and its relativistic generalization Jürgen Struckmeier j.struckmeier@gsi.de, www.gsi.de/ struck Vortrag im Rahmen des Winterseminars Aktuelle Probleme
More informationGeometric Quantization
math-ph/0208008 Geometric Quantization arxiv:math-ph/0208008v3 4 Sep 2002 William Gordon Ritter Jefferson Physical Laboratory, Harvard University Cambridge, MA 02138, USA February 3, 2008 Abstract We review
More informationSOME HIGHLIGHTS OF SYMPLECTIC GEOMETRY, SUMMER SCHOOL UTRECHT, GEOMETRY, AUGUST 16, 2017
SOME HIGHLIGHTS OF SYMPLECTIC GEOMETRY, SUMMER SCHOOL UTRECHT, GEOMETRY, AUGUST 16, 2017 FABIAN ZILTENER Overview Symplectic geometry originated from classical mechanics, where the canonical symplectic
More informationHANDOUT #12: THE HAMILTONIAN APPROACH TO MECHANICS
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
More informationM3-4-5 A16 Notes for Geometric Mechanics: Oct Nov 2011
M3-4-5 A16 Notes for Geometric Mechanics: Oct Nov 2011 Text for the course: Professor Darryl D Holm 25 October 2011 Imperial College London d.holm@ic.ac.uk http://www.ma.ic.ac.uk/~dholm/ Geometric Mechanics
More informationSketchy Notes on Lagrangian and Hamiltonian Mechanics
Sketchy Notes on Lagrangian and Hamiltonian Mechanics Robert Jones Generalized Coordinates Suppose we have some physical system, like a free particle, a pendulum suspended from another pendulum, or a field
More informationINTRODUCTION TO QUANTUM ELECTRODYNAMICS by Lawrence R. Mead, Prof. Physics, USM
INTRODUCTION TO QUANTUM ELECTRODYNAMICS by Lawrence R. Mead, Prof. Physics, USM I. The interaction of electromagnetic fields with matter. The Lagrangian for the charge q in electromagnetic potentials V
More informationPhysics 5153 Classical Mechanics. Canonical Transformations-1
1 Introduction Physics 5153 Classical Mechanics Canonical Transformations The choice of generalized coordinates used to describe a physical system is completely arbitrary, but the Lagrangian is invariant
More informationA path integral approach to the Langevin equation
A path integral approach to the Langevin equation - Ashok Das Reference: A path integral approach to the Langevin equation, A. Das, S. Panda and J. R. L. Santos, arxiv:1411.0256 (to be published in Int.
More information1 Contact structures and Reeb vector fields
1 Contact structures and Reeb vector fields Definition 1.1. Let M be a smooth (2n + 1)-dimensional manifold. A contact structure on M is a maximally non-integrable hyperplane field ξ T M. Suppose that
More informationSome aspects of the Geodesic flow
Some aspects of the Geodesic flow Pablo C. Abstract This is a presentation for Yael s course on Symplectic Geometry. We discuss here the context in which the geodesic flow can be understood using techniques
More informationLecture 4: Equations of motion and canonical quantization Read Sakurai Chapter 1.6 and 1.7
Lecture 4: Equations of motion and canonical quantization Read Sakurai Chapter 1.6 and 1.7 In Lecture 1 and 2, we have discussed how to represent the state of a quantum mechanical system based the superposition
More informationA little taste of symplectic geometry
A little taste of symplectic geometry Timothy Goldberg Thursday, October 4, 2007 Olivetti Club Talk Cornell University 1 2 What is symplectic geometry? Symplectic geometry is the study of the geometry
More informationThe kinetic equation (Lecture 11)
The kinetic equation (Lecture 11) January 29, 2016 190/441 Lecture outline In the preceding lectures we focused our attention on a single particle motion. In this lecture, we will introduce formalism for
More informationPath Integral Quantization of the Electromagnetic Field Coupled to A Spinor
EJTP 6, No. 22 (2009) 189 196 Electronic Journal of Theoretical Physics Path Integral Quantization of the Electromagnetic Field Coupled to A Spinor Walaa. I. Eshraim and Nasser. I. Farahat Department of
More informationHamiltonian Systems of Negative Curvature are Hyperbolic
Hamiltonian Systems of Negative Curvature are Hyperbolic A. A. Agrachev N. N. Chtcherbakova Abstract The curvature and the reduced curvature are basic differential invariants of the pair: Hamiltonian system,
More informationSolutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations
D. D. Holm Solutions to M3-4A16 Assessed Problems # 3 15 Dec 2010 1 Solutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations Vector notation for differential basis elements:
More informationHamilton-Jacobi theory on Lie algebroids: Applications to nonholonomic mechanics. Manuel de León Institute of Mathematical Sciences CSIC, Spain
Hamilton-Jacobi theory on Lie algebroids: Applications to nonholonomic mechanics Manuel de León Institute of Mathematical Sciences CSIC, Spain joint work with J.C. Marrero (University of La Laguna) D.
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationThe Geometry of Euler s equation. Introduction
The Geometry of Euler s equation Introduction Part 1 Mechanical systems with constraints, symmetries flexible joint fixed length In principle can be dealt with by applying F=ma, but this can become complicated
More informationHamiltonian aspects of fluid dynamics
Hamiltonian aspects of fluid dynamics CDS 140b Joris Vankerschaver jv@caltech.edu CDS 01/29/08, 01/31/08 Joris Vankerschaver (CDS) Hamiltonian aspects of fluid dynamics 01/29/08, 01/31/08 1 / 34 Outline
More informationBlack Holes, Thermodynamics, and Lagrangians. Robert M. Wald
Black Holes, Thermodynamics, and Lagrangians Robert M. Wald Lagrangians If you had asked me 25 years ago, I would have said that Lagrangians in classical field theory were mainly useful as nmemonic devices
More informationDIRAC COTANGENT BUNDLE REDUCTION HIROAKI YOSHIMURA JERROLD E. MARSDEN. (Communicated by Juan-Pablo Ortega)
JOURNAL OF GEOMETRIC MECHANICS doi:10.3934/jgm.2009.1.87 c American Institute of Mathematical Sciences Volume 1, Number 1, March 2009 pp. 87 158 DIRAC COTANGENT BUNDLE REDUCTION HIROAKI YOSHIMURA Applied
More informationGreen bundles : a dynamical study
Green bundles : a dynamical study Marie-Claude Arnaud December 2007 1 CONTENT 1) Hamiltonian and Lagrangian formalism 2) Lipschitz Lagrangian submanifolds, images of such manifolds and minimization properties
More informationEva Miranda. UPC-Barcelona and BGSMath. XXV International Fall Workshop on Geometry and Physics Madrid
b-symplectic manifolds: going to infinity and coming back Eva Miranda UPC-Barcelona and BGSMath XXV International Fall Workshop on Geometry and Physics Madrid Eva Miranda (UPC) b-symplectic manifolds Semptember,
More informationPreliminaries: what you need to know
January 7, 2014 Preliminaries: what you need to know Asaf Pe er 1 Quantum field theory (QFT) is the theoretical framework that forms the basis for the modern description of sub-atomic particles and their
More information1 Hamiltonian formalism
1 Hamiltonian formalism 1.1 Hamilton s principle of stationary action A dynamical system with a finite number n degrees of freedom can be described by real functions of time q i (t) (i =1, 2,..., n) which,
More information4 Riemannian geometry
Classnotes for Introduction to Differential Geometry. Matthias Kawski. April 18, 2003 83 4 Riemannian geometry 4.1 Introduction A natural first step towards a general concept of curvature is to develop
More informationUnimodularity and preservation of measures in nonholonomic mechanics
Unimodularity and preservation of measures in nonholonomic mechanics Luis García-Naranjo (joint with Y. Fedorov and J.C. Marrero) Mathematics Department ITAM, Mexico City, MEXICO ẋ = f (x), x M n, f smooth
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationInfinitesimal Einstein Deformations. Kähler Manifolds
on Nearly Kähler Manifolds (joint work with P.-A. Nagy and U. Semmelmann) Gemeinsame Jahrestagung DMV GDM Berlin, March 30, 2007 Nearly Kähler manifolds Definition and first properties Examples of NK manifolds
More informationVortex Equations on Riemannian Surfaces
Vortex Equations on Riemannian Surfaces Amanda Hood, Khoa Nguyen, Joseph Shao Advisor: Chris Woodward Vortex Equations on Riemannian Surfaces p.1/36 Introduction Yang Mills equations: originated from electromagnetism
More informationQuantum theory from the geometry of evolving probabilities. Author. Published. Journal Title DOI. Copyright Statement.
Quantum theory from the geometry of evolving probabilities Author Reginatto, Marcel, Hall, Michael Published 2012 Journal Title AIP Conference Proceedings DOI https://doi.org/10.1063/1.3703625 Copyright
More informationNotes on symplectic geometry and group actions
Notes on symplectic geometry and group actions Peter Hochs November 5, 2013 Contents 1 Example of Hamiltonian mechanics 1 2 Proper actions and Hausdorff quotients 4 3 N particles in R 3 7 4 Commuting actions
More informationThe Path Integral Formulation of Quantum Mechanics
The Path Integral Formulation of Quantum Mechanics Shekhar Suresh Chandra March 15, 2005 Prerequisite: Knowledge of the Lagrangian Formalism (which can be found on my site also). Thirty-one years ago,
More informationTowards Discrete Exterior Calculus and Discrete Mechanics for Numerical Relativity
Towards Discrete Exterior Calculus and Discrete Mechanics for Numerical Relativity Melvin Leok Mathematics, University of Michigan, Ann Arbor. Joint work with Mathieu Desbrun, Anil Hirani, and Jerrold
More informationGlobal Formulations of Lagrangian and Hamiltonian Dynamics on Embedded Manifolds
1 Global Formulations of Lagrangian and Hamiltonian Dynamics on Embedded Manifolds By Taeyoung Lee, Melvin Leok, and N. Harris McClamroch Mechanical and Aerospace Engineering, George Washington University,
More informationPhysical Dynamics (PHY-304)
Physical Dynamics (PHY-304) Gabriele Travaglini March 31, 2012 1 Review of Newtonian Mechanics 1.1 One particle Lectures 1-2. Frame, velocity, acceleration, number of degrees of freedom, generalised coordinates.
More informationHAMILTON S PRINCIPLE
HAMILTON S PRINCIPLE In our previous derivation of Lagrange s equations we started from the Newtonian vector equations of motion and via D Alembert s Principle changed coordinates to generalised coordinates
More informationQuantization of scalar fields
Quantization of scalar fields March 8, 06 We have introduced several distinct types of fields, with actions that give their field equations. These include scalar fields, S α ϕ α ϕ m ϕ d 4 x and complex
More informationChapter 1. Principles of Motion in Invariantive Mechanics
Chapter 1 Principles of Motion in Invariantive Mechanics 1.1. The Euler-Lagrange and Hamilton s equations obtained by means of exterior forms Let L = L(q 1,q 2,...,q n, q 1, q 2,..., q n,t) L(q, q,t) (1.1)
More informationPath Integral Quantization of Constrained Systems
Islamic University-Gaza Deanery of Graduate Science Faculty of Science Department of Physics Path Integral Quantization of Constrained Systems BY Tahany Riziq Dalloul Supervisor Dr. Nasser I. Farahat A
More informationMaxwell s equations. based on S-54. electric field charge density. current density
Maxwell s equations based on S-54 Our next task is to find a quantum field theory description of spin-1 particles, e.g. photons. Classical electrodynamics is governed by Maxwell s equations: electric field
More informationWaves and the Schroedinger Equation
Waves and the Schroedinger Equation 5 april 010 1 The Wave Equation We have seen from previous discussions that the wave-particle duality of matter requires we describe entities through some wave-form
More informationBRST 2006 (jmf) 7. g X (M) X ξ X. X η = [ξ X,η]. (X θ)(η) := X θ(η) θ(x η) = ξ X θ(η) θ([ξ X,η]).
BRST 2006 (jmf) 7 Lecture 2: Symplectic reduction In this lecture we discuss group actions on symplectic manifolds and symplectic reduction. We start with some generalities about group actions on manifolds.
More informationPage 684. Lecture 40: Coordinate Transformations: Time Transformations Date Revised: 2009/02/02 Date Given: 2009/02/02
Page 684 Lecture 40: Coordinate Transformations: Time Transformations Date Revised: 2009/02/02 Date Given: 2009/02/02 Time Transformations Section 12.5 Symmetries: Time Transformations Page 685 Time Translation
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationPhysical Dynamics (SPA5304) Lecture Plan 2018
Physical Dynamics (SPA5304) Lecture Plan 2018 The numbers on the left margin are approximate lecture numbers. Items in gray are not covered this year 1 Advanced Review of Newtonian Mechanics 1.1 One Particle
More informationPHY411 Lecture notes Part 2
PHY411 Lecture notes Part 2 Alice Quillen April 6, 2017 Contents 1 Canonical Transformations 2 1.1 Poisson Brackets................................. 2 1.2 Canonical transformations............................
More informationTopics in Representation Theory: Cultural Background
Topics in Representation Theory: Cultural Background This semester we will be covering various topics in representation theory, see the separate syllabus for a detailed list of topics, including some that
More informationStability Subject to Dynamical Accessibility
Stability Subject to Dynamical Accessibility P. J. Morrison Department of Physics and Institute for Fusion Studies The University of Texas at Austin morrison@physics.utexas.edu http://www.ph.utexas.edu/
More informationHONGYU HE. p = mẋ; q = x. be the Hamiltonian. It represents the energy function. Then H q = kq,
to be completed. LECTURE NOTES HONGYU HE 1. Hamiltonian Mechanics Let us consider the classical harmonic oscillator mẍ = kx (x R). This is a second order differential equation in terms of Newtonian mechanics.
More informationDirac structures. Henrique Bursztyn, IMPA. Geometry, mechanics and dynamics: the legacy of J. Marsden Fields Institute, July 2012
Dirac structures Henrique Bursztyn, IMPA Geometry, mechanics and dynamics: the legacy of J. Marsden Fields Institute, July 2012 Outline: 1. Mechanics and constraints (Dirac s theory) 2. Degenerate symplectic
More informationIII. Kinetic Theory of Gases
III. Kinetic Theory of Gases III.A General Definitions Kinetic theory studies the macroscopic properties of large numbers of particles, starting from their (classical) equations of motion. Thermodynamics
More informationLECTURE 5: SMOOTH MAPS. 1. Smooth Maps
LECTURE 5: SMOOTH MAPS 1. Smooth Maps Recall that a smooth function on a smooth manifold M is a function f : M R so that for any chart 1 {ϕ α, U α, V α } of M, the function f ϕ 1 α is a smooth function
More informationTHE LONGITUDINAL KAM-COCYCLE OF A MAGNETIC FLOW
THE LONGITUDINAL KAM-COCYCLE OF A MAGNETIC FLOW GABRIEL P. PATERNAIN Abstract. Let M be a closed oriented surface of negative Gaussian curvature and let Ω be a non-exact 2-form. Let λ be a small positive
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More information