On the integral curve of a differential equation of the first order. (Q1833779)

Im Bereich \(0 < x\leqq a\), \(|\,y\,|\leqq b\) mögen die Funktion \(f_1 = f(x, y)\) und ihre vorkommenden Ableitungen stetig sein. Es sei \[ f_2(x,y)=\frac{\partial f_1}{\partial x}+ f_1\frac{\partial f_1}{\partial y},\, f_3(x,y)=\frac{\partial f_2}{\partial x}+f_2\frac{\partial f_2}{\partial x},\dots . \] Die Differentialgleichung \[ \displaylines{\rlap{\qquad(1)} \hfill y'=f(x,y) \hfill} \] möge in dem angegebenen Bereich eine Lösung \(y(x)\) haben, derart daß für \(x\to 0\) \[ \displaylines{\rlap{\qquad(2)} \hfill y(x)\to 0,\;y^{(k)}(x)\to c_k\qquad(k=1,\dots,n) \hfill} \] oder \[ \displaylines{\rlap{\qquad(3a)} \hfill \qquad y(x)\to 0,\;y^{(k)}(x)\to c_k\qquad(k=1,\dots,n-1) \hfill} \] und für ein \(0 < p < 1\) \[ \displaylines{\rlap{\qquad(3b)} \hfill y^{(n)}(x)\,x^p\to0 \hfill} \] ist; im ersten Fall setze man noch \(p = 0\). Gilt nun \[ |\,f_n(x,y_2)-f_n(x,y_1)\,|\leqq \frac{\varGamma(n+1-p)}{\varGamma(1-p)} |\,y_2-y_1\,|\frac{1+\varepsilon(x)}{x^n} \] mit einer Funktion \(\varepsilon(x) > 0\), für die \[ \int\limits_{0}^{\delta}\frac{\varepsilon(x)}{x}\,dx \] existiert, so hat die Differentialgleichung (1) nur \textit{eine} Lösung, für die (2) bzw. (3) gilt.