Namespaces
Variants
Actions

Difference between revisions of "Centre and focus problem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
Line 1: Line 1:
 +
{{TEX|done}}
 
The problem of determining conditions under which all trajectories of an [[Autonomous system|autonomous system]] of ordinary differential equations
 
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>
+
$$\dot x=X(x,y),\quad \dot y=Y(x,y)\tag{*}$$
  
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]]].
+
in a certain neighbourhood of an [[Equilibrium position|equilibrium position]] $O$, except the point $O$ itself, are closed curves. The functions $X$ and $Y$ are assumed to be analytic in a certain neighbourhood of $O$. 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
+
As a rule, one assumes that the characteristic equation of the linearized system at $O$, 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>
+
$$\dot\xi=X_x'(O)\xi+X_y'(O)\eta,$$
  
<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>
+
$$\dot\eta=Y_x'(O)\xi+Y_y'(O)\eta,$$
  
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]]]).
+
has pure imaginary roots. Then the singular point $O$ is for the system \ref{*} 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 \ref{*} has in a neighbourhood of $O$ a real-analytic integral $F(x,y)=C$ that is independent of $t$ (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 \ref{*} 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 $X$ and $Y$ 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====
 
====References====

Revision as of 16:08, 13 August 2014

The problem of determining conditions under which all trajectories of an autonomous system of ordinary differential equations

$$\dot x=X(x,y),\quad \dot y=Y(x,y)\tag{*}$$

in a certain neighbourhood of an equilibrium position $O$, except the point $O$ itself, are closed curves. The functions $X$ and $Y$ are assumed to be analytic in a certain neighbourhood of $O$. The problem was raised by H. Poincaré in . Fundamental results were obtained by A.M. Lyapunov in [2].

As a rule, one assumes that the characteristic equation of the linearized system at $O$, that is, the system

$$\dot\xi=X_x'(O)\xi+X_y'(O)\eta,$$

$$\dot\eta=Y_x'(O)\xi+Y_y'(O)\eta,$$

has pure imaginary roots. Then the singular point $O$ is for the system \ref{*} either a centre (surrounded by closed trajectories) or a focus (surrounded by spirals). In this case a necessary and sufficient condition for the existence of a centre is that the system \ref{*} has in a neighbourhood of $O$ a real-analytic integral $F(x,y)=C$ that is independent of $t$ (see [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 \ref{*} 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 $X$ and $Y$ 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 [3], [4]).

References

[1a] H. Poincaré, "Mémoire sur les courbes définiés par une équation differentielle" J. de Math. , 7 (1881) pp. 375–422
[1b] H. Poincaré, "Mémoire sur les courbes définiés par une équation differentielle" J. de Math. , 8 (1882) pp. 251–296
[1c] H. Poincaré, "Mémoire sur les courbes définiés par une équation differentielle" J. de Math. , 1 (1885) pp. 167–244
[1d] H. Poincaré, "Mémoire sur les courbes définiés par une équation differentielle" J. de Math. , 2 (1886) pp. 151–217
[2] A.M. Lyapunov, "Problème général de la stabilité du mouvement" , Princeton Univ. Press, reprint (1947) (Translated from Russian)
[3] 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
[4] K.S. Sibirskii, "Algebraic invariants of differential equations and matrices" , Kishinev (1976) (In Russian)


Comments

Classical results can be found in [a1], pp. 119-125.

References

[a1] V.V. Nemytskii, V.V. Stepanov, "Qualitative theory of differential equations" , Princeton Univ. Press (1960) (Translated from Russian)
How to Cite This Entry:
Centre and focus problem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Centre_and_focus_problem&oldid=32907
This article was adapted from an original article by K.S. Sibirskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article