arxiv: 2604.25773 · v1 · submitted 2026-04-28 · 🧮 math.DS

Recognition: unknown

Symmetric Limit Cycles in 3D Piecewise Linear Systems with Visible-visible Two-Fold Singularity

Bruno R. Freitas, Jo\~ao Carlos R. Medrado, Samuel Carlos S. Ferreira

Authors on Pith no claims yet

Pith reviewed 2026-05-07 14:41 UTC · model grok-4.3

classification 🧮 math.DS

keywords piecewise linear systemssymmetric limit cyclestwo-fold singularitiesDarboux integrabilityWeierstrass Preparation Theoremfirst integralFloquet multipliershybrid systems

0 comments

The pith

Resonant eigenvalues allow a common first integral whose restriction to the switching manifold proves existence of large-amplitude symmetric limit cycles in 3D piecewise linear systems.

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

The paper considers three-dimensional discontinuous piecewise linear systems whose switching manifold has visible-visible two-fold lines. Assuming a resonance condition on the eigenvalues of the two linear vector fields, a common first integral is constructed using Darboux integrability theory. Restriction of this integral to the switching manifold yields a hyperbola that parametrizes possible symmetric periodic orbits, on which half-return maps and return-time expansions are defined. The difference of these times forms a matching function to which the Weierstrass Preparation Theorem is applied, proving the existence of a large-amplitude symmetric limit cycle in a suitable subfamily. Stability of this cycle is analyzed via the saltation matrix and Schur-Cohn inequalities on the Floquet multipliers.

Core claim

Under a resonant condition on the eigenvalues of the two linear parts, a common first integral is obtained via Darboux integrability. Its restriction to the switching manifold defines a hyperbola that parametrizes the crossing points of symmetric periodic orbits. Analytic expansions of the half-return times near infinity yield a time-matching function, and the Weierstrass Preparation Theorem is applied to prove that this function has a zero corresponding to a large-amplitude symmetric limit cycle in a suitable subfamily of systems.

What carries the argument

The hyperbola Γ obtained as the restriction of the common first integral to the switching manifold Σ, used to parametrize and analyze symmetric periodic orbits through half-return maps and time-matching.

If this is right

Symmetric periodic orbits cross the switching manifold along the hyperbola Γ.
A large-amplitude symmetric limit cycle exists for a suitable subfamily of the systems.
The stability of the limit cycle is determined by Schur-Cohn inequalities applied to the two transverse Floquet multipliers obtained from the saltation-corrected monodromy matrix.
The system reduces to a canonical form that preserves the visible-visible two-fold intersection lines on the switching manifold.

Where Pith is reading between the lines

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

The method of constructing a time-matching function from return-time expansions near infinity could be adapted to locate periodic orbits in other piecewise smooth systems without requiring full integrability.
If the resonant condition is relaxed, numerical continuation might still detect symmetric cycles, but the analytic proof would no longer apply.
The large-amplitude nature of the cycle suggests it may organize the global phase space and interact with other attractors in the 3D system.
Similar visible-visible two-fold configurations appear in models of electronic circuits or mechanical systems with impacts, where this existence result could predict periodic behaviors.

Load-bearing premise

The eigenvalues of DX and DY satisfy a resonance condition that permits a common first integral for both vector fields.

What would settle it

Finding a specific parameter set in the suitable subfamily where the time-matching function has no zero near infinity, contrary to the Weierstrass prediction, would disprove the existence of the large-amplitude limit cycle.

Figures

Figures reproduced from arXiv: 2604.25773 by Bruno R. Freitas, Jo\~ao Carlos R. Medrado, Samuel Carlos S. Ferreira.

**Figure 1.** Figure 1: ). The asymptotic direction of this branch is computed later through the limit y0/x0(y0), so we do not use it at this stage. Furthermore, the hyperbola does not intersect the lines r X and r Y , since these lines are contained in the invariant linear manifolds associated with the respective vector field. r X r Y x y view at source ↗

**Figure 2.** Figure 2: Stability band in the (C, H)-plane for A = −2C. The green region corresponds to the open set Bst where the two nontrivial transverse Floquet multipliers lie inside the unit disk. The dashed boundary curves are defined asymptotically by τΓ1 + (mΓ1 ) 2 = 0 and τΓ1 = 2 + (mΓ1 ) 2 . Hence (32) defines an open subset Best ⊂ R 2 (C,H) , and every sufficiently large-amplitude symmetric limit cycle with parameters… view at source ↗

read the original abstract

We analyze a three-dimensional discontinuous piecewise linear system \(Z=(X,Y)\) whose switching manifold \(\Sigma\) contains visible-visible two-fold intersection lines. Assuming that the matrices \(DX\) and \(DY\) each have one nonzero real eigenvalue and one pair of complex conjugate eigenvalues, we reduce the system to a canonical form. Under a resonant condition, we use Darboux integrability theory to obtain a first integral common to \(X\) and \(Y\). Its restriction to \(\Sigma\) defines a hyperbola \(\Gamma\), which parametrizes the crossing points of symmetric periodic orbits. On this curve we construct the half-return maps, derive analytic expansions for the corresponding return times near infinity, and introduce a time-matching function given by their difference. By means of the Weierstrass Preparation Theorem, we prove the existence of a large-amplitude symmetric limit cycle for a suitable subfamily of systems. We then study stability through a saltation-corrected monodromy matrix and reduce the problem to Schur--Cohn inequalities for the two transverse Floquet multipliers.

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 proves existence of large-amplitude symmetric limit cycles in 3D PWL systems with visible-visible two-folds, but only under an explicit resonance condition on the eigenvalues.

read the letter

The core contribution is a structured existence argument for symmetric periodic orbits in a canonical 3D piecewise-linear system with a visible-visible two-fold on the switching manifold. They assume the two vector fields have eigenvalues that satisfy a resonance relation, apply Darboux theory to produce a common first integral, restrict it to the switching plane to get a hyperbola that parametrizes crossings, build half-return maps along that curve, expand the return times analytically for large amplitude, and then invoke the Weierstrass Preparation Theorem to locate a zero of the time-matching function for a suitable subfamily. Stability follows from the saltation matrix and Schur-Cohn criteria on the transverse multipliers. The steps line up without obvious gaps or circularity once the resonance is granted, and the expansions near infinity are the kind of concrete calculation that can be checked directly. The resonance assumption is stated plainly rather than smuggled in, which keeps the logic honest. The main limitation is that the resonance is restrictive; without it the common integral and hyperbola parametrization disappear, so the result covers only a lower-dimensional set of systems. The extra conditions that define the “suitable subfamily” for the Weierstrass step are technical but appear explicit. This is specialized work aimed at researchers already working on two-fold singularities and nonsmooth 3D flows. It is not broad enough to interest a general dynamical-systems audience, but the analytic construction is clean enough that a specialist group would get value from seeing the details. The paper deserves peer review; the argument is internally consistent and the tools are applied in a reproducible way.

Referee Report

0 major / 3 minor

Summary. The manuscript analyzes three-dimensional discontinuous piecewise linear systems Z=(X,Y) with visible-visible two-fold singularities on the switching manifold Σ. Assuming DX and DY each possess one nonzero real eigenvalue and a complex conjugate pair, the system is reduced to canonical form. Under an explicit resonant condition on the eigenvalues, Darboux integrability yields a common first integral whose restriction to Σ defines a hyperbola Γ parametrizing crossing points of symmetric orbits. Half-return maps are constructed on Γ, return times are expanded analytically near infinity, and a time-matching function is formed whose zero is located via the Weierstrass Preparation Theorem for a suitable subfamily, establishing existence of large-amplitude symmetric limit cycles. Stability is then analyzed via the saltation-corrected monodromy matrix reduced to Schur-Cohn inequalities on the transverse Floquet multipliers.

Significance. If the central analytic steps hold, the work supplies a rigorous, constructive existence proof for symmetric limit cycles under verifiable resonance conditions in this class of piecewise-linear systems. The combination of Darboux theory for the common integral, hyperbola parametrization, explicit time expansions, and application of the Weierstrass Preparation Theorem to the time-matching function constitutes a technically substantive contribution to the literature on periodic orbits in discontinuous dynamical systems. The clean separation between the existence argument and the subsequent stability reduction via saltation matrices is methodologically clear and potentially reusable.

minor comments (3)

Abstract: the phrase 'a suitable subfamily of systems' is introduced without an immediate pointer to the precise auxiliary conditions (beyond resonance) that define it; a forward reference to the relevant theorem or section would improve readability.
The expansions of return times near infinity are stated to be analytic, but the domain of validity and the order of the remainder terms should be made explicit in the statement of the time-matching function to facilitate verification of the Weierstrass Preparation application.
Notation for the eigenvalues of DX and DY (real part, imaginary part, resonance relation) should be introduced once in the canonical-form section and used consistently thereafter to avoid redefinition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the positive assessment of its contribution. The recommendation for minor revision is noted, and we will incorporate improvements to presentation, clarity, and any minor issues in the revised version. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation begins from an explicit assumption (resonant eigenvalue condition on DX and DY) that enables Darboux integrability for a common first integral. Restriction of this integral to the switching manifold yields the hyperbola Γ used to parametrize crossings; half-return maps and analytic return-time expansions near infinity are then constructed directly from the vector fields. The time-matching function is formed from these expansions, and the Weierstrass Preparation Theorem is invoked to locate a zero for a precisely defined subfamily. Each step is a standard application of theorems or direct computation from the assumed resonance and canonical form; no parameter is fitted to data and then relabeled as a prediction, no self-citation supplies a load-bearing uniqueness result, and no ansatz is smuggled via prior work. The argument is therefore self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review performed on abstract only; full derivations unavailable. The resonant condition and eigenvalue assumptions are the main unverified premises.

axioms (2)

domain assumption Matrices DX and DY each have one nonzero real eigenvalue and one pair of complex conjugate eigenvalues
Used to reduce the system to canonical form and enable Darboux integrability.
ad hoc to paper A resonant condition holds between the eigenvalues
Required for the common first integral whose restriction yields the hyperbola parametrizing crossing points.

pith-pipeline@v0.9.0 · 5495 in / 1424 out tokens · 76892 ms · 2026-05-07T14:41:26.580945+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 19 canonical work pages

[1]

Freire, E

E. Freire, E. Ponce, J. Torregrosa, F. Torres, Limit cycles from a monodromic infinity in planar piecewise linear systems, J. Math. Anal. Appl. 496 (2) (2021) Paper No. 124818, 22.doi:10.1016/j.jmaa.2020. 124818. URLhttps://doi.org/10.1016/j.jmaa.2020.124818

work page doi:10.1016/j.jmaa.2020 2021
[2]

Freire, E

E. Freire, E. Ponce, J. Ros, E. Vela, A. Amador, Hopf bifurcation at infinity in 3D symmetric piecewise linear systems. Application to a Bonhoeffer–van der Pol oscillator, Nonlinear Anal. Real World Appl. 54 (2020) 103112, 20.doi:10.1016/j.nonrwa.2020.103112. URLhttps://doi.org/10.1016/j.nonrwa.2020.103112

work page doi:10.1016/j.nonrwa.2020.103112 2020
[3]

Freire, M

E. Freire, M. Ord´ o˜ nez, E. Ponce, Bifurcations from a center at infinity in 3D piecewise linear systems with two zones, Phys. D 402 (2020) 132280, 11.doi:10.1016/j.physd.2019.132280. URLhttps://doi.org/10.1016/j.physd.2019.132280

work page doi:10.1016/j.physd.2019.132280 2020
[4]

S. C. S. Ferreira, B. R. Freitas, J. ao Carlos R. Medrado, Limit cycles of 3d piecewise linear systems with concurrent tangent lines, Nonlinear Analysis: Real World Applications 91 (2026) 104587.doi: 10.1016/j.nonrwa.2025.104587

work page doi:10.1016/j.nonrwa.2025.104587 2026
[5]

Carmona, E

V. Carmona, E. Freire, E. Ponce, F. Torres, Bifurcation of invariant cones in piecewise linear ho- mogeneous systems, International Journal of Bifurcation and Chaos 15 (8) (2005) 2469–2484.doi: 10.1142/S0218127405013423

work page doi:10.1142/s0218127405013423 2005
[6]

Medrado, B

J. Medrado, B. R. de Freitas, On the existence of limit cycles and invariant surfaces for sewing piecewise linear differential systems onR 3, Physica D: Nonlinear Phenomena 442 (2022) 133545.doi:10.1016/ j.physd.2022.133545

work page arXiv 2022
[7]

B. R. Freitas, S. C. S. Ferreira, J. C. R. Medrado, Invariant manifolds of 3d piecewise vector fields, Journal of Differential Equations 435 (2025) 113313.doi:10.1016/j.jde.2025.113313

work page doi:10.1016/j.jde.2025.113313 2025
[8]

Cristiano, M

R. Cristiano, M. M. Henao, D. J. Pagano, E. Ponce, Chaos through sliding bifurcations in a dc–dc boost power converter, International Journal of Bifurcation and Chaos 34 (16) (2024) 2430033.doi: 10.1142/S0218127424300337

work page doi:10.1142/s0218127424300337 2024
[9]

H. A. Hosham, M. A. Aljohani, E. D. Abou Elela, N. A. Almuallem, T. N. Alharthi, Hidden-like attractors in a class of discontinuous dynamical systems, Mathematics 12 (23) (2024) 3784.doi: 10.3390/math12233784

work page doi:10.3390/math12233784 2024
[10]

F. Wang, Z. Wei, W. Zhang, Sliding homoclinic orbits and chaotic dynamics in a class of 3d piecewise- linear filippov systems, Nonlinear Dynamics 112 (22) (2024).doi:10.1007/s11071-024-10091-2. 27

work page doi:10.1007/s11071-024-10091-2 2024
[11]

Brogliato, Nonsmooth mechanics, 3rd Edition, Communications and Control Engineering Series, Springer, [Cham], 2016, models, dynamics and control.doi:10.1007/978-3-319-28664-8

B. Brogliato, Nonsmooth mechanics, 3rd Edition, Communications and Control Engineering Series, Springer, [Cham], 2016, models, dynamics and control.doi:10.1007/978-3-319-28664-8. URLhttps://doi.org/10.1007/978-3-319-28664-8

work page doi:10.1007/978-3-319-28664-8 2016
[12]

Belykh, R

I. Belykh, R. Kuske, M. Porfiri, D. J. W. Simpson, Beyond the bristol book: Advances and perspectives in non-smooth dynamics and applications, Chaos: An Interdisciplinary Journal of Nonlinear Science 33 (1) (2023) 010402

2023
[13]

Goldbeter, From periodic behavior to chaos in biological systems, IFAC Proceedings Volumes 39 (8) (2006) 321

A. Goldbeter, From periodic behavior to chaos in biological systems, IFAC Proceedings Volumes 39 (8) (2006) 321

2006
[14]

I. v. Soest, M. d. Olmo, C. Schmal, H. Herzel, Nonlinear phenomena in models of the circadian clock, J R Soc Interface 17 (2020)

2020
[15]

Coombes, M

S. Coombes, M. S ¸ayli, R. Thul, Networks of piecewise linear neural mass models, European Journal of Applied Mathematics 29 (5) (2018) 869–890.doi:10.1017/S0956792518000050

work page doi:10.1017/s0956792518000050 2018
[16]

Coombes, M

S. Coombes, M. S ¸ayli, R. Thul, R. Nicks, M. A. Porter, Y. M. Lai, Oscillatory networks: Insights from piecewise-linear modeling, SIAM Review 66 (4) (2024) 619–679.doi:10.1137/22M1534365

work page doi:10.1137/22m1534365 2024
[17]

R. E. Rosch, B. Scheid, K. A. Davis, B. Litt, A. Ashourvan, Epileptiform activity and seizure risk follow long-term non-linear attractor dynamics, Advanced Science 12 (23) (2025) 2411829

2025
[18]

Dieci, L

L. Dieci, L. Lopez, Fundamental matrix solutions of piecewise smooth differential systems, Math. Com- put. Simulation 81 (5) (2011) 932–953.doi:10.1016/j.matcom.2010.10.012. URLhttps://doi.org/10.1016/j.matcom.2010.10.012

work page doi:10.1016/j.matcom.2010.10.012 2011
[19]

S. N. Elaydi, An Introduction to Difference Equations, 3rd Edition, Springer, New York, 2005

2005
[20]

Guardia, T

M. Guardia, T. M. Seara, M. A. Teixeira, Generic bifurcations of low codimension of planar Filippov systems, J. Differential Equations 250 (4) (2011) 1967–2023.doi:10.1016/j.jde.2010.11.016. URLhttps://doi.org/10.1016/j.jde.2010.11.016

work page doi:10.1016/j.jde.2010.11.016 2011
[21]

A. F. Filippov, Differential equations with discontinuous righthand sides, Vol. 18 of Mathematics and its Applications (Soviet Series), Kluwer Academic Publishers Group, Dordrecht, 1988, translated from the Russian.doi:10.1007/978-94-015-7793-9. URLhttps://doi.org/10.1007/978-94-015-7793-9

work page doi:10.1007/978-94-015-7793-9 1988
[22]

di Bernardo, C

M. di Bernardo, C. J. Budd, A. R. Champneys, P. Kowalczyk, Piecewise-smooth Dynamical Systems: Theory and Applications, Vol. 163 of Applied Mathematical Sciences, Springer-Verlag, London, 2008. doi:10.1007/978-1-84628-708-4

work page doi:10.1007/978-1-84628-708-4 2008
[23]

S. G. Krantz, H. R. Parks, The implicit function theorem, Birkh¨ auser Boston, Inc., Boston, MA, 2002, history, theory, and applications.doi:10.1007/978-1-4612-0059-8. URLhttps://doi.org/10.1007/978-1-4612-0059-8

work page doi:10.1007/978-1-4612-0059-8 2002
[24]

S. S. Grigoryan, A. A. Ma˘ ılybaev, On the Weierstrass preparation theorem, Mat. Zametki 69 (2) (2001) 194–199.doi:10.1023/A:1002816101132. URLhttps://doi.org/10.1023/A:1002816101132 28

work page doi:10.1023/a:1002816101132 2001