A functional form of the isoperimetric inequality for the Gaussian measure

Abstract Letgbe a smooth function on R nwith values in [0, 1]. Using the isoperimetric property of the Gaussian measure, itis proved thatφ(Φ−1(Eg))−Eφ(Φ−1(g))⩽E|∇g|. Conversely, this inequality implies the isoperimetric property of the Gaussian measure.