-
Differential topology of the spaces of asymptotically stable vector fields and Lyapunov functions
Authors:
Matthew D. Kvalheim
Abstract:
We study the topology of the space of all smooth asymptotically stable vector fields on $\mathbb{R}^n$, as well as the space of all proper smooth Lyapunov functions for such vector fields. We prove that both spaces are path-connected and simply connected when $n\neq 4,5$ and weakly contractible when $n\leq 3$. Moreover, both spaces have the weak homotopy type of the nonlinear Grassmannian of subma…
▽ More
We study the topology of the space of all smooth asymptotically stable vector fields on $\mathbb{R}^n$, as well as the space of all proper smooth Lyapunov functions for such vector fields. We prove that both spaces are path-connected and simply connected when $n\neq 4,5$ and weakly contractible when $n\leq 3$. Moreover, both spaces have the weak homotopy type of the nonlinear Grassmannian of submanifolds of $\mathbb{R}^n$ diffeomorphic to the $n$-disc.
The proofs rely on Lyapunov theory and differential topology, such as the work of Smale and Perelman on the generalized Poincaré conjecture and results of Smale, Cerf, and Hatcher on the topology of diffeomorphism groups of discs. Applications include a partial answer to a question of Conley, a parametric Hartman-Grobman theorem for nonyperbolic but asymptotically stable equilibria, and a parametric Morse lemma for degenerate minima. We also study the related topics of hyperbolic equilibria, Morse minima, and relative homotopy groups of the space of asymptotically stable vector fields inside the space of those vanishing at a single point.
△ Less
Submitted 21 May, 2025; v1 submitted 13 March, 2025;
originally announced March 2025.
-
Global linearization of asymptotically stable systems without hyperbolicity
Authors:
Matthew D. Kvalheim,
Eduardo D. Sontag
Abstract:
We give a proof of an extension of the Hartman-Grobman theorem to nonhyperbolic but asymptotically stable equilibria of vector fields. Moreover, the linearizing topological conjugacy is (i) defined on the entire basin of attraction if the vector field is complete, and (ii) a $C^{k\geq 1}$-diffeomorphism on the complement of the equilibrium if the vector field is $C^k$ and the underlying space is n…
▽ More
We give a proof of an extension of the Hartman-Grobman theorem to nonhyperbolic but asymptotically stable equilibria of vector fields. Moreover, the linearizing topological conjugacy is (i) defined on the entire basin of attraction if the vector field is complete, and (ii) a $C^{k\geq 1}$-diffeomorphism on the complement of the equilibrium if the vector field is $C^k$ and the underlying space is not $5$-dimensional. We also show that the $C^k$ statement in the $5$-dimensional case is equivalent to the $4$-dimensional smooth Poincaré conjecture.
△ Less
Submitted 27 May, 2025; v1 submitted 11 February, 2025;
originally announced February 2025.
-
Relationships Between Necessary Conditions for Feedback Stabilizability
Authors:
Matthew D. Kvalheim
Abstract:
The author's extensions of Brockett's and Coron's necessary conditions for stabilizability are shown to be independent in the fiber bundle picture of control, but the latter is shown to be stronger in the vector bundle picture if the state space is orientable and the Cech-Euler characteristic of the set to be stabilized is nonzero.
The author's extensions of Brockett's and Coron's necessary conditions for stabilizability are shown to be independent in the fiber bundle picture of control, but the latter is shown to be stronger in the vector bundle picture if the state space is orientable and the Cech-Euler characteristic of the set to be stabilized is nonzero.
△ Less
Submitted 5 June, 2024; v1 submitted 27 December, 2023;
originally announced December 2023.
-
Koopman Embedding and Super-Linearization Counterexamples with Isolated Equilibria
Authors:
Philip Arathoon,
Matthew D. Kvalheim
Abstract:
A frequently repeated claim in the "applied Koopman operator theory'' literature is that a dynamical system with multiple isolated equilibria cannot be linearized in the sense of admitting a smooth embedding as an invariant submanifold of a linear dynamical system. This claim is sometimes made only for the class of super-linearizations, which additionally require that the embedding "contain the st…
▽ More
A frequently repeated claim in the "applied Koopman operator theory'' literature is that a dynamical system with multiple isolated equilibria cannot be linearized in the sense of admitting a smooth embedding as an invariant submanifold of a linear dynamical system. This claim is sometimes made only for the class of super-linearizations, which additionally require that the embedding "contain the state''. We show that both versions of this claim are false by constructing (super-)linearizable smooth dynamical systems on $\mathbb{R}^k$ having any countable (finite) number of isolated equilibria for each $k>1$.
△ Less
Submitted 19 July, 2023; v1 submitted 26 June, 2023;
originally announced June 2023.
-
Linearizability of flows by embeddings
Authors:
Matthew D. Kvalheim,
Philip Arathoon
Abstract:
We consider the problem of determining the class of continuous-time dynamical systems that can be globally linearized in the sense of admitting an embedding into a linear system on a finite-dimensional Euclidean space. We solve this problem for dynamical systems having either a compact state space or at least one compact attractor, obtaining necessary and sufficient conditions for the existence of…
▽ More
We consider the problem of determining the class of continuous-time dynamical systems that can be globally linearized in the sense of admitting an embedding into a linear system on a finite-dimensional Euclidean space. We solve this problem for dynamical systems having either a compact state space or at least one compact attractor, obtaining necessary and sufficient conditions for the existence of linearizing $C^k$ embeddings for $k\in \mathbb{N}_{\geq 0}\cup \{\infty\}$. Corollaries include (i) several checkable necessary conditions for global linearizability and (ii) extensions of the Hartman-Grobman and Floquet normal form theorems beyond the classical settings. Overall, our results reveal relationships between linearizability, symmetry, topology, and invariant manifold theory. In particular, these relationships yield fundamental limitations and capabilities of algorithms from the "applied Koopman operator theory" literature.
△ Less
Submitted 30 July, 2024; v1 submitted 29 May, 2023;
originally announced May 2023.
-
A Compositional Approach to Certifying the Almost Global Asymptotic Stability of Cascade Systems
Authors:
Jake Welde,
Matthew D. Kvalheim,
Vijay Kumar
Abstract:
In this work, we give sufficient conditions for the almost global asymptotic stability of a cascade in which the subsystems are only almost globally asymptotically stable. The result is extended to upper triangular systems of arbitrary size. In particular, if the unforced subsystems are almost globally asymptotically stable and their only chain recurrent points are hyperbolic equilibria, then the…
▽ More
In this work, we give sufficient conditions for the almost global asymptotic stability of a cascade in which the subsystems are only almost globally asymptotically stable. The result is extended to upper triangular systems of arbitrary size. In particular, if the unforced subsystems are almost globally asymptotically stable and their only chain recurrent points are hyperbolic equilibria, then the boundedness of forward trajectories is sufficient for the almost global asymptotic stability of the full upper triangular system. We show that unboundedness of such cascades is prohibited by growth rate conditions on the interconnection term and a Lyapunov function for the unforced outer subsystem, and the required structure for the chain recurrent set is enjoyed by classes of systems common in geometric control e.g. dissipative mechanical systems. Our results stand in contrast to prior works that require either time scale separation, prohibitively strong disturbance robustness properties, or global asymptotic stability in the subsystems.
△ Less
Submitted 16 May, 2023; v1 submitted 27 March, 2023;
originally announced March 2023.
-
The Role of Symmetry in Constructing Geometric Flat Outputs for Free-Flying Robotic Systems
Authors:
Jake Welde,
Matthew D. Kvalheim,
Vijay Kumar
Abstract:
Mechanical systems naturally evolve on principal bundles describing their inherent symmetries. The ensuing factorization of the configuration manifold into a symmetry group and an internal shape space has provided deep insights into the locomotion of many robotic and biological systems. On the other hand, the property of differential flatness has enabled efficient, effective planning and control a…
▽ More
Mechanical systems naturally evolve on principal bundles describing their inherent symmetries. The ensuing factorization of the configuration manifold into a symmetry group and an internal shape space has provided deep insights into the locomotion of many robotic and biological systems. On the other hand, the property of differential flatness has enabled efficient, effective planning and control algorithms for various robotic systems. Yet, a practical means of finding a flat output for an arbitrary robotic system remains an open question. In this work, we demonstrate surprising new connections between these two domains, for the first time employing symmetry directly to construct a flat output. We provide sufficient conditions for the existence of a trivialization of the bundle in which the group variables themselves are a flat output. We call this a geometric flat output, since it is equivariant (i.e. maintains the symmetry) and is often global or almost-global, properties not typically enjoyed by other flat outputs. In such a trivialization, the motion planning problem is easily solved, since a given trajectory for the group variables will fully determine the trajectory for the shape variables that exactly achieves this motion. We provide a partial catalog of robotic systems with geometric flat outputs and worked examples for the planar rocket, planar aerial manipulator, and quadrotor.
△ Less
Submitted 27 March, 2023; v1 submitted 23 September, 2022;
originally announced September 2022.
-
Obstructions to asymptotic stabilization
Authors:
Matthew D. Kvalheim
Abstract:
Necessary conditions for asymptotic stability and stabilizability of subsets for dynamical and control systems are obtained. The main necessary condition is homotopical and is in turn used to obtain a homological one. A certain extension is ruled out. Questions are posed.
Necessary conditions for asymptotic stability and stabilizability of subsets for dynamical and control systems are obtained. The main necessary condition is homotopical and is in turn used to obtain a homological one. A certain extension is ruled out. Questions are posed.
△ Less
Submitted 14 November, 2022; v1 submitted 16 May, 2022;
originally announced May 2022.
-
A generalization of the Hopf degree theorem
Authors:
Matthew D. Kvalheim
Abstract:
The Hopf theorem states that homotopy classes of continuous maps from a closed connected oriented smooth $n$-manifold $M$ to the $n$-sphere are classified by their degree. Such a map is equivalent to a section of the trivial $n$-sphere bundle over $M$. A generalization of the Hopf theorem is obtained for sections of nontrivial oriented $n$-sphere bundles over $M$.
The Hopf theorem states that homotopy classes of continuous maps from a closed connected oriented smooth $n$-manifold $M$ to the $n$-sphere are classified by their degree. Such a map is equivalent to a section of the trivial $n$-sphere bundle over $M$. A generalization of the Hopf theorem is obtained for sections of nontrivial oriented $n$-sphere bundles over $M$.
△ Less
Submitted 8 August, 2022; v1 submitted 19 March, 2022;
originally announced March 2022.
-
Estimating Phase from Observed Trajectories Using the Temporal 1-Form
Authors:
Simon Wilshin,
Matthew D. Kvalheim,
Clayton Scott,
Shai Revzen
Abstract:
Oscillators are ubiquitous in nature, and usually associated with the existence of an asymptotic phase that governs the long-term dynamics of the oscillator. % We show that asymptotic phase can be estimated using a carefully chosen series expansion which directly computes the phase response curve and provide an algorithm for estimating the co-efficients of this series. Unlike all previously availa…
▽ More
Oscillators are ubiquitous in nature, and usually associated with the existence of an asymptotic phase that governs the long-term dynamics of the oscillator. % We show that asymptotic phase can be estimated using a carefully chosen series expansion which directly computes the phase response curve and provide an algorithm for estimating the co-efficients of this series. Unlike all previously available data driven phase estimation methods, our algorithm can: (i) use observations that are much shorter than a cycle; (ii) recover phase within any forward invariant region for which sufficient data are available; (iii) recover the phase response curves (PRC-s) that govern weak oscillator coupling; (iv) show isochron curvature, and recover nonlinear features of isochron geometry. Our method may find application wherever models of oscillator dynamics need to be constructed from measured or simulated time-series.
△ Less
Submitted 8 March, 2022;
originally announced March 2022.
-
Phase Response Curves and the Role of Coordinates
Authors:
Simon Wilshin,
Matthew D. Kvalheim,
Shai Revzen
Abstract:
The "Phase Response Curve" (PRC) is a common tool used to analyze phase resetting in the natural sciences. We make the observation that the PRC with respect to a coordinate $y\in\mathbb{R}$ actually depends on the full choice of coordinates $(x,y)$, $x\in\mathbb{R}^d$. We give a coordinate-free definition of the PRC making this observation obvious. We show how by controlling $y$, using delay coord…
▽ More
The "Phase Response Curve" (PRC) is a common tool used to analyze phase resetting in the natural sciences. We make the observation that the PRC with respect to a coordinate $y\in\mathbb{R}$ actually depends on the full choice of coordinates $(x,y)$, $x\in\mathbb{R}^d$. We give a coordinate-free definition of the PRC making this observation obvious. We show how by controlling $y$, using delay coordinates of $y$, and postulating the dynamics of $x$ as a function of $x$ and $y$, we can sometimes reconstruct the PRC with respect to the $(x,y)$ coordinates. This suggests a means for obtaining the PRC of, e.g., a neuron via a voltage clamp.
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
-
A pasting lemma for Lipschitz functions
Authors:
Matthew D. Kvalheim,
Paul Gustafson,
Samuel A. Burden
Abstract:
We give a necessary and sufficient condition ensuring that any function which is separately Lipschitz on two fixed compact sets is Lipschitz on their union.
We give a necessary and sufficient condition ensuring that any function which is separately Lipschitz on two fixed compact sets is Lipschitz on their union.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
Poincaré-Hopf theorem for hybrid systems
Authors:
Matthew D. Kvalheim
Abstract:
A generalization of the Poincaré-Hopf index theorem applicable to hybrid dynamical systems is obtained. For the hybrid systems considered, guard sets are not assumed to be smooth; distinct "modes" are not assumed to have constant dimension; and resets are arbitrary multivalued maps (relations).
A generalization of the Poincaré-Hopf index theorem applicable to hybrid dynamical systems is obtained. For the hybrid systems considered, guard sets are not assumed to be smooth; distinct "modes" are not assumed to have constant dimension; and resets are arbitrary multivalued maps (relations).
△ Less
Submitted 17 August, 2021;
originally announced August 2021.
-
Flux in tilted potential systems: negative resistance and persistence
Authors:
Yuliy Baryshnikov,
Matthew D. Kvalheim
Abstract:
Many real-world systems are well-modeled by Brownian particles subject to gradient dynamics plus noise arising, e.g., from the thermal fluctuations of a heat bath. Of central importance to many applications in physics and biology (e.g., molecular motors) is the net steady-state particle current or "flux" enabled by the noise and an additional driving force. However, this flux cannot usually be cal…
▽ More
Many real-world systems are well-modeled by Brownian particles subject to gradient dynamics plus noise arising, e.g., from the thermal fluctuations of a heat bath. Of central importance to many applications in physics and biology (e.g., molecular motors) is the net steady-state particle current or "flux" enabled by the noise and an additional driving force. However, this flux cannot usually be calculated analytically. Motivated by this, we investigate the steady-state flux generated by a nondegenerate diffusion process on a general compact manifold; such fluxes are essentially equivalent to the stochastic intersection numbers of Manabe (1982). In the case that noise is small and the drift is "gradient-like" in an appropriate sense, we derive a graph-theoretic formula for the small-noise asymptotics of the flux using Freidlin-Wentzell theory. When additionally the drift is a local gradient sufficiently close to a generic global gradient, there is a natural flux equivalent to the entropy production rate -- in this case our graph-theoretic formula becomes Morse-theoretic, and the result admits a description in terms of persistent homology. As an application, we provide a mathematically rigorous explanation of the paradoxical "negative resistance" phenomenon in Brownian transport discovered by Cecchi and Magnasco (1996).
△ Less
Submitted 17 December, 2022; v1 submitted 13 August, 2021;
originally announced August 2021.
-
Necessary conditions for feedback stabilization and safety
Authors:
Matthew D. Kvalheim,
Daniel E. Koditschek
Abstract:
Brockett's necessary condition yields a test to determine whether a system can be made to stabilize about some operating point via continuous, purely state-dependent feedback. For many real-world systems, however, one wants to stabilize sets which are more general than a single point. One also wants to control such systems to operate safely by making obstacles and other "dangerous" sets repelling.…
▽ More
Brockett's necessary condition yields a test to determine whether a system can be made to stabilize about some operating point via continuous, purely state-dependent feedback. For many real-world systems, however, one wants to stabilize sets which are more general than a single point. One also wants to control such systems to operate safely by making obstacles and other "dangerous" sets repelling.
We generalize Brockett's necessary condition to the case of stabilizing general compact subsets having a nonzero Euler characteristic in general ambient state spaces (smooth manifolds). Using this generalization, we also formulate a necessary condition for the existence of "safe" control laws. We illustrate the theory in concrete examples and for some general classes of systems including a broad class of nonholonomically constrained Lagrangian systems. We also show that, for the special case of stabilizing a point, the specialization of our general stabilizability test is stronger than Brockett's.
△ Less
Submitted 26 May, 2022; v1 submitted 1 June, 2021;
originally announced June 2021.
-
Generic Properties of Koopman Eigenfunctions for Stable Fixed Points and Periodic Orbits
Authors:
Matthew D. Kvalheim,
David Hong,
Shai Revzen
Abstract:
Our recent work established existence and uniqueness results for $\mathcal{C}^{k,α}_{\text{loc}}$ globally defined linearizing semiconjugacies for $\mathcal{C}^1$ flows having a globally attracting hyperbolic fixed point or periodic orbit (Kvalheim and Revzen, 2019). Applications include (i) improvements, such as uniqueness statements, for the Sternberg linearization and Floquet normal form theore…
▽ More
Our recent work established existence and uniqueness results for $\mathcal{C}^{k,α}_{\text{loc}}$ globally defined linearizing semiconjugacies for $\mathcal{C}^1$ flows having a globally attracting hyperbolic fixed point or periodic orbit (Kvalheim and Revzen, 2019). Applications include (i) improvements, such as uniqueness statements, for the Sternberg linearization and Floquet normal form theorems; (ii) results concerning the existence, uniqueness, classification, and convergence of various quantities appearing in the "applied Koopmanism" literature, such as principal eigenfunctions, isostables, and Laplace averages.
In this work we give an exposition of some of these results, with an emphasis on the Koopmanism applications, and consider their broadness of applicability. In particular we show that, for "almost all" $\mathcal{C}^\infty$ flows having a globally attracting hyperbolic fixed point or periodic orbit, the $\mathcal{C}^\infty$ Koopman eigenfunctions can be completely classified, generalizing a result known for analytic systems. For such systems, every $\mathcal{C}^\infty$ eigenfunction is uniquely determined by its eigenvalue modulo scalar multiplication.
△ Less
Submitted 15 April, 2021; v1 submitted 7 October, 2020;
originally announced October 2020.
-
Conley's fundamental theorem for a class of hybrid systems
Authors:
Matthew D. Kvalheim,
Paul Gustafson,
Daniel E. Koditschek
Abstract:
We establish versions of Conley's (i) fundamental theorem and (ii) decomposition theorem for a broad class of hybrid dynamical systems. The hybrid version of (i) asserts that a globally-defined "hybrid complete Lyapunov function" exists for every hybrid system in this class. Motivated by mechanics and control settings where physical or engineered events cause abrupt changes in a system's governing…
▽ More
We establish versions of Conley's (i) fundamental theorem and (ii) decomposition theorem for a broad class of hybrid dynamical systems. The hybrid version of (i) asserts that a globally-defined "hybrid complete Lyapunov function" exists for every hybrid system in this class. Motivated by mechanics and control settings where physical or engineered events cause abrupt changes in a system's governing dynamics, our results apply to a large class of Lagrangian hybrid systems (with impacts) studied extensively in the robotics literature. Viewed formally, these results generalize those of Conley and Franks for continuous-time and discrete-time dynamical systems, respectively, on metric spaces. However, we furnish specific examples illustrating how our statement of sufficient conditions represents merely an early step in the longer project of establishing what formal assumptions can and cannot endow hybrid systems models with the topologically well characterized partitions of limit behavior that make Conley's theory so valuable in those classical settings.
△ Less
Submitted 17 December, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
Existence and uniqueness of global Koopman eigenfunctions for stable fixed points and periodic orbits
Authors:
Matthew D. Kvalheim,
Shai Revzen
Abstract:
We consider $C^1$ dynamical systems having an attracting hyperbolic fixed point or periodic orbit and prove existence and uniqueness results for $C^k$ (actually $C^{k,α}_{\text{loc}}$) linearizing semiconjugacies -- of which Koopman eigenfunctions are a special case -- defined on the entire basin of attraction. Our main results both generalize and sharpen Sternberg's $C^k$ linearization theorem fo…
▽ More
We consider $C^1$ dynamical systems having an attracting hyperbolic fixed point or periodic orbit and prove existence and uniqueness results for $C^k$ (actually $C^{k,α}_{\text{loc}}$) linearizing semiconjugacies -- of which Koopman eigenfunctions are a special case -- defined on the entire basin of attraction. Our main results both generalize and sharpen Sternberg's $C^k$ linearization theorem for hyperbolic sinks, and in particular our corollaries include uniqueness statements for Sternberg linearizations and Floquet normal forms. Using our main results we also prove new existence and uniqueness statements for $C^k$ Koopman eigenfunctions, including a complete classification of $C^\infty$ eigenfunctions assuming a $C^\infty$ dynamical system with semisimple and nonresonant linearization. We give an intrinsic definition of "principal Koopman eigenfunctions" which generalizes the definition of Mohr and Mezić for linear systems, and which includes the notions of "isostables" and "isostable coordinates" appearing in work by Ermentrout, Mauroy, Mezić, Moehlis, Wilson, and others. Our main results yield existence and uniqueness theorems for the principal eigenfunctions and isostable coordinates and also show, e.g., that the (a priori non-unique) "pullback algebra" defined in \cite{mohr2016koopman} is unique under certain conditions. We also discuss the limit used to define the "faster" isostable coordinates in \cite{wilson2018greater,monga2019phase} in light of our main results.
△ Less
Submitted 31 March, 2021; v1 submitted 27 November, 2019;
originally announced November 2019.
-
Gait modeling and optimization for the perturbed Stokes regime
Authors:
Matthew D. Kvalheim,
Brian Bittner,
Shai Revzen
Abstract:
Many forms of locomotion, both natural and artificial, are dominated by viscous friction in the sense that without power expenditure they quickly come to a standstill. From geometric mechanics, it is known that for swimming at the "Stokesian" (viscous; zero Reynolds number) limit, the motion is governed by a reduced order "connection" model that describes how body shape change produces motion for…
▽ More
Many forms of locomotion, both natural and artificial, are dominated by viscous friction in the sense that without power expenditure they quickly come to a standstill. From geometric mechanics, it is known that for swimming at the "Stokesian" (viscous; zero Reynolds number) limit, the motion is governed by a reduced order "connection" model that describes how body shape change produces motion for the body frame with respect to the world. In the "perturbed Stokes regime" where inertial forces are still dominated by viscosity, but are not negligible (low Reynolds number), we show that motion is still governed by a functional relationship between shape velocity and body velocity, but this function is no longer linear in shape change rate. We derive this model using results from singular perturbation theory, and the theory of noncompact normally hyperbolic invariant manifolds (NHIMs).
Using the theoretical properties of this reduced-order model, we develop an algorithm that estimates an approximation to the dynamics near a cyclic body shape change (a "gait") directly from observational data of shape and body motion. This extends our previous work which assumed kinematic "connection" models. To compare the old and new algorithms, we analyze simulated swimmers over a range of inertia to damping ratios. Our new class of models performs well on the Stokesian regime, and over several orders of magnitude outside it into the perturbed Stokes regime, where it gives significantly improved prediction accuracy compared to previous work.
In addition to algorithmic improvements, we thereby present a new class of models that is of independent interest. Their application to data-driven modeling improves our ability to study the optimality of animal gaits, and our ability to use hardware-in-the-loop optimization to produce gaits for robots.
△ Less
Submitted 25 April, 2020; v1 submitted 11 June, 2019;
originally announced June 2019.
-
Families of periodic orbits: closed 1-forms and global continuability
Authors:
Matthew D. Kvalheim,
Anthony M. Bloch
Abstract:
We investigate global continuation of periodic orbits of a differential equation depending on a parameter, assuming that a closed 1-form satisfying certain properties exists. We begin by extending the global continuation theory of Alexander, Alligood, Mallet-Paret, Yorke, and others to this situation, formulating a new notion of global continuability and a new global continuation theorem tailored…
▽ More
We investigate global continuation of periodic orbits of a differential equation depending on a parameter, assuming that a closed 1-form satisfying certain properties exists. We begin by extending the global continuation theory of Alexander, Alligood, Mallet-Paret, Yorke, and others to this situation, formulating a new notion of global continuability and a new global continuation theorem tailored for this situation. In particular, we show that the existence of such a 1-form ensures that local continuability of periodic orbits implies global continuability. Using our general theory, we then develop continuation-based techniques for proving the existence of periodic orbits. In contrast to previous work, a key feature of our results is that existence of periodic orbits can be proven (i) without finding trapping regions for the dynamics and (ii) without establishing a priori upper bounds on the periods of orbits. We illustrate the theory in examples inspired by the synthetic biology literature.
△ Less
Submitted 16 October, 2020; v1 submitted 8 June, 2019;
originally announced June 2019.
