Sur l'excès du nombre des diviseurs de la forme \(4n-3\) d'un entier quelconque sur celui de la forme \(4n-1\). (Q1496846)

Der Verf. bezeichnet durch \(T_1(n),T_2(n),T_3(n),T_4(n)\) bzw. die Anzahl der Faktoren von der Form \(4n-1\), \(4n-2\), \(4n-3\), \(4n\). Den Ausgangspunkt der Untersuchungen bildet die von der Theorie der Thetafunktionen bekannte Formel \[ \frac {\theta_3'(\frac 14,s)}{\theta_3'(\frac 14,s)}=\frac {-4\pi\sum_{n=1}^{n=\infty}ns^{n^2}\sin\frac {n\pi}2}{1+2\sum_{n=1}^{n=\infty}s^{n^2}\cos\frac {n\pi}n}=4\pi\sum_{n=1}^{n=\infty}(-1)^n\frac {s^n\sin\frac {n\pi}2}{1-s^{2n}}. \] Setzt man \[ P(s)=\sum_{n=1}^{n=\infty}(-1)^{n+1}\frac {s^{2n-1}}{1-s^{4n-2}}, \] so erhält man \[ P(s)=\sum_{n=1}^{n=\infty}\{T_3(4n-3)-T_1(4n-3)\}s^{4n-3}. \] Setzt man nun \(T_3(4n-3)-T_1(4n-3)=A_n\), so erhält man leicht \[ (1-2s^4+2s^{16}-2s^{36}+\dotsm )(A_1s+A_2s^5+A_3s^9+\dotsm )=s-3s^9+5S^{25}-7s^{49}+\dotsm , \] und hieraus \[ A_1=1,A_2-2A,=0,A_3-2A_2=-3\quad\text{usw.,} \] eine Reihe rekurrenter Reihen, deren Form man leicht übersieht, zur Bestimmung der \(A\). Ähnlich findet der Verf. rekurrente Reihen zur Bestimmung von \(T_3(n)-T_1(n)\), indem man von \[ \theta (r,s)=2\sum_{n=0}^{n=\infty} (-1)^ns^{(n+\frac 12)^2}\sin (2n+1)\pi r \] ausgeht. Setzt man \[ \varPhi (s)=\sum_{n=1}^{n=\infty} \frac {s^n}{1+s^{2n}}=\sum_{n=1}^{n=\infty}(T_3(n)-T_1(n))s^n, \] so findet man die Funktionalgleichung \[ \varPhi (is)=\frac i2(\varPhi (s)-\varPhi (-s)-\varPhi (s^2)+2\varPhi (s^4)), \] durch welche umgekehrt \(\varPhi\) bestimmt ist. Der Verf. zeigt noch, daß die Kenntnis aller Werte von \(T_3(4n-3)-T_3(4n-1)\) genügt, um \(T_3(n)-T_1(n)\) für alle Werte von \(n\) zu kennen.