 #jsDisabledContent { display:none; } My Account |  Register |  Help Flag as Inappropriate This article will be permanently flagged as inappropriate and made unaccessible to everyone. Are you certain this article is inappropriate?          Excessive Violence          Sexual Content          Political / Social Email this Article Email Address:

# Orbit (dynamics)

Article Id: WHEBN0000252250
Reproduction Date:

 Title: Orbit (dynamics) Author: World Heritage Encyclopedia Language: English Subject: Collection: Publisher: World Heritage Encyclopedia Publication Date:

### Orbit (dynamics)

In mathematics, in the study of dynamical systems, an orbit is a collection of points related by the evolution function of the dynamical system. The orbit is a subset of the phase space and the set of all orbits is a partition of the phase space, that is, different orbits do not intersect in the phase space. Understanding the properties of orbits by using topological methods is one of the objectives of the modern theory of dynamical systems.

For discrete-time dynamical systems, the orbits are sequences; for real dynamical systems, the orbits are curves; and for holomorphic dynamical systems, the orbits are Riemann surfaces.

## Contents

• Definition 1
• Real dynamical system 1.1
• Discrete time dynamical system 1.2
• General dynamical system 1.3
• Notes 1.4
• Examples 2
• Stability of orbits 3
• References 5

## Definition Diagram showing the periodic orbit of a mass-spring system in simple harmonic motion. (Here the velocity and position axes have been reversed from the standard convention in order to align the two diagrams)

Given a dynamical system (T, M, Φ) with T a group, M a set and Φ the evolution function

\Phi: U \to M where U \subset T \times M

we define

I(x):=\{t \in T : (t,x) \in U \},

then the set

\gamma_x:=\{\Phi(t,x) : t \in I(x)\} \subset M

is called orbit through x. An orbit which consists of a single point is called constant orbit. A non-constant orbit is called closed or periodic if there exists a t in T so that

\Phi(t, x) = x \,

for every point x on the orbit.

### Real dynamical system

Given a real dynamical system (R, M, Φ), I(x) is an open interval in the real numbers, that is I(x) = (t_x^- , t_x^+). For any x in M

\gamma_{x}^{+} := \{\Phi(t,x) : t \in (0,t_x^+)\}

is called positive semi-orbit through x and

\gamma_{x}^{-} := \{\Phi(t,x) : t \in (t_x^-,0)\}

is called negative semi-orbit through x.

### Discrete time dynamical system

For discrete time dynamical system :

forward orbit of x is a set :

\gamma_{x}^{+} \ \overset{\underset{\mathrm{def}}{}}{=} \ \{ \Phi(t,x) : t \ge 0 \} \,

backward orbit of x is a set :

\gamma_{x}^{-} \ \overset{\underset{\mathrm{def}}{}}{=} \ \{\Phi(-t,x) : t \ge 0 \} \,

and orbit of x is a set :

\gamma_{x} \ \overset{\underset{\mathrm{def}}{}}{=} \ \gamma_{x}^{-} \cup \gamma_{x}^{+} \,

where :

• \Phi\, is an evolution function \Phi : X \to X \, which is here an iterated function,
• set X\, is dynamical space,
• t\, is number of iteration, which is natural number and t \in T \,
• x\, is initial state of system and x \in X \,

Usually different notation is used :

• \Phi(t,x)\, is written as \Phi^{t}(x)\,
• x_t = \Phi^{t}(x)\, where x_0 \, is x \, in the above notation.

### General dynamical system

For general dynamical system, especially in homogeneous dynamics, when one have a "nice" group G acting on a probability space X in a measure-preserving way, an orbit G.x \subset X will be called periodic (or equivalently, closed orbit) if the stabilizer Stab_{G}(x) is a lattice inside G.

In addition, a related term is bounded orbit, when the set G.x is pre-compact inside X.

The classification of orbits can lead to interesting questions with relations to other mathematical areas, for example the Oppenheim conjecture (proved by Margulis) and the Littlewood conjecture (partially proved by Lindenstrauss) are dealing with the question whether every bounded orbit of some natural action on the homogeneous space SL_{2}(\mathbb{R})\backslash SL_{2}(\mathbb{Z}) is indeed periodic one, this observation is due to Raghunathan and in different language due to Cassels and Swinnerton-Dyer . Such questions are intimately related to deep measure-classification theorems.