Alexander Brudnyi, Department of Mathematics and Statistics, University of Calgary, Calgary, Alberta T2N 1N4; email: albru@math.ucalgary.ca

Abstract/Résumé:

The paper belongs to the area related to the famous Poincaré center-focus problem and contains a new necessary and sufficient condition for existence of a center for ordinary differential equations with coefficients derived algebraically from a certain “basic” class. This class consists of families of equations \(\frac{dv}{dx} = \sum_{j=1}^{\infty} a_j (x) \,v^{j+1}\) whose first return maps generate free subgroups of the group of formal power series. It is shown that such families form a sufficiently “massive” subset in the set of all possible equations as above. The paper contains various characterizations of this “basic” class. It follows the lines of the author’s approach to the center-focus problem (involving modern algebraic techniques) that already deepened the understanding of the problem.

Cet article porte sur le fameux problème du centre-foyer de Poincaré et contient une nouvelle condition nécessaire et suffisante pour l’existence d’un centre pour les équations diffèrentielles ordinaires avec des coéfficients derivés algébriquement d’une certaine classe de “base”. Cette classe consiste en des familles d’équations de la forme \(\frac{dv}{dx} = \sum_{j=1}^{\infty} a_j (x) \,v^{j+1}\) dont les premières fonctions de retour engendrent des sous groupes libres d’un groupe de séries entières formelles. On démontre que de telles familles forment un sous ensemble suffisamment “massif” dans l’ensemble de toutes les équations possible ci-dessus. L’article contient des diverses caractérisations de cette classe de “base”. Il poursuit les directions de l’auteur sur le problème du centre-foyer (selon les techniques algébraiques modernes) qui ont déjà approfondies les connaissances du problème.

Keywords: center problem, free group, the group of formal power series

AMS Subject Classification: Normal forms; center manifold theory; bifurcation theory 37L10

PDF(click to download): Free Subgroups of the Group of Formal Power Series and the Center Problem for ODEs