On the general Brunn-Minkowski theorem (Q1261210)

Bekanntlich sagt der verallgemeinerte Satz von Brunn-Minkowski aus, daß das durch \[ \lambda \mapsto V(\underbrace {K_ \lambda,\dots,K_ \lambda}_ m,\;K_{m+1},\dots,K_ n)^{{1 \over m}} \] gegebene Funktional \(\Phi\) konkav ist \((K_ \lambda :=(1-\lambda) K+\lambda L\) mit \(\lambda \in [0,1]\), \(K,L,K_{m+1},\dots,K_ n=\) konvexe Körper im euklidischen Raum \(\mathbb{E}^ n)\). Nach dem Autor [`Convex bodies: The Brunn-Minkowski theory', Encycl. Math. Appl. 44, Cambr. Univ. Press (1993)] gilt: Haben hierbei \(K,L\) mindestens die Dimension \(m \geq 2\) sowie \(K_{m+1},\dots,K_ n\) lauter reguläre Randpunkte (mit eindeutigen Stützhyperebenen), so ist \(\Phi\) genau dann linear, wenn \(K\) und \(L\) homothetisch sind, d.h. wenn die normierten Körper \(\overline K:={1 \over b(K)} (K-s(K))\) und \(\overline L:={1 \over b(L)} (L-s(L))\) übereinstimmen \((b(K),b(L)=\) mittlere Breiten, \(s(K),s(L)=\) Steinerpunkte von \(K,L)\). Verf. verschärft seine Eindeutigkeitsaussage zu 3 Stabilitätsaussagen der Form \((\delta_{\alpha,\beta} (\overline K, \overline L))^ 2=O(({\varepsilon \over \lambda^ m(1-\lambda)^ m)})^ q)\) in den speziellen Fällen \(K,L \in {\mathcal K} (r,R)\), \(K_{m+1}=\cdots=K_ n=\) Einheitskugel \(B\) mit \(q=({1 \over 2})^{m-2}\); \(K \in {\mathcal K} (r,R)\), \(L=K_{m+1}=\cdots=K_ n=B\) mit \(q=1\) und \(K,L, K_{m+1},\dots,K_ n \in {\mathcal K} (r,R)\), \(K_ i=\eta_ i\)-glatt \((\eta_ i>0\), \(i=m+1,\dots,n)\) mit \(q=({1 \over 2})^{m-2}\) \(({\mathcal K} (r,R)=\) Menge aller konvexen Körper mit einem Inkugelradius \(\geq r>0\) und einem Umkugelradius \(\leq R)\). Dabei stellt \(\delta_{\alpha,\beta} (\overline K,\overline L)\) einen gewichteten ``Sobolev-Abstand'' von \(\overline K\) und \(\overline L\) dar, und die Schranke \(\varepsilon>0\) der Abweichung des Funktionals \(\Phi\) von der Linearität genügt der Bedingung \(\Phi(\lambda) \leq(1-\lambda) \Phi(0)+\lambda \Phi(1)+\varepsilon\). Die angegebenen Stabilitätsaussagen haben zum Teil ähnliche Aussagen für den Hausdorff-Abstand \(\delta(\overline K,\overline L)\) zur Folge und verbessern frühere Resultate von V. I. Diskant und H. Groemer.