Harmonic mappings valued in the Wasserstein space

Hugo Lavenant

Home/Archive/arXiv

arXiv · 1712.07528

Harmonic mappings valued in the Wasserstein space

Hugo Lavenant

View original source ↗Read source document ↗Export metadata ↓

Abstract

We propose a definition of the Dirichlet energy (which is roughly speaking the integral of the square of the gradient) for mappings mu : Omega -> (P(D), W\_2) defined over a subset Omega of R^p and valued in the space P(D) of probability measures on a compact convex subset D of R^q endowed with the quadratic Wasserstein distance. Our definition relies on a straightforward generalization of the Benamou-Brenier formula (already introduced by Brenier) but is also equivalent to the definition of Koorevaar, Schoen and Jost as limit of approximate Dirichlet energies, and to the definition of Reshetnyak of Sobolev spaces valued in metric spaces. We study harmonic mappings, i.e. minimizers of the Dirichlet energy provided that the values on the boundary d Omega are fixed. The notion of constant-speed geodesics in the Wasserstein space is recovered by taking for Omega a segment of R. As the Wasserstein space (P(D), W\_2) is positively curved in the sense of Alexandrov we cannot apply the theory of Koorevaar, Schoen and Jost and we use instead arguments based on optimal transport. We manage to get existence of harmonic mappings provided that the boundary values are Lipschitz on d Omega, uniqueness is an open question. If Omega is a segment of R, it is known that a curve valued in the Wasserstein space P(D) can be seen as a superposition of curves valued in D. We show that it is no longer the case in higher dimensions: a generic mapping Omega -> P(D) cannot be represented as the superposition of mappings Omega -> D. We are able to show the validity of a maximum principle: the composition F(mu) of a function F : P(D) -> R convex along generalized geodesics and a harmonic mapping mu : Omega -> P(D) is a subharmonic real-valued function. We also study the special case where we restrict ourselves to a given family of elliptically contoured distributions (a finite-dimensional and geodesically convex submanifold of (P(D), W\_2) which generalizes the case of Gaussian measures) and show that it boils down to harmonic mappings valued in the Riemannian manifold of symmetric matrices endowed with the distance coming from optimal transport.

Explore related subjects

math.AP

Keep this discovery

BibTeX RIS

Hugo Lavenant. 2017-12-20. Harmonic mappings valued in the Wasserstein space. https://arxiv.org/abs/1712.07528

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Well-posedness of the two-dimensional unsteady Prandtl system in Sobolev space with degenerate critical points

This paper is devoted to the well-posedness of classical Prandtl equations in a finite order Sobolev space. For a initial data with degenerate critical points and general outflow, we obtain the local-in-time existence and uniqueness of the solution to the Prandtl equations in a Sobolev space, by introducing a new iteration scheme and linear cancelation. This result shows that Oleinik's monotonicity condition is not a necessary condition for the Prandtl equations to be well-posed in Sobolev spaces and provides evidence to demonstrate that zero shear stress does not necessarily lead to boundary layer separation in two-dimensional unsteady boundary layers.

math.AP↗

arXiv2026

Global existence and time decay for a bipolar Euler-Poisson system with one pressureless and undamped fluid

We study the Cauchy problem for a three-dimensional bipolar Euler--Poisson system in which one fluid is pressureless and undamped, while the other is subject to momentum relaxation. For sufficiently small smooth perturbations of a constant equilibrium, we prove the global existence and uniqueness of smooth solutions under an irrotationality assumption on the initial velocity of the pressureless fluid, together with algebraic time-decay estimates. The main difficulty is that the velocity of the pressureless fluid is dissipated only indirectly through the Poisson coupling, and this mechanism degenerates strongly at high frequencies, leading to a regularity-loss structure. We overcome this difficulty by combining refined Green-function estimates, a low--middle--high frequency decomposition, and high-order nonlinear energy estimates adapted to the asymmetric regularity hierarchy. The result establishes a global small-data theory for this asymmetric regime, in which pressure and damping are simultaneously absent from the same fluid.

math.AP↗

arXiv2026

Boundary layer of 2D Chemotaxis Navier-Stokes equations with logarithmic Sensitivity. II. viscous vanishing limit

This is the second part of a two-part work concerning boundary layer solutions to the coupled Chemotaxis-Navier-Stokes system in the two-dimensional half-space. In the present work, we address the convergence of boundary layer solutions to singular chemotaxis-fluid equations under slip boundary conditions with respect to the chemical diffusion-viscosity parameter $\varepsilon$ in the two-dimensional half-plane. More precisely, we show that the boundary layer for $\varepsilon>0$ (viscous convection coefficient) converges to the superposition of the outer layer (solution with $\varepsilon=0$) and the inner layer as $\varepsilon\rightarrow0$. The outer and inner profiles are explicitly derived as in the first part\cite{WWZ}. Furthermore, the well-posedness results of the coupled Chemotaxis-Navier-Stokes system in conormal Sobolev spaces will be presented in Appendix. They answer the question mentioned in the first part of the two-part work. This study could help the understanding of the chemotactic movement of aerobic bacteria to the water-air surface observed experimentally in fluids, and enrich the theoretical results of boundary layer in chemotactic fluid models.

math.AP↗