Math 2.0

Dynamical systems and ergodic theory Definition

Dynamical system

Builds on MonoidSetFunction

Definition

Let ๐•‹\mathbb{T} be an additive monoid, the time, usually โ„•\N, โ„ค\Z, [0,โˆž)[0, \infty) or โ„\R. Let XX be a set, the phase space or state space. A dynamical system with time ๐•‹\mathbb{T} on XX is a map ฮฆโ€‰โฃ:๐•‹ร—Xโ†’X\Phi \colon \mathbb{T} \times X \to X such that:

  1. ฮฆ(0,x)=x\Phi(0, x) = x for every xโˆˆXx \in X;
  2. ฮฆ(s,ฮฆ(t,x))=ฮฆ(s+t,x)\Phi(s, \Phi(t, x)) = \Phi(s + t, x) for all s,tโˆˆ๐•‹s, t \in \mathbb{T} and xโˆˆXx \in X.

The map ฮฆt=ฮฆ(t,โ‹…)โ€‰โฃ:Xโ†’X\Phi^t = \Phi(t, \cdot) \colon X \to X is the time-tt map, and the set {ฮฆ(t,x):tโˆˆ๐•‹}\set{\Phi(t, x) : t \in \mathbb{T}} is the orbit of xx.

Remarks

Clauses 1 and 2 say that tโ†ฆฮฆtt \mapsto \Phi^t is a monoid homomorphism from ๐•‹\mathbb{T} to the maps Xโ†’XX \to X under composition, that is, an action of ๐•‹\mathbb{T} on XX. In practice XX carries more structure, and ฮฆ\Phi is required to respect it. Examples are continuous maps on a topological space, smooth maps on a manifold, or measurable maps on a measure space. With ๐•‹=โ„\mathbb{T} = \R the system is a flow, with ๐•‹=[0,โˆž)\mathbb{T} = [0, \infty) a semiflow, and with ๐•‹=โ„•\mathbb{T} = \N or โ„ค\Z a discrete-time system.

Example: ๐•‹=โ„\mathbb{T} = \R, X=โ„X = \R and ฮฆ(t,x)=eโˆ’tx\Phi(t, x) = e^{-t} x, the solutions of xโ€ฒ=โˆ’xx' = -x. Clause 1 holds since e0x=xe^{0} x = x, and clause 2 holds since eโˆ’s(eโˆ’tx)=eโˆ’(s+t)xe^{-s}(e^{-t} x) = e^{-(s + t)} x.

Non-example: ฮฆ(t,x)=x+t2\Phi(t, x) = x + t^2 on โ„\R with ๐•‹=โ„\mathbb{T} = \R. Clause 1 holds, but ฮฆ(1,ฮฆ(1,0))=2\Phi(1, \Phi(1, 0)) = 2 while ฮฆ(2,0)=4\Phi(2, 0) = 4, so clause 2 fails.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Function concept
  2. Monoid concept
  3. Set concept
  4. Dynamical system definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Dynamical_system, Formal definition
About this page
Tag59GFP54D78
URIm2://59GFP54D78
Kinddefinition
WritingW1 stated
MSC37B02, 37C10, 37-01
DefinesDynamical system
UsesMonoid, Set, Function

Markdown ยท JSON ยท Edit on GitHub

What this page needs for W2

  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.