Harmonic mappings valued in the Wasserstein space

DOI10.1016/J.JFA.2019.05.003MaRDI QIDQ2420443zbMATH OpenOpenAlexWikidataFDO

Authors Hugo Lavenant

Publication date 6 June 2019

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1712.07528

zbMATH Keywords

Dirichlet problemharmonic mapsWasserstein space

Mathematics Subject Classification ID

Harmonic, subharmonic, superharmonic functions on other spaces (31C05)

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.

Recommendations

• Wasserstein space over the Wiener space
• Transport via mass transportation
• Barycenters in the Wasserstein space
• Shape recognition via Wasserstein distance
• Gradient flows on Wasserstein spaces over compact Alexandrov spaces

Cites work

• Q-valued functions revisited
• A computational fluid mechanics solution to the Monge-Kantorovich mass transfer problem
• A Family of Nonlinear Fourth Order Equations of Gradient Flow Type
• A mapping of Riemannian manifolds which preserves harmonic functions
• A regularity theory for harmonic maps
• A semigroup approach to harmonic maps
• Barycenters in the Wasserstein space
• Boundary regularity and the Dirichlet problem for harmonic maps
• Equilibrium maps between metric spaces
• Extending Lipschitz and Hölder maps between metric spaces
• Gradient flows in metric spaces and in the space of probability measures
• Harmonic Mappings of Riemannian Manifolds
• Harmonic maps
• scientific article; zbMATH DE number 410743 (Why is no real title available?)
• scientific article; zbMATH DE number 1984439 (Why is no real title available?)
• scientific article; zbMATH DE number 2024202 (Why is no real title available?)
• scientific article; zbMATH DE number 1528183 (Why is no real title available?)
• scientific article; zbMATH DE number 2158915 (Why is no real title available?)
• scientific article; zbMATH DE number 1909499 (Why is no real title available?)
• scientific article; zbMATH DE number 1446717 (Why is no real title available?)
• scientific article; zbMATH DE number 2239541 (Why is no real title available?)
• Infinite dimensional analysis. A hitchhiker's guide.
• Kirszbraun's theorem and metric spaces of bounded curvature
• On a Formula for the L2 Wasserstein Metric between Measures on Euclidean and Hilbert Spaces
• ON THE DEFINITIONS OF SOBOLEV AND BV SPACES INTO SINGULAR SPACES AND THE TRACE PROBLEM
• Optimal transport for applied mathematicians. Calculus of variations, PDEs, and modeling
• Riemannian geometry and geometric analysis
• Sobolev spaces and harmonic maps for metric space targets
• Sobolev-type classes of functions with values in a metric space
• The Frechet distance between multivariate normal distributions
• Wasserstein barycenters over Riemannian manifolds
• Wasserstein geometry of Gaussian measures

Cited in

(7)

• A variational interpretation of general relativity in a vacuum in terms of optimal transport
• Lifting methods for manifold-valued variational problems
• Gradient flows on Wasserstein spaces over compact Alexandrov spaces
• Hidden convexity in a problem of nonlinear elasticity
• Convex functions defined on metric spaces are pulled back to subharmonic ones by harmonic maps
• Applications of optimal transportation. Abstracts from the workshop held February 4--9, 2024
• The Riemannian geometry of Sinkhorn divergences

This page was built for publication: Harmonic mappings valued in the Wasserstein space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2420443)