https://123dok.net/document/q5mp01pj-kinetic-brownian-motion-diffeomorphism-group-closed-riemannian-manifold.html