The Library
On an isoperimetric-isodiametric inequality
Tools
Tools
Tools
Mondino, Andrea and Spadaro, Emanuele (2017) On an isoperimetric-isodiametric inequality. Analysis and PDE, 10 (1). pp. 95-126. ISSN 2157-5045.
|
PDF
WRAP-isoperimetric-isodiametric-inequality-Mondino-2017.pdf - Published Version - Requires a PDF viewer. Download (1060Kb) | Preview |
|
![[img]](https://wrap.warwick.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
on-isoperimetric-accepted.pdf - Accepted Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (426Kb) |
Official URL: https://doi.org/10.2140/apde.2017.10.95
Abstract
The Euclidean mixed isoperimetric-isodiametric inequality states that the round ball maximizes the volume under constraint on the product between boundary area and radius. The goal of the paper is to investigate such mixed isoperimetric-isodiametric inequalities in Riemannian manifolds. We first prove that the same inequality, with the sharp Euclidean constants, holds on Cartan–Hadamard spaces as well as on minimal submanifolds of Rn. The equality cases are also studied and completely characterized; in particular, the latter gives a new link with free-boundary minimal submanifolds in a Euclidean ball. We also consider the case of manifolds with nonnegative Ricci curvature and prove a new comparison result stating that metric balls in the manifold have product of boundary area and radius bounded by the Euclidean counterpart and equality holds if and only if the ball is actually Euclidean.
We then consider the problem of the existence of optimal shapes (i.e., regions minimizing the product of boundary area and radius under the constraint of having fixed enclosed volume), called here isoperimetricisodiametric regions. While it is not difficult to show existence if the ambient manifold is compact, the situation changes dramatically if the manifold is not compact: indeed we give examples of spaces where there exists no isoperimetric-isodiametric region (e.g., minimal surfaces with planar ends and more generally C0-locally asymptotic Euclidean Cartan–Hadamard manifolds), and we prove that on the other hand on C0-locally asymptotic Euclidean manifolds with nonnegative Ricci curvature there exists an isoperimetric-isodiametric region for every positive volume (this class of spaces includes a large family of metrics playing a key role in general relativity and Ricci flow: the so-called Hawking gravitational instantons and the Bryant-type Ricci solitons).
Finally we prove the optimal regularity of the boundary of isoperimetric-isodiametric regions: in the part which does not touch a minimal enclosing ball, the boundary is a smooth hypersurface outside of a closed subset of Hausdorff codimension 8, and in a neighborhood of the contact region, the boundary is a Lipschitz hypersurface with explicit estimates on the L1 norm of the mean curvature.
| Item Type: | Journal Article | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics | ||||||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Mathematics | ||||||||
| Library of Congress Subject Headings (LCSH): | Riemannian manifolds, Isoperimetric inequalities | ||||||||
| Journal or Publication Title: | Analysis and PDE | ||||||||
| Publisher: | Mathematical Sciences Publishers | ||||||||
| ISSN: | 2157-5045 | ||||||||
| Official Date: | 30 January 2017 | ||||||||
| Dates: |
|
||||||||
| Volume: | 10 | ||||||||
| Number: | 1 | ||||||||
| Page Range: | pp. 95-126 | ||||||||
| Status: | Peer Reviewed | ||||||||
| Publication Status: | Published | ||||||||
| Access rights to Published version: | Restricted or Subscription Access | ||||||||
| Date of first compliant deposit: | 25 October 2017 | ||||||||
| Date of first compliant Open Access: | 31 October 2017 | ||||||||
| RIOXX Funder/Project Grant: |
|
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
