Calculus of Variations and Geometric Measure Theory

H. Lavenant

Harmonic mappings valued in the Wasserstein space

created by lavenant on 25 Oct 2017
modified on 10 May 2019

[BibTeX]

Accepted Paper

Inserted: 25 oct 2017
Last Updated: 10 may 2019

Journal: Journal of Functional Analysis
Year: 2017
Notes:

In the first version of this article, some proofs about the equivalence between the different definitions of the Dirichlet energy were incorrect. This is fixed now.


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 \to (\mathcal{P}(D), W_2)$ defined over a subset $\Omega$ of $\mathbb{R}^p$ and valued in the space $\mathcal{P}(D)$ of probability measures on a compact convex subset $D$ of $\mathbb{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 Korevaar, 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 $\partial \Omega$ are fixed. The notion of constant-speed geodesics in the Wasserstein space is recovered by taking for $\Omega$ a segment of $\mathbb{R}$. As the Wasserstein space $(\mathcal{P}(D), W_2)$ is positively curved in the sense of Alexandrov we cannot apply the theory of Korevaar, 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 $\partial \Omega$, uniqueness is an open question.

If $\Omega$ is a segment of $\mathbb{R}$, it is known that a curve valued in the Wasserstein space $\mathcal{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 \to \mathcal{P}(D)$ cannot be represented as the superposition of mappings $\Omega \to D$.

We are able to show the validity of a maximum principle: the composition $F \circ \mu$ of a function $F : \mathcal{P}(D) \to \mathbb{R}$ convex along generalized geodesics and a harmonic mapping $\mu : \Omega \to \mathcal{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 $(\mathcal{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.


Download: