Problemi di valori al contorno per equazioni differenziali (non lineari) del secondo ordine. (Q2591276)

I. Satz von \textit{Scorza-Dragoni} (Atti Accad. naz. Lincei, Rend., Cl. Sci. fis. mat. natur. (6) 22 (1935), 44-48; F. d. M. \(61_{\text{I}}\), 495): Es sei \(f (x, y, y^\prime)\) beschränkt und stetig in dem Bereich \[ a \leqq x \leqq b, \, y_1 (x) \leqq y (x) \leqq y_2 (x), \, -\infty < y^\prime < + \infty, \tag{"}\(C\):" \] wobei \(y_1(x)\), \(y_2 (x)\) Lösungen der Differentialgleichung \[ y^{\prime\prime}=f(x,y,y^\prime) \tag{1} \] sein sollen; dann gibt es durch zwei gegebene Punkte \(x_1\), \(y_1\) und \(x_2\), \(y_2\) \((x_1 < x_2)\) des Bereichs \(C\) stets mindestens eine Integralkurve von (1). Verf. macht darauf aufmerksam (S. 2 und S. 22), daß der ursprüngliche Beweis von Scorza-Dragoni einen Fehler enthält, und gibt einen neuen Beweis. II. Die Voraussetzung, daß \(f\) in \(C\) beschränkt sein soll, kann ersetzt werden durch \[ |f(x,y, y^\prime) | \leqq \varphi (x) + |y^\prime| \psi (x), \] wo \(\varphi \geqq 0\) und \(\psi \geqq 0\) integrierbare Funktionen sein sollen. III. Es sei \(f(x; y, y^\prime\) stetig in \[ a \leqq x \leqq b, \, -\infty < \, y,y^\prime \, < + \infty, \tag{"}\(C^* \):" \] ferner möge es drei in \(x_1 \leqq x \leqq x_2\) integrierbare, nicht-negative Funktionen \(\alpha (x)\), \(\beta (x)\), \(\gamma (x)\) geben, so daß \[ \int\limits_{x_1}^{x_2} \{[ 2 (x_2 - x_1) + | y_2 - y_1|] \alpha (x) + \beta (x) \} \, dx < 1 \] und für beliebige \(y\), \(y^\prime\) und \(x_1 \leqq x \leqq x_2\) \[ | f (x, y,y^\prime ) | \leqq \alpha (x) |y|+ \beta (x)| y^\prime | + \gamma (x) \] ist; dann geht durch die Punkte \(x_1\), \(y_1\) und \(x_2\), \(y_2\) mindestens eine Integralkurve von (1). Es folgen einige weitere Sätze ähnlicher Art, bei denen \(f\) nicht mehr stetig zu sein braucht. Die Differentialgleichung wird dafür durch \[ y^\prime = y^\prime (a)+ \int\limits_a^x f (x,y(x), y^\prime(x) )\, dx \] ersetzt.