# Autonomous system

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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,

 (1)

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 .

4) Dependence on parameters: Let , , where is a domain; if , , then (for more details see [1][4]).

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

 (2)

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

 (3)

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

 (3prm)

where .

## 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 [5]. 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

 (1prm)

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.

#### References

 [1] I.G. Petrovskii, "Ordinary differential equations" , Prentice-Hall (1966) (Translated from Russian) [2] L.S. Pontryagin, "Ordinary differential equations" , Addison-Wesley (1962) (Translated from Russian) [3] E.A. Coddington, N. Levinson, "Theory of ordinary differential equations" , McGraw-Hill (1955) pp. Chapts. 13–17 [4] V.I. Arnol'd, "Ordinary differential equations" , M.I.T. (1973) (Translated from Russian) [5] V.V. Nemytskii, V.V. Stepanov, "Qualitative theory of differential equations" , Princeton Univ. Press (1960) (Translated from Russian)