Stable determination of convex bodies from projections (Q883120)

Let \(K\) be a \(d\)-dimensional convex body with support function \(h_K\). For any direction \(u\in {\mathbb S}^{d-1}\), define \(M'_K(u)\) to be the mean width of the orthogonal projection of \(K\) onto the hyperplane through \(o\) orthogonal to \(u\), and \(s_K(u)\) the Steiner point of this orthogonal projection. The following stability result is shown. For any \(d\geq 2\) and \(R>0\) there exists \(c(d,R)>0\) such that the following holds. For any \(\epsilon\in [0,1]\) and any \(d\)-dimensional convex bodies \(K\) and \(L\) contained in a ball with centre \(o\) and radius \(R\), if \(\| M'_K-M'_L\| _2\leq\epsilon\) and \(\| s_K-s_L\| _2\leq\epsilon\), then \(\| h_K-h_L\| _2\leq\epsilon^{2/d} c(d,R)\). Here the first and last norms are in the space \(L_2({\mathbb S}^{d-1},{\mathbb R})\) and the second norm is in \(L_2({\mathbb S}^{d-1},{\mathbb R}^d)\). In particular, if the orthogonal projections of \(K\) and \(L\) on any \((d-1)\)-dimensional subspace have the same mean width and the same Steiner point, then \(K\) and \(L\) coincide. The proof uses a stability result for the spherical Radon transform.