Base Flow (random Dynamical Systems)
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the base flow of a
random dynamical system In mathematics, 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 maps \Gamma from ''S'' into itself t ...
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, such as in a parametric curve. Examples include the mathematical models ...
defined on the "noise"
probability space In probability theory, a probability space or a probability triple (\Omega, \mathcal, P) is a mathematical construct that provides a formal model of a random process or "experiment". For example, one can define a probability space which models ...
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 In mathematics, a measure-preserving dynamical system is an object of study in the abstract formulation of dynamical systems, and ergodic theory in particular. Measure-preserving systems obey the Poincaré recurrence theorem, and are a special ca ...
(\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 th ...
. 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, unc ...
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 In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Perhaps most familiar as a pr ...
monoid In abstract algebra, 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 . Monoids are semigroups with identity ...
(in the cases s \in \mathbb \cup \ and s \in
group A group is a number of persons or things that are located, gathered, or classed together. Groups of people * Cultural group, a group whose members share the same cultural identity * Ethnic group, a group whose members share the same ethnic iden ...
(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".


References

{{DEFAULTSORT:Base Flow (Random Dynamical Systems) Random dynamical systems