1. Introduction
Parametric excitation of second order non-linear systems [
3,
4] has been the subject of intense investigations by means of different approaches [
5,
6], among which one has to also mention the method of normal forms. Ref. [
7] uses such method to investigate the dynamical stability of a non-linear system characterized by a nonlinear Mathieu-Duffing equation of motion [
8,
9], in case of parametric excitation [
10]. It was demonstrated that the intrinsic non-linear nature of the system induces a subharmonic region that was not reported for systems characterized by linear MH equations [
9,
11]. Normal modes analysis is also used in [
12] to describe dynamical stability for trapped ion systems.
Investigations of the stability of physical systems that undergo periodic parametric driving [
13], such as ions confined by oscillating electric fields (Paul traps) [
14], is a subject of vivid scientific interest. The behaviour of these systems can be better explained based on an approach that employs the pseudopotential approximation, which explains well trapping of charged particles within a quadratic potential and resonances that arise out of parametric excitation [
12]. In the pseudopotential approximation (for large values of the radiofrequency), both in the classical and quantum cases, the time periodic Hamilton function that characterizes an ion confined within an electrodynamic trap is replaced by an autonomous (time independent). Hamilton function. Furthermore, linear ion traps (LIT) that operate at two RF values represent a versatile tool to simultaneously confine two ion species of interest [
15]. Parametric excitation is also employed to carry out mass-selective removal of ions out of an electrodynamic trap [
16,
17,
18].
It is well established that a single trapped ion can be employed as a paradigm to test a choice of essential physical models realized as time-dependent quantum harmonic oscillators (QHO) [
13,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28,
29,
30]. A numerical modelling for a segmented Paul trap that exhibits four blade electrodes which generate the trapping field and two biasing rods, where the latter are employed to compensate micromotion [
31], is performed in Ref. [
32]. Such an approach delivers enhanced optical access for both fluorescence spectroscopy and individual ion addressing, a mandatory requirement to achieve ion crystals or perform quantum engineering and manipulation [
33] of trapped ion quantum states [
34,
35]. Applications span atomic clocks [
36,
37,
38], which are excellent tools to search for physics Beyond the Standard Model (BSM) [
39,
40,
41], or novel Quantum Technologies (QT) based on ultracold ions [
42,
43]. Multipole linear Paul traps (LPTs) are also versatile tools to investigate cold ion-atom collisions and bring new experimental evidence of the phenomena involved [
44,
45,
46,
47].
Ref. [
4] investigates Hamiltonian dynamics [
48] of a single QHO [
13,
49,
50] in presence of dissipation and parametric driving, while it establishes that a time-dependent parametric frequency incessantly drives the system out of its dynamical equilibrium state. In addition, fine tuning of the system parameters enables one to control the contention between dissipation and parametric driving, in a similar way in which Ref. [
51] investigates the competition between multipole anharmonicities of the trap electric potential and a periodic kicking term (laser field), thus driving the system from a regular motion regime towards chaotic dynamics [
52]. To achieve control of a QHO, a key issue lies in characterizing and suppressing the inherent noise [
53,
54]. The intrinsic noise spectrum of a trapped ion can be characterized and experimental demonstrations of QHO control are recently reported in literature [
27].
This paper is intended as a follow-up of the review paper recently published in Photonics [
2].
Section 2 starts from the analytical model introduced in [
1]. The paper investigates the issue of the solutions of the MH equation that explains ion dynamics within an electrodynamic ion trap (EIT). We show that such equation can be expressed as the equation of a (quantum) HO. Then, we suggest two classes of complex solutions in order to solve the MH equation whilst we separate the micromotion from the secular motion of the ion. It is well established that the solution of the MH equation can be expressed as a Hill series [
55,
56,
57,
58]. We demonstrate such solution can be cast as a Fourier series, whereas the MH equation of motion turns into the equation of a (quantum) HO. We introduce two methods to solve the MH equation with complex solutions. The coefficients in the Fourier series are determined based on the initial conditions. We infer a system of linear equations that enables one to determine the constants that we introduce in the Fourier series solution. In case of the second method suggested, for a particular solution of the MH equation, we derive a recursive relationship between the coefficients that we introduce. By using this method we reproduce the MH equation which determines the Floquet exponent as a function of these coefficients, which also depend on the values of the characteristic value (eigenvalue)
a and
q parameter in the MH equation, which are real-valued. Both approaches are original.
Section 3 applies the results previously derived in
Section 2 and supplies an analytical model to characterize ion dynamics as bound or unbound. By considering the residual interaction, we supply the solutions of the MH equation and the corresponding coefficients along with the value of
as functions of the Floquet exponent, which represents another original result. Finally, we demonstrate the MH equation can be regarded as a HO equation.
In
Section A.1 we establish that a trapped ion can be assimilated with a kicked-damped HO model. We supply the solution of the damped HO in three cases, depending on the value of the discriminant for the equation of motion we investigate while we also perform a qualitative discussion. The value of the discriminant shows how many roots the equation exhibits. In
Section B we analyse solutions of the MH equation for an ion confined within an electrodynamic (or radiofrequency - RF) trap, considered as a parametric oscillator (PO). Based on previous results [
2], we review the Hill method employed to determine the Floquet coefficient. We discuss the solutions of the MH equation for a trapped ion treated as a HO and emphasize they can be bounded or unbounded.
The results in the paper apply to electrodynamic traps employed in ultrahigh-resolution spectroscopy, mass spectrometry (MS) and in the domain of quantum technologies (QT) based on ultracold trapped ions [
59,
60,
61,
62], with an emphasize on quantum sensors and quantum metrology.
2. Solutions of the Mathieu-Hill Equation
An iconic paper that reports on an elaborate analysis and discussion of the transition of few ion crystals into ion clouds is Ref. [
1]. The paper demonstrates how the crystalline phase prevails until the Mathieu stability limit is attained, emphasizing that the corresponding transition can not be regarded as an order → chaos transition which occurs when a control parameter reaches a critical value. In addition, in the vicinity of this limit the system exhibits sensitivity to perturbations, which enables the experimenter to investigate crystal melting substantially forward the instability limit. The influence of the ion micromotion on ion crystal stability is also discussed in [
1], where numerical modelling is used to characterize dynamical stability and discriminate between four possible regimes. Representations of large Coulomb crystals composed of trapped ions are reported in [
44], where a Molecular Dynamics (MD) numerical modeling is employed to account for cold ion-atom elastic collisions that occur between Coulomb crystals and very light virtual atoms. A review of strongly coupled Coulomb systems consisting of ultracold trapped ions is performed in [
63], while 2D crystals in zig-zag configurations and structural transitions are discussed in [
64,
65,
66]. Recent approaches report direct observation of micromotion for a many body Coulomb crystal consisting of ultracold trapped ions, while novel techniques to measure the micromotion amplitude are implemented [
67]. A numerical modelling is employed to determine phase transitions in small-ion Coulomb crystals confined in an electrodynamic ion trap (EIT) [
68], where the phase transitions points are introduced as extremes of the interpolated functions employed. The novel conceptualization of fractal quasi-Coulomb crystals is introduced in [
69], in case of surface electrodynamic traps (SET) characterized by a Cantor Dust electrode configuration. New experimental evidence of orientational melting that arises in a 2D crystal consisting of up to 15 ions is reported in [
70].
An analytical and numerical modelling focused on dynamical stability in case of trapped ion systems is performed in [
71], by extending the model introduced in [
1,
72]. Numerical modelling illustrates that the associated dynamics is either quasiperiodic or periodic, depending on the initial conditions. The evolution in time for a system of two coupled oscillators levitated in an RF trap is described using an analytical model that depends on the chosen control parameters, while ion dynamics is shown to be integrable only for discrete values of the ratio between the axial and the radial frequencies of the ion secular motion. A qualitative discussion of system dynamical stability is then performed by employing the Morse theory. The results are further applied to many body strongly coupled Coulomb systems (trapped ions), locally investigated in the vicinity of equilibrium configurations that designate ordered structures. These equilibrium configurations exhibit a large interest for Coulomb ion crystals (atomic clocks) or to achieve quantum information processing (QIP).
For example, the Kibble-Zurek mechanism (KZM) generally describes non-equilibrium dynamics along with topological defect occurrence for physical systems that undergo second order phase transitions. A generalized KZM that explains defect emergence in trapped ion systems is discussed in [
73,
74], where the analytical models proposed enable investigation of KZ physics in case of inhomogeneous systems.
We consider the MH equation for an ion confined in an EIT [
1]
Eq.
1 is a linear differential equation with a periodic coefficient, as it is assumed that
f is a periodic function
, with the particular case
. Because we refer to a Paul (RF) trap,
is the dimensionless time [
1,
59], where
is the radiofrequency of the oscillating trapping voltage supplied between the electrodes. Moreover, the function
is real and continuous, of period
. Furthermore, we express the
f function as a Fourier series [
2,
55,
75,
76]
where
is a constant, whilst the
and
coefficients are considered as real
The Floquet theory [
58] explains that the general solution (which is a complex function) can be cast as [
1]
where the function
is associated to the slow (or secular) ion motion, whilst
represents a complex, periodical and twice differentiable function, that characterizes the micromotion [
2,
77]. In case of a MH equation, ion dynamics is stable as long as the Floquet exponent is a complex number
[
78,
79]. Hence, the solution is written as
which depends on the coefficients
and
, with
and
.
denotes the complex conjugate of the previously introduced
function. One can also expand
as a Fourier series
If
then eq. (
1) can be expressed as the equation of a (quantum) harmonic oscillator (HO) [
28,
29,
30,
80,
81]
where
is a known constant and the solution can be expressed as
with
constants that are determined from the initial conditions. Further on, we illustrate two different methods to solve the MH equation:
-
One chooses a solution expressed as
, where
is the complex conjugate of
so that
A double differentiation with respect to
yields:
We now revert to the eq. (
1) and introduce the expression of
supplied by eq. (
2)
Eq. (
13) is also verified for the complex conjugate
. Then, one uses eqs. (
11) and (
12) which are introduced in eq. (
13) to further derive
Eq. (
14) can also be cast as
One uses [
82,
83,
84,
85]
and finally, by performing the calculus in eq (
14) with
, one infers the following system of equations
Using this system of equations, one can determine the coefficients
, and
, respectively. Hence, one determines the solution
from eq. (
10) and implicitly the solution
x in eq. (
8). We demonstrate that an ion confined within an electrodynamic trap can be treated as a HO and derive the associated MH equation of motion.
As demonstrated in [
58], one chooses a solution of the form
. Hence,
We introduce the solution
in the MH equation (
1) and derive
By performing a Fourier series expansion [
86] one can write
where
are arbitrary constants and
. Consequently, eq. (
20) becomes
It can be noticed that the equation above contains terms such as
. One denotes
. As a result, eq. (
22) can be recast as
with
By introducing eqs. (
24) in eq. (
23), one obtains
which is amenable to
where
stands for the Kronecker delta function. One further denotes
Further on, we introduce
Then
, where
C is the column matrix introduced above. One further infers
which is exactly the MH equation that determines the Floquet exponent
as a function of the
coefficients (particularly as a function of the eigenvalue
a and
q parameter). It is assumed that
for
(Mathieu case) and
. In such case
As explained above, one also supposes that
and
. Then
which is exactly the classical MH equation. Based on eq. (
25) one derives
with
and
where
, and
are known coefficients. When
and
, the column matrix
C [described by eq. (
28)] can be recast as
where it is assumed that
is an initial condition (hypothesis). In such case, the function
[in eq. (
21)] can be expressed as
with
. Then, for
one finds
We consider the initial conditions
Under these circumstances, eq. (
36) is recast as
We return to eq. (
1) and express
f as
Then, one uses eq. (
38) and the residual interaction function
is
which we discuss below.
Discussion
When
, then
. In case of the HO [
2,
8,
9,
29]
and from eq. (
32) one infers
and we distinguish two distinct cases
i) with .
ii)
and the two solutions of the equations are
where the latter case is discarded. Then,
and
which stands for the equation of the HO for
, whilst
stands for the complex conjugate of
. Hence, the MH equation turns into the equation of a classical HO
It is demonstrated that one can use the time dependent variational principle (TDVP) [
87,
88,
89] and then express the Hamilton equations of motion for the unidimensional case, in order to derive the quantum equation of motion in the Husimi
representation for a boson enclosed in a nonlinear ion trap [
25,
90]. This equation of motion is fully consistent with the one that portrays a perturbed classical oscillator. Hence, a phase-space formulation of quantum mechanics,
e.g. the Husimi or Wigner representation, discloses the composition of the corresponding phase-space [
24] and establishes a correlation between classical and quantum dynamics for this class of mesoscopic systems [
91,
92].
3. Stability Diagram of the MH Equation
Tha standard (canonical) form of the Mathieu equation for an ion confined within an electrodynamic trap, characterized by the parameters
a and
q, is [
2,
55,
57,
76,
93,
94,
95]
We have demonstrated in [
2] this is a Sturm-Liouville system [
96] characterized by periodic boundary conditions, while the system exhibits solutions exclusively for particular values of the eigenvalue
a which depend upon
q. It is also established that other solutions exist for every pair
, but we consider only periodic solutions [
86].
In order to characterize ion dynamics, one of the possible approaches is to separate the ion micromotion from the secular motion [
1]. The MH equation can be recast as (see eq. (
1))
where
describes the residual interaction which accounts for the ion micromotion. In addition
so the micromotion term averages out during a period of the RF drive, which leads us to the case of an autonomous Hamilton function for the trapped ion. By separating the micromotion eq. (
46) changes accordingly
which stands for the equation of the HO [
9,
24,
25,
81,
97] of period
, with
. It can be observed that ion dynamics is decomposed into a slowly oscillating part (the secular motion) at frequency
(see eq.
38) and a fast parametric drive (the micromotion)
. The secular ion motion (or the macromotion) is characterized by the equation
where
is the Floquet exponent [
55,
58]. We now revert to eq. (
25) and choose
. Consequently
From eq. (
46) one derives
, which we multiply by
x. We consider the solution
and we employ eq. (
21). Hence
One denotes
where
stands for the complex conjugate of
. Because
We revert to eq. (
47) and denote
As demonstrated in [
2], by choosing
for
, one derives [
1]
By assuming
for
and
, for values
, and the micromotion term averages out (see [
1])
which is further amenable to
In case when
q is very small [
1,
2,
76]
and the even solution can be expressed as
which completely determines the MH equation for an ion confined in a Paul trap, while it stands as the main result of the paper. In Ref. [
1] the values used are
as the value of the Floquet exponent
was chosen small, and implicitly the characteristic value (eigenvalue)
a and parameter
q in the MH equation, both of them real-valued, as previously emphasized in
Section 1. Nevertheless, this hypothesis does not coincide with the values used in [
1].
It was demonstrated in [
2] that for ion trap operating points that lie within the first stability region of the MH equation, and for small values of the eigenvalue
a and
q parameter, the coefficients
rapidly converge to zero. Under such conditions, higher harmonics become insignificant and the fundamental frequency prevails. It was also demonstrated that the solution of the MH equation is the sum between a shift that corresponds to the fundamental frequency and a correction due to the occurrence of higher harmonics associated with ion dynamics. The problem of evaluating the maximum amplitude of stable oscillations under given initial conditions was approached. The maximum is characterized by upper bounds determined by the relative position of the electrodes. For optimum trap operating parameters, it is essential to consider all axes for which the equation of motion is of Mathieu type. A nonzero solution can be expressed as the combination of two linear dependent functions, which form a fundamental solution of the MH eq. Ion trajectories are investigated by building a family of ellipses, while the transfer matrix is supplied along with the maximum amplitude of stable oscillations [
2].
The frontiers of the stability diagrams are defined by the equations [
56,
57,
76,
93]
When
and
(case when
is approximately equal to
), the characteristic values of the frontiers of the stability region are described by the following power series approximation [
9,
57]
The analytical modeling performed in the paper is valid for all electrodynamic trap designs. It is is essential to establish whether ion trajectories are stable or unstable, depending on the experimental conditions, as well as the boundaries stable and unstable regions associated to the ion dynamics. It is established that these limits correspond to combinations of cosine and sine elliptic series, as shown in [
2,
9,
55,
58,
75,
76]. For such values solutions of the MH equations are periodic but not bound, while they determine the point at which the ion trajectory becomes unbound.
4. Discussion
The paper suggests particular solutions of the classical MH equation with complex solutions for ions confined in electrodynamic ion traps (EITs), by employing the Floquet theory [
55,
58]. It is well established that single trapped ions are an excellent tool to validate different essential physical models realized as time-dependent (quantum) harmonic oscillators (QHO) [
13,
22,
24,
25,
27,
81,
98,
99]. In addition, investigations of dynamical stability for systems subjected to periodic parametric driving, such as trapped ions, is an issue of large scientific interest [
12,
100,
101,
102]. The time evolution for such systems is better explained within an integrated approach based on the pseudopotential approximation and even on resonances induced by parametric excitation.
We demonstrate the MH equation for a trapped ion within an electrodynamic ion trap (EIT) can be cast as a Fourier series whose coefficients are determined by the analytical model we introduce, which turns it into the equation of a (quantum) HO. Thus, a system of linear equations is derived, that enables one to determine the constants in the Fourier series solution, which is an original result.
The second method suggested delivers the solution of the MH equation that describes trapped ion systems, while we derive a recursive relation that yields the Floquet coefficient as a function of the
coefficients in the series expansions used. Ion dynamics within an electrodynamic trap is shown to be consistent with the equation of motion for a classical HO. Finally, we apply these methods in
Section 3 for an electrodynamic trap and we extend the model in [
1]. Then, we derive the expression for
and the coefficients of the even solution as a function of the Floquet coefficient, for very low values of the
q parameter. Thus, we completely determine the solution of the MH equation and the frontiers of the stability diagram.
To summarize, the paper brings novel approaches to derive the solutions of the MH equation for systems of trapped ions, demonstrating they are equivalent with the dynamics of the classical HO. The HO with damping is discussed in
Section A, where the number of solutions depends on the sign of the discriminator associated to the 2nd order equation of motion. For a positive sign of the discriminator, we show the solution of the equation of motion describes non-periodic, damped oscillations. The parametric HO is discussed in
Section B, based on the Floquet theory. It is demonstrated solutions are linearly independent, while they also establish a fundamental system. Then, we shortly discuss the Hill method to determine the Floquet coefficient [
2,
55,
58,
103,
104] and supply the equation that defines the stability frontiers for the MH equation, followed by a discussion on the stability and instability intervals. A very short comment on EITs that operate under Standard Atmospheric Temperature and Pressure (SATP) conditions ends the paper.
Stability and instability regions for the MH equation with periodic coefficients are discussed in
Section B. One discriminates between bounded and unbounded ion dynamics. Stable and unstable regions are separated by curves characterized by
, where one of the solutions is bounded and periodic while the general solution remains unbounded [
2,
94].
The pseudopotential approxmation can be safely used when
, which means the time scale of the secular motion is considerably larger than the time scale associated to the micromotion. The main advantage of the pseudopotential approximation lies in the fact that it turns the dynamical system (trapped ion) from a nonlinear one into an an autonomous one, which greatly simplifies the problem under investigation. In case of the pseudopotential approximation for a Paul (RF) trap, the electric potential is described by a polynomial of rank 2. When considering the micromotion, stability regions result that are qualitatively similar to those of the Mathieu equation but with frontiers that are shifted depending on the anharmonicity parameter
, as shown in [
2] and in the literature [
105].
Applications of the methods used in the paper span MS, high-resolution spectroscopy and trapping of ion crystals, where the latter is of extreme importance for optical atomic clocks, ultrahigh resolution spectroscopy, quantum metrology and quantum information processing (QIP) with ultracold ions [
30,
34,
106,
107,
108].
The paper is both an add-on and a follow-up to the paper recently published in Photonics [
2].