Local minimality of the ball for the Gaussian perimeter
type: Item
instance of: scholarly article
title: Local minimality of the ball for the Gaussian perimeter
zbMATH Open document ID: 1416.49052
author: Domenico Angelo La Manna
publication date: 2019-04-24T00:00:00Z
review text: If $E\subset\mathbb R^n$, then the Gaussian measure is defined as $\gamma(E)=\frac{1}{(2\pi)^{\frac{\pi}{2}}}\int\limits_Ee^{-\frac{|x|^2}2}dx$. Since $\gamma(\mathbb R^n)=1$, the Gauss space $(\mathbb R^n,\gamma)$ is a probability space. For a smooth set $E$, the Gaussian perimeter $P_\gamma(E)$ is defined as $P(E)=\frac{1}{(2\pi)^{\frac{\pi}{2}}}\int\limits_{\partial E}e^{-\frac{|x|^2}2}d \mathcal{H}^{n-1}(x)$. The isoperimetric inequality in Gaussian space states that among all subsets of $R^{n}$ with prescribed Gaussian measure halfspaces have the least Gaussian perimeter, that is, for $s\in\mathbb R$ and the set $H_s=\{x;\ x_n<s\}\subset\mathbb R^n$, the inequality $P_\gamma(E)\ge P_\gamma(H_s)$ holds for all Borel subsets $E\subset\mathbb R^n$ such that $\gamma(E)=\gamma(H_s)$. \par In this paper, the author considers sets $E$ symmetric around the origin, i.e., $E=-E$. He shows that when restricted to this class, balls $B_r$ centered at the origin are local minimizers for the perimeter, at least when $r$ is not too big. The author proves that for $n\ge 2$ if $\sigma\in\left(0,\frac12\right)$, there exist $\delta$ and $\kappa$ such that if $r\in[\sigma,\sqrt{n+1}-\sigma]$, $E$ is a set of locally finite perimeter with $E=-E$, $\gamma(E)=\gamma(B_r)$, and $\gamma(E\Delta B_r)<\delta$, then $P_\gamma(E)-P_\gamma(B_r)\ge\kappa(n,\sigma)\gamma(E\Delta B_r)^2$. In the one-dimensional case, the author shows that $B_r$ is always a local minimizer of the perimeter among symmetric sets with the same Gaussian measure. Moreover, balls are the unique global minimizers for $r>r_0$, where $r_0$ is the unique positive number such that $\frac1{\sqrt{2\pi}}\int\limits_{-r_0}^{r_0}e^{-\frac{t^2}2}dt=\frac12$, while $\mathbb R\backslash B_r$ is the unique global minimizer when $0< r < r_0$.
reviewed by: Andrew Bucki
Mathematics Subject Classification ID: 49Q20
Mathematics Subject Classification ID: 60E15
zbMATH DE Number: 7047652
zbMATH Keywords: Gauss space
zbMATH Keywords: isoperimetric inequality
zbMATH Keywords: symmetric sets
MaRDI profile type: Publication
full work available at URL: acv-2017-0007
OpenAlex ID: W2735614882
cites work: Minimality via second variation for a nonlocal isoperimetric problem
cites work: Q4954179
cites work: Sharp dimension free quantitative estimates for the Gaussian isoperimetric inequality
cites work: AN ISOPERIMETRIC RESULT FOR THE GAUSSIAN MEASURE AND UNCONDITIONAL SETS
cites work: A sharp quantitative isoperimetric inequality in higher codimension
cites work: A quantitative isoperimetric inequality on the sphere
cites work: The Brunn-Minkowski inequality in Gauss space
cites work: Faber-Krahn inequalities in sharp quantitative form
cites work: On the cases of equality in Bobkov's inequality and Gaussian rearrangement
cites work: An Optimal Lower Bound on the Communication Complexity of Gap-Hamming-Distance
cites work: On the isoperimetric deficit in Gauss space
cites work: A selection principle for the sharp quantitative isoperimetric inequality
cites work: A two-sided estimate for the Gaussian noise stability deficit
cites work: The quantitative isoperimetric inequality and related topics
cites work: A strong form of the quantitative isoperimetric inequality
cites work: The sharp quantitative isoperimetric inequality
cites work: Sets of finite perimeter and geometric variational problems. An introduction to geometric measure theory
cites work: Robust dimension free isoperimetry in Gaussian space
cites work: Noise stability of functions with low influences: invariance and optimality
cites work: Analysis of Boolean Functions
cites work: Q4120793
cites work: Q3577809
DOI: 10.1515/ACV-2017-0007
published in: Advances in the Calculus of Variations
description: scientific article; zbMATH DE number 7047652