Une expression simple pour une fonction continue sans dérivée. (Q2594155)

Die Funktion \[ f(x)=\sum_{\nu=0}^{\infty}\frac{1}{2^{\nu}} \, g(2^{\nu}\, x), \] wo \(g(t)\) den Abstand des Punktes \(t\) vom nächsten Punkt mit ganzzahliger Abszisse bedeutet, ist einer von \textit{B. van der Waerden} (Math. Z. 32 (1930), 474-475; F.~d.~M. 56\(_{\text{II}}\), 929) angegebenen stetigen, nirgends differenzierbaren Funktion sehr ähnlich. Um nachzuweisen, daß auch \(f(x)\) nirgends differenzierbar ist, zeigt Verf., daß \(f(x)\), falls das Argument \(x\) die Dualbruchdarstellung \[ x=[x]+\frac{1}{2^{\alpha_1}} + \frac{1}{2^{\alpha_2}} + \cdots + \frac{1}{2^{\alpha_i}} + \cdots \] hat, den Wert \[ f(x)=\sum_{\nu=1}^{\infty}\frac{\alpha_{\nu}-2(\nu-1)}{2^{\alpha_{\nu}}} \] annimmt. Aus dieser zweiten Darstellung folgt nämlich, wie Verf. in einer anderen Note (Une fonction continue sans dérivée. Enseign. math. 38 (1942), 208-211; F.~d.~M. 68) auseinandersetzt, leicht die Stetigkeit und Nirgendsdifferenzierbarkeit von \(f(x)\).