Submanifolds, isoperimetric inequalities and optimal transportation (Q982491): Difference between revisions

For any regular domain \(\Omega\subset\mathbb R^ n\), the classical isoperimetric inequality of the Euclidean space states that \(n\omega_ n^{1/n}\text{Vol}(\Omega)^{(n-1)/n}\leq \text{vol}(\partial\Omega)\), where \(\omega_ n\) is the volume of the unit sphere. The equality holds if and only if \(\Omega\) is a ball. There are many generalizations of this inequality to other geometries. In this paper, the author recalls the equivalence between isoperimetric and Sobolev inequalities, existence and properties of the solution of the optimal transportation problem in Euclidean space, and the differentiability properties of convex functions. Next, he describes solutions of the mass transportation problems between a measure supported in a submanifold and a measure supported in a linear space of the same dimension. Finally, by using the optimal map, it is proven that if \(i:M^ n\to\mathbb R^{n+k}\) is an isometric immersion and \(E\) is an \(n\)-dimensional linear subspace of \(\mathbb R^{n+k}\), then for any regular domain \(\Omega\subset M^ n\), \[ n\omega_ n^{1/n}\left(\int\limits_{\Omega}J_ E^{1/{n-1}}dv_ M\right)^{(n-1)/n}\leq \text{vol}(\partial\Omega)+n\int\limits_{\Omega}|H|dv_ M, \] where \(H\) is the mean curvature vector of the immersion and \(J_ H\) is the absolute value of the Jacobian determinant of the orthogonal projection from \(M\) to \(E\). When \(\Omega\) is a geodesic ball in \(E\), then we have the equality.