View source for Oscillations, theory of

The branch of the applied theory of differential equations connected with the study of oscillatory phenomena in natural science and technology. The fundamental problems of the theory of oscillations consist in proving the existence of, and the actual determination of, oscillatory (periodic, almost-periodic, etc.) motions that are solutions of a given system, and the study of the behaviour of the other solutions in relation to the given oscillations. One makes a distinction between the theory of linear oscillations and the theory of non-linear oscillations.

In the theory of linear oscillations the matter reduces to the study of linear systems of differential equations, and this is usually connected with the fact that the quantities under consideration (the unknown functions of the system of differential equations) are so small that it proves possible to ignore the non-linear terms on the right-hand sides of the system. One considers linear systems of 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/o/o070/o070520/o0705201.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o0705202.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o0705203.png" /> are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o0705204.png" />-dimensional vectors, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o0705205.png" /> is a square matrix of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o0705206.png" />, and most often <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o0705207.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o0705208.png" /> are periodic or almost-periodic functions (cf. [[Linear system of differential equations with almost-periodic coefficients|Linear system of differential equations with almost-periodic coefficients]]; [[Linear system of differential equations with periodic coefficients|Linear system of differential equations with periodic coefficients]]). The main problem in the theory of linear oscillations: To construct periodic and almost-periodic solutions of the system (1), and to investigate their stability properties. From this point of view the situation that is studied in greatest detail is when the given system is close to a system that has already been studied, in other words, those cases when it has been possible to introduce a small parameter as follows:

<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/o/o070/o070520/o0705209.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>

under the hypothesis that 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/o/o070/o070520/o07052010.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>

has been fully investigated and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052011.png" /> is a small parameter. For such systems it is possible in the majority of cases to investigate the question of the existence of periodic (respectively, almost-periodic) solutions and to actually construct them. Under very broad assumptions concerning the matrices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052012.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052013.png" />, a representation of the characteristic exponents of the system (3) has been given in the form of functions of the parameter (see [[#References|[7]]], [[#References|[10]]]); in particular, the interesting phenomenon of parametric resonance in linear systems has been studied [[#References|[5]]] (cf. [[Parametric resonance, mathematical theory of|Parametric resonance, mathematical theory of]]).

In the theory of non-linear oscillations, both in the statement of the problems and in the methods of investigating them, the so-called local and non-local problems are essentially different. Relating to the former are those problems in which it is possible to isolate a certain  "smallness"  (for example, the quantities under investigation are themselves small, or there are small parameters in the system).

If the required functions in the problem under investigation can be considered small, then the matter reduces to the investigation of a neighbourhood of the equilibrium state for the system of 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/o/o070/o070520/o07052014.png" /></td> <td valign="top" style="width:5%;text-align:right;">(4)</td></tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052015.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052016.png" /> are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052017.png" />-dimensional vectors and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052018.png" />. Here methods of the local qualitative theory of differential equations of the form (4) (cf. [[Qualitative theory of differential equations|Qualitative theory of differential equations]]) and methods of the theory of [[Lyapunov stability|Lyapunov stability]] of motion [[#References|[1]]] have broad application. A very important result in the theory of non-linear oscillations was obtained by A.N. Kolmogorov and his followers (see [[#References|[4]]]). He proved the existence of quasi-periodic solutions in a neighbourhood of the equilibrium state <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052019.png" /> for the system (4).

Small parameters often enter into the data of the system of differential equations, that is, systems of the form

<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/o/o070/o070520/o07052020.png" /></td> <td valign="top" style="width:5%;text-align:right;">(5)</td></tr></table>

are considered, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052021.png" /> is a small parameter. Related to this type of systems is the following problem. Along with the system (5) the so-called  "generating"  system is considered; this is the system to which (5) reduces when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052022.png" />, in other words, a system of type (4). It is assumed that the  "generating"  system possesses a certain property. The following question is posed: Does (5) possess the same property for small non-zero values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052023.png" />? For example, suppose that (4) has a periodic or almost-periodic solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052024.png" />. Then does (5) have a periodic or almost-periodic solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052025.png" /> 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/o/o070/o070520/o07052026.png" /></td> </tr></table>

H. Poincaré [[#References|[2]]] developed powerful methods for the solution of this type of problem. In many cases he not only proved the existence of a periodic solution, but also indicated an algorithm for constructing it (see, for example, [[#References|[5]]]).

N.M. Krylov, N.N. Bogolyubov and their students (see [[#References|[3]]], [[#References|[6]]], [[#References|[11]]]) have developed asymptotic methods for systems of the type (5). Of special importance among these methods is the [[Krylov–Bogolyubov method of averaging|Krylov–Bogolyubov method of averaging]], which is as follows. The following so-called standard system is considered:

<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/o/o070/o070520/o07052027.png" /></td> <td valign="top" style="width:5%;text-align:right;">(6)</td></tr></table>

It turns out that many systems in the theory of non-linear oscillations lead to the above system. Along with (6) the  "averaged"  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/o/o070/o070520/o07052028.png" /></td> <td valign="top" style="width:5%;text-align:right;">(7)</td></tr></table>

is considered, where

<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/o/o070/o070520/o07052029.png" /></td> </tr></table>

Krylov and Bogolyubov have shown that (7) approximates (6) up to quantities of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052030.png" />. By means of further averaging it is possible to get rid of the dependence on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052031.png" /> in the terms of any desired order of smallness in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052032.png" />. However, this process usually diverges, so that this method is essentially asymptotic.

The method of integral surfaces (cf. [[Integral surface|Integral surface]]) plays a very important role in the theory of non-linear oscillations. The foundations of this method were laid by A.M. Lyapunov [[#References|[1]]]. Under very broad hypotheses it can be proved (see [[#References|[3]]], [[#References|[6]]], [[#References|[11]]]) that if the  "generating"  system (4) has an integral surface with specified properties, then (5) also has such an integral surface.

The theory of relaxation oscillations (cf. [[Relaxation oscillation|Relaxation oscillation]]) is closely related to the above circle of problems. These oscillations are described by systems of differential equations with small parameters in front of the derivative:

<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/o/o070/o070520/o07052033.png" /></td> <td valign="top" style="width:5%;text-align:right;">(8)</td></tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052034.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052035.png" /> are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052036.png" />-dimensional vectors, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052037.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052038.png" /> are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052039.png" />-dimensional vectors and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052040.png" /> is a small parameter. Along with the system (8) the following degenerate system is considered:

<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/o/o070/o070520/o07052041.png" /></td> <td valign="top" style="width:5%;text-align:right;">(9)</td></tr></table>

If (9) has a special  "discontinuous"  periodic solution, then in a number of cases (8) has a true periodic solution for small <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052042.png" /> (see [[#References|[12]]]).

In applications one very often encounters systems of differential equations in which it is not possible to single out any smallnesses. Here one runs into non-local problems of the theory of oscillations. In the study of non-local problems very serious difficulties arise. However, in a number of particular cases, which are nevertheless important in applications, one can successfully carry out the complete investigation of the corresponding system or obtain fairly significant information about the behaviour of its solutions. For example, for the equation

<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/o/o070/o070520/o07052043.png" /></td> <td valign="top" style="width:5%;text-align:right;">(10)</td></tr></table>

which is a generalization of the [[Van der Pol equation|van der Pol equation]], N. Levinson and O.K. Smit [[#References|[15]]] have proved the existence, stability and uniqueness of the [[Limit cycle|limit cycle]]. In the proof essential use is made of the fact that (10) is a second-order equation. Subsequently the existence was proved of a periodic solution for a non-linear equation of order three and for various autonomous systems of higher orders.

In the study of periodic non-autonomous systems, that is, systems of the form (4) for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052044.png" />, one associates with the system its Poincaré transformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052045.png" />. It is introduced by the formula <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052046.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052047.png" /> is the solution of (4) such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052048.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052049.png" /> is a fixed point of the transformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052050.png" />, then the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052051.png" /> has period <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052052.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052053.png" />. This provides the possibility of applying various fixed-point theorems (see [[#References|[8]]], [[#References|[9]]]) for the proof of the existence of periodic solutions.

In the theory of non-linear oscillations, dissipative systems play an important role (these are systems of type (4) the solutions to which remain in a fixed ball for sufficiently large <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052054.png" />, cf. [[Dissipative system|Dissipative system]]) and systems with convergences (in such systems all solutions converge to a single stable solution); fairly reliable methods have been developed for the proof of convergence and dissipativeness of concrete systems [[#References|[8]]].

The behaviour of the solutions of a dissipative periodic system is on the whole determined by the structure of some asymptotically-stable integral set of this system. Therefore the study of the structure of such sets is essential for the theory of non-linear oscillations. In the case when the given system has only a finite number of periodic solutions, this set can be fairly completely characterized [[#References|[13]]]. If, on the other hand, the system has an infinite number of periodic solutions, then the asymptotically-stable integral sets prove to have an extremely complicated structure [[#References|[13]]]. The study of such systems is associated as a rule with overcoming considerable difficulties, and this has been successfully carried out only in exceptional cases. An example of this type of study was given by M. Cartwright and J.E. Littlewood [[#References|[16]]] in the study of the van der Pol equation with forced vibration:

<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/o/o070/o070520/o07052055.png" /></td> </tr></table>

In particular, they proved that this equation has infinitely many periodic solutions, for an appropriate choice of the parameters <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052056.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052057.png" />.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A.M. Lyapunov,   "Stability of motion" , Acad. Press  (1966)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  H. Poincaré,   "Les méthodes nouvelles de la mécanique céleste" , '''1''' , Gauthier-Villars  (1892)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  N.M. Krylov,   N.N. Bogolyubov,   "Introduction to non-linear mechanics" , Princeton Univ. Press  (1947)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  V.V. Nemytskii,   V.V. Stepanov,   "Qualitative theory of differential equations" , Princeton Univ. Press  (1960)  (Translated from Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  I.G. Malkin,   "Some problems in the theory of non-linear oscillations" , Moscow-Leningrad  (1956)  (In Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  N.N. Bogolyubov,   Yu.A. Mitropol'skii,   "Asymptotic methods in the theory of non-linear oscillations" , Hindushtan Publ. Comp. , Delhi  (1961)  (Translated from Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  N.P. Erugin,   "Linear systems of ordinary differential equations with periodic and quasi-periodic coefficients" , Acad. Press  (1966)  (Translated from Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  V.A. Pliss,   "Non-local problems of the theory of oscillations" , Acad. Press  (1961)  (Translated from Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  M.A. Krasnosel'skii,   "The operator of translation along trajectories of differential equations" , Amer. Math. Soc.  (1968)  (Translated from Russian)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  V.A. Yakubovich,   V.M. Starzhinskii,   "Linear differential equations with periodic coefficients" , Wiley  (1975)  (Translated from Russian)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  Yu.A. Mitropol'skii,   O.B. Lykova,   "Integral manifolds in non-linear mechanics" , Moscow  (1973)  (In Russian)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  E.F. Mishchenko,   N.Kh. Rozov,   "Differential equations with small parameters and relaxation oscillations" , Plenum  (1980)  (Translated from Russian)</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  V.A. Pliss,   "Integral sets of periodic systems of differential equations" , Moscow  (1977)  (In Russian)</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  V.I. Arnol'd,   "Small denominators and problems of stability of motion in classical and celestial mechanics"  ''Russian Math. Surveys'' , '''18''' :  6  (1963)  pp. 86–191  ''Uspekhi Mat. Nauk'' , '''18''' :  6  (1963)  pp. 91–192</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  N. Levinson,   O.K. Smit,   "A general equation for relaxation oscillations"  ''Duke Math. J.'' , '''9'''  (1942)  pp. 382–403</TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top">  J.E. Littlewood,   "The equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052058.png" /> for large <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070520/o07052059.png" />, and its generalizations"  ''Acta Math.'' , '''97''' :  3–4  (1957)  pp. 267–308</TD></TR></table>



====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J. Grasman,   "Asymptotic methods for relaxation oscillations and applications" , Springer  (1982)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.K. Hale,   "Ordinary differential equations" , Wiley  (1969)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  C. Hayashi,   "Nonlinear oscillations in physical systems" , McGraw-Hill  (1964)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  N. Minorski,   "Nonlinear oscillations" , v. Nostrand  (1962)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  A.H. Nayfeh,   D.T. Mook,   "Nonlinear oscillations" , Wiley  (1979)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  M. Roseau,   "Vibrations nonlinéaires et théorie de la stabilité" , Springer  (1966)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  J.A. Sanders,   F. Verhulst,   "Averaging methods in nonlinear dynamical systems" , Springer  (1985)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  G. Schmidt,   A. Tondl,   "Non-linear vibrations" , Cambridge Univ. Press  (1967)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  M. Urabe,   "Nonlinear autonomous oscillations" , Acad. Press  (1967)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  J. Guckenheimer,   P. Holmes,   "Non-linear oscillations, dynamical systems, and bifurcations of vector fields" , Springer  (1983)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  A.A. Pankov,   "Bounded and almost periodic solutions of operator equations" , Kluwer  (1991)  (Translated from Russian)</TD></TR></table>