Certain properties of dyadic derivatives (Q1908446)

For each integer \(n\geq 0\) and each \(x\in [0, 1)\), define integers \(\alpha_n(x),\beta_n(x)\in [0, 2^n]\) by \(\alpha_n(x)/2^n\leq x< \beta_n(x)/2^n\), \(\beta_n(x)= \alpha_n(x)+ 1\). A function \(f\) on the interval \([0, 1)\) is said to be dyadically differentiable at \(x\) if \(2^n(f(\beta_n(x)/2^n)- f(\alpha_n(x)/2^n))\) converges as \(n\to \infty\). Refining one of his earlier results [Real Anal. Exch. 18, No. 1, 267-269 (1993; Zbl 0780.26008)], the author proves that for every \(\varepsilon> 0\) there is a continuous function \(f\) which is dyadically differentiable everywhere on \([0, 1)\) but has no ordinary derivative on a set \(E\subset [0, 1)\) of measure greater than \(1- \varepsilon\). The construction uses a function \(f\) which vanishes on a sufficiently thin Cantor set \(P\) and looks like copies of \(\sin^2 \theta\) on contiguous intervals of \(P\).