pith. machine review for the scientific record. sign in

arxiv: 2605.05805 · v1 · submitted 2026-05-07 · 🧮 math.CA

Recognition: unknown

Finitude of Limit Cycles of Linear Piecewise ODEs in the Cylinder

J.L. Bravo , R. Trinidad-Forte
Authors on Pith no claims yet

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

classification 🧮 math.CA
keywords limit cyclespiecewise linearcylindertrigonometric coefficientsHilbert 16th problemupper boundperiodic orbitsdifferential equations
0
0 comments X

The pith

Piecewise linear ODEs on the cylinder have finitely many limit cycles, with the total bounded by the number of linear regions and the trigonometric degree of the coefficients.

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

The paper establishes a concrete upper bound on the number of limit cycles for differential equations that are linear within each of several regions but switch between those linear expressions, while depending trigonometrically on time and evolving on a cylinder. This bound depends only on the number of regions and the degree of the trigonometric coefficients, without further restrictions on where the switches occur. It supplies a resolved version of Hilbert's sixteenth problem for this restricted but natural class of systems. A reader would care because the general polynomial version of the problem remains open, so the result shows that finiteness is provable once linearity in the state variable is imposed.

Core claim

For the equation x' = S(t,x) on the cylinder that is piecewise linear in x with trigonometric coefficients in t, the number of limit cycles admits an upper bound determined solely by the number of linear pieces and the degree of the trigonometric functions.

What carries the argument

The piecewise linear structure in x together with trigonometric periodicity in t, which permits a zero-counting argument that tracks sign changes or intersections across the regions to produce the global bound.

Load-bearing premise

The vector field must be exactly linear in x inside each region of a finite partition, with the time dependence given by trigonometric polynomials of finite degree.

What would settle it

An explicit example of a piecewise linear system on the cylinder whose number of limit cycles exceeds the stated upper bound for its number of regions and coefficient degree.

read the original abstract

Let $x'=S(t,x)$ be a differential equation in the cylinder, linear piecewise in $x$ and with trigonometric coefficients in $t$. In this paper, we provide an upper bound on the number of limit cycles in terms of the number of regions of the piecewise equation and the degree of the coefficients, that is, an analogue of Hilbert's 16th problem in this context.

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

2 major / 2 minor

Summary. The paper considers differential equations x' = S(t,x) on the cylinder that are linear in x within each of finitely many regions, with coefficients that are trigonometric polynomials in t of bounded degree. It claims to establish an explicit upper bound on the number of isolated periodic orbits (limit cycles) in terms of the number of regions and the degree of the trigonometric coefficients, thereby furnishing an analogue of Hilbert's 16th problem for this class of piecewise-linear systems.

Significance. If the bound is rigorously established under the stated hypotheses, the result would be a modest but useful contribution to the qualitative theory of non-smooth periodic systems. It would demonstrate that the Poincaré return map, after piecewise integration, reduces to a transcendental equation whose number of zeros can be controlled by standard techniques for functions of finite order or by Rolle-type arguments adapted to the piecewise setting. The manuscript does not appear to contain machine-checked proofs or fully parameter-free derivations, but the explicit dependence on region count and degree is a clear strength.

major comments (2)
  1. §2 (Definition of the system and switching surfaces): The statement of the main theorem does not impose or verify transversality of the vector field to the switching surfaces. When the field points inward from both sides, Filippov regularization produces a differential inclusion on the surface whose periodic orbits need not be isolated; the zero-counting argument used for the return map therefore fails to apply. The bound is claimed without this hypothesis, so the result as stated is not supported.
  2. §4 (Construction of the Poincaré map): The piecewise integration yields a map whose fixed-point equation is asserted to have at most N(k,d) roots. No explicit estimate for N(k,d) is derived in the text, and the passage from the linear pieces to the global transcendental equation omits the contribution of possible sliding segments. This omission is load-bearing for the finitude claim.
minor comments (2)
  1. Notation for the trigonometric degree is introduced inconsistently between the abstract and §1; a single symbol should be fixed.
  2. Figure 1 (phase portrait on the cylinder) lacks labels for the switching curves and the direction of the flow; this reduces readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. The comments highlight important points regarding the hypotheses and explicitness of our arguments, which we address below. We will incorporate clarifications and additions in the revised version to strengthen the presentation.

read point-by-point responses

  1. Referee: §2 (Definition of the system and switching surfaces): The statement of the main theorem does not impose or verify transversality of the vector field to the switching surfaces. When the field points inward from both sides, Filippov regularization produces a differential inclusion on the surface whose periodic orbits need not be isolated; the zero-counting argument used for the return map therefore fails to apply. The bound is claimed without this hypothesis, so the result as stated is not supported.

    Authors: We agree that the transversality condition is essential and should be stated explicitly. In the revised manuscript, we will add this hypothesis to the main theorem in §2, requiring that the vector field is transversal to all switching surfaces. This ensures the Poincaré return map is well-defined via transversal crossings, excludes sliding modes under Filippov regularization, and preserves the isolation of periodic orbits. We will also add a short remark explaining that this is a standard assumption in piecewise-smooth systems to guarantee the applicability of the zero-counting arguments. revision: yes

  2. Referee: §4 (Construction of the Poincaré map): The piecewise integration yields a map whose fixed-point equation is asserted to have at most N(k,d) roots. No explicit estimate for N(k,d) is derived in the text, and the passage from the linear pieces to the global transcendental equation omits the contribution of possible sliding segments. This omission is load-bearing for the finitude claim.

    Authors: We appreciate the referee's observation on the need for explicitness. The bound N(k,d) arises in §4 from iterative application of Rolle's theorem to the transcendental fixed-point equation obtained by composing the explicit solutions of the linear pieces (each involving trigonometric polynomials of degree d). We will revise §4 to derive and state the explicit form of N(k,d) in full detail. With the transversality hypothesis added as noted above, sliding segments are excluded by assumption, so the global equation accounts solely for the transversal piecewise integrations without differential inclusions. revision: partial

Circularity Check

0 steps flagged

No circularity; bound derived from standard zero-counting on piecewise return map

full rationale

The abstract states an upper bound on limit cycles for linear piecewise systems with trigonometric coefficients on the cylinder, framed as an analogue of Hilbert's 16th problem. No equations, parameters, or self-citations appear in the provided text. The claimed finitude follows from controlling the number of zeros of a piecewise-defined transcendental equation whose degree is fixed by the coefficient degree and number of regions; this counting argument is independent of the target bound and does not reduce to a fitted input, self-definition, or load-bearing self-citation. The derivation is therefore self-contained against external benchmarks such as classical Rolle-type theorems or piecewise integration.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or new entities introduced in the proof.

pith-pipeline@v0.9.0 · 5353 in / 995 out tokens · 48055 ms · 2026-05-08T03:51:52.982179+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

37 extracted references · 1 canonical work pages

  1. [1]

    Andersen, K.M., Sandqvist, A.:Existence of closed solutions of an equation˙x= f(t, x), wheref x(t, x)is weakly convex or concave inx, J. Math. Anal. Appl.229, 480–500 (1999) LIMIT CYCLES OF LINEAR PIECEWISE ODES IN THE CYLINDER 25

    1999

  2. [2]

    Benardete, D.M., Noonburg, V.W., Pollina, B.:Qualitative tools for studying periodic solutions and bifurcations as applied to the periodically harvested logistic equation, Amer. Math. Monthly115, 202–219 (2008)

    2008

  3. [3]

    Bravo, J.L., Carmona, V., Fern´ andez, M., Ojeda, I.:Upper bound of the number of limit cycles for symmetric scalar piecewise linear differential equations with three zones, arXiv:2507.06705, (2025)

    work page arXiv 2025

  4. [4]

    Theory Dyn

    Bravo, J.L., Fern´ andez, M., Ojeda, I.:Hilbert number for a family of piecewise nonau- tonomous equations, Qual. Theory Dyn. Syst.23, 119 (2024)

    2024

  5. [5]

    Pure Appl

    Bravo, J.L., Fern´ andez, M., Tineo, A.:Periodic solutions of a periodic scalar piecewise ODE, Commun. Pure Appl. Anal.6, 213–228 (2007)

    2007

  6. [6]

    Theory Dyn

    Bravo, J.L., Trinidad-Forte, R.:Global centers in piecewise linear equations in the cylinder, Qual. Theory Dyn. Syst.25, 26 (2026)

    2026

  7. [7]

    Buzzi, C., Pessoa, C., Torregrosa, J.:Piecewise linear perturbations of a linear center, Discrete Contin. Dyn. Syst.33, 3915–3936 (2013)

    2013

  8. [8]

    Carmona, V., Freire, E., Ponce, E., Torres, F.:Invariant manifold of periodic orbits for piecewise linear three-dimensional systems, IMA J. Appl. Math.69, 71–91 (2004)

    2004

  9. [9]

    A., Levinson, N.:Theory of Ordinary Differential Equations, Mc- Graw–Hill, New York–Toronto–London (1955)

    Coddington, E. A., Levinson, N.:Theory of Ordinary Differential Equations, Mc- Graw–Hill, New York–Toronto–London (1955)

    1955

  10. [10]

    Coll, B., Gasull, A., Prohens, R.:Simple non-autonomous differential equations with many limit cycles, Commun. Appl. Nonlinear Anal.15, 29–34 (2008)

    2008

  11. [11]

    Math.152, 21–31 (1994)

    Conti, R.:Uniformly isochronous centres of polynomial systems inR 2, Lecture Notes Pure Appl. Math.152, 21–31 (1994)

    1994

  12. [12]

    A.:A survey of quadratic systems, J

    Coppel, W. A.:A survey of quadratic systems, J. Differential Equations2, 293–304 (1966)

    1966

  13. [13]

    Differ- ential Equations147, 435–454 (1998)

    Devlin, J., Lloyd, N.G., Pearson, J.M.:Cubic systems and Abel equations, J. Differ- ential Equations147, 435–454 (1998)

    1998

  14. [14]

    Filippov, A.F.:Differential equations with discontinuous righthand sides, Math. Appl. (Soviet Ser.)18(1988)

    1988

  15. [15]

    Fossas-Colet, E., Olm-Miras, J.M.:Asymptotic tracking in dc-to-dc nonlinear power converters, Discrete Contin. Dyn. Syst. Ser. B2, 295–307 (2002)

    2002

  16. [16]

    Gabrielov, A., Vorobjov, N.:Complexity of computations with Pfaffian and Noether- ian functions, in: Normal Forms, Bifurcations and Finiteness Problems in Differential Equations, NATO Sci. Ser. II Math. Phys. Chem.137, 211–250 (2004)

    2004

  17. [17]

    Geom.14, 71–91 (1995)

    Gabrielov, A., Vorobjov, N.:Complexity of stratifications of semi-Pfaffian sets, Dis- crete Comput. Geom.14, 71–91 (1995)

    1995

  18. [18]

    Gasull, A.:From Abel’s differential equations to Hilbert’s 16th problem, S˜ ao Paulo J. Math. Sci.18, 1342–1379 (2024)

    2024

  19. [19]

    Gasull, A., Guillamon, A.:Limit cycles for generalized Abel equations, Internat. J. Bifur. Chaos Appl. Sci. Engrg.16, 3737–3745 (2006)

    2006

  20. [20]

    Gasull, A., Llibre, J.:Limit cycles for a class of Abel equations, SIAM J. Math. Anal. 21, 1235–1244 (1990)

    1990

  21. [21]

    Gasull, A., Prohens, R.:Quadratic and cubic systems with degenerate infinity, J. Math. Anal. Appl.198, 25–34 (1996)

    1996

  22. [22]

    Pure Appl

    Gasull, A., Zhao, Y.:Existence of at most two limit cycles for some non-autonomous differential equations, Commun. Pure Appl. Anal.22, 970–982 (2023)

    2023

  23. [23]

    Harko, T., Mak, M.K.:Relativistic dissipative cosmological models and Abel differen- tial equation, Comput. Math. Appl.46, 849–853 (2003)

    2003

  24. [24]

    Huang, J., Jin, Y.:Bifurcation of a kind of 1D piecewise differential equation and its application to piecewise planar polynomial systems, Int. J. Bifurcation Chaos29, 1950072 (2019)

    2019

  25. [25]

    Huang, J., Tian, R., Zhao, Y.:A Chebyshev criterion for at most two non-zero limit cycles in Abel equations, Nonlinearity39, 015030 (2026)

    2026

  26. [26]

    Ilyashenko, Yu.:Centennial history of Hilbert’s 16th problem, Bull. Amer. Math. Soc. (N.S.)39, 301–354 (2002)

    2002

  27. [27]

    BRA VO AND R

    Ilyashenko, Y.:Hilbert-type numbers for Abel equations, growth and zeros of holo- morphic functions, Nonlinearity13, 1337–1342 (2000) 26 J.L. BRA VO AND R. TRINIDAD-FORTE

    2000

  28. [28]

    Theory Dyn

    Jin, Y., Huang, J.:On the study and application of limit cycles of a kind of piecewise smooth equation, Qual. Theory Dyn. Syst.19, 1–20 (2020)

    2020

  29. [29]

    Khovanski˘ ı, A.G.:Fewnomials, Transl. Math. Monogr.88, Amer. Math. Soc., Prov- idence, RI (1991)

    1991

  30. [30]

    Dokl.22, 762–765 (1980)

    Khovanski˘ ı, A.G.:On a class of systems of transcendental equations, Soviet Math. Dokl.22, 762–765 (1980)

    1980

  31. [31]

    Li, J.:Hilbert’s 16th problem and bifurcations of planar polynomial vector fields, Int. J. Bifur. Chaos Appl. Sci. Eng.13, 47–106 (2003)

    2003

  32. [32]

    Math.59, 67–76 (1980)

    Lins Neto, A.:On the number of solutions of the equation dx dt =f(t, x)for which x(0) =x(1), Invent. Math.59, 67–76 (1980)

    1980

  33. [33]

    Lloyd, N.G., Christopher, C.J., Devlin, J., Pearson, J.M., Yasmin, N.:Quadratic-like cubic systems, Differ. Equ. Dyn. Syst.5, 329–345 (1997)

    1997

  34. [34]

    Notes64, 622–628 (1998)

    Panov, A.A.:The number of periodic solutions of polynomial differential equations, Math. Notes64, 622–628 (1998)

    1998

  35. [35]

    S.Smale,Mathematical problems for the next century, Mathematical Intelligencer,20, 7–15 (1998)

    1998

  36. [36]

    Theory Dyn

    Tian, R., Zhao, Y.:The limit cycles for a class of non-autonomous piecewise differ- ential equations, Qual. Theory Dyn. Syst.23, 185 (2024)

    2024

  37. [37]

    Yu, X., Huang, J., Liu, C.:Maximum number of limit cycles for Abel equation having coefficients with linear trigonometric functions, J. Differential Equations410, 301–318 (2024) Departamento de Matematicas, Universidad de Extremadura, 06006 Bada- joz, Spain Email address:trinidad@unex.es Departamento de Ciencias Matem´aticas e Inform ´atica, Universitat d...

    2024