×

The theory of Khovanskii and the problem of Dulac. (Théorie de Hovanskii et problème de Dulac.) (French) Zbl 0769.58050

This is a paper of great interest. The XVIth Hilbert problem, still unsolved, generates the so called Dulac problem which consists in showing that for an analytic equation in the real plane \(\mathbb{R}^ 2\), \(\dot x = f(x)\), limit cycles cannot accumulate (their number is locally finite). The Dulac problem has been solved by Il’yashenko and also by Ecalle, Martinet, Moussu, Ramis, but the proofs are very complex and difficult. Four years ago Moussu had an idea of approaching this problem geometrically rather than analytically. Instead of studying the Poincaré map he started studying the solutions. Like that he met the ideas of Khovanskij.
Interestingly, the solutions of an analytic equation \(\dot x = f(x)\) in the plane, although not being subanalytic in most of the cases, behave surprisingly well. Moussu worked on this with Roche and soon they found out that some techniques developed by the Polish school (Łojasiewicz, the reviewer, Stasica, Wachta) for subanalytic sets can be generalized to separating varieties and combined with the Rolle theorem of Khovanskii. Together with the good use of transversality, it gives the following Theorem 2. Let \(X\) and \(M\) be semianalytic in \(N\), \(M\) relatively compact, and let \(\omega\) be a 1-form analytic in a neighbourhood of \(\overline{M}\) and let \(V_ 1,\dots,V_ q\) be separating surfaces of Khovanskii (which means \(M\setminus V_ i\) is a union of two open connected sets with common border in \(M\) and for each \(x\in V\) \(\text{Ker }\omega(x)\) is tangent to \(T_ xV\) in \(x\)), then the number of connected components of \(X\cap V_ 1 \cap \dots \cap V_ q\) is finite. This was a tool for proving the following
Theorem 1. Let \(f\) be the map of first return for a polycycle \(P\) of an analytic differential equation \(\omega = 0\), where \(\omega = a(x,y)dx + b(x,y)dy\) in \(\mathbb{R}^ 2\), defined on an open subset in \(\mathbb{R}^ 2\).
If \(P\) verifies the hypothesis: \(\omega\) has an analytic integrating factor at each vertex, then either \(f = \text{id}\) or 0 is a fixed isolated point of \(f\). (This excludes the accumulation of limit cycles of \(P\).)
The existence of an analytic integrating factor is, unfortunately, quite restrictive, but the results obtained while trying to prove Dulac’s conjecture this way are extremely interesting and led to the notion of Pfaffian varieties and their study (to be published).
Reviewer: Z.Denkowska

MSC:

37G15 Bifurcations of limit cycles and periodic orbits in dynamical systems
32B20 Semi-analytic sets, subanalytic sets, and generalizations
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] [C-M] Cerveau, D., Mattei, J.F.: Formes intégrables holomorphes singulières. Astérisque97 (1982) · Zbl 0545.32006
[2] [D] Dulac, H.: Sur les cycles limites. Bull. Soc. Math. Fr.51, 45-188 (1923) · JFM 49.0304.01
[3] [E1] Écalle, J.: Finitude des cycles-limites et accéléro-sommation de l’application de retour. In: Françoise, J.-P., Roussarie, R. (eds.) Bifurcations of planar vector fields. Proceedings Luminy 1989. (Lect. Notes Math., vol. 1445) Berlin Heidelberg New York: Springer 1990
[4] [E2] Écalle, J.: Livre à paraitre dans la collection Travaux En Cours. Paris: Hermann 1991
[5] [EMMR] Écalle, J., Martinet, J., Moussu, R., Ramis, J.-P.: Non-accumulation de cycles limites. C.R. Acad. Sci., Paris, Sér. I.304, (I) 375-378, (II), 431-434 (1987) · Zbl 0615.58011
[6] [H] Khovanskii, A.G.: Real analytic varieties with the finiteness property and complex abelian integrals. Funct. Anal. Appl.18, 119-127 (1984) · Zbl 0584.32016 · doi:10.1007/BF01077822
[7] [I1] Il’Yashenko, Y.S.: Limit cycles of polynomial vector fields with nondegenerate singular points on the real plane. Funct Anal. Appl.,18, 199-207 (1984) · Zbl 0564.34034 · doi:10.1007/BF01086157
[8] [I2] Il’Yashenko, Y.S.: Théorèmes de finitude pour les cycles limites. I. (En russe.) Usp. Mat. Nauk.45, 143 (1989) (Et Il à paraitre)
[9] [L] Lojasiewicz, S.: Ensembles semi-analytiques. I.H.E.S Preprint, Bures-Sur-Yvette (1965)
[10] [M] Moussu, R.: Le problème de la finitude du nombre de cycles limites. Séminaire Bourbaki No 655 (1985); Astérisque145-146, 89-101 (1987)
[11] [R] Risler, J.J.: Complexité et géomérie réelle (d’après A. Khovansky). Séminaire Bourbaki, No 637 (1984); Astérisque133-134, 89-100 (1986)
[12] [T] Tougeron, J.-C.: Sur certains algèbres de fonctions analytiques. Séminaire sur la géométrie algébrique réelle. Publ. Math. Univ. Paris VII24, 35-121 (1986)
[13] [Y] Yoccoz, J.-C.: Non-accumulation de cycles limites. Séminaire Bourbaki, No 690 (1987); Astérisque161-162, 87-103 (1989)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.