Effective construction of Poincaré-Bendixson regions

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 dete...

Descripción completa

Detalles Bibliográficos
Autores: Gasull, Armengol, Giacomini, Héctor, Grau Montaña, Maite
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2017
País:España
Institución:Universitat de Lleida (UdL)
Repositorio:Repositori Obert UdL
OAI Identifier:oai:repositori.udl.cat:10459.1/60471
Acceso en línea:https://doi.org/10.11948/2017094
http://hdl.handle.net/10459.1/60471
Access Level:acceso abierto
Palabra clave:Transversal curve
Poincaré-Bendixson region
Limit cycle
Bifurcation
Planar differential system
Matemàtica
Descripción
Sumario: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.