Expressing the number theoretic function \(E(x)\) as a series. (Q1543598)

Bedeutet \(E(x)\) die grösste in der (positiven) Zahl \(x\) enthaltene ganze Zahl, so ist zwar \(F(x)=x-E(x)\) eine periodische Function mit der Periode 1, kann aber durch eine Fourier'sche Reihe \(\varphi(x)\) nicht ausnahmslos genau dargestellt werden, da eine solche an den Sprungstellen \(x=0, 1, 2, 3, \dots\) nur den Mittelwert \(\frac 12 \{f(x+0)+F(x-0)\}= \frac 12 (0+1)= \frac 12\) zu liefern vermag, während an denselben \(F(x)=0\) ist. Um die analytische Darstellung zu einer auch an diesen Stellen gültigen zu machen, bedarf es demnach der Aufstellung eines Ausdrucks \(G(x)\), welcher die Eigenschaft hat, für alle ganzzahligen \(x\) (incl. 0) gleich 1 zu werden, sonst aber zu verschwinden; dann ist ausnahmslos \[ F(x)= \varphi(x)-\textstyle\frac12\,G(x). \] Solche analytischen Ausdrücke, wie \(G(x)\), mit sogenannten hebbaren Unstetigkeiten hat aber der Herr Verfasser in einem vorhergehenden Aufsatze (Klein Ann. XXVI. 167 ff.; cf. F. d. M. diesen Band, Abschn. V., JFM 17.0205.02) auf unendlich vielfache Weisen in Form von unendlichen Reihen darstellen gelehrt. Im vorliegenden Falle führen ganz elementare Betrachtungen zum Ziel. Das Schlussresultat lautet: \[ E(x)= x+\frac{1}{\pi}\;\sum^{\infty}_{1}{}_\nu\;\frac{\sin{}2\nu \pi x} {\nu} \] \[ +\frac{4}{\pi^2}\;\sum^\infty_1{}_\nu\;\left\{ \frac{\cos{}2\nu\pi x}{\nu}\;\sum^{\nu}_{1}{}_\kappa\;\frac{1}{2\kappa-1}-\sum^{\nu}_{1}{}_\kappa\;\frac {\cos{}2(\nu+1-2\kappa)\pi x}{(2\kappa-1)(2\nu+1-2\kappa)} \right\}. \]