If P and Q are two real polynomials in the real variables x and y such that the degree of P 2 + Q 2 is 2n, then we say that the polynomial differential system x = P (x, y), y = Q(x, y) has degree n. Let α(n) be the maximum number of invariant straight lines possible in a polynomial differential systems of degree n > 1 having finitely many invariant straight lines. In the 1980's the following conjecture circulated among mathematicians working in polynomial differential systems. Conjecture: α(n) is 2n + 1 if n is even, and α(n) is 2n + 2 if n is odd. The conjecture was established for n = 2, 3, 4. In this paper we prove that, in general, the conjecture is not true for n > 4. Specifically, we prove that α(5) = 14. Moreover, we present counterexamples to the conjecture for n ∈ {6, 7, . . . , 20}. We also show that 2n + 1 ≤ α(n) ≤ 3n − 1 if n is even, and that 2n + 2 ≤ α(n) ≤ 3n − 1 if n is odd.
Planar quadratic differential systems occur in many areas of applied mathematics. Although more than one thousand papers were written on these systems, a complete understanding of this class is still missing. Classical problems, and in particular, Hilbert's 16th problem [Hilbert, 1900, 1902], are still open for this class. In this article we make an interdisciplinary global study of the subclass [Formula: see text] which is the closure within real quadratic differential systems, of the family QW2 of all such systems which have a weak focus of second order. This class [Formula: see text] also includes the family of all quadratic differential systems possessing a weak focus of third order and topological equivalents of all quadratic systems with a center. The bifurcation diagram for this class, done in the adequate parameter space which is the three-dimensional real projective space, is quite rich in its complexity and yields 373 subsets with 126 phase portraits for [Formula: see text], 95 for QW2, 20 having limit cycles but only three with the maximum number of limit cycles (two) within this class. The phase portraits are always represented in the Poincaré disc. The bifurcation set is formed by an algebraic set of bifurcations of singularities, finite or infinite and by a set of points which we suspect to be analytic corresponding to global separatrices which have connections. Algebraic invariants were needed to construct the algebraic part of the bifurcation set, symbolic computations to deal with some quite complex invariants and numerical calculations to determine the position of the analytic bifurcation set of connections. The global geometry of this class [Formula: see text] reveals interesting bifurcations phenomena; for example, all phase portraits with limit cycles in this class can be produced by perturbations of symmetric (reversible) quadratic systems with a center. Many other nonlinear phenomena displayed here form material for further studies.
Planar quadratic differential systems occur in many areas of applied mathematics. Although more than one thousand papers were written on these systems, a complete understanding of this class is still missing. Classical problems, and in particular, Hilbert's 16th problem [Hilbert,1900], are still open for this class. Even when not dealing with limit cycles, still some problems have remained unsolved like a complete classification of different phase portraits without limit cycles. For some time it was thought (see [Coppel, 1966]) there could exist a set of algebraic functions whose signs would completely determine the phase portrait of a quadratic system. Nowadays we already know that this is not so, and that there are some analytical, nonalgebraic functions that also play a role when dealing with limit cycles and separatrix connections. However, it is possible to find out a set of algebraic functions whose signs determine the characteristics of all finite and infinite singular points. Most of the work up to now has dealt with this problem studying it using different normal forms adapted to some subclasses of quadratic systems. A general work useful for any quadratic system regardless of affine changes has only been done for the study of infinite singular points [Schlomiuk et al., 2005]. In this paper, we give a complete global classification of quadratic differential systems according to their topological behavior in the vicinity of the finite singular points. Our classification Main Theorem gives us a complete dictionary describing the local behavior of finite singular points using algebraic invariants and comitants which are a powerful tool for algebraic computations. Linking the result of this paper with the main one of [Schlomiuk et al., 2005] which uses the same algebraic invariants, it is possible to complete the algebraic classification of singular points (finite and infinite) for quadratic differential systems.
In the topological classification of phase portraits no distinctions are made between a focus and a node and neither are they made between a strong and a weak focus or between foci of different orders.These distinction are however important in the production of limit cycles close to the foci in perturbations of the systems. The distinction between the one direction node and the two directions node, which plays a role in understanding the behavior of solution curves around the singularities at infinity, is also missing in the topological classification.In this work we introduce the notion of geometric equivalence relation of singularities which incorporates these important purely algebraic features. The geometric equivalence relation is finer than the topological one and also finer than the qualitative equivalence relation introduced in [19]. We also list all possibilities we have for singularities finite and infinite taking into consideration these finer distinctions and introduce notations for each one of them. Our long term goal is to use this finer equivalence relation to classify the quadratic family according to their different geometric configurations of singularities, finite and infinite.In this work we accomplish a first step of this larger project. We give a complete global classification, using the geometric equivalence relation, of the whole quadratic class according to the configuration of singularities at infinity of the systems. Our classification theorem is stated in terms of invariant polynomials and hence it can be applied to any family of quadratic systems with respect to any particular normal form. The theorem wegive also contains the bifurcation diagram, done in the 12-parameter space, of the geometric configurations of singularities at infinity, and this bifurcation set is algebraic in the parameter space. To determine the bifurcation diagram of configurations of singularities at infinity for any family of quadratic systems, given in any normal form, becomes thus a simple task using computer algebra calculations.1991 Mathematics Subject Classification. Primary 58K45, 34C05, 34A34.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.