Eine Bemerkung zum Beweise eines Satzes über fastperiodische Funktionen. (Q565484)

Die Vollständigkeitsrelation in der Theorie der fastperiodischen Funktionen kann bekanntlich wie folgt ausgesprochen werden: Wenn das f. p. \(f(x)\) nicht identisch verschwindet, sind nicht alle \textit{Fourierkoeffizienten} von \(f(x)\) gleich Null. \textit{Weyl} (Math. Ann. 97 (1926), 338-356; F. d. M. 52, 260 (JFM 52.0260.*)) und \textit{Hammerstein} (Sitzungsber. Akad. Berlin 1928, 17-20; F. d. M. 54, 424 (JFM 54.0424.*)) beweisen dies dadurch daß\ sie zeigen, daß\ die ``Integralgleichung'' \[ \varGamma G(x)=\underset {t} M \{f(x-t)G(t)\} \tag{1} \] eine nicht identisch verschwindende f. p. Eigenfunktion \(G(x)\) hat. Auf Grund gruppentheoretischer Sätze wird sodann geschlossen, daß\ \(G(x)\) ein Exponentialpolynom ist, woraus die Behauptung folgt. Für diese Tatsache gibt Verf. einen einfachen Beweis, der keine Gruppentheorie benutzt. Er zeigt nämlich, daß\ zugleich mit \(G(x)\) bei geeignet gewähltem \(p(s)\) auch die Funktion \[ P(x)=\int \limits _{-1}^{+1} G(x+s)p(s)ds \] und ihre \(m\) ersten Ableitungen Lösungen von (1) zu \(\varGamma \) sind. Dabei ist \(m\) größer als die Anzahl der linear unabhängigen Eigenfunktionen, so daß\ also \[ a_0P(x)+a_1P'(x)+\dots +a_nP^{(n)}(x)=0 \] ist, woraus wegen der Beschränktheit von \(P(x)\) die gewünschte Form \(P(x)=\sum b_{\nu }e^{i\lambda _{\nu }x}\) folgt.