Exact non-stationary solutions of the Euler equations in two and three dimensions
Patrick Heslin, Stephen C. Preston
TL;DR
This work develops an Arnold-geometric mechanism to construct explicit, smooth, global-in-time, typically non-stationary solutions to the incompressible Euler equations on 2D and 3D manifolds by exploiting a generalized Coriolis force spectrum. A key result shows that if a steady base flow $u_0$ and a complex perturbation $z$ satisfy simultaneous spectral relations with the inertia operator and coadjoint structure, then $U(t)=u_0+e^{i(\lambda-\zeta)t}z$ yields a real Euler flow and a related linearized flow, with nonstationarity captured by $\lambda\neq\zeta$. In 2D the authors obtain a complete curvature-based classification and explicit Kelvin and Rossby-Haurwitz-type solutions on flat, spherical, and hyperbolic domains, while in 3D they develop circle bundle and torus bundle geometries to produce new explicit nonstationary flows on manifolds such as $S^3$ via curl eigenfields and Chandrasekhar-Kendall-type constructions. The Euler-Arnold framework then clarifies how a generalized Coriolis force sits inside the geometric formulation and provides a concrete path to systematic nonstationary solutions, with clear avenues for stability analysis and extensions to related dynamics such as MHD and Navier-Stokes on manifolds.
Abstract
We develop, via Arnold's geometric framework, a mechanism for constructing explicit, smooth, global-in-time, and typically non-stationary solutions of the incompressible Euler equations. The approach introduces a notion of generalized Coriolis force, whose spectrum underlies the construction of these solutions. In the setting of ideal hydrodynamics, the construction recovers classical exact solutions such as Kelvin and Rossby-Haurwitz waves, while also producing new explicit examples on curved surfaces and three-dimensional manifolds including the round three-sphere. We further obtain a complete classification in two dimensions and a partial classification in three dimensions of the Riemannian manifolds that admit such solutions. The method is also formulated in the general Euler-Arnold setting and yields a simple criterion for non-stationarity.
