arXiv · 1602.00113
Proving the existence of numerically detected planar limit cycles
Abstract
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 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\'{e}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.
Explore related subjects
Keep this discovery
Armengol Gasull, Héctor Giacomini, Maite Grau. 2016-01-30. Proving the existence of numerically detected planar limit cycles. https://arxiv.org/abs/1602.00113
Cite the original work for its findings. Save a collection to share your selection of sources.