Recognition: unknown
Integrable perturbations of polynomial Hamiltonian systems
Pith reviewed 2026-05-08 04:12 UTC · model grok-4.3
The pith
For any positive integer M, a real-analytic perturbation F vanishing to order M+1 at a non-degenerate equilibrium can be added to make the Hamiltonian system completely integrable over all of R^{2n}.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under nonresonance assumptions on the frequencies of the non-degenerate equilibrium at the origin, for any positive integer M there exists a real-analytic function F such that F is O((|x| + |y|)^{M+1}) near the origin and the Hamiltonian H + F generates a completely integrable system on the entire R^{2n}.
What carries the argument
The real-analytic perturbation F of sufficiently high order at the origin that restores complete integrability to the Hamiltonian system.
If this is right
- The perturbed system admits a complete set of integrals in involution, allowing reduction to quadrature.
- Action-angle variables exist globally for the integrable system.
- Near the origin, the dynamics approximate the original linear system up to high order.
- The construction works for any dimension 2n and any M, showing flexibility in restoring integrability.
Where Pith is reading between the lines
- Integrability might be achievable in a dense set of Hamiltonians in some topology.
- This suggests that non-integrable behavior is fragile under high-order perturbations.
- Extensions could apply to systems with resonances if other techniques are used.
- Practical simulations might benefit by using such integrable approximations for long-term stability.
Load-bearing premise
The frequencies associated with the equilibrium satisfy certain nonresonance conditions.
What would settle it
A concrete resonant example, such as a 1:1 resonance in two degrees of freedom, where for small M no analytic F of the required order makes the system integrable.
read the original abstract
We consider a Hamiltonian system on the symplectic space $({\mathbb{R}}^{2n}, dy\wedge dx)$ with a real-analytic Hamiltonian $H : {\mathbb{R}}^{2n}\to {\mathbb{R}}$. We assume that the system has a non-degenerate equilibrium position at the origin. Under some nonresonance assumptions we prove the following. For any positive integer $M$ there exists a real-analytic function $F:{\mathbb{R}}^{2n}\to{\mathbb{R}}$ such that (1) $F = O\big( (|x|+|y|)^{M+1} \big)$ at the origin, (2) the system with Hamiltonian $H+F$ is completely integrable in ${\mathbb{R}}^{2n}$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that if a real-analytic Hamiltonian H on R^{2n} has a nondegenerate equilibrium at the origin satisfying suitable nonresonance conditions on its linear frequencies, then for every positive integer M there exists a real-analytic perturbation F with F = O((|x| + |y|)^{M+1}) at the origin such that the Hamiltonian system generated by H + F is completely integrable on the whole of R^{2n}.
Significance. If the global analyticity and functional independence of the integrals can be rigorously established, the result would show that complete integrability is attainable by perturbations that are arbitrarily flat at a given equilibrium. This bears on questions of density of integrable systems within analytic Hamiltonians and on the extent to which local nonresonance controls global structure.
major comments (2)
- [Proof of the main existence statement] The central construction (presumably the proof of the main theorem) produces F by a local normalization or averaging procedure that uses the nonresonance hypothesis only at the origin. It is not shown how this local jet extends to a globally defined real-analytic function on R^{2n} while preserving the property that the n integrals remain independent and in involution for all |x| + |y| large. Analytic continuation from a neighborhood of the origin can introduce resonances or loss of independence at infinity unless additional global hypotheses on H are imposed.
- [Statement of the main theorem and the nonresonance hypotheses] The statement claims complete integrability on the entire phase space, yet the only nondegeneracy and nonresonance data supplied concern the linearization at the origin. No argument is given that the constructed integrals remain functionally independent or commute when the trajectories leave any fixed neighborhood of the equilibrium.
minor comments (2)
- [Abstract] The abstract and introduction should state the precise nonresonance conditions (e.g., the Diophantine or Bruno-type conditions on the frequency vector) rather than referring to them generically.
- [Introduction] Notation for the symplectic form and the coordinates (x, y) is introduced without an explicit reminder that the equilibrium is at the origin; a short sentence would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for highlighting these important points about the global character of the result. We address each major comment below and indicate the revisions we intend to make.
read point-by-point responses
-
Referee: [Proof of the main existence statement] The central construction (presumably the proof of the main theorem) produces F by a local normalization or averaging procedure that uses the nonresonance hypothesis only at the origin. It is not shown how this local jet extends to a globally defined real-analytic function on R^{2n} while preserving the property that the n integrals remain independent and in involution for all |x| + |y| large. Analytic continuation from a neighborhood of the origin can introduce resonances or loss of independence at infinity unless additional global hypotheses on H are imposed.
Authors: The referee correctly notes that the averaging/normalization step is carried out in a neighborhood of the origin. In the revised manuscript we will insert a new subsection that explains how the local normalizing transformation is realized by a globally defined real-analytic perturbation F. Because H is real-analytic on all of R^{2n}, the local jet of the normalizing terms can be realized as the Taylor expansion at the origin of a globally convergent power series whose coefficients are chosen so that the resulting integrals (which are themselves globally analytic by construction) remain in involution and functionally independent everywhere. We will add explicit estimates showing that no new resonances are introduced at large distances under the standing non-resonance assumption at the origin. This addresses the analytic-continuation concern without requiring extra global hypotheses on H. revision: yes
-
Referee: [Statement of the main theorem and the nonresonance hypotheses] The statement claims complete integrability on the entire phase space, yet the only nondegeneracy and nonresonance data supplied concern the linearization at the origin. No argument is given that the constructed integrals remain functionally independent or commute when the trajectories leave any fixed neighborhood of the equilibrium.
Authors: We agree that an explicit global verification is currently missing from the text. In the revision we will add a paragraph (immediately after the statement of the main theorem) proving that the n integrals constructed in the normalization procedure satisfy {I_j, I_k} = 0 and dI_1 ∧ ⋯ ∧ dI_n ≠ 0 at every point of R^{2n}. The argument uses the fact that the Poisson brackets and the differentials are themselves real-analytic functions on the whole space; once they vanish (respectively, remain non-zero) in a neighborhood of the origin they vanish (respectively, remain non-zero) everywhere by analytic continuation. This uses only the local non-resonance data already stated in the theorem. revision: yes
Circularity Check
Existence theorem for analytic integrable perturbations is self-contained
full rationale
The paper states an existence result: under nonresonance assumptions on the linear frequencies at a nondegenerate equilibrium, for any M there exists a real-analytic F vanishing to order M+1 at the origin such that H+F is completely integrable on all of R^{2n}. This is a standard constructive or perturbative existence claim in Hamiltonian dynamics; the nonresonance hypothesis is an external input that enables local normalization or averaging, after which global analytic continuation or patching is asserted to produce n independent integrals in involution. No equation or step equates the claimed integrals to a redefinition of F or the frequencies, no fitted parameter is relabeled as a prediction, and no load-bearing self-citation chain is invoked to close the argument. The derivation therefore remains independent of its own output.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The equilibrium at the origin is non-degenerate.
- domain assumption Some nonresonance assumptions hold.
Reference graph
Works this paper leans on
-
[1]
I .Arnold, Mathematical Methods of Classical Mechanics
V. I .Arnold, Mathematical Methods of Classical Mechanics. Graduate Texts in Mathemat- ics (Vol. 60), Springer Science & Business Media, 1997
1997
-
[2]
Annals of Mathematics, Vol
Hans Grauert, On Levi’s Problem and the Imbedding of Real-Analytic Manifolds. Annals of Mathematics, Vol. 68, No. 2 (Sep., 1958), pp. 460-472
1958
-
[3]
Treschev and O
D. Treschev and O. Zubelevich. Introduction to the perturbation theory of Hamiltonian systems, Springer Monogr. Math., Springer-Verlag, Berlin, 2010, x+211 pp
2010
-
[4]
Treschev, Normalization flow
D. Treschev, Normalization flow. Regul. Chaotic Dyn., 28:4 (2023), 781–804
2023
-
[5]
Treschev, Normalization flow in the presence of resonances
D. Treschev, Normalization flow in the presence of resonances. Izv. Math., 89:1 (2025), 172–195. 7
2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.