Inverse Additive Problems for Minkowski Sumsets II
The Brunn-Minkowski Theorem asserts that μd(A+B)1/d≥μd(A)1/d+μd(B)1/d for convex bodies A,B⊆Rd, where μd denotes the d-dimensional Lebesgue measure. It is well-known that equality holds if and only if A and B are homothetic, but few characterizations of equality in other related bounds are known. Let H be a hyperplane. Bonnesen later strengthened this bound by showing μd(A+B)≥(M1/(d−1)+N1/(d−1))d−1(Mμd(A)+Nμd(B)), where M=sup{μd−1((x+H)∩A)∣x∈Rd} and N=sup{μd−1((y+H)∩B)∣y∈Rd}. Standard compression arguments show that the above bound also holds when M=μd−1(π(A)) and N=μd−1(π(B)), where π denotes a projection of Rd onto H, which gives an alternative generalization of the Brunn-Minkowski bound. In this paper, we characterize the cases of equality in this later bound, showing that equality holds if and only if A and B are obtained from a pair of homothetic convex bodies by `stretching' along the direction of the projection, which is made formal in the paper. When d=2, we characterize the case of equality in the former bound as well.