On sufficient conditions for the uniqueness of the solution of \({dy \over dx}=f(x,y)\). (Q1441358): Difference between revisions

Für die in der vorstehend referierten Note hergeleitete hinreichende Bedingung für die Eindeutigkeit der Lösung der Differentialgleichung \(\frac{dy}{dx}=f(x,y)\) wird eine einfache Herleitung gegeben. Alsdann werden folgende drei hinreichenden Bedingungen abgeleitet, die z. T. mit den bekannten Bedingungen von \textit{Osgood, Rosenblatt, Nagumo} und \textit{Perron} im Zusammenhang stehen: \[ (1)\quad | f(x,y_1)-f(x,y_2)|<(1+\varepsilon(x)) \frac{| y_1y_2|}{x}, \] wobei \[ \varepsilon(x)>0\;\text{und}\;\lim_{x \to 0} \int_\delta^x \frac{\varepsilon(x)}{x} dx>-M \] mit \(0 < M\) und \(0 < \delta\) ist. \[ (2)\quad | f(x,y_1)-f(x,y_2)|<\alpha \frac{| y_1y_2|}{x}+\beta | y_1-y_2| \log \frac{1}{| y_1-y_2|}, \] wobei \(0 \leqq \alpha <1\) und \(0 \leqq \beta\) ist. \[ (3)\quad | f(x,y_1)-f(x,y_2)|< \frac{| y_1-y_2|}{x} \cdot \frac{\left| \log \frac{1}{| y_1-y_2|} \right|^l}{\left| \log \frac 1x \right|^k}, \] wobei \(0<l<k\) und \(k \geqq 1\) ist.