Indeterminate expressions involving a function and its derivatives. (Q2607473)

Verf. betrachtet unbestimmte Ausdrücke der Form \(y = \dfrac AB\), worin \(A\) und \(B\) Polynome in \(u(x)\) und \(u^\prime(x)\) darstellen mit Koeffizienten, die analytische Funktionen der komplexen Veränderlichen \(x\) sind, und worin \(u(x)\) einen Wert \(u_1(x)\) annimmt, der sowohl \(A\) wie \(B\) identisch zum Verschwinden bringt. \(A\) und \(B\) werden als teilerfremd vorausgesetzt. Verf. definiert als Wert eines solchen unbestimmten Ausdrucks jede analytische Funktion \(y_1(x)\), die der folgenden Bedingung in einem gewissen Punkte \(a\) genügt: Für jede positive Zahl \(\varepsilon\) und jede positive ganze Zahl \(m\) gibt es ein \(u(x)\), so daß \(B \neq 0\) in \(a\) und \[ |u^{(j)}(a) - u_1^{(j)}(a)| < \varepsilon, \quad |y^{(j)}(a) - y_1^{(j)}(a)| < \varepsilon, \qquad (j = 0, 1, \dots, m). \] Es sei \[ v(x) = u(x) - u_1(x). \] Wenn sowohl \(A\) wie \(B\) ein von \(v^\prime(x)\) freies Glied enthält, das von kleinerem Grad (in \(v(x)\) und \(v^\prime(x)\) zusammen) ist als irgendein anderes Glied, dann hat \(\dfrac AB\) denselben Wert, den es hätte, wenn \(v^\prime(x)\) durch \(v(x)\) ersetzt würde. Sonst stellt \(\dfrac AB\) alle analytischen Funktionen dar.