Related papers: A new simple proof for Lum-Chua's conjecture
This paper is concerned with the limit cycles for planar semi-quasi-homogeneous polynomial systems. We give some explicit criteria for the nonexistence and existence of periodic orbits. Let $N=N(p,q,m,n)$ be the maximum number of limit…
We will consider two special families of polynomial perturbations of the linear center. For the resulting perturbed systems, which are generalized Li\'enard systems, we provide the exact upper bound for the number of limit cycles that…
We prove that the hyperbolic components of bicritical rational maps having two distinct attracting cycles each of period at least two are bounded in the moduli space of bicritical rational maps. Our arguments rely on arithmetic methods.
In this paper, we study the maximum number of limit cycles for the piecewise smooth system of differential equations $\dot{x}=y, \ \dot{y}=-x-\varepsilon \cdot (f(x)\cdot y +{\rm sgn}(y)\cdot g(x))$. Using the averaging method, we were able…
In the realm of light logics deriving from linear logic, a number of variants of exponential rules have been investigated. The profusion of such proof systems induces the need for cut-elimination theorems for each logic, the proof of which…
Let $\dot{z}=f(z)$ be a holomorphic differential equation with center at $p$. In this paper we are concerned about studying the piecewise perturbation systems $\dot{z}=f(z)+\epsilon R^\pm(z,\overline{z}),$ where $R^\pm(z,\overline{z})$ are…
For a chaotic system pairs of initially close-by trajectories become eventually fully uncorrelated on the attracting set. This process of decorrelation may split into an initial exponential decrease, characterized by the maximal Lyapunov…
Fair termination is the property of programs that may diverge "in principle" but that terminate "in practice", i.e. under suitable fairness assumptions concerning the resolution of non-deterministic choices. We study a conservative…
A dynamical system framework is used to describe transport processes in plasmas embedded in a magnetic field. For periodic systems with one degree of freedom the Poincar\'e map provides a splitting of the phase space into regions where…
In this note we show that unsatisfiable systems of linear equations with a constant number of variables per equation over prime finite fields have polynomial-size constant-degree semi-algebraic proofs of unsatisfiability. These are proofs…
We consider the Cauchy problem for the nonlinear dynamical Lam\'e system with double wave speeds in a $d$-dimensional $(d=2,3)$ periodic domain. Moreover, the equations can be transformed into a linearly degenerate hyperbolic system. We…
The classical definitions of the Incipient Infinite Cluster (IIC) of percolation consist in conditioning the origin on being connected to radius $n$ and letting $n$ go to infinity. We provide a short proof of that convergence in the planar…
Recently, the covariant formulation of the geometric bifurcation theory, developed in a previous paper, has been applied to two elementary problems: the study of limit cycles of dynamical systems and the second part of Hilbert's sixteenth…
We analyze the dynamics of a class of $\mathbb{Z}_{2n}$-equivariant differential equations on the plane, depending on 4 real parameters. This study is the generalisation to $\mathbb{Z}_{2n}$ of previous works with $\mathbb{Z}_4$ and…
We characterize permanence of planar S-systems. Further, we construct a planar S-system with three limit cycles.
We prove an almost sure invariance principle that is valid for general classes of nonuniformly expanding and nonuniformly hyperbolic dynamical systems. Discrete time systems and flows are covered by this result. In particular, the result…
The well-known paradox of linear stability for the some bounded shear flows is not solved up to now and is bypassed on the basis of the non-linear mechanisms consideration. We prove that it is arising only due to an idealized assumption of…
In this paper we develop cyclic proof systems for the problem of inclusion between the least sets of models of mutually recursive predicates, when the ground constraints in the inductive definitions belong to the quantifier-free fragments…
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…
In this note we give a family of planar polynomial differential systems with a prescribed hyperbolic limit cycle. This family constitutes a corrected and wider version of an example given in the work of M.A. Abdelkader entitled ``Relaxation…