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