On non-differentiable functions which have progressive or regressive derivatives for certain values of the variable. (Q1464135)

1916 hat Frau G. Ch. Young (F. d. M. 46, 402 (JFM 46.0402.*)) bewiesen, daß die berühmte Weierstraßsche nichtdifferenzierbare Funktion in einer überall dichten Punktmenge dennoch unendliche Rechts- und Linksableitungen entgegengesetzten Vorzeichens besitzt; sie hat daraufhin auf eine noch vor Weierstraß durch Cellerier aufgestellte Funktion \[ f (x)=\sum_{n=1}^\infty a^{-n}\sin a^nx \] (\(a\) hinreichend groß, ganzzahlig, gerade) aufmerksam gemacht, die in keinem Punkte eine Rechts- oder Linksableitung besäße und so noch besondere Vorzüge als Beispiele böte. Es wird nun gezeigt, daß die letztere Annahme falsch sei, indem der Beweis in Wirklichkeit nur für \textit{endliche} einseitige Ableitungen gelte; die Celleriersche Funktion besitzt sogar in einer überall dichten Punktmenge eigentliche unendliche Ableitungen, auch für negative und ungerade ganze \(a\).