# Invariant set

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

of the phase space of a dynamical system A set which is the union of entire trajectories, that is, a set satisfying the condition where is the image of under the transformation corresponding to a given .

The invariant set may possess a definite topological structure as a set of the metric space ; for example, it can be a topological or smooth manifold, a surface, a closed Jordan curve, or an isolated point. One then says that the invariant set is an invariant manifold, an invariant surface, an invariant curve, or an invariant point.

An invariant point is usually called a stationary point of the dynamical system, since for this point the motion reduces to rest: for all values of . A closed invariant curve not containing any invariant points of the dynamical system is always formed by the trajectory of a periodic motion, that is, a motion satisfying the condition for all and some . For this reason it is called a periodic trajectory. Examples which occur as invariant manifolds are a sphere, a torus and a disc; invariant surfaces — a cone, a Möbius strip and a sphere with handles; invariant sets — the set of all stationary points, the sets and of all - and -limit points of the motion , respectively, and also the set of all wandering points or the set of all non-wandering points (cf. Wandering point; Non-wandering point).

An invariant point of the dynamical system in the plane (1)

belongs to one of the following four types, according to the nature of the behaviour of the trajectories in a neighbourhood of it: a node, (Fig.a) a focus, (Fig.b) a saddle, (Fig.c) or a centre (Fig.d). Figure: i052280a Figure: i052280b Figure: i052280c Figure: i052280d

The node and focus are asymptotically stable or unstable, the saddle is unstable, and the centre is stable (cf. Asymptotically-stable solution). The Poincaré index of the node, centre and focus is equal to ; that of the saddle is .

In the case when the Jacobi matrix of the right-hand side of (1) has at the stationary point eigen values , with non-zero real parts, the invariant point is: a node if and are real and of the same sign; a saddle if and are real with different signs; or a focus if and are complex conjugates.

In all these cases, the type of the singular point of the system (1) is the same as for the linear system obtained from (1) by expanding its right-hand side in a Taylor series at the point , that is, it has the same type as the point of the system (2)

whose matrix is equal to . There is a deeper relation between the trajectories of (1) in a neighbourhood of a singular point of one of the above types and the trajectories of (2) than that already mentioned. Namely, whenever the functions and are analytic in a neighbourhood of the invariant point and the matrix has eigen values with non-zero real parts, there exists a continuously-differentiable change of variables in a neighbourhood of the point ,  that reduces the system (1) to the system (2).

If , are imaginary, then the invariant point can either be a focus or a centre. In this case, the question of the classification of the type of the singular point is a separate and difficult problem, namely the centre and focus problem, and requires more refined criteria for distinguishing between the centre and the focus (see , ). Similar difficulties occur in the determination of the type of the singular point in the case when the matrix is singular.

How to Cite This Entry:
Invariant set. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Invariant_set&oldid=13413
This article was adapted from an original article by A.M. Samoilenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article