On differential inequalities. (Q1471333)

Anschließend an eine frühere Arbeit (Tôkyo Math. Ges. (2) 8, 256; F. d. M. 45, 497 (JFM 45.0497.*), 1914-15) beweist der Verf. zuerst den Satz: Es sei \(F(x,y)\) stetig in \(\alpha\leqq x\leqq\beta,-\infty< y<\infty\) und stetig differentiierbar in bezug auf \(y\), und sei \(y_1(x)\) bzw. \(y_2(x)\) die Lösung der Differentialgleichung \(y'-F(x,y)=a\), bzw. \textit{y'-F(x,y)=b(a<b)} unter der Bedingung \(y(\alpha)=p\). Dann besteht die notwendige und hinreichende Bedingung für die Existenz einer einmal stetig differentiierbaren Funktion \(y(x)\) von der Art, daß \[ a\leqq G(x,y,y')\leqq b\text{ für }\alpha\leqq\beta,y(\alpha)=p,y(\beta)=q, \text{ wo }G(x,y,y')\equiv y'-F(x,y), \] darin, daß\ \(y_1(\beta)\leqq q\leqq y_2(\beta)\) gilt. Er verallgemeinert dann diese Fragestellung auf den Fall der Differentialgleichungssysteme und gibt die Bedingung für die Existenz von solchen \(y(x),z(x)\) an, für die \(y(\alpha)=p_1,y(\beta)=p_2,z(\alpha)=q_1,z(\beta)=q_2\) und der Punkt \((u,v)\) in einem vorgeschriebenen konvexen Bereiche liegt, wenn \(G_1(x, y,z,y',z')=u(x), G_2(x,y,z,y',z')=v(x)\) gesetzt wird.