-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtese.tex
3160 lines (2766 loc) · 407 KB
/
tese.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
%%%%%% IMPORTAÇÃO DOS PACOTES %%%%%%
\input{preamble/preambulo}
% \bibliography{library}
% Informacoes de dados para CAPA e FOLHA DE ROSTO:
\mytitle{Estudo de Impedâncias e Instabilidades Coletivas aplicado ao Sirius.}
\titulo{Study of Impedances and Collective Instabilities applied to Sirius.}
\autor{Fernando Henrique de Sá}
\local{Campinas}
\data{2018}
\orientador[Orientador:]{Prof. Dr. Antônio Rubens Britto de Castro}
\coorientador[Co-orientador:]{Prof. Dr. Silvio Antonio Sachetto Vitiello}
\instituicao{%
UNIVERSIDADE ESTADUAL DE CAMPINAS
\par
Instituto de Física Gleb Wataghin (IFGW)
}
\tipotrabalho{Tese (Doutorado)}
% O preambulo deve conter o tipo do trabalho, o objetivo, o nome da instituição
% e a área de concentração
\preambulo{Tese apresentada ao Instituto de Física Gleb Wataghin (IFGW) da
Universidade Estadual de Campinas (UNICAMP) como parte dos
requisitos exigidos para a obtenção do título de Doutor em Ciências.
Thesis submitted to the Instituto de Física Gleb Wataghin (IFGW) of
the Universidade Estadual de Campinas (UNICAMP) in partial
fulfillment of the requirements for the degree of Doctor of Science.}
\input{preamble/comandos}
\begin{document}
% Retira espaço extra obsoleto entre as frases
\frenchspacing
%---------- Elementos pré-textuais --------------%
\pretextual
\input{preamble/pretextuais}
%---------- Elementos textuais ------------------%
\textual
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\chapter{Introduction} \label{chap:intro}
The first objective of this work was to study the subject of wake fields and impedances in accelerators and their effects on the beam dynamics of electron storage rings. The following goal was to apply this knowledge gathered from the literature to the Sirius storage ring, building the impedance budget with semi-analytic and numeric calculations of the impedances of the main components\footnote{This part of the work was done together with other members of the \gls{lnls} team.}, with special care to the characterization of the effect of the \gls{neg} coating on the total impedance; and to perform calculations to predict the beam instabilities thresholds and study the possible cures for them.
This thesis is organized in the following manner:
\begin{itemize}
\item in this Chapter general concepts related to the work necessary to understand its relevance for the Sirius project as well as a brief description of the main mechanisms involved will be discussed;
\item in Chapter~\ref{cap:single_particle_dynamics} the main concepts of the single particle dynamics, important for the development of the rest of the work, will be introduced;
\item in Chapter~\ref{cap:wakes_impedances} the key of the wake field theory will be presented with focus to the physical interpretation of the quantities introduced;
\item in Chapter~\ref{cap:collective_effects} the methodology for computation of the impedance effects on the beam will be briefly described, with references for more detailed works and explanation of the derivation of the equations;
\item in Chapter~\ref{cap:impedance_modeling} the models applied to the impedance calculation of some of the main components of the storage ring will be presented and justified;
\item in Chapter~\ref{cap:impedance_budget} the whole impedance budget gathered so far for the storage ring will be presented;
\item in Chapter~\ref{cap:instability_studies} the instabilities studies performed with the impedance budget will be discussed;
\end{itemize}
\section{Synchrotron Light Sources}
\glspl{sls} are scientific facilities where the interaction between light and matter is used to study properties of a variety of materials. Through techniques involving absorption, reflection, refraction and scattering of light of different 'colors' and polarizations by the materials under study, their atomic structure, composition and chemical activity can be determined. The frequency of the light used in these facilities ranges from tera-hertz to hard X-rays and its origin is always related to the emission created by centripetal acceleration of ultra-relativistic charged particles (generally electrons), which has unique properties for use in scientific investigation: broad spectrum, high total flux and the strong collimation are among them.
These facilities always rely on particle accelerators to create the ideal conditions for the electrons emission and there are several different types of accelerators (a brief description can be found in~\citeonline{Wiedemann2007}). Among them, we highlight the ones based on synchrotron storage rings. In this type of \gls{sls} the electrons are grouped in several bunches that fill the whole storage ring and are confined for hours in approximately circular orbits by deflecting and focusing magnetostatic fields. The radiation used in experiments can be generated by the same fields that deflect the beam (dipoles) or by special devices called \glspl{id} that are installed in element--free sections of the ring, called straight sections.
The ring topology of these machines allows dozens of beamlines to work simultaneously, performing completely different experiments, where the emitted light periodically hit the samples under study and the interaction patterns are recorded for as long as needed to achieve the desired resolution for the experiment.
Figure~\ref{fig:light_source_example}
\begin{figure}
\center
\includegraphics[width=\textwidth]{storage_ring_example.png}
\caption[Schematic of a storage--ring--based light source.]{Schematic of a storage--ring--based light source showing the three main systems: the injection systems, composed of an electron gun, a \gls{linac} and a booster; the storage ring and the beamlines, with the experiment stations at their ends.}
\label{fig:light_source_example}
\end{figure}
shows a generic scheme of a storage ring based light source. It has three main subsystems: an injector, the storage ring and the beamlines. The injector is responsible for generating and accelerating the particles up to the ultra--relativistic energy of the storage ring and in most light sources it is composed of a gun, a \gls{linac} and a booster synchrotron. In the case of electron storage rings the electron beam is emitted from cathodes in the gun, via thermionic or photoelectric effect, and are compressed in bunches and accelerated by the \gls{linac}, generally up to energies of hundreds of \si{\mega\electronvolt}. After this, the electrons are transported to the booster synchrotron where they are accelerated up to the energy of the storage ring, generally a few \si{\giga\electronvolt}, and extracted from it to be injected into the storage ring. This whole process can happen with a repetition rate of a few \si{\hertz}.
The storage ring is a synchrotron just like the booster in which the average energy of the electron beam is constant, while they perform dozens of billions of turns in the few hours they remain there. After injection, the bunches of electrons oscillate around the ideal orbit in the storage ring, but in a few dozens of thousands of turns they are damped, reaching the storage ring equilibrium values of transverse emittances (size and divergence), longitudinal length and energy spread. In ideal storage rings they stay stable in stationary closed orbits emitting radiation that is collected by the beamlines. The radiation exits the storage ring through holes in the external part of the vacuum chamber, called exit ports, and propagate to the beamline in straight trajectories, tangent to the electrons orbit in the point where it was generated.
\section{Storage Ring Main Devices} \label{sec:storage_ring_main_devices}
This work will focus on the study of the dynamics of the particles while they are in their equilibrium regime inside the storage ring, without considering the details of the injection process. For this reason, in this subsection we will present the main subsystems of a storage ring and discuss their main contributions to the task of keeping particles in stable confinement for such long times. Throughout this whole work the approximation $v\propto c$ will be assumed in the formulas, given the ultra--relativistic regime of the particles. Besides, all the equations are presented using the \gls{si}.
\subsection{Magnetic Lattice}
Magnetic lattice is the series of static magnets that are placed along the beam trajectory to deflect and focus it to keep the motion stable. It is composed of a reduced number of distinct types of magnets that have specific functions for the beam confinement:
\begin{description}[align=left]
\item[Dipoles:] or bending magnets, are the devices responsible for deflecting the beam in such a way that its net deflection in one turn is \SI{2\pi}{\radian}. They generate an almost constant vertical field, $B_y$, along the beam path that curves its horizontal trajectory (see Figure~\ref{fig:dipole}).
\begin{figure}
\centering
\begin{subfigure}[c]{0.45\textwidth}
\includegraphics[width=\textwidth]{dipole_example.png}
\caption{Schematic figure of a dipole magnet, where N and S indicate the North and South poles of the magnet and the vertical down arrows indicate the magnetic field lines}
\end{subfigure}\hfill
\begin{subfigure}[c]{0.5\textwidth}
\includegraphics[width=\textwidth]{dipole_real.jpg}
\caption{Picture of a real dipole magnet.}
\end{subfigure}
\caption{Illustrations of a dipole magnet.}
\label{fig:dipole}
\end{figure}
At each point of the trajectory inside a dipole the curvature, $G(s)$, is given by:
\begin{align}\label{eq:curvature_dipole}
G(s) = \frac{1}{\rho(s)} = \frac{e}{p_0}B_y(s) \approx \frac{ec}{E_0}B_y(s)
\end{align}
where $s$ is the longitudinal position along the ring, $\rho(s)$ is the radius of curvature, $e$ is the absolute value of the particle's charge, $c$ is the speed of light, $p_0$ is the absolute value of the average linear momentum of the beam and $E_0$ is the corresponding average beam energy. Notice in the equation above that dipoles work as spectrometers, if the beam has an energy spread and in the absence of other types of magnets, particles with higher/lower energy will spiral out/in because their total deflection angle will be different than \SI{2\pi}{\radian}, which means eventually all particles will hit the vacuum chamber and be lost;
\item[Quadrupoles:] are responsible to focus the beam, keeping oscillating around the ideal orbit. They achieve this by creating a field that grows linearly in intensity with the displacement from its center (see Figure~\ref{fig:quadrupole}),
\begin{figure}
\centering
\begin{subfigure}[c]{0.47\textwidth}
\centering
\includegraphics[width=0.55\textwidth]{quadrupole_example.png}
\caption{Schematic figure of a quadrupole magnet, where the curved arrows indicate the magnetic field lines and the red/blue arrows indicate the direction of the horizontal/vertical forces felt by an electron entering the sheet. Notice this quadrupole focuses in the horizontal, so it is a focusing quadrupole.}
\end{subfigure}\hfill
\begin{subfigure}[c]{0.5\textwidth}
\includegraphics[width=\textwidth]{quadrupole_real.jpg}
\caption{Picture of a real quadrupole magnet, with the coils that generate the magnetic field and the iron core that guide and shape the field lines inside the gap.}
\end{subfigure}
\caption{Illustrations of a quadrupole magnet.}
\label{fig:quadrupole}
\end{figure}
in such a way that they work as lenses. They are characterized by their strength, defined by:
\begin{align}
K(s) = \frac{e}{p_0}\left.\derpar{B_y}{x}\right|_{y=0}(s)
\end{align}
where $x$ and $y$ are the horizontal and vertical displacement from the center of the quadrupole. The strength defined above is directly related to how much the quadrupole deflect off-centered particles, being its integral along the quadrupole length directly related to the focal length of the magnet. One intrinsic limitation of quadrupoles imposed by \gls{maxeq} and the Lorentz force is that they cannot focus the beam simultaneously in the horizontal and vertical directions. This means that two types of quadrupoles are needed in a magnetic lattice, one to focus in the horizontal, called focusing quadrupoles by convention, and another to focus in the vertical, the defocusing quadrupoles, in such a way that net focusing in both planes can be achieved with intelligent positioning of the magnets. Besides, quadrupoles are arranged along the ring to correct the intrinsic limitation of the dipoles regarding the energy dispersion, as discussed above, adding/subtracting net deflection in one turn for particles with more/less energy. This causes particles to have different closed orbits depending on their energy, the chromatic closed orbits. Quadrupoles and dipoles are the most important multipoles in a storage ring because together they define its main equilibrium properties, such as the particles average energy, the transverse beam natural emittance, and beam sizes along the ring, as well as the fundamental frequency of oscillation of the particles, the tune.
\item[Sextupoles:] quadrupoles also suffer from chromatic aberrations, focusing more or less the particles depending on their energy. This difference in focusing makes particles oscillate differently around their closed orbit, changing their fundamental resonant frequency. This is not a conceptually fundamental problem, but a practical one because in almost all modern storage rings it is impossible to store particles with only dipoles and quadrupoles. Sextupoles can correct that effect if placed at the right positions along the ring because of their non-linear magnetic field, which grows quadratically with the distance from its center, see Figure~\ref{fig:sextupole}.
\begin{figure}
\centering
\begin{subfigure}[c]{0.47\textwidth}
\centering
\includegraphics[width=0.9\textwidth]{sextupole_example.png}
\caption{Schematic figure of a sextupole magnet, where N and S indicate the North and South poles of the magnet and the curved arrows indicate the magnetic field lines.}
\end{subfigure}\hfill
\begin{subfigure}[c]{0.5\textwidth}
\includegraphics[width=\textwidth]{sextupole_real.jpg}
\caption{Picture of a real sextupole magnet.}
\end{subfigure}
\caption{Illustrations of a sextupole magnet.}
\label{fig:sextupole}
\end{figure}
Just like quadrupoles, it is needed two types of sextupoles, focusing and defocusing, to correct the horizontal and vertical frequency of oscillation of the particles. Sextupoles are needed, but they introduce several complications for the design of a storage ring, because their non-linear fields introduce chaos in some regions of the particles phase space. More sextupoles or higher order multipoles can be introduced to avoid chaos as much as possible and also to help correcting higher order chromatic effects.
\end{description}
Higher order multipole magnets, such as octupoles and decapoles, can be used to correct higher order chromatic and geometric aberrations, but their use is not very common in the design of storage ring for light sources as they are in colliders, even though this tendency is changing with the new light sources that are being designed, such as MAX IV~\cite{Leemann2009}, ESRF upgrade~\cite{Farvacque2013}, APS-U~\cite{Sun2015}, SLS upgrade~\cite{Streun2015} and Spring-8 upgrade~\cite{Soutome2016}. Nevertheless, they are always present in storage rings as errors of the main magnets and their effect must be taken into account in detailed single particle dynamics analysis.
Generally, lattices have high periodicity, being the repetition of a unit cell along the whole extension of the ring. This periodicity simplifies the design of the ring, the dynamics of the electrons and reduces the number of dangerous resonances that can harm the beam stability. Unit cells generally can be divided in two parts, an arc section, where the dipoles are placed, interleaved by focusing elements to control the dispersion and focus the beam from one dipole to another, and a straight section, with a dedicated space for the installation of \glspl{id} for light generation and other machine equipment. The straight sections also have focusing elements to match the beam to the arcs.
\subsection{RF Cavity}
At each turn, the electrons lose energy due to synchrotron radiation which must be replenished periodically in order for them to remain in stable orbits, with energy close to the nominal energy of the storage ring. The magnetostatic components described above cannot perform such a task neither any other component or method relying on static electromagnetic fields of any kind, because according to the \gls{maxeq} and the Lorentz force, the net energy transfered to a charged particle by static fields in one turn over the ring must be zero. This means that the laws of physics constraint that it is necessary to rely on time dependent electromagnetic fields to replenish the energy of the electrons. The way this is accomplished in a storage ring is through the use of devices called RF cavities.
The RF cavity is a cylindrical electromagnetic cavity with the lowest Transverse Magnetic mode (TM010) in the range of radiofrequency. Cavities for use in storage rings must have at least two small holes in its axis for the beam passage and one other hole to couple the cavity with an external source to feed the mode TM010 with energy. This energy is transfered to the particles when they pass through the cavity by the almost homogeneous longitudinal electric field of this mode. The frequency of this particular mode is always exactly equal to a multiple, $h$, of the revolution frequency of the beam along the ring, in such a way that the phasing between the electric field and the beam entrance in the cavity remains constant over several passages and, once initially adjusted when the beam is injected in the ring, will be such that the average energy lost in one turn is replenished. This special phase is called the synchronous phase. Moreover, this synchronicity mechanism, that, by the way, is the responsible for the name of this type of accelerator, creates $h$ points in the ring's longitudinal phase space around which the electrons can form stable bunches.
Besides the mode used to feed energy to the beam, a cavity can have several other modes of higher resonant frequencies with a high quality factor, $Q$, that can be excited by the beam. When the beam passes through the cavity it leaves electromagnetic fields with a very wide spectrum of frequencies. Most of these frequency components are rapidly scattered and dissipated, but some of them, close to the resonant frequency of these modes, can last for very long times and, assuming the beam is constantly feeding them, strong electric potentials, or wake fields, can be formed. These potentials, in turn, influence the beam dynamics, causing energy loss, distortion of the bunches and instabilities.
There are some methods to avoid this problem with cavities. For example, it is possible to insert couplers in the cavity, similar to the one that feeds the fundamental mode, but designed and positioned specially to interact with one or a group of these \glspl{hom} to absorb the energy deposited by the beam, which is later transformed in thermal energy by resistors outside the cavity, or to design wave guides in the cavity, through which the modes can propagate and be dissipated in the resistive endings. Another method involves shifting the frequency of the modes, via thermal or mechanical deformation, in such a way that they do not couple with any frequency of the beam.
The superconducting RF cavities also do not have this problem because they are built with very large tubes for the beam passage, in such a way that the \glspl{hom} can propagate through them. Even though for the main mode the ratio of the shunt impedance by the quality factor, $R_s/Q$, which depends only on the geometry of the cavity, as explained by~\citeonline[Sec. 15.4]{Wiedemann2007}, is strongly reduced by this approach, the zero resistivity of the wall still provides very large values for $Q$ and $R_s$. Sirius will adopt this type of cavity and, based on the operation reports of other laboratories which also employed this solution, we do not expect to have problems with \glspl{hom}.
\subsection{Vacuum System}
The vacuum system is used to create a compact region around the reference orbit in the whole machine with very low pressure, and thus minimize collisions of the stored charged particles with residual gas molecules, increasing the lifetime, which is the average time particles can be stored with stable movement, and minimizing the production of bremstrahlung radiation. As an estimate, the average pressure of a storage ring must be lower than \SI{1}{\nano Torr} for the average stored time of the particles to be of the order of a few dozens of hours.
The vacuum system is composed of two main subsystems, the vacuum vessel, which defines the boundaries of the electron's environment, and vacuum pumps, which maintain the desired difference in pressure between the two regions. Most of the extension of the vacuum vessel is composed of straight and long chambers with a specific cross section, constant along the extension of the chamber. They are made of metals due to several desirable properties of these materials, such as high heat and electrical conductivities, high acceptance to welding and braising, high resistance to pressure and low cost. Among them we highlight implications of the high electrical conductivity, due to its importance for this work. Besides the standard vacuum chamber there are several other structures that compose the vacuum vessel, for example:
\begin{description}[align=left]
\item[Bellows:] are sanfonated elements that connect two vacuum chambers in order to accommodate longitudinal thermal expansions and transverse misalignments between them, as well as the assembly to the vacuum components themselves;
\item[Valves:] devices that are used to isolate the vacuum in different sections of the ring. Generally they remain open, creating a single vacuum region along the ring, but can be closed automatically in case of accidents, or for maintenance;
\item[Flanges:] are the components responsible for coupling two different vacuum components together in a leakage-free manner;
\item[Dipole Chambers:] are special curved chambers used in the regions where there are dipoles. In some cases they have exit ports to extract the photon beam to the beamlines;
\item[Radiation Masks:] are small protuberances in the vacuum chamber designed to shadow more sensitive elements from synchrotron radiation.
\item[Diagnostic Elements:] are components used both to measure the electromagnetic signals generated by the beam to determine its properties, such as intensity, position and oscillations and act back on it either as a feedback or feedforward corrections to perturbations. They must be inside the chamber because the high frequency components they measure cannot propagate out the chamber;
\item[Transitions:] there are some sections of the vessel that have different cross sections than the standard chamber, generally to accommodate special devices such as RF cavity, \glspl{id}, some magnets, ceramic chambers, collimators, etc. Transitions are smooth longitudinal variations of cross section from one chamber to the other.
\end{description}
These are only some examples of the different components of the vacuum vessel of a storage ring. All these components introduce variations in the inner cross sections of the chamber which interact with the electromagnetic fields of the beam, creating other fields, called wake fields, that causes not only heating of the components, in addition to the radiation heating, but also act back on the beam itself affecting its dynamics with the potential of causing instabilities that can severely limit the machine performance. The study of this last interaction applied to the new Sirius light source in Brazil will be the main subject of this work.
\section{Light Source Generations}
Brightness is the main figure of merit used to characterize a synchrotron light source~\cite{Hettel2014a}, the larger its value the better the radiation. It is a measure of the intensity and collimation of the radiation at a given frequency or wavelength and can be mathematically defined by the following expression, according to \citeonline{Huang2013}:
\begin{align}\label{eq:brightness}
B(\omega) = \frac{1}{\Delta\omega}\frac{F(\omega)}{\Sigma_x(\omega)\Sigma_y(\omega)}
\end{align}
where $\omega$ is the photon frequency, $F(\omega)$ is the flux, the average number of photons per second, $\Sigma_x$ and $\Sigma_y$ correspond to the volume the photon beam occupies in the horizontal and vertical phase space, respectively, and $\Delta\omega$ is a frequency bandwidth that is proportional to the central frequency (usually \SI{0.1}{\percent}). The volume occupied by the photon beam in phase space is convolution of the electron beam distribution and the photon distribution emitted by a single electron. This last term depends on the radiation frequency and on how it was generated. On the other side, the volume occupied by the electron beam in phase space is called emittance and it depends only on the storage ring properties.
Equation~\eqref{eq:brightness} shows that to increase the brightness of a given light source it is necessary to increase the number of stored electrons, which linearly impacts the total photon flux, and minimize the emittance of the electron beam. Consequently, together with the electrons energy, the emittance and the current are the main figures of merit of a storage ring. New machines always try to push the limit of these factors to obtain gains in synchrotron light quality and, from time to time, new ideas and breakthroughs in accelerator technology create large scale advances.
These discontinuities in the otherwise small and incremental improvements of the radiation quality happened three times along the history of storage ring based light sources, classified as four generations of machines. The first breakthrough was the construction of machines dedicated to the generation of synchrotron radiation from dipoles, which marked the difference from the first generation of light sources, which were parasitical to particle colliders.
The second breakthrough was the construction of machines specialized to operate with \glspl{id}, which are special devices that are installed along the straight trajectory of the beam and generate a transverse magnetic field with an amplitude that varies sinusoidally along the longitudinal direction. When the beam passes through this field it wiggles, and synchrotron emission of radiation happens due to its deflection at each wiggle. The light emitted from successive wiggles interferes in such a way that only photons with specific frequencies survive and the resulting radiation has a spectrum where all the energy is concentrated at very thin peaks around multiples of this resonant frequency. The intensity of these peaks is proportional to the number of particles in the beam and the number of wiggles of the \gls{id} field and their bandwidth is proportional to the inverse of the number of wiggles. Additionally, the polarization of the radiation is defined by the direction of the magnetic field of the \gls{id}. For example, if the field is vertical, the electrons will oscillate horizontally and the radiation will be horizontally polarized. In specially designed \glspl{id}, circular and elliptical polarizations can also be achieved by changing not only the intensity of the field but also its direction as a function of the longitudinal position. All these properties of the light can be tuned according to the needs of the experiment to be carried out at the experimental station, which makes these devices a very powerful tool for scientific investigations.
Currently, another generation of light sources is rising. With much smaller emittances, these machines are being called \gls{4gls}.
% This term is used when the emittance of the electrons is smaller than the emittance of the single photon distribution up to a few \si{\kilo\electronvolt}. This way, the convolution of the two is mainly determined by the method the radiation is generated, which in turn is defined by the laws of nature and cannot be further optimized.
This search for smaller emittance becomes clear when we observe the graph shown in Figure~\ref{fig:scaled_emittances}
\begin{figure}
\center
\includegraphics[width=\textwidth]{emittance_third_versus_fourth.png}
\caption[Comparison of machines emittances.]{Natural emittance normalized by relativistic energy squared as a function of ring circumference for several existing \gls{3gls} and future \gls{4gls}. The blue solid line is a fitting among the \gls{3gls} and the red solid line is a fitting among the \gls{4gls}. Note the only \gls{4gls} in operation today is MAX-IV. Updated from~\cite{Liu2017}.}
\label{fig:scaled_emittances}
\end{figure}
which compares the 3$^\text{rd}$ and \gls{4gls}. To interpret this figure it is important to know that the emittance of a storage ring roughly scales with
\begin{align}
\varepsilon \propto \frac{\gamma^2}{N_b^3},
\end{align}
where $\gamma = E/m_0c^2$ is the relativistic energy and $N_b$ is the number of dipoles, or bending magnets, of the storage ring. Besides, higher energy storage rings generally imply in larger circumferences and, consequently more dipoles. Given the scaling presented above, it is clear that in general the emittance is reduced with the increase of the ring circumference, as shown by the tendency lines in the figure.
The \gls{4gls} will enable new science to be made, according to~\citeonline{Eriksson2014}:"The significant improvement provided by the DLSRs (Diffraction Limited Light Sources, or \gls{4gls}) under construction and in the design stage will enlighten our view of the world and allow science which is not possible, or not even thinkable, today.". In section 4 of his article,~\citeauthoronline{Eriksson2014} provides a very good review of the possible scientific studies that will be enabled by such machines. Here we highlight the advances in imaging techniques, such as ptychography~\cite{Thibault2014}, and diffraction~\cite{Hitchcock2014}, that will be possible due to the increase in the transverse coherent part of the flux~\footnote{For a brief and didactic description of coherence, we recommend the work of~\citeonline{Huang2013}.}.
\subsection{\Glsentryfull{mba}}
The main reason for the \gls{4gls} to achieve such small emittances is the use of \gls{mba} lattices. In \gls{3gls} the number of dipoles in one unit cell of the magnetic lattice is two or three depending on the machine, but in \gls{4gls} this number is larger than five, hence the name multi-bend. The achromat part of the name \gls{mba} is due to the fact that energy dispersion errors introduced by dipoles are corrected locally and do not affect the trajectories and transverse bunch sizes inside the \glspl{id}.
Even though this change does not seem to be harmful or difficult in a first analysis, it requires several developments in almost all the areas involved in designing, constructing and operating a light source~\cite{Eriksson2014,Liu2017}. The larger number of dipoles in a short space requires strong focusing from the quadrupoles to achieve low emittances. These strong quadrupoles require strong sextupoles to correct their chromatic errors, which, in turn, require other strong sextupoles to increase the stability region around the fixed point of the one--turn map~\cite{Borland2014}. In order to produce all these strong magnets, they need to be closer to the beam, their gap must be smaller~\cite{Johansson2014}, which implies the vacuum chambers must be smaller too. The smaller vacuum chamber decreases the vacuum conductance\footnote{The vacuum conductance is proportional to the third power of the vacuum chamber radius, as described by~\citeonline{Al-Dmour2014}.}, making it necessary to adopt different solutions for vacuum pumping~\cite{Al-Dmour2014}, generally distributed along the whole ring, such as the use of \gls{neg} coating inside the chambers, first proposed by \citeonline{Benvenuti1983}.
The proximity of the vacuum chamber and all the other in--vacuum components to the beam, increase the beam coupling impedance, which leads to higher heating of the components and to instabilities~\cite{Nagaoka2014}. The stronger magnets also imply more sensitivity of the lattice to errors, such as construction errors of the magnets, misalignments and residual multipoles~\cite{Neuenschwander2015,Hettel2014}, and, together with the very small transverse sizes of the beam, require tight tolerances power supply stability and vibration, not only of the magnets and \glspl{bpm}, but also of the components of the beamlines, such as the monochromators~\cite{Susini2014,Siewert2014} and also for the detectors at the experimental stations~\cite{Denes2014}. Underlying all these intricacies is the need of very detailed design, characterization and, in some cases measurement, of all the components that are installed in the light source. Besides, detailed single particle models of the storage ring are fundamental to evaluate the effect of each new design on the global properties of the ring, such as beam lifetime and dynamic aperture. All this requires very detailed simulations and high computational power~\cite{Borland2014}.
Regarding the beam coupling impedance, the last \gls{3gls} that were built already demonstrated a need to evaluate the budget of the ring, simulating and, more importantly, designing the components to minimize heating and other impedance related issues~\cite{Nagaoka2004a,Gunzel2008,Blednykh2007,Blednykh2009}. For \gls{4gls} this approach is practically mandatory because the predictions for thresholds for strong instabilities are much lower for these machines than they were for \gls{3gls}~\cite{Klein2013a,Lindberg2015,Persichelli2017a,Wang2017,Wang2017a}.
Additionally, the use of~\gls{neg} technology extended along the whole ring requires more detailed analysis of its effect on the impedance.
\section{Collective Effects}
Collective effects can cause severe deterioration of the brightness of a machine because they can lead to the increase of the effective emittance of the electron beam, through coherent oscillations of the bunches, increase of the energy spread and the beam sizes in all three planes. Besides, they can cause beam loss, which limits the maximum current that can be stored and consequently the total photon flux of the machine. In this section we will introduce the main mechanisms that drive collective effects in a storage ring.
\subsection{Interaction Mechanisms}
One of the most important interaction in storage ring light sources is the collision of particles in the beam, generally referred to as Coulomb scattering or \gls{ibs}, which is highly chaotic and its effects on the beam resembles the properties of the emission of radiation, causing emittance and energy spread increase~\cite{Piwinski1974,Bjorken1983,Kubo2001}. Additionally, the collision process also leads to particle loss through a mechanism called Touschek scattering, first explained by Bruno Touschek~\cite{Bernardini1963}, described in details by \citeonline{Piwinski1999}, where the transverse energy of oscillation is transfered to the longitudinal plane and the particles gain/lose an energy deviation so large that they are lost. All these effects are very detrimental to new light sources, being the Touschek lifetime their main source of particle loss, as pointed out by \citeonline{Nagaoka2014}.
The \gls{dsp} is another type of interaction among the particles, being the result of the action of the cloud of electromagnetic field existent inside the beam on individual particles. Each particle generates an electric and a magnetic field that, when averaged among all particles, result in a net potential dependent on the shape and sizes of the bunch. This potential acts like an external field on the movement of the particles, leading to tune--shifts with amplitude and possible excitation of resonances. However, for ultra-relativistic electron beams such as the ones of a light source storage ring, with energies on the order of a few \si{\giga\electronvolt}, this effect is very small and can be neglected. This happens because in this limit the non-radiating field generated by each particle is concentrated in a plane transverse to its movement and the electric and magnetic forces that act on other particles moving parallel to it cancel each other out.
The \Glsentryfull{csr} is another type of direct interaction between particles in a beam. The radiation emitted by the particles travels forward with the velocity of light and, due to the fact that the particles are moving on a curved trajectory when they emit light, this radiation catches up with the particles ahead of the emitting particle~\cite{Derbenev1995}. If the wavelength of the radiation is of the same order of or larger than the bunch length, the average of this effect is non-zero and the head of the bunch feels a net force. As this effect depends on the radiated field, in contrast to the \gls{dsp}, it does not tend to zero as the energy on the particles increases and can be very harmful, depending on the bunch length of the beam, causing energy spread increase and bunch lengthening or even microbunching~\cite{Byrd2002}.
All mechanisms described above are examples of direct interactions among the particles, they do not depend on the immersive environment to happen. The wake fields and the \gls{isp} on the other hand, results from the interaction with the vacuum chamber. The contact of the non-radiating field of the beam with the metallic walls of the chamber induces currents in the surface of the metal that travels with the beam, these surface currents also generate an electromagnetic field that propagates to the center of the vacuum chamber and influences the movement of the particles, as described by \citeonline{Laslett1963}. This electromagnetic field can have properties of non-radiating and radiating field, depending on the characteristics of the vacuum chamber. If we consider the chamber is perfectly conducting and with translational symmetry in the longitudinal direction, then the surface charges travel in straight lines with the beam speed, which means they will produce only non-radiating fields with the same properties of those of the \gls{dsp}. This is the origin of the \gls{isp}, that for the same reasons as the \gls{dsp} is negligible for high energy storage rings\footnote{This statement is not true for static (or quasi--static) fields, because the electric and magnetic components of the force decouples and they depend on whether or not the boundary is a good electric conductor or a high--$\mu$ magnetic material. This problem was first studied by \citeonline{Laslett1963} and will be addressed later in this work.}.
\subsection{Wake Fields}\label{ssec:wake_fields}
If any of the two conditions considered for the vacuum chamber does not hold, then the surface charges also generate radiating fields or fields that are dragged behind the source particle, namely wake fields. For example, if the vacuum chamber has no longitudinal translational symmetry, then the surface charges must follow curved paths, which makes them suffer accelerations and hence, radiate electromagnetic fields. Notice that this is only one of the several possible ways of introducing this mechanism, it would be equivalent to say that the surface of the metal scatter the fields generated by the particles in the beam and when the surface of the vacuum chamber has longitudinal symmetry the reflection is specular but when it has corrugations or transitions, the scattering is diffuse. Precisely what happens is that the walls of the vacuum chamber impose boundary conditions on the fields that exist inside the vacuum vessel, univocally defining its time and spatial dependency.
The wake fields can be very harmful to the beam, changing the properties of the static distribution of particles and creating instabilities above a given current threshold, which can lead to coherent oscillations of the bunches, emittance and energy spread increase and even beam loss. All these effects cause serious deteriorations of the brightness of the radiation, limiting the photon flux and bringing deterioration of its phase space average distribution.
\section{The Sirius Project}
The \gls{cnpem} is a Brazilian institution located in Campinas-SP that gathers four national laboratories, being the \gls{lnls} one of them. This laboratory was created in 1987 to design, construct and operate a \gls{sls}. Such goals were successfully achieved with UVX, a second generation light source that was opened to external users in 1997. Since them, the Brazilian community of synchrotron users has grown and studies of a new, more competitive machine, started in 2008.
By the end of 2011, Sirius was a well--developed project and it consisted on a permanent magnet--based \gls{3gls}, with an energy of \SI{3}{\giga\electronvolt}, an emittance of the order of \SI{2}{\nano\meter\radian} and circumference of \SI{480}{\meter}, as described by~\citeonline{Liu2010} and \citeonline{Liu2011}. This scenario changed after the first meeting of the \gls{mac}, in June 2012, when the committee recommended leaders to follow the idea of MAX-IV~\cite{Leemann2009} and pursue sub-nanometer emittances. This challenge was accepted and Sirius became the second project to fit the category of what today is called \gls{4gls}, with a natural emittance even lower than the first projected machine of this kind, the MAX-IV~\cite{Liu2013}.
After several changes in the magnetic lattice~\cite{Liu2014,Liu2015,Liu2016} to improve the brightness of the light generated by the \glspl{id} that are being planned for Sirius~\cite{Sirius2013,Vilela2017}, the current lattice of the storage ring is the one presented in Figure~\ref{fig:sirius_lattice}
\begin{figure}
\centering
\includegraphics[width=\textwidth]{sirius_lattice.png}
\caption[One fourth of the unit cell of the Sirius storage ring.]{One fourth of the unit cell of the Sirius storage ring. Dipoles are shown in blue, quadrupoles in orange and sextupoles in green. The vacuum pumps and valves are also shown. Only half of the high-beta (A) and of the low-beta (B) straight sections are shown. The arc and the straight sections are repeated to form the unit cell in the following way: A-B-B-B. The unit cell is then, repeated five times to form the ring.}
\label{fig:sirius_lattice}
\end{figure}
and the current optical functions are presented in Figure~\ref{fig:sirius_twiss}.
\begin{figure}
\centering
\includegraphics[width=\textwidth]{SI_twiss.png}
\caption[Twiss functions of the Sirius storage ring.]{Optical (twiss) functions for one fourth of a period of the Sirius lattice. In green is shown the dispersion function. In red, the vertical betatron function is shown and in blue, the horizontal betatron function. Notice the strong focusing of the betatron functions at the center of the low-beta (B) sections. (copied from \citeonline{Sirius2013}.)}
\label{fig:sirius_twiss}
\end{figure}
The arc of the cell, composed of all the elements from the first to the second B1 dipoles, inclusive, is repeated twenty times to form the ring. The straight sections alternate in sections with two quadrupoles in each matching extremity (A), and sections with three quadrupoles (B), in the following manner: A-B-B-B, in such a way that the ring has five A sections and fifteen B sections. The difference between these two types of sections is that beam is strongly focused in both directions, horizontal and vertical, in the B sections, to improve the radiation generated by the undulators which will be installed there and the A sections are optimized for off--axis injection in the horizontal plane. This way the ring has twenty straight sections, from which eighteen will be available for installation of \glspl{id}. However the real symmetry of the ring is only five, which difficults the optimization of the single particle non-linear optics~\cite{Sa2016, Dester2017}. In the center of each arc there is a special dipole magnet, with longitudinal gradient and a strong peak field of \SI{3.2}{\tesla} in its center that will provide hard x-rays, with critical energy of \SI{19.2}{\kilo\electronvolt}, for additional 20 beamlines~\cite{Liu2016,Sirius2013}.
The whole accelerator complex of the Sirius \gls{sls}, shown schematically in Figure~\ref{fig:accelerator_complex},
\begin{figure}
\centering
\includegraphics[width=0.9\textwidth]{Sirius_building_layout.jpg}
\caption[Sirius building layout.]{Sirius building layout, showing all the important areas of the light source, with emphasis on the booster sharing the same tunnel as the storage ring and the \SI{150}{\mega\electronvolt} \gls{linac} tunnel. The experimental hall will be able to accommodate beamlines up to \SI{100}{\meter} long and the requirement for longer beamlines, with possible length up to \SI{450}{\meter}, is anticipated. (copied from \citeonline{Sirius2013}.)}
\label{fig:accelerator_complex}
\end{figure}
will be composed of a \SI{150}{\mega\electronvolt} \gls{linac}, a full energy booster synchrotron, that will ramp the electrons from the \gls{linac} energy to the storage ring nominal energy with a cycling rate of \SI{2}{\hertz}, and the storage ring, as described in ~\citeonline{Sirius2013} web page. The injection system will operate in top--up mode, where the total current of the storage ring is kept nearly constant during the whole user's shift, because periodic injection cycles along the day are performed without the need of interrupting the operation of the machine. The booster will be concentric to the storage ring and placed inside the same tunnel, which minimizes costs related to the construction of a separate shielding and helps diminishing its emittance, only \SI{3.5}{\nano\meter\radian} at \SI{3}{\giga\electronvolt}~\cite{Sa2014a}, which is important to maximize the injection efficiency in the storage ring~\cite{Liu2016a}.
Table~\ref{tab:sirius_main_parameters}
\begin{table}
\centering
\caption{Main Parameters of the Sirius Storage Ring.}
\label{tab:sirius_main_parameters}
\begin{tabular}{lccccl}
\mr{2}{*}{Parameter} & \mr{2}{*}{Symbol} & \mc{3}{c}{Operation Phases}& \mr{2}{*}{Unit}\\\cline{3-5}
& &Commiss. & Phase 1 & Phase 2& \\\toprule
Energy & $E_0$ & \mc{3}{c}{3.0} & \si{\giga\electronvolt}\\
Circumference & $L_0$ & \mc{3}{c}{518.4} & \si{\meter}\\
Revolution period & $T_0$ & \mc{3}{c}{1.73} & \si{\micro\second}\\
Revolution frequency & $f_0$ & \mc{3}{c}{578} & \si{\kilo\hertz}\\
Angular rev. freq. & $\omega_0$& \mc{3}{c}{3.632} & \si{\mega\radian\per\second}\\
Harmonic number & $h$ & \mc{3}{c}{864} & \\
Momentum compaction & $\alpha$ & \mc{3}{c}{\SI{1.7e-4}{}}& \\
Transverse tunes (H/V)& $\nu_{x/y}$ & \mc{3}{c}{49.11/14.17} & \\
Energy loss per turn & $U_0$ & \mc{3}{c}{473} & \si{\kilo\electronvolt} \\
Natural emittance & $\varepsilon_0$& \mc{3}{c}{252}& \si{\pico\meter\radian} \\
Natural energy spread& $\sigma_\delta$& \mc{3}{c}{\SI{8.5e-4}}& \\
Damping times (H/V/L)& $\tau_{x/y/z}$ & \mc{3}{c}{16.9/22.0/12.9}& \si{\milli\second}\\
Damping rates (H/V/L)& $\alpha_{x/y/z}$ & \mc{3}{c}{59.2/45.5/77.5}& \si{\hertz}\\\midrule
Nominal total current& $I_0$ & 30 & 100 & 350 & \si{\milli\ampere}\\
Current per bunch & $I_b$ & 34.7 & 116 & 405 & \si{\micro\ampere}\\
RF cavity & & 1 7-Cell & \mc{2}{c}{2 SC-RF} \\
Voltage gap & $V_0$ & 1.8 & \mc{2}{c}{3.0}& \si{\mega\volt} \\
Natural bunch length & $\sigma_z$& 3.2(10.7) & \mc{2}{c}{2.5(8.2)}& \si{\milli\meter} (\si{\pico\second}) \\
Synchrotron Tune & $\nu_z$& \SI{3.56e-3} & \mc{2}{c}{\SI{4.6e-3}}& \\\bottomrule
\end{tabular}
\end{table}
shows the main global parameters of the storage ring for the planned operation phases of the machine. Even though the commissioning will be performed with a normal conducting PETRA 7-Cell RF cavity, in the users operation phases of the storage ring the RF cavities will be \gls{supcond}. The installation of a 3th harmonic passive landau cavity to lengthen the bunches and increase the lifetime is foreseen, allowing multi-bunch operation with higher currents. Even though the expected filling pattern of the machine is uniform, other arbitrary filling patterns are possible and, in particular, gaps may be needed to cure ion instabilities~\cite{Wang2013a,Nagaoka2014}.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\chapter{Single--Particle Dynamics}\label{cap:single_particle_dynamics}
In this chapter the main concepts of single particle dynamics that will be useful for the rest of the work will be introduced without any intention to be complete or rigorous in the presentation. There are good books, for example the ones written by~\citeonline{Lee1999} and by~\citeonline{Wiedemann2007}, and also one outstanding report written by~\citeonline{Sands1970} that cover all the topics presented here and much more, with thoughtful didactics. Besides, \citeonline{Borland2014} give a quick overview on all the topics relevant for single particle dynamics.
\section{Reference System}
Connected to the concept of a storage ring is the one of the reference orbit. This special closed orbit is the one that an ideal particle, the synchronous particle, with the storage ring nominal energy would follow if it had the correct initial conditions. All the components of a storage ring are aligned according to this special orbit in such a way that their center, symmetry points or axis coincide with it and, in practice, the trajectories of all particles stored in the machine will be close to it. For this reason, the reference orbit is chosen to be the origin of the reference frame, defining a curved coordinate system that moves along the ring, with one longitudinal coordinate tangent to the local orbit and two transverse coordinates perpendicular to it. This type of co-moving coordinate system is a particular case of a Frenet-Serret frame~\cite{Frenet1852,Serret1851,wiki2017}, where the torsion is always zero, since storage rings are usually designed only with dipoles that deflect in the horizontal plane. Such a coordinate system can be defined in the following way~\cite[chap. 2]{Lee1999}:
\begin{align}\nonumber
\versor{s}(s) &= \dertot{\vect{r}_0(s)}{s},\\
\versor{x}(s) &= -\rho(s)\dertot{\versor{s}(s)}{s},\\\nonumber
\versor{y}(s) &= \versor{s}(s) \times \versor{x}(s),
\end{align}
where $s$ is the arc length of the reference orbit starting from an arbitrary point, $\vect{r}_0$ is the position of the reference orbit in relation to a static, cartesian reference frame, $\versor{s}$ is the Frenet--Serret vector tangent to the orbit, $\versor{x}$ is the negative of the normal vector, generally known in accelerator physics literature as radial or horizontal coordinate, $\versor{y}$ is the standard binormal versor, often called vertical direction in accelerator physics. The scalar $\rho$ is the local radius of curvature of the reference orbit, which is equal to the one introduced by the dipoles, as defined in equation~\eqref{eq:curvature_dipole}. This means that the reference frame of an accelerator is piecewise straight with curvature different from zero only at the dipole field regions.
With the definitions above, the position of an arbitrary particle can be described as small deviations from the reference orbit (see Figure~\ref{fig:reference_frame})
\begin{align}
\vect{r}(s) = \vect{r}_0(s) + x\versor{x}(s) + y\versor{y}(s)
\end{align}
\begin{figure}
\centering
\includegraphics[width=0.65\textwidth]{coordinate_system.png}
\caption[Frenet-Serret reference frame of a storage ring.]{Frenet-Serret reference frame of a storage ring, with right-handed coordinate system $\{ \versor{x}, \versor{y}, \versor{s} \}$. Adapted from~\cite[pp. 123]{Lee1999}.}
\label{fig:reference_frame}
\end{figure}
with $x$ and $y$ being the horizontal and vertical displacements of the particles in relation to the reference orbit. In this reference frame, the dynamics of each particle can be represented by its position in the six dimensional phase space defined by:
\begin{align}\label{eq:phase_space_definition}
\left\{ x, x', y, y', z, \delta \right\}
\end{align}
with
\begin{align}
x' = \dertot{x}{s} \approx \frac{p_x}{p},\quad
y' = \dertot{y}{s} \approx \frac{p_y}{p},\quad
\delta = \frac{p}{p_0}-1
\end{align}
where $p_0$ is the storage ring nominal linear momentum, $\delta \approx \Delta E/E_0$ is the energy deviation of the particle in relation to the nominal energy of the storage ring and $x'$ and $y'$ are the normalized transverse components of the linear momentum of the particle. The coordinate $z$ is defined as the relative longitudinal position of the particle in relation to the synchronous particle
\begin{align}\label{eq:longitudinal_deviations}
z(t) \coloneqq s_\text{sync}(t) - s(t)
\end{align}
where $t$ is the wall-clock time and $s_\text{sync}(t)$ is the trajectory arc-length of the synchronous particle. Note that if the particle is ahead of the synchronous particle $z$ will be negative. This convention is very important and will be consistently adopted throughout this work.
\section{Transverse Dynamics}
At this point it is convenient to describe in general terms the movement of the stored particles in storage rings similar to Sirius'. The particles are ultra--relativistic electrons with energy of the order of a few \si{GeV}, and most of their velocity is always locally tangent to the ideal orbit. There are typically hundreds of billions electrons grouped in several bunches along the reference orbit, each bunch having length of a few milimiters and transverse sizes of the order of dozens of microns. Each electron is under the influence of a variety of electromagnetic fields (gravity can be neglected), coming from the static magnetic fields of the dipoles and multipoles, the radiofrequency field of the RF cavity, the direct fields of other electrons in the same bunch and the fields scattered by the vacuum vessel, generated by other electrons in the same bunch, in other bunches or even by themselves in previous turns. Also, they emit synchrotron radiation in a random manner, which makes them lose energy and perturbs their movement with a recoil effect.
The description of the dynamics of the stored particles begin with an approximation that neglects the effects of their self--generated fields, i.e. their interaction with each other, with the vacuum chamber and with the residual molecules in their atmosphere. In this framework the only forces acting on the particles are the magnetic fields of the dipoles and multipoles and the longitudinal electric field of the RF Cavity and the only way they can lose energy is through synchrotron radiation emission. Under such conditions, the one--turn map of the ring defines a fixed point in the phase space defined in equation~\eqref{eq:phase_space_definition} and the particles oscillate around it, being the oscillations in the planes $\{x,x'\}$, $\{y,y'\}$ and $\{z,\delta\}$ practically uncoupled. The oscillations in the first two planes are called transverse oscillations, while the one in the third plane is denominated longitudinal oscillation.
For current synchrotrons, the dynamics of the longitudinal motion is much slower than the dynamics of the transverse motion. As an example, in the Sirius storage ring particles take approximately 215 revolutions around the ring to complete one turn around the fixed point in the longitudinal direction while they oscillate 49 times per revolution around the fixed point in the transverse plane. This property makes it possible to separate the study of the longitudinal plane from the transverse one, considering the energy deviation of one particle as a constant parameter in the transverse equations of motion. The effects of the radiation energy loss are even slower than the longitudinal motion, taking a few thousands of turns in the ring to significantly change the transverse motion.
Neglecting the energy variations of the particles, and the randomness of the radiation emission, the motion of the particles can be described by a Hamiltonian in the Frenet-Serret coordinate system defined by the ideal orbit. Considering the paraxial motion of the particles around the closed orbit, this Hamiltonian can be simplified to a quadratic form in the momentum coordinates. See, for example, the second chapter of~\citeonline[pp. 32]{Lee1999} book.
This Hamiltonian generates four first--order coupled and non-linear equations of motion for the transverse coordinates that accurately describe the short and mid-term stability of the particles. Most of the non-linearities and coupling in these equations come from the magnetic fields of the magnets along the ring, being the other contributor the curvature of the reference orbit and the energy deviation of each particle. At this stage of the simplification of the problem the dynamics of the electrons still is very complicated, mainly for storage rings such as Sirius, with several and very strong sextupoles that introduce chaos in the system in regions of the phase space that are surrounding the fixed point.
\subsection{Linear Equations of Motion}
With further approximations, considering only the terms of the equations of motion that are linear with the phase-space coordinates and ignoring all coupling between the two transverse directions, the analysis of the dynamics becomes simple, with analytic solutions to the equations of motion and physically significant parameterizations, that describes a given machine. With this simplification, the transverse movement of the electron is only dependent on the fields of dipoles and quadrupoles. Under such considerations, the Hamiltonian of an arbitrary particle stored in the ring is given by
\begin{align}\label{eq:approximated_hamiltonian}
H \approx \frac{x'^2}{2} + \frac{y'^2}{2} + \frac{G^2(s)}{2}x^2 + \frac{K(s)}{2}\fof{x^2-y^2} - G(s)x\delta
\end{align}
where it was normalized by the total momentum of the particle, $p$, and expanded up to second order in the transverse phase space coordinates, in such a way that only dipoles, $G(s)$, and quadrupoles, $K(s)$, contribute to the dynamics. Besides, the independent variable was changed from time to the longitudinal position of the particle along the Frenet-Serret frames, which is possible because it is a monotonic function of time in storage rings, allowing for easy inversion of derivatives. All the steps to get the equation above are described in detail in the literature~\cite{Bengtsson1997,Lee1999,Wiedemann2007}. The equations of motion will be:
\begin{align}\label{eq:linear_equation_motion}
x'' &= -\derpar{H}{x} = -\fof{K(s)+G^2(s)}x + G(s)\delta\\\nonumber
y'' &= -\derpar{H}{y} = K(s)y
\end{align}
where the energy deviation dependent term in the horizontal equation of motion is the dispersion generated by the dipole.
Looking back at the beginning of this section and reviewing all the approximations, at first sight it seems that the region of validity of these linear equations is so limited that their understanding is useless. However that is not what is observed in practice, because storage rings are carefully designed to maximize the validity of this linear behavior: the position, number and strength of all magnets are so well tuned that nonlinearities cancel each other. Another important point to justify the study of these linear equations is that for synchrotron radiation generation, the smaller the transverse size and divergence of the electron beam the better, which means most particles will stay for most of the time in a very small region of approximately hundreds of microns around the fixed point, where only the linear part of the one--turn map have a significant effect on the dynamics. Besides, if a particle experience large transverse oscillations and happens not to be lost, damping effects that arise due to synchrotron radiation emission will bring them close to the fixed point in a few dozens milliseconds.
\subsection{Betatron Function and Phase Advance} \label{ssub:betatron_function}
The homogeneous part of the equations of motion presented in equation~\eqref{eq:linear_equation_motion} can be cast in the following way:
\begin{align}
u'' + K_u(s)u = 0
\end{align}
where $u$ can be both, $x$ and $y$ and $K_x=K(s)-G^2(s)$ and $K_y=-K(s)$. These equations are known as Hill equations and their solutions can be parametrized in the following form, as shown by~\citeonline{Courant1958}:
\begin{align} \label{eq:betatron_motion}
u(s) &= \sqrt{2J\beta_u(s)} \cos(\mu_u(s) - \phi)
\end{align}
where $\beta_u(s)$ is called the betatron function and depends only on the magnetic lattice and $\mu_u(s)$ is called phase advance and its relation to the betatron function is given by
\begin{align}\label{eq:phase_advance}
\mu'_u(s) &= \frac{1}{\beta_u(s)}.
\end{align}
The constants $\phi$ and $J$ depend on the initial conditions. It can be shown that:
\begin{gather} \label{eq:linear_invariant}
J = \mathscr{H}(u(s), u'(s)) \coloneqq \gamma_u(s)u^2(s) + 2\alpha_u(s)u(s)u'(s) + \beta_u(s)u'^2(s), \\[3mm]
\text{with}\quad
\alpha_u(s) = -\frac{\beta_u'(s)}{2} \quad \text{and} \nonumber \quad
\gamma_u(s) = \frac{1+\alpha_u^2(s)}{\beta_u(s)},
\end{gather}
which represents the equation of an ellipse in phase space with $J$ being the invariant area of such ellipse.
The relevance of this parameterization is that it conveys very important practical information regarding the properties and responses to perturbations of the beam that can be extracted directly from the betatron function. It can be seen from equation~\eqref{eq:betatron_motion} that the maximum excursion a given particle can experience in a fixed longitudinal point of the ring is proportional to the square root of the betatron function. Analogously, the beam size of a distribution in equilibrium will also be proportional to the square root of the local betatron function. Thus, the ratio between the amplitudes of movement in two different positions is proportional to the ratio of the square root of the betatron functions at the two locations, a property that is fundamental in the process of defining the transverse sizes of the vacuum chamber of a storage ring. For example, let us suppose the maximum betatron function of a lattice is \SI{16}{\meter} at a place where the vacuum chamber has an internal dimension of \SI{12}{\milli\meter}. This means that in another place where the betatron function is only \SI{1}{\meter} the vacuum chamber can be much smaller, only \SI{3}{\milli\meter}, without affecting the stored beam, which would allow the installation of devices that require smaller apertures. The name of this curve that defines the minimum aperture the vacuum chamber can have along the ring is called \gls{bsc}.
Another important property that is related to the betatron function is the response of the beam to spurious electromagnetic fields. It can be shown that the larger the betatron function the larger the effect of such field in the beam dynamics. In the special case of dipolar fields, which are constant in the transverse plane, this dependency goes with $\sqrt{\beta(s_0)}$, for a quadrupolar field it is proportional to $\beta(s_0)$, for a sextupole $\beta^{3/2}(s_0)$ and so on. For example, the strategy of focusing the betatron function is commonly used in storage rings in straight sections where \glspl{id} are installed to minimize their effect on the optics. Besides, this also reduces the \gls{bsc} which allow them to have smaller gaps and, consequently, stronger magnetic fields, which is desirable for radiation emission. In the case of Sirius, the focusing will happen in both planes, which will allow the installation of new types of devices, called the Delta undulators, with small gap in the vertical and the horizontal directions.
Besides the betatron function, another important advantage of the parameterization presented in equation~\eqref{eq:betatron_motion} is the interpretation of the integral of the phase advance in one turn around the ring. This integral normalized by \SI{2\pi} defines the tune of the machine:
\begin{align}
\nu_u = \frac{1}{2\pi}\udefoint{s}{\frac{1}{\beta_u(s)}}.
\end{align}
The integer part of this number corresponds to the number of complete oscillations in the phase space the particles make after completing one turn in the ring. To interpret the fractional part it is important to note in equation~\eqref{eq:betatron_motion} that the dislocation of a particle in a fixed longitudinal position in successive turns is a perfect senoid, independently of the parameterization:
\begin{align}
u_i(s_0) = A_{u,0}\cos(2\pi\nu_u i -\phi_0).
\end{align}
where $A_{u,0}$ is a constant and the fractional part of the tune is identified as the natural frequency of oscillation. This means that resonances can be excited by any electromagnetic field along the ring with a frequency equal to the tune times the revolution frequency. This observation is paramount to understand the collective instabilities that will be studied in this work. The electromagnetic fields generated by a bunch of particles interacts with other bunches and, because they have the same oscillation frequency, a collective oscillation emerges due to resonance. This mechanism can even happen in a single bunch, where oscillations of the head of the bunch drives the tail to ever larger oscillations.
Additionally, resonances are also excited by static fields if the tune is a rational number, as long as these fields have the correct transverse spatial dependency. For example, if the fractional part of the tune is $\sfrac12$ and there is a spurious constant quadrupolar field in some point of the ring, the kicks received by the particles in successive turns would always sum constructively and a resonance behavior would be excited. If both transverse planes of motion are considered it can be shown that if the tunes satisfy the equation:
\begin{align}\label{eq:betatron_resonance}
m\nu_x + n\nu_y &= p
\end{align}
where $m$, $n$ and $p$ are integers, resonances can be excited by static magnetic field around the ring. The number $r^2 = m^2 + n^2$ is called the order of the resonance, and the lower the order is, the higher its strength. If both $m$ and $n$ must be non-zero for the equation~\eqref{eq:betatron_resonance} to be true, then the resonance depends on the existence of coupling fields, where the position of the particle in one direction influences the kick in the other direction.
\subsection{Dispersion Function}
The inhomogeneous solution of the linear equations of motion can be written in the following form:
\begin{align}\label{eq:dispersion_function}
x_\delta(s) = \eta(s)\delta
\end{align}
where $\eta(s)$ is called dispersion function and, like the betatron function, depends only on the magnetic lattice. Note that this is a particular solution of the equation, where periodic conditions is imposed. This choice has an advantage over other solutions because of the meaning of the dispersion function: its value along the ring gives the shape of the averaged trajectory of a particle with non-zero energy deviation. In other words, this particular solution of the inhomogeneous equation gives the closed orbit for off-momentum particles.
The dispersion function is very important to determine the equilibrium emittance of a storage ring~\cite[pp. 304]{Wiedemann2007},
\begin{align}
\varepsilon_0 \propto \udefoint{s}\frac
{\mathscr{H}\fof{\eta(s),\eta'(s)}}
{\left|\rho^3(s)\right|}
\end{align}
where the minimization of the functional $\mathscr{H}(\eta(s), \eta'(s))$ in the dipoles of the ring is one of the main goals when designing a storage ring. The dispersion function is also important for the calculation of the momentum compaction factor, $\alpha$, which is the relative difference in closed orbit path length per unit of energy deviation, $\delta$,
\begin{align}\label{eq:momentum_compaction}
\frac{\Delta L}{L} &\approx \delta \alpha \coloneqq \delta \udefoint{s}{\frac{\eta(s)}{\rho(s)}}.
\end{align}
This parameter, which in general is positive, is of fundamental importance for the longitudinal dynamics, because it couples linearly the time it takes for the particles to complete one turn in the ring with their energy deviation. Notice that the only sections of the ring which contribute to the integral those are where the reference orbit is curved (in other places the radius is infinity) and this is because particles with more/less energy generally follow paths with larger/smaller radius in the dipoles, which increases/decreases the path length.
\subsection{Action--Angle Variables}
Finding the action angle variables for a given Hamiltonian is equivalent to solving the equations of motion, due to the simple time, or $s$, evolution of such variables. For Hamiltonians with one elliptic fixed point, this task is achieved by performing canonical transformations in the phase space variables that brings them to the normal form, where the movement is a simple harmonic oscillator. Then, the radius in phase space is an invariant of motion and is recognized as the action. This procedure can be applied to the Hamiltonian of equation~\eqref{eq:approximated_hamiltonian} by recognizing the dispersion orbit as a canonical transformation that changes the origin of the phase space~\cite[Appendix A2]{Berg1996}
\begin{align}\label{eq:off_momentum_canonical_transformation}
x (s) \to \overbrace{x(s) - x_\delta (s)}^{x_\beta},
\end{align}
where $x_\delta (s)$ is given by equation~\eqref{eq:dispersion_function}, in such a way that the new Hamiltonian is purely a quadratic form, without the crossed term $x\delta$. This pure betatronic Hamiltonian can than easily be written in action-angle variables in the following way:
\begin{align}\label{eq:betatron_hamiltonian}
K = \frac{J_x}{\beta_x(s)} + \frac{J_y}{\beta_y(s)}
\end{align}
where $J_x$ and $J_y$, defined by equation~\eqref{eq:linear_invariant} are recognized as horizontal and vertical actions and the equation of motion shows that the angle variable, $\theta$, is the phase advance, defined in equation~\eqref{eq:phase_advance}:
\begin{align}
J'_u = \derpar{K}{\theta_u} = 0 \quad \text{and} \quad \theta'_u = \derpar{K}{J_u} = \frac{1}{\beta(s)} = \mu'_u
\end{align}
These variables will be very important for this work, because the wake-fields will be included in the electron dynamics as perturbations to the Hamiltonian presented above.
\subsection{Linear Map Formulation: Matrix Theory}
An alternative way to describe the linear dynamics of a storage ring is via symplectic transfer matrices, where the evolution of the coordinates in phase space can be always written in the following form
\begin{align}
\vect{u}(s) = \tensor{M}_{s\gets s_0} \vect{u}(s_0)
\end{align}
where $\vect{u}(s) = \left(u(s), u'(s)\right)$ is vector of the coordinates in phase space and $\tensor{M}_{s\gets s_0}$ is the transfer matrix from points $s_0$ to $s$. This form of the time evolution of the coordinates can be obtained from equation~\eqref{eq:betatron_motion} by derivation with respect to $s$ and substitution of $J$ and $\phi$ by the initial conditions $\vect{u}(s_0)$. After this procedure, it can verified that $\tensor{M}$ can be written in normal form~\cite{Bengtsson1997}
\begin{align}
\tensor{M}_{s\gets s_0} = \tensor{A}(s)\cdot\tensor{R}(\mu_{s\gets s_0})\cdot\tensor{A}^{-1}(s_0)
\end{align}
where $\tensor{A}^{-1}$ is a transformation matrix to the normalized coordinates and $R$ is a rotation matrix in these coordinates, given by
\begin{align}
\tensor{A}(s) =
\begin{bmatrix}
\sqrt{\beta_u} & 0\\
-\frac{\alpha}{\sqrt{\beta_u}} & \frac{1}{\sqrt{\beta_u}}
\end{bmatrix},
\quad\text{and}\quad
\tensor{R}(\theta) =
\begin{bmatrix}
\cos(\theta) & \sin(\theta)\\
-\sin(\theta) & \cos(\theta)
\end{bmatrix},
\end{align}
and also satisfy the composition rule
\begin{align}
\tensor{M}_{s_2\gets s_0} = \tensor{M}_{s_2\gets s_1}\cdot\tensor{M}_{s_1\gets s_0}
\end{align}
where $\{s_0, s_1, s_2\}$ in this order are sequential positions along the ring. Besides, successive turns around the ring at some position $s_0$ are completely described by the one turn matrix, $\tensor{M}(s_0)$ :
\begin{align}
\vect{x}_n = \tensor{M}^n \cdot \vect{x}_0, \quad \text{with} \quad
\tensor{M}^n = \tensor{A}\cdot\tensor{R}^n(2\pi\nu)\cdot\tensor{A}^{-1} =
\tensor{A}\cdot\tensor{R}(2\pi n \nu)\cdot\tensor{A}^{-1}.
\end{align}
This formulation of the linear transverse motion is very useful for numeric calculation of the evolution of the particles.
\subsection{Chromaticity and Action Dependent Tune shift}\label{sec:chromaticity}
The quadrupoles correct the chromatic effects in the orbit of the beam that are generated in the dipoles and the result of such a correction is the finite value of the dispersion function. However quadrupoles themselves are dispersive components, which means their focusing strengths depend on the energy of the particles. This dependency comes from higher--order terms of the Hamiltonian, not shown in equation~\eqref{eq:approximated_hamiltonian}, and causes an effect on the beam where particles with different relative energy offsets have different tunes.
The linear part of this dependency is called linear chromaticity, which, if not corrected, reduces the lifetime of the beam to a few seconds in most storage rings. For example, for the case of Sirius the chromaticity of the ring without sextupoles is $\approx -130$ for the horizontal direction. This means that particles with an energy deviation of only \SI{0.15}{\percent} would have a tune that is \SI{0.2}{} smaller than the tune of a particle with zero energy deviation. As the energy deviation oscillates in the scale of hundreds of turns, this particle would almost certainly cross a resonance that would induce its loss. Considering the equilibrium energy spread of the Sirius storage ring is only half of this value, approximately \SI{0.09}{\percent}, without chromaticity correction all particles with energy deviation above two sigma of this distribution would be lost. Besides this mechanism, negative chromaticities, even when they are small, make the beam more sensitive to collective instabilities driven by wake fields, as will be analysed later in this work.
The sextupoles are introduced in the machine to correct the linear chromaticity to positive values close to zero. After correction, these sextupoles change the higher-order chromatic terms and also introduce geometric aberrations, non-linearities in the dynamics of all particles that reduce the region around the fixed point where the beam is stable. The main contribution of this effect for the dynamics in the vicinity of the fixed point is the generation of a linear dependency of the tune of each particle with its action variable, $J_u$. Writing the linear expansion of the tune as a function of the energy deviation and the action we get:
\begin{align}
\nu_x(\delta, J_x, J_y) \approx \nu_{x,0} + \xi_x \delta + A_{xx} J_x + A_{xy} J_y \\\nonumber
\nu_y(\delta, J_y, J_x) \approx \nu_{y,0} + \xi_y \delta + A_{yy} J_y + A_{yx} J_x
\end{align}
where $\xi_x$ and $\xi_y$ are the horizontal and vertical chromaticities, and $A_{xx}$, $A_{yy}$ and $A_{xy}=A_{yx}$ are the action--dependent tune shifts.
These are the most important one--turn effects that impact on the mid and long--term dynamics of the electrons at small oscillation amplitudes, in such a way that if we average the Hamiltonian of equation~\eqref{eq:betatron_hamiltonian} in one turn,
\begin{align}
H_t(J_x, J_y) = \frac1L_0\udefoint{s}{K(s)} = \frac{\omega_0}{c}\fof{\nu_xJ_x + \nu_yJ_y},
\end{align}
they can be added to it simply by writing
\begin{align}\label{eq:average_transverse_hamiltonian}\nonumber
H_t(J_x, J_y, \delta) = \frac{\omega_0}{c}
&\left(
(\nu_{x,0} + \xi_x \delta) J_x +
(\nu_{y,0} + \xi_y \delta) J_y +
\vphantom{\frac{1_1^2}{2}}\right.\\ &\left.
\,\,\,A_{xx} \frac{J_x^2}{2} + A_{xy} J_yJ_x +
A_{yy} \frac{J_y^2}{2}
\right).
\end{align}
\section{Longitudinal Dynamics}
In the study of the transverse dynamics the time scale involved was of a few turns in the storage ring, which allowed us to treat the energy deviation of the particles as another constant of motion. In this section the dynamics of the electrons in a few hundreds of turns will be analysed. In this scale the transverse betatron oscillations are averaged out and the longitudinal dynamics, which describes the path length and energy oscillations around the fixed point, has a well--defined natural frequency. The main factors that influence the movement in this scale are the small unbalances between the energy loss of the particles and their energy gain in the RF cavity and the revolution time variation due to the energy offset of the particles.
\subsection{Changes in Revolution Time}\label{sec:longitudinal_deviations}
When the energy of a particle changes its velocity is also modified, which contributes to the change of the revolution time. For most storage rings of \glspl{sls} this effect is negligible when compared to the change in path length described by equation~\eqref{eq:momentum_compaction}, due to the ultra-relativistic regime in which these machines operate. This allows us to approximate the \gls{lhs} of equation~\eqref{eq:momentum_compaction} to the relative change in revolution time. Then, from one turn to another, the relative position of a particle will change by:
\begin{align}\label{eq:revolution_time_variation}
z_{n+1} = z_n + \delta_n\alpha L_0
\end{align}
where $n$ refers to the current turn and $n+1$ to the next. $L_0$ is the nominal circumference of the ring.
\subsection{The Energy Balance}
It can be shown that the rate of energy loss of a particle due to synchrotron radiation emission is proportional to the inverse of square of the local curvature radius of the particle times the fourth power of its total energy~\cite[pp. 661: eq. 14.31]{Jackson1975}. Translating this dependency to a storage ring, the energy loss in one turn depends on the magnetic fields of the lattice and on the energy deviation of the particle. For the ideal particle the average energy loss depends only on the magnetic field of the dipoles, but as the closed orbit for particles with non-zero energy deviation is different, its energy loss is also different, not only because of the intrinsic dependence of the emission, but also because of the slightly different magnetic fields it will experience in one turn. The combination of these effects can be modeled in the following linear approximation:
\begin{align}\label{eq:radiation_loss}
\Delta E_\text{Rad} \approx -U_0 - E_0L_0\alpha_z\delta_n
\end{align}
where $U_0$ is the energy loss of the ideal particle in one turn, $E_0$ is the nominal energy of the storage ring and the coefficient $\alpha_z$ includes both effects, the intrinsic dependence on the energy and the different orbit fields.
The energy gain of a particle in the RF cavity is given by the integral of the longitudinal electric field, $E_\parallel$, along the path of the particle and depends only on the initial phase of the field when it enters the cavity:
\begin{align}
\Delta E = V(t_0) = q\defint{s}{E_\parallel(s,t)|_{t=\sfrac{s}{c}+t_0}}{0}{L_c}
\end{align}
where $V(t_0)$ is called the gap voltage of the cavity and $L_c$ is its length.
Now let us assume the frequency of oscillation of the electromagnetic field inside the cavity, $\omega_{RF}$, is exactly a multiple of the revolution frequency of the synchronous particle, $\omega_0$:
\begin{align}\label{eq:harmonic_number}
\omega_{RF} &= h\omega_0
\end{align}
where $h$ is called harmonic number. With this assumption, even though the fields are time dependent, the synchronous particle will always see the same conditions as it enters the cavity. Now let us make a further assumption that the synchronous particle reaches the cavity in the exact time to gain energy $U_0$ from the cavity:
\begin{align}\label{eq:synchronous_phase_condition}
V(0) = U_0
\end{align}
where the time reference on \gls{lhs} is relative to the position of the synchronous particle. Considering both assumptions and combining the energy gain in the cavity with the energy loss in one turn, given by equation~\eqref{eq:radiation_loss}, we get the following one turn energy balance for a storage ring:
\begin{align}\label{eq:energy_balance}
\delta_{n+1} = \delta_n - L_0\alpha_z\delta_n + \frac{V(z_{n+1})-U_0}{E_0}.
\end{align}
where the subscript $n+1$ in the particle position means that it will go around the ring first and then pass through the cavity.
\subsection{Phase Stability Principle}
Combining equations~\eqref{eq:revolution_time_variation}~and~\eqref{eq:energy_balance} we get the one turn map for the longitudinal plane for which the synchronous position and the nominal energy defines a fixed point. To analyse the stability of this fixed point let us linearize the map in its vicinity:
\begin{align}\label{eq:longitudinal_linear_map}
\begin{bmatrix} z_{n+1} \\ \delta_{n+1}\end{bmatrix} = \overbrace{
\begin{bmatrix}
1 & \alpha L_0 \\
-V'_0 & 1-L_0\alpha_z - V'_0\alpha L_0
\end{bmatrix}
}^M \begin{bmatrix} z_n \\ \delta_n \end{bmatrix}.
\end{align}
where $V'_0$ is the derivative of the voltage gap in relation to the arrival time of the particles at the synchronous position normalized by the nominal energy of the ring, $E_0$. It can be shown that the eigenvalues of the matrix $M$ are given by the solution of the characteristic equation
\begin{align}
\lambda^2 - \text{Tr}\fof{M}\lambda + \text{Det}\fof{M} = 0
\end{align}
with $\text{Tr}\fof{M} = 2-L_0\fof{\alpha_z-V'_0\alpha}$ and $\text{Det}\fof{M} = 1-L_0\alpha_z\approx 1$. This means that for the matrix to be stable, $|\text{Tr}\fof{M}| <= 2$~\cite{Courant1958}, the derivative of the gap voltage must be positive/negative if $\alpha$ is positive/negative. To illustrate this condition, consider that initially a particle arrives at the cavity ahead of the synchronous particle, the positive derivative means it will gain more energy, which makes it take longer to go around the ring if the momentum compaction is positive, diminishing the difference of its arrival time to the synchronous particle for the next turn. This way all particles remain in an oscillatory movement around the fixed point with frequency given by
\begin{align}\label{eq:synchrotron_tune}
\text{Tr}(M) = 2\cos(2\pi\nu_z) \approx 2-(2\pi\nu_z)^2 \implies
\nu_z \approx \frac{1}{2\pi}\sqrt{L_0\alpha_z+V'_0\alpha L_0},
\end{align}
where $\nu_z$ is called synchrotron tune in analogy to the betatron tunes defined in subsection~\ref{ssub:betatron_function}.
Additionally, the determinant of the one--turn matrix is $(1-L_0\alpha_z)$, which implies the oscillations are damped, with $\alpha_z$ being the damping factor. In most storage rings this effect is small compared to the oscillation time, requiring thousands of turns to influence the dynamics.
The voltage gap has the same harmonic composition as a function of the arrival time as the electric field as a function of time. This means that the condition imposed in equation~\eqref{eq:harmonic_number} implies that there are at least $h$ stable fixed point along the ring and, as in general the voltage is a pure senoid, these are the only stable points. This means that it is possible to store up to $h$ agglomerations of electrons, called bunches, in a storage ring.
\subsection{The Potential Well}\label{ssec:potential_well}
There is an important approximation to the map equations derived in the previous sections that consists in considering the turn by turn iterations as infinitesimal transformations and taking the limit to the continuum, considering differences between turns as derivatives. With this considerations, the equations of motion becomes:
\begin{align}
\dertot{z}{s} &= \alpha \delta(s) \\\nonumber
\dertot{\delta}{s} &= \alpha_z\delta(s) + \frac{V(z(s))-U_0}{L_0E_0}.
\end{align}
If the damping term is not considered, the equations of motion can be derived from a static Hamiltonian, given by:
\begin{align}\label{eq:longitudinal_hamiltonian}
H_\parallel = \frac\alpha2\delta^2 \quad \overbrace{-
\defint{w}{\frac{V(w)-U_0}{L_0E_0}}{0}{z}
}^{U(z)}
\end{align}
where the first term of the \gls{rhs} is the kinetic term and $U(z)$ is called the potential well, in an analogy with a potential energy. When the oscillations are small the potential well can be expanded in power series of the longitudinal position. Generally the RF cavity of storage rings are adjusted with each other in such a way that their potentials always sum constructively, creating a practically linear gap voltage $V(z)$ around the fixed point, which implies the Hamiltonian can often be approximated by
\begin{align}\label{eq:quadratic_potential_well}
H_\parallel = \frac\alpha2\delta^2 + \frac{V'}{2L_0}z^2
\end{align}
which is an harmonic oscillator, equivalent to the linear map of equation~\eqref{eq:longitudinal_linear_map}, if the damping is not considered. This harmonic Hamiltonian is often used for analytic treatments of instabilities because it is a good approximation for most RF systems and also due to the simple expressions of its action-angle variables~\cite[sec. III]{Lindberg2016}:
\begin{align}
H_\parallel = \frac{\omega_z}{c}J_z && \text{with} &&
z = \sqrt{\frac{2J_z \alpha c}{\omega_z}}\cos\theta_z && \text{and} &&
\delta = \sqrt{\frac{2J_z\omega_z}{ \alpha c}}\sin\theta_z,
\end{align}
where $\omega_z = \omega_0\nu_z=\omega_0/2\pi\sqrt{V'_0\alpha L_0}$ is the synchrotron frequency.
\section{Radiation Damping and Equilibrium Parameters}
The synchrotron radiation emission is a quantum process that happens uncorrelatedly among all the electrons in the beam. While the average emission has a well defined and smooth behavior, such as the spectra that are calculated with classical electrodynamics for dipoles and \glspl{id}, a closer look into the individual emissions reveals the random nature of these events. As expected the effect this process generates on the beam is also dual, the average emission is responsible for energy loss and damping of the longitudinal and transverse oscillations, while the random character of single emission events generates uncorrelated motion in all planes, thats heat up the beam.
Both effects have very different dependencies on the parameters of the particles. For example, in the last section we used the fact that the energy loss depends linearly with the energy deviation of the particles, which caused an exponential damping of the oscillations, i.e. a damping proportional to the amplitude of the oscillation, while the heating in the longitudinal plane happens because the emissions are instantaneous and uncorrelated among electrons or in time, having no short term dependency on any parameter of the electrons, which generates random walks for the energy deviations. Because these effects have such different dependencies they always compete with each other, if the amplitude of oscillation is large the damping dominates, if it is small there is a blow up. It is this competition that generates the equilibrium energy distribution of the beam and consequently, due to the potential well, the longitudinal distribution. While the amplitude of oscillation of each electron is in an endless variation, the average of all electrons in a bunch remains stationary, with both effects balancing each other out.
In the transverse plane the effect of the radiation emission on the dynamics is not as direct as in the longitudinal plane. Damping in the transverse plane is a two-fold effect: first the electrons lose transverse momentum due to radiation emission because the emission is mostly on the direction of motion. This does not change the normalized momentum of the electron, because the longitudinal momentum is also affected by this emission. In a second moment the electron passes through the RF cavity, where the longitudinal momentum is replenished but the transverse momentum is unchanged, which means the normalized transverse momentum is decreased. The net effect is an exponential damping of the transverse oscillations, proportional to the betatron action of the movement.
The excitations of oscillations happen in the horizontal plane because of the dispersion function in the dipoles. When an electron emits radiation its closed orbit abruptly changes, because its energy deviation has changed, however, as the position of the electron is the same as before, a betatron oscillation around the new closed orbit is excited. Again, both effects balance each other out in stationary state, defining a distribution and consequently the natural emittance of the storage ring. In the vertical plane, as the dispersion is ideally zero, the excitations are created by a much weaker mechanism and the natural vertical emittance is practically zero. This mechanism is related to the fact that the photon emission is not exactly in the direction of the momentum of the electrons, but with an angular aperture around it proportional to $1/\gamma$, which slightly changes the vertical momentum of the electron, exciting betatron oscillations. In real storage rings, residual vertical dispersion function from magnet errors and coupling fields that transfer part of the horizontal emittance to the vertical plane completely overshadow this process and define the vertical emittance of the beam.
\subsection{Fokker-Planck Equation}\label{ssec:fokker_planck_equation}
All the arguments described in the last section can be mathematically described by modeling the evolution of the beam distribution in terms of the Fokker-Planck equation. In this framework we can consider the interaction of the electrons with the radiation they emit as large particles subjected to a weak random and Markovian force, with an approximately white spectrum. These are the conditions imposed on a system by the kinetic theory in order for the distribution function to be described by such equation, according to~\citeonline{Landau1981,Wang1945,Zwanzig2001}.
There are several works that explain the use of the Fokker-Planck equation in storage rings~\cite{Lindberg2016,Suzuki1983,Suzuki1986,Lee1999,Wiedemann2007}. Here, only the main results will be presented. The Fokker-Planck equation is
\begin{align}\label{eq:fokker_planck_equation}
\derpar{\Psi}{s} + \poison{\Psi, H} = \mathscr{F}\fof{\Psi},
\end{align}
where $\Psi = \Psi\fof{\vect{q},\vect{p}, s}$ is the beam distribution in phase space, $\vect{q}=(x,y,z)$ and $\vect{p}=(x',y',\delta)$ are the position and momentum vectors,
\begin{align}
\poison{\Psi, H} = \derpar{\Psi}{\vect{q}}\cdot\derpar{H}{\vect{p}} -
\derpar{\Psi}{\vect{p}}\cdot\derpar{H}{\vect{q}}
\end{align}
is the Poison bracket between the Hamiltonian and the particle distribution, where the operators $\derpar{}{\vect{q}}$ and $\derpar{}{\vect{p}}$ are the gradients in relation to the positions and momenta of the phase space, and $\mathscr{F}(\cdot)$ is the Fokker-Planck operator for the accelerator, explicitly given by~\cite[eq. 33]{Lindberg2016}
\begin{align}\label{eq:fokker_planck}\nonumber
\mathscr{F}\fof{\Psi} = & \frac{2\alpha_z}{c}\fof{
\Psi + \delta\derpar{\Psi}{\delta}
} + D_z \derpar[2]{\Psi}{\delta} + \\\nonumber
& \frac{2\alpha_x}{c}\fof{
\Psi + J_x\derpar{\Psi}{J_x}
} + D_x \fof{J_x\derpar[2]{\Psi}{J_x} +
\derpar{\Psi}{J_x} +
\frac{1}{4J_x}\derpar[2]{\Psi}{\theta_x}
} + \\
& \frac{2\alpha_y}{c}\fof{
\Psi + J_y\derpar{\Psi}{J_y}
} + D_y \fof{J_y\derpar[2]{\Psi}{J_y} +
\derpar{\Psi}{J_y} +
\frac{1}{4J_y}\derpar[2]{\Psi}{\theta_y}
}
\end{align}
where $c$ is the speed of light, $\{J_x, \theta_x\}$ and $\{J_y, \theta_y\}$ are the action-angle variables of the horizontal and vertical planes, as defined in equation~\eqref{eq:linear_invariant}, and $\alpha_u$ and $D_u$ are the damping and diffusion terms introduced by the radiation emission in the three planes of motion, for which~\citeonline{Sands1970} and~\citeonline{Wiedemann2007} derive explicit expressions.
Notice that equation~\eqref{eq:fokker_planck_equation} separates the hamiltonian forces in the \gls{lhs} and the dissipative and random forces in the \gls{rhs}. If the effect of radiation emission were not taken into account, the \gls{rhs} of would be zero and the \gls{lhs} would be a statement of the Liuville Theorem for Hamiltonian flow, which in the accelerators physics community is also known as Vlasov Equation. For machines that operate with heavy particles, such as the colliders that use protons or ions, this is approximately true, but for storage rings of synchrotron light sources, which mostly employ electrons, the Fokker-Planck terms are very important to describe the behavior of the beam in time scales of the order of \si{\milli\second} or higher, which are the scales where impedance related collective instabilities happen.
The Fokker-Planck equation can be used to calculate the equilibrium distribution of the beam. Considering the total Hamiltonian of the ring is given by the sum of equations~\eqref{eq:longitudinal_hamiltonian} and~\eqref{eq:betatron_hamiltonian},
\begin{align}
H = \frac{J_x}{\beta_x} + \frac{J_y}{\beta_x} + \frac\alpha2\delta^2 + U(z),
\end{align}
the equilibrium distribution is a separable function in the three planes of motion because the $H$ does not couple them. Besides, the horizontal distribution must be a function only of the invariant $J_x$, the vertical of $J_y$ and the longitudinal of $H_\parallel$, because they are the invariants of motion:
\begin{align}
\Psi(\vect{q},\vect{p}) =
f_x(x,x')f_y(y,y')f_z(z,\delta) =
f_x(J_x)f_y(J_y)f_z(H_\parallel).
\end{align}
With these considerations the distribution commutes with the total Hamiltonian and the \gls{lhs} of the Fokker-Planck equation,~\eqref{eq:fokker_planck_equation}, is zero. From the \gls{rhs} it can be shown that
\begin{align}\label{eq:equilibrium_distribution}
\Psi(\vect{q},\vect{p}) =
\overbrace{
\frac{\exp\fof{-J_x/\varepsilon_x}}{2\pi\varepsilon_x}}^{f_x}\cdot
\overbrace{
\frac{\exp\fof{-J_y/\varepsilon_y}}{2\pi\varepsilon_y}}^{f_y}\cdot
\overbrace{
\frac{\exp\fof{-\frac{\delta^2}{2\sigma_\delta^2}}}{\sqrt{2\pi}\sigma_\delta}}^{f_\delta}\cdot
\overbrace{
\frac{\exp\fof{-\frac{1}{2\sigma_\delta^2}\frac2\alpha U(z)}}{A}}^{\lambda}
\end{align}
with
\begin{align}
\varepsilon_x = \frac{cD_x}{2\alpha_x}, \quad
\varepsilon_y = \frac{cD_y}{2\alpha_y}, \quad
\sigma_\delta = \frac{cD_z}{2\alpha_z},
\end{align}
where $\varepsilon_x$ and $\varepsilon_y$ are the horizontal and vertical emittances, $\sigma_\delta$ is the energy spread of the beam and $A$ is a normalization constant such that
\begin{align}
\udefint{z^*}{\lambda(z^*)}=1
\end{align}
It easy to see that the beam vertical size is given by
\begin{align}
\sigma_y^2(s) = \average{y^2} = 2\beta_y(s)\udefint{\theta_y}{\cos^2(\theta_y)\udefint{J_y}{f_y(J_y)J_y}} = \beta_y\varepsilon_y
\end{align}
and that for the horizontal plane the canonical transformation that shifted the off-momentum fixed point, represented by equation~\eqref{eq:off_momentum_canonical_transformation}, must be taken in account:
\begin{align}
\sigma_x^2 = \average{\fof{x+\eta\delta}^2} = \average{x^2} + \average{2x\eta\delta} + \eta^2\average{\delta^2} = \beta_x\varepsilon_x + \eta^2\sigma_\delta^2.
\end{align}
For the longitudinal plane, in the simple case of a quadratic potential well, as described by equation~\eqref{eq:quadratic_potential_well}, we have
\begin{align}
\sigma_z^2 = \udefint{z^*}{\lambda\fof{z^*}{z^*}^2} =
\frac1A\udefint{z^*}{
\exp\fof{-\frac{V'}{2L_0\alpha\sigma_\delta^2} {z^*}^2}{z^*}^2
} = \sigma_\delta^2\frac{L_0\alpha}{V'} = \sigma_\delta^2 \frac{c^2\alpha^2}{\omega_z^2}.
\end{align}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\chapter{Wakes and Impedances}\label{cap:wakes_impedances}
The main aspects of single--particle dynamics, governed by the guiding electromagnetic fields generated by the magnets and the RF cavity, were analysed in the last chapter. The effects of the radiation emission on the particle that generated this radiation were also considered, and concepts such as equilibrium distribution of particles, emittance and energy spread were introduced; however, no interaction among the particles in this distribution was considered. Besides the external fields, the self--generated fields, fields induced by the stored particles, are important to characterize the dynamics when the intensity of the beam becomes large. These fields have different effects on the beam depending on how the interaction happens. In this chapter we will study the theory of wake fields, analysing its main definitions and modeling.
\section{Wake Fields}\label{sec:wake_fields}
Even though the mechanism behind the interaction among the stored particles through wake fields is very simple to describe qualitatively, a quantitative self--consistent description is very difficult. The main difficulty comes from the fact that \gls{maxeq} should be solved using the vacuum chamber of the whole ring being subjected to a source, the beam, that is acted upon by the external fields and the self--generated fields we want to determine. In order to tackle this problem self-consistency must be forgotten and approximations must be done.
The first approximation is to consider that all the properties of the materials that compose the vacuum chamber are linear in relation to the intensity of the fields. This linearity combined with the linearity of the \gls{maxeq} allow us to solve the electromagnetic fields for a single source particle and sum over the beam to get the desired result. Another approximation consists in breaking the storage ring in several small parts that do not interacts with each other, which allow us to solve \gls{maxeq} for each part independently. This approximation is valid for storage rings because generally the irregularities or transitions in the vacuum chamber are far from each other in such a way that the fields generated in one of them cannot propagate to the other.
The two approximations described above already greatly simplifies the problem, but in order to make it tractable other two are needed: the rigid beam and the impulse approximations. The rigid beam approximation consists in considering that when the particles are passing through a component that generates wake fields they always move in straight lines parallel to each other with constant and equal speeds. Applying this approximation to the particles that generates the wake fields allows for a simple algorithm to solve the \gls{maxeq} for any structure, because it defines that the source of the fields is a particle moving straight in the longitudinal direction with constant speed. As the boundary conditions are imposed by the walls of the chamber, the whole problem becomes well defined. The impulse approximation consists in saying that the effect of the wake fields of a structure on the particles is only to change their momentum after the whole process and this change in momentum is given by the integral from minus infinity to infinity of the Lorentz Force on the unperturbed trajectory of the particle. Combining this approximation with the rigid beam, we see that the integral must be performed parallel to the source particle at a fixed distance from it.
To clarify these approximations, let us express them mathematically. First, consider a particle with charge $Q$ and velocity $v$ moving in the vacuum chamber. The \gls{maxeq} for the fields generated by this particle are given by:
\begin{align}\label{eq:maxeq}
\nonumber
\vect{\nabla}\cdot\vect{D} &= Q\delta(x-x_0)\delta(y-y_0)\delta(s-vt)\\ \nonumber
\vect{\nabla}\cdot\vect{B} &= 0\\
\vect{\nabla}\times\vect{E} &= -\derpar{\vect{B}}{t}\\
\nonumber
\vect{\nabla}\times\vect{H} &= Qv\versor{s}\delta(x-x_0)\delta(y-y_0)\delta(s-vt) + \derpar{\vect{D}}{t}
\end{align}
where $\delta(\cdot)$ is the Dirac's Delta function, $x_0$ and $y_0$ defines the transverse displacement of the source particle, $\versor{s}$ is the unitary vector that defines the longitudinal direction and
\begin{align}
\vect{D}(t) &= \infint{t^*}{\varepsilon(t-t^*)\vect{E}(t^*)}\\
\vect{B}(t) &= \infint{t^*}{\mu(t-t^*)\vect{H}(t^*)},
\end{align}
where $\varepsilon$ and $\mu$ simplifies to the electric permittivity and magnetic permeability of the vacuum in the region inside the vacuum chamber where the source particle is, but can be any causal function that describes the dynamics of the materials of the wall. Combining these equations with the boundary conditions of continuity of the perpendicular components of $\vect{D}$ and $\vect{B}$ and of the tangential components of $\vect{H}$ and $\vect{E}$, the problem is well defined and there is an unique solution for $\vect{E}$ and $\vect{B}$ inside the vacuum chamber. For the case when the chamber is considered as a \gls{pec}, the fields inside the wall are zeroed by surface charge and currents in the inner wall, as described by~\citeonline[sec. I.5]{Jackson1975}.
If a witness particle with charge $q$ experiences these fields in agreement to the approximations made before, its momentum change is expressed by
\begin{align}\label{eq:momentum_gain}
\Delta \vect{p}(\vect{\rho}_s, \vect{\rho}_w, z) = \infint{t}{\left.\vect{F}(\vect{\rho}_s, \vect{\rho}_w, s, t)\right|_{s=vt-z}},
\end{align}
where $\vect{\rho}_w$ and $\vect{\rho}_s$ are the transverse positions of the witness and source particles, respectively, and $z$ is the distance the witness particle is behind the source. The Lorentz force in this case is given by
\begin{align}\label{eq:lorentz_force}
\vect{F} &= q\left(E_s\versor{s} + (E_x+vB_y)\versor{x} + (E_y-vB_x)\versor{y}\right).
\end{align}
All the conditions imposed above to simplify the problem are referred as zeroth--order approximations by~\citeonline{Stupakov2000a}, which indeed they are in the sense that they define the minimum level of complexity the analysis of wake fields must contain to explain the behavior of the beam. However, most of the considerations are well justified, for example, the assumption of linearity of the materials is justified by the fact that the intensities of the fields involved are not large compared to the saturation curves of the materials, in such a way that linearization of the responses is always possible. For example, the magnetic field of in-vacuum \glspl{id} is generated by ferromagnetic blocks placed with alternating magnetization direction along the beam trajectory. Generally there is a very thin copper foil between the blocks and the beam environment shielding the blocks from the self--generated fields of the beam, however very low frequency fields can penetrate the foil and reach the blocks, which makes them important for the determination of such fields and the effects on the beam. This was the case presented by~\citeonline{Blednykh2016} where a model for the wakes was built from the linearization of the response of such materials and a good agreement with beam measurements was achieved.
The approximation of breaking the ring in small parts which contribute independently to the whole budget of wake in the machine is always revisited by people responsible for simulating the components of new machines. In several occasions, where elements that introduce variations in the vacuum chamber transverse profile are close to each other, they are simulated together to check if there is mutual interference. Apart from some cases where the elements have resonances with similar frequencies, the results show that one simulation with both components is equal the sum of them simulated separately.
The impulse approximation is also justified by the small effect these fields have on the dynamics of the beam in a single pass. Actually this approximation is recurrent in accelerator physics simulations; models for \glspl{id} and multipoles, such as quadrupoles and sextupoles, are very common under this assumption. Even for these components, which are stronger than wake fields, the results are a good approximation to the more detailed simulation with thick components.
There are two different aspects of the rigid--beam approximation that must be analysed separately in order to justify it. The first is the consideration that the witness particle is always at a fixed distance $z$ behind the source particle. This approximation is very good for any storage ring because as the particles are ultra-relativistic, their velocity is close to the light speed and even with a considerable energy difference between the particles, their velocity difference is negligible. additionally, the typical energy variation inside a bunch is very small, on the order of \SI{0.1}{\percent}.
The second aspect is related to the consideration that the particles traverse the structure parallel to the axis, because, in principle, sloping straight trajectories could also be considered and the momentum gain would be dependent on the angles $x'$ and $y'$ of the source and the witness particle. An inclined trajectory of the source particle could generate different electromagnetic fields in the structure, because the coupling between the two would be affected. Besides, an inclined trajectory of the witness particle would make it sample different fields, yielding different momentum changes. There is a study in the literature by \citeonline{Danilov2000} where the author calculates the angular wake for a stripline and an experimental work from the same author~\cite{Danilov1993} where a current--dependent damping of the oscillations is measured at the \SI{120}{\mega\electronvolt} injection energy for the BEP electron storage ring. There are also some other related studies in the literature~\cite{Jones1998}. However, there is no strong experimental evidence of the importance of such effect in the total impedance budget of a storage ring, probably because of the paraxial nature of the movement of the particles.
One interesting feature of the impulse approximation is that, even though the interaction between two particles via wake fields does not respect Newton's third law (action-reaction) and, consequently, cannot be cast into an Hamiltonian formulation, the mean--field interaction, where the degrees of freedom of all the source particles of the beam are averaged out, does respect the Hamilton equations, because, as can be seen in equation~\eqref{eq:momentum_gain}, the change in momentum of the witness particle depends only on its position.
\section{Wake Functions}\label{sec:wake_functions}
The approximations performed in the last section led to a formula to describe the change in momentum of the witness particle and to a method of how to include this momentum change in the dynamics of this particle. In summary, everything we need to know in order to compute the effect of the wake fields are already defined, we just need to compute the total momentum variation for each particle due to the action of all the other particles. In this process it is useful to define functions that are independent of the charge of the particles involved, being dependent only on the structure that generates the wake fields. These functions are called wake functions, or simply wakes, and are defined by
\begin{align}\label{eq:wake_definition}
\left(w_x, w_y, w_s\right) =
\frac{v}{qQ} \left(\Delta p_x, \Delta p_y, -\Delta p_s\right),
\end{align}
where the components of $\Delta\vect{p}$ are given by equation~\eqref{eq:momentum_gain}. The wake function has units of energy per square charge, which is \si{\volt\per\coulomb} in \gls{si}. The minus sign in the definition of the longitudinal wake is introduced so that positive values have an interpretation of energy loss when both charges have the same sign.
\section{The Wake Potential}
With the approximations performed in the section~\ref{sec:wake_fields} together with the restrictions imposed on the electromagnetic fields by the \gls{maxeq} it is possible to show that the wake functions can be derived from a scalar potential function, called wake potential. To show this, we will use the same approach described by~\citeonline{Stupakov2000a}, that is credited to Alex Chao. The Lagrangian of the witness particle is
\begin{align}
L = -mc^2\sqrt{1 - \frac{v^2}{c^2}} + q\vect{A}\cdot\vect{v} - q\phi,
\end{align}
where $\vect{A}$ is the potential vector of the electromagnetic fields defined in equation~\eqref{eq:maxeq} and $\phi$ is the scalar potential of the same fields. Inputing this Lagrangian into the Euler-Lagrange equation we get
\begin{align}
\dertot{}{t} \left(\vect{p} + q\vect{A}\right) = q\vect{\nabla}\left( \vect{A}\cdot\vect{v} - \phi\right),
\end{align}
where $\vect{\nabla}$ denotes derivation with respect to the witness particle position. Integrating the equation above with the considerations made in section~\ref{sec:wake_fields} we get
\begin{align}
\frac{qQ}{c} \vect{\nabla}_R W \coloneqq \Delta\vect{p} = q\infint{t}{\vect{\nabla}\left(vA_s - \phi \right)}.
\end{align}
where $\vect{R} =(x_w, y_w, -z)$ and $W = W(\vect{\rho}_s, \vect{\rho}_w, z)$ is the wake potential and it is assumed that the velocity of the particle is in the longitudinal direction. It was also considered that the fields go to zero at infinity. It can be checked
% \footnote{In Appendix~\ref{app:check_panofky} there is a demonstration of the equalities in equations~\eqref{eq:wake_from_potential}.}
that the wake functions as defined in equation~\eqref{eq:wake_definition} are obtained from the wake potential:
\begin{align}\label{eq:wake_from_potential}
w_s = - \derpar{W}{(-z)} = \derpar{W}{z},\qquad \vect{w}_\perp = \vect{\nabla}_{w,\perp} W,
\end{align}
and, as $W \in C^{\infty}(\mathbb{R})$, we have the following equality
\begin{align}\label{eq:panofsky_wenzel_theorem}
\derpar{\vect{w}_\perp}{z} = \vect{\nabla}_{w,\perp} w_s.
\end{align}
which is known as Panofsky-Wenzel theorem. It is also possible to show that in the ultra-relativistic limit, $v \to c$, the wake potential is an harmonic function of the transverse coordinates of the witness particle~\cite{Stupakov2000a}
\begin{align}\label{eq:potential_harmonic}
\nabla^2_{w,\perp} W = \derpar[2]{W}{x_w} + \derpar[2]{W}{y_w} = 0,
\end{align}
and, if perfect conducting walls are assumed at the ends of the structure, it is also an harmonic function with respect to the transverse coordinates of the source particle~\cite{Zagorodnov2015}
\begin{align}\label{eq:potential_harmonic_source}
\nabla^2_{s,\perp} W = \derpar[2]{W}{x_s} + \derpar[2]{W}{y_s} = 0.
\end{align}
These properties are very important for calculating wake functions numerically and will be used later in this work. The Panofsky-Wenzel theorem, for example, is employed in three--dimensional simulations to calculate all wake functions from the longitudinal electric field, because the longitudinal wake function depends only on this component of the field, as given by equation~\eqref{eq:lorentz_force}. Then, from equation~\eqref{eq:panofsky_wenzel_theorem} we have:
\begin{align}
\vect{w}_\perp = \defint{z^*}{\vect{\nabla}_\perp\left(\frac{c}{Q}\infint{t}{E_s|_{s=ct-z^*}}\right)}{-\infty}{z}.
\end{align}
\section{The "Causality" Principle}
When we take the ultra-relativistic limit, $v \to c$, all the wake fields generated by a particle can only influence particles that are behind it, no particle ahead will suffer its influence. This is equivalent to saying that the wake potential must satisfy the condition
\begin{align}
W(\vect{\rho}_s, \vect{\rho}_w, z) = 0, \,\, \forall\,\, z < 0,
\end{align}
which also directly applies to the wake functions. This condition is known in literature as causality principle and, even though it is only an approximation for the real machine, most calculations of wake functions for the ring components are performed under this assumption, including all the refined results obtained of the solutions of the \gls{maxeq} by numeric solvers.
% This approximation will be discussed in more detail in appendix~\ref{app:catch_up},
% but
The main idea of this approximation is that, since the direct field of an ultra-relativistic particle is in the same transverse plane as the particle itself, the wake fields generated by an imperfection in the vacuum chamber are created at the exact same time this particle passes through the longitudinal position where this imperfection is located. As both, particle and wake field wave front have the same speed, the latter cannot catch up with the first.
Even though this is a good approximation for real beams stored in \gls{sls} storage rings and it generally simplifies the calculations and even enables the use of specific algorithms to compute the effects on the beam, in this work we will not assume this approximation for any of the wakes used and all the algorithms to be developed will work with causal and non--causal wakes. The main reason for this consideration is that all the raw effective wakes from the time domain solvers of the \gls{maxeq} do not respect the causality condition, because they are calculated from finite--length charge distributions. The causal impedances are only obtained after post-processing the data and the point--charge wakes, or Green functions, can only be accessed through fitting, which makes it very practical to use the raw effective wakes in simulations.
Besides, this formalism of wake functions is very general and can be applied in the modeling of other sources of collective effects, such as the interaction of the beam with ions in the vacuum chamber~\cite{Wang2013a} or to model the effect of \gls{csr} on the beam. While the wakes of the former case also respect causality, the latter case, in a completely opposite way, is zero behind and non-zero ahead the source particle~\cite{Derbenev1995}.
\section{Expansion of the Wakes}
For most applications we are interested in knowing the wake functions only in a domain very close the center of the vacuum chamber, with $\vect{\rho}_s$ and $\vect{\rho}_w$ much smaller than the characteristic transverse dimension of the vacuum chamber, which allow us to expand the wake potential in its transverse coordinates and keep only the low--order terms
\begin{align}\label{eq:wake_potential_expansion}
W(\vect{\rho}_s, \vect{\rho}_w, z) \approx W_0 +
\vect{\rho}_s^T\cdot\vect{M}_s +
\vect{\rho}_w^T\cdot\fof{\vect{M}_w +
\tensor{D}\cdot\vect{\rho}_s +
\frac12\tensor{Q}\cdot\vect{\rho}_w}
\end{align}
where $W_0$, $\vect{M}_s$, $\vect{M}_w$, $\tensor{D}$ and $\tensor{Q}$ are coefficients of the expansion that depend only on the longitudinal position $z$, being $\tensor{Q}$ and $\tensor{D}$ symmetric matrices and $Q_{11}=-Q_{22}$ due to equation~\eqref{eq:potential_harmonic}. Expanding the wake functions in first order we get
\begin{align}\label{eq:wake_functions_expansion}
w_s &\approx W'_0 + \vect{\rho}_s^T\cdot\vect{M}'_s + \vect{\rho}_w^T\cdot\vect{M}'_w \\
\vect{w}_\perp &\approx \vect{M}_w + \tensor{D}\cdot\vect{\rho}_s + \tensor{Q}\cdot\vect{\rho}_w
\end{align}
where the prime indicates derivation with respect to $z$.
All these components have different effects on the beam and some of them are more important than others. The component $W'_0$ generally is the only term of the expansion of $w_s$ that is considered in calculations because it dominates the rest of the expansion. So this term is responsible for all the longitudinal effects on the beam, including average energy loss, potential--well distortion, hence bunch-lengthening and bunch-shortening, coupled bunch oscillations, and even energy spread increase in some cases. For this reasons, from now on, the term longitudinal wake will always refer to $W'_0$ unless otherwise specified.
The vectors $\vect{M}_s$ and $\vect{M}_w$ are generally referred to as monopolar wakes, because they generate a transverse wake that is independent of the transverse displacement of the particles. The effect these wakes can cause on the beam is to change its closed orbit as a function of the beam current which is a static effect and cannot lead to instabilities. In addition, for most practical cases these terms are zero due to symmetries in the vacuum chamber.
% (see appendix~\ref{app:symmetry_analysis}).
The elements of the matrix $\tensor{D}$ are referred to as dipolar wakes, because they are generated due to dipole displacements of the source particle. Specifically $\tensor{D}_{11}$ and $\tensor{D}_{22}$ are called horizontal and vertical dipolar wakes, respectively. They are responsible for all the transverse instabilities that leads to coupled oscillations of the bunches, emittance deterioration and even beam loss. Besides, they can also induce coherent tune shifts, a concept that will be described later. These terms are dangerous because they create a mechanism for oscillations of the source particles to induce oscillations on the witness particle and this force is always resonant because both particles have approximately the same tune. The term $\tensor{D}_{12}=\tensor{D}_{21}$ is zero in most cases due to symmetries in the vacuum chamber, but even when it is non-zero it does not induce any significant effect on the beam because, as generally the fractional part of the horizontal and vertical tunes are different, oscillations in one plane do not drive oscillations in the other.
The coefficients $\tensor{Q}_{11}$ and $\tensor{Q}_{22}$ are called detuning or quadrupolar wakes because the force they induce has the same characteristics of a quadrupole. In the ultra-relativistic limit $\tensor{Q}_{11}=-\tensor{Q}_{22}$ which is the basic property of the quadrupole strengths in the horizontal and vertical plane and, as expected from a quadrupole, they generate tune shifts in the beam as a function of current. The same analysis made for the coefficient $\tensor{D}_{12}$ applies for the term $\tensor{Q}_{12}$.
As mentioned above, some components of the wake expansions are zero depending on the properties of the vacuum chamber. This is a consequence of the fact that the wake potential must preserve all the symmetries of the vacuum chamber.
% \footnote{In appendix~\ref{app:symmetry_analysis} there is a demonstration of how the wake potential simplifies under most common types of symmetries of the components of accelerators.}.
For example, the standard vacuum chamber used in the Sirius storage ring is a round straight tube, which is a particular case of a cylindrical symmetry. For this type of symmetry all the components of $\vect{M}_s$, $\vect{M}_w$ and $\tensor{Q}$ must be zero and the only components of $\tensor{D}$ different from zero are the horizontal and vertical dipolar wakes and they must be equal to each other. Thus we conclude that most of the resistive wall of the Sirius storage ring will not induce quadrupolar wakes nor any type of skew effect and that there will be no significant orbit distortions as a function of current. Besides, considering that most of the components installed in the ring, such as bellows and \glspl{bpm} only slightly break this symmetry, we can expect that the behavior of the beam in the horizontal and vertical planes will be very similar, where the differences will mostly be due to asymmetries in the single--particle dynamics.
Taking into consideration what was discussed above, we can rewrite the expansion of the wakes in equations~\eqref{eq:wake_potential_expansion}~and~\eqref{eq:wake_functions_expansion} keeping only the most important terms:
\begin{align}\label{eq:important_wake_potential}
W(\vect{\rho}_s, \vect{\rho}_w, z) &=
W_0(z) +
x_w\left(W^D_X(z)x_s - \frac{W^Q(z)}{2}x_w\right) +
y_w\left(W^D_Y(z)y_s + \frac{W^Q(z)}{2}y_w\right)
\end{align}
and, consequently
\begin{align}\label{eq:important_wakes}\nonumber
w_s(z) &= W'_0(z) \\
w_x(x_s, x_w, z) &= W^D_X(z)x_s - W^Q(z)x_w \\\nonumber
w_y(y_s, y_w, z) &= W^D_Y(z)y_s + W^Q(z)y_w
\end{align}
where $W^D_X = D_{11}$, $W^D_Y = D_{22}$ and $W^Q = Q_{22}$ and the ultra-relativistic approximation was considered.
\section{Impedances}\label{sec:impedances}
As already mentioned in the beginning of section~\ref{sec:wake_functions} all the tools needed to model the effect of the wake fields on the beam are described in section~\ref{sec:wake_fields}, however it is useful to define some other concepts such as the wake functions or the wake potential because they facilitate and uniformize the formalism. The impedance is another one of these concepts, introduced by~\citeonline{Vaccaro1966} to explain instabilities in the ISR ring at \gls{cern}. It is proportional to the Fourier transform of the wake functions with respect to the longitudinal coordinate, $z$, and it is very useful in any kind of analytic calculation of instabilities, or even in the determination of the wake functions. Besides, due to the fact that we are interested in the effects of wake fields for storage rings which are intrinsically periodic, the impedance reveals properties that are difficult to infer looking at the wake itself.
There are several different definitions of impedances in the literature. In this work we will adopt the definitions of~\citeonline{Chao1993, Stupakov2000a, Heifets1991}:
\begin{align}\label{eq:impedances_definition}
\begin{aligned}
Z_\parallel(\omega) &\coloneqq \frac1c \infint{z}{W'_0(z)e^{i\omega z/c}}\\
Z^D_x(\omega) &\coloneqq -\frac{i}{c} \infint{z}{W^D_X(z)e^{i\omega z/c}}\\
Z^D_y(\omega) &\coloneqq -\frac{i}{c} \infint{z}{W^D_Y(z)e^{i\omega z/c}}\\
Z^Q(\omega) &\coloneqq -\frac{i}{c} \infint{z}{W^Q(z)e^{i\omega z/c}}
\end{aligned}
\end{align}
where $Z_\parallel \equiv Z_s \equiv Z_L$ is the longitudinal impedance, $Z^D_x$ and $Z^D_y$ are the horizontal and vertical dipolar impedances and $Z^Q$ is the quadrupolar, or detuning, impedance. In other references, such as in the book of \citeonline{Zotter1998}, the impedance is the conjugate complex of the definitions presented here. The wakes can be obtained back from the impedances by the inverse transforms
\begin{align}\label{eq:wake_as_impedance}
\begin{aligned}
W'_0(z) = \frac{1}{2\pi}\infint{\omega}{Z_\parallel e^{-i\omega z/c}}\\
W_t(z) = \frac{i}{2\pi}\infint{\omega}{Z_t e^{-i\omega z/c}},
\end{aligned}
\end{align}
where $W_t$ and $Z_t$ denote any of the transverse wakes and impedances. Considering that the wakes are real functions, the impedances must satisfy
\begin{subequations}\label{eq:impedance_even_odd}
\begin{align}\label{eq:impedance_even_odd_long}
Z_\parallel(\omega) &= Z_\parallel^*(-\omega)\\\label{eq:impedance_even_odd_trans}
Z_t(\omega) &= -Z_t^*(-\omega),
\end{align}
\end{subequations}
or simply, the real part of the longitudinal impedance must be an even function of the frequency and the imaginary part must be an odd function, while for the transverses impedances the opposite is valid: the real part is odd and the imaginary part is even. Impedances have several other interesting mathematical properties, as presented by~\citeonline{Chao1993}. For example, when the wakes satisfy the causality condition the real and imaginary parts of the impedance obey Kramers--Kronig relations~\cite{Kronig1926}, also known as Hilbert transforms.
It is interesting to note that instead of defining the impedances by the set of equations~\eqref{eq:impedances_definition} we could have defined one generalized impedance from the wake potential
\begin{align}\label{eq:generalized_impedance_definition}
Z(\vect{\rho}_s, \vect{\rho}_w, \omega) &= -\frac{i}{c} \infint{z}{W(\vect{\rho}_s, \vect{\rho}_w, z)e^{i\omega z/c}}
\end{align}
and the impedances could be derived simply by considering its expansion in the transverse coordinates:
\begin{align}
Z(\vect{\rho}_s, \vect{\rho}_w, \omega) &=
\frac{c}{\omega}Z_\parallel +
x_w\left(Z^D_xx_s - \frac{Z^Q}{2}x_w\right) +
y_w\left(Z^D_yy_s + \frac{Z^Q}{2}y_w\right).
\end{align}
\section{Potential of Bunches of Particles}\label{sec:potential_of_bunch}
Now that all the important tools for describing the wake field effects were introduced we will calculate the change in momentum that a specific particle inside a bunch will feel due to the action of all the other particles. To do that we will assume that in the whole ring there is only one source of impedance, localized at a given point of the accelerator, and that the vacuum chamber is perfectly aligned with the reference orbit of the storage ring in such a way that a particle that is on the reference orbit also is at the origin of the expansion made in equation~\eqref{eq:wake_potential_expansion}. The synchronous position will be adopted as the origin of the longitudinal coordinate and the positions of the particles will be measured with respect to it, in agreement to the definitions of section~\ref{sec:longitudinal_deviations}, specifically to equation~\eqref{eq:longitudinal_deviations}, where particles behind the synchronous particle have positive deviations. Under such assumptions we get:
\begin{align}\label{eq:def_effective_wake_potential}
V(\vect{\rho}_i, z_i) = \sum_j W(\vect{\rho}_j,\vect{\rho}_i,z_i-z_j)
\end{align}
where $V(\vect{\rho}_i, z_i)$ is denominated effective wake potential, because it is the net effect of the average of the point--charge wake potential over the bunch and the indices $i$ and $j$ are related to the witness and the source particles respectively. Notice the summation above is very difficult to evaluate for a real beam, because in every bunch there are dozens of billions of electrons. Moreover, this sum does not highlight properties of the beam such as time dependence. If the beam is in equilibrium or is slowly varying the \gls{lhs} of equation~\eqref{eq:def_effective_wake_potential} is approximately the same for successive turns in the ring, or over several passages by the impedance source, but each term of the \gls{rhs} can be very different from one turn to another, which means the sum must always be carried out. For all these reasons, it is important to make an approximation and consider that the effective wake potential experienced by each particle is an integral over the beam distribution:
\begin{align}\label{eq:int_effective_wake_potential}
V(\vect{\rho}, z, s) = \udefint{\vect{p}}{\udefint{\vect{\rho}'}{\udefint{z^*}{
\Psi(\vect{p},\vect{\rho}',z^*; s) W(\vect{\rho}',\vect{\rho},z-z^*)}}}
\end{align}
where $\vect{p} = (x', y', \delta)$ represents the momentum coordinates and $\Psi$ is beam probability density distribution function in phase space, which is time dependent in the general case and is normalized to one.
\subsection{Multi--Turn and Multi--Bunch Effects}\label{ssec:multi_bunch_effects}
The equation~\eqref{eq:int_effective_wake_potential} is not general enough to take into account all the wake field forces on the particles. In some cases the wakes persist for so long that they last for a time equivalent to several turns in the ring, acting on the same particles that generate the fields in successive turns. Generally these wakes are generated by cavity-like structures in the vacuum chamber that trap their electromagnetic eigen-modes for long times. In this situation we must add a sum over the distribution in previous turns
\begin{align}\nonumber
V(\vect{\rho}, z, s) = \sum_{k=-\infty}^\infty\udefint{\vect{p}}{\udefint{\vect{\rho}'}{\udefint{z^*}{
&\Psi(\vect{p},\vect{\rho}',z^*; s-kL_0)\times\\ &W(\vect{\rho}',\vect{\rho},z-z^* + kcL_0)}}}
\end{align}
where the sum can be extended to infinity because the wake-potential is zero for relative positions between the source and the witness particles when there is no interaction between them. For example it does not make sense for a particle to feel the wake field it generates in the next turn. This means the wake potential must be zero for large negative values of $z-z^*$. Yet, in the most general case, there is more than one bunch stored in the ring, which means it is also necessary to take the influence of other bunches into account
\begin{align}\label{eq:general_eff_wake_pot}\nonumber
V_n(\vect{\rho}, z, s) = \sum_{l\in\mathscr{B}}\frac{I_l}{\average{I}}\sum_{k=-\infty}^\infty\udefint{\vect{p}}{\udefint{\vect{\rho}'}{\udefint{z^*}{
&\Psi_l(\vect{p},\vect{\rho}',z^*; s - s_r) \times\\
&W(\vect{\rho}',\vect{\rho},z - z^* + s_r)}}}
\end{align}
where
\begin{align}\label{eq:retarded_time_definition}
s_r = kL_0-(s_l-s_n)
\end{align}
is the retarded position defining when the wakes were generated, $I_l$ is the current and $s_l$ is the synchrotron position of the $l$-th bunch in the ring, $\average{I}=\sum_{l\in\mathscr{B}}I_l/M$ is the average current per bunch, $M$ is the number of buckets filled, and $\mathscr{B}$ is a set of integer numbers to identify which bunchs are filled with particles. For example, if the bunches $1, 10, 500$ and $735$ are filled and the rest is empty, then $\mathscr{B} = \{ 1, 10, 500, 735 \}$ and for sure $n\in\mathscr{B}$. Also, $V_n$ needs the subscript $n$ in order to identify it as the wake potential felt by the $n$-th bunch in the ring.
Combining equation~\eqref{eq:general_eff_wake_pot} with the expansion of equation~\eqref{eq:important_wakes} we can derive expressions for each component of the effective wake functions of the beam
\begin{subequations}\label{eq:general_eff_wakes}
\begin{align}\label{eq:general_eff_long_wake}
(V_0')_n(z, s) &= \sum_{l\in\mathscr{B}}\frac{I_l}{\average{I}}\sum_{k=-\infty}^\infty\udefint{z^*}{\lambda_l(z^*; s - s_r)W'_0(z - z^* + s_r)}
\\[3mm]\label{eq:general_eff_quad_wake}
(V^Q_X)_n(x, z, s) &= x\sum_{l\in\mathscr{B}}\frac{I_l}{\average{I}}\sum_{k=-\infty}^\infty\udefint{z^*}{\lambda_l(z^*; s - s_r)W^Q(z-z^* + s_r)}
\\[3mm]\label{eq:general_eff_dip_wake}
(V^D_X)_n(z, s) &= \sum_{l\in\mathscr{B}}\frac{I_l}{\average{I}}\sum_{k=-\infty}^\infty\udefint{z^*}{d_l(z^*; s - s_r)W^D_X(z-z^* + s_r)}
\end{align}
\end{subequations}
where $\lambda_l$ is the longitudinal line distribution and $d_l$ is the horizontal dipole moment of the $l$-th bunch defined by
\begin{align}\label{eq:definition_long_distributions}
\lambda_l(z; s) = \udefint{\vect{p}}{\udefint{\vect{\rho}'}{
&\Psi_l(\vect{p},\vect{\rho}',z; s)}}\\
d_l(z; s) = \udefint{\vect{p}}{\udefint{\vect{\rho}'}{
&x\Psi_l(\vect{p},\vect{\rho}',z; s)}}
\end{align}
and $V_0$, $V^D_X$ and $V^Q_X$ are the effective longitudinal, horizontal dipolar and horizontal detuning wake functions of the bunch. The expressions for the vertical effective wakes $V^D_Y$ and $V^Q_Y$ are very similar to the horizontal ones, just changing $x$ for $y$.
\subsection{Relation with Impedance}\label{ssec:relation_with_impedance}
In order to demonstrate how the concept of impedance is useful in the beam dynamic calculations and its interpretation, let us consider that the beam is stationary, which means its distribution does not depend on time, and that all bunches in the ring are identical and equally spaced. When we apply the last assumption to equation~\eqref{eq:general_eff_long_wake} we notice the double sum can be replaced by a single one, if we define a variable
\begin{align*}
j = kM + l - n
\end{align*}
where $M$ is the number of bunches stored in the ring. This way the sum reads
\begin{align}
V_0(z) = \sum_{j=-\infty}^\infty\udefint{z^*}{
&\lambda(z^*)W'_0(z-z^* + jc\frac{T_0}{M})}.
\end{align}
where the symbols $l$ and $n$ can be dropped due to the symmetry among bunches and the potential is time-independent. Additionally, if we substitute the wake function by its representation in terms of the impedance given in equation~\eqref{eq:wake_as_impedance} the equation above becomes
\begin{align}\label{eq:temp1}
V_0(z) = \frac{1}{2\pi}\sum_{j=-\infty}^\infty\udefint{\omega}{
&\fourier{\lambda}(\omega)Z_\parallel(\omega)e^{-i\omega(z/c + j\frac{T_0}{M})}}
\end{align}
where the line density $\lambda(z^*)$ was also substituted by its Fourier Transform, defined as
\begin{align}
\fourier{\lambda}(\omega) = \infint{z}{\lambda(z)e^{i\omega z/c}}.
\end{align}
% Finally, using the Poison sum Formula
% \begin{align}
% \sum_{k=-\infty}^\infty F(kC) = \frac1C\sum_{k=-\infty}^\infty \fourier{F}(\frac{2\pi p}{C})
% \end{align}
Finally, using the Fourier Series expansion of the Dirac's delta comb:
\begin{align}
\sum_{p=-\infty}^\infty \delta(\omega-pM\omega_0) =
\frac{1}{M\omega_0} \sum_{j=-\infty}^\infty e^{-i2\pi j\frac{\omega}{M\omega_0}} =
\frac{1}{M\omega_0} \sum_{j=-\infty}^\infty e^{-i\omega(j\frac{T_0}{M})},
\end{align}
where $\omega_0 = \sfrac{2\pi}{T_0}$ is the angular revolution frequency of the ring, equation~\eqref{eq:temp1} can be written as
\begin{align}\label{eq:impedance_interpretation_long}
V_0(z) = \frac{M\omega_0}{2\pi} \sum_{p=-\infty}^\infty \fourier{\lambda}(pM\omega_0)Z_\parallel(pM\omega_0)e^{-ipM\omega_0 z/c}.
\end{align}
where we notice the beam will only sample the impedance at multiples of the revolution frequency. Similar expressions can be obtained for the dipolar and quadrupolar effective wake functions:
\begin{subequations}\label{eq:impedance_interpretation_trans}
\begin{align}\label{eq:impedance_interpretation_dip}
V^D_x(z) = -\frac{iM\omega_0}{2\pi} \sum_{p=-\infty}^\infty \fourier{d}(pM\omega_0)Z^D_x(pM\omega_0)e^{-ipM\omega_0 z/c}\\
\label{eq:impedance_interpretation_quad}
V^Q_x(x,z) = -x\frac{iM\omega_0}{2\pi} \sum_{p=-\infty}^\infty \fourier{\lambda}(pM\omega_0)Z^Q(pM\omega_0)e^{-ipM\omega_0 z/c}
\end{align}
\end{subequations}
and analogously for the vertical plane. Notice in the equations above that the dipolar impedance does not generate any effective wake function if the beam is stable and well centered in the vacuum chamber, because in this condition the dipole moment of the beam is zero. This is the main characteristic of a coherent mechanism, it depends on the values of specific properties of the beam, in this case the longitudinal distribution of the dipole moment, and its effects are only visible through averages on the distribution. On the other hand, the detuning wake generates a $z$-dependent quadrupole strength on individual particles of the beam even if the beam is stationary, which is characteristic of an incoherent effect: it affects the intra--bunch dynamics but it is not necessarily reflected in the averages on the distribution.
Equation~\eqref{eq:impedance_interpretation_long} can be exploited in order to clarify the meaning behind the concept of impedance and its analogy with an electric circuit impedance. Notice that the equation can be interpreted as the Fourier expansion of the wake in the interval $\sfrac{T_0}{M}$ and the coefficient that multiplies the exponential in the sum is the Fourier component of this expansion
\begin{align}
\fourier{V}_0 = \fourier{\lambda}Z_\parallel,
\end{align}
where $\fourier{\lambda}$ is the analog of the current in a circuit and $\fourier{V}_0$ is the voltage induced by this current. The same analogy can be extended to the impedance in other planes. Actually, the modeling of the vacuum chamber as a circuit is a resource widely used to model the low frequency part of the impedance, as done by~\citeonline{Sessler1967,Davino2003}, for example.