This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Also at ]School of Physics, University of Melbourne.

Creating Exact Multipolar Fields with Azimuthally Modulated RF Cavities

L. M. Wroe [email protected]    S. L. Sheehy [ Department of Physics, University of Oxford, OX1 3RH, United Kingdom    R. J. Apsimon Engineering Department, Lancaster University, LA1 4YW, United Kingdom, and
Cockcroft Institute, Daresbury Laboratory, Warrington, WA4 4AD, United Kingdom
Abstract

RF cavities used in modern particle accelerators operate in TMm10-like modes composed of a single, dominant multipole of order mm; m=0m=0 modes are used for the longitudinal acceleration of a particle beam and m0m\neq 0 modes for controlling transverse beam dynamics. The practical design of the latter, however, can be complex and require extensive analysis through the iteration of both approximate mathematical models and computationally expensive simulations to optimise the performance of the structure. In this paper we present a new, systematic method for designing azimuthally modulated RF cavities that support modes composed of any number and magnitude of user-specified transverse multipoles, either with or without a longitudinally accelerating component. Two case studies are presented of RF cavity designs that support modes composed of a longitudinally accelerating field in addition to a single transverse multipole, and designs that support modes composed of two transverse multipoles. We discuss generalising the discoveries and conclusions from the two case studies to designing cavities that support modes composed of any number of multipoles. The theoretical work is verified with analysis of 3D simulations and experimental measurements are presented of a cavity operating in a 3 GHz mode that simultaneously longitudinally accelerates and transversely focuses a beam.

preprint: APS/123-QED

I Introduction

RF cavities that control transverse beam dynamics by operating in transverse magnetic TMm10-like modes composed of a single, dominant transverse multipole of order m0m\neq 0 have a number of applications in particle accelerators. For example, cavities operating in a TM110-like mode with a dominant dipole component in the field have application in: separating a single particle beam into multiple beams [1, 2, 3], providing longitudinal diagnostic measurements on a particle beam such as measuring its emittance [4], controlling electron beams in free-electron lasers by acting as emittance exchangers [5], compressing x-ray pulses in synchrotron light sources [6], and providing a head-tail rotation to particle bunches to allow for luminosity control in particle colliders as crab cavities [7]. The latter were investigated at KEKB [8] with several designs [9] proposed and developed for the HL-LHC [10]. Additionally, cavities operating in a TM210-like mode with a dominant quadrupolar component are being investigated for application in Landau damping transverse beam instabilities in the HL-LHC [11].

With mm, nn, and pp respectively denoting the azimuthal, radial and longitudinal order of the electromagnetic mode, it is a known and well-studied result that a pillbox cavity, that is an enclosed RF cavity with a circular cross-section, will support TMmnp-exact modes with unique resonant frequencies for distinct values of mm, nn, and pp [12]. In order to use an RF cavity that operates in a m0m\neq 0 TMmnp mode in a particle accelerator, novel and elaborate designs [4, 13, 14] that introduce azimuthal and/or longitudinal asymmetries are required to: separate out any degenerate TMmnp same-order modes in frequency space, damp any lower-, same-, and higher-order modes that interfere significantly with beam dynamics, and to optimise the figures of merit such as R/Q. Due to the complexity of such designs, the exact mathematical form of the EM field of the desired mode, and therefore its exact effect on beam dynamics, cannot be solved for analytically. As a result, computationally expensive simulations are required to optimise designs [15, 14], and these may be used in tandem with novel mathematical models developed specifically to provide quick but approximate insights into the optimisation process [16]. What’s more, the implementation of azimuthal and longitudinal asymmetries introduces unwanted transverse multipoles into the desired TMmnp mode, and analysis is required to ensure these unwanted multipoles do not exceed tolerance levels for the accelerator’s operation [17]. If tolerance levels are exceeded, then this may require a redesign of the RF cavity system: for example, RF cavities that operate in TM010-like modes can be designed with dual-port power couplers instead of single-port couplers to prevent the introduction of unwanted dipolar components [18].

In addition to the application of RF cavities that operate in modes composed of a single multipole, designing RF cavities to operate in modes composed of numerous multipoles could have useful application in particle accelerators. For example, the use of elliptical irises to introduce transverse quadrupolar focusing in accelerating RF cavities was investigated [19, 20, 21] for use in the proposed future linear collider CLIC [22].

In this paper, we present a systematic method for designing RF cavities that support modes composed of any desired number and magnitude of multipolar components. We define these modes with the notation TM{M}ηp. {M}\{M\} denotes the subset of integers representing the multipoles composing the mode, for example the TM{0,1}ηp modes are solely composed of a longitudinally accelerating monopolar component and a transverse dipolar component. We use η\eta to denote and distinguish the more complex radial order of general TM{M}ηp modes from the simpler TMmnp modes, and pp continues to denote the longitudinal order of the mode. The method can be applied to modes with any value of pp. For simplicity, however, we study the subset of pp = 0 modes with no longitudinal variation because the vast majority of RF cavities in particle accelerators operate in p=0p=0 modes. The RF cavities that support TM{M}η0 modes containing at least two distinct, multipolar components are termed azimuthally modulated cavities because we find that the cavity cross-section, r0(θ)r_{0}(\theta), must vary with the azimuth. Such cavities have benefits and application in particle accelerators because the TM{M}η0 mode: can exactly introduce any number and magnitude of desired multipolar components, is non-degenerate which overcomes the need to separate out a same-order mode in frequency space, and has a field profile that can be expressed analytically throughout the cavity.

Section II begins with the derivation of the transcendental equation that must be numerically solved to determine the azimuthally modulated cross-sections that support specific TM{M}η0 modes. Insight into the properties of these azimuthally modulated cavity shapes can be gained using mathematical and graphical methods and we first introduce these techniques by applying them to the simple case of the TMmn0 modes, known to be supported by cavities with a pillbox shape. We then present two case studies of the azimuthally modulated RF cavity shapes that support the TM{0,m1}η0{}_{\{0,m_{1}\}\eta 0} modes containing a longitudinally accelerating monopole and a single transverse multipole, and those that support the TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} modes containing two transverse multipoles. We afterwards discuss generalising the discoveries and conclusions made in these two case studies for the design of cavity shapes that support modes with any number of multipoles. In Sec. III, we present and analyse simulation results of azimuthally modulated RF cavities designed to support the TM{0,3}η0 modes containing a monopolar and a sextupolar component. Finally, in Sec. IV we show the results of experimental bead pull measurements of a novel RF cavity operating in a 3 GHz TM{0,2}20 mode.

II Theory

II.1 Deriving the Form of a TM{M}η0 Mode

In this paper, we study perfectly conducting, enclosed RF cavities of longitudinal extent LL and cross-section r0(θ)r_{0}(\theta). The modes supported by these azimuthally modulated cavities must have an electric field that satisfies the boundary conditions Er(r,θ,±L/2)=Eθ(r,θ,±L/2)=0E_{r}(r,\theta,\pm L/2)=E_{\theta}(r,\theta,\pm L/2)=0 at the cavity endpoints and Ez(r0(θ),θ,z)=0E_{z}(r_{0}(\theta),\theta,z)=0 at the cavity surface. Imposing the former boundary condition and assuming that the particle’s transverse momentum is negligible compared to its longitudinal momentum, Panofsky and Wenzel derive that the change in transverse momentum of a particle that passes through an RF cavity can be determined solely by the transverse gradient of the longitudinal component of the electric field, Ez(r,θ,z)E_{z}(r,\theta,z) [23]:

Δp(r,θ)=iqωL/2L/2Ez(r,θ,z)𝑑z,\Delta\vec{p}_{\perp}(r,\theta)=-i\frac{q}{\omega}\int_{-L/2}^{L/2}\nabla_{\perp}E_{z}(r,\theta,z)dz, (II.1)

where qq is the charge of the particle and ω\omega is the resonant angular frequency of the RF cavity mode. The inclusion of the imaginary unit means the transverse force is π/2\pi/2 out of phase with the longitudinal force.

The Panofsky-Wenzel theorem therefore states that only the longitudinal electric field of the mode need be determined in order to calculate the effect of the transverse forces that act on a particle beam passing through a cavity. The general form of the electric field, E(r,θ,z)\vec{E}(r,\theta,z), of a mode supported by an RF cavity of any design is derived in Ref. [24]. This general form can be simplified to determine the specific form of the longitudinal electric field in azimuthally modulated cavities by applying the boundary conditions at the endpoints and cavity surface. Applying the endpoint boundary condition, we find that modes of distinct longitudinal order pp must independently satisfy the boundary conditions. Applying the surface boundary condition, we find that the allowed modes belong to one of two familiar sets: either TM modes with no longitudinal magnetic field or TE modes with no longitudinal electric field. In this paper, we only study TM modes with p=0p=0: TE modes are ignored as they are less frequently used in particle accelerators and their effect on beam dynamics cannot be analysed using the Panofsky-Wenzel theorem.

The general form of the longitudinal electric field given in Ref. [24] reduces in the case of TM{M}η0 modes to:

Ez(r,θ,z)=J0(kr)g~0+m=1Jm(kr)g~mcos(mθϕm),E_{z}(r,\theta,z)=J_{0}(kr)\tilde{g}_{0}+\sum_{m=1}^{\infty}J_{m}\left(kr\right)\tilde{g}_{m}\cos{(m\theta-\phi_{m})}, (II.2)

where k=ω/ck=\omega/c is the wavenumber of the mode, g~m\tilde{g}_{m} and ϕm\phi_{m} are arbitrary constants that respectively denote the magnitude and offset of the multipole of azimuthal order mm, and JmJ_{m} denotes the Bessel function of the first kind of order mm. We note that ϕm=0\phi_{m}=0 corresponds to a normal multipolar field and ϕm=π/2\phi_{m}=\pi/2 to a skew multipolar field.

In this paper, the aim is to determine a method for designing RF cavities that support desired modes composed of multipoles of specified magnitudes. If we consider the set of azimuthally modulated cavities with cross-sections r0(η)(θ)r_{0}^{(\eta)}(\theta) that support a desired TM{M}η0 mode, then the boundary condition Ez(r0(η)(θ),θ,z)=0E_{z}(r_{0}^{(\eta)}(\theta),\theta,z)=0 must be satisfied at the surface of each of these cavities. Applying this to Eq. II.2 gives:

J0(kr0(η)(θ))g~0+m=1Jm(kr0(η)(θ))g~mcos(mθϕm)=0,J_{0}\!\left(kr_{0}^{(\eta)}(\theta)\right)\!\tilde{g}_{0}+\sum_{m=1}^{\infty}\!J_{m}\!\left(kr_{0}^{(\eta)}(\theta)\right)\!\tilde{g}_{m}\cos{(m\theta-\phi_{m})}\!=0, (II.3)

Equation II.3 is transcendental and must, in general, be solved using numerical methods to determine r0(η)(θ)r_{0}^{(\eta)}(\theta). Doing so for user-specified values of kk, g~m\tilde{g}_{m} and ϕm\phi_{m}, returns the set of unique azimuthally modulated cross-sections, r0(η)(θ)r_{0}^{(\eta)}(\theta), that support the corresponding TM{M}η0 modes.

II.2 Modes with a Single Multipolar Component

Although numerical methods must generally be used to solve Eq. II.3 for all θ\theta, insight into the properties of the azimuthally modulated RF cavities that support TM{M}η0 modes can be gained through analysis using mathematical and graphical methods.

To introduce the techniques used for understanding the properties of azimuthally modulated cavities that support modes with more than a single multipole, we briefly analyse the TMm1n0{}_{m_{1}n0} modes that are known to be supported by a circular pillbox shape [12]. For this case only, Eq. II.3 can be solved analytically:

Jm1(kr0(n)(θ))g~m1cos(m1θϕm1)=0,J_{m_{1}}\left(kr_{0}^{(n)}(\theta)\right)\tilde{g}_{m_{1}}\cos{(m_{1}\theta-\phi_{m_{1}})}=0, (II.4)

is solved for all θ\theta if:

Jm1(kr0(n)(θ))=0ωr0(n)c=jm1n,J_{m_{1}}\left(kr_{0}^{(n)}(\theta)\right)=0\;\;\rightarrow\;\;\frac{\omega r_{0}^{(n)}}{c}=j_{m_{1}n}, (II.5)

where we define ϕ0=0\phi_{0}=0 and jm1nj_{m_{1}n} is the nthn^{\textrm{th}} root of the Bessel function of order m1m_{1}. This shows that the cross-section of the cavity that supports a TMm1n0{}_{m_{1}n0} mode is a circle of constant radius, r0(n)=cjm1n/ωr_{0}^{(n)}=cj_{m_{1}n}/\omega, as expected.

There are a number of important, known results for the TMm1n0{}_{m_{1}n0} modes [12]. Firstly, because all Bessel functions have (n1)(n-1) turning points in the range [0, jm1nj_{m_{1}n}] and the field varies with the azimuth simply as cos(m1θϕm1)\cos{(m_{1}\theta-\phi_{m_{1}})}, the integer nn is the number of poles (that is minima or maxima) of EzE_{z} along any radial line that connects the centre of the cavity to its surface, except the nodal lines orientated at θq=(2q+1)π/2m1+ϕm1\theta_{q}=(2q+1)\pi/2m_{1}+\phi_{m_{1}} (qq\in\mathbb{Z}). Secondly, the m10m_{1}\neq 0 modes are degenerate because the boundary condition in Eq. II.4 is satisfied for all values of ϕm1\phi_{m_{1}}. In contrast, the TM0n0 modes are not degenerate. Thirdly, as jm1nj_{m_{1}n} is unique for all distinct values of m1m_{1} and nn, the resonant frequencies of each of the TMm1n0{}_{m_{1}n0} modes of distinct m1m_{1} and nn are unique. Thus to use the TMmn0 modes to introduce numerous multipoles at the same frequency, multiple pillbox cavities of different radii would have to be used. Finally, the TM010 mode is the fundamental TMmnp mode with the lowest resonant frequency.

Refer to caption
Figure 1: J1(kr)J_{1}(kr) plotted against rr with k=2π×3k=2\pi\times 3 GHz/c. The black, blue, and cyan dashed lines show three points of intersection with the rr-axis.

We can also use a graphical method to argue that TMm1n0{}_{m_{1}n0} modes will be supported by cavities with a circular cross-section. Considering the 3 GHz TM1n0 modes with g~1=1\tilde{g}_{1}=1 and ϕ1=0\phi_{1}=0, Eq. II.4 states that the r0(n)(θ0)r_{0}^{(n)}(\theta_{0}) solutions at a particular angle θ0\theta_{0} occur where, if plotted as a function of rr, J1(kr)cosθ0J_{1}(kr)\cos{\theta_{0}} intersects the horizontal rr-axis. Figure 1 plots J1(kr)J_{1}(kr) (the case where θ0\theta_{0} = 0) for r=[0,25]r=[0,25] cm. The first three positive intersections with the rr-axis are indicated by the dashed black, blue, and cyan lines that correspond respectively to the r(n)(0)r^{(n)}(0) solutions with nn = 1, 2, and 3.

We could next consider plotting J1(kr)cosθJ_{1}(kr)\cos{\theta} for many θ\theta values and determining where the intersections lie for each θ\theta. This is not necessary, however, because the cosine term in J1(kr)cosθJ_{1}(kr)\cos{\theta} acts as a θ\theta-dependent amplifying term on the Bessel function and thus the locations of the intersections with the rr-axis will not change. As a result, we conclude that the r0(n)(θ)r_{0}^{(n)}(\theta) solutions are constant with respect to changes in θ\theta and so plotting any r0(n)(θ)r_{0}^{(n)}(\theta) solution in Cartesian space plots a circle. This graphical argument can be generalised to argue that TMm1n0{}_{m_{1}n0} modes of any g~m1\tilde{g}_{m_{1}} and ϕm1\phi_{m_{1}} will be supported by a circular pillbox.

II.3 Modes with a Monopolar and a Single Transverse Multipolar Component

We now investigate the properties of the TM{0,m1}η0{}_{\{0,m_{1}\}\eta 0} modes and the corresponding azimuthally modulated cross-sections that support them. We begin with general mathematical analysis.

From Eq. II.2, the subset of TM{0,m1}η0{}_{\{0,m_{1}\}\eta 0} modes with ϕm1=0\phi_{m_{1}}=0 have a longitudinal electric field of the form:

Ez(r,θ,z)=J0(kr)g~0+Jm1(kr)g~m1cosm1θ,E_{z}(r,\theta,z)=J_{0}\left(kr\right)\tilde{g}_{0}+J_{m_{1}}\left(kr\right)\tilde{g}_{m_{1}}\cos{m_{1}\theta}, (II.6)

and from Eq. II.3, must satisfy the boundary condition:

J0(kr0(η)(θ))g~0+Jm1(kr0(η)(θ))g~m1cosm1θ=0.J_{0}\left(kr_{0}^{(\eta)}(\theta)\right)\tilde{g}_{0}+J_{m_{1}}\left(kr_{0}^{(\eta)}(\theta)\right)\tilde{g}_{m_{1}}\cos{m_{1}\theta}=0. (II.7)

The periodicity of the cosm1θ\cos{m_{1}\theta} function in Eq. II.7 means that both the longitudinal electric field of a TM{0,m1}η0{}_{\{0,m_{1}\}\eta 0} mode and the corresponding azimuthally modulated cross-section have m1m_{1}-fold rotational symmetry. Additionally, r0(η)(0)r_{0}^{(\eta)}(0) and r0(η)(π/m1)r_{0}^{(\eta)}(\pi/m_{1}) are turning points of opposite forms in the cross-section and so if r0(η)(0)r_{0}^{(\eta)}(0) is a maximum then r0(η)(π/m1)r_{0}^{(\eta)}(\pi/m_{1}) is a minimum, or vice versa.

Furthermore, if we consider the specific angles θq=(2q+1)π/(2m1)\theta_{q}=(2q+1)\pi/(2m_{1}) (q)(q\in\mathbb{Z}), the cosine term vanishes and Eq. II.7 becomes:

J0(kr0(η)(θq))g~0=0ωcr0(η)(θq)=j0x,J_{0}\bigg{(}kr_{0}^{(\eta)}\left(\theta_{q}\right)\bigg{)}\tilde{g}_{0}=0\;\;\rightarrow\;\;\frac{\omega}{c}r_{0}^{(\eta)}\left(\theta_{q}\right)=j_{0x}, (II.8)

where xx\in\mathbb{Z}.111The reason xηx\neq\eta is due to the possibility of conditional modes, discussed in Sec. II.3.2. As well as relating the cavity frequency and radial value at these angles to the Bessel roots j0xj_{0x}, Eq. II.8 defines η\eta for the TM{0,m1}η0{}_{\{0,m_{1}\}\eta 0} modes as the number of poles in EzE_{z} specifically along the θq=(2q+1)π/(2m1)\theta_{q}=(2q+1)\pi/(2m_{1}) radial lines. This can be contrasted with the generality of the interpretation of nn as the number of poles in a TMmnp mode along any non-nodal, radial line.

As per the TM0n0 modes in the circular pillbox cavity, the TM{0,m1}η0{}_{\{0,m_{1}\}\eta 0} modes supported by azimuthally modulated cavities are also non-degenerate with no same-order mode. Furthermore, by the Courant nodal domain theorem [25], the TM{0,m1}10{}_{\{0,m_{1}\}10} modes are the fundamental TM modes in the azimuthally modulated cavities that support them.

Additionally, we note that if the ratio of the transverse multipolar component to the monopolar component is zero, g~m1/g~0=0\tilde{g}_{m_{1}}/\tilde{g}_{0}=0, the form of EzE_{z} in Eq. II.6 is equivalent to that of a TM0n0 mode. Such modes are supported by a cavity with a circular cross-section, as discussed in Sec. II.2. The cross-section of the cavity that supports a TM{0,m1}η0{}_{\{0,m_{1}\}\eta 0} mode for a small ratio of transverse multipole to monopole, g~m1/g~0<<1\tilde{g}_{m_{1}}/\tilde{g}_{0}<<1, will therefore be perturbed only slightly from circular. Taking the other extreme whereby the transverse multipole to monopole ratio tends to infinity, g~m1/g~0\tilde{g}_{m_{1}}/\tilde{g}_{0}\rightarrow\infty, the cavity cross-sections do not tend back to circular but instead tend to unique, non-circular shapes. This asymmetry arises because the TMm1n0{}_{m_{1}n0} modes are degenerate whereas the TM{0,m1}η0{}_{\{0,m_{1}\}\eta 0} modes are non-degenerate for all ratios of g~m1/g~0\tilde{g}_{m_{1}}/\tilde{g}_{0}.

Finally, we consider the azimuthally modulated cross-sections that support general TM{0,m1}η0{}_{\{0,m_{1}\}\eta 0} modes for any value of ϕm1\phi_{m_{1}}. Introducing a ϕm10\phi_{m_{1}}\neq 0 term into Eq. II.6 and Eq. II.7, we find the set of general cavity cross-sections are identical to the subset of cavity cross-sections with ϕm1=0\phi_{m_{1}}=0, except for a physical rotation about the zz-axis of ϕm1/m1\phi_{m_{1}}/m_{1}.

II.3.1 Example: Modes with a Monopolar and a Sextupolar Component

It turns out that for certain combinations of m1m_{1} and η\eta, there is a limit on the ratio of transverse multipole to monopole beyond which the cross-section of the azimuthally modulated RF cavity becomes discontinuous. This is best illustrated through an example and here we consider 3 GHz TM{0,3}η0 modes with ϕ3=0\phi_{3}=0. Inserting this, m1=3m_{1}=3 and k=2π×3k=2\pi\times 3 GHz/c/c into Eq. II.7 gives the longitudinal electric field profile of such a mode:

Ez(r,θ,z)=J0(kr)g~0+J3(kr)g~3cos3θ,E_{z}(r,\theta,z)=J_{0}\left(kr\right)\tilde{g}_{0}+J_{3}\left(kr\right)\tilde{g}_{3}\cos{3\theta}, (II.9)

and the corresponding cross-section can be determined from Eq. II.7 which we rearrange to:

J0(kr0(η)(θ))=g~3g~0J3(kr0(η)(θ))cos3θ.J_{0}\left(kr_{0}^{(\eta)}(\theta)\right)=-\frac{\tilde{g}_{3}}{\tilde{g}_{0}}J_{3}\left(kr_{0}^{(\eta)}(\theta)\right)\cos{3\theta}. (II.10)
Refer to caption
(a) The cavity shapes, r0(η)(θ)r_{0}^{(\eta)}(\theta), that support the η\eta = 1, 2, and 3 TM{0,3}η0 modes as black, blue, and cyan lines respectively.
Refer to caption
(b) J0(kr)J_{0}(kr) and 0.95J3(kr)cos3θ-0.95J_{3}(kr)\cos{3\theta} plotted against rr for θ=0,π/3\theta=0,\pi/3. The η\eta = 1, 2, and 3 solutions where the two functions intersect for all θ\theta are plotted as black, blue, and cyan lines.
Figure 2: 3 GHz TM{0,3}η0 modes with g~3/g~0=0.95\tilde{g}_{3}/\tilde{g}_{0}=0.95 and ϕ3=0\phi_{3}=0.

We firstly solve Eq. II.10 numerically for a sextupole to monopole ratio of g~3/g~0\tilde{g}_{3}/\tilde{g}_{0} = 0.95. The cross-sections of the RF cavities that support the η=1\eta=1, 2, and 3 modes are plotted in Fig. 2a. They have 33-fold rotational symmetry, as expected.

To help understand the properties of these azimuthally modulated cavities, we analyse Eq. II.10 graphically. Generalising the monopole term to J0(kr)J_{0}(kr) and sextupole term to 0.95J3(kr)cos3θ-0.95J_{3}(kr)\cos{3\theta} then, if we plot these two functions against rr for a given θ=θ0\theta=\theta_{0}, Eq. II.10 states the r(η)(θ0)r^{(\eta)}(\theta_{0}) solutions are the points at which the two functions intersect. Figure 2b plots J0(kr)J_{0}(kr) in red and the two functions ±0.95J3(kr)\pm 0.95J_{3}(kr) in green, the latter corresponding to the minimum and maximum values of cos3θ0=1\cos{3\theta_{0}}=\mp 1. The η\eta = 1, 2, and 3 points of intersection of the red and green lines are indicated respectively by the black, blue, and cyan vertical dashed lines.

Considering the intersections at other θ\theta values, we note that the monopole term has no θ\theta dependence and thus intersections will always lie on the red, monopolar line for all θ\theta. In contrast, the sextupolar term contains a cosine term that acts as a θ\theta-dependent amplifying term on 0.95J3(kr)-0.95J_{3}(kr). As Fig. 2b plots ±0.95J3(kr)\pm 0.95J_{3}(kr) which correspond to the maximum and minimum amplification, intersections at all other θ\theta must occur between these maximum and minimum intersections. The solid black, blue, and cyan lines on Fig. 2b show the η\eta = 1, 2, and 3 intersections for all θ\theta and it is clear that each r(η)(θ)r^{(\eta)}(\theta) solution is bounded between its corresponding vertical dashed lines.

This graphical analysis of Eq. II.10 in Fig. 2b explains why cavity shapes in Fig. 2a are physically larger for larger η\eta. Additionally, Fig. 2b shows j31>j02j_{31}>j_{02}, that is the 3rd{}^{\textrm{rd}} order Bessel function first intersects the rr-axis after the 0th{}^{\textrm{th}} order Bessel has intersected it twice. As a result, both the η=1\eta=1 and η=2\eta=2 cross-sections exist in the interval r=[0,j31]/k[0,10]r=[0,j_{31}]/k\approx[0,10] cm, and this explains why r0(1)(0)r_{0}^{(1)}(0) is a maximum whereas r0(2)(0)r_{0}^{(2)}(0) is a minimum in Fig. 2a. This is also why we could not equate η\eta with xx in Eq. II.8 as there may be more than one solution in an interval r=[jm1(x1),jm1x]/kr=[j_{m_{1}(x-1)},j_{m_{1}x}]/k.

Refer to caption
(a) The cavity shapes, r0(η)(θ)r_{0}^{(\eta)}(\theta), that support the η\eta = 1, 2, and 3 TM{0,3}η0 modes as black, blue, and cyan lines respectively.
Refer to caption
(b) J0(kr)J_{0}(kr) and 1.2J3(kr)cos3θ-1.2J_{3}(kr)\cos{3\theta} plotted against rr for θ=0,π/3\theta=0,\pi/3. The η\eta = 1, 2, and 3 solutions where the two functions intersect for all θ\theta are plotted as black, blue, and cyan lines.
Figure 3: 3 GHz TM{0,3}η0 modes with g~3/g~0=1.2\tilde{g}_{3}/\tilde{g}_{0}=1.2 and ϕ3=0\phi_{3}=0.

There is a further consequence from having multiple solutions in an interval r=[jm1(x1),jm1x]/kr=[j_{m_{1}(x-1)},j_{m_{1}x}]/k: if we consider increasing the value of g~3/g~0\tilde{g}_{3}/\tilde{g}_{0} beyond 0.95 then the η\eta = 1 and η\eta = 2 solutions at the angles cos3θ0=1\cos{3\theta_{0}}=1 will further converge until, at a critical ratio of g~3/g~0\tilde{g}_{3}/\tilde{g}_{0}, r0(1)(θ0)r_{0}^{(1)}(\theta_{0}) = r0(2)(θ0)r_{0}^{(2)}(\theta_{0}). To see this graphically, consider the green line representing 0.95J3(kr)-0.95J_{3}(kr) in Fig. 2b: if g~3/g~0\tilde{g}_{3}/\tilde{g}_{0} was increased from 0.95, the η=1\eta=1 (black) and η=2\eta=2 (blue) intersection points at r5.5r\approx 5.5 cm will move closer together. The critical value at which the r0(1)(θ0)r_{0}^{(1)}(\theta_{0}) and r0(2)(θ0)r_{0}^{(2)}(\theta_{0}) converge is numerically calculated as (g~3/g~0)crit(\tilde{g}_{3}/\tilde{g}_{0})_{\textrm{crit}} = 0.98.

The implication of trying to solve Eq. II.10 with g~3/g~0=1.2>(g~3/g~0)crit\tilde{g}_{3}/\tilde{g}_{0}=1.2>(\tilde{g}_{3}/\tilde{g}_{0})_{\textrm{crit}} is shown in Fig. 3: for a range of θ\theta values around cos3θ=0\cos{3\theta}=0, real η=1\eta=1 and η=2\eta=2 solutions do not exist because there is no intersection between the Bessel terms, and therefore solution, at r5.5r\approx 5.5 cm. As a result, the r0(1)(θ)r_{0}^{(1)}(\theta) and r0(2)(θ)r_{0}^{(2)}(\theta) solutions are discontinuous.

This can be contrasted to the continuous r0(3)(θ)r_{0}^{(3)}(\theta) solution in Fig. 3b whereby the two terms continuously intersect for all θ\theta. In fact, because there is only one root to the 0th0^{\textrm{th}} order Bessel function in the interval [j31,j32][j_{31},j_{32}], the η=3\eta=3 solution is continuous for all values of g~3/g~0\tilde{g}_{3}/\tilde{g}_{0}. We can also see that the η=3\eta=3 solution is bounded within the interval [j31,j32]/k[j_{31},j_{32}]/k. Specifically as g~3/g~00\tilde{g}_{3}/\tilde{g}_{0}\rightarrow 0, r0(3)(θ)j03/kr_{0}^{(3)}(\theta)\rightarrow j_{03}/k, and as g~3/g~0\tilde{g}_{3}/\tilde{g}_{0}\rightarrow\infty, r0(3)(θ)[j31/kr_{0}^{(3)}(\theta)\rightarrow[j_{31}/k for cos3θ>0\cos{3\theta}>0; j32/kj_{32}/k for cos3θ<0\cos{3\theta}<0].

The mathematical solutions to Eq. II.3 can inform the practical and realistic design of cavities that support TM{M}η0-like modes for useful application in particle accelerators. RF cavities used in particle accelerators must have an enclosed cross-section and may have constraints on their maximum physical size and frequency of operation. Therefore, although the r0(3)(θ)r_{0}^{(3)}(\theta) structure is continuous and enclosed for the multipolar ratio g~3/g~0=1.2\tilde{g}_{3}/\tilde{g}_{0}=1.2, it is a physically larger cavity than the discontinuous r0(1)(θ)r_{0}^{(1)}(\theta) and r0(2)(θ)r_{0}^{(2)}(\theta) shapes. As a potential compromise between creating a mode with the desired g~3/g~0=1.2\tilde{g}_{3}/\tilde{g}_{0}=1.2 multipolar ratio whilst minimising the physical size of the cavity that supports it, we can consider designing an RF cavity where the cross-section jumps to the η=3\eta=3 solution at the angles where real η=1\eta=1 and η=2\eta=2 solutions do not exist. We define such cavities that mix modes of differing η\eta as hybrid cavities and these are further discussed and analysed in Sec. III.

II.3.2 Conditional Modes

For the case of the TM{0,3}η0 modes, we showed that the η=1\eta=1 and η=2\eta=2 solutions are discontinuous if g~3/g~0\tilde{g}_{3}/\tilde{g}_{0} exceeds a critical value. This arises because j31>j02j_{31}>j_{02} and so there are two roots to the 0th0^{\textrm{th}} order Bessel function in the interval [0,j31][0,j_{31}]. In contrast, the η=3\eta=3 solution is continuous for all values of g~3/g~0\tilde{g}_{3}/\tilde{g}_{0} because there is only one root to the 0th0^{\textrm{th}} order Bessel function in the interval [j31,j32][j_{31},j_{32}]. Extending this, the azimuthally modulated cavity designed to support a TM{0,m1}η0{}_{\{0,m_{1}\}\eta 0} mode will have a critical limit on g~m1/g~0\tilde{g}_{m_{1}}/\tilde{g}_{0} beyond which the solution is discontinuous if in the [jm1(x1),jm1x][j_{m_{1}(x-1)},j_{m_{1}x}] interval in which the r0(η)(θ)r_{0}^{(\eta)}(\theta) solution lies, there is more than one root to the 0th0^{\textrm{th}} order Bessel function.

To generalise this result, we define any TM{M}η0 mode of given multipolar content {M}\{M\} and radial order η\eta as conditional if any corresponding r0(η)(θ)r_{0}^{(\eta)}(\theta) solution is discontinuous for any possible combination of magnitudes of the multipolar coefficients. A TM{M}η0 mode is therefore unconditional if it has a continuous cross-section for all possible ratios of the multipolar coefficients.

II.4 Modes with Two Different Transverse Multipolar Components

Having determined the properties of azimuthally modulated RF cavities that support the TM{0,m1}η0{}_{\{0,m_{1}\}\eta 0} modes in the previous subsection, we now examine the azimuthally modulated RF cavities that support the TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} modes composed of two transverse multipoles.

Using Eq. II.2, the TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} modes composed of two different, transverse multipoles with m2>m1>0m_{2}>m_{1}>0 have a longitudinal electric field of the form:

Ez(r,θ,z)=Jm1(kr)g~m1cos(m1θϕm1)+Jm2(kr)g~m2cos(m2θϕm2).E_{z}(r,\theta,z)=J_{m_{1}}\left(kr\right)\tilde{g}_{m_{1}}\cos{(m_{1}\theta-\phi_{m_{1}})}+\\ J_{m_{2}}\left(kr\right)\tilde{g}_{m_{2}}\cos{(m_{2}\theta-\phi_{m_{2}})}. (II.11)

Without loss of generality, the corresponding set of azimuthally modulated cavity shapes can be determined from Eq. II.3 with ϕm1=0\phi_{m_{1}}=0:

Jm1(kr0(η)(θ))g~m1cosm1θ+Jm2(kr0(η)(θ))g~m2cos(m2θϕm2)=0.J_{m_{1}}\left(kr_{0}^{(\eta)}(\theta)\right)\tilde{g}_{m_{1}}\cos{m_{1}\theta}+\\ J_{m_{2}}\left(kr_{0}^{(\eta)}(\theta)\right)\tilde{g}_{m_{2}}\cos{(m_{2}\theta-\phi_{m_{2}})}=0. (II.12)

The cross-sections that solve Eq. II.12 and support TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} modes require further consideration compared to those that support TM{0,m1}η0{}_{\{0,m_{1}\}\eta 0} modes for four interlinked reasons:

  • Solutions do not necessarily have an m1m_{1}-fold symmetry but instead a rotational symmetry that varies depending upon the values of m1m_{1}, m2m_{2} and ϕm2\phi_{m_{2}}. As a result, η\eta has a more specific definition for TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} modes.

  • A practical RF cavity must have r0(η)(θ)>0r_{0}^{(\eta)}(\theta)>0, however, r0(η)(θ)=0r_{0}^{(\eta)}(\theta)=0 is a valid solution to Eq. II.12 for all m1m_{1} and m2m_{2}. We therefore define a TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} mode as forbidden if r0(η)(θ)=0r_{0}^{(\eta)}(\theta)=0 at any angle θ\theta.

  • Solutions are not necessarily bounded within the interval r=[jm2(x1)r=[j_{m_{2}(x-1)}, jm2x]/kj_{m_{2}x}]/k due to both terms in Eq. II.12 having differing orders of cosine dependence.

  • A practical RF cavity must be closed with r(η)(0)=r(η)(2π)r^{(\eta)}(0)=r^{(\eta)}(2\pi), however, solutions of particular m1m_{1}, m2m_{2} and ϕm2\phi_{m_{2}} do not satisfy this condition. We define such TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} modes as spiral.

Appendix A derives why certain modes are forbidden or spiral. Section II.4.1 presents an example of a forbidden mode and Sec. II.4.2 an example of a spiral mode.

TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} modes can also be conditional whereby the cross-section is discontinuous and a hybrid solution needs be considered if the ratio of the transverse multipolar coefficient of order m1m_{1} to the transverse multipolar coefficient of order m2m_{2} (or vice versa) exceeds a critical value. A TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} mode will be conditional if, for any θ=θ0\theta=\theta_{0}, there is more than one root to the m1thm_{1}^{\textrm{th}} order Bessel function within the [jm2(x1),jm2x]/k[j_{m_{2}(x-1)},j_{m_{2}x}]/k interval that the r0(η)(θ0)r_{0}^{(\eta)}(\theta_{0}) solution exists in.

II.4.1 Example: Modes with a Quadrupolar and an Octupolar Component

Refer to caption
(a) The cavity shapes, r0(η)(θ)r_{0}^{(\eta)}(\theta), that support the η\eta = 1, 2, and 3 TM{2,4}η0 modes as black, blue, and cyan lines respectively.
Refer to caption
(b) ±J2(kr)\pm J_{2}(kr) and ±5J4(kr)\pm 5J_{4}(kr) plotted against rr. The η\eta = 1, 2, and 3 solutions where the J2(kr)cos2θJ_{2}(kr)\cos 2\theta and 5J4(kr)cos4θ-5J_{4}(kr)\cos 4\theta functions intersect for all θ\theta are plotted as black, blue, and cyan lines.
Figure 4: 3 GHz TM{2,4}η0 modes with g~4/g~2=5\tilde{g}_{4}/\tilde{g}_{2}=5, ϕ4=0\phi_{4}=0.

To illustrate a forbidden mode, consider the η\eta = 1, 2, and 3 cross-sections that support 3 GHz TM{2,4}η0 modes with g~4/g~2\tilde{g}_{4}/\tilde{g}_{2} = 5 and ϕm2=0\phi_{m_{2}}=0. Numerically solving Eq. II.12 with these parameters returns the cross-sections plotted in Fig. 4a. Figure 4b plots the two Bessel terms for maximum and minimum amplitude and the η\eta = 1, 2, and 3 solutions. It shows that each solution crosses one interval and so the η=1\eta=1 solution forbidden. Additionally, because there is only a single root to the 2nd{}^{\textrm{nd}} order Bessel function within each [j4(x1),j4x]/k[j_{4(x-1)},j_{4x}]/k interval, all TM{2,4}η0 modes are unconditional and each solution bounded between [j4(η2),j4η]/k[j_{4(\eta-2)},j_{4\eta}]/k.

II.4.2 Example: Modes with a Dipolar and Sextupolar Component

Figure 5 shows an example of a spiral mode by plotting the r0(η)(θ)r_{0}^{(\eta)}(\theta) solutions in the range r[0,15]r\approx[0,15] cm that support 3 GHz TM{1,3}η0 modes with g~3/g~1\tilde{g}_{3}/\tilde{g}_{1} = 1 and ϕ3=0.3\phi_{3}=0.3. The solutions form a single, continuous, spiralling line which differs from the discrete, closed solutions formed by unconditional solutions of distinct η\eta in previous examples. It is evident that r0(η)(0)r0(η)(2π)r_{0}^{(\eta)}(0)\neq r_{0}^{(\eta)}(2\pi) and therefore this is a spiral mode.

Refer to caption
Figure 5: The r(η)(θ)r^{(\eta)}(\theta) solutions that support the 3 GHz TM{1,3}η0 modes with g~3/g~1=1\tilde{g}_{3}/\tilde{g}_{1}=1 and ϕ3=0.3\phi_{3}=0.3 is plotted in black in the range r[0,15]r\approx[0,15] cm.

II.5 Modes with Three Or More Different Multipolar Components

Equation II.3 can also be numerically solved to determine the azimuthally modulated cross-sections that support TM{M}η0 modes with three or more multipolar components. General mathematical analysis of the properties of these modes and the corresponding cross-sections that support them is challenging. The concepts of certain modes being conditional, forbidden or spiral, however, generalises to TM{M}η0 modes with any number multipolar content and provides rationale for understanding the numerical solutions to Eq. II.3 as well as helping to inform the scope and limitation of a general azimuthally modulated RF cavity design.

III CST Simulations

Refer to caption
(a)
Refer to caption
(b)
Refer to caption
(c)
Refer to caption
(d)
Refer to caption
(e)
Figure 6: EzE_{z} in cavities operating in 3 GHz TM310, TM{0,3}η0 and hybrid TM{0,3}10-TM{0,3}30 modes. Red is a maximum in the field, blue a minimum and green is zero. The cavities are to scale: the radius of the circular pillbox is 10.15 cm.
Refer to caption
(a)
Refer to caption
(b)
Refer to caption
(c)
Refer to caption
(d)
Refer to caption
(e)
Refer to caption
(f)
Figure 7: The calculated multipolar coefficient, g~m\tilde{g}_{m}, is plotted against the distance from the centre, rr, with colour denoting the order, mm, for cavities operating in the TM310 and four different TM{0,3}η0 modes.
Refer to caption
(a)
Refer to caption
(b)
Refer to caption
(c)
Refer to caption
(d)
Refer to caption
(e)
Figure 8: Frequency spectra of the 40 lowest frequency TM modes for the 5 different cavity shapes that support the mode denoted in the subcaption. The red crosses represent the 3 GHz mode of interest.

Analysis of 3D electromagnetic simulations of azimuthally modulated RF cavities is presented here to confirm the validity of the theoretical work. Electric field distributions, Helmholtz decomposition results, and mode spectra are shown for: a pillbox cavity operating in a TM310 mode, for azimuthally modulated cavities with continuous cross-sections that support the TM{0,3}10, TM{0,3}20, and TM{0,3}30 modes with g~3/g~0=0.95\tilde{g}_{3}/\tilde{g}_{0}=0.95, and for an azimuthally modulated hybrid cavity that supports a hybrid TM{0,3}10-TM{0,3}30 mode with g~3/g~0=1.2\tilde{g}_{3}/\tilde{g}_{0}=1.2. All modes are normal with ϕ3=0\phi_{3}=0 and each of the cavities were designed with length 0.5 mm and such that the mode of interest resonates at 3 GHz.

To create the hybrid cavity, the cavity wall is extended from the r0(1)(θ)r_{0}^{(1)}(\theta) solution to the r0(3)(θ)r_{0}^{(3)}(\theta) solution at the angles where the η=1\eta=1 solution is no longer real. Although this creates a closed cavity, it introduces additional transverse multipoles into the mode because the boundary condition Ez(r,θ,z)=0E_{z}(r,\theta,z)=0 must also be satisfied where the cavity wall extends from the η=1\eta=1 to the η=3\eta=3 solution. The field is small in this region compared to the field at the centre, however, and so the additional multipoles are also small. Thus the hybrid mode is dominantly, but not solely, composed of monopolar and sextupolar components and the cavity will resonate close to, but not exactly at, the designed resonant frequency.

Figure 6 shows the EzE_{z} distribution of these different modes. The difference between the TM310 mode and TM{0,3}η0 modes is evident by comparing the subfigures: there is no longitudinal accelerating field at the centre of the circular pillbox cavity operating in the TM310 mode (Fig. LABEL:subfig:CSTF0) whereas there is in the case of the TM{0,3}η0 modes (Figs. LABEL:subfig:CSTF1-LABEL:subfig:CSTF4). The resonant frequency of each of the modes was calculated by CST as 3.000 GHz, except for the hybrid cavity which resonated at 3.004 GHz.

Figure 7 shows the multipolar content of each of the five fields calculated using the Helmholtz decomposition method. This method is detailed in Ref. [17] and involves exporting the longitudinal electric field along the surface of cylinders orientated along the cavity axis and then performing an FFT on the data to determine g~m\tilde{g}_{m}. To determine any dependence of these coefficients with radial distance, EzE_{z} is exported along 20 discretely formed cylinders of non-linearly spaced radii in the range [0.02, 0.95] cm. By normalising the results to g~3\tilde{g}_{3} in Fig. LABEL:subfig:CSTD0, it is clear that the TM310 mode in the circular pillbox only contains a sextupole component that is constant with radius. By normalising the results to g~0\tilde{g}_{0} in Figs. LABEL:subfig:CSTD1-LABEL:subfig:CSTD4 we find the calculated multipolar content to be as designed: for example, in Fig. LABEL:subfig:CSTD1, g~0=1\tilde{g}_{0}=1 for all radii and g~3=0.95\tilde{g}_{3}=0.95 for all radii beyond r0.03r\approx 0.03 cm. The reason for the sextupolar and octupolar components diverging randomly at small rr from the expected constant value is because the data must be divided by rmr^{m} to determine g~m\tilde{g}_{m}. Simulation errors arising from the finite accuracy of the mesh and numerical errors arising from the pseudo-cylinders being composed only of 360 distinct points are therefore amplified for smaller radii and larger mm. Accounting for this error, the multipoles are constant with radial distance for each cavity shape and thus simulation results agree with the radial Bessel dependence given by Eq. II.2.

The azimuthally modulated RF cavity shapes, r0(η)(θ)r_{0}^{(\eta)}(\theta), support the infinite number of modes that satisfy their boundary conditions. Figure 8 plots the frequency spectra of the 40 lowest frequency TM modes of the five different cavity shapes. The red crosses denote the 3 GHz mode of interest and any orthogonal degenerate modes of the same frequency. Figure LABEL:subfig:CSTO0 shows the TM310 mode is not the fundamental but the 7th{}^{\textrm{th}} lowest mode and that it is degenerate with the skew mode, as expected. This can be contrasted with the TM{0,3}10 modes in Fig. LABEL:subfig:CSTO1 and Fig. LABEL:subfig:CSTO4: not only are these modes fundamental and non-degenerate, but they also have a larger frequency separation. Additionally, while the frequency spectra of the TM{0,3}20 and TM{0,3}30 modes is similar in distribution to that of the circular pillbox and the modes are not fundamental, they are evidently non-degenerate with no same-order mode. The frequency spectra of the cavities is important because other modes may require consideration in a particle accelerator if they are excited, directly by the RF power supply or indirectly by a passing beam inducing wakefields, and this significantly interferes with beam dynamics. Any interfering modes may require damping by incorporating lower- and higher-order mode couplers into the design or could necessitate a complete redesign of the cavity.

IV Experimental Test of an RF Cavity that Simultaneously Accelerates Longitudinally and Focuses Transversely

Here in Sec. IV, we show that beam pipes and a dual-port power coupler can be incorporated into an azimuthally modulated RF cavity design whilst maintaining desired multipolar ratios. We also test a prototype in order to verify that the bead pull method can be used to measure the field of an azimuthally modulated cavity and accurately determine the ratio of multipolar terms with minimal error.

IV.1 Designing the Cavity

Refer to caption
Figure 9: EzE_{z} at the longitudinal centre of the designed RF cavity system, where blue is a minimum in the field, orange maximum, and green zero.

Figure 9 shows the E-field distribution of a critically-coupled, single-cell, azimuthally modulated RF cavity system designed to support a 3 GHz TM{0,2}20 mode with a quadrupole to monopole ratio of 5.041. Instead of using a single-port coupling system which would introduce a dipolar component into the field of the RF cavity, a dual-port coupling system was used in conjunction with a T-junction waveguide design to split the input power equally into the two waveguide arms. The dual-port coupler introduces an additional quadrupolar component into the mode. Helmholtz decompositions of simulations showed that by solving Eq. II.3 for the enclosed RF cavity shape that supports a 3 GHz TM{0,2}20 mode with g~2/g~0\tilde{g}_{2}/\tilde{g}_{0} = 4.032 and ϕ2=0\phi_{2}=0, and using this shape to create the prototype in Fig. 9 which includes the dual port coupler and holes at the positions of the poles, the resultant field had a quadrupole to monopole ratio of g~2/g~0\tilde{g}_{2}/\tilde{g}_{0} = 5.041 and negligible contributions from higher order multipoles. The η=2\eta=2 mode was chosen over the η=1\eta=1 mode in order to give more measurement points to consider and compare.

The RF cavity was designed as two identical halves to be sealed together and was milled out of aluminium. Seven 10 mm diameter holes were drilled into the RF cavity to create holes with centres at the locations of the seven poles in the TM{0,2}20 mode. One half the RF cavity system is photographed in Fig. 10.

Refer to caption
Figure 10: Half the RF cavity system designed to support the TM{0,2}20 mode with quadrupolar component 5.041 times greater than the monopolar component.

IV.2 Characterisation of the RF Cavity System

Measurements of the prototype were taken using a Vector Network Analyser (VNA) connected to a matched waveguide adaptor secured to the top of the cavity waveguide port via coaxial cable. The apparatus was calibrated at the end of the coax, which excluded the matched waveguide adaptor from calibration. To ensure this does not impact results, two cases are compared in Fig. 11: the frequency response of shorting the calibrated coax, and of attaching the waveguide adaptor to the calibrated coax and clamping an aluminium plate to it. The maximum magnitude in the difference of the impedance measurements between the two cases is 0.2 Ω\Omega. This is of the order of 100 times smaller than the changes in impedance measured in the bead pull testing and that used for calculating Q-factors. In addition to this, measurements do not give any evidence for resonances in the waveguide adaptor and the external Q-factor does not change significantly between simulations without the waveguide adaptor and measurements with the waveguide adaptor. We thus conclude that the waveguide adaptor’s effect on measurements can be neglected.

Refer to caption
Figure 11: Impedance measurements of the calibrated coaxial cable shorted, and with the waveguide adaptor attached to the calibrated coax and shorted by clamping an aluminium plate to it.

The resonant frequency of the RF cavity system, f0f_{0}, and its intrinsic, Q0Q_{0}, external, QeQ_{e} and loaded, QLQ_{L}, Q-factors can be calculated from measurement of the variation in the S-parameter S11S_{11} with driving frequency and using:

β=Q0Qe=Q0QLQL=1S11(f=f0)1+S11(f=f0),\beta=\frac{Q_{0}}{Q_{e}}=\frac{Q_{0}-Q_{L}}{Q_{L}}=\frac{1-S_{11}(f=f_{0})}{1+S_{11}(f=f_{0})}, (IV.1)

where ff is the driving frequency and β\beta is the coupling coefficient. It should be noted that at resonance S11S_{11} is purely real.

Figure 12 is a Smith chart that shows the measured variation in S11S_{11} for driving frequencies in the range f0±1f_{0}\pm 1 MHz for five different simulation and experimental measurements. The Smith chart maps the impedance, ZZ, onto the S11S_{11} plane and provides a method for visualising β\beta [26].

The blue line of Fig. 12 represents the simulation output of S11S_{11} of the RF cavity system modelled as perfectly smooth copper; the electric field from this simulation was shown in Fig. 9. From this data, we calculate f0f_{0} = 2.99914 GHz, Q0Q_{0} = 20830, QeQ_{e} = 20050 and so the system is critically coupled as β1\beta\simeq 1. The RF cavity coupling ports were optimised for copper, while the prototype was milled out of aluminium to reduce cost. The red line in Fig. 12 shows the simulation output for perfectly smooth aluminium and the impact of the choice of material on β\beta: we calculate f0f_{0} = 2.99917 GHz, Q0Q_{0} = 16880 and β=0.831\beta=0.831. The yellow line represents the measurement of the prototype, and we calculate that f0=2.99914f_{0}=2.99914 GHz, Q0=9120Q_{0}=9120 and β=0.410\beta=0.410. The prototype is thus significantly undercoupled compared to the perfectly smooth simulation.

Refer to caption
Figure 12: Smith chart showing the variation in simulation output and experimental measurements of S11S_{11} in the range f0±1f_{0}\pm 1 MHz.

This discrepancy in β\beta is likely due to two effects. Firstly, the surface roughness due to machining of the aluminium which leads to increased resistive losses [27]. The RMS surface roughness was measured with a white light interferometer to be 0.33 μ\mum. The purple line shows the simulation output when this level of roughness is included - f0f_{0} = 2.99955 GHz, Q0Q_{0} = 15150 and β=0.750\beta=0.750. The second effect is RF leakage due to an imperfect seal between the two halves of the prototype. This can be modelled by uniformly separating the two cavity halves: the green dashed line shows that a 0.33 μ\mum surface roughness and 3.5 μ\mum uniform air gap between the two halves replicates the coupling coefficient of experimental measurements - f0f_{0} = 2.99955 GHz, Q0Q_{0} = 8490 and β=0.410\beta=0.410.

In reality the separation between the two halves of the cavity will not be uniform, however, this would be difficult to model. Simulations show the prototype is particularly sensitive to gaps near the coupling between the waveguide and the cavity and a separation on the order of microns is feasible given the distribution of the bolts used for tightening and the presence of deeper scratches on the aluminium surfaces that are bolted together.

IV.3 Experimental Method

Despite the RF cavity system being significantly undercoupled, the electric field of the RF cavity can be determined using the bead pull technique [28, 29, 30]. This method uses the result from cavity perturbation theory [31] that when a dielectric bead, small enough such that the EM fields are approximately constant over it, is introduced into an RF cavity at a position (r,θ,z)(r,\theta,z):

Δf|E0(r,θ,z)|2,\Delta f\propto|E_{0}(r,\theta,z)|^{2}, (IV.2)

where Δf\Delta f is the change in resonant frequency caused by introducing the perturbing object and E0(r,θ,z)E_{0}(r,\theta,z) is the magnitude of the electric field at that position. In our experiments, we used a spherical, plastic bead with a 2.2 mm diameter as the perturbing object.

The VNA cannot be used to measure directly the change in resonant frequency of the RF cavity caused by the perturbing object at a high enough sample rate. An indirect measurement is therefore required. Two possible parameters to use for this indirect measurement are the change in phase of S11S_{11} or |ΔZ||\Delta Z|, where |ΔZ|=|ZZresunpert||\Delta Z|=|Z-Z_{\textrm{res}}^{\textrm{unpert}}| and ZresunpertZ^{\textrm{unpert}}_{\textrm{res}} is the impedance of the unperturbed cavity at the resonant frequency. Figure 13 shows experimental measurements of the variation in tan(arg(S11))\tan{(\arg{(S_{11})})} (top) and |ΔZ||\Delta Z| (bottom) of the unperturbed cavity with ff. The dashed lines are linear fits between the respective parameter and ff, fitted to and extrapolated from small Δf\Delta f. The 2.2 mm diameter perturbing bead caused a maximum change in resonant frequency of |Δf||\Delta f| = 0.079 MHz and the inset of Fig. 13 zooms in on this region. It shows |ΔZ||\Delta Z| varies linearly with ff to within 0.3 %, compared to tan(arg(S11))\tan{(\arg{(S_{11})})} which diverges by up to 20 %.

Refer to caption
Figure 13: Measured variation in tan(arg(S11))\tan{(\arg{(S_{11})})} (top) and |ΔZ||\Delta Z| (bottom) with driving frequency. The insets zoom in on the region contained inside the black rectangle.

We can therefore determine the electric field at a position (r,θ,z)(r,\theta,z) in the RF cavity by measuring, at a fixed driving frequency, the change in impedance caused by the bead at that position and using the relationship:

|E0(r,θ,z)||ΔZ|.|E_{0}(r,\theta,z)|\propto\sqrt{|\Delta Z|}. (IV.3)

To carry out a bead pull measurement, we threaded kevlar wire through one of the holes before centering it using a digital motor system. The 2.2 mm diameter, dielectric bead knotted onto the wire was then pulled through the cavity at a speed of 3 mm/s using a longitudinal motor. The VNA was set up to continuously measure the impedance of the RF cavity at the driving frequency of 2.99914 GHz and sample rate of over 50 points per second. The change in impedance of the RF cavity was measured for the bead being pulled through all 7 holes in both longitudinal directions.

IV.4 Experimental Results

The data was exported and analysed in MATLAB [32]. Data collected when the bead was outside the beam pipes, that is |z|>38.1|z|>38.1 mm where zz is the longitudinal position relative to the centre of the RF cavity, was removed from the data set. A line of best fit between the first and last 50 data points was then used to remove the small linear drift in impedance over time we observed.

Refer to caption
Figure 14: Comparison of bead pull measurements of the electric field compared to simulation.

Figure 14 compares the longitudinal electric field measurement along each of the seven poles from a CST simulation of the cavity system to the experimental bead pull measurements, where we assume |E0|=|Ez||E_{0}|=|E_{z}| for the measurements. Simulation data is plotted as full lines and experimental data as dashed. The different colours correspond to measurements along the different poles: blue denotes the single central pole, red the two inner horizontal (xx) poles, green the two outer horizontal (xx) poles, and black the two vertical (yy) poles. To normalise the simulation data, all data points were divided by the maximum electric field in the yy pole. To normalise the experimental data, all data points were divided by the ratio of the mean value of the median experimental electric field measurements between |z|<1|z|<1 mm along each pole to the mean value of the maximum simulated electric field measurements along each pole. The similarity between experimental and simulation results indicate that the cavity is symmetric in the horizontal, vertical, and longitudinal directions, as expected.

Table 1: Comparison between simulation and experimental measurements of EzE_{z} through the different beam pipe locations.
Bead Pull Along Simulation Experimental
y Poles 1.000 1.004±0.008\pm 0.008
x Poles Inner 0.802 0.805±0.001\pm 0.001
x Poles Outer 0.501 0.506±0.002\pm 0.002
Central Pole 0.364 0.368±0.001\pm 0.001

Table 1 presents a quantitative comparison between the experimental and simulation results with the mean of the electric field measurement between |z|<1|z|<1 mm shown alongside the standard deviation of the measurements in that range. EzE_{z} is expected to be flat in this range with a standard deviation below three decimal places and the results show the experimental data is consistent with simulation. It should be noted that errors arising from inaccuracies aligning the wire to the centre of the holes or from divergences from the assumed linearity in Eq. IV.3 have not been included in this analysis.

The data collected thus support that the electric field of the RF cavity is as designed, within error. Therefore we have used successfully the presented theory, in conjunction with 3D simulations to determine the quadrupolar term introduced by the dual-port coupler, to design and measure the field of an azimuthally modulated RF cavity that supports a TM{0,2}20 mode with a quadrupolar to monopolar ratio of 5.041.

V Conclusion

This paper has derived the basis of the longitudinal electric fields in azimuthally modulated RF cavities and presented a systematic method for determining the cavity shape that will support TM{M}η0 modes. Examples of the RF cavity shapes that support TM{0,m1}η0{}_{\{0,m_{1}\}\eta 0} or TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} modes have been explicitly examined with rules derived for RF cavity shapes being conditional, forbidden or spiral depending upon the values of m1m_{1} and η\eta, and m1m_{1}, m2m_{2} and η\eta. The theoretical work has been supported by analysis of 3D simulations and experimental test of an RF cavity that supports a TM{0,2}20 mode.

The results of this paper provide a basis for the development of new designs of azimuthally modulated RF cavities that contain any magnitude and order of multipole components. These designs may have useful application in particle accelerators, particularly as they do not have degenerate same-order modes and as they can introduce or cancel wanted or unwanted multipolar components to a fine precision.

Future research can use the formalism and results presented in this paper to guide the development of approximate analytic models of cavity designs and understand how the variation of certain design parameters affects the cavity performance. This could reduce the need to run computationally expensive simulations. Additionally, the paper provides a basis for determining the exact effect of the Bessel dependence of the transverse deflecting fields on beam dynamics. Future studies could also investigate the introduction of longitudinal asymmetries alongside the azimuthal asymmetries in the RF cavity with the aim of enhancing the multipolar content of a field and creating additional parameters with which to optimise performance in aspects such as shunt impedance.

VI Acknowledgements

We would like to thank Graeme Burt for many useful discussions and particularly for his assistance in designing the coupler for the RF cavity system. We would also like to thank Shinji Machida, Jean-Baptiste Lagrange, David Kelliher, Chris Rogers and Chris Prior of the ISIS Intense Beams Group for their insightful discussions and feedback, as well as Manjit Dosanjh who has contributed greatly to the direction of the project and regarding the application of discussed work. This study and the experimental work has been funded by the Royal Society under RS\\backslashPhD\\backslash181200 and RGF\\backslashEA\\backslash18023, and the CI Core Grant ST/P002056/1 has funded travel.

Appendix A Forbidden and Spiral Modes

Here we discuss why certain TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} modes are forbidden, that is r(η)(θ)r^{(\eta)}(\theta) = 0 for some θ\theta value, or spiral, that is r(η)(0)r(η)(2π)r^{(\eta)}(0)\neq r^{(\eta)}(2\pi).

As our first step, we prove that these r0η(θ)r_{0}^{\eta}(\theta) solutions are not necessarily bounded within an interval r=[jm2(x1),jm2x]/kr=[j_{m_{2}(x-1)},j_{m_{2}x}]/k (xx\in\mathbb{Z}). These solutions must solve the boundary condition in Eq. II.12 that we replicate here:

Jm1(kr0(η)(θ))g~m1cosm1θ+Jm2(kr0(η)(θ))g~m2cos(m2θϕm2)=0.J_{m_{1}}\left(kr_{0}^{(\eta)}(\theta)\right)\tilde{g}_{m_{1}}\cos{m_{1}\theta}+\\ J_{m_{2}}\left(kr_{0}^{(\eta)}(\theta)\right)\tilde{g}_{m_{2}}\cos{(m_{2}\theta-\phi_{m_{2}})}=0. (A.1)

Firstly, consider Eq. A.1 for θ=0\theta=0: it follows that r0(η)(0)jm2y/kr_{0}^{(\eta)}(0)\neq j_{m_{2}y}/k (yy\in\mathbb{Z}). This means that all solutions r0(η)(0)r_{0}^{(\eta)}(0) lie within an interval r=[jm2(x1),jm2x]/kr=[j_{m_{2}(x-1)},j_{m_{2}x}]/k and not at the limits, or edges, of the interval. Next we consider the unique angles in the range [0,2π][0,2\pi], θq=(2q+1)π/2m1\theta_{q}=(2q+1)\pi/2m_{1} (q=0,1,,2m11/2q=0,1,\cdots,\lfloor 2m_{1}-1/2\rfloor), that eliminate the cosine term of order m1m_{1} such that Eq. A.1 becomes:

Jm2(kr0(η)(θq))g~m2cos(m2m1(2q+1)π2ϕm2)=0.J_{m_{2}}\left(kr_{0}^{(\eta)}(\theta_{q})\right)\tilde{g}_{m_{2}}\cos{\left(\frac{m_{2}}{m_{1}}(2q+1)\frac{\pi}{2}-\phi_{m_{2}}\right)}=0. (A.2)

This has two possible solutions whereby either the Bessel term of order m2m_{2} is zero or the cosine term is zero. We will firstly consider the cosine term to be non-zero, which forces:

kr0(η)(θq)=jm2y,kr_{0}^{(\eta)}(\theta_{q})=j_{m_{2}y}, (A.3)

to satisfy Eq. A.2. Equation A.3 thus states that if cos(m2θqϕm2)0\cos{(m_{2}\theta_{q}-\phi_{m_{2}})}\neq 0, r0(η)(θq)r_{0}^{(\eta)}(\theta_{q}) must lie at the limit of an interval r=[jm2(x1),jm2x]/kr=[j_{m_{2}(x-1)},j_{m_{2}x}]/k. Therefore the solution will cross the upper limit of the interval if the gradient is positive at θq\theta_{q}, whereas it will cross the lower limit if it is negative. Differentiating Eq. A.1 we find:

dr0(η)(θ)dθ=1kJm1(kr0(η)(θ))g~m1m1sinm1θ+Jm2(kr0(η)(θ))g~m2m2sin(m2θϕm2)Jm1(kr0(η)(θ))g~m1cosm1θ+Jm2(kr0(η)(θ))g~m2cos(m2θϕm2),\frac{dr_{0}^{(\eta)}(\theta)}{d\theta}=\frac{1}{k}\frac{J_{m_{1}}(kr_{0}^{(\eta)}(\theta))\tilde{g}_{m_{1}}m_{1}\sin{m_{1}\theta}+J_{m_{2}}(kr_{0}^{(\eta)}(\theta))\tilde{g}_{m_{2}}m_{2}\sin{(m_{2}\theta-\phi_{m_{2}})}}{J_{m_{1}}^{\prime}(kr_{0}^{(\eta)}(\theta))\tilde{g}_{m_{1}}\cos{m_{1}\theta}+J_{m_{2}}^{\prime}(kr_{0}^{(\eta)}(\theta))\tilde{g}_{m_{2}}\cos{(m_{2}\theta-\phi_{m_{2}})}}, (A.4)

which if cos(m2θqϕm2)0\cos{(m_{2}\theta_{q}-\phi_{m_{2}})}\neq 0 becomes:

dr0(η)(θ)dθ|θq=m1g~m1kg~m2Jm1(jm2y)(1)qJm2(jm2y)cosm2θq0.\frac{dr_{0}^{(\eta)}(\theta)}{d\theta}\bigg{|}_{\theta_{q}}=\frac{m_{1}\tilde{g}_{m_{1}}}{k\tilde{g}_{m_{2}}}\frac{J_{m_{1}}(j_{m_{2}y})(-1)^{q}}{J_{m_{2}}^{\prime}(j_{m_{2}y})\cos{m_{2}\theta_{q}}}\neq 0. (A.5)

Equation A.5 can be numerically evaluated to determine the sign of the gradient at all angles θq\theta_{q} at the limits of each interval jm2yj_{m_{2}y}. We conclude that if the number of times the gradient is positive does not equal the number of times the gradient is negative (that is the number of times the upper limit of an interval is crossed does not equal the total number of times the lower limit of an interval is crossed) then r(η)(0)r^{(\eta)}(0) will lie in a different interval to r(η)(2π)r^{(\eta)}(2\pi). This means r(η)(0)r(η)(2π)r^{(\eta)}(0)\neq r^{(\eta)}(2\pi) and the solution and mode are spiral. If, however, the number of times the upper limit is crossed equals the number of times the lower limit is crossed, then the solution will lie in the interval r=[jm2(xζ1),jm2(x+ζ2)]/kr=[j_{m_{2}(x-\zeta_{1})},j_{m_{2}(x+\zeta_{2})}]/k, where the ζi\zeta_{i} are numerically calculated integers. If ζ1x\zeta_{1}\geq x then the corresponding TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} mode will be forbidden as it will have r(η)(θ)=0r^{(\eta)}(\theta)=0 for some θ\theta.

Table 2: The η\eta values of the first non-forbidden TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} mode shown for the case ϕm2ϕm2(q)\phi_{m_{2}}\neq\phi_{m_{2}}^{(q)} (left of comma) and ϕm2=ϕm2(q)\phi_{m_{2}}=\phi_{m_{2}}^{(q)} (right of comma). \nexists denotes a spiral mode.
m2m_{2} m1m_{1} 1 2 3 4 5 6 7 8 9
2 2, 1 - - - - - - - -
3 \nexists, 1 3, 2 - - - - - - -
4 2, 1 2, 1 4, 3 - - - - - -
5 \nexists, 1 3, 2 \nexists, 2 5, 4 - - - - -
6 2, 1 \nexists, 1 2, 1 3, 2 6, 5 - - - -
7 \nexists, 1 3, 2 \nexists, 2 3, 2 \nexists, 3 7, 6 - - -
8 2, 1 2, 1 4, 3 2, 2 4, 3 4, 3 8, 7 - -
9 \nexists, 1 3, 2 \nexists, 1 3, 2 \nexists, 2 3, 2 \nexists, 4 9, 8 -
10 2, 1 \nexists, 1 4, 3 3, 2 2, 1 \nexists, 2 4, 3 5, 4 10, 9

We now come back to Eq. A.2 and allow the cosine term to be zero. This requires the phase to take one of the following qq-dependent values:

ϕm2=ϕm2(q)=π2(m2m1(2q+1)(2x+1)).\phi_{m_{2}}=\phi_{m_{2}}^{(q)}=\frac{\pi}{2}\left(\frac{m_{2}}{m_{1}}(2q+1)-(2x+1)\right). (A.6)

The effect of setting the phase term equal to ϕm2(q)\phi_{m_{2}}^{(q)} is that at the corresponding θq\theta_{q} angle, r0(η)(θq)r_{0}^{(\eta)}(\theta_{q}) does not lie on the limit of an interval and thus the interval is not crossed.

Table 3: The value of ϕm2(q)\phi^{(q)}_{m_{2}} for TM{m1,m2}η0{}_{\{m_{1},m_{2}\}\eta 0} modes. O denotes odd integer and N any integer.
m2m_{2} m1m_{1} 1 2 3 4 5 6 7 8 9
2 Oπ2\frac{\pi}{2} - - - - - - - -
3 Nπ\pi Oπ4\frac{\pi}{4} - - - - - - -
4 Oπ2\frac{\pi}{2} Oπ2\frac{\pi}{2} Oπ6\frac{\pi}{6} - - - - - -
5 Nπ\pi Oπ4\frac{\pi}{4} Nπ3\frac{\pi}{3} Oπ8\frac{\pi}{8} - - - - -
6 Oπ2\frac{\pi}{2} Nπ\pi Oπ2\frac{\pi}{2} Oπ4\frac{\pi}{4} Oπ10\frac{\pi}{10} - - - -
7 Nπ\pi Oπ4\frac{\pi}{4} Nπ3\frac{\pi}{3} Oπ8\frac{\pi}{8} Nπ5\frac{\pi}{5} Oπ12\frac{\pi}{12} - - -
8 Oπ2\frac{\pi}{2} Oπ2\frac{\pi}{2} Oπ6\frac{\pi}{6} Oπ2\frac{\pi}{2} Oπ10\frac{\pi}{10} Oπ6\frac{\pi}{6} Oπ14\frac{\pi}{14} - -
9 Nπ\pi Oπ4\frac{\pi}{4} Nπ\pi Oπ8\frac{\pi}{8} Nπ5\frac{\pi}{5} Oπ4\frac{\pi}{4} Nπ7\frac{\pi}{7} Oπ16\frac{\pi}{16} -
10 Oπ2\frac{\pi}{2} Nπ\pi Oπ6\frac{\pi}{6} Oπ4\frac{\pi}{4} Oπ2\frac{\pi}{2} Nπ3\frac{\pi}{3} Oπ14\frac{\pi}{14} Oπ8\frac{\pi}{8} Oπ18\frac{\pi}{18}

The work discussed here is brought together in Table 2 which, for given m1m_{1} and m2m_{2} values between 1 and 10, displays the first non-forbidden and non-spiral mode for ϕm2ϕm2(q)\phi_{m_{2}}\neq\phi^{(q)}_{m_{2}} (left of comma) and ϕm2=ϕm2(q)\phi_{m_{2}}=\phi^{(q)}_{m_{2}} (right of comma). These were numerically calculated using Eq. A.5. The values of ϕ(q)\phi^{(q)} for given m1m_{1} and m2m_{2}, as calculated by Eq. A.6, are displayed in Table 3.

References