Asymptotic relations for derivatives. (Q2604635)

In einer bekannten Sätzegruppe von \textit{Hardy} und \textit{Littlewood} wird aus Abschätzungen, die sich auf das Wachstum von \(f(x)\) und \(x^2f''(x)\) (\(0 < x < \infty)\) für \(x \to \infty\) beziehen, auf das von \(xf'(x)\) geschlossen (z. B. aus bzw. \(o(1)\) und \(O(1)\) auf \(o(1)\)). Verf. gibt allgemeine Sätze dieser Art, bei denen an Stelle von \(x^2f''(x)\) der Wert \(g(x)\) eines linearen Differentialausdrucks \(L(y)\) für \(y=f(x)\) tritt; es ist entweder 1) \(L(y) =\sum\limits_{\nu=0}^n A_\nu x^\nu y^{(\nu)}\) ein ``Eulerscher'' oder 2) \(L(y) = \sum\limits_{\nu=0}^n P_\nu(x)y^{(\nu)}\) (\(P_\nu(x)\) Polynom höchstens \(\nu\)-ten Grades) ein ``verallgemeinerter Eulerscher'' Differentialausdruck. Im Falle 1) folgt dann z. B. aus \(g(x)< O(1)\) und \(f(x) = O(1)\), daß \(x^kf^{(k)}(x) = O(1)\), (\(1\leqq k \leqq n - 1\)); ferner im Falle 2) z. B. aus \(\int\limits_0^x g(t)\,dt< O(\varphi(x))\) und \(f(x)=O(\theta(x))\), daß \(x^{p+1}f^{(p)}(x)=O(\varphi(x))\) (\(p=1,2,\ldots,n - 2)\), und auch für \(p=n-1\) wenn noch \(g(x) < O(\theta(x))\); hierbei sind \(\varphi(x)\), \(\theta(x)\) gegebene positive Funktionen mit gewissen Wachstumsbeziehungen; z. B. genügt es, wenn \(\theta(x)\) ``langsam wachsend'' ist (im Sinne von \textit{Karamata}, Mathematica, Cluj, 4 (1930), 38-53, 194-195; JFM 56.0907.*), und alsdann \(\varphi(x)=x\theta(x)\).