1. Introduction
The problem of the motion of a rigid body with the fixed point in the field of constant gravity is one of the oldest in mechanics [1] . The system of the motion contains three degrees of freedom (Euler’s angles). The system possesses three first integrals, and according to Jacobi’s last multiplier, the system can be integrated if there are other first integrals. Kovalevskaya [2] proved that the only one-valued first integral can be found in three cases: first, in Euler’s case, where the fixed point is located at the center of mass and rotation occurs freely without the influence of torque; second, in the Lagrange’s case when the rigid body is a symmetric top with the center of mass on the axis of symmetry; thirdly, in Kovalevskaya’s case in which the ellipsoid of inertia about a fixed is symmetric, and the moments of inertia at the supporting point are equal, and each one of them is twice as much as the third one and the center of the mass in the plane of equal moments of inertia. Kovalevskaya [3] showed that other integral cannot be single valued over the whole t-complex plane and Hussen [4] found that, when ellipsoid of inertia is not symmetric, a new algebraic integral cannot exist, for arbitrary initial conditions, except in the three cases mentioned above.
In the case of Kovalevskaya, the problem reduced to quadrature and the integral was obtained through a Remain θ-function of two variables [5] . These functions however are not single-valued, and on the other hand, the functions do not have branch point and hence they are root functions [6] . Consequently, the qualitative and quantitative investigations give us more understanding of the motion of the problem.
2. The Equations of Motion
The Euler-Poisson equations for the Kovalevskaya case where two moments of inertia are equal and the third is half of one of them and the center of mass in the equatorial of the ellipsoid of inertia has the form
(1)
where
are the Euler-Poisson variables.
The first integrals are taken the following form and for more details [7] .
(2)
and the system (1) can be reduced to quadrature
(3)
where the Kovalevskaya polynomial
is defined as
(4)
Kolossoff [8] introduced the potential
(5)
and with the new time
through the relation
(6)
and then system (1) can be converted to the plan motion of massless point defined as
(7)
and possess the energy integral
(8)
under the condition that the constants of energy of both systems are equal
(9)
Introducing the elliptic coordinates
such that
(10)
with Jacobian matrix
defined as
(11)
one can give the momenta
as function of
, such that
(12)
Then the canonical variables
are given by
(13)
The system is a Liouville system, where the constants of integration are founded from
(14)
and the momenta
and
are given by
(15)
By using Hamilton-Jacob method, we obtain
(16)
and with time changing
(17)
the Equation (16) are the same as the Kovalevskaya equations, where the polynomial
(18)
corresponds to the Kovalevskaya polynomial
.
Accordingly the problem of the integration of Kovalevskaya top is equivalent to the problem of the plane motion of the massless point, and then we study the problem in Kolossoff’s variable
.
3. Phase Portrait of the Separated Functions
Consider the function
(19)
We construct the lines of constant
on the plane
, which is called the phase portrait of
. The phase portrait helps us to find the topological interpretation of the trajectory as follows: if the roots of the function are distinct for given initial values of
, then
and
will change in a periodic manner, but if the function has multiple roots, then we have an infinity of motion, which gives an asymptotic solution of the canonical equations. Thus the study of lines of constant
provides a complete picture of the bifurcations of our problem.
We first study the singular points and it is distinguished by using Gaussian curvature of
. These points can be found from the equations
(20)
and hence we have the following: where
,we get
(21)
and when
, we get the two equations
(22)
The discriminant of (21) is
(23)
and from (22) the two functions are
(24)
It is clear that the curve
is tangent to the branches of the curves
and
at the points
. This can be found from the consideration that
the equation
gives the two roots
,
such that
.
From
and
, we get
(25)
(26)
Now, we study the points in the domain
where
, Figure 1.
Figure 1. The regions
of real motions on the
plane.
1) The Domain
Equations ((21) and (22)) are not solved when
,
and then there are no singular points of
on the line
and
, but when
, there are two singular points with
coordinates,
(27)
To get these types of points, put
(28)
in the function
, neglecting terms of degree greater than 2, then we have
(29)
where
contains the terms of zeros and first degree of
.
The singular points are hyperbolic points, where
(30)
and when
, we have the two singular points:
.
In the same manner we can get the type of points in the domains
, they are shown in Figures 2-20, and summarize that in Table 1.
4. The Integration of the Problem
To complete the picture of our problem, we solve the kolossoff system numerically by using a surface section introducing by Poincaré [6] .
A surface of section is a way of presenting a trajectory in n-dimension phase space in an (n − 1) dimension space. By picking one phase element constant and plotting the value of the other element each time the selected element has the desired value, an intersection surface is obtained. Accordingally the solution of system (7) represents itself the trajectory in the phase space
, and on the energy surface h = constant, the trajectory may be treated in the three dimensional invariant hypersurface
. The successive points with
in at which an orbit crosses the plane
in phase space represent a locus of two-dimensional area-preserving mapping on the
plane, which is called Poincaré mapping.
Figure 2. The four-hyperbolic points in domain D1.
Figure 3. The Three-hyperbolic points and one-elliptic point in domain D2.
Figure 4. The two-hyperbolic points in domain D3.
Figure 5. The three-hyperbolic points and one elliptic point in domain D4.
Figure 6. The two-elliptic points and two-hyperbolic points in domain D5.
Figure 7. The three-hyperbolic points and one-elliptic point in domain D6.
Figure 8. The two-hyperbolic points and two-elliptic points in domain D7.
Figure 9. The two-hyperbolic points and one-elliptic point in domain D8.
Figure 10. The one-elliptic point in domain D8.
Figure 11. The two-hyperbolic points and two-elliptic points in domain D9.
Figure 12. The one-hyperbolic point and one-elliptic point in domain D10.
Figure 13. The two-elliptic points and two-hyperbolic points in domain D11.
Figure 14. The two-hyperbolic points in domain D12.
Figure 15. The two-elliptic points in domain D12.
Figure 16. The two-hyperbolic points in domain D13.
Figure 17. The one-hyperbolic point and one-elliptic point in domain D14.
Figure 18. The two-hyperbolic points in domain D15.
Figure 19. The one-hyperbolic point in domain D16.
Figure 20. The one-hyperbolic point in domain D16.
If we put
in (8), then we have the equipotential lines
(31)
Figure 21 shows the equipotential lines for different values of h and k. Putting
in integral energy equation, we have
(32)
where the curve of zero velocity is
(33)
Figure 22 shows the curve of zero velocity, its clear that the curves is independent of Kovalevsky constant k.
Now the initial values of
is
and then we get the point
at
. The point
is the mapped into
, or
, so if we plot the successive intersections of the motion with the surface of section, they will in general occur anywhere within a bounded area of the plane and must lie on a unique curve.
Hénon-Heiles H-H [9] are used the Poincar
section-surface to prove that they exist, the third integral of a non-linear motion of star around a galactic center with the motion restricted to plane, for some values of the constant of energy, the motion is ordered, and with increasing the energy, the ordered motion becomes stochastic. The H-H model [10] becomes a criterion for the existence of the integral of any conservative system. By using these criteria in our problem, we find that, the image points of the initial points, lie on invariant curve. Therefore, these orbits lie on invariant tori and the motion is ordered. Figures 23-28 show the invariant curves for different values of k and h and they are symmetric with respect to y and
.
Table 1. The type of points in the domains
.
Figure 21. The equipotential line with a different value of h.
Figure 22. The curve of zero velocity, where
.
Figure 23. The invariant curves for
.
Figure 24. The invariant curves for
and
.
Figure 25. The invariant curves for
and
and
.
Figure 26. The invariant curves for
and
and
.
Figure 27. The invariant curves for
and
and
.
Figure 28. The invariant curves for
for small value of h and large value of k such that k = 100 times of h, the curves seem to be a closed curves.
5. Conclusions
We conclude some results related to the behavior of the motion:
1) The elliptic points in the figures are stable in the Lyapunov sense, because a small disturbance will result in a closed trajectory that surrounds it and along which the state of the system remains close to these points.
2) The hyperbolic points are unstable because any small disturbance will result in a trajectory on which the state of the system deviates more and more from these points as t goes to infinity.