The Brunn-Minkowski inequality for the first eigenvalue of the Ornstein-Uhlenbeck operator and log-concavity of the relevant eigenfunction
arXiv:2407.21354
Abstract
We prove that the first (nontrivial) Dirichlet eigenvalue of the Ornstein-Uhlenbeck operator as a function of the domain, is convex with respect to the Minkowski addition, and we characterize the equality cases in some classes of convex sets. We also prove that the corresponding (positive) eigenfunction is log-concave if the domain is convex.