Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Orbit (dynamics)

From Wikipedia, the free encyclopedia
Set of points linked through the evolution function of a dynamical system
This article is about orbits in dynamical systems theory. For other uses, seeOrbit (disambiguation).
This article includes alist of references,related reading, orexternal links,but its sources remain unclear because it lacksinline citations. Please helpimprove this article byintroducing more precise citations.(February 2013) (Learn how and when to remove this message)

Inmathematics, specifically in the study ofdynamical systems, anorbit is a collection of points related by theevolution function of the dynamical system. It can be understood as the subset ofphase space covered by the trajectory of the dynamical system under a particular set ofinitial 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 apartition of the phase space. Understanding the properties of orbits by usingtopological methods is one of the objectives of the modern theory of dynamical systems.

Fordiscrete-time dynamical systems, the orbits aresequences; forreal dynamical systems, the orbits arecurves; and forholomorphic dynamical systems, the orbits areRiemann surfaces.

Definition

[edit]
Diagram showing the periodic orbit of a mass-spring system insimple 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, Φ) withT agroup,M aset and Φ the evolution function

Φ:UM{\displaystyle \Phi :U\to M} whereUT×M{\displaystyle U\subset T\times M} withΦ(0,x)=x{\displaystyle \Phi (0,x)=x}

we define

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

then the set

γx:={Φ(t,x):tI(x)}M{\displaystyle \gamma _{x}:=\{\Phi (t,x):t\in I(x)\}\subset M}

is called theorbit throughx. An orbit which consists of a single point is calledconstant orbit. A non-constant orbit is calledclosed orperiodic if there exists at0{\displaystyle t\neq 0} inI(x){\displaystyle I(x)} such that

Φ(t,x)=x{\displaystyle \Phi (t,x)=x}.

Real dynamical system

[edit]

Given a real dynamical system (R,M, Φ),I(x) is an open interval in thereal numbers, that isI(x)=(tx,tx+){\displaystyle I(x)=(t_{x}^{-},t_{x}^{+})}. For anyx inM

γx+:={Φ(t,x):t(0,tx+)}{\displaystyle \gamma _{x}^{+}:=\{\Phi (t,x):t\in (0,t_{x}^{+})\}}

is calledpositive semi-orbit throughx and

γx:={Φ(t,x):t(tx,0)}{\displaystyle \gamma _{x}^{-}:=\{\Phi (t,x):t\in (t_{x}^{-},0)\}}

is callednegative semi-orbit throughx.

Discrete time dynamical system

[edit]

For a discrete time dynamical system with a time-invariant evolution functionf{\displaystyle f}:

Theforward orbit of x is the set :

γx+ =def {ft(x):t0}{\displaystyle \gamma _{x}^{+}\ {\overset {\underset {\mathrm {def} }{}}{=}}\ \{f^{t}(x):t\geq 0\}}

If the function is invertible, thebackward orbit of x is the set :

γx =def {ft(x):t0}{\displaystyle \gamma _{x}^{-}\ {\overset {\underset {\mathrm {def} }{}}{=}}\ \{f^{t}(x):t\leq 0\}}

andorbit of x is the set :

γx =def γxγx+{\displaystyle \gamma _{x}\ {\overset {\underset {\mathrm {def} }{}}{=}}\ \gamma _{x}^{-}\cup \gamma _{x}^{+}}

where :

General dynamical system

[edit]

For a general dynamical system, especially in homogeneous dynamics, when one has a "nice" groupG{\displaystyle G} acting on a probability spaceX{\displaystyle X} in a measure-preserving way, an orbitG.xX{\displaystyle G.x\subset X} will be called periodic (or equivalently, closed) if the stabilizerStabG(x){\displaystyle Stab_{G}(x)} is a lattice insideG{\displaystyle G}.

In addition, a related term is a bounded orbit, when the setG.x{\displaystyle G.x} is pre-compact insideX{\displaystyle 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 spaceSL3(R)SL3(Z){\displaystyle SL_{3}(\mathbb {R} )\backslash SL_{3}(\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.

Notes

[edit]

It is often the case that the evolution function can be understood to compose the elements of agroup, in which case thegroup-theoretic orbits of thegroup action are the same thing as the dynamical orbits.

Examples

[edit]
  • Critical orbit of discrete dynamical system based on complex quadratic polynomial. It tends to weakly attracting fixed point with multiplier=0.99993612384259
    Critical orbit of discrete dynamical system based oncomplex quadratic polynomial. It tends to weaklyattractingfixed 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.
    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.

Stability of orbits

[edit]

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 anasymptotically periodic orbit if itconverges 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 bechaotic. These orbits come arbitrarily close to the initial point, but fail to ever converge to a periodic orbit. They exhibitsensitive 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 behyperbolic if nearby points approach or diverge from the orbit exponentially fast.

See also

[edit]

References

[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Orbit_(dynamics)&oldid=1281351072"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp