On the nonvanishing of Dirichlet series with real terms. (Q1524800): Difference between revisions

In diesem Aufsatze wird für das Nichtverschwinden der Reihen \(\sum\limits_1^\infty\fracwithdelims()Dm\frac1m\) für eine nichtquadratische Zahl \(D\) ein Beweis geliefert, welcher weder Hülfsmittel aus der Theorie der quadratischen Formen, noch auch das quadratische Reciprocitätsgesetz heranzieht. Es sei \(\theta(n)=\sum\limits_1^\infty\fracwithdelims()Dm\frac1m\). Hat man \[ U = u_1 + u_2 +\cdots+ u_n,\quad V = v_1 + v_2 +\cdots+ v_n \] und setzt \(w_m=\sum u_\alpha v_\beta\), die Summe über alle Zerlegungen von \(m\) in zwei positive Factoren \(\alpha\), \(\beta\) erstreckt, ferner \(g=[\sqrt n]\), so gilt \[ UV = \sum_1^n w_m + \sum_2^g u_m\psi_m + \sum_2^g \varphi_mv_m + \sum_{1+g}^n u_m \sum_{1+g}^nv_m, \] wo die \(\varphi_m\) und \(\psi_m\) Summen aus Grössen \(u_\alpha\) bez. \(v_\beta\) sind. Nun sei \(u_m=\frac1{\sqrt m}\), \(v_m=\fracwithdelims()Dm\frac1{\sqrt m}\); wird \(w_m=\frac1{\sqrt m}f(m)\) gesetzt, so ist stets \(f(m)\geqq0\) und für eine Quadratzahl \(f(k^2)\geqq1\), woraus \(\sum\limits_1^nw_m\geqq\sum\limits_1^g\frac1k>\log g\) folgt. Das zweite der obigen vier Aggregate ist dem Betrage nach \(<\frac12\varphi(D)\). Ferner wird \[ \varphi_m = 2\sqrt n - 2\sqrt{\frac nm}\pm 4\varrho\sqrt{\frac nm}, \] \((0<\varrho<1)\) gefunden und ist daher \(\sum\limits_2^g\varphi_mv_m - 2\sqrt n\sum\limits_1^gv_m + 2\sqrt n\theta(g)\) dem Betrage nach \(<4\). Endlich ist \[ 0 < 2\sqrt n - 2\sqrt g - \sum_{1+g}^n u_m < \frac4{1+g}, \] und alles dies zusammengenommen ergiebt \[ 2\sqrt n\theta(g) - (2\sqrt n - U)V + 4 + \left(\frac32 + \frac2{\sqrt n}\right)\varphi(D) > \log g. \] Nun ist ferner \(0<2\sqrt n-U<4\), \(|V|\leqq\frac12\varphi(D)\). Ersetzt man noch \(n\) durch \(n^2\), so folgt \[ \theta(n) > \frac{\log n}{2n} - \frac{4+\left(\frac72+\frac2n\right)\varphi(D)}{2n}. \] Wird nun eine möglichst kleine Zahl \(s\) so bestimmt, dass \[ \frac12\log s \geqq4 + \left(\frac72+\frac2s\right)\varphi(D) + \varphi(D)\frac s{1+s}, \] und beachtet man \[ \left|\sum_{1+s}^n\fracwithdelims()Dm\frac1m\right|\leqq \frac12\frac{\varphi(D)}{1+s}, \] so folgt von \(n=s\) an: \(\theta(n)>\frac{\log s}{4s}\).