View source for Centre and focus problem

The problem of determining conditions under which all trajectories of an [[Autonomous system|autonomous system]] of ordinary differential equations

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c0212401.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>

in a certain neighbourhood of an [[Equilibrium position|equilibrium position]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c0212402.png" />, except the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c0212403.png" /> itself, are closed curves. The functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c0212404.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c0212405.png" /> are assumed to be analytic in a certain neighbourhood of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c0212406.png" />. The problem was raised by H. Poincaré in . Fundamental results were obtained by A.M. Lyapunov in [[#References|[2]]].

As a rule, one assumes that the characteristic equation of the linearized system at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c0212407.png" />, that is, the system

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c0212408.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c0212409.png" /></td> </tr></table>

has pure imaginary roots. Then the singular point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c02124010.png" /> is for the system (*) either a [[Centre|centre]] (surrounded by closed trajectories) or a [[Focus|focus]] (surrounded by spirals). In this case a necessary and sufficient condition for the existence of a centre is that the system (*) has in a neighbourhood of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c02124011.png" /> a real-analytic integral <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c02124012.png" /> that is independent of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c02124013.png" /> (see [[#References|[2]]]). On the basis of this result, methods have been worked out to obtain conditions for the presence of a centre; these conditions involve that an infinite sequence of polynomials in the coefficients of the series expansions of the right-hand sides of (*) vanish. In the case of polynomial right-hand sides it follows from Hilbert's theorem on the finiteness of bases of polynomial ideals that in this sequence only finitely many are essential and that the remaining ones are consequences of them. The problem to determine the number of essential conditions for a centre is very complicated and has been completely solved only when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c02124014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021240/c02124015.png" /> are quadratic polynomials (three conditions). In the case of polynomials of higher degree methods have been worked out to establish conditions for the presence of centres of a certain structure: isochrone, stable or symmetric (see [[#References|[3]]], [[#References|[4]]]).

====References====
<table><TR><TD valign="top">[1a]</TD> <TD valign="top">  H. Poincaré,   "Mémoire sur les courbes définiés par une équation differentielle"  ''J. de Math.'' , '''7'''  (1881)  pp. 375–422</TD></TR><TR><TD valign="top">[1b]</TD> <TD valign="top">  H. Poincaré,   "Mémoire sur les courbes définiés par une équation differentielle"  ''J. de Math.'' , '''8'''  (1882)  pp. 251–296</TD></TR><TR><TD valign="top">[1c]</TD> <TD valign="top">  H. Poincaré,   "Mémoire sur les courbes définiés par une équation differentielle"  ''J. de Math.'' , '''1'''  (1885)  pp. 167–244</TD></TR><TR><TD valign="top">[1d]</TD> <TD valign="top">  H. Poincaré,   "Mémoire sur les courbes définiés par une équation differentielle"  ''J. de Math.'' , '''2'''  (1886)  pp. 151–217</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.M. Lyapunov,   "Problème général de la stabilité du mouvement" , Princeton Univ. Press, reprint  (1947)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  V.V. Amel'kin,   "On the question of the isochronism of the centre of two-dimensional analytic differential systems"  ''Differential Eq.'' , '''13'''  (1977)  pp. 667–674 , '''13''' :  6  (1977)  pp. 971–980</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  K.S. Sibirskii,   "Algebraic invariants of differential equations and matrices" , Kishinev  (1976)  (In Russian)</TD></TR></table>



====Comments====
Classical results can be found in [[#References|[a1]]], pp. 119-125.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  V.V. Nemytskii,   V.V. Stepanov,   "Qualitative theory of differential equations" , Princeton Univ. Press  (1960)  (Translated from Russian)</TD></TR></table>