Generalized integrals and differential equations. (Q5922470): Difference between revisions

Es handelt sich vor allem um Sätze, durch die in besonderen Fällen der Existenzbereich der Lösung einer gewöhnlichen Differentialgleichung und eines hyperbolischen Systems von partiellen Differentialgleichungen genauer bestimmt wird. Für \(0 \leqq x \leqq X\) seien \(f (x)\), \(g (x)\) stetig differenzierbar, \(f(0) = f_0\), \(g(0) = 0\), \(F\) eine obere Schranke von \(| f|\), \(G\) die totale Variation von \(g\); für \(s > 0\) seien die Funktionen \(a(z,y,u)\), \(b(z,y,u)\) in dem Bereich \[ |z| \leqq F, \quad | y| \leqq G, \quad |u|< \varepsilon + 3FM + (e^{2FP}+ (N - 1)e^{FP})G \] stetig, ferner \(a\) stetig differenzierbar und \[ |a| \leqq M, \quad |b| \leqq N, \quad |a^\prime| \leqq P. \] Dann kann die Lösung \(u (x)\) der Differentialgleichung \[ u^\prime = a(f,g,u)f^\prime + b(f, g, u) g^\prime \] mit dem Anfangswert \(u (0) = 0\) über das ganze Intervall \(0 \leqq x \leqq X\) fortgesetzt werden und erfüllt die Ungleichung \[ | u |\leqq 2FM + (e^{2FP} + (N - 1) e^{FP}) G. \] Anschließend wird ein Satz über die Konvergenz der Lösungen \(u_\nu(x)\) der Differentialgleichungen \[ u_\nu^\prime = a(f_\nu, g_\nu, u_\nu ) f_\nu^\prime + b(f_\nu, g_\nu, u_\nu) g_\nu^\prime \] abgeleitet, wenn \(f_\nu \to f\), \(g_\nu \to g\) ist. Entsprechende Tatsachen werden für die Lösungen \(z_\nu (x, y)\) des Systems \[ \left\{ \begin{matrix} \l \qquad & \l \\ \sum\limits_{q=1}^n a_{pq} (z_1, \dots, z_n) \dfrac {\partial z_q}{\partial x} = 0 & (p=1, \dots, m<n), \\ \sum\limits_{q=1}^n a_{pq} (z_1, \dots, z_n) \dfrac {\partial z_q}{\partial y} = 0 & (p = m + 1, \dots, n) \end{matrix} \right. \] abgeleitet. Die Beweise stützen sich auf Sätze über Stieltjes-Integrale. \ (IV 12.)