arxiv: 2604.22707 · v1 · submitted 2026-04-24 · 🧮 math.CA

Recognition: unknown

Existence of a periodic solution for superquadratic Hamiltonian systems with possible finite-time blow-up

Alberto Cagnetta, Paolo Gidoni

Pith reviewed 2026-05-08 08:57 UTC · model grok-4.3

classification 🧮 math.CA

keywords periodic solutionHamiltonian systemfinite-time blow-uprotational numberfixed-point theoremsuperquadraticAmbrosetti-Rabinowitz conditionplanar system

0 comments

The pith

Unbounded rotations of large solutions guarantee a periodic orbit even if some trajectories blow up

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

The paper proves that for the planar system ż = F(t,z), if the number of rotations completed by solutions over one period tends to infinity as the size of the initial condition grows without bound, then a T-periodic solution must exist. The argument applies in particular to superquadratic Hamiltonian systems that satisfy the Ambrosetti-Rabinowitz condition. The proof rests on a fixed-point theorem that tracks these rotational properties and deliberately avoids any growth assumptions that would force all solutions to exist for all future times. As a result the theorem covers systems in which some trajectories may escape to infinity in finite time. The authors also supply a family of explicit Hamiltonian examples that exhibit such blow-up yet still possess periodic solutions.

Core claim

If the rotational number of solutions tends to infinity as the norm of the initial condition tends to infinity, then the planar system ż = F(t,z) admits a T-periodic solution. The statement holds for superquadratic Hamiltonian systems obeying the Ambrosetti-Rabinowitz condition and remains valid even when the flow permits finite-time blow-up.

What carries the argument

A fixed-point theorem that converts the growth to infinity of the number of rotations performed in one period into the existence of a fixed point of the Poincaré map.

If this is right

The existence result applies directly to all superquadratic Hamiltonian systems that meet the Ambrosetti-Rabinowitz growth condition.
No separate assumption guaranteeing global-in-time existence of solutions is required.
Finite-time blow-up of some trajectories is compatible with the existence of a periodic solution.
The proof route proceeds via rotational properties and a fixed-point argument rather than variational or continuation methods.

Where Pith is reading between the lines

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

The same rotational-growth test could be applied to other planar non-Hamiltonian systems to locate periodic orbits without first proving global existence.
Numerical integration of trajectories starting at successively larger radii can be used to verify the rotation-growth hypothesis in concrete models before invoking the theorem.
The separation of periodic-orbit existence from global continuation may be useful for studying blow-up in related classes of ordinary differential equations.

Load-bearing premise

The rotational number of solutions over one period must tend to infinity whenever the norm of the initial condition tends to infinity.

What would settle it

An explicit superquadratic Hamiltonian system satisfying the Ambrosetti-Rabinowitz condition for which the rotational number remains bounded on a sequence of larger and larger initial data yet no T-periodic solution exists would disprove the claim.

read the original abstract

We prove a sufficient condition for the existence of a $T$-periodic solution for the planar system $\dot z=F(t,z)$, characterized by the growth to infinity of the rotations made in one period by solutions starting at increasingly large initial values. Our result applies in particular to superquadratic Hamiltonian systems satisfying the Ambrosetti--Rabinowitz condition. The key novelty of the paper is that we do not require any growth condition on the flow to ensure global existence of solutions, allowing finite-time blow-up. Our method is based on a fixed-point theorem which exploits the rotational properties of the dynamics. To conclude, we discuss a family of examples of Hamiltonian systems showing finite-time blow-up.

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.

Desk Editor's Note private letter to a colleague

The paper gives a rotational fixed-point condition for T-periodic orbits in planar systems that tolerates finite-time blow-up, but the argument needs to show how winding numbers are well-defined when many large trajectories do not survive the full interval.

read the letter

The new piece is a sufficient condition phrased purely in terms of rotational growth: if the number of turns around the origin made by solutions starting at large |z0| goes to infinity, then a T-periodic orbit exists. This is applied to superquadratic Hamiltonians under the Ambrosetti-Rabinowitz condition, and the authors drop the usual global-existence hypothesis that most earlier theorems impose. They also supply concrete examples where solutions do blow up in finite time, which is useful for seeing the setting in action.

Referee Report

2 major / 2 minor

Summary. The paper proves a sufficient condition for the existence of a T-periodic solution to the planar system ż = F(t,z), based on the property that the number of rotations around the origin made by solutions over one period tends to infinity as |z0| → ∞. This is applied to superquadratic Hamiltonian systems satisfying the Ambrosetti-Rabinowitz condition. The key novelty is that the result requires no growth conditions ensuring global existence of solutions, explicitly allowing finite-time blow-up; the proof uses a fixed-point theorem exploiting rotational properties of the dynamics, and examples of blow-up are discussed.

Significance. If the topological argument is made fully rigorous for flows with possible blow-up, the result would be a meaningful extension of classical existence theorems for periodic orbits in Hamiltonian systems, as it removes the common global-existence hypothesis. The rotational-growth condition is independently verifiable in principle and the provision of explicit blow-up examples is a concrete strength.

major comments (2)

[Main theorem and §3] The fixed-point theorem (invoked to produce the periodic orbit from rotational growth) is applied to the winding number of the flow over the full interval [0,T]. With finite-time blow-up permitted and no growth conditions imposed, the set of initial data z0 with |z0| large for which the solution exists on the entire [0,T] may fail to be the whole exterior of a large disk; this could leave holes or prevent the topological degree from being well-defined or nonzero. The manuscript must explicitly modify or justify the fixed-point argument for the partial flow on the maximal existence interval (see the statement of the main theorem and the proof in §3).
[Examples and verification of the hypothesis] The rotational-growth hypothesis is the load-bearing assumption, yet its verification for the superquadratic Hamiltonian examples (which satisfy AR but allow blow-up) is only sketched. It is necessary to confirm that the winding number still tends to infinity on the (possibly punctured) set of initial data whose solutions reach time T, rather than on the full large circle.

minor comments (2)

[Introduction and preliminaries] Notation for the rotation count (winding number) should be introduced with a precise formula or integral expression early in the paper, including how it is defined or extended when the solution ceases to exist before T.
[Introduction] A few references to classical results on rotational methods (e.g., Poincaré-Birkhoff or related degree arguments) could be added for context, especially those that handle non-global flows.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the constructive major comments. The concerns about the topological argument under possible finite-time blow-up are well-taken, and we will revise the paper to provide the requested clarifications and expansions while preserving the core novelty of the result.

read point-by-point responses

Referee: [Main theorem and §3] The fixed-point theorem (invoked to produce the periodic orbit from rotational growth) is applied to the winding number of the flow over the full interval [0,T]. With finite-time blow-up permitted and no growth conditions imposed, the set of initial data z0 with |z0| large for which the solution exists on the entire [0,T] may fail to be the whole exterior of a large disk; this could leave holes or prevent the topological degree from being well-defined or nonzero. The manuscript must explicitly modify or justify the fixed-point argument for the partial flow on the maximal existence interval (see the statement of the main theorem and the proof in §3).

Authors: We agree that the application of the fixed-point theorem requires explicit justification when the existence set may be punctured by blow-up. The main theorem is already phrased in terms of initial data z0 for which the solution exists on [0,T], and the rotational-growth hypothesis is imposed only on that set. In the revised version we will expand the proof in §3 with a new lemma establishing that the admissible set is open in the large exterior and that the winding-number condition forces the topological degree (computed via the Poincaré map on this set) to be nonzero on a suitable large annular component. This will be achieved by noting that the winding number is locally constant on connected components of the existence set and invoking the hypothesis to guarantee a component on which the degree is nonzero, thereby locating a fixed point. The revised argument will be stated for the partial flow on the maximal interval. revision: yes
Referee: [Examples and verification of the hypothesis] The rotational-growth hypothesis is the load-bearing assumption, yet its verification for the superquadratic Hamiltonian examples (which satisfy AR but allow blow-up) is only sketched. It is necessary to confirm that the winding number still tends to infinity on the (possibly punctured) set of initial data whose solutions reach time T, rather than on the full large circle.

Authors: We accept that the verification for the Hamiltonian examples needs to be made fully rigorous on the restricted existence set. In the revised manuscript we will replace the sketch with a detailed argument showing that, for the family of superquadratic Hamiltonians satisfying the Ambrosetti–Rabinowitz condition, any solution that blows up in finite time must first complete an arbitrarily large number of rotations as |z0| → ∞. This follows from integrating the angular velocity estimate derived from the superquadratic growth; the blow-up time is controlled by the energy, but the angular speed grows without bound, forcing the winding number to diverge on every sequence of admissible initial data. Explicit bounds and a short lemma will be added to the examples section. revision: yes

Circularity Check

0 steps flagged

No circularity: sufficient condition uses independent rotational-growth hypothesis

full rationale

The derivation states a sufficient condition (rotational number of the flow over [0,T] tends to infinity as |z0|→∞) that triggers a fixed-point theorem for a T-periodic orbit. This hypothesis is formulated as an external, checkable property of the vector field F and is not obtained by fitting parameters to the target periodic solution, nor is it defined in terms of the conclusion itself. The paper explicitly advertises that the argument tolerates finite-time blow-up without global-existence assumptions, so the rotational count is applied only on the maximal existence intervals where it is defined; no step reduces the claimed existence result to a tautological renaming or self-referential definition of the same quantity. No load-bearing self-citation chain or ansatz smuggling is present in the abstract or stated method.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof rests on standard topological tools (likely Brouwer or Poincaré-Bohl fixed-point theorems) and basic properties of continuous planar flows; no free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)

standard math Standard fixed-point theorems for continuous maps on the plane or on annuli apply to the Poincaré map or rotation number construction.
Invoked implicitly by the fixed-point argument described in the abstract.

pith-pipeline@v0.9.0 · 5410 in / 1333 out tokens · 55357 ms · 2026-05-08T08:57:25.939062+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references

[1]

Bahri and H

A. Bahri and H. Berestycki, Forced vibrations of superquadratic Hamiltonian systems. Acta Math. 152 (1984), 143–197

1984
[2]

Boscaggin, Periodic solutions to superlinear planar Hamiltonian systems

A. Boscaggin, Periodic solutions to superlinear planar Hamiltonian systems. Port. Math. 69 (2012), 127–140

2012
[3]

Capietto, J

A. Capietto, J. Mawhin and F. Zanolin, A continuation approach to superlinear periodic boundary value problems. J. Differ. Equations 88 (1990), 347–395

1990
[4]

Coffman and D.F

C.V. Coffman and D.F. Ullrich, On the continuation of solutions of a certain non-linear differential equation. Monatsh. Math. 71 (1967), 385–392

1967
[5]

Ehrmann, Nachweis periodischer Lösungen bei gewissen nichtlinearen Schwingungsdiffer- entialgleichungen

H. Ehrmann, Nachweis periodischer Lösungen bei gewissen nichtlinearen Schwingungsdiffer- entialgleichungen. Arch. Rational Mech. Anal. 1 (1957), 124–138

1957
[6]

Feltrin, A

G. Feltrin, A. Fonda and A. Sfecci, A Poincaré–Birkhoff theorem for multivalued successor maps with applications to periodic superlinear Hamiltonian systems. J. Fixed Point Theory Appl. 26 (2024), Paper No. 61

2024
[7]

Filippov, Differential equations with discontinuous righthand sides

A.F. Filippov, Differential equations with discontinuous righthand sides. Translated from the Russian. Mathematics and its Applications (Soviet Series), 18. Kluwer Academic Publishers Group, Dordrecht, 1988

1988
[8]

Fonda, M

A. Fonda, M. Sabatini and F. Zanolin, Periodic solutions of perturbed Hamiltonian systems in the plane by the use of the Poincaré-Birkhoff theorem. Topol. Methods Nonlinear Anal. 40 (2012), 29–52

2012
[9]

Fonda and A

A. Fonda and A. Sfecci, Periodic solutions of weakly coupled superlinear systems. J. Differ. Equations 260 (2016), 2150–2162

2016
[10]

Fučík and V

S. Fučík and V. Lovicar, Periodic solutions of the equationx′′(t) +g(x(t)) =p(t). Čas. Pěst. Mat. 100 (1975), 160–175

1975
[11]

Gidoni, Existence of a periodic solution for superlinear second order ODEs

P. Gidoni, Existence of a periodic solution for superlinear second order ODEs. J. Differ. Equations 345 (2023), 401–417

2023
[12]

Hartman, On boundary value problems for superlinear second order differential equations

P. Hartman, On boundary value problems for superlinear second order differential equations. J. Differ. Equations 26 (1977), 37–53

1977
[13]

Periodic solutions ofx′′ +f(x, t) = 0via the Poincaré–Birkhoff theorem

H. Jacobowitz, Periodic solutions ofx′′ +f(x, t) = 0via the Poincaré–Birkhoff theorem. J. Differ. Equations 20 (1976), 37–52; The existence of the second fixed point: A correction to “Periodic solutions ofx′′ +f(x, t) = 0via the Poincaré–Birkhoff theorem”. J. Differ. Equations 25 (1977), 148–149. 21

1976
[14]

Long, Periodic solutions of perturbed superquadratic Hamiltonian systems

Y.M. Long, Periodic solutions of perturbed superquadratic Hamiltonian systems. Ann. Sc. Norm. Super. Pisa Cl. Sci., Serie 4, 17 (1990), 35–77

1990
[15]

Morris, A differential equation for undamped forced non-linear oscillations

G.R. Morris, A differential equation for undamped forced non-linear oscillations. I, Proc. Cambridge Philos. Soc. 51 (1955), 297–312

1955
[16]

Morris, A differential equation for undamped forced non-linear oscillations

G.R. Morris, A differential equation for undamped forced non-linear oscillations. III. Proc. Cambridge Philos. Soc. 61 (1965), 133–155

1965
[17]

Pisani and M

R. Pisani and M. Tucci, Existence of infinitely many periodic solutions for a perturbed Hamil- tonian system. Nonlinear Anal. 8 (1984), 873–891

1984
[18]

Rabinowitz, Periodic solutions of Hamiltonian systems

P.H. Rabinowitz, Periodic solutions of Hamiltonian systems. Comm. Pure Appl. Math. 31 (1978), 157–184

1978
[19]

Struwe, Multiple solutions of anticoercive boundary value problems for a class of ordinary differential equations of second order

M. Struwe, Multiple solutions of anticoercive boundary value problems for a class of ordinary differential equations of second order. J. Differ. Equations 37 (1980), 285–295

1980
[20]

S. Wang, F. Chen and D. Qian, The existence of periodic solution for superlinear second order ODEs by a new fixed point approach. J. Differ. Equations 410 (2024), 481–512. 22

2024