A refined Brunn–Minkowski inequality for convex sets

Starting from a mass transportation proof of the Brunn–Minkowski inequality on convex sets, we improve the inequality showing a sharp estimate about the stability property of optimal sets. This is based on a Poincaré-type trace inequality on convex sets that is also proved in sharp form.