This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (February 2013) (Learn how and when to remove this message) |
In mathematics, specifically in the study of dynamical systems, an orbit is a collection of points related by the evolution function of the dynamical system. It can be understood as the subset of phase space covered by the trajectory of the dynamical system under a particular set of initial conditions, as the system evolves. As a phase space trajectory is uniquely determined for any given set of phase space coordinates, it is not possible for different orbits to intersect in phase space, therefore the set of all orbits of a dynamical system is a partition of 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.
Definition
Given a dynamical system (T, M, Φ) with T a group, M a set and Φ the evolution function
- where with
we define
then the set
is called the 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 in such that
- .
Real dynamical system
Given a real dynamical system (R, M, Φ), I(x) is an open interval in the real numbers, that is . For any x in M
is called positive semi-orbit through x and
is called negative semi-orbit through x.
Discrete time dynamical system
For a discrete time dynamical system with a time-invariant evolution function :
The forward orbit of x is the set :
If the function is invertible, the backward orbit of x is the set :
and orbit of x is the set :
where :
- is the evolution function
- set is the dynamical space,
- is number of iteration, which is natural number and
- is initial state of system and
General dynamical system
For a general dynamical system, especially in homogeneous dynamics, when one has a "nice" group acting on a probability space in a measure-preserving way, an orbit will be called periodic (or equivalently, closed) if the stabilizer is a lattice inside .
In addition, a related term is a bounded orbit, when the set is pre-compact inside .
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 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.
Notes
It is often the case that the evolution function can be understood to compose the elements of a group, in which case the group-theoretic orbits of the group action are the same thing as the dynamical orbits.
Examples
- Critical orbit of discrete dynamical system based on complex quadratic polynomial. It tends to weakly attracting fixed point with multiplier=0.99993612384259
- Critical orbit tends to weakly attracting point. One can see spiral from attracting fixed point to repelling fixed point ( z= 0) which is a place with high density of level curves.
- The orbit of an equilibrium point is a constant orbit.
Stability of orbits
A basic classification of orbits is
- constant orbits or fixed points
- periodic orbits
- non-constant and non-periodic 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
- Wandering set
- Phase space method
- Phase space
- Cobweb plot or Verhulst diagram
- Periodic points of complex quadratic mappings and multiplier of orbit
- Orbit portrait
References
- Hale, Jack K.; Koçak, Hüseyin (1991). "Periodic Orbits". Dynamics and Bifurcations. New York: Springer. pp. 365–388. ISBN 0-387-97141-6.
- Katok, Anatole; Hasselblatt, Boris (1996). Introduction to the modern theory of dynamical systems. Cambridge. ISBN 0-521-57557-5.
- Perko, Lawrence (2001). "Periodic Orbits, Limit Cycles and Separatrix Cycles". Differential Equations and Dynamical Systems (Third ed.). New York: Springer. pp. 202–211. ISBN 0-387-95116-4.