BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Boris Khesin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We discuss and draw the reader's attention to several passages in Vladimir Arnold's note on the epigraph to the novel in verse "Evgenii Onegin" by A$.$S$.$Pushkin, as well as to puzzles hidden in the novel by the poet himself.
This article is a collection of several memories for a special issue of SIGMA devoted to Dmitry Borisovich Fuchs.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.