On the theory of Dirichlet series.
Wenn die \(M_{\nu}\) positive, mit \(\nu\) niemals abnehmende Grössen mit dem Grenzwerte \(\infty\), die \(a_{\nu}\) dagegen ganz beliebige reelle oder complexe Grössen bedeuten, so beweist der Verfasser betreffs der Convergenz der Reihen \[ (1) \quad \quad \quad A^{(-\varrho)}=\sum_{\nu=0}^{\infty}a_{\nu}M_{\nu}^{-\varrho} \] den Satz: Die Reihe (1) convergirt für ein bestimmtes positives \(\varrho\) in der durch die Indices vorgeschriebenen Anordnung, also zum mindesten bedingt, und ihre Summe ist gleich derjenigen der unbedingt convergirenden Reihe: \[ \sum_{\nu=0}^{\infty}A_{\nu}^{(\sigma)} \left\{ M_{\nu}^{-(\varrho+\sigma)}-M_{\nu+1}^{-(\varrho+\sigma)} \right\}, \] wenn für \(\sigma>-\varrho\), \(\varepsilon<1\), \(p< \infty\) der Ausdruck \[ \lim_{n=\infty}\;\frac{A_{n}^{(\sigma)}}{M_{n}^{\varepsilon\varrho+\sigma}\log^{p}M_{n}} \] nicht \(\infty\) wird. Die Reihe divergirt, wenn \[ \lim\;\frac{A_{n}^{(\sigma)}}{M_{n}^{\varrho+\sigma}} \] nicht Null wird. Diesem (wegen der grossen Willkürlichkeit der Grössen \(\varrho\), \(\sigma\), \(\varepsilon\), \(p\)) ganz allgemeinen Kriterium werden speciellere Formen gegeben und sodann für den Grenzwert des Ausdrucks \(A_{n}^{(\sigma)}M_{n}^{-\sigma}\) für \(n=\infty\) zwei Sätze bewiesen, von denen der zweite lautet: Ist \[ \lim\;\frac{M_{n+1}}{M_{n}}=c, \quad \text{wo zunächst} \quad c>1, \] und für irgend ein bestimmtes \(s>0\): \[ \lim A_{n}^{(s)}M_{n}^{-s}=G^{(s)}, \] so hat man für jedes \(\sigma>0\): \[ \lim A_{n}^{(\sigma)}M^{-\sigma}=G^{(\sigma)}=\frac{1-c^{-s}}{1-c^{-\sigma}}\;G^{(s)}, \] und es tritt im Falle \(\sigma=0\) an die Stelle dieser Relation die folgende: \[ \lim\;\frac{A_{n}}{\text{lg}\,M_{n}}=\frac{1-c^{-s}}{\text{lg\,}c}\;G^{(s)}=\frac{1-c^{-1}}{\text{lg\,}c}\;G^{(1)}. \] Für den Grenzfall \(c=1\) reduciren sich diese Beziehungen auf \[ \lim A_n^{(\sigma)} M_n^{-\sigma}=G^{(\sigma)} =\frac {s}{\sigma}\;G^{(s)},\quad \lim\;\frac{A_n}{\text{lg\,}M_n}=sG^{(s)}=G^{(1)} \] und für den andern Grenzfall \(c=\infty\): \[ \lim A_{n}^{(\sigma)}M_{n}^{-\sigma}=G^{(\sigma)}=G^{(s)}, \quad \lim\;\frac{A_{n}}{\text{lg\,}M_{n}}=0. \] In bezug auf den Grenzwert von \(\varrho\varSigma a_{\nu}M_{\nu}^{-\varrho}\) für \(\varrho=+0\) zeigt der Verfasser die vier Sätze: 1) Setzt man \[ \frac{M_{\nu+1}-M_{\nu}}{M_{\nu+1}}=d_{\nu}, \] so dass also \(\varSigma d_{\nu}\) divergirt, \(\varSigma d_{\nu}M_{\nu}^{-\varrho}\) convergirt, so ist: \[ \lim_{\varrho=+0}\;\varrho\;\sum_{\nu=0}^{\infty}\;d_{\nu}M_{\nu}^{-\varrho}\begin{cases} =1, \quad & \text{wenn} \quad M_{n+1}\overset \sim = M_{n},\\ =\frac{1-c^{-1}}{\text{lg\,}c}, \quad & \text{wenn} \quad M_{n+1} \overset \sim = cM_{n}(c>1),\\ =0, \quad & \text{wenn} \quad M_{n+1}>M_{n}.\end{cases} \] 2) Ist \(\lim g_{n}=g\), so hat man \[ \lim_{\varrho=+0}\varrho\sum_{\nu=0}^{\infty}g_{\nu}d_{\nu}M_{\nu}^{-\varrho}=\lim_{\varrho=+0}\varrho g\sum_{\nu=0}^{\infty}d_{\nu}M_{\nu}^{-\varrho}, \] und zwar auch dann, wenn \(g_{\nu}=g_{\nu,\varrho}\) irgend wie von \(\varrho\) abhängt, sofern nur \(g_{\nu,\varrho}\) mit wachsendem \(\nu\) für alle positiven Werte \(\varrho\), die unter einer gewissen endlichen Grenze \(r\) liegen, gleichmässig gegen den Wert \(g\) convergirt. 3) Ist \[ \lim\;\frac{A_{n}}{\text{lg\,}M_{n}}=G, \] so wird auch: \[ \lim_{\varrho=+0}\;\varrho\;\sum_{\nu=0}^{\infty}\;a_{\nu}M_{\nu}^{-\varrho}=G, \quad \text{falls} \quad M_{n+1}\sim M_{n}. \] 4) Besitzt \[ \frac{A_{n}}{M_{n}}=\frac{\sum_{0}^{n}a_{\nu}}{M_{n}} \] für \(n=\infty\) einen bestimmten Grenzwert \(G\), so ist auch \[ \lim_{\varrho=+0}\;\varrho\;\sum_{\nu=0}^{\infty}a_{\nu}M_{\nu}^{-(1+\varrho)}=G, \quad \text{falls} \quad M_{n+1}\overset \sim = M_{n}. \] Dabei bedeutet \[ \begin{aligned} & f_{1}(n)\overset \sim = af_{2}(n),\quad \text{dass} \quad \lim_{n=\infty}\;\frac{f_{1}(n)}{f_{2}(n)}=a,\\ & f_{1}(n)>f_{2}(n), \quad\quad `` \quad \quad\quad`` \quad \quad \quad\quad=\infty,\\ & f_{1}(n)<f_{2}(n), \quad\quad `` \quad \quad\quad`` \quad \quad\quad \quad=0,\\ & f_{1}(n)\sim f_{2}(n), \quad\quad `` \quad\quad\quad `` \quad \quad\quad\quad \gtrless 0 \quad \text{(endlich aber nicht notwendig bestimmt).}\end{aligned} \]
This page was built for publication: On the theory of Dirichlet series.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1533027)
