On the measure of intersection of cylinders (Q1961345)

The author calls two linear subspaces \(M\), \(N\) which together span \(\mathbb{R}^d\) orthogonal if the subspaces \(M\cap (M\cap N)^\perp\) and \(N\cap (M\cap N)^\perp\) are orthogonal in the usual sense. A cylinder in \(\mathbb{R}^d\) is a set of the form \(\Omega\times E\), with \(E\) a linear subspace and \(\Omega\) (its base) a centrally symmetric convex body in \(E^\perp\); it is a rounded cylinder if \(\Omega= rD\), with \(D\) the unit ball in \(E^\perp\). Let \(\mu\) be a nonnegative rotation invariant measure on \(\mathbb{R}^d\). Here, the author proves that the minimal \(\mu\)-measure of the intersection of two cylinders, one rounded and rotated against the other, is attained just when the spans of their bases are orthogonal. An analogous result is shown for the corresponding intersection of three or more rounded cylinders.