arxiv: 2604.14153 · v1 · submitted 2026-03-19 · 🧮 math.DS

Recognition: 2 theorem links

· Lean Theorem

Identification of limit sets of a non-ideal system: spherical pendulum-excitation source

Serhii Donetskyi , Aleksandr Shvets

Authors on Pith no claims yet

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

classification 🧮 math.DS

keywords limitsetssystemasymptoticdynamicsfive-dimensionalnon-idealprove

0 comments

The pith

In the 5D spherical pendulum-motor system, limit sets obey y1 y5 - y2 y4 = 0 with proportionality relations, reducing dynamics to a 3D subsystem parameterized by K; global stability of y* = (0,0,-F/E,0,0) holds for C ≤ -2.

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

The work studies the long-term motion of a ball swinging on a string when powered by a motor that cannot supply unlimited energy. The motion is captured by five changing quantities that follow nonlinear rules. The authors demonstrate that on any long-term behavior, one particular product combination of these quantities must equal zero. This forces two pairs of quantities to stay proportional to each other. The original five-quantity problem therefore collapses to a simpler three-quantity system controlled by one fixed number. When energy loss is strong enough, measured by a parameter C at or below negative two, every possible starting motion ends at the same resting state where four of the five quantities are zero. These algebraic and stability facts give a clean mathematical skeleton for later study of irregular or chaotic swinging in motor-driven pendulums.

Core claim

we prove the global asymptotic stability of the equilibrium point y* = (0, 0, -F/E, 0, 0), showing that y1^2 + y2^2 + y4^2 + y5^2 tends to zero for C <= -2; limit sets satisfy y1 y5 - y2 y4 = 0 and proportionality between (y1,y4) and (y2,y5), reducing to a 3D subsystem.

Load-bearing premise

The five-dimensional nonlinear ODEs exactly describe the physical pendulum-motor system with no unmodeled effects such as friction variations, motor nonlinearities beyond the stated model, or external disturbances.

Figures

Figures reproduced from arXiv: 2604.14153 by Aleksandr Shvets, Serhii Donetskyi.

read the original abstract

We investigate the long-term dynamics of a five-dimensional nonlinear system describing the non-ideal excitation of a spherical pendulum coupled to a limited-power electric motor. By analyzing the phase trajectories y(t) = (y1, y2, y3, y4, y5), we prove several structural theorems regarding the system's limit sets. First, we show that the bilinear combination y1y5 - y2y4 satisfies a closed linear differential equation, which implies its vanishing on every limit set. This leads to a fundamental algebraic identity that holds for all asymptotic states. Furthermore, we establish proportionality relations between the pairs (y1, y4) and (y2, y5) within these sets. We demonstrate that the dynamics restricted to any limit set reduce from the original five-dimensional space to an explicit three-dimensional subsystem parameterized by a single constant K. Finally, for the dissipative regime characterized by C <= -2, we prove the global asymptotic stability of the equilibrium point y* = (0, 0, -F/E, 0, 0), showing that y1^2 + y2^2 + y4^2 + y5^2 tends to zero. These results provide a rigorous basis for the structural description of limit sets and simplify the further analysis of deterministic chaos in pendulum-motor models.

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 reduces the 5D pendulum-motor system to 3D on limit sets via a bilinear identity and proves global stability for C ≤ -2.

read the letter

The key point is that this work gives an explicit algebraic reduction of the five-dimensional non-ideal excitation model to a three-dimensional subsystem on every limit set, together with a global stability theorem in the dissipative regime. They start by showing that the combination z = y1 y5 - y2 y4 obeys a closed linear differential equation. That forces z to vanish on omega-limit sets, which immediately gives the proportionality between (y1, y4) and (y2, y5). The flow then collapses to three dimensions parametrized by a constant K. For C ≤ -2 they prove that the transverse variables y1, y2, y4, y5 all go to zero, leaving only the equilibrium in y3. The reduction itself is the main new piece. Similar identities appear in lower-dimensional non-ideal systems, but the extension to this spherical pendulum case with the motor looks fresh. The stability argument uses standard Lyapunov or LaSalle ideas once the reduction is in hand, and the stress-test confirms there are no hidden dependencies or circular steps. The main limitation is scope. Everything is tied to this particular five-dimensional model, so the technique may not transfer directly to other non-ideal oscillators without similar structure. The paper also assumes the given ODEs capture the physics exactly, with no extra friction or motor effects. Those are standard modeling choices rather than flaws. This is worth reading for anyone analyzing chaos in pendulum-motor couplings. It gives a concrete way to simplify the long-term behavior before looking for strange attractors. I would send it to peer review; the claims are grounded enough to merit referee time even if some details need tightening.

Referee Report

0 major / 3 minor

Summary. The manuscript analyzes the long-term dynamics of a five-dimensional nonlinear ODE system modeling a spherical pendulum coupled to a limited-power electric motor. It proves that the bilinear quantity z = y1 y5 - y2 y4 satisfies a closed linear differential equation independent of the other variables, implying z vanishes on every omega-limit set. This yields algebraic proportionality relations between the pairs (y1, y4) and (y2, y5), reducing the flow on limit sets to an explicit three-dimensional subsystem parametrized by a constant K. For the dissipative regime C ≤ -2, global asymptotic stability of the equilibrium y* = (0, 0, -F/E, 0, 0) is established, with y1² + y2² + y4² + y5² tending to zero.

Significance. If the derivations hold, the work supplies a rigorous structural characterization of the limit sets for this non-ideal excitation system. The explicit reduction from five to three dimensions and the parameter-free global stability result under the sign condition on C constitute clear strengths; they furnish a simplified setting for subsequent analysis of deterministic chaos without reliance on fitted quantities or self-referential definitions.

minor comments (3)

[§2] §2: The precise definitions of the system parameters C, K, and F/E (including their physical interpretations) should be collected in a single table or displayed equation block for immediate reference when reading the stability statements.
[§3] The proof that the linear ODE for z is closed and independent of the remaining variables is central; displaying the explicit coefficient of the z-equation (rather than only stating that it is closed) would improve readability.
[§5] The manuscript would benefit from a brief remark on how the three-dimensional reduced subsystem can be used for numerical continuation or bifurcation analysis of chaotic regimes.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment and the recommendation to accept the manuscript. The summary accurately captures the key results on the vanishing of the bilinear quantity on limit sets, the reduction to a three-dimensional subsystem, and the global stability for C ≤ -2.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper performs direct analysis of the given five-dimensional nonlinear ODEs. It computes that z = y1 y5 - y2 y4 obeys a closed linear ODE independent of the remaining state variables, which forces z = 0 on every omega-limit set by standard invariance properties. Algebraic consequences then yield the stated proportionality relations, reducing the flow on limit sets to an explicit three-dimensional subsystem parametrized by constant K. Global asymptotic stability of the equilibrium for C <= -2 follows from a Lyapunov or LaSalle argument whose sign condition depends only on the parameter C and the reduced equations. No step reduces to a fitted input, self-definition, or load-bearing self-citation; the chain is self-contained against the original vector field.

Axiom & Free-Parameter Ledger

3 free parameters · 2 axioms · 0 invented entities

The central claims rest on the assumption that the physical system is exactly captured by an unspecified set of five nonlinear ODEs and on standard theorems about omega-limit sets in autonomous dynamical systems; no new physical entities are introduced.

free parameters (3)

C
Dissipation coefficient whose value relative to -2 determines the stability regime
K
Constant parameterizing the reduced 3D subsystem on each limit set
F/E
Ratio fixing the nonzero coordinate of the equilibrium point

axioms (2)

standard math The phase space is R^5 and trajectories are solutions of a smooth autonomous ODE
Invoked to apply standard limit-set theory and differential identities
domain assumption The model equations are exactly those of the non-ideal spherical pendulum-motor system
The entire analysis presupposes this specific 5D vector field

pith-pipeline@v0.9.0 · 5542 in / 1483 out tokens · 59307 ms · 2026-05-15T08:18:08.149311+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

d/dt(y1 y5 - y2 y4) = 2C (y1 y5 - y2 y4) ... y1 y5 - y2 y4 = 0 on every limit set; proportionality y4 = K y1, y5 = K y2; reduction to the explicit 3D subsystem (5.2); quadratic form (C+2)(y1+y2)^2 + (C-2)(y1-y2)^2 + ... < 0 when C <= -2 forces y1^2 + y2^2 + y4^2 + y5^2 -> 0
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

five-dimensional nonlinear system ... averaged system (2.5) ... limit sets are Milnor attractors

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

[1]

I. A. Lukovsky.Nelineinye kolebaniya zhidkosti v sosudakh slozhnoi geo- metricheskoi formy [Nonlinear oscillations of liquid in vessels of complex geometric shape]. Russian. Kyiv: Naukova Dumka, 1975

work page 1975
[2]

Chaos in dynamics of machines with a limited power-supply

T. S. Krasnopolskaya and A. Yu. Shvets. “Chaos in dynamics of machines with a limited power-supply”. In:Proceedings of the 8th World Congress on the Theory of Machines and Mechanisms. Ed. by M. Okrolnick and L. Pust. Vol. 1. Prague, Czechoslovakia: Czechoslovak Academy of Sciences, 1991, pp. 181–184

work page 1991
[3]

Ibrahim.Liquid sloshing dynamics: Theory and applications

R.A. Ibrahim.Liquid sloshing dynamics: Theory and applications. Cam- bridge University Press Cambridge, 2009.doi:10 . 1017 / CBO9780511536 656

work page 2009
[4]

Faltinsen and A.N

O.M. Faltinsen and A.N. Timokha.Sloshing. Cambridge University Press, 2009

work page 2009
[5]

Lukovsky.Nonlinear dynamics: mathematical models for rigid bodies with a liquid

I.A. Lukovsky.Nonlinear dynamics: mathematical models for rigid bodies with a liquid. Vol. 27. Walter de Gruyter GmbH & Co KG, 2015.doi:10.1 515/9783110316575

work page 2015
[6]

Krasnopolskaya and A.Yu

T.S. Krasnopolskaya and A.Yu. Shvets.Regular and Chaotic Dynamics of Systems with Limited Excitation. Institute of Computer Research, R&C Dy- namics, 2008. 10

work page 2008
[7]

Transition to Deterministic Chaos in Some Electroelastic Systems

Aleksandr Shvets and Serhii Donetskyi. “Transition to Deterministic Chaos in Some Electroelastic Systems”. In:11th Chaotic Modeling and Simulation International Conference. Ed. by Christos H. Skiadas and Ihor Lubashevsky. Springer Proceedings in Complexity. Springer, Cham, 2019, pp. 257–264. doi:10.1007/978-3-030-15297-0_23

work page doi:10.1007/978-3-030-15297-0_23 2019
[8]

Bifurcations “Cycle–Chaos–Hyperchaos

S.V. Donetskyi and A.Y. Shvets. “Bifurcations “Cycle–Chaos–Hyperchaos” in Some Nonideal Electroelastic Systems”. In:Mechanisms and Machine Science. Vol. 116. Springer, 2022, pp. 43–51.doi:10.1007/978-3-030-966 03-4_4

work page doi:10.1007/978-3-030-966 2022
[9]

Energy Transmission and Energy Harvesting via an Electro-Dynamical Transducer

Evgeniy D. Pechuk and Tatyana S. Krasnopolskaya. “Energy Transmission and Energy Harvesting via an Electro-Dynamical Transducer”. In:Journal of Vibration Testing and System Dynamics7.3 (2023), pp. 243–257.doi: 10.5890/JVTSD.2023.09.003

work page doi:10.5890/jvtsd.2023.09.003 2023
[10]

Wave charac- teristics of the cardiorespiratory system under increasing of a heart rate

E. D. Pechuk, T. S. Krasnopolskaya, and M. O. Rudnytska. “Wave charac- teristics of the cardiorespiratory system under increasing of a heart rate”. In:Bulletin of the Taras Shevchenko National University of Kyiv. Physics and Mathematics1–2 (2020), pp. 71–74.doi:10.17721/1812-5409.2020 /1-2.12

work page doi:10.17721/1812-5409.2020 2020
[11]

Cardiorespiratory System as the System with Limited Power

Evgeniy D. Pechuk, Tatyana S. Krasnopolskaya, and Oleh A. Savytskyi. “Cardiorespiratory System as the System with Limited Power”. In:Advances in Nonlinear Dynamics. Ed. by V. Kyruchik, J. M. Balthazar, and D. J. Inman. Vol. 109. Mechanisms and Machine Science. Springer, 2022, pp. 15– 25.doi:10.1007/978-3-030-96603-4_2

work page doi:10.1007/978-3-030-96603-4_2 2022
[12]

Beitr¨ age zum dynamischen Ausbau der Festigkeitslehre

A. Sommerfeld. “Beitr¨ age zum dynamischen Ausbau der Festigkeitslehre”. In:Physikalische Zeitschrift3 (1902), pp. 266–271

work page 1902
[13]

Kononenko.Vibrating systems with a limited power supply

V.O. Kononenko.Vibrating systems with a limited power supply. Iliffe, Lon- don, 1969

work page 1969
[14]

Chaotic interactions in a pendulum- energy source system

T. S. Krasnopolskaya and A. Yu. Shvets. “Chaotic interactions in a pendulum- energy source system”. In:Soviet Applied Mechanics26.5 (1990), pp. 500– 504.doi:10.1007/BF00887102

work page doi:10.1007/bf00887102 1990
[15]

Chaotic oscillations of non- ideal plane pendulum systems

Aleksandr Shvets and Alexander Makaseyev. “Chaotic oscillations of non- ideal plane pendulum systems”. In:Chaotic Modeling and Simulation (CM- SIM)1 (2012), pp. 195–204

work page 2012
[16]

Kuznetsov.Hyperbolic Chaos: A Physicist’s View

Sergey P. Kuznetsov.Hyperbolic Chaos: A Physicist’s View. Springer Series in Synergetics. Berlin, Heidelberg: Springer, 2011.isbn: 978-3-642-23279-4. doi:10.1007/978-3-642-23280-0. 11

work page doi:10.1007/978-3-642-23280-0 2011
[17]

On the concept of attractor

John Milnor. “On the concept of attractor”. In:Communications in Math- ematical Physics99.2 (1985), pp. 177–195.doi:10.1007/BF01212283

work page doi:10.1007/bf01212283 1985
[18]

Chaotic Oscillations of a Spherical Pendulum as an Example of Interaction with Energy Source

T. S. Krasnopol’skaya and A. Y. Shvets. “Chaotic Oscillations of a Spherical Pendulum as an Example of Interaction with Energy Source”. In:Interna- tional Applied Mechanics28 (1992), pp. 669–674

work page 1992
[19]

Deterministic Chaos of a Spherical Pendulum under Limited Excitation

A. Y. Shvets. “Deterministic Chaos of a Spherical Pendulum under Limited Excitation”. In:Ukrainian Mathematical Journal59 (2007), pp. 602–614

work page 2007
[20]

Stability of Forced Oscillations of a Spherical Pendulum

J. W. Miles. “Stability of Forced Oscillations of a Spherical Pendulum”. In: Quarterly of Applied Mathematics20.1 (1962), pp. 21–32

work page 1962
[21]

Resonant Motion of a Spherical Pendulum

J. W. Miles. “Resonant Motion of a Spherical Pendulum”. In:Physica D 11.3 (1984), pp. 309–323

work page 1984
[22]

Nonlinear Faraday Resonance

J. W. Miles. “Nonlinear Faraday Resonance”. In:Journal of Fluid Mechanics 146 (1984), pp. 285–302

work page 1984
[23]

N. N. Bogoliubov and Yu. A. Mitropolsky.Asimptoticheskie metody v teorii nelineinykh kolebanii [Asymptotic Methods in the Theory of Non-linear Os- cillations]. Russian. 4th. Moscow: Nauka, 1974

work page 1974
[24]

Yu. A. Mitropolsky.Metod usredneniya v nelineinoi mekhanike [Averaging Method in Nonlinear Mechanics]. Russian. Kyiv: Naukova Dumka, 1971

work page 1971
[25]

Asymptotic Techniques and Complex Dy- namics in Weakly Non-Linear Forced Mechanical Systems

A. K. Bajaj and J. M. Johnson. “Asymptotic Techniques and Complex Dy- namics in Weakly Non-Linear Forced Mechanical Systems”. In:International Journal of Non-Linear Mechanics25.2 (1990), pp. 211–226

work page 1990
[26]

New Types of Limit Sets in the Dy- namic System “Spherical Pendulum—Electric Motor

Aleksandr Shvets and Serhii Donetskyi. “New Types of Limit Sets in the Dy- namic System “Spherical Pendulum—Electric Motor””. In:Nonlinear Me- chanics of Complex Structures: From Theory to Engineering Applications. Vol. 157. Advanced Structured Materials. Springer, 2021, pp. 443–455.doi: 10.1007/978-3-030-75890-5_25

work page doi:10.1007/978-3-030-75890-5_25 2021
[27]

Bifurcations of maximal attractors of non-ideal pendulum systems

S. V. Donetskyi and A. Yu. Shvets. “Bifurcations of maximal attractors of non-ideal pendulum systems”. In:Dopovidi Natsional’noi Akademii Nauk Ukrainy3 (2022), pp. 13–19.doi:10.15407/dopovidi2022.03.013

work page doi:10.15407/dopovidi2022.03.013 2022
[28]

Generalization of the Concept of Attractor for Pendulum Systems with Finite Excitations

S. Donetskyi and A. Shvets. “Generalization of the Concept of Attractor for Pendulum Systems with Finite Excitations”. In:Journal of Mathematical Sciences(2023).doi:10.1007/s10958-023-06495-x

work page doi:10.1007/s10958-023-06495-x 2023
[29]

Quantitative universality for a class of nonlinear trans- formations

M.J. Feigenbaum. “Quantitative universality for a class of nonlinear trans- formations”. In:J.Stat. Phys.19.1 (1978), 25–52.doi:10.1007/BF0102033 2. 12

work page doi:10.1007/bf0102033 1978
[30]

Different ways to turbulence in dissipative dynamical systems

Y.Pomeau and P.Manneville. “Different ways to turbulence in dissipative dynamical systems”. In:Physica D. Nonlinear Phenom.1.2 (1980), 219–226. doi:10.1016/0167-2789(80)90013-5

work page doi:10.1016/0167-2789(80)90013-5 1980
[31]

Overview of Scenarios of Transition to Chaos in Nonideal Dy- namic Systems

A. Shvets. “Overview of Scenarios of Transition to Chaos in Nonideal Dy- namic Systems”. In:13th Chaotic Modeling and Simulation International Conference. CHAOS 2020. Ed. by C. H. Skiadas and Y. Dimotikalis. Springer Proceedings in Complexity. Cham: Springer, 2021, pp. 853–864.doi:10.10 07/978-3-030-70795-8_59. S.V. Donetskyi, Institute of Mathematics of ...

work page 2020