Nuova analisi esistenziale e quantitativa delle soluzioni dei sistemi di equazioni differenziali ordinarie. (Q2582056)

Es handelt sich um das System \[ y_\nu'(x) =f_\nu(x,y_1,\dots,y_p,\lambda_1,\dots,\lambda_q)\qquad (\nu=1,\dots,p) \] mit den Anfangsbedingungen \[ y_\nu(x_0)=a_\nu \qquad (\nu=1,\dots,p), \] oder kürzer vektoriell geschrieben \[ y'(x)=f(x,y,\lambda);\quad y(x_0)=a.\tag{1} \] Weiß man, daß eine Lösung \(y^0(x)\) mit den Anfangswerten \(a^0\) und den Para\-meterwerten \(\lambda^0\) für ein abgeschlossenes Intervall existiert, so kann man unter den üblichen Stetigkeitsvoraussetzungen beweisen, daß für alle hinreichend nahe an \(a^0\) und \(\lambda^0\) gelegenen Vektoren \(a\) und \(\lambda\) die Lösungen der Aufgabe (1) ebenfalls in jenem ganzen Intervall existieren. Verf. verallgemeinert dieses Ergebnis in folgender Richtung: es werden nicht Voraussetzungen über die Existenz einer Lösung von (1) gemacht, sondern über eine gegebene Funktion \(u(x)\), die nicht das System (1) zu erfüllen braucht; ferner wird sehr viel weniger als die Stetigkeit der Funktionen \(f\) vorausgesetzt. Im einzelnen lautet das Hauptergebnis: Es sei \(A\) ein offenes (endliches oder unendliches) Intervall der \(x\)-Achse, \(\lambda^0\) ein gegebener \(\lambda\)-Vektor, \(u(x)\) ein gegebener (reller oder komplexer) Vektor von \(p\) Kom\-ponenten, die in jedem abgeschlossenen endlichen Teilintervall von \(A\) absolut stetig sind, \(N\) eine Teilmenge von \(A\) mit dem Maß 0. Die Funktion \(f (x, y, \lambda)\) sei definiert für \[ x\text{ in }A-N,\;|y-u(x)|\leqq b,\;|\lambda-\lambda^0|\leqq c, \] ferner sei \(f\) bei festen \(y\), \(\lambda\) meßbar in \(A\) und \(f (x, u(x), \lambda^0)\) summierbar in jedem end\-lichen Teil von \(A\). Schließlich sei \[ |f(x, y, \lambda) - f (x, u(x), \lambda^0)|\leqq P(x, b,\lambda)|y-u(x)| + Q(x, b, \lambda) \] und, wenn auch noch \(| z - u (x) | \leqq b\) ist, \[ | f (x, y, \lambda) - f (x, z, \lambda) |\leqq R (x, b,\lambda)| y - z|; \] dabei bedeuten \(P\), \(Q\), \(R\) skalare Funktionen \(> 0\), die in jedem endlichen Teil von \(A\) nach \(x\) summierbar sind, ferner soll \(Q (x,b,\lambda^0)\equiv0\) sein. Ist nun \(x_0\) ein beliebiger Punkt von \(A\), und erfüllen die Vektoren \(a\) und \(\lambda\) die Ungleichungen \[ |a -u(x_0)|<b,\quad |\lambda -\lambda^0|\leqq c, \] so gibt es genau eine (absolut stetige) Lösung der Aufgabe (1) mit \(|y(x) - u(x)|<b\), falls in \(A\) \[ \left(|a-u(x_0)|+\left|{\int\limits_{x_0}^{x}}\{ |u'(t)-f(t,u,\lambda^0)|+Q(t,b,\lambda)\}dt\right|\right) e^{\big|{\int\limits_{x_0}^{x}}P(\tau,b,\lambda)\,d\tau\big|}<b \] ist. Wird die linke Seite dieser Ungleichung mit \(\omega(x)\) bezeichnet, so ist \[ |y(x)-u(x)|\leqq\omega(x). \] Es folgen acht weitere Sätze dieser Art.