-
Morse-Bott Volume Forms
Authors:
Luke Volk,
Boris Khesin
Abstract:
A Morse-Bott volume form on a manifold is a top-degree form which vanishes along a non-degenerate critical submanifold. We prove that two such forms are diffeomorphic (by a diffeomorphism fixed on the submanifold) provided that their relative cohomology classes with respect to the submanifold coincide. For a zero submanifold of codimension at least 2, this means that two Morse-Bott volume forms wi…
▽ More
A Morse-Bott volume form on a manifold is a top-degree form which vanishes along a non-degenerate critical submanifold. We prove that two such forms are diffeomorphic (by a diffeomorphism fixed on the submanifold) provided that their relative cohomology classes with respect to the submanifold coincide. For a zero submanifold of codimension at least 2, this means that two Morse-Bott volume forms with the same zero set are diffeomorphic if and only if they have equal total volumes. We show how "Moser's trick" for establishing equivalence of non-degenerate volume forms can be adapted to this setting.
△ Less
Submitted 1 March, 2025;
originally announced March 2025.
-
Curvature of Measure-Preserving Diffeomorphism Groups of Non-Orientable Surfaces
Authors:
Boris Khesin,
René Langøen,
Irina Markina
Abstract:
We study curvatures of the groups of measure-preserving diffeomorphisms of non-orientable compact surfaces. For the cases of the Klein bottle and the real projective plane we compute curvatures, their asymptotics and the normalized Ricci curvatures in many directions. Extending the approach of V. Arnold, and A. Lukatskii we provide estimates of weather unpredictability for natural models of trade…
▽ More
We study curvatures of the groups of measure-preserving diffeomorphisms of non-orientable compact surfaces. For the cases of the Klein bottle and the real projective plane we compute curvatures, their asymptotics and the normalized Ricci curvatures in many directions. Extending the approach of V. Arnold, and A. Lukatskii we provide estimates of weather unpredictability for natural models of trade wind currents on the Klein bottle and the projective plane.
△ Less
Submitted 11 January, 2025;
originally announced January 2025.
-
Information geometry of diffeomorphism groups
Authors:
Boris Khesin,
Gerard Misiołek,
Klas Modin
Abstract:
The study of diffeomorphism groups and their applications to problems in analysis and geometry has a long history. In geometric hydrodynamics, pioneered by V.~Arnold in the 1960s, one considers an ideal fluid flow as the geodesic motion on the infinite-dimensional group of volume-preserving diffeomorphisms of the fluid domain with respect to the metric defined by the kinetic energy. Similar consid…
▽ More
The study of diffeomorphism groups and their applications to problems in analysis and geometry has a long history. In geometric hydrodynamics, pioneered by V.~Arnold in the 1960s, one considers an ideal fluid flow as the geodesic motion on the infinite-dimensional group of volume-preserving diffeomorphisms of the fluid domain with respect to the metric defined by the kinetic energy. Similar considerations on the space of densities lead to a geometric description of optimal mass transport and the Kantorovich-Wasserstein metric. Likewise, information geometry associated with the Fisher-Rao metric and the Hellinger distance has an equally beautiful infinite-dimensional geometric description and can be regarded as a higher-order Sobolev analogue of optimal transportation. In this work we review various metrics on diffeomorphism groups relevant to this approach and introduce appropriate topology, smooth structures and dynamics on the corresponding infinite-dimensional manifolds. Our main goal is to demonstrate how, alongside topological hydrodynamics, Hamiltonian dynamics and optimal mass transport, information geometry with its elaborate toolbox has become yet another exciting field for applications of geometric analysis on diffeomorphism groups.
△ Less
Submitted 27 November, 2024; v1 submitted 5 November, 2024;
originally announced November 2024.
-
Pensive billiards, point vortices, and pucks
Authors:
Theodore D. Drivas,
Daniil Glukhovskiy,
Boris Khesin
Abstract:
We define a new class of plane billiards - the `pensive billiard' - in which the billiard ball travels along the boundary for some distance depending on the incidence angle before reflecting, while preserving the billiard rule of equality of the angles of incidence and reflection. This generalizes so called `puck billiards' proposed by M.Bialy, as well as a `vortex billiard', i.e. the motion of a…
▽ More
We define a new class of plane billiards - the `pensive billiard' - in which the billiard ball travels along the boundary for some distance depending on the incidence angle before reflecting, while preserving the billiard rule of equality of the angles of incidence and reflection. This generalizes so called `puck billiards' proposed by M.Bialy, as well as a `vortex billiard', i.e. the motion of a point vortex dipole in 2D hydrodynamics on domains with boundary. We prove the variational origin and invariance of a symplectic structure for pensive billiards, as well as study their properties including conditions for a twist map, the existence of periodic orbits, etc. We also demonstrate the appearance of both the golden and silver ratios in the corresponding hydrodynamical vortex setting. Finally, we introduce and describe basic properties of pensive outer billiards.
△ Less
Submitted 6 August, 2024;
originally announced August 2024.
-
Relative Helicity and Tiling Twist
Authors:
Boris Khesin,
Nicolau C. Saldanha
Abstract:
We consider domino tilings of 3D cubiculated regions. The tilings have two invariants, flux and twist, often integer-valued, which are given in purely combinatorial terms. These invariants allow one to classify the tilings with respect to certain elementary moves, flips and trits. In this paper we present a construction associating a divergence-free vector field $ξ_t$ to any domino tiling $t$, suc…
▽ More
We consider domino tilings of 3D cubiculated regions. The tilings have two invariants, flux and twist, often integer-valued, which are given in purely combinatorial terms. These invariants allow one to classify the tilings with respect to certain elementary moves, flips and trits. In this paper we present a construction associating a divergence-free vector field $ξ_t$ to any domino tiling $t$, such that the flux of the tiling $t$ can be interpreted as the (relative) rotation class of the field $ξ_t$, while the twist of $t$ is proved to be the relative helicity of the field $ξ_t$.
△ Less
Submitted 13 March, 2025; v1 submitted 1 August, 2024;
originally announced August 2024.
-
The Euler non-mixing made easy
Authors:
Boris Khesin
Abstract:
The non-transitivity without extra constraints in the Euler equation in any dimension is almost evident and can be derived, e.g., from Morse theory.
The non-transitivity without extra constraints in the Euler equation in any dimension is almost evident and can be derived, e.g., from Morse theory.
△ Less
Submitted 30 July, 2024; v1 submitted 13 February, 2024;
originally announced February 2024.
-
Singular vortex pairs follow magnetic geodesics
Authors:
Theodore D. Drivas,
Daniil Glukhovskiy,
Boris Khesin
Abstract:
We consider pairs of point vortices having circulations $Γ_1$ and $Γ_2$ and confined to a two-dimensional surface $S$. In the limit of zero initial separation $\varepsilon$, we prove that they follow a magnetic geodesic in unison, if properly renormalized. Specifically, the ``singular vortex pair" moves as a single charged particle on the surface with a charge of order $1/\varepsilon^2$ in a magne…
▽ More
We consider pairs of point vortices having circulations $Γ_1$ and $Γ_2$ and confined to a two-dimensional surface $S$. In the limit of zero initial separation $\varepsilon$, we prove that they follow a magnetic geodesic in unison, if properly renormalized. Specifically, the ``singular vortex pair" moves as a single charged particle on the surface with a charge of order $1/\varepsilon^2$ in a magnetic field $B$ which is everywhere normal to the surface and of strength $|B|=Γ_1 +Γ_2$. In the case $Γ_1=-Γ_2$, this gives another proof of Kimura's conjecture (Kimura 1999) that singular dipoles follow geodesics.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
Simple unbalanced optimal transport
Authors:
Boris Khesin,
Klas Modin,
Luke Volk
Abstract:
We introduce and study a simple model capturing the main features of unbalanced optimal transport. It is based on equipping the conical extension of the group of all diffeomorphisms with a natural metric, which allows a Riemannian submersion to the space of volume forms of arbitrary total mass. We describe its finite-dimensional version and present a concise comparison study of the geometry, Hamil…
▽ More
We introduce and study a simple model capturing the main features of unbalanced optimal transport. It is based on equipping the conical extension of the group of all diffeomorphisms with a natural metric, which allows a Riemannian submersion to the space of volume forms of arbitrary total mass. We describe its finite-dimensional version and present a concise comparison study of the geometry, Hamiltonian features, and geodesics for this and other extensions. One of the corollaries of this approach is that along any geodesic the total mass evolves with constant acceleration, as an object's height in a constant buoyancy field.
△ Less
Submitted 24 January, 2024; v1 submitted 11 July, 2023;
originally announced July 2023.
-
Coadjoint orbits of area-preserving diffeomorphisms of non-orientable surfaces
Authors:
Anton Izosimov,
Boris Khesin,
Ilia Kirillov
Abstract:
We give a classification of generic coadjoint orbits for the group of area-preserving diffeomorphisms of a closed non-orientable surface. This completes V. Arnold's program of studying invariants of incompressible fluids in 2D. As an auxiliary problem, we also classify simple Morse pseudo-functions on non-orientable surfaces up to area-preserving diffeomorphisms.
We give a classification of generic coadjoint orbits for the group of area-preserving diffeomorphisms of a closed non-orientable surface. This completes V. Arnold's program of studying invariants of incompressible fluids in 2D. As an auxiliary problem, we also classify simple Morse pseudo-functions on non-orientable surfaces up to area-preserving diffeomorphisms.
△ Less
Submitted 7 April, 2024; v1 submitted 18 April, 2023;
originally announced April 2023.
-
The Toda flow as a porous medium equation
Authors:
Boris Khesin,
Klas Modin
Abstract:
We describe the geometry of the incompressible porous medium (IPM) equation: we prove that it is a gradient dynamical system on the group of area-preserving diffeomorphisms and has a special double-bracket form. Furthermore, we show its similarities and differences with the dispersionless Toda system. The Toda flow describes an integrable interaction of several particles on a line with an exponent…
▽ More
We describe the geometry of the incompressible porous medium (IPM) equation: we prove that it is a gradient dynamical system on the group of area-preserving diffeomorphisms and has a special double-bracket form. Furthermore, we show its similarities and differences with the dispersionless Toda system. The Toda flow describes an integrable interaction of several particles on a line with an exponential potential between neighbours, while its continuous version is an integrable PDE, whose physical meaning was obscure. Here we show that this continuous Toda flow can be naturally regarded as a special IPM equation, while the key double-bracket property of Toda is shared by all equations of the IPM type, thus manifesting their gradient and non-autonomous Hamiltonian origin. Finally, we comment on Toda and IPM modifications of the QR diagonalization algorithm, as well as describe double-bracket flows in an invariant setting of general Lie groups with arbitrary inertia operators.
△ Less
Submitted 16 March, 2023; v1 submitted 20 July, 2022;
originally announced July 2022.
-
Geometry of generalized fluid flows
Authors:
Anton Izosimov,
Boris Khesin
Abstract:
The Euler equation of an ideal (i.e. inviscid incompressible) fluid can be regarded, following V.Arnold, as the geodesic flow of the right-invariant $L^2$-metric on the group of volume-preserving diffeomorphisms of the flow domain. In this paper we describe the common origin and symmetry of generalized flows, multiphase fluids (homogenized vortex sheets), and conventional vortex sheets: they all c…
▽ More
The Euler equation of an ideal (i.e. inviscid incompressible) fluid can be regarded, following V.Arnold, as the geodesic flow of the right-invariant $L^2$-metric on the group of volume-preserving diffeomorphisms of the flow domain. In this paper we describe the common origin and symmetry of generalized flows, multiphase fluids (homogenized vortex sheets), and conventional vortex sheets: they all correspond to geodesics on certain groupoids of multiphase diffeomorphisms. Furthermore, we prove that all these problems are Hamiltonian with respect to a Poisson structure on a dual Lie algebroid, generalizing the Hamiltonian property of the Euler equation on a Lie algebra dual.
△ Less
Submitted 12 October, 2023; v1 submitted 3 June, 2022;
originally announced June 2022.
-
Geometric Hydrodynamics in Open Problems
Authors:
Boris Khesin,
Gerard Misiolek,
Alexander Shnirelman
Abstract:
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…
▽ More
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.
△ Less
Submitted 3 January, 2023; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Long-diagonal pentagram maps
Authors:
Anton Izosimov,
Boris Khesin
Abstract:
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 b…
▽ More
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$.
△ Less
Submitted 1 November, 2022; v1 submitted 14 March, 2022;
originally announced March 2022.
-
The Golden Ratio and Hydrodynamics
Authors:
Boris Khesin,
Hanchun Wang
Abstract:
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.
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.
△ Less
Submitted 5 April, 2021;
originally announced April 2021.
-
On Quasisymmetric Functions with Two Bordering Variables
Authors:
Andrey Boris Khesin,
Alexander Lu Zhang
Abstract:
We extend past results on a family of formal power series $K_{n, Λ}$, parameterized by $n$ and $Λ\subseteq [n]$, that largely resemble quasisymmetric functions. This family of functions was conjectured to have the property that the product $K_{n, Λ}K_{m, Ω}$ of any two functions $K_{n, Λ}$ and $K_{m, Ω}$ from the family can be expressed as a linear combination of other functions from the family. I…
▽ More
We extend past results on a family of formal power series $K_{n, Λ}$, parameterized by $n$ and $Λ\subseteq [n]$, that largely resemble quasisymmetric functions. This family of functions was conjectured to have the property that the product $K_{n, Λ}K_{m, Ω}$ of any two functions $K_{n, Λ}$ and $K_{m, Ω}$ from the family can be expressed as a linear combination of other functions from the family. In this paper, we show that this is indeed the case and that the span of the $K_{n, Λ}$'s forms an algebra. We also provide techniques for examining similar families of functions and a formula for the product $K_{n, Λ}K_{m, Ω}$ when $n=1$.
△ Less
Submitted 7 January, 2021; v1 submitted 23 July, 2020;
originally announced July 2020.
-
On the 80th Birthday of Dmitry Borisovich Fuchs
Authors:
Alice Fialowski,
Ekaterina Fuchs,
Elena Fuchs,
Boris Khesin,
Alexandre Kirillov,
Fedor Malikov,
Valentin Ovsienko,
Alexei Sossinsky,
Serge Tabachnikov
Abstract:
This article is a collection of several memories for a special issue of SIGMA devoted to Dmitry Borisovich Fuchs.
This article is a collection of several memories for a special issue of SIGMA devoted to Dmitry Borisovich Fuchs.
△ Less
Submitted 7 April, 2020;
originally announced April 2020.
-
The helicity uniqueness conjecture in 3D hydrodynamics
Authors:
Boris Khesin,
Daniel Peralta-Salas,
Cheng Yang
Abstract:
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 inv…
▽ More
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.
△ Less
Submitted 12 March, 2020;
originally announced March 2020.
-
Geometric hydrodynamics and infinite-dimensional Newton's equations
Authors:
Boris Khesin,
Gerard Misiolek,
Klas Modin
Abstract:
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 th…
▽ More
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.
△ Less
Submitted 12 December, 2020; v1 submitted 4 January, 2020;
originally announced January 2020.
-
Fun Problems in Geometry and Beyond
Authors:
Boris Khesin,
Serge Tabachnikov
Abstract:
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.
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.
△ Less
Submitted 12 December, 2019;
originally announced December 2019.
-
Global, local and dense non-mixing of the 3D Euler equation
Authors:
Boris Khesin,
Sergei Kuksin,
Daniel Peralta-Salas
Abstract:
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$…
▽ More
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.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
Higher-dimensional Euler fluids and Hasimoto transform: counterexamples and generalizations
Authors:
Boris Khesin,
Cheng Yang
Abstract:
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, t…
▽ More
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.
△ Less
Submitted 26 September, 2019; v1 submitted 23 February, 2019;
originally announced February 2019.
-
A basis of Casimirs in 3D magnetohydrodynamics
Authors:
Boris Khesin,
Daniel Peralta-Salas,
Cheng Yang
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 January, 2019;
originally announced January 2019.
-
Math in the Black Forest: Workshop on New Directions in Shape Analysis
Authors:
Martin Bauer,
Nicolas Charon,
Philipp Harms,
Boris Khesin,
Alice Le Brigant,
Elodie Maignant,
Stephen Marsland,
Peter Michor,
Xavier Pennec,
Stephen Preston,
Stefan Sommer,
François-Xavier Vialard
Abstract:
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 devel…
▽ More
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.
△ Less
Submitted 4 November, 2018;
originally announced November 2018.
-
Geometry of the Madelung transform
Authors:
Boris Khesin,
Gerard Misiolek,
Klas Modin
Abstract:
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 inform…
▽ More
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.
△ Less
Submitted 21 July, 2018; v1 submitted 18 July, 2018;
originally announced July 2018.
-
Averaging, symplectic reduction, and central extensions
Authors:
Cheng Yang,
Boris Khesin
Abstract:
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 exte…
▽ More
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.
△ Less
Submitted 21 November, 2019; v1 submitted 5 June, 2018;
originally announced June 2018.
-
Geometric Hydrodynamics via Madelung Transform
Authors:
Boris Khesin,
Gerard Misiolek,
Klas Modin
Abstract:
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…
▽ More
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.
△ Less
Submitted 31 October, 2018; v1 submitted 1 November, 2017;
originally announced November 2017.
-
The 250 Knots with up to 10 Crossings
Authors:
Andrey Boris Khesin
Abstract:
The list of knots with up to 10 crossings is commonly referred to as the Rolfsen Table. This paper presents a way to generate the Rolfsen table in a simple, clear, and reproducible manner. The methods we use are similar to those used by J. Hoste, M. Thistlethwaite, and J. Weeks in [1]. The difference between our methods comes from the fact that [1] uses a more complicated algorithm to be able to f…
▽ More
The list of knots with up to 10 crossings is commonly referred to as the Rolfsen Table. This paper presents a way to generate the Rolfsen table in a simple, clear, and reproducible manner. The methods we use are similar to those used by J. Hoste, M. Thistlethwaite, and J. Weeks in [1]. The difference between our methods comes from the fact that [1] uses a more complicated algorithm to be able to find all the knots with up to 17 crossings, while our approach demonstrates a simpler way to find the knots up to 10 crossings. We do this by generating all planar knot diagrams with up to 10 crossings and applying several simplifications to group the knot diagrams into equivalence classes. From these classes, we generate the full list of candidate knots and reduce it with several sets of moves. Lastly, we use invariants to show that each of the 250 diagrams generated is distinct, proving that there are exactly 250 knots with 10 crossings or fewer. Though the algorithms used could be made more efficient, readability was chosen over speed for simplicity and reproducibility.
△ Less
Submitted 29 May, 2017;
originally announced May 2017.
-
A Tabulation of Ribbon Knots in Tangle Form
Authors:
Andrey Boris Khesin
Abstract:
It is known that there are 21 ribbon knots with 10 crossings or fewer. We show that for every ribbon knot, there exists a tangle that satisfies two properties associated with the knot. First, under a specific closure, the closed tangle is equivalent to its corresponding knot. Second, under a different closure, the closed tangle is equivalent to the unlink. For each of these 21 ribbon knots, we pre…
▽ More
It is known that there are 21 ribbon knots with 10 crossings or fewer. We show that for every ribbon knot, there exists a tangle that satisfies two properties associated with the knot. First, under a specific closure, the closed tangle is equivalent to its corresponding knot. Second, under a different closure, the closed tangle is equivalent to the unlink. For each of these 21 ribbon knots, we present a 4-strand tangle that satisfies these properties. We provide diagrams of these tangles and also express them in planar diagram notation.
△ Less
Submitted 30 June, 2017; v1 submitted 29 May, 2017;
originally announced May 2017.
-
Vortex sheets and diffeomorphism groupoids
Authors:
Anton Izosimov,
Boris Khesin
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 1 September, 2018; v1 submitted 3 May, 2017;
originally announced May 2017.
-
Classification of Casimirs in 2D hydrodynamics
Authors:
Anton Izosimov,
Boris Khesin
Abstract:
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.
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.
△ Less
Submitted 12 March, 2017; v1 submitted 6 February, 2017;
originally announced February 2017.
-
Characterization of steady solutions to the 2D Euler equation
Authors:
Anton Izosimov,
Boris Khesin
Abstract:
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…
▽ More
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.
△ Less
Submitted 17 November, 2015;
originally announced November 2015.
-
Coadjoint orbits of symplectic diffeomorphisms of surfaces and ideal hydrodynamics
Authors:
Anton Izosimov,
Boris Khesin,
Mehdi Mousavi
Abstract:
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 int…
▽ More
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.
△ Less
Submitted 28 March, 2016; v1 submitted 21 April, 2015;
originally announced April 2015.
-
Non-integrability vs. integrability in pentagram maps
Authors:
Boris Khesin,
Fedor Soloviev
Abstract:
We revisit recent results on integrable cases for higher-dimensional generalizations of the 2D pentagram map: short-diagonal, dented, deep-dented, and corrugated versions, and define a universal class of pentagram maps, which are proved to possess projective duality. We show that in many cases the pentagram map cannot be included into integrable flows as a time-one map, and discuss how the corresp…
▽ More
We revisit recent results on integrable cases for higher-dimensional generalizations of the 2D pentagram map: short-diagonal, dented, deep-dented, and corrugated versions, and define a universal class of pentagram maps, which are proved to possess projective duality. We show that in many cases the pentagram map cannot be included into integrable flows as a time-one map, and discuss how the corresponding notion of discrete integrability can be extended to include jumps between invariant tori. We also present a numerical evidence that certain generalizations of the integrable 2D pentagram map are non-integrable and present a conjecture for a necessary condition of their discrete integrability.
△ Less
Submitted 24 April, 2014;
originally announced April 2014.
-
KAM theory and the 3D Euler equation
Authors:
Boris Khesin,
Sergei Kuksin,
Daniel Peralta-Salas
Abstract:
We prove that the dynamical system defined by the hydrodynamical Euler equation on any closed Riemannian 3-manifold $M$ is not mixing in the $C^k$ topology ($k > 4$ and non-integer) for any prescribed value of helicity and sufficiently large values of energy. This can be regarded as a 3D version of Nadirashvili's and Shnirelman's theorems showing the existence of wandering solutions for the 2D Eul…
▽ More
We prove that the dynamical system defined by the hydrodynamical Euler equation on any closed Riemannian 3-manifold $M$ is not mixing in the $C^k$ topology ($k > 4$ and non-integer) for any prescribed value of helicity and sufficiently large values of energy. This can be regarded as a 3D version of Nadirashvili's and Shnirelman's theorems showing the existence of wandering solutions for the 2D Euler equation. Moreover, we obtain an obstruction for the mixing under the Euler flow of $C^k$-neighborhoods of divergence-free vectorfields on $M$. On the way we construct a family of functionals on the space of divergence-free $C^1$ vectorfields on the manifold, which are integrals of motion of the 3D Euler equation. Given a vectorfield these functionals measure the part of the manifold foliated by ergodic invariant tori of fixed isotopy types. We use the KAM theory to establish some continuity properties of these functionals in the $C^k$-topology. This allows one to get a lower bound for the $C^k$-distance between a divergence-free vectorfield (in particular, a steady solution) and a trajectory of the Euler flow.
△ Less
Submitted 22 July, 2014; v1 submitted 21 January, 2014;
originally announced January 2014.
-
The geometry of dented pentagram maps
Authors:
Boris Khesin,
Fedor Soloviev
Abstract:
We propose a new family of natural generalizations of the pentagram map from 2D to higher dimensions and prove their integrability on generic twisted and closed polygons. In dimension $d$ there are $d-1$ such generalizations called dented pentagram maps, and we describe their geometry, continuous limit, and Lax representations with a spectral parameter. We prove algebraic-geometric integrability o…
▽ More
We propose a new family of natural generalizations of the pentagram map from 2D to higher dimensions and prove their integrability on generic twisted and closed polygons. In dimension $d$ there are $d-1$ such generalizations called dented pentagram maps, and we describe their geometry, continuous limit, and Lax representations with a spectral parameter. We prove algebraic-geometric integrability of the dented pentagram maps in the 3D case and compare the dimensions of invariant tori for the dented maps with those for the higher pentagram maps constructed with the help of short diagonal hyperplanes. When restricted to corrugated polygons, the dented pentagram maps coincide between themselves and with the corresponding corrugated pentagram map. Finally, we prove integrability for a variety of pentagram maps for generic and partially corrugated polygons in higher dimensions.
△ Less
Submitted 7 December, 2014; v1 submitted 24 August, 2013;
originally announced August 2013.
-
The Euler and Navier-Stokes equations on the hyperbolic plane
Authors:
Boris Khesin,
Gerard Misiolek
Abstract:
We show that non-uniqueness of the Leray-Hopf solutions of the Navier--Stokes equation on the hyperbolic plane observed in arXiv:1006.2819 is a consequence of the Hodge decomposition. We show that this phenomenon does not occur on the hyperbolic spaces of higher dimension. We also describe the corresponding general Hamiltonian setting of hydrodynamics on complete Riemannian manifolds, which includ…
▽ More
We show that non-uniqueness of the Leray-Hopf solutions of the Navier--Stokes equation on the hyperbolic plane observed in arXiv:1006.2819 is a consequence of the Hodge decomposition. We show that this phenomenon does not occur on the hyperbolic spaces of higher dimension. We also describe the corresponding general Hamiltonian setting of hydrodynamics on complete Riemannian manifolds, which includes the hyperbolic setting.
△ Less
Submitted 23 May, 2012;
originally announced May 2012.
-
The Pentagram map in higher dimensions and KdV flows
Authors:
Boris Khesin,
Fedor Soloviev
Abstract:
We extend the definition of the pentagram map from 2D to higher dimensions and describe its integrability properties for both closed and twisted polygons by presenting its Lax form. The corresponding continuous limit of the pentagram map in dimension $d$ is shown to be the $(2,d+1)$-flow of the KdV hierarchy, generalizing the Boussinesq equation in 2D.
We extend the definition of the pentagram map from 2D to higher dimensions and describe its integrability properties for both closed and twisted polygons by presenting its Lax form. The corresponding continuous limit of the pentagram map in dimension $d$ is shown to be the $(2,d+1)$-flow of the KdV hierarchy, generalizing the Boussinesq equation in 2D.
△ Less
Submitted 16 May, 2012;
originally announced May 2012.
-
Integrability of higher pentagram maps
Authors:
Boris Khesin,
Fedor Soloviev
Abstract:
We define higher pentagram maps on polygons in $P^d$ for any dimension $d$, which extend R.Schwartz's definition of the 2D pentagram map. We prove their integrability by presenting Lax representations with a spectral parameter for scale invariant maps. The corresponding continuous limit of the pentagram map in dimension $d$ is shown to be the $(2,d+1)$-equation of the KdV hierarchy, generalizing t…
▽ More
We define higher pentagram maps on polygons in $P^d$ for any dimension $d$, which extend R.Schwartz's definition of the 2D pentagram map. We prove their integrability by presenting Lax representations with a spectral parameter for scale invariant maps. The corresponding continuous limit of the pentagram map in dimension $d$ is shown to be the $(2,d+1)$-equation of the KdV hierarchy, generalizing the Boussinesq equation in 2D. We also study in detail the 3D case, where we prove integrability for both closed and twisted polygons and describe the spectral curve, first integrals, the corresponding tori and the motion along them, as well as an invariant symplectic structure.
△ Less
Submitted 18 March, 2013; v1 submitted 3 April, 2012;
originally announced April 2012.
-
Symplectic structures and dynamics on vortex membranes
Authors:
Boris Khesin
Abstract:
We present a Hamiltonian framework for higher-dimensional vortex filaments (or membranes) and vortex sheets as singular 2-forms with support of codimensions 2 and 1, respectively, i.e. singular elements of the dual to the Lie algebra of divergence-free vector fields. It turns out that the localized induction approximation (LIA) of the hydrodynamical Euler equation describes the skew-mean-curvature…
▽ More
We present a Hamiltonian framework for higher-dimensional vortex filaments (or membranes) and vortex sheets as singular 2-forms with support of codimensions 2 and 1, respectively, i.e. singular elements of the dual to the Lie algebra of divergence-free vector fields. It turns out that the localized induction approximation (LIA) of the hydrodynamical Euler equation describes the skew-mean-curvature flow on vortex membranes of codimension 2 in any dimension, which generalizes the classical binormal, or vortex filament, equation in 3D. This framework also allows one to define the symplectic structures on the spaces of vortex sheets, which interpolate between the corresponding structures on vortex filaments and smooth vorticities.
△ Less
Submitted 27 January, 2012;
originally announced January 2012.
-
Curvatures of Sobolev metrics on diffeomorphism groups
Authors:
Boris Khesin,
Jonatan Lenells,
Gerard Misiolek,
Stephen C. Preston
Abstract:
Many conservative partial differential equations correspond to geodesic equations on groups of diffeomorphisms. Stability of their solutions can be studied by examining sectional curvature of these groups: negative curvature in all sections implies exponential growth of perturbations and hence suggests instability, while positive curvature suggests stability. In the first part of the paper we surv…
▽ More
Many conservative partial differential equations correspond to geodesic equations on groups of diffeomorphisms. Stability of their solutions can be studied by examining sectional curvature of these groups: negative curvature in all sections implies exponential growth of perturbations and hence suggests instability, while positive curvature suggests stability. In the first part of the paper we survey what we currently know about the curvature-stability relation in this context and provide detailed calculations for several equations of continuum mechanics associated to Sobolev $H^0$ and $H^1$ energies. In the second part we prove that in most cases (with some notable exceptions) the sectional curvature assumes both signs.
△ Less
Submitted 9 September, 2011; v1 submitted 8 September, 2011;
originally announced September 2011.
-
Discrete spherical means of directional derivatives and Veronese maps
Authors:
Alexander Belyaev,
Boris Khesin,
Serge Tabachnikov
Abstract:
We describe and study geometric properties of discrete circular and spherical means of directional derivatives of functions, as well as discrete approximations of higher order differential operators. For an arbitrary dimension we present a general construction for obtaining discrete spherical means of directional derivatives. The construction is based on using the Minkowski's existence theorem and…
▽ More
We describe and study geometric properties of discrete circular and spherical means of directional derivatives of functions, as well as discrete approximations of higher order differential operators. For an arbitrary dimension we present a general construction for obtaining discrete spherical means of directional derivatives. The construction is based on using the Minkowski's existence theorem and Veronese maps. Approximating the directional derivatives by appropriate finite differences allows one to obtain finite difference operators with good rotation invariance properties. In particular, we use discrete circular and spherical means to derive discrete approximations of various linear and nonlinear first- and second-order differential operators, including discrete Laplacians. A practical potential of our approach is demonstrated by considering applications to nonlinear filtering of digital images and surface curvature estimation.
△ Less
Submitted 2 May, 2012; v1 submitted 18 June, 2011;
originally announced June 2011.
-
Dynamics of symplectic fluids and point vortices
Authors:
Boris Khesin
Abstract:
We present the Hamiltonian formalism for the Euler equation of symplectic fluids, introduce symplectic vorticity, and study related invariants. In particular, this allows one to extend D.Ebin's long-time existence result for geodesics on the symplectomorphism group to metrics not necessarily compatible with the symplectic structure. We also study the dynamics of symplectic point vortices, describe…
▽ More
We present the Hamiltonian formalism for the Euler equation of symplectic fluids, introduce symplectic vorticity, and study related invariants. In particular, this allows one to extend D.Ebin's long-time existence result for geodesics on the symplectomorphism group to metrics not necessarily compatible with the symplectic structure. We also study the dynamics of symplectic point vortices, describe their symmetry groups and integrability.
△ Less
Submitted 8 June, 2011;
originally announced June 2011.
-
Geometry of diffeomorphism groups, complete integrability and optimal transport
Authors:
Boris Khesin,
Jonatan Lenells,
Gerard Misiolek,
Stephen C. Preston
Abstract:
We study the geometry of the space of densities $\VolM$, which is the quotient space $\Diff(M)/\Diff_μ(M)$ of the diffeomorphism group of a compact manifold $M$ by the subgroup of volume-preserving diffemorphisms, endowed with a right-invariant homogeneous Sobolev $\dot{H}^1$-metric. We construct an explicit isometry from this space to (a subset of) an infinite-dimensional sphere and show that the…
▽ More
We study the geometry of the space of densities $\VolM$, which is the quotient space $\Diff(M)/\Diff_μ(M)$ of the diffeomorphism group of a compact manifold $M$ by the subgroup of volume-preserving diffemorphisms, endowed with a right-invariant homogeneous Sobolev $\dot{H}^1$-metric. We construct an explicit isometry from this space to (a subset of) an infinite-dimensional sphere and show that the associated Euler-Arnold equation is a completely integrable system in any space dimension. We also prove that its smooth solutions break down in finite time.
Furthermore, we show that the $\dot{H}^1$-metric induces the Fisher-Rao (information) metric on the space of probability distributions, and thus its Riemannian distance is the spherical version of Hellinger distance. We compare it to the Wasserstein distance in optimal transport which is induced by an $L^2$-metric on $\Diff(M)$. The $\dot{H}^1$ geometry we introduce in this paper can be seen as an infinite-dimensional version of the geometric theory of statistical manifolds.
△ Less
Submitted 3 May, 2011;
originally announced May 2011.
-
Contact complete integrability
Authors:
B. Khesin,
S. Tabachnikov
Abstract:
Complete integrability in a symplectic setting means the existence of a Lagrangian foliation leaf-wise preserved by the dynamics. In the paper we describe complete integrability in a contact set-up as a more subtle structure: a flag of two foliations, Legendrian and co-Legendrian, and a holonomy-invariant transverse measure of the former in the latter. This turns out to be equivalent to the exis…
▽ More
Complete integrability in a symplectic setting means the existence of a Lagrangian foliation leaf-wise preserved by the dynamics. In the paper we describe complete integrability in a contact set-up as a more subtle structure: a flag of two foliations, Legendrian and co-Legendrian, and a holonomy-invariant transverse measure of the former in the latter. This turns out to be equivalent to the existence of a canonical $\R\ltimes \R^{n-1}$ structure on the leaves of the co-Legendrian foliation. Further, the above structure implies the existence of $n$ contact fields preserving a special contact 1-form, thus providing the geometric framework and establishing equivalence with previously known definitions of contact integrability. We also show that contact completely integrable systems are solvable in quadratures. We present an example of contact complete integrability: the billiard system inside an ellipsoid in pseudo-Euclidean space, restricted to the space of oriented null geodesics. We describe a surprising acceleration mechanism for closed light-like billiard trajectories.
△ Less
Submitted 2 October, 2009;
originally announced October 2009.
-
Generalized Hunter-Saxton equation and the geometry of the group of circle diffeomorphisms
Authors:
Boris Khesin,
Jonatan Lenells,
Gerard Misiolek
Abstract:
We study an equation lying `mid-way' between the periodic Hunter-Saxton and Camassa-Holm equations, and which describes evolution of rotators in liquid crystals with external magnetic field and self-interaction. We prove that it is an Euler equation on the diffeomorphism group of the circle corresponding to a natural right-invariant Sobolev metric. We show that the equation is bihamiltonian and…
▽ More
We study an equation lying `mid-way' between the periodic Hunter-Saxton and Camassa-Holm equations, and which describes evolution of rotators in liquid crystals with external magnetic field and self-interaction. We prove that it is an Euler equation on the diffeomorphism group of the circle corresponding to a natural right-invariant Sobolev metric. We show that the equation is bihamiltonian and admits both cusped, as well as smooth, traveling-wave solutions which are natural candidates for solitons. We also prove that it is locally well-posed and establish results on the lifespan of its solutions. Throughout the paper we argue that despite similarities to the KdV, CH and HS equations, the new equation manifests several distinctive features that set it apart from the other three.
△ Less
Submitted 21 April, 2008; v1 submitted 20 March, 2008;
originally announced March 2008.
-
Poisson geometry and first integrals of geostrophic equations
Authors:
Boris Khesin,
Paul Lee
Abstract:
We describe first integrals of geostrophic equations, which are similar to the enstrophy invariants of the Euler equation for an ideal incompressible fluid. We explain the geometry behind this similarity, give several equivalent definitions of the Poisson structure on the space of smooth densities on a symplectic manifold, and show how it can be obtained via the Hamiltonian reduction from a symp…
▽ More
We describe first integrals of geostrophic equations, which are similar to the enstrophy invariants of the Euler equation for an ideal incompressible fluid. We explain the geometry behind this similarity, give several equivalent definitions of the Poisson structure on the space of smooth densities on a symplectic manifold, and show how it can be obtained via the Hamiltonian reduction from a symplectic structure on the diffeomorphism group.
△ Less
Submitted 29 February, 2008;
originally announced February 2008.
-
A nonholonomic Moser theorem and optimal transport
Authors:
Boris Khesin,
Paul Lee
Abstract:
We prove the following nonholonomic version of the classical Moser theorem: given a bracket-generating distribution on a connected compact manifold (possibly with boundary), two volume forms of equal total volume can be isotoped by the flow of a vector field tangent to this distribution. We describe formal solutions of the corresponding nonholonomic mass transport problem and present the Hamilto…
▽ More
We prove the following nonholonomic version of the classical Moser theorem: given a bracket-generating distribution on a connected compact manifold (possibly with boundary), two volume forms of equal total volume can be isotoped by the flow of a vector field tangent to this distribution. We describe formal solutions of the corresponding nonholonomic mass transport problem and present the Hamiltonian framework for both the Otto calculus and its nonholonomic counterpart as infinite-dimensional Hamiltonian reductions on diffeomorphism groups.
Finally, we define a nonholonomic analog of the Wasserstein (or, Kantorovich) metric on the space of densities and prove that the subriemannian heat equation defines a gradient flow on the nonholonomic Wasserstein space with the potential given by the Boltzmann relative entropy functional.
△ Less
Submitted 12 March, 2008; v1 submitted 11 February, 2008;
originally announced February 2008.
-
Geodesics on an ellipsoid in Minkowski space
Authors:
D. Genin,
B. Khesin,
S. Tabachnikov
Abstract:
We describe the geometry of geodesics on a Lorentz ellipsoid: give explicit formulas for the first integrals (pseudo-confocal coordinates), curvature, geodesically equivalent Riemannian metric, the invariant area-forms on the time- and space-like geodesics and invariant 1-form on the space of null geodesics. We prove a Poncelet-type theorem for null geodesics on the ellipsoid: if such a geodesic…
▽ More
We describe the geometry of geodesics on a Lorentz ellipsoid: give explicit formulas for the first integrals (pseudo-confocal coordinates), curvature, geodesically equivalent Riemannian metric, the invariant area-forms on the time- and space-like geodesics and invariant 1-form on the space of null geodesics. We prove a Poncelet-type theorem for null geodesics on the ellipsoid: if such a geodesic close up after several oscillations in the "pseudo-Riemannian belt", so do all other null geodesics on this ellipsoid.
△ Less
Submitted 1 May, 2007;
originally announced May 2007.
-
Shock waves for the Burgers equation and curvatures of diffeomorphism groups
Authors:
Boris Khesin,
Gerard Misiolek
Abstract:
We establish a simple relation between curvatures of the group of volume-preserving diffeomorphisms and the lifespan of potential solutions to the inviscid Burgers equation before the appearance of shocks. We show that shock formation corresponds to a focal point of the group of volume-preserving diffeomorphisms regarded as a submanifold of the full diffeomorphism group and, consequently, to a c…
▽ More
We establish a simple relation between curvatures of the group of volume-preserving diffeomorphisms and the lifespan of potential solutions to the inviscid Burgers equation before the appearance of shocks. We show that shock formation corresponds to a focal point of the group of volume-preserving diffeomorphisms regarded as a submanifold of the full diffeomorphism group and, consequently, to a conjugate point along a geodesic in the Wasserstein space of densities. This establishes an intrinsic connection between ideal Euler hydrodynamics (via Arnold's approach), shock formation in the multidimensional Burgers equation and the Wasserstein geometry of the space of densities.
△ Less
Submitted 7 February, 2007;
originally announced February 2007.
-
Pseudo-Riemannian geodesics and billiards
Authors:
B. Khesin,
S. Tabachnikov
Abstract:
Many classical facts in Riemannian geometry have their pseudo-Riemannian analogs. For instance, the spaces of space-like and time-like geodesics on a pseudo-Riemannian manifold have natural symplectic structures (just like in the Riemannian case), while the space of light-like geodesics has a natural contact structure. We discuss the geometry of these structures in detail, as well as introduce a…
▽ More
Many classical facts in Riemannian geometry have their pseudo-Riemannian analogs. For instance, the spaces of space-like and time-like geodesics on a pseudo-Riemannian manifold have natural symplectic structures (just like in the Riemannian case), while the space of light-like geodesics has a natural contact structure. We discuss the geometry of these structures in detail, as well as introduce and study pseudo-Euclidean billiards. In particular, we prove pseudo-Euclidean analogs of the Jacobi-Chasles theorems and show the integrability of the billiard in the ellipsoid and the geodesic flow on the ellipsoid in a pseudo-Euclidean space.
△ Less
Submitted 23 February, 2009; v1 submitted 24 August, 2006;
originally announced August 2006.
