Difference between revisions of "Limit cycle"
From Encyclopedia of Mathematics
(Importing text file) |
|||
| (19 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
| − | + | {{TEX|done}} | |
| − | + | An ''isolated'' closed trajectory in the phase space of an [[Autonomous system|autonomous system]] of ordinary differential equations. A limit cycle corresponds to a periodic non-constant solution of the system. | |
| − | + | ===Dynamics=== | |
| + | Limit cycles represent the simplest (after the steady states) type of behavior of a continuous time [[dynamical system]]. Theoretically all properties of limit cycles (their [[stability]] and [[bifurcation]]s) can be reduced to investigation of the associated [[Poincaré return map]]<ref>Sometimes also the terms ''monodromy'' or ''holonomy'' are used as synonyms to the "first return map".</ref>. In practice, however, the Taylor coefficients of the Poincare map can be obtained only in the form of integrals over the cycle, which may require some quite detailed knowledge of the shape of the cycle itself. | ||
| − | + | For instance, in the linear approximation if $\gamma:[0,T]\to\R^n$, $t\mapsto\gamma(t)$, is a limit cycle of period $T>0$ for the vector field $v(x)$ associated with the differential equation $\dot x=v(x)$, $x\in\R^n$, one obtains a linear (non-autonomous) system of differential equations | |
| + | $$ | ||
| + | \dot z=A(t)z,\qquad z\in\R^n, \quad A(t)=\biggl(\frac{\partial v}{\partial x}(\gamma(t)\biggr),\ t\in [0,T]. | ||
| + | $$ | ||
| + | The corresponding ''[[Cauchy operator|Cauchy]]--[[Floquet theory|Floquet]]'' linear operator $M:\R^n\to\R^n$ maps a vector $a\in\R_n$ into the vector $Ma=z_a(T)$, where $z_a$ is the solution of the above system with the initial value $z_a(0)=a$. If this operator is [[hyperbolic point|hyperbolic]], i.e., has no modulus one eigenvalues ("[[characteristic exponent]]s"), then the stability pattern of the cycle (dimensions of the corresponding stable and unstable [[invariant manifolds]]) is completely determined (and coincides with that of the iterations $M^k$, $k\in\Z$). | ||
| − | + | ===Limit cycles of planar vector fields=== | |
| + | On the two-dimensional sphere (and plane) the topological restrictions which forbid intersection of phase trajectories, make limit cycles the only possible limit motion not directly related to singular points (steady states, also known as stationary solutions). More precisely, if the $\Omega$-limit set of a non-periodic point $a\in \R^2$<ref>A closed invariant subset of the plane, defined as | ||
| + | $$ | ||
| + | \Omega(a)=\bigcap_{T<+\infty}\overline{\{g^t(a)|t\ge T\}},\qquad g^t(a)=\text{the flow map, }\left.\frac{\rd g^t(a)}{\rd t}\right|_{t=0}=v(a). | ||
| + | $$</ref>contains no singular point of the field $v$, then it must be a limit cycle ([[Poincare-Bendixson theory|Poincare-Bendixson]], 1886<ref>H. Poincaré, ''Memoire sur les courbes définiés par des équations différentielles'', J. de Math. , '''7''' (1881) pp. 375–422, ibid., '''8''' (1882) pp. 251–296, ibid., '''1''' (1885) pp. 167–244, ibid., '''2''' (1886) pp. 151–217. </ref>, 1901<ref>I. Bendixson, ''Sur les courbes définiés par des équations différentielles'', Acta Math., '''24''' (1901) pp. 1–88. </ref>). | ||
| − | < | + | If the presence of singular points cannot be excluded, the situation becomes slightly more complicate. Under the assumption of analyticity one can show that the only possible limit sets for vector fields on the sphere<ref>Polynomial vector fields on the plane also satisfy this assertion.</ref> are singular points, limit cycles and [[separatrix|separatrix polygons]], also known as [[polycycle]]s, which consist of singular points and connecting them arcs of [[separatrix|separatrices]]. |
| − | + | For the same reasons [[bifurcation]]s of limit cycles, topological changes of the number of limit cycles, are possible only in annular neighborhoods of existing (multiple) cycles, singular points or polycycles. | |
| − | + | ===Complex limit cycles=== | |
| + | A polynomial planar vector field after [[complexification]] defines a holomorphic singular [[foliation]] $\mathscr F$ on the complex [[projective plane]] $\C P^2$. Solutions of the differential equation correspond to leaves of this foliation, yet unlike in the real case, the leaves are topologically two-dimensional and can have much richer topological structure. | ||
| − | + | A limit cycle after complexification corresponds to a nontrivial loop on a leaf of the foliation $\mathscr F$ with a non-identical [[holonomy]] map. This observation may motivate one of the possible generalizations of the notion of limit cycle for complex ordinary differential equations. | |
| − | + | A ''complex limit cycle'' is a noncontractible closed loop on the leaf of a singular holomorphic foliation on $\C P^2$ with a non-identical holonomy. Note that according to this definition, the same leaf may carry many different limit cycles: for instance, generically the infinite line (with deleted singular points) is a multiply connected leaf of a polynomial foliation, and each small loop around the deleted singularity is a complex limit cycle. However, these limit cycles are [[homology|homologically dependent]]: their sum is zero. | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| + | ===Hilbert 16th problem=== | ||
| + | One of the most challenging problems which remains open for over 120 years, is the Hilbert's question on the number and position of limit cycles of a polynomial vector field on the plane ([[Hilbert_problems#Hilbert.27s_sixteenth_problem.|Problem 16, second part]]). Despite considerable progress in the last 25 years, the only known general result states that each polynomial vector field may have only finitely limit cycles (independently Yu. Ilyashenko and J. Ecalle, 1991). It is not known whether this number is uniformly bounded over all polynomial fields of degree $\le d$, even for $d=2$ (fields of degree $1$ cannot exhibit limit cycles at all). | ||
| + | It is worth noting that the Hilbert 16th problem has no nontrivial complex version. A generic polynomial vector field after complexification has countably many homologically independent complex limit cycles, see {{Cite|IY|Sect. 28C}}. | ||
| − | ==== | + | ---- |
| − | + | ====Notes==== | |
| + | <small> | ||
| + | <references/> | ||
| + | </small> | ||
====References==== | ====References==== | ||
| − | + | {| | |
| + | |- | ||
| + | |valign="top"|{{Ref|E}}||valign="top"|Écalle, J. ''Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac'', Actualités Mathématiques. Hermann, Paris, 1992. {{MR|1399559}} | ||
| + | |- | ||
| + | |valign="top"|{{Ref|H}}||valign="top"|Hilbert, D. ''Mathematical problems'' Reprinted from Bull. Amer. Math. Soc. '''8''' (1902), 437–479. Bull. Amer. Math. Soc. (N.S.) 37 (2000), no. 4, 407--436. {{MR|1779412}} | ||
| + | |- | ||
| + | |valign="top"|{{Ref|I91}}||valign="top"|Ilyashenko, Yu. S. ''Finiteness theorems for limit cycles'', Translations of Mathematical Monographs, '''94'''. American Mathematical Society, Providence, RI, 1991. {{MR|1133882}} | ||
| + | |- | ||
| + | |valign="top"|{{Ref|I02}}||valign="top"|Ilyashenko, Yu. ''Centennial history of Hilbert's 16th problem'' Bull. Amer. Math. Soc. (N.S.) '''39''' (2002), no. 3, 301--354. {{MR|1898209}} | ||
| + | |- | ||
| + | |valign="top"|{{Ref|IY}}||valign="top"|Ilyashenko, Yu. and Yakovenko, S. ''Lectures on analytic differential equations'', Graduate Studies in Mathematics, '''86'''. American Mathematical Society, Providence, RI, 2008. {{MR|2363178}} | ||
| + | |- | ||
| + | |valign="top"|{{Ref|R}}||valign="top"|R. Roussarie, ''Bifurcation of planar vector fields and Hilbert's sixteenth problem'' , Birkhäuser (1998). {{MR|1628014}}. | ||
| + | |- | ||
| + | |} | ||
Latest revision as of 09:14, 1 October 2023
An isolated closed trajectory in the phase space of an autonomous system of ordinary differential equations. A limit cycle corresponds to a periodic non-constant solution of the system.
Dynamics
Limit cycles represent the simplest (after the steady states) type of behavior of a continuous time dynamical system. Theoretically all properties of limit cycles (their stability and bifurcations) can be reduced to investigation of the associated Poincaré return map[1]. In practice, however, the Taylor coefficients of the Poincare map can be obtained only in the form of integrals over the cycle, which may require some quite detailed knowledge of the shape of the cycle itself.
For instance, in the linear approximation if $\gamma:[0,T]\to\R^n$, $t\mapsto\gamma(t)$, is a limit cycle of period $T>0$ for the vector field $v(x)$ associated with the differential equation $\dot x=v(x)$, $x\in\R^n$, one obtains a linear (non-autonomous) system of differential equations $$ \dot z=A(t)z,\qquad z\in\R^n, \quad A(t)=\biggl(\frac{\partial v}{\partial x}(\gamma(t)\biggr),\ t\in [0,T]. $$ The corresponding Cauchy--Floquet linear operator $M:\R^n\to\R^n$ maps a vector $a\in\R_n$ into the vector $Ma=z_a(T)$, where $z_a$ is the solution of the above system with the initial value $z_a(0)=a$. If this operator is hyperbolic, i.e., has no modulus one eigenvalues ("characteristic exponents"), then the stability pattern of the cycle (dimensions of the corresponding stable and unstable invariant manifolds) is completely determined (and coincides with that of the iterations $M^k$, $k\in\Z$).
Limit cycles of planar vector fields
On the two-dimensional sphere (and plane) the topological restrictions which forbid intersection of phase trajectories, make limit cycles the only possible limit motion not directly related to singular points (steady states, also known as stationary solutions). More precisely, if the $\Omega$-limit set of a non-periodic point $a\in \R^2$[2]contains no singular point of the field $v$, then it must be a limit cycle (Poincare-Bendixson, 1886[3], 1901[4]).
If the presence of singular points cannot be excluded, the situation becomes slightly more complicate. Under the assumption of analyticity one can show that the only possible limit sets for vector fields on the sphere[5] are singular points, limit cycles and separatrix polygons, also known as polycycles, which consist of singular points and connecting them arcs of separatrices.
For the same reasons bifurcations of limit cycles, topological changes of the number of limit cycles, are possible only in annular neighborhoods of existing (multiple) cycles, singular points or polycycles.
Complex limit cycles
A polynomial planar vector field after complexification defines a holomorphic singular foliation $\mathscr F$ on the complex projective plane $\C P^2$. Solutions of the differential equation correspond to leaves of this foliation, yet unlike in the real case, the leaves are topologically two-dimensional and can have much richer topological structure.
A limit cycle after complexification corresponds to a nontrivial loop on a leaf of the foliation $\mathscr F$ with a non-identical holonomy map. This observation may motivate one of the possible generalizations of the notion of limit cycle for complex ordinary differential equations.
A complex limit cycle is a noncontractible closed loop on the leaf of a singular holomorphic foliation on $\C P^2$ with a non-identical holonomy. Note that according to this definition, the same leaf may carry many different limit cycles: for instance, generically the infinite line (with deleted singular points) is a multiply connected leaf of a polynomial foliation, and each small loop around the deleted singularity is a complex limit cycle. However, these limit cycles are homologically dependent: their sum is zero.
Hilbert 16th problem
One of the most challenging problems which remains open for over 120 years, is the Hilbert's question on the number and position of limit cycles of a polynomial vector field on the plane (Problem 16, second part). Despite considerable progress in the last 25 years, the only known general result states that each polynomial vector field may have only finitely limit cycles (independently Yu. Ilyashenko and J. Ecalle, 1991). It is not known whether this number is uniformly bounded over all polynomial fields of degree $\le d$, even for $d=2$ (fields of degree $1$ cannot exhibit limit cycles at all).
It is worth noting that the Hilbert 16th problem has no nontrivial complex version. A generic polynomial vector field after complexification has countably many homologically independent complex limit cycles, see [IY, Sect. 28C].
Notes
- ↑ Sometimes also the terms monodromy or holonomy are used as synonyms to the "first return map".
- ↑ A closed invariant subset of the plane, defined as $$ \Omega(a)=\bigcap_{T<+\infty}\overline{\{g^t(a)|t\ge T\}},\qquad g^t(a)=\text{the flow map, }\left.\frac{\rd g^t(a)}{\rd t}\right|_{t=0}=v(a). $$
- ↑ H. Poincaré, Memoire sur les courbes définiés par des équations différentielles, J. de Math. , 7 (1881) pp. 375–422, ibid., 8 (1882) pp. 251–296, ibid., 1 (1885) pp. 167–244, ibid., 2 (1886) pp. 151–217.
- ↑ I. Bendixson, Sur les courbes définiés par des équations différentielles, Acta Math., 24 (1901) pp. 1–88.
- ↑ Polynomial vector fields on the plane also satisfy this assertion.
References
| [E] | Écalle, J. Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac, Actualités Mathématiques. Hermann, Paris, 1992. MR1399559 |
| [H] | Hilbert, D. Mathematical problems Reprinted from Bull. Amer. Math. Soc. 8 (1902), 437–479. Bull. Amer. Math. Soc. (N.S.) 37 (2000), no. 4, 407--436. MR1779412 |
| [I91] | Ilyashenko, Yu. S. Finiteness theorems for limit cycles, Translations of Mathematical Monographs, 94. American Mathematical Society, Providence, RI, 1991. MR1133882 |
| [I02] | Ilyashenko, Yu. Centennial history of Hilbert's 16th problem Bull. Amer. Math. Soc. (N.S.) 39 (2002), no. 3, 301--354. MR1898209 |
| [IY] | Ilyashenko, Yu. and Yakovenko, S. Lectures on analytic differential equations, Graduate Studies in Mathematics, 86. American Mathematical Society, Providence, RI, 2008. MR2363178 |
| [R] | R. Roussarie, Bifurcation of planar vector fields and Hilbert's sixteenth problem , Birkhäuser (1998). MR1628014. |
How to Cite This Entry:
Limit cycle. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Limit_cycle&oldid=15601
Limit cycle. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Limit_cycle&oldid=15601
This article was adapted from an original article by L.A. Cherkas (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article