Convex Cylinders and the Symmetric Gaussian Isoperimetric Problem
Abstract
Let $\Omega$ be a measurable Euclidean set in $\mathbb{R}^{n}$ that is symmetric, i.e. $\Omega=-\Omega$, such that $\Omega\times\mathbb{R}$ has the smallest Gaussian surface area among all measurable symmetric sets of fixed Gaussian volume. We conclude that either $\Omega$ or $\Omega^{c}$ is convex. Moreover, except for the case $H(x)=\langle x,N(x)\rangle+\lambda$ with $H\geq0$ and $\lambda<0$, we show there exist a radius $r>0$ and an integer $0\leq k\leq n-1$ such that after applying a rotation, the boundary of $\Omega$ must satisfy $\partial\Omega= rS^{k}\times\mathbb{R}^{n-k-1}$, with $\sqrt{n-1}\leq r\leq\sqrt{n+1}$ when $k\geq1$. Here $S^{k}$ denotes the unit sphere of $\mathbb{R}^{k+1}$ centered at the origin, and $n\geq1$ is an integer. One might say this result nearly resolves the symmetric Gaussian conjecture of Barthe from 2001.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2022
- DOI:
- 10.48550/arXiv.2204.12003
- arXiv:
- arXiv:2204.12003
- Bibcode:
- 2022arXiv220412003H
- Keywords:
-
- Mathematics - Probability;
- Mathematics - Differential Geometry;
- Mathematics - Functional Analysis
- E-Print:
- 26 pages, 2 figures. arXiv admin note: text overlap with arXiv:1705.06643