Abstract:We prove that on any closed Riemannian three-manifold $(M,g)$ the time-dependent Euler equations are non-mixing on the space of smooth volume-preserving vector fields endowed with the $C^1$-topology, for any fixed helicity and large enough energy, solving a problem posed by Khesin, Misiolek, and Shnirelman. To prove this, we introduce a new framework that assigns contact/symplectic geometry invariants to large sets of time-dependent solutions to the Euler equations on any 3-manifold with an arbitrary fixed metric. This greatly broadens the scope of contact topological methods in hydrodynamics, which so far have had applications only for stationary solutions and without fixing the ambient metric. We further use this framework to prove that spectral invariants obtained from Floer theory, concretely embedded contact homology, define new non-trivial continuous first integrals of the Euler equations in certain regions of the phase space endowed with the $C^{1,s}$-topology, producing countably many disjoint invariant open sets.

On contact equivalence of systems of ordinary differential equations

Contact mappings of differential equations

Conjugate points of dynamic pairs and control systems

About one singularity of the property of disturbed differential systems equivalence to linear differential equations

On Differential Systems in Sobolev spaces with Generic Inhomogeneous Boundary Conditions

Classification of Solutions to Mixed Order Conformally Invariant Systems in $${\mathbb {R}}^2$$

Integral equivalence of multidimensional differential systems

Conjugate points for systems of second-order ordinary differential equations

Regular contact manifolds: a generalization of the Boothby-Wang theorem

Equivalence problem for first-order and second-order ODEs with a quadratic restriction

Equivalence for Differential Equations

Contact type solutions and non-mixing of the 3D Euler equations

Feedback Equivalence of 1-dimensional Control Systems of the 1-st Order

Curvature and the equivalence problem in sub-Riemannian geometry

The point equivalence problem for ordinary differential equations of the second order

Similarity Between Two Stochastic Differential Systems

The connection of Monge-Bateman equations with ordinary differential equations and their generalisation

On a type of Static Equation on Certain Contact Metric Manifolds

Variations of the Mutual Curvature of Two Orthogonal Non-complementary Distributions

A categorical view on the converse Lyapunov theorem

On Equation Manifolds, the Vinogradov Spectral Sequence, and Related Diffeological Structures