Sur les ordres d'infinitude. (Q1509482)

Ist eine unendlich kleine Hauptgröße \(x\) gewählt, so ist nach der gewöhnlichen Definition \(y\) eine unendlich kleine Größe \(a\)-ter Ordnung, wenn \(y:x^a\) gegen einen endlichen Wert konvergiert, während nach \textit{Cauchy} dafür erforderlich ist, daß\ \(y:x^{a- \varepsilon}\) gegen Null konvergiert und \(y:x^{a+ \varepsilon}\) unendlich groß\ wird, wie klein auch die positive Zahl \(\varepsilon\) sein mag, wenn \(x\) und \(y\) beide gegen Null konvergieren. Um beide Definitionen zu unterscheiden, bezeichnet \textit{Borel} im ersten Falle die Ordnung durch \(a\), im zweiten durch (\(a\)). -- Entsprechendes gilt, wenn \(y\) und \(x\) unendlich groß\ und positiv sind. Um auch die Fälle zu berücksichtigen, in denen die Ordnung Null oder unendlich wird, wird die Ordnung von \(e^x\) durch \(\omega\) bezeichnet (\(x\) ist die unendlich kleine Hauptgröße); ist die Ordnung von \(z\) gleich \(a\), wenn \(z\) als Funktion von \(y\) betrachtet wird, die Ordnung von \(y\) gleich \(b\), wenn \(y\) als Funktion von \(x\) betrachtet wird, so ist die Ordnung von \(z\) gleich \(ab\), wenn \(z\) als Funktion von \(x\) betrachtet wird. Wenn \(a\) und \(b\) die Ordnungen von \(y\) und \(z\) sind, so ist \(a+b\) die Ordnung von \(yz\). Ist \(a\) die Ordnung von \(y=f(x)\), so ist die Ordnung von \(x= \varphi (y)\) gleich \(\frac 1a\). Es sei ein Polynom \(i= ab + cde + fg\), worin \(a,b,c, \dots, g\) positive Zahlen oder Symbole \(\omega\) oder \(1: \omega\) sind. Diesem Polynom wird eine wachsende Funktion \(F(x,b)\) von \(x\) zugeordnet, deren Unendlichkeitsordnung \(i\) ist; vorausgesetzt ist, daß\ \(b\) kein Symbol, sondern eine positive Zahl ist. Genügt dann eine Funktion \(\varphi (x)\) für eine positive Zahl \(\varepsilon\) den Gleichungen \[ \lim_{x= \infty} \frac{\varphi (x)}{F(x, b- \varepsilon)} = \infty, \quad \lim_{x= \infty} \frac{\varphi (x)}{F(x, b+ \varepsilon)} =0, \] so wird die Unendlichkeitsordnung \(j\) von \(\varphi (x)\) durch die Formel \[ j= a(b) + cde + fg \] erklärt.