On the asymptotic determination of power series. (Q1527343)

Es seien die Reihen positiver Glieder \[ a_o + a_1 + a_2 +\cdots,\quad b_0 + b_1 + b_2 +\cdots \] divergent, dagegen \[ f(x) = a_0 + a_1x + a_2x^2 +\cdots,\quad g(x) = b_0 + b_1x + b_2x^2 +\cdots \] für \(|x|<1\) convergent. Dann ist \[ \lim_{x=1}\frac{f(x)}{g(x)} = \lim_{n=\infty}\frac{a_1+a_2+\cdots+a_n}{b_1+b_2+\cdots+b_n} = \lim_{n=\infty}\frac{a_n}{b_n}, \] falls \(\lim\limits_{n=\infty}\frac{a_n}{b_n}\) existirt. Durch Anwendung dieses Satzes erhält man: \[ \lim_{x=1}(1-x)^p(1^{p-1}x + 2^{p-1}x^2 + 3^{p-1}x^3 +\cdots) = \Gamma(p)\qquad(p >0). \] Ist \[ \lim\frac{a_1+a_2+\cdots+a_n}{n^p} = k, \] so ist: \[ \lim_{x=1}(1-x)^p f(x) = k\Gamma(p+1). \] Bedeutet nun \(\alpha\), \(\beta\), \(\gamma\), ... ein beliebiges System ganzer Zahlen, und nennt man \(x^\alpha+x^\beta+x^\gamma+\cdots\) die dazu gehörige Potenzreihe, so ist \[ \lim_{x=1}(1-x)(x^\alpha+x^\beta+x^\gamma+\cdots) = \omega, \] wo \(\omega\) die Wahrscheinlichkeit bezeichnet, dass eine beliebig gewählte ganze Zahl dem System \(\alpha\), \(\beta\), \(\gamma\), ... angehört; z. B. ist: \[ \lim_{x=1}(x + x^9 + x^{25} +\cdots)\sqrt{1-x} = \frac14\sqrt{\pi}. \] Ferner ergeben sich die asymptotischen Gleichungen: \[ \begin{aligned} &1^{p-1}x + 2^{p-1}x^2 + 3^{p-1}x^3 +\cdots = \frac{\Gamma(p)}{(1-x)^p} - \frac{\Gamma(p+1)}{2(1-x)^{p-1}},\\ &x + x^4 + x^9 +\cdots = \frac12\sqrt{\frac{\pi}{1-x}} - \frac12 - \frac38\sqrt{\pi(1-x)},\\ &1 + 2x + 2x^4 + 2x^9 = \sqrt{\frac{\pi}{1-x}}.\end{aligned} \] Ist \(c_1x+c_2x^2+c_3x^3+\cdots\) das Product der Potenzreihen zweier Systeme von ganzen positiven Zahlen, so stellt \(c_n\) die Anzahl der Zerlegungen von \(n\) in zwei Zahlen dieser Systeme dar. Der Verfasser bestimmt den asymptotischen Wert von \(c_n\). Sind die beiden Systeme die Vielfachen von \(a\) und \(b\) (0 inclusive), so ist \[ c_n = \left[\frac n{ab}\right] + \varrho_n, \] wo \(\varrho_n\) für ein unendlich grosses \(n\) vernachlässigt werden darf; und \[ \lim_{x=1}(1-x)(1 + \varrho_1x + \varrho_2x^2 +\cdots) = 1 - \frac12\left(1-\frac1a\right)\left(1-\frac1b\right). \]