Remarks on systems of ordinary differential equations. (Q2600835)

Ein Eindeutigkeitssatz: Es sei ein System von Differentialgleichungen \[ x_\nu'(t)=f_\nu(x_1,\dots,x_n)\qquad(\nu=1,\dots,n)\tag{1} \] gegeben, bei denen die rechten Seiten stetig sind und \(t\) nicht explicite enthalten. Es sei weiter ein System von Integralkurven \[ x_\nu(t)=\varphi_\nu(t,\xi_1,\dots,\xi_n)\qquad(\nu=1,\dots,n)\tag{2} \] von der Art vorhanden, daß durch jeden Punkt \(\xi_1,\dots,\xi_n\) des \((x_1,\dots,x_n)\)-Raumes genau eine Kurve (2) geht. Erfüllen die Funktionen (2) außerdem in bezug auf \(\xi_1,\dots,\xi_n\) eine \textit{Lipschitz}-Bedingung, so sind die Lösungen von (1) durch die Anfangswerte eindeutig bestimmt und durch (2) gegeben. Bei einer Differentialgleichung \[ y'(x)=f(x,y),\tag{3} \] wo \(f\) stetig ist, ist die Menge der auf einer Integralkurve liegenden Punkte, in denen die Integralkurven von (3) sich nach rechts (links) verzweigen, rechts (links) abgeschlossen in dem Sinne, daß für eine Folge von derartigen Verzweigungspunkten, die von rechts (links) gegen einen Grenzpunkt konvergieren, dieser selbst Verzweigungspunkt ist. -- Ist \(K\) eine Transversalkurve zu den Integralkurven und findet in keinem Punkt einer gewissen ``rechtsseitigen'' Umgebung von \(K\) eine Verzweigung von Integralkurven nach links statt, so findet in höchstens abzählbar vielen Punkten von \(K\) eine Verzweigung nach rechts statt (vgl. hierzu auch \textit{M.~Charpentier}, C. R. Acad. Sci., Paris, 191 (1930), 509-511; F.~d.~M. 56\(_{\text{I}}\), 379). Weiter wird gezeigt, daß es zu ziemlich allgemeinen Mengen der \(x\)-Achse und der \(y\)-Achse Differentialgleichungen gibt, deren Lösungen die Punkte mit den gegebenen Koordinaten-Mengen zu Verzweigungspunkten haben, wobei noch zwischen rechtsseitiger und linksseitiger Verzweigung unterschieden wird (vgl. hierzu \textit{Lavrentieff}, Math. Z. 23 (1925), 197-209; F.~d.~M. 51, 332).