Bemerkung zur \textit{Bessel}schen Ungleichung. (Q1473159)

Die für ein orthogonales Funktionensystem \(\psi_{\lambda}(s)\) geltende sogenannte \textit{Bessel}sche Ungleichung \[ \int\varPsi(s)^2ds-\sum_\nu ^{1,k- 1}\frac{(\int\varPsi(s)\psi_\nu (s)ds)^2}{\int\psi_{\nu }(s)^2ds}\geqq 0 \] läßt sich zu der für ein solches System geltenden Integralidentität verschärfen: \[ \int\varPsi(s)^2ds-\sum_\nu ^{1,k-1} \frac{(\int\varPsi(s)\psi_\nu (s)ds)^2}{\int\psi_{\nu }(s)^2ds} \] \[ =\frac{1}{k!\prod_\nu ^{1,k-1}\int\psi_\nu (s)^2ds}\int_{(1)}\int_{(2)}\dots\int_{(k)}\left| \begin{matrix} \varPsi(s_1), & \psi_1(s_1), & \dots, & \psi_{k-1}(s_1) \\ \varPsi(s_2), & \psi_1(s_2), & \dots, & \psi_{k-1}(s_2) \\ \hdotsfor4\\ \varPsi(s_k), & \psi_1(s_k), & \dots, & \psi_{k-1}(s_k) \end{matrix}\right|^2ds_1ds_2\dots ds_k, \] die sich ihrerseits aus einer Formel von \textit{Kneser} (``Zur Theorie der Determinanten'', Schwarz-Festschrift 177-191 (1914), d. Bd. S. 256) ableiten läßt.