Multifractal analysis of the Brjuno function (Q1745392)

In this paper, the main attention is given to the Brjuno function defined by the continued fraction expansion of numbers from \((0,1)\). Let us note that the domain of this function is the set of irrational numbers. The importance of this function is noted and a brief survey on investigations of properties of the function is given by the authors. Three steps of the multifractal analysis of a certain function \(f\) are described. A structure of items of the multifractal analysis of the Brjuno function is considered, and a motivation for performing such analysis is explained. The present article contains the following items: \begin{itemize} \item[---] Determination of the 1-exponent of the Brjuno function. This section consists of the following items: \begin{itemize} \item[\(\circ\)] Global and pointwise irregularity of the Brjuno function. \item[\(\circ\)] Pointwise regularity of the Brjuno function. \end{itemize} \item[---] Badly approximable numbers. \item[---] Additional pointwise regularity results: \begin{itemize} \item[\(\circ\)] Hölder regularity of the primitive of the Brjuno function. \item[\(\circ\)] The \(p\)-exponent of the Brjuno function for \(p>1\). \end{itemize} \item[---] Concluding remarks. In this section, open problems related to the topic of this paper are noted. \end{itemize} One can note the abstract of the authors: ``The Brjuno function \(B\) is a \(1\)-periodic, nowhere locally bounded function, introduced by Yoccoz because it encapsulates a key information concerning analytic small divisor problems in dimension \(1\). We show that \(T^{p} _{\alpha}\) regularity, introduced by Calderón and Zygmund, is the only one which is relevant in order to unfold the pointwise regularity properties of \(B\); we determine its \(T^{p} _{\alpha}\) regularity at every point and show that it is directly related to the irrationality exponent \(\tau(x)\): its \(p\)-exponent at \(x\) is exactly \(1/\tau (x)\). This new example of multifractal function puts into light a new link between dynamical systems and fractal geometry. Finally we also determine the Hölder exponent of a primitive of \(B\).''