Über gewisse Differential- und allgemeine Gleichungen, deren Lösungen fastperiodisch sind. III: Systeme von Gleichungen. (Q573223)

I. Es werden Systeme von Differentialgleichungen \[ y_{\mu}'(x) = \sum_{\nu=1}^{m} a_{\mu \nu} y_{\nu}(x) + f_{\mu}(x) \qquad (\mu = 1,2, \ldots \!, m; -\infty <x<\infty), \tag{\text{A}} \] bzw. von Differenzengleichungen \[ y_{\mu}(x+\delta_{\mu}) = \sum_{\nu=1}^{m} a_{\mu \nu} y_{\nu}(x) + f_{\mu}(x) \qquad (\mu = 1,2, \ldots \!, m; -\infty <x<\infty) \tag{\text{B}} \] betrachtet; die \(a_{\mu \nu}\) sind beliebige, die \(\delta_{\mu}\) positive Konstanten, die \(f_{\mu}(x)\) fastperiodische Funktionen. Die charakteristischen Funktionen sind das Polynom \(m\)-ten Grades bzw. Exponentialpolynom \[ G(\lambda) = \begin{vmatrix} \r\;\quad & \r\;\quad &\r\;\quad \\ i \lambda - a_{11} & - a_{12} & \cdots \\ - a_{21} & i \lambda - a_{22} & \cdots \\ \cdot & \cdot & \cdots \\ \cdot & \cdot & \cdots \\ \cdot & \cdot & \cdots \end{vmatrix} \quad \text{bzw.}\quad G(\lambda) = \begin{vmatrix} \r\;\quad & \r\;\quad &\r\;\quad \\ e^{i \delta_1 \lambda}-a_{11} & -a_{12} & \cdots \\ -a_{21} & e^{i \delta_2 \lambda}-a_{22} & \cdots \\ \cdot & \cdot & \cdots \\ \cdot & \cdot & \cdots \\ \cdot & \cdot & \cdots \end{vmatrix} . \] Die Ergebnisse sind: \textit{Beschränktheitssatz} A : Jede beschränkte Lösung des Systems (A) ist fastperiodisch. \textit{Beschränktheitssatz} B: Jede beschränkte und gleichmäßig stetige Lösung von (B) ist fastperiodisch. Bleibt \(|G(\lambda)|\) für alle \(\lambda\) oberhalb einer positiven Konstanten, so ist jede beschränkte Lösung auch gleichmäßig stetig und daher fastperiodisch. \textit{Existenzsatz} A: (A) besitzt sicher dann eine fastperiodische Lösung \(y(x)\), wenn eine der folgenden Voraussetzungen gilt: (a) \(G(\lambda)\) hat keine reellen Nullstellen. (b) Zu jeder reellen Nullstelle \(\varLambda\) von \(G(\lambda)\) mit der Vielfachheit \(l\) und für jedes \(\mu\) gibt es eine fastperiodische Funktion, deren \(l\)-te Ableitung mit \(e^{-i \varLambda s}f_{\mu}(x)\) übereinstimmt. Im Fall (a) ist \(y(x)\) eindeutig, im Fall (b) nur bis auf gewisse Exponentialpolynome bestimmt. \textit{Existenzsatz} B: Dafür, daß (B) eine fastperiodische Lösung besitzt, ist eine der folgenden Voraussetzungen hinreichend: (a) \(|G(\lambda)|\) bleibt für \(-\infty < \lambda < \infty\) oberhalb einer positiven Schranke. (b) \(G(\lambda)\) hat keine reellen Nullstellen, und die \textit{Fourier}koeffizienten der Funktionen \(f_{\mu}(x)\) sind beschränkt. (c) Die \textit{Fourier}exponenten der Funktionen \(f_{\mu}(x)\) sind beschränkt, etwa auf das Intervall \(\langle -K,K \rangle\). Zu jeder in dieses Intervall fallenden Nullstelle \(\varLambda\) von \(G(\lambda)\) mit der Vielfachheit \(l\) gibt es für jedes \(\mu\) eine fastperiodische Funktion, deren \(l\)-te Ableitung mit \(e^{-i \varLambda s}f_{\mu}(x)\) übereinstimmt. In den Fällen (a) und (b) ist \(y(x)\) eindeutig. II. Allgemeiner beweist Verf. für ein System der Form \[ \sum_{\nu=1}^{m} L_{\mu \nu}(y_{\nu}) = f_{\mu}(x) \qquad (\mu=1,2, \ldots \!, m), \tag{\text{C}} \] daß alle mitsamt ihren in (C) explicite auftretenden Ableitungen beschränkten und gleichmäßig stetigen Lösungssysteme \(y_1(x), \ldots \!,y_m(x)\) mitsamt diesen Ableitungen fastperiodisch sind. Dabei ist jedes \(L_{\mu \nu}(y)\) ein Differenzen-Differentialausdruck von der Form \[ \sum_{\varrho=0}^{r} \sum_{\sigma=0}^{s} a_{\varrho \sigma}y^{(\varrho)} (x+\delta_{\sigma}), \] in welchem die Koeffizienten \(a_{\varrho \sigma}\) beliebige komplexe, die \(\delta_{\sigma}\) beliebige reelle Zahlen sind. Der Beweis dieser Sätze gelingt durch Zurückführung auf die Ergebnisse der beiden ersten Teile der Arbeit (Math. Ann. 102 (1929), 489-504; 103 (1930), 588-597; F.~d.~M. 55\(_{\text{II}}\), 863; 56\(_{\text{II}}\), 1043). (IV 11.)