Optimal Transport and Ricci curvature: Difference between revisions
No edit summary |
No edit summary |
||
Line 10: | Line 10: | ||
for some <math> \psi</math> (see <ref name=Figalli />for more details of this). | for some <math> \psi</math> (see <ref name=Figalli />for more details of this). | ||
To conclude the introductory part of this article, let us also mention that these kind of transport maps, turned out to be useful in the area of geometric analysis. In fact, Simon Brendle could prove a Sobolev inequality on non compact Riemannian manifolds with nonnegative Ricci curvature, the proof of which makes use of defining a map which is of the type <math> T(x)=\exp_x(\nabla u(x))</math> ( see proof of Theorem 1.1 in <ref name=Brendle /> | To conclude the introductory part of this article, let us also mention that these kind of transport maps, turned out to be useful in the area of geometric analysis. In fact, Simon Brendle could prove a Sobolev inequality on non compact Riemannian manifolds with nonnegative Ricci curvature, the proof of which makes use of defining a map which is of the type <math> T(x)=\exp_x(\nabla u(x))</math> ( see proof of Theorem 1.1 in <ref name=Brendle /> for more details). | ||
==Curvature and Optimal Transport== | |||
==References== | ==References== |
Revision as of 18:14, 14 February 2022
Introduction and Motivation
This article provides a brief introduction into a connection of optimal transport and the curvature tensor of a Riemannian manifold. In fact, we are going to study the transport map where denotes a vector field on the manifold
These kind of maps appear very naturally in the context of optimal transport. Recall that in optimal transport one is particularly interested in the Monge Problem, being the following optimization problem: Let be a compact and connected Riemannian manifold. Let furthermore, denote two probability measures on which are absolutely continuous with respect to the measure on the manifold, induced by the metric. the Monge Problem is then given by
where the infimum is taken among all measurable maps and denotes the Metric on induced by Then the Monge Problem admits a unique solution Moreover, in that case
for some (see [1]for more details of this).
To conclude the introductory part of this article, let us also mention that these kind of transport maps, turned out to be useful in the area of geometric analysis. In fact, Simon Brendle could prove a Sobolev inequality on non compact Riemannian manifolds with nonnegative Ricci curvature, the proof of which makes use of defining a map which is of the type ( see proof of Theorem 1.1 in [2] for more details).