Sur un exemple de fonction continue sans dérivée (Q768400)

L'A. porta un ensempio di funzione continua e mai derivabile nel modo che segue: indicato con \([y]\) il massimo intero non superiore ad \(y\) e con \(\varphi(x)\) la funzione \(\vert x - [x + \tfrac12] \vert\) la quale rappresenta il valore assoluto della differenza fra \(x\) e l'intero più vicino ad \(x\), l'A. dimostra che la funzione \(f(x) = \sum_{k=0}^\infty 2^{-k} \varphi(2^k x)\), la quale è continua su tutto l'asse reale, non è derivabile in alcun punto. Per questo egli osserva che, se si indica con \(x_0\) un punto dell'asse reale e si considera il rapporto incrementale di \(f(x)\) relativo all'intervallo \((2^{-n} [2^n x_0], 2^{-n} [2^n x_0] + 2^{-n})\), il quale contiene il punto \(x_0\) ed ha ampiezza infinitesima per \(n\to\infty\), si trova \(r_{n+1} - r_n = \pm 1\); ciò esclude che \(f(x)\) possa ammettere derivata in \(x_0\). Tale dimostrazione può essere estesa al caso della funzione \(f(x) = \sum_{k=0}^\infty a^{-k} \varphi(a^k x)\), essendo \(a\) un intero positivo pari; per \(a = 10\) questa funzione rappresenta l'esempio di funzione continua e non derivabile portato da \textit{B. L. van der Waerden} [Math. Z. 32, 474--475 (1930; JFM 56.0929.02)]. L'A. infine osserva che la funzione \(F(x) = \sum_{k=0}^\infty b^k \cos(a^k x)\), con \(a\) intero dispari e \(a b > 1 + \tfrac32 \pi\), la quale costituisce l'esempio di funzione continua e non derivabile addotto da Weierstrass è l'unica soluzione limitata dell'equazione funzionale \(F(x) - b F(ax) = \cos x\) in analogia a quanto accade per la funzione \(f(x)\) che è l'unica soluzione limitata dell'equazione: \(f(x) - a^{-1} f(ax) = \varphi(x)\).