Die Verallgemeinerung der Operation der Verschiebung im Zusammenhang mit fastperiodischen Funktionen. (Q2586565)

Im Anschluß an \textit{J. Delsarte} (Acta math., Uppsala, 69 (1938), 259-317; F. d. M. \(64_{\text{I}}\), 252) untersucht Verf. die Integralgleichung \[ \lambda\varphi (s) = \lim_{T\to\infty} \frac1{2T}\int\limits_{-T}^T K(s,t) \varphi(t)\,dt, \tag{1} \] welche eine Verallgemeinerung der von \textit{H. Weyl} (Math. Ann., Berlin, 97 (1926), 338-356; F. d. M. 52, 260 (JFM 52.0260.*)) zur Untersuchung fastperiodischer Funktionen betrachteten ist. Da der Mittelwert, wie er in Gleichung (1) auftritt, im allgemeinen nicht vorhanden zu sein braucht, beginnt Verf. damit, diesen Begriff für beschränktes meßbares \(f (x)\) zu erweitern, und zwar in einer der Definition des Lebesgueschen Integrals nachgebildeten Art. Er sei mit \(M \{f(x)\}\) bezeichnet. Sodann wird ein Kriterium dafür angegeben, daß eine Familie stetiger, in ihrer Gesamtheit beschränkter Funktionen auf der ganzen Achse kompakt ist. Verf. betrachtet jetzt eine von einem Parameter \(s\) abhängende Familie von beschränkten Operatoren \(T^s\), die auf Funktionen \(f (t)\) definiert sind. Dadurch wird jedem \(f (t)\) eine Funktion von zwei Veränderlichen, \[ T^s_t f(t) = K(s,t) \] zugeordnet. Die Familie der konjugierten Operatoren wird mittels der Beziehung \[ M_t\{T^s_tf(t)\cdot g(t)\} = M_t\{f(t)\widetilde T{}^s_t g(t)\} \] definiert. Für die Familie \(T^s\) sollen folgende Bedingungen erfüllt sein: A) \( T^o_t = E\), \(T^s_o= E\) (\(E\) identische Transformation). B) Beschränktheit der Familien \(T^s\) und \((T^s)^{-1}\). C) Linearität von \(T^s\). D) Für reelles \(f(t)\) ist \(T^s_t f (t)\) eine reelle Funktion. E) \( T^r_sT^s_t f(t) = T^s_tT^r_t f(t)\) für beliebiges \(f (t)\). F) \(\widetilde T{}^s_t f(t)\) ist normal, d. h. \(M_r \{\overline{\widetilde T{}^s_r f(r)}\cdot \widetilde T{}^t_r f(r)\}= M_r \{{\widetilde T{}^r_s f(s)}\cdot \overline{\widetilde T{}^r_t f(t)}\}\). \ \hfill (Beispiel: \(T^s_t f (t) = f (t + s)\), \(\widetilde T{}^s_t f(t)=f(t-s)\)). Mit Hilfe dieser Operatorenfamilie \(T^s\) wird nun definiert: Eine stetige Funktion \(f (t)\) heißt fastperiodisch (f. p.) bezüglich einer gegebenen Operatorenfamilie, wenn die Funktionenfamilien \(T^s_t f (t)\) (\(s\) Parameter) und \(\widetilde T{}_t^sf(t)\) (\(t\) Parameter) im Sinne der gleichmäßigen Konvergenz kompakt sind. Ist \(f (t)\) f. p., so entspricht dem Kern \(\widetilde T{}^s_t f(t)\) eine Folge von Eigenwerten \(\lambda_1,\,\lambda_2,\,\ldots\) und Eigenfunktionen \(\varphi_1(s),\, \varphi_2(s),\, \ldots\), d.h. \[ \lambda_n\varphi_n(s) = M_t\{ \widetilde T{}^s_t f(t)\varphi_n(t)\}, \] die Verf. näher untersucht. Eine Operatorenfamilie wird kommutativ genannt, wenn die Eigenschaften A) bis F) stattfinden, und wenn für beliebiges \(s\) und \(r\) die Beziehungen gelten: \[ T^s_tT^r_t= T^r_tT^s_t;\quad T^s_t\widetilde T{}^r_t= \widetilde T{}^r_tT^s_t. \] Dann ist \(T^r_sf(s)\) symmetrisch, d. h. \[ T^r_s f(s)= T^s_r f (r). \] Mit Hilfe der Eigenfunktionen \(\varphi_n\) kann jeder beschränkten meßbaren Funktion \(f (t)\) die Fourierreihe \[ \begin{gathered} f(t)\sim \sum_n \frac{A_n}{\alpha_n} \varphi_n(t),\\ \alpha_n = \sqrt{M \{|\varphi_n(t) |^2\}},\qquad A_n = \frac1{\alpha_n} M \{f(t) \overline{\varphi_n(t)} \} \end{gathered} \] zugeordnet werden. Es gilt die Parsevalsche Gleichung \(M \{| f (t) |^2\} = \sum\limits_{n=1}^\infty |A_n|^2\), sowie der Approximationssatz, d. h. jedes f. p. \(f (t)\) kann gleichmäßig auf der ganzen Achse durch endliche Summen angenähert werden, die aus der Fourierreihe von \(f (t)\) entstehen. Endlich gibt Verf. noch ein Beispiel für eine Operatorenfamilie, die mit dem Differentialoperator \(Lu= u'' - \varrho u\) verbunden ist, nämlich die Lösung der partiellen Differentialgleichung \(\dfrac{\partial^2\varPhi}{\partial r^2}-\varrho (r)\varPhi = \dfrac{\partial^2\varPhi}{\partial s^2} - \varrho (s) \varPhi\) unter den Anfangsbedingungen \(\varPhi(r, 0) = f(r)\), \(\left.\dfrac{\partial\varPhi}{\partial s}\right|_{s=0} =0\). Alle Eigenschaften A) bis F) bis auf die zweite Hälfte von B) sind erfüllt. Verf. will darauf in einer anderen Arbeit zurückkommen.