of ordinary differential equations
A system of ordinary differential equations which does not explicitly contain the independent variable (time). The general form of a first-order autonomous system in normal form is:
or, in vector notation,
A non-autonomous system can be reduced to an autonomous one by introducing a new unknown function . Historically, autonomous systems first appeared in descriptions of physical processes with a finite number of degrees of freedom. They are also called dynamical or conservative systems (cf. Dynamical system).
A complex autonomous system of the form (1) is equivalent to a real autonomous system with unknown functions
The essential contents of the theory of complex autonomous systems — unlike in the real case — is found in the case of an analytic (cf. Analytic theory of differential equations).
Consider an analytic system with real coefficients and its real solutions. Let be an (arbitrary) solution of the analytic system (1), let be the interval in which it is defined, and let be the solution with initial data . Let be a domain in and . The point is said to be an equilibrium point, or a point of rest, of the autonomous system (1) if . The solution , , corresponds to such an equilibrium point.
Local properties of solutions.
1) If is a solution, then is a solution for any .
2) Existence: For any , a solution exists in a certain interval .
3) Smoothness: If , then .
5) Let be a non-equilibrium point; then there exist neighbourhoods of the points , respectively, and a diffeomorphism such that the autonomous system has the form in .
A substitution of variables in the autonomous system (1) yields the system
where is the Jacobi matrix.
Global properties of solutions.
1) Any solution of the autonomous system (1) may be extended to an interval . If , the solution is said to be unboundedly extendable; if , the solution is said to be unboundedly extendable forwards in time (and, in a similar manner, backwards in time). If then, for any compact set , , there exists a such that the point is outside for (and, analogously, for ; cf. Prolongation of solutions of differential equations).
2) The extension is unique in the sense that any two solutions with common initial data are identical throughout their range of definition.
3) Any solution of an autonomous system belongs to one of the following three types: a) aperiodic, with for all , ; b) periodic, non-constant; or c) .
Geometric interpretation of an autonomous system.
To each solution is assigned a corresponding curve : , , inside the domain . is then said to be the phase space of the autonomous system, is its trajectory in the phase space, and the solution is interpreted as motion along this trajectory in the phase space. The mapping defined by the formula (i.e. each point moves along the phase trajectory during time ) is called the phase flow. In its domain of definition the phase flow satisfies the following conditions: 1) is continuous in ; and 2) the group property .
The Liouville theorem is valid: Let be a domain with a finite volume and let be the volume of the domain , then
For a Hamiltonian system, a consequence of (3) is the conservation of the phase volume by the phase flow. A second variant of (3) is obtained as follows. Let be a family of solutions of (1), , let be a domain and let , then
Structure of phase trajectories.
1) Any two phase trajectories have either no points in common or coincide.
2) Any phase trajectory belongs to one of the following types: a) a smooth, simple, non-closed Jordan arc; b) a cycle, i.e. a curve diffeomorphic to a circle; or c) a point (an equilibrium point). The local structure of phase trajectories in a small neighbourhood of a point other than an equilibrium point is trivial (cf. local property 5) of the solutions): The family of phase trajectories is diffeomorphic to a family of parallel straight lines. For a linear autonomous system the structure of phase trajectories in a neighbourhood of an equilibrium point is known, since the autonomous system is integrable . For non-linear autonomous systems this problem has not yet been completely solved, even for (cf. Qualitative theory of differential equations). One aspect of this problem is the question of stability of an equilibrium point (cf. Stability theory). A few results will be given below. Let be equilibrium points of the system (1), let
and let be neighbourhoods of the points . The systems (1) and (1prm) are said to be equivalent in neighbourhoods of their equilibrium points if there exist neighbourhoods and a bijective mapping such that (for , , ), i.e. as a result of the substitution the trajectories of the autonomous system (1) go into trajectories of the autonomous system (1prm). The equivalence is said to be differentiable (topological) if is a diffeomorphism (homeomorphism). Let be an equilibrium point of the autonomous system (1), let the matrix be non-degenerate, and let it not possess any pure imaginary eigen values. Then the autonomous system (1) in a neighbourhood of is topologically equivalent to its linear part . An important example is the autonomous system where are constant matrices with pure imaginary eigen values and ; it is not known when these autonomous systems are topologically equivalent. One of the most fundamental problems in the theory of autonomous systems is that of the structure of the entire family of phase trajectories. The most complete results have been obtained for , but even in this case the solution is far from complete.
|||I.G. Petrovskii, "Ordinary differential equations" , Prentice-Hall (1966) (Translated from Russian)|
|||L.S. Pontryagin, "Ordinary differential equations" , Addison-Wesley (1962) (Translated from Russian)|
|||E.A. Coddington, N. Levinson, "Theory of ordinary differential equations" , McGraw-Hill (1955) pp. Chapts. 13–17|
|||V.I. Arnol'd, "Ordinary differential equations" , M.I.T. (1973) (Translated from Russian)|
|||V.V. Nemytskii, V.V. Stepanov, "Qualitative theory of differential equations" , Princeton Univ. Press (1960) (Translated from Russian)|
The question of the topological equivalence (homeomorphic equivalence of orbit systems) of two linear dynamical systems and has been examined and solved [a2]. Let be the decomposition of corresponding to (generalized) eigen values of with positive, negative and zero real parts respectively, and let be the restriction of to . Then the orbit systems of and are homeomorphic if , and and are linearly equivalent (i.e. for some constant invertible matrix ).
The analogous question for discrete dynamical systems: when does there exist for two linear endomorphisms a homeomorphism such that , is much deeper (topological similarity of matrices) and has to do with such things as lens spaces and the P.A. Smith conjecture. See [a1] for a full account. A theorem of G. de Rham says that if the orthogonal matrices and are topologically similar and the topological (non-linear) similarity preserves the unit sphere and restricts to a diffeomorphism in it, then the matrices and are also linearly similar. Results of S.E. Cappell and J.L. Shaneson imply that for matrices of eigen values of absolute value 1 (the crucial case) topological and linear equivalence are the same for dimensions . Combined with results of Kuiper–Robbin [a3] this gives a complete topological classification of matrices of dimension at most 5. In higher dimensions it is definitely not true in general that for matrices of eigen values of modulus 1 topological similarity implies linear similarity [a1]. These results can be used to tell at what times the phase flows for continuous-time systems become topologically equivalent. This can happen repeatedly even for systems that are not topologically equivalent.
|[a1]||S.E. Cappell, J.L. Shaneson, "Non-linear similarity" Ann. of Math. , 113 (1981) pp. 315–355|
|[a2]||N.H. Kuiper, "The topology of the solutions of a linear differential equation on " , Proc. Internat. Congress on Manifolds (Tokyo, 1973) pp. 195–203|
|[a3]||N.H. Kuiper, J.W. Robbin, "Topological classification of linear endomorphisms" Inv. Math. , 19 (1973) pp. 83–106|
Autonomous system. M.V. Fedoryuk (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Autonomous_system&oldid=19025