Localizing limit cycles : from numeric to analytical results

Presentation given by participants of the joint international multidisciplinary workshop MURPHYS-HSFS-2016 (MUltiRate Processes and HYSteresis; Hysteresis and Slow-Fast Systems), which was dedicated to the mathematical theory and applications of multiple scale systems and systems with hysteresis, and held at the Centre de Recerca Matemàtica (CRM) in Barcelona from June 13th to 17th, 2016This note presents the results of [4]. It 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 syste