On certain transformations of \textit{Lejeune-Dirichlet's} in the theory of numbers and similar theorems. (Q1479974)

Der 1. Teil bringt eine Verallgemeinerung der \textit{Dirichlet}schen Beziehung: \[ \sum_{s=1}^{n} \biggl[\frac{n}{s}\biggr] \varPhi(s) = - [\sqrt{n}] \varPsi([n]) = \sum_{s=1}^{[\sqrt{n}]} \biggl[\frac{n}{s}\biggr] \varPhi(s) + \sum_{s=1}^{[\sqrt{n}]} \varPsi\biggl(\biggl[\frac{n}{s}\biggr]\biggr), \] wo \(\varPhi(s)\) irgendeine Funktion und \[ \varPsi(s) = \varPhi(1) + \varPhi(2) + \cdots + \varPhi(s) \] ist. Sind \(f\) und \(g\) irgend zwei Funktionen und \[ F(s) = \sum_{\nu=1}^{s} f(\nu),\quad G(s) = \sum_{\nu=1}^{s} g(\nu),\quad \varrho = [\sqrt n], \] so ist \[ \begin{aligned} \sum_{s=1}^{n} F\biggl(\biggl[\frac{n}{s}\biggr]\biggr) g(s) = \sum_{s=1}^{n} G &\biggl(\biggl[\frac{n}{s}\biggr]\biggr) f(s) \\ &=\sum_{s=1}^{\varrho} F\biggl(\biggl[\frac{n}{s}\biggr]\biggr) g(s) + \sum_{s=1}^{\varrho} G\biggl(\biggl[\frac{n}{s}\biggr]\biggr) f(s) F(\varrho)G(\varrho). \end{aligned} \] Eine ganz entsprechende Formel gilt, falls \(F_1(s)\) und \(G_1(s)\) gleich der Summe der Werte von \(f(s)\), resp. \(g(s)\) für die \textit{ungeraden} Werte \(1, 3, 5, \ldots\) gesetzt und die Summation nur über ungerade Werte \(s\) ausgeführt wird. Im 2. Teil verallgemeinert der Verf. die \textit{Dirichletsche} Formel: \[ \sum_{s=\mu+1}^{p} [f(s)] \varPhi(s) = q\varPsi(q) - \nu\psi(\mu) + \sum_{s=q+1}^{\nu}\psi([F(s)]), \] wo \(\nu = [f(\mu)]\), \(q=[f(p)]\), \(p>\mu\), \(f(x)\) beständig abnimmt, wenn \(x\) von \(\mu\) (zu \(p\) wächst, und \(F(x)\) die innere Funktion von \(f(x)\) ist. Die Verallgemeinerung lautet: \[ \sum_{s=\mu+1}^{p} F\{[\alpha(s)]\} g(s) = F(q)G(p) - F(\nu)G(\mu) + \sum_{s=q+1}^{\nu} G\{[\beta(s)]\} f(s), \] wo \(\nu = [\alpha(\mu)], q = [\alpha(p)], \beta(s)\) die innere Funktion von \(\alpha(s)\), und \(F\) und \(G\) gleich wie oben aus \(f\) und \(g\) hervorgehen. Die Beweismethode und die Resultate berühren sich mit denjenigen \textit{Knopps} (Referat vorstehend).