Base Flow (random Dynamical Systems)
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, the base flow of a
random dynamical system In the mathematical field of dynamical systems, a random dynamical system is a dynamical system in which the equations of motion have an element of randomness to them. Random dynamical systems are characterized by a state space ''S'', a set of ma ...
is the
dynamical system In mathematics, a dynamical system is a system in which a Function (mathematics), function describes the time dependence of a Point (geometry), point in an ambient space. Examples include the mathematical models that describe the swinging of a ...
defined on the "noise" probability space that describes how to "fast forward" or "rewind" the noise when one wishes to change the time at which one "starts" the random dynamical system.


Definition

In the definition of a random dynamical system, one is given a family of maps \vartheta_ : \Omega \to \Omega on a probability space (\Omega, \mathcal, \mathbb). The measure-preserving dynamical system (\Omega, \mathcal, \mathbb, \vartheta) is known as the base flow of the random dynamical system. The maps \vartheta_ are often known as shift maps since they "shift" time. The base flow is often
ergodic In mathematics, ergodicity expresses the idea that a point of a moving system, either a dynamical system or a stochastic process, will eventually visit all parts of the space that the system moves in, in a uniform and random sense. This implies tha ...
. The parameter s may be chosen to run over * \mathbb (a two-sided continuous-time dynamical system); * [0, + \infty) \subsetneq \mathbb (a one-sided continuous-time dynamical system); * \mathbb (a two-sided discrete-time dynamical system); * \mathbb \cup \ (a one-sided discrete-time dynamical system). Each map \vartheta_ is required * to be a (\mathcal, \mathcal)-measurable function: for all E \in \mathcal, \vartheta_^ (E) \in \mathcal * to preserve the measure \mathbb: for all E \in \mathcal, \mathbb (\vartheta_^ (E)) = \mathbb (E). Furthermore, as a family, the maps \vartheta_ satisfy the relations * \vartheta_ = \mathrm_ : \Omega \to \Omega, the
identity function Graph of the identity function on the real numbers In mathematics, an identity function, also called an identity relation, identity map or identity transformation, is a function that always returns the value that was used as its argument, un ...
on \Omega; * \vartheta_ \circ \vartheta_ = \vartheta_ for all s and t for which the three maps in this expression are defined. In particular, \vartheta_^ = \vartheta_ if - s exists. In other words, the maps \vartheta_ form a commutative
monoid In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being 0. Monoids ...
(in the cases s \in \mathbb \cup \ and s \in group (in the cases s \in \mathbb and s \in \mathbb).


Example

In the case of random dynamical system driven by a Wiener process W : \mathbb \times \Omega \to X, where (\Omega, \mathcal, \mathbb) is the two-sided classical Wiener space, the base flow \vartheta_ : \Omega \to \Omega would be given by :W (t, \vartheta_ (\omega)) = W (t + s, \omega) - W(s, \omega). This can be read as saying that \vartheta_ "starts the noise at time s instead of time 0". {{DEFAULTSORT:Base Flow (Random Dynamical Systems) Random dynamical systems