Related papers: On the Computational Complexity of Limit Cycles in…
The Poincar\'e-Bendixson theorem plays an important role in the study of the qualitative behavior of dynamical systems on the plane; it describes the structure of limit sets in such systems. We prove a version of the Poincar\'e-Bendixson…
This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincar\'e--Bendixson regions by using transversal curves, that enables us to…
We show that the presence of a two-dimensional inertial manifold for an ordinary differential equation in ${\mathbb R}^{n}$ permits reducing the problem of determining asymptotically orbitally stable limit cycles to the Poincare--Bendixson…
The Poincar\'{e}-Bendixson theorem is one of the most fundamental tools to capture the limit behaviors of orbits of flows. It was generalized and applied to various phenomena in dynamical systems, differential equations, foliations, group…
Dynamical properties of limit cycles in a two-dimensional max-plus dynamical system are discussed. We apply a Poincare map method to the limit cycles in order to reveal their stabilities. This method reduces the two dimensional system to a…
This paper considers an optimization problem for a dynamical system whose evolution depends on a collection of binary decision variables. We develop scalable approximation algorithms with provable suboptimality bounds to provide…
We study semiflows satisfying a certain squeezing condition with respect to a quadratic functional in some Banach space. Under certain compactness assumptions from our previous results it follows that there exists an invariant manifold,…
Planar piecewise linear systems with two linearity zones separated by a straight line and with a periodic orbit at infinity are considered. By using some changes of variables and parameters, a reduced canonical form with five parameters is…
We prove a version of the Poincar\'e-Bendixson theorem for certain classes of curves on the 2-sphere which are not required to be the trajectories of an underlying flow or semiflow on the sphere itself. Using this result we extend the…
The current state-of-the-art methods for showing inapproximability in PPAD arise from the $\varepsilon$-Generalized-Circuit ($\varepsilon$-GCircuit) problem. Rubinstein (2018) showed that there exists a small unknown constant $\varepsilon$…
Li\'{e}nard equations, $\ddot{x}+\epsilon f(x)\dot{x}+x=0$, with $f(x)$ an even continuous function are considered. In the weakly nonlinear regime ($\epsilon\to 0$), the number and an order zero in $\epsilon$ approximation of the amplitude…
In this paper we study the fine-grained complexity of finding exact and approximate solutions to problems in P. Our main contribution is showing reductions from exact to approximate solution for a host of such problems. As one (notable)…
We consider the following problem: given a program, find tight asymptotic bounds on the values of some variables at the end of the computation (or at any given program point) in terms of its input values. We focus on the case of…
We consider time-invariant nonlinear $n$-dimensional strongly $2$-cooperative systems, that is, systems that map the set of vectors with up to weak sign variation to its interior. Strongly $2$-cooperative systems enjoy a strong…
If the dynamics of an evolutionary differential equation system possess a low-dimensional, attracting, slow manifold, there are many advantages to using this manifold to perform computations for long term dynamics, locating features such as…
We describe the sets of accumulation of secants for orbits of real analytic vector fields in dimension three having the origin as only {\omega}-limit point. It is a kind of infinitesimal Poincar\'e-Bendixson problem in dimension three.…
Lienard systems are very important mathematical models describing oscillatory processes arising in applied sciences. In this paper, we study polynomial Lienard systems of arbitrary degree on the plane, and develop a new method to obtain a…
We study the computational problem of rigorously describing the asymptotic behaviour of topological dynamical systems up to a finite but arbitrarily small pre-specified error. More precisely, we consider the limit set of a typical orbit,…
This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincar\'e--Bendixson regions by using transversal conics. We present several…
A nonlinear dynamical system is called eventually competitive (or cooperative) provided that it preserves a partial order in backward (or forward) time only after some reasonable initial transient. We presented in this paper the…