Über unendliche Systeme von Differentialgleichungen. (Q2620575): Difference between revisions

Gegenstand diese artikles sind unendliche Systeme von Differentailgleichungen von der Form \[ \frac {dy_i}{dx} = f_i (x,y_1,y_2, \dots ) \quad (i=1,2,\dots ). \tag{1} \] Um die Existenz einer Lösung für ein solches System beweisen zu können, setzt Verf. voraus, daß die Funktionen \(f_{\hat {i}}\) für \(0 \leq x-x_0 \leq a\) und beliebige Werte der \(y\) definiert, un den unedlich vielen Veränderlichen \(y_1,y_2, \dots \) vollstetig und in \(x\) meßbar sind, und daß außerdem \[ |f_i(x,y_1,y_2, \dots )| < M_i(x) \] mit summierbarem \(M_i(x)\) ist. Unter diesen Voraussetzungen beweist Verf. dadurch, daß er die Anfangswertaufgabe für das System (1) in das Problem umdeutet, die Fixpunkte der Funktionaltransformation \[ z_i(x) = y_i^0 + \int _{x_0}^x f_i (x, y_1 (x), y_2 (x), \dots ) dx \quad (i=1,2,\dots ), \tag{\text{A}} \] welche die Punkte des abstrakten Raumes \(M_0\) mit den Elementen \((y_1(x), y_2(x), \dots )\) auf sich abbildet, zu bestimmen, und indem er \(M_0\) auf eine kompakte konvexe Menge \(M_0^*\) des \textit{Hilbert}schen Raumes abbildet, für die der \textit{Schauder}sche Fixpunktsatz (1930; F. d. M. \(56_{\text{I}}\), 355) gilt, die Existenz einer Lösung der Anfangswertaufgabe für das System (1). Auch ein Eindeutigkeitsatz wird bewiesen: Genügen die \(f_i\) den \textit{Lipschitz}bedingungen \[ |f_n (x, y'_1, y'_2, \dots ) - f_n (x, y''_1,y''_2, \dots ) | \leq \sum _{i=1}^{\infty } K_{ni} |y'_i-y''_i|, \] wobei die Reihen \(\sum \limits _{i=1}^{\infty } K_{ni}\) konvergieren und für alle \(i\) \(\sum \limits _{i=1}^{\infty } K_{ni} -A_i <A\) ist, so hat die Anfangswertaufgabe nur eine Lösung, für die \(\sum \limits _{i=1}^{\infty } |y_n(x)|\) beschränkt ist. (IV 9.)