80
Particle Motion in Hamiltonian Formalism Lecture 1 Dr. Suzie Sheehy John Adams Institute for Accelerator Science University of Oxford Image: Andrew Khosravani, 2016 http://richannel.org/collections/2016/particle-accelerators-for-humanity 1

Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Particle Motion in Hamiltonian Formalism Lecture 1

Dr. Suzie Sheehy John Adams Institute for Accelerator Science

University of Oxford

Image: Andrew Khosravani, 2016http://richannel.org/collections/2016/particle-accelerators-for-humanity

1

Page 2: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Where are we now?So far, you should already have learned about:

• The basic types of accelerators

• Intro to types of magnets and basic beam parameters

• Electromagnetic fields

• Maxwell’s equations

• The Lorentz force

• Introduction to linear optics

2

We have started looking at how to describe particle motion in accelerators, now we will look at this from a different angle.

Page 3: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Aims for this lecture

3

With a conceptual understanding (i.e. without the full mathematics):1. Understand the framework used to design or study an accelerator2. Develop general description of particle motion in Hamiltonian framework2. Understand what “maps” are, and how they relate to particle motion and simulation3. Derive some basic maps from the equations of motion

These lectures cover the question “WHY? Do we design, study and understand particle

accelerators in the way we do?”

Page 4: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Our trajectory…• Lecture 1: Where do we begin?

• How do we describe the motion?

• Approach: Hamiltonian dynamics

• Setting up: Reference trajectory & variables and reference frame

• Which EM fields do we need to consider (at first)?

• Lecture 2: We now have the equations & the fields… what next?

• “Maps” and “matrices” transporting co-ordinates in EM fields

• Derive maps for drift, dipole, quadrupole etc…

• Adding the pieces together: getting to Hills equation of motion

• Hints of non-linear dynamics and harder stuff to come later…

4

Page 5: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Particle in an EM fieldHow can we describe the motion?

5

Page 6: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

B E ?BEARTH

B B

How can we describe the motion?

6

Page 7: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

A simple example, how to solve?• Take a spring, with a mass on it.

• Set it oscillating.

• Describe the subsequent motion.

7

F =maEasy, right? We can start with

Image: http://farside.ph.utexas.edu/teaching/315/Waves/node3.html

F = −kxWe know ‘Hooke’s law’ gives the restoring force from the spring:

m!!x = −kxAnd thus we can equate the two:

x = acos(ωt −φ)The solution (known for ages) is:

ω = km

Page 8: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Another option… the Lagrangian

8

L=T −V

Kinetic energy: T = 12m !x2

V = 12kx2Potential energy:

ddt

∂L∂ !x

⎛⎝⎜

⎞⎠⎟= ∂L∂x

How to proceed? Use the Euler-Lagrange equation (don’t worry if you don’t remember this…)

ddt(m !x)= −kx m!!x = −kx

same as before!

Page 9: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Third option… the Hamiltonian

H = p2

2m + 12kx2 H =T +V

First, we need to make sure we are using ‘canonically conjugate co-ordinates’. Bit tricky, but we can find

them using L from before:

p= ∂L∂ !x

L= 12m !x2 − 12kx

2

from before…

p=m !x

H = !qii∑ pi −L H = !xp− 12m !x

2 + 12kx2

So in this case, the Hamiltonian is just the sum of kinetic & potential energies

Write in terms of x, p

Page 10: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

10

Now instead of Euler-Lagrange equations, we use Hamilton’s equations

to get the equations of motion:

∂x∂t

= ∂H∂p

∂p∂t

= − ∂H∂x

Third option… the Hamiltonian (2/2)

∂x∂t

= pm

∂p∂t

= −kx

H = p2

2m + 12kx2

And we get 2, first order equations of motion.• The right is equivalent to Newton’s laws for this system.• But we started from thinking about the ENERGY of the system,

without knowing the Forces applied.

Page 11: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

11

The most relevant ‘canonically conjugate’ variables for us are:x (space) and p (momentum)E (energy) and t (time)

Phase space

In accelerator physics, we often hear the phrase ‘phase space’ where someone really means ‘trace space’ (x,x’) where x’=dx/ds is an angle. The two are subtly different. Technically, we should use ‘phase space’ (x, px).

• As time progresses, particles trace out ellipses in phase space.

• Particles with larger ‘amplitude’ trace out a larger ellipse

x

px

Page 12: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Symplecticity

• Formally defined:

• In practise/physics:

• Phase space areas are conserved (even in non-linear dynamics case).

• i.e. Emittance is conserved.

• e.g. A simulation code that is ‘non-symplectic’ will lead to particles eventually undergoing amplitude growth due to computational errors instead of a real effect!

12

x

px

MT(t)⋅S ⋅M(t)= S

S = 0 1−1 0

⎝⎜⎞

⎠⎟

cf. Werner Herr advanced school:

Page 13: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Back to the Motion of Charged Particles• Let’s start by looking at the motion of single particles.

• “…in principle, there are only two steps in the analysis of any dynamical system. The first step is to write down the equations of motion; and the second step is to solve them” [A. Wolski, pp. 59 ]

13

Page 14: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

14

The approach: what options?

dpdt

= F F = q(E+ v ×B) (1.2)(1.1)

• We could just use Newton’s laws & Lorentz force?

• Newton’s laws took astronauts to the moon. So maybe they are good enough for us? Well, it depends on the problem…

• In Newtonian mechanics, to get time evolution, we: • Compute the total force exerted on each particle • Use Newtons 2nd law to calculate time evolution of position & velocity

Page 15: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

15

Classical mechanics - our options:• We could start with the Lagrangian:

• Describes system in generalised co-ordinates (q) and velocities (dq/dt) and the “time” (t).

• The Lagrange equations then consist of second-order differential equations describing the motion of the system.

• Uses q and dq/dt and t (p and q are independent, the others aren’t)

• In Hamiltonian mechanics, we describe the motion of a particle (or a ball, or a planet) by:

• First compute the “Hamiltonian” in “generalised co-ordinates” (q, p)

• Then plug that into “Hamilton’s equations”

• Get 2 (n) first order differential equations to solve

Page 16: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Which method?

16

Lagrangian Hamiltonian Newton

Function ofPosition,

velocity, time L(q,v,t)

Position, momenta

(generalised) H(q,p,t)

Need to know T-V T+V Forces

Results inn 2nd order differential equations

2n x 1st order differential equation

Conservative system Yes Yes

What’s the big deal of using p vs v? Isn’t p=mv? Well yes in rectangular co-ordinates, but in generalised co-ordinates that’s no longer true.

Page 17: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

• In an accelerator, magnets and rf cavities are generally defined along a trajectory (i.e. we know where they are in distance, not time). The Hamiltonian approach is lets us use this fact.

• The motion of particles in electromagnetic fields is conservative, and similar to a harmonic oscillator with perturbations. We have lots of mathematical tools to treat this in the Hamiltonian formalism. (Stability analysis, linear methods etc…)

• Ultimately, it makes our lives easier.

If we know the Hamiltonian and Hamilton’s equations, we can find the equations of motion for a dynamical

system.

Our first goal: find out the Hamiltonian!

17

Why use the Hamiltonian approach?

Page 18: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Our trajectory…• Lecture 1: Where do we begin?

• How do we describe the motion?

• Approach: Hamiltonian dynamics

• Setting up: Reference trajectory & variables and reference frame

• Which EM fields do we need to consider (at first)?

• Lecture 2: We now have the equations & the fields… what next?

• “Maps” and “matrices” transporting co-ordinates in EM fields

• Derive maps for drift, dipole, quadrupole etc…

• Adding the pieces together: getting to Hills equation of motion

• Hints of non-linear dynamics and harder stuff to come later…

18

Page 19: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Hamiltonian (straight beam line)• The Hamiltonian represents the total energy of the particle

dxidt

= δHδ pi

dpidt

= −δHδ xi

Hamilton’s equations

H = H (xi , pi;t)

• We need a Hamiltonian that gives (1.1) and (1.2) when substituted into (1.3) and (1.4)

(1.3)

(1.4)

H = c (p − qA)2 +m2c2 + qφ

We propose the following Hamiltonian for a relativistic charged particle moving in an electromagnetic field:

(1.5)

But this is still defined in terms of time… so we want to change it.

19

Page 20: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Hamiltonian (straight beam line)H = c (p − qA)2 +m2c2 + qφ

We don’t need to go through every step here, but here’s what we do.

STEP 1: We take (1.5) and change the independent variable to z, the distance along the beam line

(1.5)

We get (try this at home…), use H= total energy E

Hnew = − pz = − (E − qφ)2

c2− (px − qAx )

2 − (py − qAy )2 −m2c2 − qAz (1.6)

20

(x, px ) (y, py ) (t,−E)

Note that if the E and B fields are static, the Hamiltonian is independent of time and the total energy of the particle is constant. Happy days.

Page 21: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Straight Beamline Hamiltonian

21

STEP 2: We choose new (canonical) variables for the position & momentum that stay small as the particle moves along the beam line and scale by reference momentum P0 (subscript ‘0’ denotes reference)

STEP 3: We define new (canonical) longitudinal variables.

B E ?BEARTH

B B

Blue: “reference” trajectoryRed: actual particle trajectory

We’re not going to go through all the steps…

Page 22: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Variables for Beam Dynamics

• Using the Hamiltonian, we can get the equations of motion for a particle in a (straight) beam line.

• Usually these equations are too complex to solve exactly, so we have to make some approximations.

22

H = δβ0

− δ + 1β0

− qφcP0

⎛⎝⎜

⎞⎠⎟

2

− (px − ax )2 − (py − ay )

2 − 1β02γ 0

2 − az(1.7)

Eventually, our Hamiltonian with independent variable ’s’ along the beamline, becomes:

a = qP0A

Scaled vector potential

δ = EcP0

− 1β0

Energy deviation

(x, px , y, py , z,δ )Co-ordinates & momenta

Page 23: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Hamiltonian (curved beam line)

• Now we complicate things slightly with curved reference frame

• We want to measure s along a path which curves with the trajectory of a particle on a curved orbit, which we call the reference trajectory

• Spoiler alert: simply turns out as a factor in front of the straight line Hamiltonian

23

Page 24: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Our trajectory…• Lecture 1: Where do we begin?

• How do we describe the motion?

• Approach: Hamiltonian dynamics

• Setting up: Reference trajectory & variables and reference frame

• Which EM fields do we need to consider (at first)?

• Lecture 2: We now have the equations & the fields… what next?

• “Maps” and “matrices” transporting co-ordinates in EM fields

• Derive maps for drift, dipole, quadrupole etc…

• Adding the pieces together: getting to Hills equation of motion

• Hints of non-linear dynamics and harder stuff to come later…

24

Page 25: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Particle motion is described with respect to a reference orbit in the non-inertial frame (x, y, s). This co-ordinate system is known as Frenet-Serret

First, we convert to a non-inertial reference frame. We use the ’Frenet-Serret’ co-ordinate system

In accelerator physics we ask: “What are the particles’ generalized coordinates when they reach a certain point in space?”

25

Page 26: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

• First, we convert to ‘Frenet-Serret’ co-ordinate system

Tangent unit vector to closed orbits(s) = dr!0 (s)ds

x(s) = −ρ(s) ds(s)ds

Unit vector perpendicular to tangent vector

y(s) = x(s)× s(s) Third unit vector…

Particle trajectory: r!(s) = r

!0 (s)+ xx(s)+ yy(s)

H = eφ + c m2c2 + (ps − eAs )2

(1+ x / ρ)2+ (px − eAx )

2 + (py − eAy )2

nb. the reference frame moves WITH the particle

26

And we follow pretty much the same procedure as before…

Hamiltonian looks a little different and we can see that now the factor 1/ρ starts to appear. Remarkably, the addition of the one simple term x/ρ(s) gives all the new non-inertial dynamics

F3(P!";x, s, y) = −P

!".[r0!"(s)+ xx(s)+ yy(s)] Generating function for

canonical transformation

Page 27: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

• As before, we change the independent variable from t to s

(x, px , y, py ,t,−H )The new conjugate phase space variables are

And the new Hamiltonian (s-dependent) is

Which is time-independent (if also are time-independent) φ,A

!H = − ps!H = −(1+ x / ρ) (H − eφ)2

c2−m2c2 − (px − eAx )

2 − (py − eAy )2⎡

⎣⎢

⎦⎥

1/2

− eAs

Expanding the Hamiltonian to second order in px, py

!H ≈ − p(1+ x / ρ)+ 1+ x / ρ2p

(px − eAx )2 + (py − eAy )

2⎡⎣ ⎤⎦1/2

− eAs

H − eφ = E

p = E2 / c2 −m2c2is the total particle energy

is the total particle momentum

27

Page 28: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

So far, we have been looking in general for any Vector potential Scalar potential φ

A

But in reality, we (usually) use electric fields to accelerate particles and magnetic fields to

bend, focus and manipulate the beams.

So we need to know “which magnetic fields can we really create?”

(We’ll come back to the Hamiltonian later…) 28

Where are we now?

Page 29: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Our trajectory…• Lecture 1: Where do we begin?

• How do we describe the motion?

• Approach: Hamiltonian dynamics

• Setting up: Reference trajectory & variables and reference frame

• Which EM fields do we need to consider (at first)?

• Lecture 2: We now have the equations & the fields… what next?

• “Maps” and “matrices” transporting co-ordinates in EM fields

• Derive maps for drift, dipole, quadrupole etc…

• Adding the pieces together: getting to Hills equation of motion

• Hints of non-linear dynamics and harder stuff to come later…

29

Page 30: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Magnetic Fields• Maxwell’s equations, time independent, no sources, so:

∇× B!"= 0

∇⋅B!"= 0

J!"= 0

B!"= µ0H!"!

• We’ll “guess” that the following obeys these equations:

• A constant vertical field Bz, and

By + iBx = Cn (x + iy)n−1

• n is an integer > 0, C is a complex number

• (real part understood)

30

Page 31: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

By + iBx = Cn (x + iy)n−1∂

∂x+ i ∂

∂yNow apply to each side of

LHS: =∂By

∂x− ∂Bx

∂y+ i ∂Bx

∂x+∂By

∂y⎛⎝⎜

⎞⎠⎟

= ∇× B!"

⎡⎣ ⎤⎦z + i∇⋅B!"

Where we know Bz is constant.

RHS: = (n −1)(x + iy)n−2 + i2 (n −1)(x + iy)n−2 = 0

So we find that as expected, the field satisfies Maxwell’s equations in free space

By + iBx = Cn (x + iy)n−1

∇× B!"= 0 ∇⋅B

!"= 0∴ and

Does this obey Maxwell in free space?

31

Page 32: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Multipole fields

By + iBx = Bref (bn + ian )x + iyRref

⎝⎜⎞

⎠⎟n=1

∑n−1

In the usual notation:

bn are “normal multipole coefficients” (LEFT) and an are “skew multipole coefficients” (RIGHT) ‘ref’ means some reference value

n=1, dipole field n=2, quadrupole field n=3, sextupole field

Images: A. Wolski, https://cds.cern.ch/record/1333874

anbn

32

Page 33: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Multipole Magnets

x

By

x

By

0

100

-20 0 20

Images: Ted Wilson, JAI Course 2012 Image: Danfysik

Image: STFC

Image: Wikimedia commons

33

Page 34: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

34

H.Schmickler,CERN 25

Suchafield(force)weneedforfocusing

Put these back into the Hamiltonian…

Page 35: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

So we now have:

An idea of how to get the Hamiltonian

and

An idea of which types of magnetic fields we might encounter

35

Page 36: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Lecture 2FYI… in the next lecture we will:

4. Understand the approach to compute linear and non-linear maps

5. Derive and look at transfer matrices for main types of magnets used in accelerators

5. Get a glimpse (only) of non-linear dynamics (covered further later & at the Advanced CAS school)

36

Page 37: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Our trajectory…• Lecture 1: Where do we begin?

• How do we describe the motion?

• Approach: Hamiltonian dynamics

• Setting up: Reference trajectory & variables and reference frame

• Which EM fields do we need to consider (at first)?

• Lecture 2: We now have the equations & the fields… what next?

• “Maps” and “matrices” transporting co-ordinates in EM fields

• Derive maps for drift, dipole, quadrupole etc…

• Adding the pieces together: getting to Hills equation of motion

• Hints of non-linear dynamics and harder stuff to come later…

37

Page 38: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

ReferencesBeam Dynamics:

• A. Wolski, “Beam Dynamics in High Energy Particle Accelerators”, Imperial College Press, 2014.

• S. Y. Lee, “Accelerator Physics”, 3rd Edition, World Scientific, 2011.

• K. Brown, SLAC-75-rev-4 (1982); SLAC-91-rev-2 (1977)

Electromagnetism:

• J. D. Jackson, Classical Electrodynamics, 3rd Ed, Wiley & sons (1999).

Hamiltonian Mechanics:

• H. Goldstein et al., Classical Mechanics (3rd ed.). Addison-wesley (2001).

Most of the images/animations I’ve used here: http://richannel.org/collections/2016/particle-accelerators-for-humanity

38

Page 39: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Particle Motion in EM Fields Lecture 2

Dr. Suzie Sheehy John Adams Institute for Accelerator Science

University of Oxford 39

Page 40: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

B E ?BEARTH

B B

From Lecture 1: How can we describe the motion?

40

Page 41: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

What are maps?• Maps are the basic mathematical instruments to transport particles

through (arbitrary) EM fields.

• They require some input and give an output.

• A transfer map is a statement of how dynamical variables change at different points. They are abstract objects, and can be matrices, Taylor series, Lie Transforms or other objects.

• In this case we talk about particle co-ordinates but we could propagate any mathematical object (beam sizes, spin, etc…) in similar way

x!(s1) = M

" !"(x!(s 0 ))

In the Introductory school, we will focus on matrices (1st order maps), but you should be aware that the concept is more general. Maps can be based on symplectic

integrators (usually done in modern tracking programs), and other objects.

x!= (x, px , y, py , z,δ )

41

Page 42: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Each of these ‘elements’ (and drifts) can be thought of as transforming the particle co-ordinates

Mathematically, they are ‘maps’

x!= (x, px , y, py , z,δ )

x!(s1) = M

" !"(x!(s 0 ))

42

Page 43: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Maps for Circular MachinesAccelerators are made up of beamline elements, each with their own linear and nonlinear fields, they might be mis-aligned, mis-powered etc…

If one tried to write down the entire Hamiltonian for that system, it would be pretty darn complicated!

So instead, we take a piecewise approach:

1. First compute the maps for individual beamline elements using a local coordinate system that is appropriate to the element.

2. Then the maps are combined to produce a one-turn map, and then we can do our analysis on that map.

43

Page 44: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Map Definition and Conventions• If the equations of motion are linear, we can write the map as a matrix.

• We can understand many of the effects of dynamics of particles by using linear equations.

• (Even though, in fact, the equations of motion are non-linear in reality, even in a drift space!)

44

Page 45: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Transfer matrices

x!(s) =

x(s)px (s)

⎝⎜

⎠⎟x

!(s) = M (s | s0 )x

!(s0 )

Where M is the ‘transfer matrix’.

The effect of a succession of drifts & lenses can be found by multiplying their transfer matrices…

x!(sn ) = Mn (sn | sn−1)…M 3(s3 | s2 )M 2 (s2 | s1)M1(s1 | s0 )x

!(s0 )

We could do this for a whole ring, but usually can exploit some symmetry (superperiod or cell)

45

Page 46: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Drift space• Let’s consider the simplest case, a drift. There are no

electric or magnetic fields and we can set potentials to zero. φ = 0,A = 0

• The Hamiltonian is then: H = px2

2+py2

2+ δ 2

2β02γ 0

2

• Where we’ve expanded to second order, and dropped terms of 3rd and higher order.

• WHY? Because we want to construct LINEAR maps.

• It is also possible to have NON-LINEAR maps (see later)

Wait, let’s go back a step… 46

Page 47: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

H = δβ0

− δ + 1β0

⎛⎝⎜

⎞⎠⎟

2

− px2 − py

2 − 1β02γ 0

2

The actual Hamiltonian in a drift (no potentials) is:

• And we can drop the 3rd and higher order terms (and zeroth order as this doesn’t contribute to the dynamics)

• This is called the paraxial approximation and you will hear people talking about it. It’s worth knowing that we do this, and (for instance) whether the simulation code you use takes this approximation or not.

• We COULD solve the equations of motion and then approximate, but it is useful to start with a Hamiltonian (even an approximate one) as it has conserved quantities

Expanding to second order gives:

H = −1+ px2

2+py2

2+ δ 2

2β02γ 0

2 +O(3)

47

Page 48: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Back to our drift space…

H = px2

2+py2

2+ δ 2

2β02γ 0

2

• Using Hamilton’s equations (1.3) and (1.4) to find equations of motion:

x1 = x0 + Lpx0px1 = px0y1 = y0 + Lpy0py1 = py0

z1 = z0 +L

β02γ 0

2 δ 0

δ1 = δ 0

dxds

= δHδ px

= px

dpxds

= −δHδ x

= 0

dδds

= −δHδ z

= 0

dzds

= ∂H∂δ

= δβ02γ 0

2

(for y are the same format…)

Solve exactly to get

48

Page 49: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

In matrix form• We can express this linear map as a matrix

x!1 = Rdrift x

!0

x!=

xpxypyzδ

⎜⎜⎜⎜⎜⎜⎜

⎟⎟⎟⎟⎟⎟⎟

Rdrift =

1 L 0 0 0 00 1 0 0 0 00 0 1 L 0 00 0 0 1 0 0

0 0 0 0 1 Lβ02γ 0

2

0 0 0 0 0 1

⎜⎜⎜⎜⎜⎜⎜⎜

⎟⎟⎟⎟⎟⎟⎟⎟

49

So given particle co-ordinates, we can transform them to the next ‘step’

Page 50: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Quadrupole magnet

• Let’s try a non-trivial example, and one that is commonly used in accelerators: the quadrupole

• Quadrupoles provide transverse focusing

Image: STFC

50

Page 51: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Quadrupole magnet• Remember our equation for magnetic multipoles?

By + iBx = Bref (bn + ian )x + iyRref

⎝⎜⎞

⎠⎟n=1

∑n−1

NB. When working with the Hamiltonian, we need the vector potential, which can be written:

A = (0,0,Az ) Az = −Bref Re (bn + ian )(x + iy)n

nR refn−1

n=1

51

Page 52: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

NB. For a pure multipole field, we normally use the multipole fields normalised by

So, we can define the normalised multipole strength, k:

q / P0

kn−1 =qP0

∂n−1By

∂xn−1= (n −1)!

BrefRrefn bn

So for our quadrupole, n=2, we have: k1 =qP0

∂By

∂x=BrefRref

b2

Az = −Bref b22Rref

(x2 − y2 )

This becomes… for n=2 (quadrupole):

b = (k1y,k1x,0)

And we get the magnetic field and vector potentials:

a = (0,0,− k12(x2 − y2 ))

this is the bit we need next… 52

Page 53: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

• Now we go back down the Hamiltonian rabbit hole…

a = (0,0,− k12(x2 − y2 ))

Hquad =px2

2+py2

2+ δ 2

2β02γ 0

2 +k12(x2 − y2 )

Oh wait, it’s not so bad… it’s just like the drift, but with the new potential!

nb. we’ve made the paraxial approximation again 53

Page 54: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

• Now we can solve the equations of motion again…

dxds

= δHδ px

= px

dpxds

= −δHδ x

= k1x

Hquad =px2

2+py2

2+ δ 2

2β02γ 0

2 +k12(x2 − y2 )

dyds

= δHδ py

= py

dpyds

= −δHδ y

= −k1y

etc… so that…

dδds

= −δHδ z

= 0

dzds

= ∂H∂δ

= δβ02γ 0

2

54

d 2xds2

− k1x = 0d 2yds2

+ k1y = 0

Page 55: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Quadrupole transfer matrix

x!1 = Rquad x

!0

x!=

xpxypyzδ

⎜⎜⎜⎜⎜⎜⎜

⎟⎟⎟⎟⎟⎟⎟

Rquad =

cos(ωL) sin(ωL)ω

0 0 0 0

−ω sin(ωL) cos(ωL) 0 0 0 0

0 0 cosh(ωL) sinh(ωL)ω

0 0

0 0 ω sinh(ωL) cosh(ωL) 0 0

0 0 0 0 1 Lβ02γ 0

2

0 0 0 0 0 1

⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜

⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟

ω = k1

Through a quad of length L, strength k1

55

Page 56: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Let’s look at the x, px part

Rquad =cos(ωL) sinωL

ω−ω sin(ωL) cos(ωL)

⎜⎜⎜

⎟⎟⎟

If is real so k1>0, the motion is a harmonic oscillator

(but in accelerators, the particle won’t undergo a whole oscillation just in a single quadrupole)

But note that when k1<0 the motion is defocusing (while in the vertical it becomes focusing)

ω = k1

i.e. we can’t focus in x and y at the same time with a single quadrupole, the other plane is always defocusing.

But we can get around that (later)… 56

Page 57: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Thin lens approximation• If we view a quadrupole as having length • f is a constant.

57

Lq → 0k1Lq →1/ f k1 =

qP0

∂By

∂x

RFx = 1 0

−1/ f 1⎛

⎝⎜⎞

⎠⎟RFy = 1 0

1/ f 1⎛

⎝⎜⎞

⎠⎟

f

x0

x

z

x0 / f

thin lens focusing “F” quadrupole

reversed (defocusing) in y-planefocusing in x-plane

Page 58: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Sneak peak: AG focusing - thin lens

M = 1 d0 1

⎛⎝⎜

⎞⎠⎟

1 01/ f 1

⎝⎜⎞

⎠⎟1 d0 1

⎛⎝⎜

⎞⎠⎟

1 0−1/ f 1

⎝⎜⎞

⎠⎟

In the ‘thin lens’ approximation:

=1− d

f− d

2

f 22d + d

2

f

− df 2

1+ d / f

⎜⎜⎜⎜

⎟⎟⎟⎟

Focusing & defocusing with a drift between doesn’t cancel out. This is what gives us ‘alternating gradient’ focusing

For infinitesimally short lenses, we can recover most of the physicsK(s) = ±δ (s) / f where f is the focal length.

Page 59: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Particle in AG focusing

59

Page 60: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Dipole magnet• In a dipole magnet, the field is (ideally) uniform

• But it’s not so simple as the reference trajectory is curved - so that the dynamical variables stay small

The vector potential in curvilinear co-ordinates is

As = −B0 x − x2

(x + ρ)⎛⎝⎜

⎞⎠⎟

Ax = 0 Ay = 0

let’s look at the resulting linear transfer matrix (after using the 2nd order Hamiltonian as usual)

60

Page 61: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Transfer Matrix for a Dipole

Rdipole =cosθ ρ sinθ

−(1 / ρ)sinθ cosθ

⎝⎜

⎠⎟

A few things to note: Because of curvilinear co-ordinate system it should look like a drift… but it looks like there is focusing (weak focusing)

61

in the deflecting plane…

θ ρ

θ = L / ρ

L = arclength

kx = 1/ ρ2

Pure sector dipole

Page 62: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

62

θ ρ

Dispersion - bending of a dipole changes with momentum (Remember this for later lectures…)

Page 63: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

A note on dipoles…• Note that the map we’ve seen is for a particle inside the dipole, but there

are also end effects (fringe field effects).

• We cannot neglect these!

• Results in ‘edge focusing’ if the beam trajectory is not perpendicular to the magnet entrance/exit face

63

θ ρ

ψ 2ψ 1

Rfringe,x =1 0

k0 tanψ 1 1⎛

⎝⎜

⎠⎟

In the limit that the fringe field extent is zero…

Page 64: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Solenoid

• Produces a uniform field parallel to beam direction • Can provide transverse focusing, particle capture etc and • Also used in detectors for PP experiments

64

B = (0,0,B0 )

A = (−B0y2, B0x2,0)

Page 65: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Transfer Matrix for a Solenoid

65

Rsol =

cos2(ωL) 12ωsin(2ωL) 1

2sin(2ωL) 1

ωsin2(2ωL) 0 0

−ω2sin(2ωL) cos2(ωL) −ω sin2(ωL) 1

2sin(2ωL) 0 0

− 12sin(2ωL) − 1

ωsin2(2ωL) cos2(ωL) 1

2ωsin(2ωL) 0 0

ω sin2(ωL) − 12sin(2ωL) −ω

2sin(2ωL) cos2(ωL) 0 0

0 0 0 0 1 Lβ02γ 0

2

0 0 0 0 0 1

⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜

⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟

ω s = ks =qP0B02

There is coupling between horizontal & vertical motion

(And we have lost some higher order effects (chromaticity) by using 2nd order Hamiltonian)

Page 66: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

– Johann Wolfgang von Goethe

“Knowing is not enough; we must apply. Willing is not enough; we must do.”

66

Page 67: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Hamilton’s equations of motion* are:

*neglecting synchrotron motion

dxds

= ∂H∂px

, dpxds

= − ∂H∂x

With transverse magnetic fields we can show (scaled & in (x,y,s)) :

Betatron equations of motion become: (neglect higher order terms)

B!"= Bx (x, y)x + By(x, y)y

Bx = − 1(1+ x / ρ)

∂As∂y

By = − 1(1+ x / ρ)

∂As∂x

′′x − ρ + xρ 2 =

By

Bρp0p1+ x

ρ⎛⎝⎜

⎞⎠⎟

2

′′y = − Bx

Bρp0p1+ x

ρ⎛⎝⎜

⎞⎠⎟

2

dyds

= ∂H∂py

,dpyds

= − ∂H∂y

67

Now let’s look at the equation of motion• In a circular accelerator… with linear magnetic field components.

Page 68: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Getting to Hill’s equation (2)

′′x − ρ + xρ 2 =

By

Bρp0p1+ x

ρ⎛⎝⎜

⎞⎠⎟

2

′′y = − Bx

Bρp0p1+ x

ρ⎛⎝⎜

⎞⎠⎟

2

So we have these equations:

Expand the B field to first order in x,y:

By = −B0 +∂By

∂xx Bx =

∂By

∂xy

B0Bρ

= 1ρ ie. dipole field defines the closed orbit

′′x + Kx (s)x = 0

′′y + Ky(s)y = 0

Kx = 1/ ρ2 − K1(s)

Ky = K1(s) K1(s) =1Bρ

∂B1∂x

nb. in a quadrupole Kx = -Ky 68

Page 69: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Hill’s Equation

d 2xds2

+ kx (s)x = 0

kx (s) =1ρ 2 −

B1(s)Bρ

Where k changes along the path, and

. E. D. Courant and H. S. Snyder, “Theory of the alternating-gradient synchrotron,” Annals of Physics, vol. 3, no. 1, pp. 1–48, 1958.

nb. In a quadrupole:

ky(s) =B1(s)Bρ

B1(s) = ∂By / ∂x

evaluated at the closed orbit

d 2yds2

+ ky(s)y = 0

Following similar notation to S. Y. Lee, Accelerator Physics, pp.41

kx (s) = − B1(s)Bρ

Kx,y(s + L) = Kx,y(s)Focusing functions are periodic over length L , ie.

Hill’s equation is a linearised equation of motion describing particle oscillations:

69

Page 70: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Tr(M ) ≤ 2So let’s test this out…

This solution is ‘stable’ in a periodic system when there is a real betatron phase advance or tune, such that:

3.1. Design Strategy

The equations for horizontal and vertical motion are given in Eqn. 3.3 and the

function f(✓) can be used to describe basic FD alternating gradient focusing, as in

Eqn. 3.4, where ✓ is the azimuthal position in one cell of total angle ✓0, ±f0 is the

average focusing strength in the horizontal/vertical plane respectively and f1 is the

strength of alternating gradient focusing. The focusing term in Hill’s equation is

normalised so that the solution is independent of machine radius and is given by

K =

2⇡

l

�2

f(✓), where l is the total length of the cell.

x00 + Kx = 0

y00 � Ky = 0

(3.3)

f(✓) =

8><

>:

f0 + f1 = const., 0 < ✓ <12✓0

f0 � f1 = const.,12✓0 < ✓ < ✓0.

(3.4)

The solution to the linear second order di↵erential Hill’s equation in the matrix

formulation takes the form of Eqn. 3.5 in which x0(s) is the derivative of x(s) and the

same form of solution holds in the vertical y(s) plane.

X(s) =

2

64x(s)

x0(s)

3

75 = M(s|s0)X(s0) =

2

64a b

c d

3

75

2

64x(s0)

x0(s0)

3

75 (3.5)

The focusing function f(✓) is piecewise constant and the matrix M(s|s0) is simply

the product of the matrices for the sub-intervals in which f(✓) is constant. The

matrices for each sub-interval for constant focusing take a di↵erent form depending

on whether f(✓) is greater, less than or equal to 0, as in Eqns. 3.6 to 3.8.

For f(✓) > 0 where � =p

K(s � s0):

M(s|s0) =

2

64cos �

1pK

sin �

�p

K sin � cos �

3

75 . (3.6)

60

F D

0.0 0.2 0.4 0.6 0.8 1.0

0.0

0.2

0.4

0.6

0.8

1.0

f0

f 1

nb. no drift space & no edge focusing in this case

‘stability region’

I parameterise it in terms of f, think of f as focal length

Stability: an example

Page 71: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Non-Linear Maps

71

See for example: A. Dragt, IEEE Trans. Nucl. Sci. Vol. NS-26, No.3, 1979. http://accelconf.web.cern.ch/AccelConf/p79/PDF/PAC1979_3601.PDF

Note that the equations of motion are, in reality, nonlinearBut we can often make linear approximations

xa,2 = Rabxb,1 + Tabcxb,1xc,1 +!∑∑

Taylor expansion of the map, where R is the linear transfer matrix T is the second order transfer matrix

But other ‘map’ objects can be used!

x2 =Mx1

Page 72: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

A glimpse of non-linear effects• In fact, there are many things we’ve glanced over that are actually non-linear…

72

e.g. Chromaticity - focusing of a quadrupole changes with momentum

Page 73: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Particle Motion in EM FieldsHopefully, we have done the following:

1. Arrived at a general description of particle motion in EM fields

2. Understood what “maps” are, and how they relate to particle motion and simulation

3. Derived some basic maps from the equations of motion

4. Understood the approach to compute linear and non-linear maps

5. Derived and looked at transfer matrices for main types of magnets used in accelerators

5. Got a glimpse of non-linear dynamics

73

Page 74: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

ReferencesBeam Dynamics:

• A. Wolski, “Beam Dynamics in High Energy Particle Accelerators”, Imperial College Press, 2014.

• S. Y. Lee, “Accelerator Physics”, 3rd Edition, World Scientific, 2011.

• K. Brown, SLAC-75-rev-4 (1982); SLAC-91-rev-2 (1977)

Electromagnetism:

• J. D. Jackson, Classical Electrodynamics, 3rd Ed, Wiley & sons (1999).

Hamiltonian Mechanics:

• H. Goldstein et al., Classical Mechanics (3rd ed.). Addison-wesley (2001).

Most of the images/animations I’ve used here: http://richannel.org/collections/2016/particle-accelerators-for-humanity

74

Page 75: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Additional Material

75

Page 76: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Aside (if needed): Let’s recap some classical dynamics

76

• “Canonically conjugate variables” (q,p) = • q = ‘generalised co-ordinate’ • p = ‘generalised momentum’

• p,q denote the position of a particle in phase space

∂S = ∂ L.dtt1

t2

∫⎡

⎣⎢⎢

⎦⎥⎥=0

qx

px

Action = ’S’ Principle of least action: nature takes the path between t1 & t2

which minimises S.

Page 77: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Let’s check if the following solves Hill’s equation…

x = β(s)ε cos(φ(s)+φ0 )

w = β φ = φ(s)+φ0Substitute

& differentiate…

′x = ε ′w (s)cosφ − dφdsw(s)sinφ⎧

⎨⎩

⎫⎬⎭

nb. we need:dφds

= 1β(s)

= 1w2 (s)

Differentiate again…

′′x = ε ′′w (s)cosφ− ′w (s)w2 (s)

sinφ + ′w (s)w2 (s)

sinφ

=0! "#### $####

− 1w3 cosφ

⎨⎪

⎩⎪

⎬⎪

⎭⎪

′′x + kx = 0

Sub into Hill’s…

ε ′′w (s)cosφ − 1w3 cosφ

⎧⎨⎩

⎫⎬⎭+ kw ε cosφ = 0 gives… ′′w (s)− 1

w3 + kw = 0

12β ′′β − 1

4′β 2 + kβ 2 = 1‘envelope equation’

77

Page 78: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

The usual approach - transfer matrices

x!(s) =

x(s)′x (s)

⎝⎜

⎠⎟

Express solution in matrix form…

x!(s) = M (s | s0 )x

!(s0 )

Where M is the ‘transfer matrix’.

We already know (because we showed)

x = w ε cos(φ(s)+φ0 )

Take derivative for x’…

x ' = w ' ε cos(φ(s)+φ0 )−εwsin(φ(s)+φ0 )

dφ(s)ds

= 1w2

d(cos( f (x))dx

= −sin( f (x)) df (x)dx

reminder…

78

Page 79: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

φ = 0‘cosine like’

x(s2 )′x (s2 )

⎝⎜

⎠⎟ =

a bc d

⎛⎝⎜

⎞⎠⎟

x(s1)′x (s1)

⎝⎜

⎠⎟

‘sine like’

x = w ε cos(φ(s)+φ0 )

x ' = w ' ε cos(φ(s)+φ0 )−εwsin(φ(s)+φ0 )

φ = π / 2Trace two rays…

Yields 4 simultaneous equations so we can solve for a,b,c,d…µ = φ2 −φ1

M12 =

w2w1cosµ −w2w1′ sinµ w1w2 sinµ

−1+w1w1′w2w2′

w1w2sinµ − w1′

w2− w2

′w1

⎝⎜

⎠⎟ cosµ

w1w2cosµ +w1w2′ sinµ

⎜⎜⎜⎜⎜

⎟⎟⎟⎟⎟

79

Page 80: Particle Motion in Hamiltonian Formalism Lecture 1cas.web.cern.ch/.../particlemotionemfields2018.pdf · • “Maps” and “matrices” transporting co-ordinates in EM fields •

Mperiod =cosµ −ww′ sinµ w2 sinµ

−1+w2w′2

w2 sinµ cosµ +ww′ sinµ

⎜⎜⎜

⎟⎟⎟

Simplify by considering a period or ‘turn’, and w’s are equal.

β = w2 α = − 12

′β γ = 1+αβ

Mperiod =cosµ +α sinµ β sinµ

−γ sinµ cosµ −α sinµ

⎝⎜

⎠⎟

If we define the so-called ‘Twiss’ or ‘Courant-Snyder’ parameters:

(sorry that we are reusing symbols again… these are NOT the relativistic parameters)

You will see this later…

80