Typical upper \(L^q\)-dimensions of measures for \(q\in [0,1]\) (Q950539)

The lower and upper \(q\)-th dimensions of a probability measure \(\mu\) on a subset of \({\mathbb R}^d\) (\(\underline{D}_\mu(q)\) and \(\overline{D}_\mu(q)\)) are defined, respectively, as the lower and upper limits of the the log-ratios \[ {\log \int \mu(B(x,r))^{q-1} d\mu(x)} \over {-\log r} \] as \(r\) goes to zero. The \(q\)th-dimensions play a key role in the Multifractal Formalism [\textit{K. J. Falconer}, Techniques in Fractal Geometry. Chichester: John Wiley \& Sons. (1997; Zbl 0869.28003)]. In a previous work [Monatsh. Math. 146, No. 2, 143--157 (2005; Zbl 1080.28006)], the author studied the behaviour of the \(q\)-th dimensions \(\underline{D}_\mu(q)\) and \(\overline{D}_\mu(q)\) for \(q\geq 1\) of a typical measure (in the sense of Baire's category in the space of Borel probability measures on \(K\) endowed with the weak topology). In this complementary work he studies the same question for \(\overline{D}_\mu(q)\) and for \(q\in [0,1]\). The typical behaviour of \(\underline{D}_\mu(q)\) for \(q\in[0,1]\) (and of both lower and upper dimensions for \(q<0\)) are not obtained but conjectured in the paper.