Integrable 2 D Time-Irreversible Systems with a Cubic Second Integral

We construct a very rare integrable 2Dmechanical systemwhich admits a complementary integral of motion cubic in the velocities in the presence of conservative potential and velocity-dependent (gyroscopic) forces. Special cases are given interpretation as a motion of a particle on a sphere endowed with a Riemannian metric, a particle in the Euclidean plane, and new generalizations of two cases of motion of a rigid body with a cubic integral, known by names of Goriachev-Chaplygin and Goriachev.


Introduction: History and Formulation of the Problem
The search for potentials of conservative motions of a particle in the plane, so that the motion admits an integral polynomial in the velocities, was initiated by Bertrand in the middle of the nineteenth century [1,2].His results were developed further by Darboux [3] for the case of a quadratic integral.A large number of works were devoted to construction of integrable potentials in the plane admitting a complementary integral of degree up to 6. Notable examples are [4][5][6][7][8][9].For a detailed account of relevant results up to 1985, see [10].
Birkhoff extended the method to accommodate general 2D mechanical systems acted upon by potential and gyroscopic forces.Those systems mostly live on Riemannian manifolds and the presence of gyroscopic forces makes their equations of motion time-irreversible.Birkhoff 's procedure was completed to the end only in two cases: for reversible systems with an integral quadratic in velocities and irreversible systems with an integral linear in velocities [11].
An essential modification of Birkhoff 's method in Yehia's work [20] significantly reduced the number of PDEs determining the system and its integral and made it possible to tackle the time-reversible and irreversible cases with a polynomial integral.The culmination of the new method was the construction and classification of 41 irreversible systems admitting a quadratic integral [22] and the construction of a gigantic reversible system involving 21 parameters called "master system" with a complementary integral quartic in velocities [25].
The new method also made it possible to construct for the first time irreversible integrable systems which admit a complementary integral cubic [21] and quartic [26] in velocities, based on the equations derived in [20].
The present paper may be regarded as a continuation of [21].Here we study mechanical systems described by or reduced to a two-dimensional system with Lagrangian where   ,   , and  are functions of  1 and  2 and dots denote differentiation with respect to time .As in [21] we use a point transformation to isometric coordinates and a change of the time variable Advances in Mathematical Physics and one can always reduce (1) to the form where Λ,  1 , and  2 are certain functions of  and  and primes denote derivatives with respect to  and The equations of motion take the form where This system admits the zero-value Jacobi integral The Jacobi constant ℎ for the original system (1) enters as a parameter in the new force function (4) (see, e.g., [27]).
From the results of [20,21] the Lagrangian and the cubic integral can be written as where   ,   , and  are functions in  and  satisfying with  the nonlinear system of seven partial differential equations [21]: The irreversible case Ω ̸ = 0 was considered in [21], where several parameter systems admitting a cubic integral were found under the simplifying assumption that In the present paper we will try, as in [21], to construct Lagrangian systems admitting a first integral polynomial of degree three in velocities, but instead of (11) we use the ansatz As shown below, the problem is completely solved and an integrable system involving 15 parameters is constructed, adding two parameters to the system of [21].Four new integrable problems are obtained as special cases of this system: a motion of a particle on a sphere endowed with a Riemannian metric, a particle in the plane, and two problems in the dynamics of a rigid body.

Solution of the Problem: The Conditional Integrable System
Regarding ( 10) and ( 14) and ( 13), a suitable ansatz for the reduced force function  has the structure where  1 ,  2 , ,  1 , and  2 are arbitrary constants and  0 ,  1 ,  2 , V, and  are functions to be determined of the single variable .Then the coefficients of the integral (9) should take the following forms: Advances in Mathematical Physics 3 in which   ,  = 1, . . ., 8 are certain functions of .Inserting those expressions in (10), we obtain the following system of ordinary differential equations: where () is a new function determined from Building on the solution of the less general system of [21] and after some tedious manipulations, the solution of ( 16)-( 17) was constructed.For convenience we introduce a new variable ] defined by the following relation [20]: We give here only the final form of the Lagrangian and the complementary cubic integral in the following form: where

The Generic Unconditional System
The Lagrangian (19) describes a system integrable on its zerolevel of Jacobi's integral  1 .Following the method devised by Yehia [21,25] (for a detailed account of method, see Advances in Mathematical Physics [28]), we now proceed to construct the corresponding unconditional system by performing the inverse of time transformation (2).Our conditional system involves 4 energy-type parameters  3 ,  4 , , and .We first express those parameters in terms of nine new parameters and then we can perform the time transformation (2) with to the above system.Thus we obtain the Lagrangian The presence of the arbitrary parameter ℎ in the last Lagrangian as an additive constant is insignificant and it can be ignored, as it does not contribute to the equations of motion.The same arbitrary constant ℎ is now interpreted as the value of the Jacobi integral.Thus, we have the unconditional Jacobi integral The final form of the second integral can be obtained by replacing (  , V  ) in ( 20) by (Λ ẋ , Λ ] ).The Lagrangian (24) characterizes a new integrable system.It contains fifteen arbitrary parameters , ,  1 ,  2 ,  3 ,  4 ,  1 ,  2 ,  5 , , , ℎ 1 , ℎ 2 , ℎ 3 , and ℎ 4 .Note that the angle variable  can be shifted by a phase angle in such a way to make one of the four parameters  3 ,  4 , , and  equal zero.The last system is an extension of the two systems with a cubic integral obtained in [21,28] by adding the parameters  and  which invoke a part of the gyroscopic (irreversible) and potential terms.

Applications
In its full capacity, the fifteen-parameter system with the Lagrangian (24) has not yet found a mechanical interpretation for the full range of values of the parameters.In this section we provide four applications as special cases of that system: one integrable system on the sphere, one in the Euclidean plane, and two new integrable cases in rigid body dynamics.Those special cases indicate the richness of this system.

An Integrable
System on the Sphere.The metric of the configuration space of the system described by (24) was considered in [28] and sufficient conditions for it to be Riemannian and well defined on  2 were found.Regarding this result we formulate the following.

A New Integrable System in the Plane.
As in [21], the Lagrangian (24) acquires the simplest form when one sets  =  =  2 =  3 =  4 = 0,  1 = 1.Then, introducing the change of variables  →  √ 3, ] →  2 , we reduce the Lagrangian (24) to the form where   ,  = 1, 2, . . ., 6 are arbitrary parameters, introduced instead of the original parameters for convenience: Jacobi's integral for this motion is and the cubic integral can be written as Advances in Mathematical Physics This integrable system can be viewed as a generalization of a previously known one due to Yehia [21] by the introduction of two constants  3 and  4 to equations of motion.It also generalizes the reversible Toda-like system obtained by Hall [13] by the presence of the four parameters  1 ,  2 ,  3 , and  4 .

Applications to Rigid Body Dynamics.
The problem of motion of a rigid body whose principal moments of inertia are , , and , about a fixed point under forces with a scalar potential () and vector potential l = (0, 0,  3 ), reduces after ignoring the cyclic angle of precession  to the Routhian where  3 = cos(),  is the nutation angle,  is the angle of proper rotation, and  is the value of cyclic integral.For more details see [21].
As in [21], the Lagrangian ( 24) can be identified with the Routhian (31) in the following two cases.

Case (a):
, and  3 =  4 = 0.In this case, using the substitution ] = (1/2)(3 2  3 − 1), the Lagrangian (24) can be identified with the Routhian (31) if we assume that the moments of inertia satisfy  = 4, set the cyclic constant  = 0, and choose The cyclic integral can be written in the form