Flow (mathematics)

In mathematics, a flow formalizes the idea of the motion of particles in a fluid. Flows are ubiquitous in science, including engineering and physics. The notion of flow is basic to the study of ordinary differential equations. Informally, a flow may be viewed as a continuous motion of points over time. More formally, a flow is a group action of the real numbers on a set. In mathematics, a flow formalizes the idea of the motion of particles in a fluid. Flows are ubiquitous in science, including engineering and physics. The notion of flow is basic to the study of ordinary differential equations. Informally, a flow may be viewed as a continuous motion of points over time. More formally, a flow is a group action of the real numbers on a set. The idea of a vector flow, that is, the flow determined by a vector field, occurs in the areas of differential topology, Riemannian geometry and Lie groups. Specific examples of vector flows include the geodesic flow, the Hamiltonian flow, the Ricci flow, the mean curvature flow, and the Anosov flow. Flows may also be defined for systems of random variables and stochastic processes, and occur in the study of ergodic dynamical systems. The most celebrated of these is perhaps the Bernoulli flow. A flow on a set X is a group action of the additive group of real numbers on X. More explicitly, a flow is a mapping such that, for all x ∈ X and all real numbers s and t, It is customary to write φt(x) instead of φ(x, t), so that the equations above can be expressed as φ0 = Id (identity function) and φs ∘ φt = φs+t (group law). Then, for all t ∈ ℝ, the mapping φt: X → X is a bijection with inverse φ−t: X → X. This follows from the above definition, and the real parameter t may be taken as a generalized functional power, as in function iteration. Flows are usually required to be compatible with structures furnished on the set X. In particular, if X is equipped with a topology, then φ is usually required to be continuous. If X is equipped with a differentiable structure, then φ is usually required to be differentiable. In these cases the flow forms a one parameter subgroup of homeomorphisms and diffeomorphisms, respectively. In certain situations one might also consider local flows, which are defined only in some subset called the flow domain of φ. This is often the case with the flows of vector fields. It is very common in many fields, including engineering, physics and the study of differential equations, to use a notation that makes the flow implicit. Thus, x(t) is written for φt(x0), and one might say that the 'variable x depends on the time t and the initial condition x = x0'. Examples are given below.