Searcharxiv⌕ Search

arXiv subjects

Gerard Misiolek

Publications and source records attributed to Gerard Misiolek.

14 recordsLinked to original sources
arXiv2025

Singular Sets of Riemannian Exponential Maps in Hydrodynamics

We prove that the singular sets for the Lagrangian solution maps of the two-dimensional inviscid Euler and generalized surface quasi-geostrophic equations are Gaussian null sets. To achieve this we carry out a spectral analysis of an operator related to the coadjoint representation of the algebra of divergence-free vector fields on the fluid domain. In particular, we establish sharp results on the Schatten-von Neumann class to which this operator belongs. Furthermore, its failure to be compact is directly connected to the absence of Fredholm properties of the corresponding Lagrangian solution maps. We show that, for the three-dimensional Euler equations and the standard surface quasi-geostrophic equation, this failure is in fact essential.

math.DG↗
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↗
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↗
arXiv2019

Axisymmetric diffeomorphisms and ideal fluids on Riemannian 3-manifolds

We study the Riemannian geometry of 3D axisymmetric ideal fluids. We prove that the $L^2$ exponential map on the group of volume-preserving diffeomorphisms of a $3$-manifold is Fredholm along axisymmetric flows with sufficiently small swirl. Along the way, we define the notions of axisymmetric and swirl-free diffeomorphisms of any manifold with suitable symmetries and show that such diffeomorphisms form a totally geodesic submanifold of infinite $L^2$ diameter inside the space of volume-preserving diffeomorphisms whose diameter is known to be finite. As examples we derive the axisymmetric Euler equations on $3$-manifolds equipped with each of Thurston's eight model geometries.

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

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↗
arXiv2012

The Euler and Navier-Stokes equations on the hyperbolic plane

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.

math.AP↗
arXiv2011

Curvatures of Sobolev metrics on diffeomorphism groups

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.

math.AP↗
arXiv2011

Geometry of diffeomorphism groups, complete integrability and optimal transport

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.

math.DG↗
arXiv2008

Generalized Hunter-Saxton equation and the geometry of the group of circle diffeomorphisms

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.

math.DG↗
arXiv2007

Shock waves for the Burgers equation and curvatures of diffeomorphism groups

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.

math.DG↗
arXiv2005

Asymptotic directions, Monge-Ampere equations and the geometry of diffeomorphism groups

In this note we obtain the characterization for asymptotic directions on various subgroups of the diffeomorphism group. We give a simple proof of non-existence of such directions for area-preserving diffeomorphisms of closed surfaces of non-zero curvature. Finally, we exhibit the common origin of the Monge-Ampere equations in 2D fluid dynamics and mass transport.

math.DG↗