pith. sign in

arxiv: 1907.01161 · v1 · pith:DSOCSAKRnew · submitted 2019-07-02 · 🧮 math.DS · math-ph· math.MP

Heteroclinic Orbits and Nonintegrability in Two-Degree-of-Freedom Hamiltonian Systems with Saddle-Centers

Kazuyuki Yagasaki , Shogo Yamanaka This is my paper

Pith reviewed 2026-05-25 11:10 UTC · model grok-4.3

classification 🧮 math.DS math-phmath.MP
keywords Hamiltonian systemssaddle-centersheteroclinic orbitsnonintegrabilitytransverse intersectionsperiodic orbitsLyapunov center theorem
0
0 comments X

The pith

If Jacobian matrices share the same purely imaginary eigenvalues, then stable and unstable manifolds of periodic orbits intersect transversely when nonintegrability conditions hold.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper considers two-degree-of-freedom Hamiltonian systems with two saddle-centers joined by heteroclinic orbits. It shows that matching pairs of purely imaginary eigenvalues in the Jacobian matrices at the saddle-centers produce transverse intersections of the stable and unstable manifolds of the associated Lyapunov periodic orbits on a common energy surface, but only when prior sufficient conditions for real-meromorphic nonintegrability are satisfied. Without that eigenvalue match the manifolds may intersect transversely, touch quadratically, or miss entirely, regardless of the nonintegrability conditions. A reader would care because the result ties an algebraic eigenvalue property directly to the geometric mechanism that generates complex orbit structure in these systems.

Core claim

In two-degree-of-freedom Hamiltonian systems whose saddle-centers are connected by heteroclinic orbits and whose Hessian matrices share the same number of positive eigenvalues, the Lyapunov center theorem supplies families of periodic orbits near each saddle-center. If the Jacobian matrices at the saddle-centers possess identical pairs of purely imaginary eigenvalues, then the stable and unstable manifolds of these periodic orbits intersect transversely on the same energy surface whenever the sufficient conditions for real-meromorphic nonintegrability obtained in earlier work hold; if the eigenvalues do not match, the manifolds intersect transversely, possess quadratic tangencies, or fail to

What carries the argument

The eigenvalue-matching condition on the Jacobian matrices at the two saddle-centers, which decides whether nonintegrability criteria imply transverse intersections of the stable and unstable manifolds of Lyapunov periodic orbits.

If this is right

  • Transverse intersections appear exactly when the eigenvalues match and the nonintegrability conditions are satisfied.
  • Without eigenvalue matching the intersection type is independent of the nonintegrability conditions.
  • The statements apply to any system whose saddle-centers satisfy the Hessian and heteroclinic hypotheses, including the quartic single-well potential example.
  • Numerical integrations of the quartic example confirm the predicted intersection behaviors.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The eigenvalue condition supplies a practical numerical test for nonintegrability once manifold intersections can be computed.
  • Analogous matching requirements on linearization data may govern heteroclinic dynamics in higher-degree-of-freedom Hamiltonian systems.
  • Integrability would therefore force mismatched imaginary eigenvalues for any pair of saddle-centers joined by heteroclinic orbits.

Load-bearing premise

The Hessian matrices of the Hamiltonian at the two saddle-centers have the same number of positive eigenvalues, and the systems are connected by heteroclinic orbits.

What would settle it

A concrete Hamiltonian system in which the Jacobians at the saddle-centers share the same pair of purely imaginary eigenvalues, the sufficient nonintegrability conditions hold, yet the stable and unstable manifolds of the Lyapunov periodic orbits fail to intersect transversely on the common energy surface.

Figures

Figures reproduced from arXiv: 1907.01161 by Kazuyuki Yagasaki, Shogo Yamanaka.

Figure 1
Figure 1. Figure 1: Assumptions (A2) and (A3). More concretely, we consider two-degree-of-freedom Hamiltonian systems of the form x˙ = JDxH(x, y), y˙ = JDyH(x, y), (x, y) ∈ R 2 × R 2 , (1.1) where H : R 2 × R 2 → R is analytic and J represents the 2 × 2 symplectic matrix, J =  0 1 −1 0 . We make the following assumptions. (A1) The x-plane,  (x, y) ∈ R 2 ×R 2 | y = 0 , is invariant under the flow of (1.1), i.e., DyH(x, 0) =… view at source ↗
Figure 2
Figure 2. Figure 2: The right branch of the unstable manifold of γ α− − and the left branch of the stable manifold of γ α+ + , denoted by Wu r [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Riemann surface Γ = x h (U) ∪ Ws + ∪ Wu −. Suppose that there also exists a heteroclinic orbit ˆx h (t) from x+ to x− on the x-plane and that the hypothesis of Theorem 2.1 holds for both of x h (t) and ˆx h (t). Then the unstable manifolds of γ α∓ ∓ intersect the stable manifolds of γ α± ± transversely on the energy surface and these manifolds form a heteroclinic cycle. This implies that there exist transv… view at source ↗
Figure 4
Figure 4. Figure 4: Numerical computation of the curve given by G(β1, β2, ω) = 0 with ω = 2 in the (β1, β2)-plane. -1.2 -0.8 -0.4 0 0.4 0.8 1.2 -0.8 -0.4 0 0.4 0.8 y 2 y1 [PITH_FULL_IMAGE:figures/full_fig_p015_4.png] view at source ↗
Figure 6
Figure 6. Figure 6: Stable and unstable manifolds of periodic orbits near the saddle-centers with x = (±1, 0) on the Poincar´e section  (x, y) ∈ R 2 × R 2 | y1 = 0 for β2 = 2, ω = 2 and H = 0.28: (a) β1 = 5 × 10−3 ; (b) 1.32×10−2 ; (c) 2×10−1 . These manifolds near x h +(t), 0  and x h −(t), 0  are plotted as solid and dashed lines, respectively, and blue and red colors are used for the stable and unstable manifolds, respe… view at source ↗
read the original abstract

We consider a class of two-degree-of-freedom Hamiltonian systems with saddle-centers connected by heteroclinic orbits and discuss some relationships between the existence of transverse heteroclinic orbits and nonintegrability. By the Lyapunov center theorem there is a family of periodic orbits near each of the saddle-centers, and the Hessian matrices of the Hamiltonian at the two saddle-centers are assumed to have the same number of positive eigenvalues. We show that if the associated Jacobian matrices have the same pair of purely imaginary eigenvalues, then the stable and unstable manifolds of the periodic orbits intersect transversely on the same Hamiltonian energy surface when sufficient conditions obtained in previous work for real-meromorphic nonintegrability of the Hamiltonian systems hold; if not, then these manifolds intersect transversely on the same energy surface, have quadratic tangencies or do not intersect whether the sufficient conditions hold or not. Our theory is illustrated for a system with quartic single-well potential and some numerical results are given to support the theoretical results.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript considers two-degree-of-freedom Hamiltonian systems with saddle-center equilibria connected by heteroclinic orbits. Under the standing assumption that the Hessians at the two saddle-centers have the same number of positive eigenvalues, the authors prove a conditional result: if the Jacobian matrices at these equilibria share the same pair of purely imaginary eigenvalues, then the stable and unstable manifolds of the Lyapunov periodic orbits intersect transversely on the common energy surface whenever the system satisfies the sufficient conditions for real-meromorphic nonintegrability obtained in prior work. If the imaginary eigenvalues differ, the intersection type (transverse intersection, quadratic tangency, or non-intersection) is independent of whether those nonintegrability conditions hold. The result is illustrated on a quartic single-well potential with accompanying numerical evidence.

Significance. If the derivation is correct, the paper supplies a spectral criterion that refines the link between real-meromorphic nonintegrability and the geometry of invariant manifolds in Hamiltonian systems with saddle-centers. The explicit case distinction based on eigenvalue matching prevents over-general claims about nonintegrability implying transversality and isolates when such conclusions are robust. The work properly conditions its main statement on earlier nonintegrability criteria and supplies numerical support for the quartic example. These features make the contribution a useful incremental advance in the study of integrability and global dynamics for low-dimensional Hamiltonian systems.

minor comments (2)
  1. [Abstract] Abstract and §1: the phrase 'the associated Jacobian matrices have the same pair of purely imaginary eigenvalues' should be restated with explicit reference to the linearization at each saddle-center and to the fact that the eigenvalues are counted with multiplicity.
  2. [Numerical results] The numerical section supporting the quartic example should state the integration method, step-size control, and tolerance used to detect transverse intersections versus tangencies.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our manuscript, the positive assessment of its significance, and the recommendation for minor revision. No specific major comments appear in the report, so we have no individual points requiring response or revision.

Circularity Check

0 steps flagged

No significant circularity; derivation remains self-contained

full rationale

The paper conditions transverse heteroclinic intersection on an eigenvalue-matching distinction for the Jacobian matrices together with nonintegrability criteria imported from prior work. The eigenvalue condition is introduced as an independent control that determines the intersection outcome even when the prior criteria are not satisfied. The Hessian eigenvalue-count assumption is stated explicitly as a setup hypothesis required for the Lyapunov families to be comparable. The Lyapunov center theorem is invoked as a standard external result. No equation or claim reduces a derived quantity to a fitted parameter by construction, and the load-bearing nonintegrability statement is treated as an external sufficient condition rather than being redefined inside the present argument. The derivation therefore adds independent mathematical content and does not collapse to self-reference.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the Lyapunov center theorem and structural assumptions on the Hessians and heteroclinic connections; no free parameters or invented entities are introduced.

axioms (2)
  • standard math Lyapunov center theorem guarantees a family of periodic orbits near each saddle-center
    Invoked in abstract paragraph 2 to establish the periodic orbits whose manifolds are studied.
  • domain assumption Hessian matrices at the two saddle-centers have the same number of positive eigenvalues
    Explicitly assumed for the class of systems considered (abstract paragraph 2).

pith-pipeline@v0.9.0 · 5712 in / 1356 out tokens · 26297 ms · 2026-05-25T11:10:06.707954+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages · 1 internal anchor

  1. [1]

    Ayoul M., Zung N.T., Galoisian obstructions to non-Hamiltonian integrability, C. R. Math. Acad. Sci. Paris 348 (2010), 1323–1326, arXiv:0901.4586

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  2. [2]

    Bogoyavlenskij O.I., Extended integrability and bi-Hamiltonian systems, Comm. Math. Phys. 196 (1998), 19–51. 16 K. Yagasaki and S. Yamanaka -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 -1 -0.5 0 0.5 1 (a) x2 x1 0.01 0.03 0.05 0.95 0.97 0.99 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 -1 -0.5 0 0.5 1 (b) x2 x1 0.01 0.03 0.05 0.95 0.97 0.99 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4...

    work page 1998

  3. [3]

    D 102 (1997), 101–124

    Champneys A.R., Lord G.J., Computation of homoclinic solutions to periodic orbits in a reduced water-wave problem, Phys. D 102 (1997), 101–124

    work page 1997

  4. [4]

    122, Amer

    Crespo T., Hajto Z., Algebraic groups and differential Galois theory, Graduate Studies in Mathematics , Vol. 122, Amer. Math. Soc., Providence, RI, 2011

    work page 2011

  5. [5]

    Doedel E.J., Oldeman B.E., AUTO-07P: Continuation and bifurcation software for ordinary differential equations, 2012, available at http://indy.cs.concordia.ca/auto

    work page 2012

  6. [6]

    Dovbysh S.A., The splitting of separatrices, the branching of solutions and non-integrability in the problem of the motion of a spherical pendulum with an oscillating suspension point, J. Appl. Math. Mech. 70 (2006), 42–55

    work page 2006

  7. [7]

    Grotta Ragazzo C., Nonintegrability of some Hamiltonian systems, scattering and analytic continuation, Comm. Math. Phys. 166 (1994), 255–277

    work page 1994

  8. [8]

    42, Springer-Verlag, New York, 1983

    Guckenheimer J., Holmes P., Nonlinear oscillations, dynamical systems, and bifurcations of vector fields, Applied Mathematical Sciences, Vol. 42, Springer-Verlag, New York, 1983

    work page 1983

  9. [9]

    86, Amer

    Ilyashenko Y., Yakovenko S., Lectures on analytic differential equations, Graduate Studies in Mathematics , Vol. 86, Amer. Math. Soc., Providence, RI, 2008

    work page 2008

  10. [10]

    A modern theory of special functions, Aspects of Mathematics, Vol

    Iwasaki K., Kimura H., Shimomura S., Yoshida M., From Gauss to Painlev´ e. A modern theory of special functions, Aspects of Mathematics, Vol. E16, Friedr. Vieweg & Sohn, Braunschweig, 1991

    work page 1991

  11. [11]

    31, Springer-Verlag, Berlin, 1996

    Kozlov V.V., Symmetries, topology and resonances in Hamiltonian mechanics, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) , Vol. 31, Springer-Verlag, Berlin, 1996. Heteroclinic Orbits and Nonintegrability in Hamiltonian Systems 17

    work page 1996

  12. [12]

    Lerman L.M., Hamiltonian systems with loops of a separatrix of a saddle-center, Selecta Math. Soviet. 10 (1991), 297–306

    work page 1991

  13. [13]

    Maciejewski A.J., Przybylska M., Nonintegrability of the Suslov problem, J. Math. Phys. 45 (2004), 1065– 1078

    work page 2004

  14. [14]

    Maciejewski A.J., Przybylska M., Differential Galois approach to the non-integrability of the heavy top problem, Ann. Fac. Sci. Toulouse Math. 14 (2005), 123–160, arXiv:math.DS/0404367

    work page arXiv 2005

  15. [15]

    Moscow Math

    Melnikov V.K., On the stability of a center for time-periodic perturbations, Trans. Moscow Math. Soc. 12 (1963), 3–52

    work page 1963

  16. [16]

    90, Springer, Cham, 2017

    Meyer K.R., Offin D.C., Introduction to Hamiltonian dynamical systems and the N-body problem, 3rd ed., Applied Mathematical Sciences, Vol. 90, Springer, Cham, 2017

    work page 2017

  17. [17]

    179, Birkh¨ auser Verlag, Basel, 1999

    Morales-Ruiz J.J., Differential Galois theory and non-integrability of Hamiltonian systems, Progress in Mathematics, Vol. 179, Birkh¨ auser Verlag, Basel, 1999

    work page 1999

  18. [18]

    Morales-Ruiz J.J., Peris J.M., On a Galoisian approach to the splitting of separatrices, Ann. Fac. Sci. Toulouse Math. 8 (1999), 125–141

    work page 1999

  19. [19]

    Morales-Ruiz J.J., Ramis J.P., Galoisian obstructions to integrability of Hamiltonian systems, Methods Appl. Anal. 8 (2001), 33–95

    work page 2001

  20. [20]

    77, Prince- ton University Press, Princeton, N.J., 1973

    Moser J., Stable and random motions in dynamical systems, Annals of Mathematics Studies, Vol. 77, Prince- ton University Press, Princeton, N.J., 1973

    work page 1973

  21. [21]

    I–III, AIP Press, New York, 1982

    Poincar´ e H., New methods of celestial mechanics, Vols. I–III, AIP Press, New York, 1982

    work page 1982

  22. [22]

    Sakajo T., Yagasaki K., Chaotic motion of the N-vortex problem on a sphere. I. Saddle-centers in two- degree-of-freedom Hamiltonians, J. Nonlinear Sci. 18 (2008), 485–525

    work page 2008

  23. [23]

    (Editor), Hamiltonian systems with three or more degrees of freedom, Nato Science Series C , Vol

    Sim´ o C. (Editor), Hamiltonian systems with three or more degrees of freedom, Nato Science Series C , Vol. 533, Kluwer, Dordrech, 1999

    work page 1999

  24. [24]

    328, Springer-Verlag, Berlin, 2003

    van der Put M., Singer M.F., Galois theory of linear differential equations, Grundlehren der Mathematischen Wissenschaften, Vol. 328, Springer-Verlag, Berlin, 2003

    work page 2003

  25. [25]

    Whittaker E.T., Watson G.N., A course of modern analysis, Cambridge Mathematical Library , Cambridge University Press, Cambridge, 1996

    work page 1996

  26. [26]

    2, Springer-Verlag, New York, 2003

    Wiggins S., Introduction to applied nonlinear dynamical systems and chaos, 2nd ed., Texts in Applied Mathematics, Vol. 2, Springer-Verlag, New York, 2003

    work page 2003

  27. [27]

    Yagasaki K., Horseshoes in two-degree-of-freedom Hamiltonian systems with saddle-centers, Arch. Ration. Mech. Anal. 154 (2000), 275–296

    work page 2000

  28. [28]

    Yagasaki K., Homoclinic and heteroclinic behavior in an infinite-degree-of-freedom Hamiltonian system: chaotic free vibrations of an undamped, buckled beam, Phys. Lett. A 285 (2001), 55–62

    work page 2001

  29. [29]

    Yagasaki K., Galoisian obstructions to integrability and Melnikov criteria for chaos in two-degree-of-freedom Hamiltonian systems with saddle centres, Nonlinearity 16 (2003), 2003–2012

    work page 2003

  30. [30]

    Differential Equations 263 (2017), 1009–1027

    Yagasaki K., Yamanaka S., Nonintegrability of dynamical systems with homo- and heteroclinic orbits, J. Differential Equations 263 (2017), 1009–1027

    work page 2017

  31. [31]

    USSR Izvestiya 31 (1988), 407–421

    Ziglin S.L., Splitting of the separatrices and the nonexistence of first integrals in systems of differential equations of Hamiltonian type with two degrees of freedom, Math. USSR Izvestiya 31 (1988), 407–421

    work page 1988

  32. [32]

    Ziglin S.L., The absence of an additional real-analytic first integral in some problems of dynamics, Funct. Anal. Appl. 31 (1997), 3–9

    work page 1997