Necessary and sufficient conditions for the existence of invariant algebraic curves
- 1 January 2021
- journal article
- research article
- Published by University of Szeged in Electronic Journal of Qualitative Theory of Differential Equations
- No. 48,p. 1-22
- https://doi.org/10.14232/ejqtde.2021.1.48
Abstract
We present a set of conditions enabling a polynomial system of ordinary differential equations in the plane to have invariant algebraic curves. These conditions are necessary and sufficient. Our main tools include factorizations over the field of Puiseux series near infinity of bivariate polynomials generating invariant algebraic curves. The set of conditions can be algorithmically verified. This fact gives rise to a method, which is able not only to find some irreducible invariant algebraic curves, but also to perform their classification. We study in details the problem of classifying invariant algebraic curves in the most difficult case: we consider differential systems with infinite number of trajectories passing through infinity. As an example, we find necessary and sufficient conditions such that a general polynomial Lienard differential system has invariant algebraic curves. We present a set of all irreducible invariant algebraic curves for quintic Lienard differential systems with a linear damping function. It is supposed in scientific literature that the degrees of their irreducible invariant algebraic curves are bounded by 6. While we derive irreducible invariant algebraic curves of degree 9.Keywords
This publication has 23 references indexed in Scilit:
- Liouvillian First Integrals for Generalized Liénard Polynomial Differential SystemsAdvanced Nonlinear Studies, 2013
- A New Algorithm for Finding Rational First Integrals of Polynomial Vector FieldsQualitative Theory of Dynamical Systems, 2010
- Lectures on Analytic Differential EquationsPublished by American Mathematical Society (AMS) ,2007
- The role of algebraic solutions in planar polynomial differential systemsMathematical Proceedings of the Cambridge Philosophical Society, 2007
- Multiplicity of invariant algebraic curves in polynomial vector fieldsPacific Journal of Mathematics, 2007
- Necessary conditions for the existence of invariant algebraic curves for planar polynomial systemsBulletin des Sciences Mathématiques, 2005
- GENERALIZED NONLINEAR SUPERPOSITION PRINCIPLESPublished by World Scientific Pub Co Pte Ltd ,2005
- Asymptotic behaviour and expansions of solutions of an ordinary differential equationRussian Mathematical Surveys, 2004
- Non-algebraic invariant curves for polynomial planar vector fieldsDiscrete & Continuous Dynamical Systems, 2004
- The Limit Cycle of the van der Pol Equation Is Not AlgebraicJournal of Differential Equations, 1995