Stability for some extremal properties of the simplex (Q5962046)

A stability version of a geometric inequality with known equality cases is an estimate of the deviation from the extremal case if the equality is only satisfied up to some given error. There are many geometric inequalities which attain their extremal values at the simplices; up to now only in a few of these cases the corresponding stability results are known. This paper provides some interesting new results in this direction. The author considers an \(n\)-dimensional Minkowski space \(X\) (\(n\geq 2\)) with norm \(\|\cdot\|\). Referring to this norm he denotes by \(D, d, R, r\) respectively the diameter, minimal width, circumradius and inradius as functions of the space \(\mathcal K\) of convex bodies of \(X\). The sharp inequalities \[ \frac RD\, \leq\, \frac n{n+1} \tag{1.1} \] and \[ \frac dr\, \leq\, n+1 \tag{1.2} \] are Minkowski space analogues of the classical Euclidean results. The quantities \(D,d,R,r\) appearing here can be expressed in terms of a single function of two convex bodies: \[ \rho(K,L):= \min \{ \lambda >0: \exists x\in X : K+x\subset \lambda L \}. \] Then if \(B\) denotes the unit ball in \(X\) and \(K^*\) the Minkowski symmetral (half the difference body of \(K\)): \(D=2\rho(K^*,B)\), \(d=\frac 2{\rho(B,K^*)}\), \(R=\rho(K,B)\) and \(r=\frac 1{\rho(B,K)}\). The author expresses inequalities (1.1) and (1.2) in terms of covering by homothetic copies, and using the extended Banach-Mazur distance to measure the deviation from the simplex he proves stability results for both of them. He also obtains a stability result for the inequality \[ \frac {\rho(K,L)}{\rho(K^*,L^*)}\leq n, \] where \(K,L\) are arbitrary (not necessarily symmetric) convex bodies.