Nouvelles évaluations de distances dans l'espace fonctionnel. (Q1473258)

Es handelt sich um reelle Funktionen \(\varphi(x)\) der reellen Veränderlichen \(x(0\leqq x\leqq 1)\). \(\varphi(x)\) heißt normiert, wenn \(\int^1_0(\varphi(x))^2dx=1\); konvex, wenn \(\int_0^1(\varphi(x))^2dx=1\); konvex, wenn \[ \left|\begin{matrix} 1 & x_1 & \varphi(x_1) \\ 1 & x_2 & \varphi(x_2) \\ 1 & x_2 & \varphi(x_2)\end{matrix}\right|\leqq 0\;{\text{für}}\;x_1<x_2<x_3. \] Die Verf. der ersten Mitteilung verstehen unter dem ``sphärischen Abstand'' zweier Funktionen \(\varphi_1(x),\varphi_2(x)\) den Ausdruck \(\vartheta=\arccos \int^1_0\varphi_1(x)\varphi_2(x)dx\;(0<\vartheta<\pi)\). Sie geben Sätze wie die folgenden: Ist \(\varphi(x)\) positiv, konvex und normiert, so ist \(\int^1_0\varphi(x)dx>\frac{\sqrt{3}}{2}\). Sind \(\varphi_1(x)\) und \(\varphi_2(x)\) positiv, konvex und normiert, so ist ihr sphärischer Abstand \(\vartheta\) höchstens \(=\frac{\pi}{3}\) und wirklich \(=\frac{\pi}{3}\) nur für die beiden Funktionen \(x\sqrt{3}\) und \((1-x)\sqrt{3}\), sind \(\varphi_1(x)\) und \(\varphi_2(x)\) außerdem monoton zunehmend, so ist \(\vartheta\leqq\frac{\pi}{6}\) und \(=\frac{\pi}{6}\) nur für die Funktionen \(x\sqrt{3},1\). In der zweiten Mitteilung gelangt der Verf. zu einem allgemeinen Lehrsatz, ausgehend von der Bemerkung, daß eine positive konvexe normierte Funktion \(\leqq\sqrt{3}\) bleibt. In der dritten Mitteilung wird der erste der obigen Sätze auf Funktionen von zwei Veränderlichen ausgedehnt: Ist \(f(x,y)\) positiv und konvex, so folgt aus der Gleichung \(\int^1_0\int^1_0(f(x,y))^2 dxdy=1\) die Ungleichung \(\int^1_0\int^1_0(f(x,y))dxdy\geqq\sqrt{\frac{2}{3}}\). Das Gleichheitszeichen gilt nur, falls durch \(z=f(x,y)\) eine Pyramide mit der Höhe \(\sqrt{6}\) über dem Quadrate \(0\leqq x\leqq1,\;0\leqq y\leqq 1\) dargestellt wird. In der vierten Mitteilung wird folgende Aufgabe gelöst; Die positive konvexe normierte Funktion \(\varphi (x)\) zu finden, die den größtmöglichen sphärischen Abstand von einer gegebenen stetigen positiven Funktion \(\psi (x)\) hat.Die Funktion \(\varphi (x)\) hat stets die Form: \[ \varphi(x)=\begin{cases} \frac{x}{t}\;\sqrt{3}& {\text{für}}\;0\leqq x\leqq t \\ \frac{1-x}{1-t}\;\sqrt{3}& {\text{für}}\;t\leqq x\leqq 1,\end{cases} \] wobei \(t\) in jedem einzelnen Fall noch zu bestimmen ist. Die Beweise sind überall nur angedeutet.