Sur l'équation différentielle linéaire du second ordre. Détermination d'une intégrale par deux valeurs assignées. Extension aux équations d'ordre \(n\). (Q1439661)

Verf. leitet eine Reihe neuer und wichtiger Eindeutigkeitssätze für gewöhnliche Differentialgleichungen mit Hilfe von recht einfachen Methoden her. Die ersten Sätze beziehen sich auf die Differentialgleichung \[ \displaylines{\rlap{(1)} \hfill y''+2Xy'+X_1y=X_2, \hfill } \] wo die Koeffizienten \(X, X_1\) und \(X_2\) eindeutige und stetige (reelle) Funktionen sind. ``Das Eindeutigkeitstheorem gilt für (1)'' soll bedeuten, daß jedes Integral dieser Gleichung auf eindeutige Weise durch seine Werte in zwei Punkten \(x = a\) und \(x=b\) bestimmt ist. Durch Vergleich mit der Gleichung \[ y''+2Xy'=0, \] für die das Eindeutigkeitstheorem gilt, werden einige interessante Eindeutigkeitssätze für (1) abgeleitet, z. B: ``Das Eindeutigkeitstheorem gilt für die Gleichung (1) in einem Intervall \((a, b)\), wenn eine stetige Funktion \(\varphi(x)\) existiert, die in diesem Intervall die Bedingung \[ \varphi'+\varphi^2+2X\varphi+X_1 \leqq 0 \] erfüllt'', und eine Umkehrung dieses Satzes: ``Das Eindeutigkeitstheorem gilt nicht für das Intervall \((a, b)\), wenn eine stetige Funktion \(\psi(x)\) existiert, die die Bedingung \[ \psi'+\psi^2+2X\psi+X_1 \geqq 0 \] in einem Intervall, das in \((a,b)\) enthalten ist, erfüllt und dort zwischen \(+\infty\) und \(-\infty\) variiert''. Sodann werden einige Spezialfälle behandelt und weitgehend diskutiert. Der zweite Teil der Arbeit befaßt sich mit Differentialgleichungen von höherer Ordnung. Als Hilfsmittel für ihre Untersuchung wird das folgende Lemma, das sich gewiß auch in anderen Fällen als nützlich erweisen wird, abgeleitet: Hat die Funktion \(\varphi(x)\) mindestens \(n\) Nullstellen im Intervall \((a,b)\), und ist dort ihre \(n\)-te Ableitung dem absoluten Betrage nach \(\leqq \mu\), so ist \[ \int\limits_{a}^{b} |\varphi(x)| \, dx \leqq \mu \frac{h^{n+1}}{(n+1)!}. \] Daraus leitet sich leicht der folgende Eindeutigkeitssatz her: ``Zwei verschiedene Integrale der Gleichung \[ y^{(n)}+X_1y^{(n-1)}+ \cdots + X_{n-1}y'+X_n y = 0 \] können sich nicht in mehr als \(n-1\) Punkten in einem Intervall der Länge \(h\) schneiden, wo \(h\) die positive Wurzel der Gleichung \[ M_1 h + M_2 \frac{h}{2!} + \cdots + M_n \frac{h}{n!} = 1 \] und \(M_1, \ldots, M_n\) die Maxima der absoluten Beträge von \(X_1, \ldots, X_n\) in dem betrachteten Intervall bezeichnen. Man kann für \(h\) auch \(\log \left( 1+ \dfrac{1}{M} \right)\) wählen, wenn alle Koeffizienten \(X_{\nu}\) dem absoluten Betrage nach \(< M\) sind. Dieser Eindeutigkeitssatz gilt auch für die nichtlineare Differentialgleichung \[ y^{(n)}=f(x,y,y', \ldots, y^{(n-1)}), \] wenn man nur Integrale in einem Gebiet \(D\) der \(x,y,y_1, \ldots, y_n\) betrachtet, in dem die Funktion \(f(x,y,y_1, \ldots, y_{n-1})\) stetig ist und einer \textit{Lipschitz}bedingung mit den Konstanten \(M_1, M_2, \ldots, M_n\) in Bezug auf \(y,y_1, \ldots, y_{n-1}\) genügt.