Ueber ein bestimmtes Integral, welches die zahlentheoretische Funktion \([x]\) enthält. (Q1541975)

Der Verfasser beweist zunächst, dass unter gewissen Bedingungen folgende allgemeine Formel besteht: \[ (1)\qquad \int_{-a}^b [t] \,df(t) = [b]f(b) + [a+1]f(-a)- \sum_{-[a]}^{[b]} f(k), \] wo \([t]\) eine den Ungleichheiten \(x-1<[x]<x\) genügende ganze Zahl ist, \(k\) jedoch nur ganze Werte annimmt. Wenn bei \(t=\pm \infty \lim tf(t)=0\) ist, so hat man: \[ \int_{-\infty}^{\infty} [t] \,df(t) = -\sum_{-\infty}^{\infty} f(k). \] Wenn man in dieser Formel die Function \([t]\) durch ihre trigonometrische Reihe ersetzt, so erhält man die Formel: \[ \int_{-\infty}^{\infty} f(t)\,dt + 2\sum_1^{\infty} \int_{-\infty}^{\infty} f(t). \cos 2\kappa \pi t\,dt = \sum_{-\infty}^{\infty}\;f(k) \] und allgemeiner, wenn die Function \(f(t)\) bei ganze Werten des Argumentes endliche Sprünge macht: \[ (2)\qquad \int_{-\infty}^{\infty} f(t)\,dt + 2\sum_1^{\infty} \int_{-\infty}^{\infty} f(t).\cos 2\kappa \pi \,dt = \sum_{-\infty}^{\infty}\;\frac{f(k-0)+f(k+0)}{2} \cdot \] Diese Formel (2) ist ein specieller Fall derjenigen Formel, welche von Schlömilch gegeben ist (Comp. d. h. Analysis. Bd. II. S. 152, F. 49); doch lässt sich die Schlömilch'sche Formel aus der Formel (2) ableiten. Zum Schluss wird die allgemeine Formel (1) auch zur Ableitung der Maclaurin'sche Summationsformel angewandt.