Related papers: Geometry of diffeomorphism groups, complete integr…

The group of diffeomorphisms of a compact manifold endowed with the L^2 metric acting on the space of probability densities gives a unifying framework for the incompressible Euler equation and the theory of optimal mass transport. Recently,…

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 geometric approach to optimal transport and information theory has triggered the interpretation of probability densities as an infinite-dimensional Riemannian manifold. The most studied Riemannian structures are Otto's metric, yielding…

We are interested in the geometry of the group $\mathcal{D}_q(M)$ of diffeomorphisms preserving a contact form $\theta$ on a manifold $M$. We define a Riemannian metric on $\mathcal{D}_q(M)$, compute the corresponding geodesic equation, and…

This paper meticulously revisit and study the flux geometry of any compact oriented manifold $(M; W)$. We generalize several well-known factorization results, exhibit some orbital conditions for the study of flux geometry, give a proof of…

This study derives geometric, variational discretizations of continuum theories arising in fluid dynamics, magnetohydrodynamics (MHD), and the dynamics of complex fluids. A central role in these discretizations is played by the geometric…

We study the approximate controllability problem for Liouville transport equations along a mechanical Hamiltonian vector field. Such PDEs evolve inside the orbit $$\mathcal{O}(\rho_0):=\left\{\rho_0\circ \Phi\mid \Phi\in {\rm…

We determine the Riemannian manifolds for which the group of exact volume preserving diffeomorphisms is a totally geodesic subgroup of the group of volume preserving diffeomorphisms, considering right invariant $L^2$-metrics. The same is…

It is known that on a closed manifold of dimension greater than one, every smooth weak Riemannian metric on the space of smooth positive densities that is invariant under the action of the diffeomorphism group, is of the form $$…

In continuation of [3] we discuss metrics of the form $$ G^P_f(h,k)=\int_M \sum_{i=0}^p\Phi_i(\Vol(f)) \g((P_i)_fh,k) \vol(f^*\g) $$ on the space of immersions $\Imm(M,N)$ and on shape space $B_i(M,N)=\Imm(M,N)/\on{Diff}(M)$. Here $(N,\g)$…

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…

We discuss hypersurface motions in Riemannian manifolds whose normal velocity is a function of the induced hypersurface volume element and derive a second order partial differential equation for the corresponding time function $\tau(x)$ at…

The space of probability densities is an infinite-dimensional Riemannian manifold, with Riemannian metrics in two flavors: Wasserstein and Fisher--Rao. The former is pivotal in optimal mass transport (OMT), whereas the latter occurs in…

Elementary sub-Riemannian geometry on the Heisenberg group H(n) provides a compact picture of symplectic geometry. Any Hamiltonian diffeomorphism on $R^{2n}$ lifts to a volume preserving bi-Lipschitz homeomorphisms of H(n), with the use of…

For a class of Riemannian manifolds that include products of arbitrary compact manifolds with manifolds of nonpositive sectional curvature on the one hand, or with certain positive-curvature examples such as spheres of dimension at least 3…

In this paper, we give a new derivation of the incompressible Navier-Stokes equations on a compact Riemannian manifold $M$ via the Bellman dynamic programming principle on the infinite dimensional group $SG={\rm SDiff}(M)$ of volume…

Let $M$ be a compact $n$-manifold of $\operatorname{Ric}_M\ge (n-1)H$ ($H$ is a constant). We are concerned with the following space form rigidity: $M$ is isometric to a space form of constant curvature $H$ under either of the following…

Recently, Holm, Marsden, and Ratiu [1998] have derived a new model for the mean motion of an ideal fluid in Euclidean space given by the equation $\dot{V}(t) + \nabla_{U(t)} V(t) - \alpha^2 [\nabla U(t)]^t \cdot \triangle U(t) =…

The Large Deformation Diffeomorphic Metric Mapping (LDDMM) or flow of diffeomorphism is a classical framework in the field of shape spaces and is widely applied in mathematical imaging and computational anatomy. Essentially, it equips a…

Let $(M,g)$ be a Riemannian manifold with Riemannian distance $\mathsf{d}_g$, and $\mathcal{M}(M)$ be the space of all non-negative Borel measures on $M$, endowed with the Hellinger-Kantorovich distance $\mathsf{H\! K}_{\mathsf{d}_g}$…