On an inequality of Marcel Riesz. (Q2592737): Difference between revisions

Zwischen der Distanzfunktion \(F(\mathfrak x)=F(x_1,\dots, x_n)\) und der Stützfunktion \(G(\mathfrak u)=G(u_1,\dots,u_n)\) eines konvexen Körpers bestehen die Beziehungen: \[ G(\mathfrak u)=\max_{\mathfrak x}\frac{\mathfrak {xu}}{F(\mathfrak x)},\;\;F(\mathfrak x)=\max_{\mathfrak u}\frac{\mathfrak {ux}}{G(\mathfrak u)}. \] Ist \(\varPhi (\mathfrak x)\) partiell differenzierbare Distanzfunktion eines zweiten konvexen Körpers, so kann man \(f(\mathfrak x)=\varPhi (\mathfrak x)\) \(\{G(\text{grad}\,\varPhi (\mathfrak x))\}^k\) als Bildfunktion von \(F(\mathfrak x)\) ansehen. Bestimmt man genau so zu zwei weiteren Funktionen \(G^{\ast}(\mathfrak u)\) und \(\varPhi ^{\ast}(\mathfrak x)\) die Bildfunktion \(f^{\ast}(\mathfrak x)\) von \(F^{\ast}(\mathfrak x)\), so besteht zwischen diesen Funktionen die Ungleichung: \[ \biggl\{\max_{\mathfrak x}\frac{f^{\ast}(\mathfrak x)}{f(\mathfrak x)}\biggr\}\biggl\{\max_{\mathfrak x}\frac{F^{\ast}(\mathfrak x)}{F(\mathfrak x)}\biggr\}^k\geqq \biggl\{\max_{\mathfrak x}\frac{\varPhi ^{\ast}(\mathfrak x)}{\varPhi (\mathfrak x)}\biggr\}^{1+k}. \] Diese allgemeine Ungleichung und die speziellen Eigenschaften der in der \textit{M. Riesz}schen Ungleichung (Acta Math., Djursholm, 49 (1927), 465-497; F. d. M. 53, 259 (JFM 53.0259.*)) auftretenden Distanzfunktionen werden zu einem Beweis der letzteren Ungleichung benutzt, und zwar in der Form: \[ \begin{gathered} M_{\alpha \beta }=\log\,\left(\max_{(z)}\frac{\biggl(\textstyle \sum\limits_{h=1}^{n}|\,z_h'\,|^{\tfrac{1}{\beta }}\biggr)^\beta }{\biggl(\textstyle \sum\limits_{h=1}^{n}|\,z_h\,|^{\tfrac{1}{\alpha }}\biggr)^\alpha }\right),\\ z_h=x_{2h-1}+ix_{2h},\;\;z_h'=x_{2h-1}'+ix_{2h}', x_h'=\textstyle \sum\limits_{l=1}^{2n}a_{hl}x_l,\quad h=1,\dots, 2n,\end{gathered} \] ist eine konvexe Funktion von \(\alpha \) und \(\beta \) in \(0\leqq \beta \leqq \alpha \leqq 1\).