Note on an inequality of Steiner.
In Weiterführung einer Arbeit von \textit{McShane} (Ann. math., Princeton, (2) 33 (1932), 125-138 ; JFM 58.0739.*) wird gezeigt: A) Es seien \(f = f (x, y)\) und \(g = g(x,y)\) stetig im Quadrat \(Q= (0 \leqq x\leqq 1, 0 \leqq y \leqq 1)\). Ferner sei das Lebesguesche Oberflächenmaß \(L(f)\) bzw. \(L (g)\) des Kartesischen Bildes von \(z = f(x,y)\) bzw. von \(z = g(x, y)\) endlich. Dann gilt für jedes \(\lambda\) mit \(\tfrac12\leqq \lambda \leqq 1\) die Ungleichung \[ \begin{multlined} \{\iint\limits_Q[(f_x'-g_x')^2+(f_y'-g_y')^2]^{\lambda/2}dx\,dy\}^{2/\lambda}\\ \leqq [L(f)+L(g)]^{(1+\lambda)/\lambda}\cdot \biggl[\dfrac{L(f)+L(g)}{2}-L\biggl(\dfrac{f+g}{2}\biggr)\biggr]^{(1-\lambda)/\lambda} \end{multlined} \] (Man beachte dabei: Wenn \(L(f)\) endlich ist, so existieren \(f_x'\) und \(f_y\) fast überall in \(Q\). Ferner ist die zweite eckige Klammer rechterhand niemals negativ (Steinersche Ungleichung)). -- B) Die Folge \(\{f_n(x, y)\}\) stetiger Funktionen mit endlichen \(L(f_n)\) konvergiere gleichmäßig in \(Q\) gegen \(f(x, y)\) mit endlichem \(L(f)\); ferner sei \(L(f) =\lim\limits_{n\to\infty} L(f_n)\). Für jedes \(\varrho\) mit \(0 < \varrho < 1\) gilt dann \[ \lim_{n\to\infty}\iint\limits_Q [(f_{nx}'-f_x')^2 + (f_{ny}' - f_y')^2]^{\varrho/2}dx\,dy = 0; \] für \(\varrho = 1\) ist dies im allgemeinen nicht richtig, vgl. McShane a. a. O.
This page was built for publication: Note on an inequality of Steiner.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2582226)