The Lissajous-Kustaanheimo-Stiefel transformation

The Kustaanheimo-Stiefel transformation of the Kepler problem with a time-dependent perturbation converts it into a perturbed isotropic oscillator of 4-and-a-half degrees of freedom with additional constraint known as bilinear invariant. Appropriate action-angle variables for the constrained oscillator are required to apply canonical perturbation techniques in the perturbed problem. The Lissajous-Kustaanheimo-Stiefel (LKS) transformation is proposed, leading to the action-angle set which is free from singularities of the LCF variables earlier proposed by Zhao. One of the actions is the bilinear invariant, which allows the reduction back to the 3-and-a-half degrees of freedom. The transformation avoids any reference to the notion of the orbital plane, which allowed to obtain the angles properly defined not only for most of the circular or equatorial orbits, but also for the degenerate, rectilinear ellipses. The Lidov-Kozai problem is analyzed in terms of the LKS variables, which allow a direct study of stability for all equilibria except the circular equatorial and the polar radial orbits.

conversion of the Kepler problem into a harmonic oscillator has been known since Goursat (1889) and Levi-Civita (1906), but its extension to the three-dimensional problem took many decades of futile efforts. Finally, Kustaanheimo (1964) discovered that the way to the third dimension is not direct, but requires a detour through a constrained problem with four degrees of freedom. The KS transformation gained popularity in the matrix-vector formulation of Kustaanheimo and Stiefel (1965), but it is much easier to interpret and generalize in the language of quaternion algebra, very closely related with the original spinor formulation of Kustaanheimo (1964).
The most common use of the KS transformation is the numerical integration of perturbed elliptic motion, where many intricacies introduced by the additional degree of freedom can be ignored, although -as recently demonstrated by Roa et al (2016) -they can be quite useful in the assessment of a global integration error. Analytical perturbation methods for KS-transformed problems often follow the way indicated by Kustaanheimo and Stiefel (1965) and developed by Stiefel and Scheifele (1971): variation of arbitrary constants is applied to constant vector amplitudes of the KS coordinates and velocities. But those who want to benefit from the wealth of canonical formalism, require a set of action-angle variables of the regularized Kepler problem.
The first step in this direction can be found in the monograph by Stiefel and Scheifele (1971), where the symplectic polar coordinates are introduced for each separate degree of freedom. However, this approach does not account for degeneracy of the problem and thus is unfit for the averaging-based perturbation techniques. Moreover, no attempt was made to relate this set with the constraint known as the 'bilinear invariant', effectively reducing the system to 3 degrees of freedom. Both problems have been resolved by Zhao (2015), who proposed the 'LCF' variables (presumably named after Levi-Civita (1906) and Féjoz (2001)). In his approach, the motion in the KS variables is considered in an osculating 'Levi-Civita plane' ) as a two degrees of freedom problem. The third degree of freedom is added by the pair of action-angle variables orienting the plane. The redundant fourth degree is hidden in the definition of the Levi-Civita plane. The transformed Keplerian Hamiltonian depends on a single action variable, the other two actions being closely related to the angular momentum and its projection on the polar axis. Interestingly, the result is identical to the 'isoenergetic variables' found by Levi-Civita (1913) without regularization.
The LCF variables respect the degeneracy and bring the oscillations back to three degrees of freedom. Yet they possess a significant weakness: they are founded on the orientation of a plane determined by the angular momentum. Whenever the angular momentum vanishes (even temporarily), the angles become undetermined and equations of motion are singular. It turns out that seeking the proximity to the Delaunay variables, Zhao (2015) reintroduced the singularities of unregularized Kepler problem. Of course, some singularities are inevitable when the problem having spherical topology is mapped onto a torus of action-angle variables. But there is always some freedom in the choice of the singularities. Recalling that the main purpose of regularization is to allow the study of highly elliptic and rectilinear orbits, we find it worth an effort to construct the action-angle set that -unlike the LCF variables -is regular for this class of motions.
The main goal of the present work is to derive an alternative set of the actionangle variables which is not based upon the notion of an orbital plane (thus avoiding singularities when the orbit degenerates into a straight segment), and to test it on some well known astronomical problem. Section 2 introduces some preliminary concepts related to the KS coordinate transformation in the language of quaternions. We use its generalized form with an arbitrary 'defining vector' (Breiter and Langner, 2017), which helps to realize how the choice of the KS1 or KS3 convention allows or inhibits the use of the Levi-Civita plane in the construction of the action-angle sets. We have also benefited from the opportunity to polish and extend the geometrical interpretation given to the KS transformation by Saha (2009). In Section 3 we complement the KS coordinates with their conjugate momenta and provide the Hamiltonian function in the extended phase space as the departure point for further transformations. Section 4 builds the new action-angle set -the Lissajous- Kustaanheimo-Stiefel (LKS) variables. Two independent Lissajous transformations are followed by a linear Mathieu transformation. In Section 5 we show how to interpret the new variables not only in terms of the Lissajous ellipses, but also by the reference to the angular momentum and Laplace vectors of the Kepler problem. As an application, we discuss the classical , showing that stability of rectilinear orbits can be discussed directly in terms of the LKS variables, which has not been possible using the Delaunay or the LCF framework. Conclusions and future prospects are presented in the closing Section 7.

Quaternion algebra
Adhering to the convention used by Deprit et al (1994), we treat a quaternion v ∈ H as union of a scalar v 0 and a vector v, where the standard basis quaternions e 0 = (1, 0), e 1 = (0, e 1 ), e 2 = (0, e 2 ), e 3 = (0, e 3 ), have been defined by referring to the standard vector basis e j . Downgrading a 'pure quaternion' u = (0, u) ∈ H ′ to a vector u ∈ R 3 requires application of the projection operator ♮, whose action on any quaternion is As members of the Euclidean linear space R 4 , quaternions admit the sum and product-by-scalar rules as well as the scalar product to distinguish the norms in R 3 and R 4 . What makes four-vectors u and v the members of the quaternion algebra H over R, is the noncommutative quaternion product definition Note that H ′ is only a linear subspace, but not a subalgebra of H, because the quaternion product of two pure quaternions may have a nonzero scalar part. Two other useful operations to be defined are the quaternion conjugate allowing to write |v| 2 = vv, and the quaternion cross product always resulting in a pure quaternion, and reducing to a standard vector cross product if u 0 = v 0 = 0.

Generalized definition
In a recent paper (Breiter and Langner, 2017) we have proposed a generalized form of the standard KS transformation κ that uses an arbitrary 'defining vector' c with a unit norm and its respective pure quaternion c = (0, c), so that or, equivalently, links the KS variables quaternion v with the original Cartesian coordinates x ∈ R 3 , the latter being the vector part of a pure quaternion x = (0, x). A real, positive parameter α was introduced by Deprit et al (1994). They gave it the units of length, in order to allow the KS coordinates v j carry the same units as x j . We adhere to this convention for a while, although other options will be presented in Section 3. With |c| = c = 1, the KS transformation κ admits the well known property

Fibres
A non-injective nature of the KS map had been known since its origins, although only recently it has been considered more an advantage than a nuisance (Roa et al, 2016). Let us introduce a quaternion-valued function of angle φ with a number of useful properties, like and special values q(0) = e 0 , q(π/2) = c. The property (15) clearly implies that the KS transformation (8) is only homomorphic: given some representative KS quaternion v, all quaternions vq(φ ) belonging to the fibre parameterized by 0 φ < 2π, render the same vector x, i.e. κ(v) = κ(vq(φ )). Indeed, since (15) describes the rotation of vector c around the axis c, the left hand side of the equality can be substituted for c in eq. (8), and then v c v = (vq) c (vq), leading to the same x.
On the other hand, one might ask about the possibility of generating the fibre through the left multiplication by some quaternion function. Multiplying both sides of equality in (8) by a quaternion p from the left and its conjugate from the right we find the condition where the left-hand side remains equal to x = (0, x) only if p is a function that rotates vector x around itself. Thus, given some representative KS quaternion v, we can create the fibre p(φ )v parameterized by 0 φ < 2π, such that κ The action of the fibre generators (11) and (16) with the same argument φ is equivalent; direct computation demonstrates that A kind of symmetry between the defining vector c and the normalized Cartesian position vectorx implied by the form of q(φ ) and p(φ ) manifests also in the geometrical construction of the next section.

KS quaternions more geometrico
Given the transformation (9), let us polish the geometrical interpretation of the KS variables proposed by Saha (2009). Scalar multiplication of both sides of (9) by v leads to the basic relationx ·v = c·v, with two unit vectors c andx = x/r. This property, valid for any scalar part v 0 , means that all quaternions v belonging to the fibre of given Cartesian vector x, have vector parts v = v ♮ forming the same angle with c and x, hence lying in the symmetry plane of this pair of vectors. The plane, marked grey in Fig. 1, contains c +x, and is perpendicular to c −x. The norm |v| = √ rα is the upper bound on the length of v, so the dashed circle in Fig. 1 has the radius √ αr. Setting v 0 = 0 in equation (9), we see that x is a linear combination of c and v, so the three vectors must be coplanar. Accordingly, there are exactly two pure quaternions related with x: v s = (0, v s ), and is the 'Saha-Kustaanheimo-Stiefel (SKS)vector' of Breiter and Langner (2017). The entire fibre v can be generated from v s by the application of the generator The latter of the formulae is a parametric equation of an ellipse with the major semiaxis √ αr and the eccentricity (1 + c·x)/2. The ellipse is drawn with a solid line in The line segment with arrowheads at both ends in Fig. 1, complements the length of v to the full value √ αr, so its length can be interpreted as the absolute value of the scalar part of v.
Of course, the generic picture shown in Fig. 1 does not include the special case of the parallel x and c. Ifx = c, the fibre degenerates to the set of quaternions having vector part aligned with c, i.e.
with v s = (0, √ αr c). The eccentricity of the ellipse from Fig. 1 attains the value 1, so the ellipse degenerates into a straight segment. The shaded plane from the figure is no longer defined.
But ifx = −c, the situation is different. Observing that then the ellipse from Fig. 1 turns into a circle, we conclude that the fibre consists exclusively of the pure quaternions v = (0, √ αrf), wheref is any vector orthogonal to c.

Definitions
The skew-symmetric bilinear form J : H × H → R, introduced by Kustaanheimo (1964) and discussed in later works, can be generalized to an arbitrary defining vector c as The form plays a central role in the KS formulation of motion. If the motion can be restricted to the linear subspace of H spun by two basis quaternions u and w, such that J (u, w) = 0, the KS transformation reduces to the Levi-Civita transformation (Levi-Civita, 1906). For this reason, a two-dimensional subspace P of quaternions being the linear combinations of u and w, hence such that the form J on any two of them equals 0, was dubbed the 'Levi-Civita plane' by Stiefel and Scheifele (1971). We will use the name 'LC plane', although, strictly speaking, a (hyper-)plane in a space of dimension 4 should be spun by 3 basis quaternions.
Repeating the proof of Theorem 3 from Deprit et al (1994) in our generalized framework, we conclude that for any unitary quaternion u selected for the orthonormal basis of LC plane P, the second basis quaternion should be where f is any unitary vector orthogonal to the defining vector, i.e. f · c = 0, and ||f|| = 1. This meaning of the symbol f will be held throughout the text. The basis is indeed orthonormal, since u · w = 0, and |u| = |w| = 1, by the definition of u and f.

KS map of an LC plane
Once the LC plane has been defined, a question arises about the possibility of restricting the motion in KS variables to this subspace. But such restriction implies that the motion in 'physical' configuration space R 3 is planar. Let us prove that KS transformation maps any quaternion in the LC plane P onto a plane Π in 'physical' R 3 space. Using the basis of two orthonormal quaternions u and w = u(0, f), we consider their linear combination with real parameters ξ , η having the dimension of length. The KS transform of these v, belonging to P, is,by the definition (8), Thanks to the orthogonality of c and f, the product in the middle evaluates to so the vector part of κ(v) is a linear combination of two fixed, orthonormal vectors Since eq. (30) is actually a parametric equation of a plane in R 3 , we have demonstrated that the KS transformation of any LC plane P ⊂ H is a plane Π in R 3 (or in H ′ , depending on the context). The parameters ξ , η become parabolic coordinates on Π , i.e. the usual Levi-Civita variables.
The vector normal to the planex 3 =x 1 ×x 2 , can be most easily derived in terms of the quaternion cross product (7), with the first lines of (31) and (32) substituted. Thus, letting x j = (0,x j ), and b = (0, f × c), we find Thanks to the above equation, we can relate the choice of the LC plane basis to the orientation of Π . The cosine of the angle between the defining vector c and the normal to the plane of motionx 3 is given by the scalar product

KS1 and KS3 setup
Some particular choices of the first basis quaternion u deserve a special comment. Inspecting eq. (34), we notice three obvious cases leading to c positioned in the plane of motion: a pure scalar u = ±(1, 0), or pure quaternions: u = (0, ±f), and u = (0, ±c). The basis vectorsx 1 , resulting from eq. (31), are c, −c, and c, respectively. The last case, i.e. u = (0, c), has been the most common choice in celestial mechanics since the first paper of Kustaanheimo (1964). It allows the most direct identification of the LC plane with the plane of motion, both spanned by the same vectors (or pure quaternions) u ♮ =x 1 = c, and w ♮ =x 2 = c × f. The freedom of choice for f (any vector perpendicular to c) permits to identify c and −f with the basis vector e 1 and e 3 of the particular reference frame used to describe the planar (x 3 = 0) motion. For this reason, let us call the KS transformation based upon the paradigmatic choice c = e 1 , the KS1 transformation.
Remaining in the domain of pure quaternions, let us consider u = (0, u). Without loss of generality, we can assume u = cos ψc + sin ψf, with 0 ψ π. Then, according to eq. (34), we have c ·x 3 = sin 2ψ, so an appropriate choice of the parameter ψ may lead to any orientation of the orbital plane with respect to c. In particular, the defining vector will coincide withx 3 when ψ = π/2. The LC plane spanned by the basis quaternions is mapped onto the plane of motion Π with basis vectorsx 1 = f, andx 2 = c × fboth orthogonal to c. Thus the choice of c = e 3 , and f = e 1 leads to the KS3 transformation, which may look less attractive than KS1, with its LC plane no longer consisting of pure quaternions. Indeed, it is not practiced in celestial mechanics, save for two exceptions known to the authors (Saha, 2009;Breiter and Langner, 2017). In physics, however, the KS3 transformation is common at least since 1970's (e.g. Duru and Kleinert, 1979;Cordani, 2003;Díaz et al, 2010;Egea et al, 2011;van der Meer et al, 2016); there are good reasons for this, but they come out only in the context of dynamics and symmetries of a perturbed Kepler (or Coulomb) problem.

Canonical KS variables in the extended phase space
In contrast to earlier works, let us consider from the onset a canonical problem in the extended phase space (x * , x, X * , X), with a Hamiltonian where the Keplerian term depends on the Cartesian coordinates x, their conjugate momenta X and the gravitational parameter µ. The time-dependent perturbation R(t, x, X) is converted into a conservative term by substituting a formal, time-like coordinate x * for physical time t. The fact that x * (t) = t is a direct consequence of the way its conjugate momentum X * appears in equation (36), becausė and an appropriate choice of the arbitrary constant leads to the identity map of t on x * . The momentum X * itself evolves according tȯ counterbalancing the variations of energy in nonconservative problems, or staying constant in the conservative case.
If the same problem is to be handled canonically in terms of the KS coordinates, their conjugate momenta V are implicitly defined through In this transformation we postulate to secure and the identities x * = v * , X * = V * , is known to be weakly canonical (i.e. canonical only on a specific manifold (41)).
Let us now generalize the transformation by allowing that α, instead of being a fixed parameter, is an arbitrary differentiable function of the energy-like momentum X * or V * . A similar assumption was recently made for the Levi-Civita transformation (Breiter and Langner, 2018). The necessity, or at least usefulness of such a generalization will not be clear until the action-angle variables are introduced, but it has to be introduced already at this stage. If the generalized transformation is to be kept weakly canonical, while maintaining the direct relation V * = X * , the new formal time-like variable v * should differ from x * . 1 Then, the transformation conserves the Pfaffian one-form up to the total differential of a primitive function Q (Arnold et al, 1997) and with a necessary condition of J (v, V) = 0. It is worth noting, that with an elementary choice of α = k 1 (X * ) k 2 , the expression in the square bracket evaluates to a single number k 2 , and the multiplier k 1 has no influence on canonicity, hence it can be selected at will -for example to conserve (or to modify) the units of time and length.
In order to convert the Hamiltonian (36) into a perturbed harmonic oscillator, the independent variable has to be changed from the physical time t to the Sundmann time τ, related by dτ involving α as a function of V * or X * . Transforming the Hamiltonian (36) by the composition of λ and t → τ, we obtain where R ⋆ is the perturbation Hamiltonian R(x * , x, X) expressed in terms of the extended KS coordinates and momenta, and will have a constant value only if the original Hamiltonian H does not depend on time. Let us emphasize, that now every function of x, when expressed in terms of v, will generally depend on the energy-like momentum V * as well, due to its presence in α. Noteworthy, the simplification to ω = 1 can be achieved by assuming α = √ 8V * , which makes the Sundmann time dimensionless. Choosing α = µ/V * , is roughly equivalent to α = 2a, in terms of the Keplerian orbit semi-axis a.

LLC and LCF variables
When the motion is planar, with x 3 = 0, an appropriate action-angle set l, g, L, G can be created using a combination of the Levi-Civita (Levi-Civita, 1906) and Lissajous transformations (Deprit and Williams, 1991). This approach has been recently revisited and discussed by Breiter and Langner (2018). Viewed as the special case of the KS framework, the Lissajous-Levi-Civita (LLC) variables are inherently attached to the KS1 setup, requiring the identification of the LC plane P ⊂ H ′ of pure quaternions and the plane of motion Π ⊂ R 3 . A generalization of this approach was proposed by Zhao (2015). Roughly speaking, he attached the LC plane to an osculating plane of motion Π , and added the third action-angle pair h, H orienting Π in R 3 by direct analogy with the third Delaunay pair: longitude of the ascending node, and projection of the angular momentum on the axisx 3 . As noted by the author, this approach has the same drawbacks as in the Dalunay set -in particular, the singularity when the orbit in physical space is rectilinear, thus having no unique orbital plane.

Intermediate set
The starting point for the new set of variables we would like to propose is completely different than in Zhao (2015). First, we choose the KS3 framework, assuming the defining vector c = e 3 . Then, we select two subspaces of H: P 03 with the basis e 0 , e 3 , and P 12 spanned by e 1 and e 2 . None of them is a Levi-Civita plane, because in the KS3 framework Thus, even for the planar case, we do not restrict motion to an invariant plane P, but merely project v on two orthogonal subspaces. The orthogonality is readily checked by On each plane, with (i, j) = (0, 3), or (i, j) = (1, 2), we perform the Lissajous transformation of Deprit (1991) Similarly to Breiter and Langner (2018), we allow ω > 0 to be a function of V * , as given by equation (51) -both directly, and through α. This requires a new time-like variable s to be different from v * , while retaining its conjugate S = V * . Only then, the 1-forms are conserved up to the total differential L 03 dl 03 + G 03 dg 03 + L 12 dl 12 + G 12 dg 12 with and where v · V = L 2 03 − G 2 03 sin 2l 03 + L 2 12 − G 2 12 sin 2l 12 .
The Hamiltonian function (48) is converted into the sum of and of the perturbation P expressed in terms of the Lissajous variables. This transformation is merely an intermediate step, but before the final move let us inspect the meaning and properties of the variables in the Kepler problem defined by K ′ 0 = 0. As a generic example we take a heliocentric orbit in physical phase space with the following Keplerian elements: major semi-axis a = 10au, eccentricity e = 0.5, inclination I = 10 • , argument of perihelion ω o = 60 • , longitude of the ascending node Ω = 10 • , and the initial true anomaly f = 60 • . From these elements we compute first the position x(0) and momentum X(0), and then the representative KS3 quaternions v(0) and V(0) -an SKS vector given by equation (19), and its conjugate momentum defined by equation (40), both with c = e 3 . These initial conditions are labeled with black dots in Fig. 2a. The ellipses described in the (v 0 , v 3 ) and (v 1 , v 2 ) planes have different semi-axes and different eccentricities; however, both are traversed in the same direction -retrograde (clockwise) in the discussed example. The retrograde motion follows from the fact that G 03 = G 12 < 0 (the momenta are equal due to the postulate (41), where v ∧V · e 3 = (G 03 − G 12 )/2). The constant angles g 03 and g 12 , measured counterclockwise, position the ellipses in the coordinate planes. The initial angles l 03 and l 12 are marked according to the geometrical construction similar to that of the eccentric anomaly. Comparing our Fig. 2 with Fig. 1 of Deprit (1991), the readers may note the reverse direction of the l i j angle. The difference comes from the fact that Deprit (1991) assumed G > 0, i.e. the prograde (counterclockwise) motion along the Lissajous ellipse. Yet, regardless of the sign of G i j , equations of motion imply dl 03 /dτ = dl 12 /dτ = ω > 0.
Each Lissajous ellipse has the major semi-axis a i j and the minor semi-axis b i j defined by the two momenta and frequency The absolute value operator is necessary for G i j < 0, unless one adopts a convention of negative minor semi-axis for an ellipse traversed clockwise. Another point worth observing is the ambiguity in the choice of the l i j and g i j pair. Their values are determined from two possible sets of four equations linking quadratic forms of v i , v j ,V i ,V j with sine and cosine functions of the angles. Regardless of whether we use sin 2g i j , cos 2g i j , sin 2l i j , cos 2l i j , or sin (l i j + g i j ), cos (l i j + g i j ), sin (l i j − g i j ), cos (l i j − g i j ), the solution will always result in two pairs: (l i j , g i j ), and (l i j + π, g i j + π) -both giving the same values of the sine and cosine. 2 In other words, one of the two minor semi-axes in each of the ellipses in Fig. 2 can be chosen at will as the reference one.
Recalling the fibration property of the KS variables, we have plotted the ellipses obtained from the same Cartesian x(0) and X(0), but with the KS3 initial conditions v(0) and V(0) right-multiplied by q(π/2) = c = e 3 , according to equation (11) in the KS3 case. The results are displayed in Fig. 2b. Not only the initial conditions, abut the entire ellipses are rotated by 90 • in the (v 0 , v 3 ) plane, and by −90 • in the (v 1 , v 2 ) plane. The momenta L i j , G i j , and the angles l i j remain intact, compared to Fig. 2a.

Final transformation
Bearing in mind the example shown in Fig. 2, we can establish the final set of the LKS variables by defining four action-angle pairs l = 1 2 (l 12 + l 03 ) , with s and S retained unaffected. One may easily verify that (64) amounts to an elementary Mathieu transformation, thus the complete composition and Q is the pullback of 4r α(S) R(x * , x, X) by ζ . Expressing the Cartesian variables from the initial extended phase space in terms of the LKS variables, we first introduce six actions-dependent coefficients allowing a compact formulation of the expressions for coordinates +C 1 cos 2(g + λ ) + C 2 cos 2(g − λ )) , and momenta Finally, the 'time deputy' variable x * = t is linked with the formal time-like variable s through We have skipped the explicit expression of the KS variables, because it can be immediately obtained from the substitution of (64) into (54-57). Two features of the above expressions for x, X, and x * deserve special attention. First, none of them depends on γ, which means that any dynamical system primarily defined in terms of x, X, and time, conserves the value of Γ . Secondly, the expressions for the Cartesian coordinates and momenta in the extended phase space do not depend on the particular choice of α(S) and ω(S); the choice affects only the form of the Hamiltonian M .

LKS variables and orbital elements
Let us interpret the variables forming the LKS set -first the momenta, and then their conjugate angles -by showing their relation to the Keplerian elements or the Delaunay variables.

LKS momenta
Comparing equations (42) and (72) one immediately finds that when c = e 3 , so observing that J (v, V) = 0 is the fundamental assumption of the KS transformation since the time of Kustaanheimo (1964), there is no other choice than Γ = 0. Recalling the absence of its conjugate angle γ in the Hamiltonian, Γ = 0 is the integral of motion. The meaning of G becomes clear once we find the pull-back of the orbital angular momentum G o by ζ , obtaining Thus, setting Γ = 0, we find the momentum G to be twice the projection of the orbital angular momentum on the third axis (i.e. twice the Delaunay action H o ). Whenever the Hamiltonian admits the rotational symmetry around e 3 , the momentum G will be the first integral of the system. Proceeding to the momentum L, we have to distinguish the pure Kepler problem and the perturbed one. In the former case, we can set M 0 = 0 in equation (66), finding at Γ = 0. Moreover, in the pure Kepler problem, the momentum S can be expressed in terms of the major semi-axis a as S = µ/(2a), which justifies the direct link between the values of L and of the Delaunay action L o The two restrictive clauses of the previous sentence ('values' and 'pure Kepler') deserve comments. Equation (78) does not imply differential relations, because, for example, ∂ x/∂ L o 2∂ x/∂ L (c.f. Deprit and Williams, 1991). Moreover, the values of L and 2L o generally differ in a perturbed problem due to the fact that L o is always defined by H 0 alone, whereas the definition of LKS momentum L depends on the complete Hamiltonian H 0 + R through the value of S = X * (the latter fixed by the restriction to the manifold H = 0). Similar intricacies are met for the momentum Λ , which turns out to be related with the Laplace (eccentricity) vector e, or rather the Laplace-Runge-Lenz vector J = L o e, having the dimension of angular momentum. In the pure Kepler problem, substituting Γ = 0, we find Thus the momentum Λ has been identified as twice the projection of the Laplace-Runge-Lenz vector on the third axis, yet this equality, using the property 2SL 2 o = µ 2 , holds only in the pure Kepler problem. In the perturbed case, one should refer to the general definition of e in terms of the KS variables (Breiter and Langner, 2017).
Closing the discussion of the momenta, let us collect the bounds on their values: By the construction, the value of L = L 12 +L 03 must be nonnegative; but L = 0 implies the permanent location at the origin (x = X = 0), so we exclude it. The momenta Λ and G may be either positive or negative, but the above inequality guarantees that all coefficients in equations (67) are real.

LKS angles
As already mentioned, the angle γ is a cyclic variable, absent in the pullback of any Hamiltonian H by ζ . Actually, γ is the 'KS angle' parameterizing the the fibre of KS variables (v, V) mapped into the same point in the (x, X) phase space. Thus, unless we are interested in some topological stability issues (Roa et al, 2016), the angle can be ignored. The only fast angular variable is l. As expected, its values in the pure Kepler problem are equal to a half of the orbital eccentric anomaly E. Indeed, and both angles are equal to 0 at the pericentre. Once again, this direct relation does not survive the addition of the perturbation. Nevertheless, it also reveals the nature of equation (74) as a generalized Kepler's equation.
The two remaining angles are more unusual. A quick look at equations (76) and (79) might suggest that the role of g and λ in G o and J is similar. But if the norms of the vectors are evaluated, one finds The absence of g proves it to be some rotation angle; the presence of λ means that this angle plays a different role (and is somehow related with the eccentricity e).

More light is shed on this problem if we introduce the vectors
These are essentially the so-called Cartan or Pauli vectors (Cordani, 2003), except that we use the sign of N opposite to the usual convention. Both the vectors have the same norm M = N = L/4 = L o /2, and lie either in the plane perpendicular to orbit, or along a degenerate radial orbit direction. The angle θ they form depends on the eccentricity alone, because Obviously, θ is the upper bound for the angle θ ′ between the projections of the Cartan vectors on the coordinate plane (x 1 , x 2 ) Using equations (84), (85), and (87), one finds Let us make θ ′ an oriented angle by postulating that it is measured from N ′ to M ′ , counterclockwise. Then its sine is given by Thus we have identified the angle λ as the quarter of the angle between the projections of the Cartan vectors on the reference plane (x 1 , x 2 ), measured from N ′ to M ′ . Finding θ ′ from the eccentricity-dependent θ involves orbital inclination and the argument of pericentre, which means that λ is a function of e, I, and ω o . Interestingly, whenever the argument of pericentre ω o exists, the statement sin 4λ = 0 means cos ω o = 0. Thus, any λ = kπ/4 refers to ω o = π/2 or ω o = 3π/2.
Once we have interpreted λ , the meaning of g comes out of equations (84) and (85) This formula suggests that g is a half of the longitude of M m , or of −M m , depending on the sign of cos 2λ . Whichever the case, changing the value of g we perform a simultaneous rotation of both N ′ and M ′ by the same angle. Indirectly, it means the rotation of the orbital plane (if it exists) around the third axis, which makes g a relative of the ascending node longitude.

Special orbit types
Let us inspect how some specific orbit types are mapped onto the LKS variables. The discussion is restricted to the elliptic orbits (0 e 1) in the pure Kepler problem.
Setting λ = (2k + 1)π/4, k ∈ Z, leads to generic circular orbits with the inclination I = arccos(G/L), including circular polar orbits when G = 0. However, if |G| = L, then the first factor is null regardless of λ . This is the case of circular orbits in the 'equatorial plane' (x 1 , x 2 ): prograde for G = L, or retrograde for G = −L. The values of λ mentioned above well coincide with the interpretation from section 5.2. In circular orbits, the Cartan vectors N and M are collinear and opposite, thus the angle θ = π, and its projection θ ′ remains ±π as long as the orbit is not equatorial. Thus λ = θ ′ /4 = ±π/4, plus any multiple of (2π)/4.
Another explanation of the LKS variables for e = 0 can be given by inspecting the Lissajous ellipses in Fig. 2. The orbital distance r is the sum of ρ 2 03 = v 2 0 + v 2 3 and ρ 2 12 = v 2 1 + v 2 2 , both divided by α. In order to secure a constant r = (ρ 2 12 + ρ 2 03 )/α, it is not necessary that both ρ i j are constant; enough if they oscillate with the same amplitude and a phase shift of ±π/2. Equal amplitudes result from L 12 = L 03 (because G 12 = G 03 by Γ = 0), hence Λ = L 12 − L 03 = 0. The phase shift condition is given by l 12 − l 03 = 2λ = (2k + 1)π/2, which means the values of λ as above. The case of constant ρ i j , mentioned above, should be related with some special kind of a circular orbit. Indeed, since it needs L 12 = |G|/2 = L 03 , i.e. two circles of equal radii in Fig. 2, we obtain the circular equatorial orbits with Λ = 0 and |G| = L (prograde or retrograde, depending on the sign of G). Observe that due to the lack of distinct semi-axes in the two circles, the angles l i j , and g i j are undefined, and so are l, g, γ, and λ . But still one can use properly defined 'longitudes' l + g or l − g in the prograde, and retrograde cases, respectively -at least until some 'virtual singularities' appear (Henrard, 1974). In terms of the Cartan vectors, M = −N = G o , so M ′ = N ′ = 0, making the angles g and λ undetermined.

Radial orbits
Regardless of λ , it is satisfied by |Λ | = L, i.e. by polar radial orbits with J = (Λ /2) e 3 . For all other directions of the Laplace-Runge-Lenz vector, radial orbits need λ = kπ/2, where k ∈ Z; this time Λ can be arbitrary, with Λ = 0 indicating an equatorial radial orbit. In terms of the Cartan vectors, G o = 0 means N = M, so their angle θ = 0 is projected as θ ′ = 0 + 2kπ, which (divided by 4) gives the above values of λ . In terms of the Lissajous ellipses in (v 1 , v 2 ) and (v 0 , v 3 ) planes from Fig. 2, G = 0 means that both degenerate into straight segments. The motion along the segments must obey l 12 = l 03 + kπ, to guarantee that v 0 = v 1 = v 2 = v 3 = 0 at the same epoch. The direction of x(v) is determined by the difference of lengths of the two segments: equatorial orbits result if the segments have the same length, whereas polar orbits require that one of the segments collapses into a point. In the latter case, l and λ are undetermined, but l + λ = l 02 or l − λ = l 03 retain a well defined meaning for an appropriate sign of Λ . Problems with the definition of g i j due to the vanishing minor axes are only apparent, because they can be solved by an alternative definition: instead of 'position angle of the minor semi-axis', one can equally well say 'position angle of the major semi-axis minus π/2'.

Equatorial orbits
Since the Laplace-Runge-Lenz vector lies in the plane (x 1 , x 2 ) for the equatorial orbits, all they must have Λ = 0, whence C 1 = C 2 = √ L 2 − Λ 2 /2. Moreover, G 2 o = (G/2) 2 , which leads to the condition The case of |G| = L brings us back to the circular equatorial orbits, already discussed. Other values of G require λ = kπ/2, where k ∈ Z. These are the same values as in the case of radial orbits, which makes sense, because G = 0 should bring us to the radial equatorial orbit. For an elliptic (e 0) equatorial orbit, the Cartan vectors N and M may form different angles θ , but since they lie in a polar plane, the projection of these angle is always θ ′ = 0, exactly as in the radial orbit case -thus the same values of λ .
The two Lissajous ellipses in Fig. 2 must have the same semi-axes, and l 12 = l 03 + kπ. This is necessary to obtain v 2 1 + v 2 2 = v 2 0 + v 2 3 , which guarantees x 3 = 0 for all epochs, according to equation (9) in the KS3 setup.

Polar orbits
Polar orbits are generically indicated by the simple condition G = 0. It is only in the special cases where the angle λ comes into play: circular polar orbits (Λ = 0) need λ = (2k + 1)π/4, whereas radial polar orbits (|Λ | = L) are the ones where λ is undetermined. Since G = 0, both Lissajous ellipses degenerate into segments, but their lengths may be different, and the phase shift arbitrary.

Singularities
Inspecting specific types of orbits we met the situations, where λ and g become undetermined: circular equatorial orbits with |G| = L,Λ = 0 and rectilinear polar orbits with |Λ | = L, G = 0. These four points are the vertices of the square on the (G,Λ ) plane defined by the constraint |G| + |Λ | L. However, all four edges of the square leave the angles undetermined. This is related to the fact, that: a) L = G + Λ (upper right edge in Fig. 4) means L 03 = G 03 , i.e. prograde circular motion on (v 0 , v 3 ) plane with undetermined l 03 and g 03 (but l 03 + g 03 is well defined), b) L = −G + Λ (upper left edge in Fig. 4) means L 03 = −G 03 , i.e. retrograde circular motion on (v 0 , v 3 ) plane with undetermined l 03 and g 03 (but l 03 − g 03 is well defined), c) L = G − Λ (lower right edge in Fig. 4) means L 12 = G 12 , i.e. prograde circular motion on (v 1 , v 2 ) plane with undetermined l 12 and g 12 (but l 12 + g 12 is well defined), d) L = −G − Λ (lower left edge in Fig. 4) means L 12 = G 12 , i.e. retrograde circular motion on (v 1 , v 2 ) plane with undetermined l 12 and g 12 (but l 12 − g 12 is well defined).
The Keplerian orbits obtained by mapping the edges of the (G,Λ ) square onto J and G 0 or x and X, have e = sin I, and sin ω o = ±1. Thus the vertices in Fig. 4 are sin I = e = 0 (left and right) and sin I = e = 1 (top and bottom). Along the edges, half of the coefficients (67) does vanish, and one of the vanishing coefficients is always C 1 or C 2 , which implies that either M ′ or N ′ is a null vector, so the angles λ and g become undefined.
6 Application to the Lidov-Kozai problem

Derivation of the secular model
In order to test the LKS variables in a nontrivial astronomical problem, let us revisit the Lidov-Kozai resonance arising in the artificial satellites theory (Lidov, 1962) or asteroid dynamics (Kozai, 1962). In this already classical problem, the Keplerian motion of a small body (a satellite or an asteroid) around a central mass with the gravitational parameter µ (a planet or the Sun) is influenced by a distant perturber with the gravitational parameter µ ′ (the Sun or a planet, respectively). The origin of the reference frame is attached to the central mass, the plane (x 1 , x 2 ) coincides with the orbital plane of the perturber, and the third axis basis vector e 3 is directed along the angular momentum of the perturber. Further, let us assume that the perturber moves on a circular orbit with the mean motion n p , so its position vector is r p = a p cos n p t e 1 + a p sin n p t e 2 .
Compared to the small body, whose position vector is x, the perturber is distant, i.e. ||x||/||r p || = r/a p is small enough to approximate the perturbing function by the second degree Legendre polynomial term. Thus we obtain the problem with the Hamiltonian H from equation (36) with the perturbation The perturbation is time-dependent, so -after substituting (94) -we replace t by its formal twin x * , obtaining Choosing ω = 1, and α = √ 8X * = √ 8S, we apply the LKS transformation, setting Γ = 0, because we are not interested in the evolution of the KS angle γ. The resulting Hamiltonian (65) is with the Keplerian part For a while, the perturbation Q will be given in an intermediate form without the explicit substitution of the LKS variables into x and r, which leads to a relatively concise form where, according to equation (74), By the choice of α, the Sundman time τ is dimensionless and the unperturbed motion gives with all the remaining variables constant. Solving (101) we find l = τ + l 0 . The value of S is set to give M = 0, but ignoring the contribution of Q we may estimate that s ≈ τ/n, where n is the Keplerian mean motion. According to the standard Lie transform method (e.g. Ferraz-Mello, 2007), the mean variables can be introduced by a nearly canonical transformation that converts M into N = N 0 + Q ′ , with N 0 = M 0 and Q ′ being constant along the phase trajectory generated by N 0 . Up to the first order, the new perturbation Q ′ is simply the average of Q with respect to τ, assuming l = τ + l 0 and s = τ/n.
Since the perturber has been assumed distant, its mean motion n p is small compared to n and both frequencies can be treated as irrational; even if they are not, the resonance will occur in high degree harmonics with practically negligible amplitudes. In these circumstances, any product of sine or cosine of 2n p s = 2(n p /n)τ with a function which is either constant or 2π-periodic in τ, has the zero average. 3 Then Q ′ simplifies to Thus we obtain the first order approximation of the secular system where the mean variables should be given different symbols, but we adhere to a widespread habit of distinguishing the mean and the osculating variables by context. The following study of motion generated by N will refer only to the mean variables, so no confusion should occur. Both N and the classical secular Hamiltonian of the Lidov-Kozai problem share the same property: they are reduced to 1 degree of freedom. In our case it is the canonically conjugate pair (λ ,Λ ) instead of the usual Delaunay pair of the argument of pericentre and the angular momentum norm. All other momenta are constant and will be treated as parameters. However, there is a fundamental difference between our formulation and the classical approach: the equations of motion for λ and Λ are not singular for most of the radial orbits.

Secular motion and equilibria
Let us set B = 3µ p L 1024a p S 2 . (106) The equations of motion derived from (104) are Integral curves of this system are plotted in Fig. 3 for three values of G: 0.9L, 0.75L and 0. The phase plane has been clipped to −π λ π, because the reaming range of λ is a simple duplication of the plotted phase portrait. Referring to Table 1, one can check that a generic radial orbit does not introduce a singularity into equations (107). Indeed, G = 0, and λ = kπ/2 result in a well defined It means that a radial orbit is not en equilibrium, unless Λ = 0, which is exactly the case of a radial orbit in the equatorial plane. Observing that for G = 0 the points (λ = kπ/2,Λ = 0) are well defined local minima of N , we are able to state that radial orbits in the orbital plane of the perturber are stable 4 equilibria.The bottom panel of Figure 3 confirms this observation: the points (0, 0), (90 • , 0), and (−90 • , 0) are surrounded by closed, oval shape contours. Intersection of any of the integral curves plotted in the bottom panel with the vertical lines λ = 0, or λ = ±90 • marks a temporary passage through the radial orbit degeneracy. As far as the polar radial orbits (with |Λ | = L) are concerned, equations (107) become singular, but this singularity is purely geometrical. Such orbits should be located at the upper and lower edges of the bottom panel in Fig. 3, where λ is undetermined. But since the integral curves approaching the edges become parallel to them, one should expect that polar radial orbits are stable equilibria (which is actually the case, if the analysis is performed in terms of vectors G o and J, or simply observing that for G = 0 the Hamiltonian N has the local maxima at Λ = ±L regardless of the value of λ ).
Actually, The presence of Λ as a factor of the first of equations (107) means that for any value of |G| L, the equilibria exist at (λ = j π/4,Λ = 0), as seen in Fig. 3. For even j = 2k, the equilibria refer to equatorial orbits with the eccentricity depending on G through e = 1 − (G/L) 2 . It is easy to check the they are the local minima of the Hamiltonian N , hence the equatorial orbits are stable. The circular equatorial case with |G| = L is problematic, because then the upper and lower limits of Λ merge, and in order to prove that these are actually the stable equilibria one has to resort to the analysis of G o and J vectors.  For odd j = (2k + 1), the equilibria are circular orbits with inclinations depending on G (equatorial if G = 0, prograde for G > 0 and retrograde when G < 0). Their stability depends on the ratio G/L. Unlike in the Delaunay chart, variational equations can be formulated directly in the phase plane of (λ ,Λ ), leading to the eigenvalues that are pure imaginary for (G/L) 2 > 3/5. Thus circular orbits are stable for inclinations below I 1 = arccos 3/5 ≈ 39 • .23 and above I 2 = arccos− 3/5 ≈ 140 • .77. At these critical values a bifurcation occurs: when (G/L) 2 < 3/5 circular orbits become unstable and two stable equlibria are created at (λ = (2k + 1) π/4,Λ = ±Λ c ) (see the middle panel of Fig. 3). Recall that, in general case of inclined, elliptic orbits, this value of λ means the argument of pericentre equal π/2 or 3π/2. The value of Λ c is the root of the first of equations (107) with Λ 0 and cos4λ = −1, i.e.
leading to These are the classical equilibria of the Lidov-Kozai problem -the only ones that can be analyzed directly in the Delaunay variables. In terms of the orbital elements, equation (111) is equivalent to the well known condition (Lidov, 1962) 1 − e 2 = 3(cos I) 2 5 .
The equilibria can be located in the middle panel of Fig. 3 at λ = ±45 • , Λ ≈ ±0.115 L. Figure 4 shows all the equilibria and their stability, with the dashed lines marking the unstable equilibrium. The edges of the (G,Λ ) square (upper and lower boundaries of the plots in Fig. 3) may not be attached to any of the values of λ , but we added the black dots at the corners to show the stable equilibria of the special type as the natural limits of the stable branches (solid lines).
It is not unusual that all action-angle-like variables with bounded momentum suffer from indeterminate angle at the boundary of its conjugate. The LKS variables cannot be different, even if many cases, problematic in the Delaunay chart, have been located inside the boundaries of Λ . For each value of G 0 (and |G| L) there exist integral curves passing through both the extremes: Λ = L − |G| and Λ = −L + |G|. In the top or the middle panel of Fig. 3 they are seen as four disjoint fragments; for example, the two open curves approaching the edges at λ ± 22 • .5 are the fragments of such an integral curve. There is no singularity in these orbits (see Sect. 5.3.5) other than the indeterminacy of longitude at the poles of a sphere (Deprit, 1994).

Conclusions
While commenting a transformation due to Fukushima, Deprit (1994) observed that it amounts to swapping singularities, and immediately added 'This remark is not meant to diminish its practical merit, quite the contrary.' The LKS variables we have presented also 'trade in singularities', but the rule of trade we propose is to spare the radial, rectilinear orbits (except the polar ones) at the expense of some other types. The exceptions include mostly a family of expendable, rank-and-file orbits with e = sin I and the lines of apsides perpendicular to the lines of nodes -the cases easily tractable without the KS regularization and unlikely to focus attention by becoming equilibria in typical problems of celestial mechanics. More we regret the problems caused by the polar radial, and equatorial circular orbits. Nevertheless, we believe that more has been gained than lost. Enough to enumerate the orbits that remain regular points in our chart: circular inclined, equatorial elliptic, and all radial (except the polar ones). Thanks to refraining from the use of orbital plane in their construction, the LKS variables are better fitted to study highly elliptic orbits than any other actionangle set known to the authors.
The analysis of the quadrupole Lidov-Kozai problem in Section 6 suggests that the LKS variables may be a handy tool in the analysis of the more problematic cases, like the eccentric, octupolar Lidov-Kozai problem. In the latter, the 'orbital flip' phenomenon occurs: changing the direction of motion with the passage through an equatorial rectilinear orbit phase (Lithwick and Naoz, 2011). Previous attempts to discuss this phenomenon in terms of the action-angle variables (e.g Sidorenko, 2018) faced the problems which may possibly be resolved with the newly presented parametrization.
Some of the readers might be sceptical about the unnecessary duplication of the phase space resulting from the LKS transformation ζ . Indeed, Fig. 3 covers the whole phase space of in terms of the argument of pericentre ω o , although it has been clipped to the half range of λ . This feature can be trivially removed by means of a symplectic transformation (λ ,Λ ) → (2λ ,Λ /2), and similarly for other conjugate pairs. We have not made this move in the present work for the sake of retaining the fundamental, angle-halving property of both the Levi-Civita and the Kustaanheimo-Stiefel transformations. Avoiding factor 2 in the arguments of sines and cosines in equations (69) and (72), we would introduce the factor 1 2 in the expressions for v and V. Let us mention that the restriction of the LKS transformation to (v, V) → (l, g, h, γ, L, G, H,Γ ) can be useful also in the studies of perturbed, four degrees of freedom oscillators, not necessarily resulting from the KS transformation (e.g. Crespo et al, 2015;van der Meer et al, 2016). In that case, unwanted spurious singularities may arise in course of the Birkhoff normalization, when the multiple of angle does not properly match the power of action.
Having based the LKS variables upon the KS3 variant of the KS transformation, we do not exclude a possibility of performing a similar construction within the KS1 framework. But then the G and Λ variables will be the projections of the angular momentum and the Laplace-Runge-Lenz vectors on the x 1 axis. With such a choice, the Lidov-Kozai Hamiltonian (104) would depend on both g and λ , with the rotation symmetry hidden deeply in some complicated function of all variables, instead of the obvious G = const.