Verallgemeinerung einer Dirichletschen Summenumformung. (Q2620111)

Es sei \(z = f(y)\) eine im Interval \((\alpha, \alpha ')\) abnehmende reelle Funktion und \(y = g(z)\) ihre Umkehrung, welche also im Intervall von \(\beta = f(\alpha ') \text{ bis} \;\beta ' = f(\alpha )\) ebenfalls abnimmt. Es seien \(a_\lambda \) und \(b_\nu \) reelle Zahlfolgen mit \[ a_1 < a_2 < a_3 < \cdots \rightarrow + \infty, b_1 < b_2 < b_3 < \cdots \rightarrow + \infty. \] Weiter seien \(\varphi \) und \(\psi \) beliebige reelle Funktionen und \[ \Phi (x) = \sum _{a \leq x} \varphi (a),\;\Psi (x) = \sum _{b \leq x} \psi (b), \] (wo die Summationen sich auf die Glieder der Folgen \(a_\lambda \) und \(b_\nu \) beziehen). Indem er die Summe \[ \sum _{\alpha <a_\lambda \leq \alpha '} \sum _{b_\nu \leq f(a_\lambda } \varphi (a_\lambda ) \psi (b_\nu ) \] auf zwei verschiedene Weisen berechnet, erhält Verf. folgende Formel: \[ \sum _{\alpha <a \leq \alpha '} \varphi (a)\Psi (f(a)) - \sum _{\beta <b \leq \beta '} \psi (b)\Phi (g(b)) = \Phi (\alpha ') \Psi (\beta ) - \Phi (\alpha ) \Psi (\beta '). \] \textit{Dirichlet} hatte in seinen Arbeiten über das Teilerproblem den Spezialfall \[ a_\nu = b_\nu = \nu, \psi (x) \equiv 1 \] dieser Formel verwendet. Weiter gibt Verf. noch einige Spezialfälle an.