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 discretetime 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

See also 4

References 5
Definition
Diagram showing the periodic orbit of a massspring 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 nonconstant 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 semiorbit through x and

\gamma_{x}^{} := \{\Phi(t,x) : t \in (t_x^,0)\}
is called negative semiorbit 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 measurepreserving 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 precompact 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 SwinnertonDyer . Such questions are intimately related to deep measureclassification theorems.
Notes
It is often the case that the evolution function can be understood to compose the elements of a group, in which case the grouptheoretic orbits of the group action are the same thing as the dynamical orbits.
Examples
Stability of orbits
A basic classification of orbits is

constant orbits or fixed points

periodic orbits

nonconstant and nonperiodic orbits
An orbit can fail to be closed in two ways. It could be an asymptotically periodic orbit if it converges to a periodic orbit. Such orbits are not closed because they never truly repeat, but they become arbitrarily close to a repeating orbit. An orbit can also be chaotic. These orbits come arbitrarily close to the initial point, but fail to ever converge to a periodic orbit. They exhibit sensitive dependence on initial conditions, meaning that small differences in the initial value will cause large differences in future points of the orbit.
There are other properties of orbits that allow for different classifications. An orbit can be hyperbolic if nearby points approach or diverge from the orbit exponentially fast.
See also
References

Anatole Katok and Boris Hasselblatt (1996). Introduction to the modern theory of dynamical systems. Cambridge.
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.