Über die Vollständigkeit von Orthogonalsystemen. (Q2604646)

Ist \(L^p\) der Raum der in der \(p\)-ten Potenz integrierbaren Funktionen, \(L^\infty\) der Raum der beschränkten Funktionen, so konstruiert Verf. ein normiertes Orthogonalsystem \(\{\varphi_n(t)\}\) durch den Ansatz \[ \varphi_n(t) = \sum_{j=1}^n \mu_{jn}(a_j\psi_1(t) a_1\psi_j(t)), \] das vollständig in \(L^p\) ist, d. h. aus \(\int\limits_0^1 f(t)\varphi_n(t)dt= 0\) für \(f(t)\) in \(L^p\) folgt \(f(t) = 0\) fast überall im Intervall \((0,1)\). Dabei bilden die \(\psi_j(t)\) ein normiertes Orthogonalsystem (etwa ein trigonometrisches System), die \(a_j\) sind durch \(a_j= \int\limits_0^1 f(t)\psi_j(t)\) definiert, wo \(f(t)\) zu \(L^q\) mit \(q<p\), nicht aber zu \(L^p\) gehört. Die \(\mu_{jn}\) werden so bestimmt, daß die \(\varphi_n(t)\) ein Orthogonalsystem bilden. Verf. zeigt, daß die \(\varphi_n(t)\) gemeinsam beschränkt sind, und daß sich das in \(L^p\) vollständige System in keinem \(L^q\) mit \(q< p\) mit gemeinsam beschränkten Funktionen vervollständigen läßt. Zunächst wird \(p \leqq 2\), dann \(2 < p \leqq \infty\) untersucht. (Vgl. \textit{S. Kaczmarz}, \textit{H. Steinhaus}, Theorie der Orthogonalreihen, Warschau 1935; JFM 61.1119.*.)