Great talk Etienne! Merci beaucoup! The space of vector fields is the Lie algebra of the group of diffeomorphisms of the manifold. When you integrate the vector field you get a flow, which is a geodesic in that group, tangent to the chosen vector field. So in that sense any ODE comes from this geodesic flow. It has infinite dimensions so one has to define things properly to have it work. Now Dennis seems to be taking this abstraction one step further. A point is a vector field representing fluid flow, incompressible so divergence 0, as a path of vector fields this defines a time-varying ODE. But it's also a curve in the space of vector fields, and so should be a solution curve to a stationary ODE in the space of vector fields, give by the Euler equation. That's a great point of view. There's dynamics on like 3 levels....
Great talk Etienne! Merci beaucoup!
The space of vector fields is the Lie algebra of the group of diffeomorphisms of the manifold. When you integrate the vector field you get a flow, which is a geodesic in that group, tangent to the chosen vector field.
So in that sense any ODE comes from this geodesic flow. It has infinite dimensions so one has to define things properly to have it work. Now Dennis seems to be taking this abstraction one step further. A point is a vector field representing fluid flow, incompressible so divergence 0, as a path of vector fields this defines a time-varying ODE. But it's also a curve in the space of vector fields, and so should be a solution curve to a stationary ODE in the space of vector fields, give by the Euler equation. That's a great point of view. There's dynamics on like 3 levels....
Its could be