[Paper Review] On Hamiltonian potentials with quartic polynomial normal variational equations

Primitivo B. Acosta-Humánez, David Blázquez-Sanz+1 more|arXiv (Cornell University)|Aug 31, 2008

Nonlinear Waves and Solitons8 references3 citations

TL;DR

This paper proves that for two-degree-of-freedom classical Hamiltonian systems with an invariant plane, only one family of potentials yields normal variational equations (NVEs) that are Hill-Schrödinger equations with quartic polynomial potentials. Using Morales-Ramis theory, it establishes that such systems are non-integrable via rational first integrals, resolving the open case of even-degree polynomial NVEs for degree four.

ABSTRACT

In this paper we prove that there exists only one family of classical Hamiltonian systems of two degrees of freedom with invariant plane $Γ=\{q_2=p_2=0\}$ whose normal variational equation around integral curves in $Γ$ is generically a Hill-Schrödinger equation with quartic polynomial potential. In particular, by means of the Morales-Ramis theory, these Hamiltonian systems are non-integrable through rational first integrals.

Motivation & Objective

• To determine all classical Hamiltonian systems of two degrees of freedom with an invariant plane whose normal variational equations (NVEs) are Hill-Schrödinger equations with quartic polynomial potentials.
• To resolve the open problem of whether such systems exist beyond the generalized Henón-Heiles family for even-degree polynomial NVEs, specifically for degree four.
• To apply Morales-Ramis theory to prove non-integrability in the Liouville sense for these systems by analyzing the differential Galois group of the NVEs.
• To extend previous results on polynomial NVEs (odd degree) to the even-degree quartic case, confirming uniqueness of the potential family.

Proposed method

• The authors analyze the normal variational equations (NVEs) along integral curves in the invariant plane Γ = {q₂ = p₂ = 0} using the structure of Hill-Schrödinger equations with quartic polynomial potentials.
• They apply the Morales-Ramis theory, which links non-integrability to the differential Galois group of the NVEs: if the group is non-virtually abelian, the system is non-integrable.
• The proof involves constructing a rational expression Q/D⁷ = 0 from the NVE and its adjoint, where Q is a polynomial in x of degree 16, and D, P are differential polynomials in the potential parameters.
• By expressing Q as a homogeneous quadratic in parameters K₁, K₂, K₃, they derive a system of 17 algebraic equations Ci = 0, which define conic curves in projective space.
• They analyze compatibility of the system by checking intersection points of conics and prove incompatibility under generic conditions (b, c ≠ 0), and separately treat exceptional cases b = 0 and c = 0.
• The method relies on algebraic geometry and differential Galois theory to show that only one family of potentials satisfies the NVE condition.

Experimental results

Research questions

• RQ1 Is there a unique family of classical Hamiltonian systems with two degrees of freedom and an invariant plane whose normal variational equations are Hill-Schrödinger equations with quartic polynomial potentials?
• RQ2 What is the structure of the potential function in such systems, and does it reduce to the generalized Henón-Heiles form for λ = 0?
• RQ3 Can Morales-Ramis theory be used to prove non-integrability when the NVE has irregular singularities and a quartic potential?
• RQ4 How does the differential Galois group of the NVE determine the non-integrability of the system in the Liouville sense?
• RQ5 Are there multiple families of Hamiltonian potentials yielding the same quartic NVE, or is the family unique?

Key findings

• There exists exactly one family of classical Hamiltonian systems with two degrees of freedom and an invariant plane Γ = {q₂ = p₂ = 0} whose normal variational equations are Hill-Schrödinger equations with quartic polynomial potentials.
• This unique family corresponds to the generalized Henón-Heiles system with λ = 0, confirming the potential structure as H = (y₁² + y₂²)/2 - x₂²(A₀ + A₁x₁ + A₂x₁² + A₃x₁³ + A₄x₁⁴) - (λ/3)x₁³ + β(x₁,x₂)x₂³.
• The differential Galois group of the NVE is non-abelian and isomorphic to SL(2, ℂ) or the Borel group, implying that the system is non-integrable in the Liouville sense.
• The system of 17 algebraic equations derived from the NVE condition is incompatible under generic parameter values, proving uniqueness of the solution family.
• The exceptional cases b = 0 and c = 0 lead to incompatible systems of 19 and 18 equations respectively, confirming no additional solutions exist.
• The result completes the classification of polynomial NVEs for even-degree potentials, resolving the open case for degree four.