Abstract
We study the integrability of 2D Hamiltonian systems \(H_\mu =\frac{1}{2}(p_1^2+p_2^2) + \omega (p_1q_2-p_2q_1) -\tfrac{\mu }{r}+ V(q_1,q_2)\), where \(r^2=q_1^2+q_2^2\), and potential \(V(q_1,q_2)\) is a homogeneous rational function of integer degree k. The main result states that under very general assumptions: \(\mu \omega \ne 0\), \(|k|>2\) and \(V(1,\mathrm {i})\ne 0\) or \(V(-1,\mathrm {i})\ne 0\), the system is not integrable. It was obtained by combining the Levi-Civita regularization, differential Galois methods, and the so-called coupling constant metamorphosis transformation. The proof that the regularized version of the problem is not integrable contains the most important theoretical results, which can be applied to study integrability of other problems.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Problem and results
The analysis of the integrability of nonlinear systems plays an important role in applied sciences. On the one hand, it allows understanding fundamental properties of mathematical models of various phenomena, systems, and devices and on the other hand it inspires the development of various branches of applied mathematics enabling to perform this analysis effectively. Diversity of systems and their specific behaviours cause that various methods to their analysis are applied. Among them, the most valuable are methods applicable to wide classes of systems and allowing for the formulation of simple integrability criteria.
Recently, one of such sources of integrability criteria uses the properties of the differential Galois theory of variational equations obtained by the linearization of the considered nonlinear system along a certain particular solution. This approach has appeared very effective for Hamiltonian systems in the flat phase space with the following Hamilton function
where \(\varvec{q}=(q_1,\ldots ,q_n)\), \(\varvec{p}=(p_1,\ldots ,p_n)\) and potential \(V(\varvec{q})\) which is a homogeneous function of coordinates of integer degree k. For such systems, the necessary integrability condition is expressible by means of eigenvalues of the Hessian matrix of potential \(V''(\varvec{d})\) calculated at specific points satisfying the condition \(V'(\varvec{d})=\varvec{d}\), Namely, all eigenvalues of \(V''(\varvec{d})\) at every \(\varvec{d}\) must belong to certain sets of rational numbers of the form depending on k as it was shown in [21, 22]. Application of this condition to a specific potential is very simple, namely it reduces to calculations of eigenvalues of \(V''(\varvec{d})\). Moreover, for polynomial potentials has appeared that some universal relations between eigenvalues of \(V''(\varvec{d})\) calculated at various \(\varvec{d}\) exist and they give additional conditions for the integrability [17, 27, 28]. All of these conditions made it possible to start the project of classification all integrable potentials [18].
A natural extension of the above-mentioned systems is given by Hamiltonians with velocity-dependent potentials, called also systems with gyroscopic or magnetic terms. In the case of two degrees of freedom they are given by the following Hamiltonian function
where the potential \( V(q_1,q_2) \) is, in general, an algebraic function. These types of systems are common in physics, astronomy, and geometry. Let us mention several examples.
The Hamiltonian function of the famous restricted circular three-body problem has exactly the form (2) with potential \(V(q_1,q_2)=V_{\mathrm {CR}}(q_1,q_2)\) given by the following formula
see, e.g. [3, 30, 31]. It describes the dynamics of a massless particle in the gravity field of two primaries, with masses \(1-\mu \) and \(\mu \), moving in circular orbits around their mass centre.
Motion of a satellite in the equatorial plane of a flattened planet is described by the Hamiltonian (2), where \(V(q_1, q_2)\) is usually given by a harmonic expansion of the gravity field of the planet, see, e.g. [11, 31].
The term linear in momenta in (2) can describe the influence of a constant magnetic field directed perpendicularly to the plane of a charged particle motion. Indeed, Hamiltonian
describes the motion of a charge in an electromagnetic field given by vector and scalar potentials \(\varvec{A}(q_1,q_2)=(A_1(q_1,q_2),A_2(q_1,q_2))\) and \(U(q_1,q_2) \), respectively. If \(\varvec{B}=(0,0,B)\), then vector potential is \(\varvec{A}=(-\omega q_2,\omega q_1)\), where \(\omega =B/2\) and Hamiltonian (4) takes the form (2) with \(V(q_1,q_2)=\tfrac{\omega ^2}{2}(q_1^2+q_2^2)\) \(+ U(q_1,q_2)\). Hamiltonians of this form appear in electromagnetic traps for charged particles where a combination of axial symmetric electrostatic field and constant magnetic fields is used, see, e.g. [32].
To apply the differential Galois theory which concerns linear differential equations, we have to know a particular solution of the investigated nonlinear system to make linearization along it. Efficiency of this approach to Hamiltonian systems with homogeneous potentials given in (1) is related to the presence of straight-line particular solutions directed along \(\varvec{d}\) satisfying \(V'(\varvec{d})=\varvec{d}\).
In general, there is not a general method for finding a non-equilibrium solution of a nonlinear system of differential equations. In particular, it is true for systems given by Hamiltonian (2). Only in exceptional cases, assuming a very special form of the potential \( V(q_1,q_2) \), one can find such a solution.
To overcome this difficulty, we use the following idea. First, we assume that the potential \( V(q_1,q_2) \) is rational and homogeneous function of degree k, and then we perform the classical Levi-Civita regularization, see the next section. Indeed, we obtain a system given by Hamiltonian
where \((u_1,u_2,v_1,v_2)\) are canonical coordinates, h is a complex parameter, and
This system has a family of particular solutions and using them we can prove the following theorem
Theorem 1
Assume that the system given by Hamiltonian (5) satisfies the following conditions:
-
1.
\( V(q_1,q_2) \) is a homogeneous rational function of degree \( k\in \mathbb {Z}\) and \( |k |>2 \),
-
2.
\( V(1,\mathrm {i})\ne 0 \), or \( V(-1,\mathrm {i})\ne 0\),
then, for an arbitrary h, it does not admit an additional first integral which is a rational function of variables \((u_1,u_2, v_1, v_2) \) and is functionally independent with \( K_0\).
Miraculously, in spite of the fact that for application of differential Galois methods a particular solution is needed, it seems that somehow we avoided this requirement. Moreover, it is really amazing that the addition of the gyroscopic term to the Hamiltonian ‘almost always’ causes its non-integrability. Finally, the necessary conditions for the integrability are surprisingly simple. However, in spite of these advantages, we cannot conclude the original system given by Hamiltonian (2) is not integrable. We explain this point later and show an example with potential satisfying assumptions of Theorem 1 for which Hamilton’s equations given by (2) are even super-integrable, but after regularization obtained Hamiltonian (5) does not possess an additional first integral.
However, the non-integrability of regularized Hamiltonian (5) implies the non-integrability of other system given by the following Hamiltonian function
where the potential \( V(q_1,q_2) \) is a rational homogeneous function of degree k, and \( r^2=q_1^2+q_2^2 \). Namely, we prove the following result.
Theorem 2
If the system given by Hamiltonian (6) satisfies the following conditions:
-
1.
\( \mu \omega \ne 0 \),
-
2.
\( V(q_1,q_2) \) is a homogeneous rational function of degree \( k\in \mathbb {Z}\) and \( |k |>2 \),
-
3.
\( V(1,\mathrm {i})\ne 0 \), or \( V(-1,\mathrm {i})\ne 0 \),
then it does not admit an additional first integral which is a rational function of variables \( (q_1,q_2, p_1, p_2,r,\mu ) \) and is functionally independent with \( H_\mu \).
The possibility of the translation of non-integrability of regularized Hamiltonian systems (5) into non-integrability of these given by (6) follows from the fact that both Hamiltonians (5) and (6) are related to each other by the so-called coupling constant metamorphosis transformation which preserves first integrals.
As we will see, the proof of this theorem is based on Theorem 1. The case when \( V(q_1,q_2) \) is a homogeneous function of degree \(k=2\) is also important. Let us recall that for the classical Hill problem [13], and its various generalization [2, 4, 25], the Hamiltonian has the form (6) with a homogeneous polynomial potential \( V(q_1,q_2) \) of degree \(k=2\). This case is excluded in our theorem. To study its integrability we developed other method, see [8].
As mentioned above, we apply methods of differential Galois theory. In the context of Hamiltonian systems, the fundamental result of this approach is formulated in the Morales–Ramis theorem.
Theorem 3
Assume that a complex Hamiltonian system with n degrees of freedom is integrable with complex meromorphic first integrals in the Liouville sense in a neighbourhood of a phase curve \( \Gamma \). Then, the identity component of the differential Galois group of the variational equations along \( \Gamma \) is Abelian.
This theorem gives the necessary integrability conditions, and it can be applied to a wide class of systems provided a non-equilibrium particular solution is known. Usually the Hamiltonian depends on certain parameters characterizing the system and forces acting on it. Typically, using this theorem one can prove non-integrability of the considered system for almost all values of parameters. The further integrability analysis can be restricted to only these exceptional values for which the necessary integrability conditions are fulfilled.
For details about the notions used in this theorem and its derivation, see the book of Morales Ruiz [21] or Audin [1]. A practical introduction to the subject and numerous applications of the above theorem can be found in [23] and the shortcut description with one detailed example in [16]. Theorem 3 is one of the strongest tools for proving non-integrability. It is enough to mention that the century question about integrability of the three-body problem was answered thanks to application of this theorem.
According to the requirement of the above theorem, we assume that our system is complex. That is, \( (q_1,q_2,p_1,p_2)\in \mathbb {C}^4\) and \( V(q_1,q_2) \) is algebraic over \( \mathbb {C}(q_1,q_2) \).
It is important to notice that the Hamiltonian (6) is not a meromorphic function because of the term \( \mu /\sqrt{q_1^2 +q_2^2} \). However, as it was explained in [6, 19], still we can apply the Morales–Ramis theory for systems with algebraic potentials.
The plan of the paper is the following. In Sect. 2, the application of the Levi-Civita regularization to Hamiltonian \(H_\mu \) (6) and the relation between first integrals in the original and the corresponding regularized Hamiltonian systems is described. In Sect. 3, variational equations of the regularized Hamiltonian system generated by \(K_0\) (5) are derived and written as two second-order reduced differential equations: one homogeneous which is the Gauss hypergeometric equation and the second non-homogeneous with the same homogeneous part. Conditions that identity components of differential Galois groups of these homogeneous and non-homogeneous differential equations are isomorphic to the additive subgroup of \(\mathrm {SL}(2,\mathbb {C})\) are formulated in Sect. 4. These conditions reduce to checking whether the linear combinations of certain primitives are algebraic. Application of this condition to considered variational equations is given in Sect. 5. For the convenience of the reader, in Appendix, we recall basic facts about local and global monodromy of the Gauss hypergeometric equation necessary to follow this section. In Sect. 6, proofs of Theorems 1 and 2 are presented. In Sect. 7, an example of super-integrable Hamiltonian system \(H_0\) for which the Levi-Civita regularization transforms into non-integrable Hamiltonian system satisfying conditions of Theorem 1 is shown.
2 Levi-Civita regularization
We will use vector notation to shorten some expressions. In this way, we denote \(\varvec{q}=[q_1,q_2]^T\) and \(\varvec{p}= [p_1, p_2]\).
At first, we perform the transformation \( (\varvec{q}, \varvec{p})\mapsto (\varvec{u},\varvec{v}) \) given by the following formulae
This coordinate change is symplectic, and thus it transforms Hamiltonian (6) to the following one
where \( W\left( u_1, u_2\right) = V\left( u_1^2-u_2^2,2u_1u_2\right) \). The corresponding equations of motion read
The crucial step in our considerations is the following time change \(t\mapsto \tau \), given by
It is equivalent to the multiplication of the above vector field (9) by \( 4(u_1^2+u_2^2) \). Thus, in the new time the system reads
where now overdot denotes the differentiation with respect to \( \tau \).
Let us introduce function
where
Then, we notice that the system (11) can be written as
Hence, on the level \( {\widetilde{K}}_\mu =h \) system (11) coincides with Hamiltonian vector field generated by Hamiltonian \( K_\mu \). The above construction explains the origin of Hamiltonian \( K_0 \) given by (5).
Let us assume that \(F(\varvec{q}, \varvec{p})\) is a first integral of the system generated by Hamiltonian (6). After transformation (7) we obtain the first integral \({\widetilde{F}}(\varvec{u},\varvec{v})\) of the transformed system (9), that is \(\{{\widetilde{F}},{\widetilde{K}}_\mu \}=0 \), where \(\{\cdot ,\cdot \}\) denotes the Poisson bracket. Function \({\widetilde{F}}\) is also a first integral of system (11) and of system (14). However, by a simple calculation, we find that
The above shows the following statement.
Proposition 1
If \(F(\varvec{q}, \varvec{p})\) is a first integral of the system generated by \(H_{\mu }\) given in (6), then \({\widetilde{F}}(\varvec{u},\varvec{v})\) is a first integral of the system generated by Hamiltonian \(K_{\mu }\) given in (12) restricted to its zero level \(K_{\mu }=0\).
In particular, it is possible that the system generated by \(H_{\mu }\) is integrable, but the system generated by \(K_{\mu }\) is not integrable. We give an example in Sect. 7.
3 Particular solutions and variational equations
Hamiltonian system governed by \(K_{\mu }\) admits invariant planes. To see them explicitly, it is convenient to make the following canonical change of variables proposed in [24]
where \(\varvec{x}=[x_1,x_2]^T\) and \(\varvec{y}=[y_1,y_2]^T\). After this transformation, Hamiltonian (12) takes the form
where \({\widetilde{x}}_1=x_1^2-x_2^2\) and \({\widetilde{x}}_2=\mathrm {i}(x_1^2+x_2^2)\). Removing the constant term that does not affect the dynamics of the system, we obtain
which is transformed by (16) to regularized Hamiltonian \(K_0\).
Hamilton’s equations of \({{\mathscr {K}}}_0\) have the form
Now, one can easily notice that the two planes
are invariant. Let us restrict our system to plane \( {{\mathscr {M}}}_1 \)
In the last equality we used homogeneity of potential V which gives \( V(x_1^2,\mathrm {i}x_1^2)=x_1^{2k} V(1,\mathrm {i})=x_1^{2k} b \), where \( b:=V(1,\mathrm {i}) \). This restricted system has the first integral
The variational equations around this particular solution, read
where \(a_{12}= 8\mathrm {i}\left( h-(2k+1)bx_1^{2k}\right) \). Let us notice that equations for variables \(X_2\) and \(Y_1\) form a closed subsystem. We rewrite the above equations as a system of second-order equations
where
Let us notice that the homogeneous part of the second equation is equal to the first equation. This means that solvability of whole system (22) depends on the solvability of the first homogeneous equation. Indeed, if we know the general solution of the homogeneous equation, then the general solution of the second equation can be obtained by application of the method of constants variation.
Now we assume that \( h\ne 0 \) and in this case we set \( e=0 \). The Yoshida transformation of the independent variable
transforms the first Eq. (22) into the hypergeometric equation
with rational coefficients
In these calculations we used formulae
which, after Yoshida’s transformation (24) can be rewritten as
where \( y_2(t) \) was calculated from the condition \( e=0 \), see (20). Coefficients c(t) and d(t) after transformation (24) change into
We transform (25) to its reduced form by means of the Tchirnhauss transformation of dependent variables
Thus, finally we obtain the following system of linear equations
with coefficients
and
Homogeneous Eq. (26) has solutions
where \(F(\alpha ,\beta ;\gamma ;z)= {}_2F_1(\alpha ,\beta ;\gamma ;z) \) is the Gauss hypergeometric function, i.e. a holomorphic solution of the hypergeometric Eq. (A2), see Appendix. Let us introduce two integrals
where \(\Gamma (x)\) denotes the Euler gamma function and
that appear during construction of solutions of Eqs. (26) and (27) and one more built by means of them
where the constant factor is
The integrability conditions will be expressed by means of these functions.
4 Non-integrability criterion
Since variational equations crucial for our integrability analysis have the form (27), we consider in detail in this section a system of two linear differential equations
where coefficients r and s are elements of a differential field K with constant subfield \( \mathbb {C}\). Notice that the variational Eqs. (26)–(27) are of this form. We look for the conditions under which the identity component of the differential Galois group of the system (31)–(32) is Abelian. Our considerations presented here are just a modification of those contained in [9]. In particular, we extract facts from Section 2 and Section 3.3 of this reference. Let \( F_1 \) and \( F_2 \) denote the Picard–Vessiot fields of Eq. (31), and the system (31)–(32), respectively. The differential Galois groups of extensions \( F_i/ K\), for \( i=1,2\), are denoted by \( G_i \) and the identity components of \( G_i \) by \( G_i^{\circ }\). By L we denote the algebraic closure of differential field K in the field \(F_1\).
Hence, we look for the conditions under which \( G_2^{\circ } \) is Abelian. The field \( F_1 \) can be considered as a subfield of \( F_2 \), and group \( G_1 \) as a quotient of \( G_2 \). This is why we would like to express these conditions in terms of conditions on \(G_1^{\circ }\), and \(r, s \in K\).
Let \(\{x_1, x_2 \}\) denote a basis of solutions of (31) normalized in such a way that
is the fundamental matrix. For each \(\sigma \in G_2\), there exists a matrix \(A (\sigma ) \in \mathrm {SL}(2,\mathbb {C})\), such that \( \sigma (X) = XA(\sigma ) \). Our basic assumption is that the identity component \( G_1^{\circ } \) of \(G_1\) is isomorphic to the additive subgroup \( G_{\mathrm {a}} \) of \( \mathrm {SL}(2,\mathbb {C}) \). Then, we chose \( \{x_1, x_2 \} \) such that for all \(\sigma \in G_1^{\circ } \), the matrix \( A (\sigma ) \) is a unipotent upper triangular matrix, i.e.
We have the following lemma.
Lemma 1
The group \( G_1^{\circ } \) is isomorphic to \( G_{\mathrm {a}} \), if and only if there exists a positive integer m such that \( x_1^m \in K \), and \( x_2 \) is transcendental over K. In this case, the algebraic closure of K in \( F_1 \) is \( L = K [x_1] \) .
This lemma is a part of a more general result proved by Kovacic [15]. See also the first point of Lemma 2.1 in [9].
Let \( x_1 \) be a nonzero algebraic solution of Eq. (31), which exists according to our assumptions. Then, the transcendental solution of this equation is given by \( x_2=x_1\psi \), \( \psi = \int x_1^{-2} \). Let \(y_i\) be a nonzero solution of (32) with \(x=x_i\), that is
Using variations of constants method, we find
In terms of integrals \( \varphi \) and \( \psi \) the necessary and sufficient conditions which guarantee that the group \( G_2^{\circ } \) is Abelian are given in the following theorem.
Theorem 4
Assume that group \( G_1^{\circ } \) is isomorphic to \( G_{\mathrm {a}} \). Then, the group \( G_2^{\circ } \) is Abelian if and only if the following condition is satisfied
Moreover, if this condition is satisfied, then there exists \( c \in \mathbb {C}\) such that \( \varphi + c \psi \in L\).
This theorem is a part of Theorem 2.3 in [9]. Its proof proceeds in the following steps. First, the necessary and sufficient conditions have to be expressed in terms of properties of groups. Then, they are reformulated in terms of certain Wronskians and finally written in terms of primitives.
For the purpose of this paper, we reformulate this theorem.
Theorem 5
Assume that group \( G_1^{\circ } \) is isomorphic to \( G_{\mathrm {a}} \) and \( \varphi \in L \). Then, the group \( G_2^{\circ } \) is Abelian if and only if there exists \( \lambda \in \mathbb {C}\) such that
Proof
As \( \varphi \in L \) and condition (35) is satisfied, \( I\in L[\psi ] \). Thus, they are algebraically dependent over L. Hence, by the Kolchin–Ostrowski theorem, see, e.g. [14], there exist constants \( \lambda \), \( \mu \in \mathbb {C}\), \( (\lambda ,\mu )\ne (0,0) \) such that
But \( \psi \) is not algebraic, so \( \mu \) cannot vanish, and we can assume that \( \mu =1 \). \(\square \)
5 Checking algebraicity of \(\lambda \psi + I\)
From the previous section, it follows that the test if the differential Galois group \( G_2^{\circ } \) of our variational Eq. (27) is Abelian reduces to checking whether exists constant \(\lambda \in \mathbb {C}\) such that the linear combination \(\lambda \psi + I\) is an algebraic function. Taking into account expressions for \(\psi \) given in (28) and for I in (30), omitting irrelevant algebraic terms we conclude that we should consider the following function
where \( \lambda \in \mathbb {C}\), and parameters of the hypergeometric functions are as follows
In the above formulae, k is a nonzero integer.
Thus, in our problem condition: ‘\(\lambda \psi + I\) is algebraic’ translates to the following: ‘there exist \(\lambda \in \mathbb {C}\) such that g(z) is algebraic’.
We introduce local solutions of the hypergeometric equation with parameters \(\alpha ,\beta ,\gamma \) and \({{\widetilde{\alpha }}},{{\widetilde{\beta }}},{{\widetilde{\gamma }}}\) around singularity \(z=0\)
and around singularity \(z=1\)
respectively. We will check how these local solutions change during analytical continuation along certain closed contours encircling singularities which give local monodromies contained in the differential Galois group. Notions of analytical continuation and local and global monodromy and their calculations for the hypergeometric equation are presented in Appendix.
For further considerations we will need the commutator loop \( \rho _1 = \sigma _0\sigma _1\sigma _0^{-1}\sigma _1^{-1}\), where \( \sigma _0\) and \(\sigma _1\) denote loops with one common point \(z_0\) encircling counter-clockwise singularities \(z=0\) and \(z=1\), respectively, see Fig. 1, and the corresponding monodromy matrix is
The loop around the infinity \( \sigma _{\infty } \) is chosen such that \( \sigma _0\sigma _1\sigma _{\infty }={\mathrm {Id}}\) and then \( M_{\sigma _0} M_{\sigma _1}M_{\sigma _\infty }={\mathrm {Id}}\). We will also need the following commutator
For the sets of parameters (39) and (40) the respective commutator matrices are denoted by C, \({{\widetilde{C}}}\) and D, \( {{\widetilde{D}}} \). All of them are unipotent and upper triangular, thus they have the forms
with non-trivial entries
Lemma 2
If \( |k |>2 \), then for arbitrary \( \lambda \in \mathbb {C}\), function g(z) is not algebraic.
Proof
If \(|k |>2 \), then neither \( F(\alpha ,\beta ,\gamma ; z) \) nor \(F({{\widetilde{\alpha }}},{{\widetilde{\beta }}},{{\widetilde{\gamma }}}; z) \) is algebraic. In fact, for \( F(\alpha ,\beta ,\gamma ; z) \) the monodromy element C is not of finite order. By the similar reason \(F({{\widetilde{\alpha }}},{{\widetilde{\beta }}},{{\widetilde{\gamma }}}; z)\) is not algebraic. Let us assume that g(z) is algebraic. Then, taking all its analytical continuations along loops with the same base point, we obtain infinitely many values of g(z).
The analytical continuations of \( F(\alpha ,\beta ,\gamma ; z) \) and \(F({{\widetilde{\alpha }}},{{\widetilde{\beta }}},{{\widetilde{\gamma }}}; z)\) along loop \(\rho _1\) give
where \(c_{12}\) and \({{\widetilde{c}}}_{12}\) are given in (43). Hence, we have
where
If \( \Delta _1\ne 0 \), then analytical continuation along loops \( \rho _1^{n} \) gives infinitely many values of g(z) as we have
Thus, if g(z) is algebraic, then \( \Delta _1=0 \). But this one condition is not sufficient. In fact, \( \Delta _1=0 \) for \(\lambda = -{{\widetilde{c}}}_{12}/ c_{12}\). This is why we should consider the commutator D. Similar reasoning with analytical continuation along loop \( \rho _{\infty } \) gives \(M_{\rho _\infty }(g(z)) = g(z) +\sqrt{z}\Delta _\infty \), where \( \Delta _{\infty }:= \lambda d_{12} + {{\widetilde{d}}}_{12},\) with \(d_{12}\) and \({{\widetilde{d}}}_{12}\) given in (43) and
Thus, if g(z) is algebraic, then \( \Delta _1=0\) and \(\Delta _{\infty }=0 \), that is, there exists \(\lambda \in \mathbb {C}\) such that
It is possible if and only if the following determinant
vanishes. In these calculations we used well-known formula \(\Gamma (x)\Gamma (-x)=-\tfrac{\pi }{x\sin (\pi x)}\). However, by assumption \( |k |>2 \), so the determinant (49) is different from zero. This contradiction finishes the proof. \(\square \)
6 Proofs
Proof of Theorem 1 follows from Lemmas 1 and 2. In fact, let us assume that the system generated by the Hamiltonian \( K_0 \) given in (5) admits an additional first integral, which is a rational function of variables \( (u_1,u_2, v_1,v_2) \). In Sect. 3, we showed that it admits a non-equilibrium particular solution. Moreover, by Lemmas 1 and 2, the identity component of the differential Galois group of the variational equations along this particular solution is not Abelian. Thus, by Theorem 3, the system is not integrable. This contradiction finishes the proof.
For the proof of Theorem 2, we need the following lemma.
Lemma 3
Assume that the system given by the following Hamiltonian
where \(\alpha \) is a parameter, admits a rational first integral \({\widetilde{J}}(\varvec{q},\varvec{p},\alpha )\) functionally independent with \({\widetilde{H}}(\varvec{q},\varvec{p},\alpha )\). Then, the system given by Hamiltonian
admits a rational first integral
functionally independent with \(H(\varvec{q},\varvec{p},h)\).
The transformation in this lemma, called the coupling constant metamorphosis, changes the role of the coupling constant \(\alpha \) and the energy \(h={\widetilde{H}}(\varvec{q},\varvec{p},\alpha )\). The new Hamiltonian \(H(\varvec{q},\varvec{p},h)\) is equal to \(\alpha \) obtained from equation \(h={\widetilde{H}}(\varvec{q},\varvec{p},\alpha )\). For details and proof, see [12, 26, 29].
Now, we pass to the proof of Theorem 2. Let us assume the system given by Hamiltonian (6) satisfying assumptions of this theorem is integrable with a first integral \(I(\varvec{q},\varvec{p},\mu )\). Then, the system given by Hamiltonian \({\widetilde{K}}_{\mu }(\varvec{u},\varvec{v}) \), see (8), is also integrable with corresponding first integral \({\widetilde{J}}_{\mu }(\varvec{u},\varvec{v})\). Note that we can set \({\widetilde{K}}(\varvec{u},\varvec{v}, \alpha )={\widetilde{K}}_{\mu }(\varvec{u},\varvec{v}) \) with \(\alpha =4\mu \), and then we can write
where
Hence, we can apply Lemma 3 to this system. By this Lemma, the system given by Hamiltonian
is integrable. However, \(K_{\mu }=K_0-4\mu \) and we proved that \(K_0\) is not integrable according to Theorem 1. This contradiction finishes our proof.
7 An example
In Sect. 1, we mentioned that non-integrability of regularized system (5) does not imply that the original system (2) is not integrable. Here we consider Hamiltonian (2) with potential
where k and l are integers, \( k>2 \) and \( 0\le l \le k \). Potentials of this form are called exceptional potentials, see, e.g. [17]. It is known, see [7], that if \( \omega =0 \), then polynomial potentials \(V_{l,k}(q_1,q_2) \) with \( l\in \{0,1,k-1,k\}\), \(l=k/2\) for even k, and \((l,k)=(2,7)\) or \((l,k)=(5,7)\) are integrable with additional polynomial first integrals.
Among exceptional potentials, we have radial potentials and for them, we have obvious result.
Proposition 2
For arbitrary \( \omega \in \mathbb {C}\), and \(m\in \mathbb {Q}\) Hamiltonian system governed by
is integrable with the additional first integral \( I=p_1 q_2 -p_2q_1.\)
We remark that at points \((q_1,q_2)=(\pm 1,\mathrm {i})\) the radial potential \(V(q_1,q_2)= (q_1^2+q_2^2)^m\) either vanishes or has algebraic poles, so our theorems do not apply.
A more interesting is the polynomial potential \( V= V_{0,k}=(q_2-\mathrm {i}q_1)^{k} \) for an integer k and the corresponding Hamilton’s function is
When working with this potential it is convenient to use canonical variables \( (x_1,x_2,y_1,y_2) \) defined as
In these variables, the Hamiltonian of the system reads
Now it is easy to show the following proposition.
Proposition 3
For arbitrary \( \omega \in \mathbb {C}\), and an integer \( k\ne -1 \), the Hamiltonian system generated by (59) is super-integrable. If \( \omega =0 \), then it admits two rational additional first integrals
If \( \omega \ne 0 \), then it admits two, generally non-algebraic, first integrals
and
where \( \Gamma (s,x) \) is the incomplete gamma function.
Proof
The equations of motion have the form
Now, if \( \omega =0 \), then it is easy to check that \( I_1 \) and \( I_2 \) given by (60) are first integrals.
In order to deduce the form of first integrals in the case \( \omega \ne 0 \), we notice that system (63) can be solved explicitly. In fact, first we solve equation for \( y_2 \)
Next, using the variation of constants method we find solution for \( x_1 \)
As the system is invariant with respect to the time translation we can put \( C_2=0 \) without a loss of the generality. Hence, \( t=\tfrac{x_1}{2y_2} \). Then, from the above two equalities, we find that \( 2C_1 = J_1 \) is a first integral given by (61).
Knowing \( x_1 \) we find, again using the variation of constants method, that the solution for \( y_1 \) is
Finally, by the same method we find
Let \( L=x_1y_1-x_2y_2 \). It is easy to check that \(\dot{L}= - k x_1^k\). As, by formula (65), \(x_1(t) = J_1t \exp [-\mathrm {i}\omega t]\), we have
By the direct integration, we obtain
where C is a constant of integration. Putting \( t=\tfrac{x_1}{2y_2} \) in the above equality we find
and this finishes our proof. \(\square \)
Remark 1
For an integer \( k>0 \) integral (62) is a polynomial. In fact, if k is a positive integer, then it holds
see, e.g. [20, p. 339]. Hence, we obtain
Remark 2
One can immediately note that system (63) has the linear Darboux polynomial \( F_1=y_2 \) with the constant cofactor \( P_1=- \mathrm {i}\omega \). Moreover, one can check that it also has the exponential factor \( F_2=\exp \left( \frac{\mathrm {i}\omega x_1}{2y_2}\right) \) with the cofactor \( P_2=\mathrm {i}\omega \). For an explanation of the notion of an exponential factor see, e.g. [5]. Because \( P_1+P_2=0 \), thus this system has a first integral of the form \(F_1F_2\) which is just (61). This first integral was found by T. Stachowiak using the reasoning described above.
Now, we investigate properties of the regularized Hamiltonian (57). After the canonical Levi-Civita transformation (7) we obtain new Hamiltonian
where
Of course, it has two functionally independent first integrals \({\widetilde{J}}_1(\varvec{u}, \varvec{v})\) and \({\widetilde{J}}_2(\varvec{u}, \varvec{v})\) which are just first integrals \(J_1(\varvec{x},\varvec{y})\) and \(J_2(\varvec{x},\varvec{y})\) after substitution
The regularized Hamiltonian reads
As in the considered case \( V(q_1,q_2)=(q_2-\mathrm {i}q_1)^{k} \), we have \(V(-1,\mathrm {i})=(2\mathrm {i})^k\ne 0\). Thus, by Theorem 1, the regularized system is not integrable. However, on the level \(K_0(\varvec{u},\varvec{v})=0\) it is super-integrable with \({\widetilde{J}}_1(\varvec{u}, \varvec{v})\) and \({\widetilde{J}}_2(\varvec{u}, \varvec{v})\) as first integrals.
Data availability
Data sharing is not applicable to this article as no new data were created or analysed in this study.
References
Audin, M.: Hamiltonian systems and their integrability, volume 15 of SMF/AMS Texts and Monographs. American Mathematical Society, Providence; Société Mathématique de France, Paris (2008)
Batkhin, A.B.: Families of symmetric periodic solutions of the generalized Hill’s problem. Keldysh Institute preprints 60 (2013)
Beletsky, V.V.: Essays on the Motion of Celestial Bodies. Birkhäuser Verlag, Basel (2001)
Chauvineau, B., Mignard, F.: Generalized Hill’s problem-Lagrangian Hill’s case. Celest. Mech. Dyn. Astron. 47(2), 123–144 (1990)
Christopher, C.J.: Invariant algebraic curves and conditions for a centre. Proc. R. Soc. Edinburgh Sect. A Math. 124(6), 1209–1229 (1994)
Combot, T.: A note on algebraic potentials and Morales–Ramis theory. Celestial Mech. Dyn. Astronom. 115(4), 397–404 (2013)
Combot, T., Maciejewski, A.J., Przybylska, M.: Bi-homogeneity and integrability of rational potentials. J. Differ. Equ. 268(11), 7012–7028 (2020)
Combot, T., Maciejewski, A.J., Przybylska, M.: Integrability of the generalised Hill problem. Nonlinear Dyn. 107(3), 1989–2002 (2022)
Duval, G., Maciejewski, A.J.: Taylor obstruction to the integrability of homogeneous potentials of degree two. An application of higher order variational equations. In: Algebraic Methods in Dynamical Systems, Volume 94 of Banach Center Publ., pp. 173–185 (2011)
Erdélyi, A., Magnus, W., Oberhettinger, F., Tricomi, F.G.: Higher transcendental functions, Vol. I. Robert E. Krieger Publishing Co., Inc, Melbourne, Fla (1981)
Giacaglia, G.E.O., Lamas, W.Q.: Introduction to Artificial Satellites Dynamics. Independently published (2019)
Hietarinta, J.: Direct methods for the search of the second invariant. Phys. Rep. 147(2), 87–154 (1987)
Hill, G.W.: Researches in the lunar theory. In: The Collected Mathematical Works of G.W. Hill, Volume 1, pp. 284–335. Carnegie Institution of Washington (1905)
Kolchin, E.R.: Algebraic groups and algebraic dependence. Am. J. Math. 90, 1151–1164 (1968)
Kovacic, J.J.: An algorithm for solving second order linear homogeneous differential equations. J. Symb. Comput. 2(1), 3–43 (1986)
Maciejewski, A.J., Przybylska, M.: Non-integrability of the problem of a rigid satellite in gravitational and magnetic fields. Celest. Mech. Dyn. Astron. 87(4), 317–351 (2003)
Maciejewski, A.J., Przybylska, M.: Darboux points and integrability of Hamiltonian systems with homogeneous polynomial potential. J. Math. Phys. 46(6), 062901 (2005)
Maciejewski, A.J., Przybylska, M.: Differential Galois theory and integrability. Int. J. Geom. Methods Mod. Phys. 6(8), 1357–1390 (2009)
Maciejewski, A.J., Przybylska, M.: Integrability of Hamiltonian systems with algebraic potentials. Phys. Lett. A 380(1–2), 76–82 (2016)
Magnus, W., Oberhettinger, F., Soni, R.P.: Formulas and theorems for the special functions of mathematical physics. Die Grundlehren der mathematischen Wissenschaften, Band 52, Enlarged edn. Springer, New York (1966)
Morales Ruiz, J.J.: Differential Galois Theory and Non-integrability of Hamiltonian Systems, Volume 179 of Progress in Mathematics. Birkhäuser Verlag, Basel (1999)
Morales-Ruiz, J.J., Ramis, J.P.: A note on the non-integrability of some Hamiltonian systems with a homogeneous potential. Methods Appl. Anal. 8(1), 113–120 (2001)
Morales-Ruiz, J.J., Ramis, J.-P.: Integrability of dynamical systems through differential Galois theory: a practical guide. In: Differential Algebra, Complex Analysis and Orthogonal Polynomials, Volume 509 of Contemp. Math., pp. 143–220. American Mathematical Society, Providence (2010)
Morales-Ruiz, J.J., Simó, C., Simon, S.: Algebraic proof of the non-integrability of Hill’s problem. Ergodic Theory Dyn. Syst. 25(4), 1237–1256 (2005)
Papadakis, K.E.: The planar photogravitational Hill problem. Int. J. Bifurc. Chaos 16(6), 1809–1821 (2006)
Post, S.: Coupling constant metamorphosis, the Stäckel transform and superintegrability. AIP Conf. Proc. 1323(1), 265–274 (2010)
Przybylska, M.: Darboux points and integrability of homogenous Hamiltonian systems with three and more degrees of freedom. Regul. Chaotic Dyn. 14(2), 263–311 (2009)
Przybylska, M.: Darboux points and integrability of homogenous Hamiltonian systems with three and more degrees of freedom. Nongeneric cases. Regul. Chaotic Dyn. 14(3), 349–388 (2009)
Sergyeyev, A.: Coupling constant metamorphosis as an integrability-preserving transformation for general finite-dimensional dynamical systems and ODEs. Phys. Lett. A 376(28), 2015–2022 (2012)
Szebehely, V.: Theory of Orbit. The restricted three body problem. Academic Press (1967)
Vallado, DA.: Fundamentals of astrodynamics and applications, volume 21 of Space Technology Library, 3 edn. Microcosm Press, Springer, Hawthorne, New York (2007)
Vogel, M.: Particle Confinement in Penning Traps. Springer, Berlin (2018)
Acknowledgements
This research has been partially funded by The National Science Center of Poland under Grant No. 2020/39/D/ST1/01632. For the purpose of Open Access, the authors have applied a CC-BY public copyright license to any Author Accepted Manuscript (AAM) version arising from this submission.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Monodromy of Gauss hypergeometric function
Appendix: Monodromy of Gauss hypergeometric function
The Gauss hypergeometric function \(F(\alpha ,\beta ;\gamma ;z)=\) \({}_2F_1(\alpha ,\beta ;\gamma ;z) \) is defined by the following series
where \( (x)_n \) and \( \Gamma (x) \) denote the Pochhammer symbol and the Euler gamma function, respectively. It is a solution of the Gauss hypergeometric equation
which is holomorphic in the disc \( |z |<1 \). This equation has three regular singularities at \( z \in \{ 0,1,\infty \} \), with the corresponding exponent pairs
We assume none of \(\gamma \), \(\gamma -\alpha -\beta \), \(\alpha -\beta \) is an integer.
The effect of analytical continuation of function f(z) holomorphic in a domain U along a loop \( \sigma \) with a base point in U is a function \( {\widetilde{f}}(z)\). We will denote \({\widetilde{f}}(z)={{\mathcal {M}}}_{\sigma }(f(z))\), and \( {{\mathcal {M}}}_{\sigma } \) will be called the monodromy operator. If \( f_1(z) \) and \( f_2(z) \) span two-dimensional vector space and \( {{\mathcal {M}}}_{\sigma }(f_i(z))=m_{i1}f_1(z) + m_{i2}f_2(z) \) for \( i=1,2 \), then the matrix \( M_{\sigma }= \left[ \begin{matrix} m_{11} &{} m_{12}\\ m_{21} &{} m_{22} \end{matrix}\right] \) is called the monodromy matrix. It is convenient to use vector notation \( {{\mathcal {M}}}_{\sigma }(\varvec{f}(z))=M_{\sigma }\varvec{f}(z) \), where \( \varvec{f}(z)=[f_1(z),f_2(z)]^T \).
We consider two loops \( \sigma _0 \) and \(\sigma _1\) with one common point \(z_0\in (0,1)\) that encircle singular points \(z=0\) and \(z=1\) counter-clockwise, respectively, see Figure 1. The third loop \(\sigma _{\infty }\) encircles clockwise both singularities \(z=0\) and \(z=1\). Then, in a neighbourhood of each singularity, one can select two independent solutions of the hypergeometric equation. They form the fundamental matrices, and their analytical continuations determine the local monodromy matrices. Appropriate expressions for all singularities are as follows.
-
Singularity \(z=0\)
$$\begin{aligned} \begin{aligned} u_1(z) :=&F\left( \alpha ,\beta ;\gamma ;z\right) , \\ u_2(z):=&{z^{1-\gamma }}F\left( {\alpha -\gamma +1,\beta -\gamma +1; 2-\gamma };z\right) . \end{aligned}\nonumber \\ \end{aligned}$$(A4)The local monodromy matrix at this singularity is
$$\begin{aligned} M_{\sigma _0} = \begin{bmatrix} 1 &{} 0 \\ 0 &{} c^{-1} \end{bmatrix}.\nonumber \\ \end{aligned}$$(A5) -
Singularity \(z=1\)
$$\begin{aligned} \begin{aligned} v_{1}(z):&=F\left( {\alpha ,\beta ; \alpha +\beta -\gamma +1};1-z\right) , \\ v_{2}(z):&=(1-z)^{\gamma -\alpha -\beta }\\&F\left( {\gamma -\alpha ,\gamma -\beta ; \gamma -\alpha -\beta +1};1-z\right) . \end{aligned}\nonumber \\ \end{aligned}$$(A6)The local monodromy matrix at this singularity is
$$\begin{aligned} {\widetilde{M}}_{\sigma _1} = \begin{bmatrix} 1 &{} 0 \\ 0 &{} \frac{c}{a b} \end{bmatrix}. \end{aligned}$$(A7) -
Singularity \(z=\infty \)
$$\begin{aligned} \begin{aligned} w_{1}(z){:}{=}&{\mathrm {e}}^{\alpha \pi \mathrm {i}}z^{-\alpha } F\left( {\alpha ,\alpha -\gamma +1; \alpha -\beta +1}; \tfrac{1}{z}\right) ,\\ w_{2}(z){:}{=}&{\mathrm {e}}^{\beta \pi \mathrm {i}}z^{-\beta } F\left( {\beta ,\beta -\gamma +1; \beta -\alpha +1};\tfrac{ 1}{z}\right) . \end{aligned} \end{aligned}$$(A8)The local monodromy matrix at this singularity is
$$\begin{aligned} {\widetilde{M}}_{\sigma _\infty }= \begin{bmatrix} a &{} 0 \\ 0 &{} b \end{bmatrix}. \end{aligned}$$(A9)
In the above formulae we denoted \( a:={\mathrm {e}}^{2\pi \mathrm {i} \alpha } \), \( b:={\mathrm {e}}^{2\pi \mathrm {i} \beta } \) and \( c:={\mathrm {e}}^{2\pi \mathrm {i} \gamma } \).
To determine global monodromy group \({{\mathscr {M}}}\) we fix the basis solutions \((u_1(z), u_2(z))\). Then, we express all the monodromy matrices with respect to this basis. Clearly, \(M_{\sigma _0}\) is given by (A5). In order to calculate the monodromy matrix \(M_{\sigma _1}\) we need the connection formula
where
see e.g. [10, p. 94]. Now, we have
and hence
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Przybylska, M., Maciejewski, A.J. Integrability of Hamiltonian systems with gyroscopic term. Nonlinear Dyn 111, 275–287 (2023). https://doi.org/10.1007/s11071-022-07866-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11071-022-07866-w