Diffeomorphism

Flow on a manifold

Let 𝑀 be a 𝐶𝛼-manifold with group of diffeomorphisms Aut𝛼(𝑀). A (local) 1-parameter group 𝜑? : Aut𝛼(𝑀) is called a (local) flow on 𝑀. #m/def/geo/diff The orbit of a point 𝑝 𝑀 defines a 𝐶𝛼-curve

𝛾=𝜑?(𝑝):(𝜖,𝜖+)𝑀

with 𝛾(0) =𝑝. The map

𝑝˙𝛾(0)=dd𝑡𝜑𝑡(𝑝)𝑡=0

defines a 𝐶𝛼-vector field 𝑣𝑎 𝔛(𝑀), called the infinitesimal generator of 𝜑?.

Conversely, given a vector field 𝑣𝑎 𝔛(𝑀), one can (usually) find a corresponding local flow whose orbits are called integral curves.


#state/develop | #lang/en | #SemBr