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