Continuity of the Multifractal Spectrum of a Random Statistically Self-Similar Measure

Until now [see Kahane;⁽¹⁹⁾ Holley and Waymire;⁽¹⁶⁾ Falconer;⁽¹⁴⁾ Olsen;⁽²⁹⁾ Molchan;⁽²⁸⁾ Arbeiter and Patzschke;⁽¹⁾ and Barral⁽³⁾] one determines the multifractal spectrum of a statistically self-similar positive measure of the type introduced, in particular by Mandelbrot,^{(26, 27)} only in the following way: let be such a measure, for example on the boundary of a c-ary tree equipped with the standard ultrametric distance; for 0, denote by E the set of the points where possesses a local Hölder exponent equal to , and dim E the Hausdorff dimension of E; then, there exists a deterministic open interval I*₊ and a function f: I*₊ such that for all in I, with probability one, dim E=f(). This statement is not completely satisfactory. Indeed, the main result in this paper is: with probability one, for all I, dim E=f(). This holds also for a new type of statistically self-similar measures deduced from a result recently obtained by Liu.⁽²²⁾ We also study another problem left open in the previous works on the subject: if =inf(I) or =sup(I), one does not know whether E is empty or not. Under suitable assumptions, we show that Eø and calculate dim E.