On the method of construction and some properties of a class of non-differentiable functions. (Q572507)

Die Konstruktion einer solchen Funktion nimmt Verf. auf folgendem Wege vor: Es sei \(p\geqq 3\) eine ganze ungerade Zahl, und es sei \(0 < x < 1\). Dann ist \(x =\sum\limits_{\nu=1}^\infty \dfrac{a_\nu}{p^\nu}\), wobei \(0\leqq a_\nu\leqq p - 1\) ist. Sind außerdem \(r\) und \(m\) (\(r\leqq m\)) zwei positive ganze Zahlen, so läßt sich mit ihrer Hilfe die Funktion \[ \varPhi_{m,r,p}(x)=\sum_{\nu=1}^\infty\frac{b_\nu}{p^\nu} \] definieren, indem man \[ b_\nu=a_{(\nu-1)m+r} \;\text{oder} \;b_{\nu}=p-1-a_{(\nu-1)m+r} \] setzt, je nachdem \[ \sum_{\lambda=1}^{(\nu-1)m+r}a_\lambda-\sum_{\mu=1}^{\nu-1}a_{\mu m+r} \] gerade oder ungerade ausfällt. \(\varPhi_{2,1,3}\) und \(\varPhi_{2,2,3}\) sind schon von \textit{Peano}, \(\varPhi_{2,1,p}\) und \(\varPhi_{2,2,p}\) von \textit{Moore} angegeben worden, von beiden aber durch geometrische Konstruktionen. Verf. untersucht nun erstmalig auf arithmetischem Wege die Eigenschaften dieser Funktionsklasse; er beschränkt sich dabei auf \(\varPhi_{3,1,3}\). Er kann feststellen, daß in jedem Punkte mindestens eine der einseitigen Ableitungen zwischen den Werten 0 und \(\infty\) schwankt, das Funktionsbild also nirgends eine Spitze besitzt. Da die \textit{Weierstraß}funktion bekanntlich überall dicht Spitzpunkte besitzt, ist durch diesen Nachweis eine wesentliche Lücke ausgefüllt. Sodann beweist Verf., daß jede der vier Punktmengen (\(D^+=+\infty\), \(D^- = -\infty\), \(D_-=+\infty\), \(D_- = - \infty\)) überall dicht ist, und gibt ihre Konstruktion an. Zum Schluß beschäftigt sich Verf. mit den Wurzeln der Gleichung \[ \varPhi_{3,1,3}(x)=c\qquad (0\leqq c\leqq 1), \] mit dem Ergebnis, daß diese Wurzeln eine perfekte Menge vom Maße Null bilden. (IV 3 A.)