Namespaces
Variants
Actions

Difference between revisions of "Periodic solution"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
p0722101.png
 +
$#A+1 = 57 n = 0
 +
$#C+1 = 57 : ~/encyclopedia/old_files/data/P072/P.0702210 Periodic solution
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''of an ordinary differential equation or system''
 
''of an ordinary differential equation or system''
  
A solution that periodically depends on the independent variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p0722101.png" />. For a periodic solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p0722102.png" /> (in the case of a system, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p0722103.png" /> is a vector), there is a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p0722104.png" /> such that
+
A solution that periodically depends on the independent variable $  t $.  
 +
For a periodic solution $  x( t) $(
 +
in the case of a system, $  x $
 +
is a vector), there is a number $  T \neq 0 $
 +
such that
  
<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/p/p072/p072210/p0722105.png" /></td> </tr></table>
+
$$
 +
x( t+ T)  = x( t) \  \textrm{ for }  t \in \mathbf R .
 +
$$
  
All possible such <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p0722106.png" /> are called periods of this periodic solution; the continuity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p0722107.png" /> implies that either <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p0722108.png" /> is independent of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p0722109.png" /> or that all possible periods are integral multiples of one of them — the minimal period <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221010.png" />. When one speaks of a periodic solution, it is often understood that the second case applies, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221011.png" /> is simply termed the period.
+
All possible such $  T $
 +
are called periods of this periodic solution; the continuity of $  x( t) $
 +
implies that either $  x( t) $
 +
is independent of $  t $
 +
or that all possible periods are integral multiples of one of them — the minimal period $  T _ {0} > 0 $.  
 +
When one speaks of a periodic solution, it is often understood that the second case applies, and $  T _ {0} $
 +
is simply termed the period.
  
A periodic solution is usually considered for a system of ordinary differential equations where the right-hand sides either are independent of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221012.png" /> (an [[Autonomous system|autonomous system]]):
+
A periodic solution is usually considered for a system of ordinary differential equations where the right-hand sides either are independent of $  t $(
 +
an [[Autonomous system|autonomous 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/p/p072/p072210/p07221013.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
+
$$ \tag{1 }
 +
\dot{x}  = f( x) ,\ \
 +
x \in U,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221014.png" /> is a region in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221015.png" />, or else periodically depend on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221016.png" />:
+
where $  U $
 +
is a region in $  \mathbf R  ^ {n} $,  
 +
or else periodically depend on $  t $:
  
<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/p/p072/p072210/p07221017.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>
+
$$ \tag{2 }
 +
\dot{x}  = f( t, x),\ \
 +
f( t+ T _ {1} , x)  = f( t, x),\ \
 +
x \in U .
 +
$$
  
(In a system with a different type of dependence on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221018.png" /> for the right-hand sides there is usually no periodic solution.) In case (2) the period <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221019.png" /> of the periodic solution usually coincides with the period <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221020.png" /> of the right-hand side or is an integer multiple of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221021.png" />; other <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221022.png" /> are possible only in exceptional cases. Periodic solutions with periods <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221023.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221024.png" />, describe subharmonic oscillations (see [[Forced oscillations|Forced oscillations]]) and therefore are themselves sometimes called subharmonic periodic solutions (or subharmonics).
+
(In a system with a different type of dependence on $  t $
 +
for the right-hand sides there is usually no periodic solution.) In case (2) the period $  T _ {0} $
 +
of the periodic solution usually coincides with the period $  T _ {1} $
 +
of the right-hand side or is an integer multiple of $  T _ {1} $;  
 +
other $  T _ {0} $
 +
are possible only in exceptional cases. Periodic solutions with periods $  T _ {0} = kT _ {1} $,  
 +
$  k > 1 $,  
 +
describe subharmonic oscillations (see [[Forced oscillations|Forced oscillations]]) and therefore are themselves sometimes called subharmonic periodic solutions (or subharmonics).
  
System (2) determines the [[Poincaré return map|Poincaré return map]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221025.png" /> (dependent on the choice of the initial moment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221026.png" />): If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221027.png" /> is the solution to (2) with initial value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221028.png" />, then
+
System (2) determines the [[Poincaré return map|Poincaré return map]] $  F $(
 +
dependent on the choice of the initial moment $  t _ {0} $):  
 +
If $  x( t, \xi ) $
 +
is the solution to (2) with initial value $  x( t _ {0} , \xi ) = \xi $,  
 +
then
  
<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/p/p072/p072210/p07221029.png" /></td> </tr></table>
+
$$
 +
F( \xi )  = x( t _ {0} + T _ {1} , \xi ).
 +
$$
  
The properties of (2) are closely related to those of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221030.png" />; in particular, the value at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221031.png" /> for the periodic solution with period <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221032.png" /> is a fixed point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221033.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221034.png" />, while for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221035.png" /> it is a periodic point with period <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221036.png" />, i.e. a fixed point for the iterate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221037.png" />. The research on periodic solutions reduces to a considerable extent to examining the corresponding fixed or periodic points of the Poincaré return map.
+
The properties of (2) are closely related to those of $  F $;  
 +
in particular, the value at $  t = t _ {0} $
 +
for the periodic solution with period $  kT _ {1} $
 +
is a fixed point of $  F $
 +
for $  k= 1 $,  
 +
while for $  k > 1 $
 +
it is a periodic point with period $  k $,  
 +
i.e. a fixed point for the iterate $  F ^ { k } $.  
 +
The research on periodic solutions reduces to a considerable extent to examining the corresponding fixed or periodic points of the Poincaré return map.
  
The following modification of this construction is used for an autonomous system (1): One takes some local section in the phase space at some point on the trajectory of the periodic solution (which is a closed curve), i.e. one takes a smooth manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221038.png" /> of codimension 1 transversal to this trajectory, and considers the mapping that converts a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221039.png" /> to the point of intersection of the trajectory of (1) through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221040.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221041.png" /> that is first in time.
+
The following modification of this construction is used for an autonomous system (1): One takes some local section in the phase space at some point on the trajectory of the periodic solution (which is a closed curve), i.e. one takes a smooth manifold $  \Pi $
 +
of codimension 1 transversal to this trajectory, and considers the mapping that converts a point $  \xi \in \Pi $
 +
to the point of intersection of the trajectory of (1) through $  \xi $
 +
with $  \Pi $
 +
that is first in time.
  
The behaviour of solutions close to a given periodic solution is described in linear approximation by the corresponding variational system (cf. [[Variational equations|Variational equations]]). The coefficients in this linear system in that case periodically depend on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221042.png" />, and therefore one can speak of the corresponding [[Monodromy operator|monodromy operator]] and [[Multipliers|multipliers]]. The latter are also termed multipliers for the given periodic solution. The linear approximation determines the properties of the periodic solution (stability, invariant manifolds) to the same extent as for an equilibrium solution (cf. [[Equilibrium position|Equilibrium position]]).
+
The behaviour of solutions close to a given periodic solution is described in linear approximation by the corresponding variational system (cf. [[Variational equations|Variational equations]]). The coefficients in this linear system in that case periodically depend on $  t $,  
 +
and therefore one can speak of the corresponding [[Monodromy operator|monodromy operator]] and [[Multipliers|multipliers]]. The latter are also termed multipliers for the given periodic solution. The linear approximation determines the properties of the periodic solution (stability, invariant manifolds) to the same extent as for an equilibrium solution (cf. [[Equilibrium position|Equilibrium position]]).
  
 
The periodic solutions to (1) have some specific features: one of the multipliers is always one (if the periodic solution does not reduce to a constant), which in particular has to be borne in mind when examining the stability of these periodic solutions (see [[Andronov–Witt theorem|Andronov–Witt theorem]]), and the period may change in response to small perturbations, which has to be borne in mind in [[Perturbation theory|perturbation theory]].
 
The periodic solutions to (1) have some specific features: one of the multipliers is always one (if the periodic solution does not reduce to a constant), which in particular has to be borne in mind when examining the stability of these periodic solutions (see [[Andronov–Witt theorem|Andronov–Witt theorem]]), and the period may change in response to small perturbations, which has to be borne in mind in [[Perturbation theory|perturbation theory]].
  
The search for periodic solutions and the examination of their behaviour are of interest not only from the purely mathematical point of view but also because the periodic regimes of real physical systems usually correspond to periodic solutions in the mathematical description of these systems (see [[Auto-oscillation|Auto-oscillation]]; [[Forced oscillations|Forced oscillations]]; [[Oscillations, theory of|Oscillations, theory of]]; [[Non-linear oscillations|Non-linear oscillations]]; [[Relaxation oscillation|Relaxation oscillation]]). However, this is a very difficult problem, since there are no general methods for establishing whether periodic solutions exist for a particular system. Various arguments and methods are used in different cases. Many of them relate to [[Perturbation theory|perturbation theory]] (the [[Harmonic balance method|harmonic balance method]], the [[Krylov–Bogolyubov method of averaging|Krylov–Bogolyubov method of averaging]] or the method of the small parameter, cf. [[Small parameter, method of the|Small parameter, method of the]]), and they also touch upon research on [[Bifurcation|bifurcation]]; others relate to the [[Qualitative theory of differential equations|qualitative theory of differential equations]]. The latter, in particular, establishes the special role of periodic solutions for (1) with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221043.png" />: Here the periodic solutions, along with certain other types of solutions, completely determine the behaviour of all the solutions (see also [[Limit cycle|Limit cycle]]). In this connection, there are some special results on the periodic solutions of such systems (for example, on the periodic solutions of the [[Van der Pol equation|van der Pol equation]] and its generalizations or modifications: the [[Liénard equation|Liénard equation]] and the [[Rayleigh equation|Rayleigh equation]]).
+
The search for periodic solutions and the examination of their behaviour are of interest not only from the purely mathematical point of view but also because the periodic regimes of real physical systems usually correspond to periodic solutions in the mathematical description of these systems (see [[Auto-oscillation|Auto-oscillation]]; [[Forced oscillations|Forced oscillations]]; [[Oscillations, theory of|Oscillations, theory of]]; [[Non-linear oscillations|Non-linear oscillations]]; [[Relaxation oscillation|Relaxation oscillation]]). However, this is a very difficult problem, since there are no general methods for establishing whether periodic solutions exist for a particular system. Various arguments and methods are used in different cases. Many of them relate to [[Perturbation theory|perturbation theory]] (the [[Harmonic balance method|harmonic balance method]], the [[Krylov–Bogolyubov method of averaging|Krylov–Bogolyubov method of averaging]] or the method of the small parameter, cf. [[Small parameter, method of the|Small parameter, method of the]]), and they also touch upon research on [[Bifurcation|bifurcation]]; others relate to the [[Qualitative theory of differential equations|qualitative theory of differential equations]]. The latter, in particular, establishes the special role of periodic solutions for (1) with $  n= 2 $:  
 +
Here the periodic solutions, along with certain other types of solutions, completely determine the behaviour of all the solutions (see also [[Limit cycle|Limit cycle]]). In this connection, there are some special results on the periodic solutions of such systems (for example, on the periodic solutions of the [[Van der Pol equation|van der Pol equation]] and its generalizations or modifications: the [[Liénard equation|Liénard equation]] and the [[Rayleigh equation|Rayleigh equation]]).
  
 +
====Comments====
 +
A survey on periodic solutions of differential equations is [[#References|[a1]]]. For autonomous systems there is translation invariance: if  $  x( t) $
 +
is a periodic solution, then  $  x( t+ \tau ) $
 +
is also a periodic solution. This is related to the presence of one multiplier with value 1. For periodic solutions with period  $  T _ {0} $
 +
one may replace the time variable  $  t $
 +
by a phase variable  $  \phi = t / T _ {0} $.
 +
The phase variable is determined modulo 1. The notion of phase also applies to a trajectory  $  x( t) $
 +
near a limit cycle. In that case phase is identified with the phase of the periodic solution to which the trajectory tends for  $  t \rightarrow \infty $.
 +
This concept plays an important role in cyclic biological processes, see [[#References|[a2]]]. In the case of periodic forcing with period  $  T _ {1} $
 +
one may relate the periodic motion of the perturbed system with that of the forcing term having a phase  $  \theta = \theta _ {0} + t/T _ {1} $.
 +
Let the phase of the perturbed system at time  $  t = nT _ {1} $
 +
be  $  \phi = \phi ( n, \theta _ {0} ) $.
 +
Then the rotation number, defined by
  
 +
$$
 +
\rho ( \theta _ {0} )  =  \lim\limits _ {n \rightarrow \infty } \
  
====Comments====
+
\frac{\phi ( n , \theta _ {0} ) }{n}
A survey on periodic solutions of differential equations is [[#References|[a1]]]. For autonomous systems there is translation invariance: if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221044.png" /> is a periodic solution, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221045.png" /> is also a periodic solution. This is related to the presence of one multiplier with value 1. For periodic solutions with period <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221046.png" /> one may replace the time variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221047.png" /> by a phase variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221048.png" />. The phase variable is determined modulo 1. The notion of phase also applies to a trajectory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221049.png" /> near a limit cycle. In that case phase is identified with the phase of the periodic solution to which the trajectory tends for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221050.png" />. This concept plays an important role in cyclic biological processes, see [[#References|[a2]]]. In the case of periodic forcing with period <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221051.png" /> one may relate the periodic motion of the perturbed system with that of the forcing term having a phase <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221052.png" />. Let the phase of the perturbed system at time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221053.png" /> be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221054.png" />. Then the rotation number, defined by
+
,
 
+
$$
<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/p/p072/p072210/p07221055.png" /></td> </tr></table>
 
  
equals the ratio of the period of the forced system and that of the forcing term. When <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221056.png" /> is a rational number the system is periodic, while for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072210/p07221057.png" /> irrational the limit solution is quasi-periodic (cf. also [[Quasi-periodic motion|Quasi-periodic motion]]). See also [[#References|[a3]]], where a system on a torus is analyzed.
+
equals the ratio of the period of the forced system and that of the forcing term. When $  \rho $
 +
is a rational number the system is periodic, while for $  \rho $
 +
irrational the limit solution is quasi-periodic (cf. also [[Quasi-periodic motion|Quasi-periodic motion]]). See also [[#References|[a3]]], where a system on a torus is analyzed.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> F. Verhulst, "Nonlinear differential equations and dynamical systems" , Springer (1990) {{MR|1036522}} {{ZBL|0685.34002}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> A.T. Winfree, "The geometry of biological time" , Springer (1980) {{MR|0572965}} {{ZBL|0464.92001}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> J.K. Hale, "Differential equations" , Birkhäuser (1982) {{MR|0667126}} {{ZBL|1180.65102}} {{ZBL|1071.34074}} {{ZBL|1005.93026}} {{ZBL|0988.00064}} {{ZBL|1004.37062}} {{ZBL|0830.34055}} {{ZBL|0817.35119}} {{ZBL|0787.34062}} {{ZBL|0780.00043}} {{ZBL|0787.34002}} {{ZBL|0785.00039}} {{ZBL|0753.34048}} {{ZBL|0785.35050}} {{ZBL|0666.35013}} {{ZBL|0644.65050}} {{ZBL|0612.34066}} {{ZBL|0611.34074}} {{ZBL|0638.00015}} {{ZBL|0582.34058}} {{ZBL|0662.34064}} </TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> F. Verhulst, "Nonlinear differential equations and dynamical systems" , Springer (1990) {{MR|1036522}} {{ZBL|0685.34002}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> A.T. Winfree, "The geometry of biological time" , Springer (1980) {{MR|0572965}} {{ZBL|0464.92001}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> J.K. Hale, "Differential equations" , Birkhäuser (1982) {{MR|0667126}} {{ZBL|1180.65102}} {{ZBL|1071.34074}} {{ZBL|1005.93026}} {{ZBL|0988.00064}} {{ZBL|1004.37062}} {{ZBL|0830.34055}} {{ZBL|0817.35119}} {{ZBL|0787.34062}} {{ZBL|0780.00043}} {{ZBL|0787.34002}} {{ZBL|0785.00039}} {{ZBL|0753.34048}} {{ZBL|0785.35050}} {{ZBL|0666.35013}} {{ZBL|0644.65050}} {{ZBL|0612.34066}} {{ZBL|0611.34074}} {{ZBL|0638.00015}} {{ZBL|0582.34058}} {{ZBL|0662.34064}} </TD></TR></table>

Latest revision as of 08:05, 6 June 2020


of an ordinary differential equation or system

A solution that periodically depends on the independent variable $ t $. For a periodic solution $ x( t) $( in the case of a system, $ x $ is a vector), there is a number $ T \neq 0 $ such that

$$ x( t+ T) = x( t) \ \textrm{ for } t \in \mathbf R . $$

All possible such $ T $ are called periods of this periodic solution; the continuity of $ x( t) $ implies that either $ x( t) $ is independent of $ t $ or that all possible periods are integral multiples of one of them — the minimal period $ T _ {0} > 0 $. When one speaks of a periodic solution, it is often understood that the second case applies, and $ T _ {0} $ is simply termed the period.

A periodic solution is usually considered for a system of ordinary differential equations where the right-hand sides either are independent of $ t $( an autonomous system):

$$ \tag{1 } \dot{x} = f( x) ,\ \ x \in U, $$

where $ U $ is a region in $ \mathbf R ^ {n} $, or else periodically depend on $ t $:

$$ \tag{2 } \dot{x} = f( t, x),\ \ f( t+ T _ {1} , x) = f( t, x),\ \ x \in U . $$

(In a system with a different type of dependence on $ t $ for the right-hand sides there is usually no periodic solution.) In case (2) the period $ T _ {0} $ of the periodic solution usually coincides with the period $ T _ {1} $ of the right-hand side or is an integer multiple of $ T _ {1} $; other $ T _ {0} $ are possible only in exceptional cases. Periodic solutions with periods $ T _ {0} = kT _ {1} $, $ k > 1 $, describe subharmonic oscillations (see Forced oscillations) and therefore are themselves sometimes called subharmonic periodic solutions (or subharmonics).

System (2) determines the Poincaré return map $ F $( dependent on the choice of the initial moment $ t _ {0} $): If $ x( t, \xi ) $ is the solution to (2) with initial value $ x( t _ {0} , \xi ) = \xi $, then

$$ F( \xi ) = x( t _ {0} + T _ {1} , \xi ). $$

The properties of (2) are closely related to those of $ F $; in particular, the value at $ t = t _ {0} $ for the periodic solution with period $ kT _ {1} $ is a fixed point of $ F $ for $ k= 1 $, while for $ k > 1 $ it is a periodic point with period $ k $, i.e. a fixed point for the iterate $ F ^ { k } $. The research on periodic solutions reduces to a considerable extent to examining the corresponding fixed or periodic points of the Poincaré return map.

The following modification of this construction is used for an autonomous system (1): One takes some local section in the phase space at some point on the trajectory of the periodic solution (which is a closed curve), i.e. one takes a smooth manifold $ \Pi $ of codimension 1 transversal to this trajectory, and considers the mapping that converts a point $ \xi \in \Pi $ to the point of intersection of the trajectory of (1) through $ \xi $ with $ \Pi $ that is first in time.

The behaviour of solutions close to a given periodic solution is described in linear approximation by the corresponding variational system (cf. Variational equations). The coefficients in this linear system in that case periodically depend on $ t $, and therefore one can speak of the corresponding monodromy operator and multipliers. The latter are also termed multipliers for the given periodic solution. The linear approximation determines the properties of the periodic solution (stability, invariant manifolds) to the same extent as for an equilibrium solution (cf. Equilibrium position).

The periodic solutions to (1) have some specific features: one of the multipliers is always one (if the periodic solution does not reduce to a constant), which in particular has to be borne in mind when examining the stability of these periodic solutions (see Andronov–Witt theorem), and the period may change in response to small perturbations, which has to be borne in mind in perturbation theory.

The search for periodic solutions and the examination of their behaviour are of interest not only from the purely mathematical point of view but also because the periodic regimes of real physical systems usually correspond to periodic solutions in the mathematical description of these systems (see Auto-oscillation; Forced oscillations; Oscillations, theory of; Non-linear oscillations; Relaxation oscillation). However, this is a very difficult problem, since there are no general methods for establishing whether periodic solutions exist for a particular system. Various arguments and methods are used in different cases. Many of them relate to perturbation theory (the harmonic balance method, the Krylov–Bogolyubov method of averaging or the method of the small parameter, cf. Small parameter, method of the), and they also touch upon research on bifurcation; others relate to the qualitative theory of differential equations. The latter, in particular, establishes the special role of periodic solutions for (1) with $ n= 2 $: Here the periodic solutions, along with certain other types of solutions, completely determine the behaviour of all the solutions (see also Limit cycle). In this connection, there are some special results on the periodic solutions of such systems (for example, on the periodic solutions of the van der Pol equation and its generalizations or modifications: the Liénard equation and the Rayleigh equation).

Comments

A survey on periodic solutions of differential equations is [a1]. For autonomous systems there is translation invariance: if $ x( t) $ is a periodic solution, then $ x( t+ \tau ) $ is also a periodic solution. This is related to the presence of one multiplier with value 1. For periodic solutions with period $ T _ {0} $ one may replace the time variable $ t $ by a phase variable $ \phi = t / T _ {0} $. The phase variable is determined modulo 1. The notion of phase also applies to a trajectory $ x( t) $ near a limit cycle. In that case phase is identified with the phase of the periodic solution to which the trajectory tends for $ t \rightarrow \infty $. This concept plays an important role in cyclic biological processes, see [a2]. In the case of periodic forcing with period $ T _ {1} $ one may relate the periodic motion of the perturbed system with that of the forcing term having a phase $ \theta = \theta _ {0} + t/T _ {1} $. Let the phase of the perturbed system at time $ t = nT _ {1} $ be $ \phi = \phi ( n, \theta _ {0} ) $. Then the rotation number, defined by

$$ \rho ( \theta _ {0} ) = \lim\limits _ {n \rightarrow \infty } \ \frac{\phi ( n , \theta _ {0} ) }{n} , $$

equals the ratio of the period of the forced system and that of the forcing term. When $ \rho $ is a rational number the system is periodic, while for $ \rho $ irrational the limit solution is quasi-periodic (cf. also Quasi-periodic motion). See also [a3], where a system on a torus is analyzed.

References

[a1] F. Verhulst, "Nonlinear differential equations and dynamical systems" , Springer (1990) MR1036522 Zbl 0685.34002
[a2] A.T. Winfree, "The geometry of biological time" , Springer (1980) MR0572965 Zbl 0464.92001
[a3] J.K. Hale, "Differential equations" , Birkhäuser (1982) MR0667126 Zbl 1180.65102 Zbl 1071.34074 Zbl 1005.93026 Zbl 0988.00064 Zbl 1004.37062 Zbl 0830.34055 Zbl 0817.35119 Zbl 0787.34062 Zbl 0780.00043 Zbl 0787.34002 Zbl 0785.00039 Zbl 0753.34048 Zbl 0785.35050 Zbl 0666.35013 Zbl 0644.65050 Zbl 0612.34066 Zbl 0611.34074 Zbl 0638.00015 Zbl 0582.34058 Zbl 0662.34064
How to Cite This Entry:
Periodic solution. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Periodic_solution&oldid=24527
This article was adapted from an original article by D.V. Anosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article