Old friends revisited: The multifractal nature of some classical functions (Q675068)

The author gives multifractal analysis of some classical explicit functions introduced by Riemann, Jordan, Levy, and others. The Hölder exponent of a function \(f\) at \(x_0\) is defined by \[ h_f(x_0)= \sup\{\alpha: f\text{ is }C^\alpha(x_0)\} \] to measure the regularity of \(f\) at \(x_0\) and the spectrum of singularities is defined by \[ d(\alpha)= \dim\{x_0: h(x_0)=\alpha\}. \] Let \({p_n\over q_n}\) be the sequence of convergents of the continued fraction expansion of \(x_0\) and define \(\tau_n\) as \(\left|x_0-{p_n\over q_n}\right|= {1\over q^{\tau_n}_n}\) and \(\tau(x_0)=\limsup\{\tau_n: n\in A\}\) with \(A\) the set of integers \(n\) such that \(q_n\) is even. The main results are: 1. For the integrable Riemann function \(R(x)=\sum^\infty_{n=1} {nx\over n^2}\), \[ h_R(x_0)= {2\over\tau(x_0)}, \] \[ d_R(\alpha)= \begin{cases} \alpha, &\text{for }\alpha\in [0,1],\\ -\infty, &\text{elsewhere}.\end{cases} \] 2. For the Kahane function \(K(x)= \sum^\infty_{n=1} {nx\over n^3}\), \[ h_K(x_0)= {3\over\tau(x_0)}, \] \[ d_K(\alpha)= \begin{cases} {2\alpha\over 3}, &\text{for }\alpha\in [0,{2\over 3}],\\ 0, &\text{for }\alpha= 3,\\ -\infty, &\text{elsewhere}.\end{cases} \] The author also derives similar results for the Jordan function and the Levy function.