La serie di Lambert in aritmetica assintotica. (Q1527414): Difference between revisions

Für die Berechnung des asymptotischen Wertes der Anzahl \(\theta(n)\) der Divisoren von \(n\) wird das Verhalten der Lambort'schen Reihe \[ L(x) = \frac x{1-x} + \frac{x^2}{1-x^2} + \frac{x^3}{1-x^3} +\cdots \] in der Nähe der Einheit benutzt. Asymptotisch richtig ist die Gleichung \[ L(x) = \frac12\frac{1+x}{1-x}\left(\log\frac1{1-x} + C\right) - \frac14, \] wo \(C\) die Euler'sche Constante \(0,577215664\dots\) bedeutet. Ferner ist, wenn \[ H_n = 1 + \frac12 + \frac13 +\cdots+ \frac1n \] gesetzt wird: \[ L(x) = \sum_1^\infty x^n\theta(n),\quad \frac1{1-x}\log\frac1{1-x} = \sum_1^\infty H_nx^n, \] \[ \lim_{n=\infty}\left(\frac{\theta(1) + \theta(2) +\cdots+ \theta(n)}n - \log n\right) = 2C - 1. \] Definirt man die Function \(f(x)\) durch die Gleichung \[ (1-x)f(x) = L(x) -\frac12\frac{1+x}{1-x}\log\frac1{1-x} - \frac C{1-x} \] und entwickelt sie in die Reihe \(a_0+a_1x+a_2x^2+\cdots\), so erhält man \[ \lim_{n=\infty}\frac1n(a_1 + a_2 +\cdots+ a_n) = -\frac{2C+1}4, \] \[ a_1 + a_2 +\cdots+ a_n = (n+1)\sum_1^\infty \theta(n) - \sum_1^\infty{}_n \theta(n) - \frac{(n+1)^2}2H_n + \frac{3-2C}4 n(n+1). \] Asymptotisch ist \[ \theta(1) + \theta(2) +\cdots+ \theta(n) = (n + \frac12)\log n + (2C-1)n. \] Mittels der Formel \[ L(x) = \frac12\frac{1+x}{1-x} \log\frac{1+x}{1+x-2x^2} + \frac x{1-x} - \frac{x^3\varepsilon(x)}{6(1-x)}, \] wo \(\varepsilon(x)\) eine positive Function bezeichnet, die kleiner als 1 ist, ergiebt sich \[ \theta(n) = \log n + \left(H_n - \log n - \frac1{2n}\right) + (1+\sigma_n-\frac16\varepsilon_{n-3}) - \left(\tau_n + [-1]^n\frac{2^n-1}{2n}\right), \] wo \(\varepsilon_n\) die Summe der ersten \(n\) Coefficienten der Entwickelung von \(\varepsilon(x)\) in eine Potenzreihe und \[ \sigma_n = 1 - \frac12 + \frac13 -\cdots\pm\frac1n,\;\tau_n = \frac21 - \frac{2^2}2 + \frac{2^3}3 -\cdots\pm \frac{2^n}n, \] woraus ersichtlich ist, dass \(\theta(n)\) asymptotisch gleich \((\log n+2C)\) wird. Bedeutet \(f(x)\) eine Function von der Art, dass die Reihe \[ f(1) + \frac12f(2) + \frac13f(3) + \frac14f(4) +\cdots \] convergirt, und \(F(n)\) die Summe der Werte, welche \(f(x)\) annimmt, wenn für \(x\) successive die Divisoren von \(n\) gesetzt werden, so ist \[ \lim_{n=\infty}\frac1n(F(1)+F(2)+F(3)+\cdots+F(n)) = k. \] Entsteht aus \(F\) eine Function \(\mathfrak F\) in derselben Weise, wie \(F\) aus \(f\), so ist \[ \lim_{n=\infty}\left(\frac{\mathfrak F(1) + \mathfrak F(2) + \mathfrak F(3) +\cdots+ \mathfrak F(n)}n - k\log n\right) = (2C-k)-k', \] woraus sich der mittlere Wert von \(\mathfrak F(x)\) ergiebt: \[ \mathfrak F(x) = k \log n + 2kC - k'. \] Für das System der Zahlen, die keinen quadratischen Teiler besitzen: 1, 2, 3, 5, 6, 7, 10, 11, 13, 14, 15, 17, 19, 21, ... ergiebt sich: \[ k = \frac6{\pi^2},\quad k' = -\frac{12}{\pi^2}\sum_p\frac{\log p}{p^2-1}, \] wo sich die Summation auf die Primzahlen erstreckt.