Automorphic forms and differentiability properties (Q4452267)

Generalizing a classical example found by Riemann, the author considers Fourier series constructed via modular forms like \[ F_2(x) = \sum_{n=1}^{\infty} \frac{a_n}{n^{8/5}} \sin(2 \pi nx) \] where \(a_n\) denote the coefficients of the Hasse-Weil \(L\)-function of the elliptic curve \(y^2 = x^3 +1\), in particular with respect to differentiability properties of such functions. The example \(F_2\) above gives a continuous function differentiable in \({\mathbb Q}\) and non-differentiable in \({\mathbb R} - {\mathbb Q}\) with a graph of fractal dimension 7/5. The method is a clever combination of classical tools from function theory and measure theory with sophisticated results of modular form theory. The paper contains fascinating computer-generated pictures of graphs of such functions.