Eenige opmerkingen over systemen van orthogonale functies. (Q2611922)

\(e_i\) mit \(i = 1, 2, \dots, N\) bezeichne \(N\) unter sich senkrechte Einheitsvektoren des \(N\)-dimensionalen Raumes; für die Komponenten \(e_i (n)\) von \(e_i\) gilt dann bei der bekannten Bedeutung von \(\delta_{ij}\) (1a) \(\quad \sum\limits_{n=1}^N e_i(n) e_j(n) = \delta_{ij} \qquad \text{ und } \qquad \text{ (1b) } \quad \sum\limits_{i=1}^N e_i(n) e_i(m) = \delta_{nm}. \) Für Systeme von orthogonalen Funktionen \(\varphi_n(x)\), \(a\leqq x \leqq b\), ist analog zu (1a): \[ \int\limits_a^b \varphi_i(x)\, \varphi_j(x) \, dx = \delta_{ij}. \] Verf. erweitert auch (Ib) für solche Funktionensysteme durch \[ \sum_{n=1}^\infty \int\limits_{x_1}^{x_2} \varphi_n(x)\, dx \int\limits_{x_1^\prime}^{x_2^\prime} \varphi_n(x^\prime) \, dx^\prime = \varDelta, \tag{2} \] wo \(\varDelta\) die Länge des \(\langle x_1, x_2\rangle\) und \(\langle x_1^\prime, x_2^\prime\rangle\) gemeinsamen Intervalls ist, und \(a \leqq x_1 \leqq x_2 \leqq b\) sowie \(a \leqq x_1^\prime \leqq x_2^\prime \leqq b\) gilt. Parallel zu der bekannten Darstellung von \(\sum f(n)^2\), wo \(f(n)\) ein willkürlicher Vektor ist, folgt für jede über \(\langle a, b\rangle\) im \textit{Riemann}schen Sinn integrierbare Funktion \(f(x)\) aus (2) \[ \int\limits_a^b f(x)^2 \, dx = \sum_{n=1}^\infty \left(\int\limits_a^b f(x) \varphi_n(x) \, dx\right)^2. \] Erweitert man (1b) statt wie in (2) durch \[ \sum_{n=1}^\infty \varphi_n(x) \int\limits_{x_1}^{x_2} \varphi_n(x^\prime)\, dx^\prime = \begin{cases} 1 & \text{ für } \;x_1 < x < x_2 \\ \frac 12 & \text{ für } \;x = x_1 \;\text{ und } \;x = x_2 \\ 0 & \text{ für } \;x < x_1 \;\text{ und } \;x > x_2, \end{cases} \tag{3} \] so folgt aus (3) \[ f(x) = \sum_{n=1}^\infty \varphi_n(x) \int\limits_a^b \varphi_n (x^\prime) f(x^\prime) \, dx^\prime \] für eine weite Klasse von Funktionen \(f(x)\). Verf. weist darauf hin, daß (2) aus (3) durch Integration folgt, daß aber (2) gelten kann, ohne daß (3) richtig ist. Weiter wird gezeigt, daß für die Eigenfunktionen einer schwingenden Saite die Beziehung (2) als Grenzfall von (1b) gefunden werden kann.