Searcharxiv⌕ Search

arXiv subjects

Boris Khesin

Publications and source records attributed to Boris Khesin.

At least 37 records · Page 2Linked to original sources
arXiv2023

Geometric Hydrodynamics in Open Problems

Geometric Hydrodynamics has flourished ever since the celebrated 1966 paper of V. Arnold. In this paper we present a collection of open problems along with several new constructions in fluid dynamics and a concise survey of recent developments and achievements in this area. The topics discussed include variational settings for different types of fluids, models for invariant metrics, the Cauchy and boundary value problems, partial analyticity of solutions to the Euler equations, their steady and singular vorticity solutions, differential and Hamiltonian geometry of diffeomorphism groups, long-time behaviour of fluids, as well as mechanical models of direct and inverse cascades.

math.DG↗
arXiv2022

Long-diagonal pentagram maps

The pentagram map on polygons in the projective plane was introduced by R. Schwartz in 1992 and is by now one of the most popular and classical discrete integrable systems. In the present paper we introduce and prove integrability of long-diagonal pentagram maps on polygons in $\mathbb{R}\mathrm{P}^d$, encompassing all known integrable cases. We also establish an equivalence of long-diagonal and bi-diagonal maps and present a simple self-contained construction of the Lax form for both. Finally, we prove the continuous limit of all these maps is equivalent to the $ (2,d+1)$-KdV equation, generalizing the Boussinesq equation for $d=2$.

nlin.SI↗
arXiv2021

The Golden Ratio and Hydrodynamics

There are useful and useless golden ratios. The useful one helps in traffic. The useless and rather mysterious one arises in hydrodynamics of point vortices, which we discuss in detail.

math.DS↗
arXiv2020

Geometric hydrodynamics and infinite-dimensional Newton's equations

We revisit the geodesic approach to ideal hydrodynamics and present a related geometric framework for Newton's equations on groups of diffeomorphisms and spaces of probability densities. The latter setting is sufficiently general to include equations of compressible and incompressible fluid dynamics, magnetohydrodynamics, shallow water systems and equations of relativistic fluids. We illustrate this with a survey of selected examples, as well as with new results, using the tools of infinite-dimensional information geometry, optimal transport, the Madelung transform, and the formalism of symplectic and Poisson reduction.

math.SG↗
arXiv2020

The helicity uniqueness conjecture in 3D hydrodynamics

We prove that the helicity is the only regular Casimir function for the coadjoint action of the volume-preserving diffeomorphism group $\text{SDiff}(M)$ on smooth exact divergence-free vector fields on a closed three-dimensional manifold $M$. More precisely, any regular $C^1$ functional defined on the space of $C^\infty$ (more generally, $C^k$, $k\ge 4$) exact divergence-free vector fields and invariant under arbitrary volume-preserving diffeomorphisms can be expressed as a $C^1$ function of the helicity. This gives a complete description of Casimirs for adjoint and coadjoint actions of $\text{SDiff}(M)$ in 3D and completes the proof of Arnold-Khesin's 1998 conjecture for a manifold $M$ with trivial first homology group. Our proofs make use of different tools from the theory of dynamical systems, including normal forms for divergence-free vector fields, the Poincaré-Birkhoff theorem, and a division lemma for vector fields with hyperbolic zeros.

math.DG↗
arXiv2019

Fun Problems in Geometry and Beyond

We discuss fun problems, vaguely related to notions and theorems of a course in differential geometry. This paper can be regarded as a weekend "treasure chest" supplementing the course weekday lecture notes. The problems and solutions are not original, while their relation to the course might be so.

math.HO↗
arXiv2019

Averaging, symplectic reduction, and central extensions

We show that the averaged equation for a one-frequency fast-oscillating Hamiltonian system is the result of symplectic reduction of a certain natural system on the corresponding $S^1$-bundle with respect to the circle action. Furthermore, if the reduced configuration space happens to be a group, then under natural assumptions the averaged system turns out to be the Euler equation on a central extension of that group. This gives a new explanation of the drift, common in averaged system, as a similar shift is typically present in symplectic reductions and central extensions.

math-ph↗
arXiv2019

Global, local and dense non-mixing of the 3D Euler equation

We prove a non-mixing property of the flow of the 3D Euler equation which has a local nature: in any neighbourhood of a "typical" steady solution there is a generic set of initial conditions, such that the corresponding Euler flows will never enter a vicinity of the original steady one. More precisely, we establish that there exist stationary solutions $u_0$ of the Euler equation on $\mathbb S^3$ and divergence-free vector fields $v_0$ arbitrarily close to $u_0$, whose (non-steady) evolution by the Euler flow cannot converge in the $C^k$ Hölder norm ($k>10$ non-integer) to any stationary state in a small (but fixed a priori) $C^k$-neighbourhood of $u_0$. The set of such initial conditions $v_0$ is open and dense in the vicinity of $u_0$. A similar (but weaker) statement also holds for the Euler flow on $\mathbb T^3$. Two essential ingredients in the proof of this result are a geometric description of all steady states near certain nondegenerate stationary solutions, and a KAM-type argument to generate knotted invariant tori from elliptic orbits.

math.DS↗
arXiv2019

Higher-dimensional Euler fluids and Hasimoto transform: counterexamples and generalizations

The binormal (or vortex filament) equation provides the localized induction approximation of the 3D incompressible Euler equation. We present explicit solutions of the binormal equation in higher-dimensions that collapse in finite time. The local nature of this phenomenon suggests the appearance of singularity in nearby vortex blob solutions of the Euler equation in 5D and higher. Furthermore, the Hasimoto transform takes the binormal equation to the NLS and barotropic fluid equations. We show that in higher dimensions the existence of such a transform would imply the conservation of the Willmore energy in skew-mean-curvature flows and present counterexamples for vortex membranes based on products of spheres. These (counter)examples imply that there is no straightforward generalization to higher dimensions of the 1D Hasimoto transform. We derive its replacement, the evolution equations for the mean curvature and torsion form for membranes, thus generalizing the barotropic fluid and Da Rios equations.

math-ph↗
arXiv2019

A basis of Casimirs in 3D magnetohydrodynamics

We prove that any regular Casimir in 3D magnetohydrodynamics is a function of the magnetic helicity and cross-helicity. In other words, these two helicities are the only independent regular integral invariants of the coadjoint action of the MHD group $\text{SDiff}(M)\ltimes\mathfrak X^*(M)$, which is the semidirect product of the group of volume-preserving diffeomorphisms and the dual space of its Lie algebra.

math-ph↗
arXiv2018

Math in the Black Forest: Workshop on New Directions in Shape Analysis

These are the proceedings of the workshop "Math in the Black Forest", which brought together researchers in shape analysis to discuss promising new directions. Shape analysis is an inter-disciplinary area of research with theoretical foundations in infinite-dimensional Riemannian geometry, geometric statistics, and geometric stochastics, and with applications in medical imaging, evolutionary development, and fluid dynamics. The workshop is the 6th instance of a series of workshops on the same topic.

math.DG↗
arXiv2018

Geometric Hydrodynamics via Madelung Transform

We introduce a geometric framework to study Newton's equations on infinite-dimensional configuration spaces of diffeomorphisms and smooth probability densities. It turns out that several important PDEs of hydrodynamical origin can be described in this framework in a natural way. In particular, the Madelung transform between the Schrödinger equation and Newton's equations is a symplectomorphism of the corresponding phase spaces. Furthermore, the Madelung transform turns out to be a Kähler map when the space of densities is equipped with the Fisher-Rao information metric. We describe several dynamical applications of these results.

math.DG↗
arXiv2018

Vortex sheets and diffeomorphism groupoids

In 1966 V.Arnold suggested a group-theoretic approach to ideal hydrodynamics in which the motion of an inviscid incompressible fluid is described as the geodesic flow of the right-invariant $L^2$-metric on the group of volume-preserving diffeomorphisms of the flow domain. Here we propose geodesic, group-theoretic, and Hamiltonian frameworks to include fluid flows with vortex sheets. It turns out that the corresponding dynamics is related to a certain groupoid of pairs of volume-preserving diffeomorphisms with common interface. We also develop a general framework for Euler-Arnold equations for geodesics on groupoids equipped with one-sided invariant metrics.

math.SG↗
arXiv2018

Geometry of the Madelung transform

The Madelung transform is known to relate Schrödinger-type equations in quantum mechanics and the Euler equations for barotropic-type fluids. We prove that, more generally, the Madelung transform is a Kähler map (i.e. a symplectomorphism and an isometry) between the space of wave functions and the cotangent bundle to the density space equipped with the Fubini-Study metric and the Fisher-Rao information metric, respectively. We also show that Fusca's momentum map property of the Madelung transform is a manifestation of the general approach via reduction for semi-direct product groups. Furthermore, the Hasimoto transform for the binormal equation turns out to be the 1D case of the Madelung transform, while its higher-dimensional version is related to the problem of conservation of the Willmore energy in binormal flows.

math.DG↗
arXiv2017

Classification of Casimirs in 2D hydrodynamics

We describe a complete list of Casimirs for 2D Euler hydrodynamics on a surface without boundary: we define generalized enstrophies which, along with circulations, form a complete set of invariants for coadjoint orbits of area-preserving diffeomorphisms on a surface. We also outline a possible extension of main notions to the boundary case and formulate several open questions in that setting.

math.SG↗
arXiv2016

Coadjoint orbits of symplectic diffeomorphisms of surfaces and ideal hydrodynamics

We give a classification of generic coadjoint orbits for the groups of symplectomorphisms and Hamiltonian diffeomorphisms of a closed symplectic surface. We also classify simple Morse functions on symplectic surfaces with respect to actions of those groups. This gives an answer to V.Arnold's problem on describing all invariants of generic isovorticed fields for the 2D ideal fluids. For this we introduce a notion of anti-derivatives on a measured Reeb graph and describe their properties.

math.SG↗
arXiv2015

Characterization of steady solutions to the 2D Euler equation

Steady fluid flows have very special topology. In this paper we describe necessary and sufficient conditions on the vorticity function of a 2D ideal flow on a surface with or without boundary, for which there exists a steady flow among isovorticed fields. For this we introduce the notion of an antiderivative (or circulation function) on a measured graph, the Reeb graph associated to the vorticity function on the surface, while the criterion is related to the total negativity of this antiderivative. It turns out that given topology of the vorticity function, the set of coadjoint orbits of the symplectomorphism group admitting steady flows with this topology forms a convex polytope. As a byproduct of the proposed construction, we also describe a complete list of Casimirs for the 2D Euler hydrodynamics: we define generalized enstrophies which, along with circulations, form a complete set of invariants for coadjoint orbits of area-preserving diffeomorphisms on a surface.

math.SG↗