arXiv subjects

Héctor Giacomini

Publications and source records attributed to Héctor Giacomini.

5 recordsLinked to original sources

arXiv2016

Proving the existence of numerically detected planar limit cycles

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é--Bendixson regions by using transversal curves, that enables us to prove the existence of a limit cycle that has been numerically detected. We apply our results to several known systems, like the Brusselator one or some Liénard systems, to prove the existence of the limit cycles and to locate them very precisely in the phase space. Our method, combined with some other classical tools can be applied to obtain sharp bounds for the bifurcation values of a saddle-node bifurcation of limit cycles, as we do for the Rychkov system.

math.DS↗

arXiv2014

Transversal conics and the existence of limit cycles

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é--Bendixson regions by using transversal conics. We present several examples of known systems in the literature showing different features about limit cycles: hyperbolicity, Hopf bifurcation, sky-blue bifurcation, rotated vector fields, \ldots for which the obtained Poincaré--Bendixson region allows to locate the limit cycles. Our method gives bounds for the bifurcation values of parametrical families of planar vector fields and intervals of existence of limit cycles.

math.DS↗

arXiv2006

The problem of distinguishing between a center and a focus for nilpotent and degenerate analytic systems

In this work we study the centers of planar analytic vector fields which are limit of linear type centers. It is proved that all the nilpotent centers are limit of linear type centers and consequently the Poincaré--Liapunov method to find linear type centers can be also used to find the nilpotent centers. Moreover, we show that the degenerate centers which are limit of linear type centers are also detectable with the Poincaré--Liapunov method.

math.DS↗

arXiv2005

The role of algebraic solutions in planar polynomial differential systems

We study a planar polynomial differential system, given by \dot{x}=P(x,y), \dot{y}=Q(x,y). We consider a function I(x,y)=\exp \{h_2(x) A_1(x,y) \diagup A_0(x,y) \} h_1(x) \prod_{i=1}^{\ell} (y-g_i(x))^{α_i}, where g_i(x) are algebraic functions, A_1(x,y)=\prod_{k=1}^r (y-a_k(x)), A_0(x,y)=\prod_{j=1}^s (y-\tilde{g}_j(x)) with a_k(x) and \tilde{g}_j(x) algebraic functions, A_0 and A_1 do not share any common factor, h_2(x) is a rational function, h(x) and h_1(x) are functions with a rational logarithmic derivative and α_i are complex numbers. We show that if I(x,y) is a first integral or an integrating factor, then I(x,y) is a Darboux function. In order to prove this result, we show that if g(x) is such that there exists an irreducible polynomial f(x,y) with f(x,g(x)) \equiv 0, then f(x,y)=0 is an invariant algebraic curve of the system. In relation with this fact, we give some characteristics related to particular solutions and functions of the form I(x,y) such as the structure of their cofactor. Moreover, we consider a function of the form Φ(x,y):= \exp \{h_2(x) A_1(x,y) / A_0 (x,y) \}. We show that if the derivative of Φ(x,y) with respect to the flow is well defined over A_0(x,y)=0 then Φ(x,y) gives rise to an exponential factor.

math.DS↗

arXiv2005

Integrability of planar polynomial differential systems through linear differential equations

In this work, we consider rational ordinary differential equations dy/dx = Q(x,y)/P(x,y), with Q(x,y) and P(x,y) coprime polynomials with real coefficients. We give a method to construct equations of this type for which a first integral can be expressed from two independent solutions of a second-order homogeneous linear differential equation. This first integral is, in general, given by a non Liouvillian function. We show that all the known families of quadratic systems with an irreducible invariant algebraic curve of arbitrarily high degree and without a rational first integral can be constructed by using this method. We also present a new example of this kind of families. We give an analogous method for constructing rational equations but by means of a linear differential equation of first order.

math.DS↗