Doubly orthogonal systems of functions. (Q1833554)

Für analytische Funktionen kann man bekanntlich mit Hilfe des \textit{Cauchy}schen Integralsatzes die Reihenentwicklungen eines jeden Typus gewinnen, wenn man die Entwicklung von \(\dfrac1{1-z}\) für diesen Typus kennt. Verf. hat sich das Problem gestellt, etwas Entsprechendes für die \textit{Fourier}entwicklungen \[ \displaylines{\rlap{\indent(\text{F})}\hfill f(x)\sim\sum_na_n\varphi_n(x) \hfill} \] reeller Funktionen nach den Funktionen eines gegebenen Orthogonalsystems \(\{\varphi_n(x)\}\) zu leisten. Auch hier hängt alles Wesentliche ab von der Entwicklung \((H)\) der \textit{Heaviside}schen ``Einheitsfunktion'' \(H (s-x)\), für die \[ H(t) = 0\text{ für }t < 0, = \tfrac12\text{ für }t = 0, = 1\text{ für }t > 0 \] ist, und der hieraus durch gliedweise Differentiation nach \(s\) entstehenden ``Nullreihe'' \((Z)\). Wird in \(a\leqq s\leqq b\) \[ \int\limits_a^s\varphi_n(x)\,dx=h_n(s) \] gesetzt, so sind \[ \displaylines{\rlap{\indent(\text{H})}\hfill H(s-x)\sim\sum_nh_n(s)\varphi_n(x), \hfill\cr \rlap{\indent(\text{Z})}\hfill \sum_n\varphi_n(s)\varphi_n(t) \hfill} \] die genannten Reihen. Es werden die folgenden Voraussetzungen gemacht: 1. Die \(\varphi_n (x)\) bilden in \(\langle a, b,\rangle\) ein normiertes Orthogonalsystem. 2. \((H)\) konvergiert beschränkt gegen \(H (s - x)\) in \(a < x < b\) bzw. gegen \(H (s - a - 0)\) für \(x = a\), gegen \(H (s - b + 0)\) für \(x = b\) und \(s > a\). 3. Wenn \(Z_n (s, t)\) die \(n\)-te Teilsumme von \((Z)\) ist, so liegt \(| Z_n |\) unterhalb einer integrierbaren Funktion \(\psi(t)\) für \(| s - t | > \delta\). 4. Für die zu entwickelnde Funktion \(f (x)\) ist \(|f(x)|\psi(x)\) über \(\langle a, b\rangle\) integrierbar. Dann läßt sich zeigen: I. Das System der \(\varphi_n(x)\) ist zweifach orthogonal (d.h. neben der gewöhnlichen Orthogonalität ist \[ \sum_n\int\limits^{(\text{I})}\varphi_n(x)\,dx\,\int\limits^{(\text{II})}\varphi_n(x)\,dx \] gleich 0, wenn (I) und (II) zwei nicht übereinandergreifende Teilintervalle von \(\langle a, b\rangle\) sind, dagegen gleich einem von 0 verschiedenen und von der Lage von (I) unabhängigen Wert, wenn (I) \(\equiv\) (II) ist). II. Für die Entwicklungen (F) gilt der \textit{Riemann}sche Lokalisationssatz. III. Wenn \(f(x)\) in einer Umgebung von \(x = s\) von beschränkter Schwankung ist, so konvergiert \((F)\) zur Summe \(\frac12 f (s - 0)+\frac12 f (s + 0)\) bzw. \(f (a + 0)\) oder \(f(b -0)\). Im zweiten Teil der Arbeit wird die Methode auf Systeme von kontinuierlich vielen Funktionen \(\varphi(x,\xi)\) übertragen.