We study integrability of the Euler-Poisson equations describing the motion of a rigid body with one fixed point in a constant gravity field. Using the Morales-Ramis theory and tools of differential algebra we prove that a symmetric heavy top is integrable only in the classical cases of Euler, Lagrange, and Kovalevskaya and is partially integrable only in the Goryachev-Chaplygin case. Our proof is alternative to that given by Ziglin ({\em Funktsional. Anal. i Prilozhen.}, 17(1):8--23, 1983; {\em Funktsional. Anal. i Prilozhen.}, 31(1):3--11, 95, 1997).
We show that the main theorem of Morales--Ramis--Simo about Galoisian obstructions to meromorphic integrability of Hamiltonian systems can be naturally extended to the non-Hamiltonian case. Namely, if a dynamical system is meromorphically integrable in the non-Hamiltonian sense, then the differential Galois groups of the variational equations (of any order) along its solutions must be virtually Abelian
n this paper we formulate necessary conditions for the integrability in the Jacobi sense of Newton equations $\ddot \vq=-\vF(\vq)$, where $\vq\in\C^n$ and all components of $\vF$ are polynomial and homogeneous of the same degree $l$. These conditions are derived from an analysis of the differential Galois group of the variational equations along special particular solutions of the Newton equations. We show that, taking all admissible particular solutions, we restrict considerably the set of Newton's equations satisfying the necessary conditions for the integrability. Moreover, we apply the obt…
In this work we compute the families of classical Hamiltonians in two degrees of freedom in which the Normal Variational Equation around an invariant plane falls in Schroedinger type with polynomial or trigonometrical potential. We analyze the integrability of Normal Variational Equation in Liouvillian sense using the Kovacic's algorithm. We compute all Galois groups of Schroedinger type equations with polynomial potential. We also introduce a method of algebrization that transforms equations with transcendental coefficients in equations with rational coefficients without changing essentially …
A new class of integrable maps, obtained as lattice versions of polynomial dynamical systems is introduced. These systems are obtained by means of a discretization procedure that preserves several analytic and algebraic properties of a given differential equation, in particular symmetries and integrability [40]. Our approach is based on the properties of a suitable Galois differential algebra, that we shall call a Rota algebra. A formulation of the procedure in terms of category theory is proposed. In order to render the lattice dynamics confined, a Borel regularization is also adopted. As a b…
We prove a meromorphic integrability condition at order 2 near a homothetic orbit for a meromorphic homogeneous potential of degree -1, which extend the Morales Ramis conditions of order 1. Conversely, we prove that if this criterion is satisfied, then the Galois group of second order variational equation is abelian and we compute explicitly the Galois group and the Picard-Vessiot extension.
This paper discusses a constrained gravitational three-body problem with two of the point masses separated by a massless inflexible rod to form a dumbbell. The non-integrability of this system is proven using differential Galois theory.
We study a necessary condition for the integrability of the polynomials fields in the plane by means of the differential Galois theory. More concretely, by means of the variational equations around a particular solution it is obtained a necessary condition for the existence of a rational first integral. The method is systematic starting with the first order variational equation. We illustrate this result with several families of examples. A key point is to check wether a suitable primitive is elementary or not. Using a theorem by Liouville, the problem is equivalent to the existence of a ratio…
In this paper we study the relationship between the integrability of rational symplectic maps and difference Galois theory. We present a Galoisian condition, of Morales-Ramis type, ensuring the non-integrability of a rational symplectic map in the non-commutative sense (Mishchenko-Fomenko). As a particular case, we obtain a com- plete discrete analogue of Morales-Ramis Theorems for non-integrabi- lity in the sense of Liouville.
We study the integrability of the general two-dimensional Zakharov-Shabat systems, which appear in application of the inverse scattering transform (IST) to an important class of nonlinear partial differential equations (PDEs) called integrable systems, in the meaning of differential Galois theory, i.e., their solvability by quadrature. It becomes a key for obtaining analytical solutions to the PDEs by using the IST. For a wide class of potentials, we prove that they are integrable in that meaning if and only if the potentials are reflectionless. It is well known that for such potentials partic…
In this paper we analyze the non-integrability of the Wilbeforce pendulum by means of Morales-Ramis theory in where is enough to prove that the Galois group of the variational equation is not virtually abelian. We obtain these non-integrability results due to the algebrization of the variational equation falls into a Heun differential equation with four singularities and then we apply Kovacic's algorithm to determine its non-integrability.
In this paper we present a short material concerning to some results in Morales-Ramis theory, which relates two different notions of integrability: Integrability of Hamiltonian Systems through Liouville Arnold Theorem and Integrability of Linear Differential Equations through Differential Galois Theory. As contribution, we obtain the abelian differential Galois group of the variational equation related to a bi-parametric Hamiltonian system,
We consider a special type of triple pendulum with two pendula attached to end mass of another one. Although we consider this system in the absence of the gravity, a quick analysis of of Poincaré cross sections shows that it is not integrable. We give an analytic proof of this fact analysing properties the of differential Galois group of variational equation along certain particular solutions of the system.
This is an example of application of Ziglin-Morales-Ramis algebraic studies in Hamiltonian integrability, more specifically the result by Morales, Ramis and Simó on higher-order variational equations, to the well-known Friedmann-Robertson-Walker cosmological model. A previous paper by the author formalises said variational systems in such a way allowing the simple expression of notable elements of the differential Galois group needed to study integrability. Using this formalisation and an alternative method already used by other authors, we find sufficient conditions whose fulfillment would en…
Let us consider a vector field $X$ meromorphic on a neighbourhood of an algebraic curve $\barΓ\subset \mathbb{P}^n$ such that $Γ$ is a particular solution of $X$. The vector field $X$ is $(l,n-l)$ integrable if it there exists $Y_1,\dots,Y_{l-1},X$ vector fields commuting pairwise, and $F_1,\dots,F_{n-l}$ common first integrals. The Ayoul-Zung Theorem gives necessary conditions in terms of Galois groups for meromorphic integrability of $X$ in a neighbourhood of $Γ$. Conversely, if these conditions are satisfied, we prove that if the first normal variational equation $NVE_1$ has a virtually dia…
In this paper we study the integrability of the Hamiltonian system associated to the fourth Painlevé equation. We prove that one two parametric family of this Hamiltonian system is not integrable in the sense of the Liouville-Arnold theorem. Computing explicitly the Stokes matrices and the formal invariants of the second variational equations we deduce that the connected component of the unit element of the corresponding Galois grou is not Abelian. Thus the Morales-Ramis-Simó theory leads to a non-integrable result. Moreover, combining the new result with our previous one we establish that for…
We extend and apply the Galois theory of linear differential equations equipped with the action of an endomorphism. The Galois groups in this Galois theory are difference algebraic groups and we use structure theorems for these groups to characterize the possible difference algebraic relations among solutions of linear differential equations. This yields tools to show that certain special functions are difference transcendent. One of our main results is a characterization of discrete integrability of linear differential equations with almost simple usual Galois group, based on a structure theo…
This paper studies smooth obstructions to integrability and proves two main results. First, it is shown that if a smooth topological n-torus admits a real-analytically completely integrable convex hamiltonian on its cotangent bundle, then the torus is diffeomorphic to the standard n-torus. This is the first known result where the smooth structure of a manifold obstructs complete integrability. Second, it is proven that each one of the Witten-Kreck-Stolz 7-manifolds admit a real-analytically completely integrable geodesic flow on its cotangent bundle. This gives examples of topological manifold…
