## The Annals of Probability

### Thick points for spatial Brownian motion: multifractal analysis of occupation measure

#### Abstract

Let $\mathscr{T}(x,r)$ denote the total occupation measure of the ball of radius $r$ centered at $x$ for Brownian motion in $\mathbb{R}^3$. We prove that $\sup_{|x|\leq1}\mathscr{T}(x,r)/(r^{2}|\log r|)\rightarrow16/\pi^2$ a.s. as $r\rightarrow0$, thus solving a problem posed by Taylor in 1974. Furthermore, for any $a \in(0,16/\pi^2)$, the Hausdorff dimension of the set of “thick points” $x$ for which $\lim\sup_{r \to 0}\mathscr{T}(x,r)/(r^2|\log r|) = a$ is almost surely $2-a\pi^2 /8$; this is the correct scaling to obtain a nondegenerate “multifractal spectrum” for Brownian occupation measure. Analogous results hold for Brownian motion in any dimension $d \ge 3$. These results are related to the LIL of Ciesielski and Taylor for the Brownian occupation measure of small balls in the same way that Lévy’s uniform modulus of continuity, and the formula of Orey and Taylor for the dimension of “fast points ”are related to the usual LIL. We also show that the lim inf scaling of $\mathscr{T}(x,r)$ is quite different: we exhibit nonrandom $c_1,c_2 \ge 0$, such that $c_1 < \sup_x\lim \inf _{r \to 0}\mathscr{T}(x,y)/r^2 < c_2$ a.s. In the course of our work we provide a general framework for obtaining lower bounds on the Hausdorff dimension of random fractals of “limsup type.”

#### Article information

Source
Ann. Probab., Volume 28, Number 1 (2000), 1-35.

Dates
First available in Project Euclid: 18 April 2002

https://projecteuclid.org/euclid.aop/1019160110

Digital Object Identifier
doi:10.1214/aop/1019160110

Mathematical Reviews number (MathSciNet)
MR1755996

Zentralblatt MATH identifier
1130.60311

#### Citation

Dembo, Amir; Peres, Yuval; Rosen, Jay; Zeitouni, Ofer. Thick points for spatial Brownian motion: multifractal analysis of occupation measure. Ann. Probab. 28 (2000), no. 1, 1--35. doi:10.1214/aop/1019160110. https://projecteuclid.org/euclid.aop/1019160110

#### References

• [1] Barlow, M. T. and Perkins, E. (1984). Levels at which every Brownian excursion is exceptional. Seminar on Probability XVIII. Lecture Notes in Math. 1059 1-28. Springer, Berlin.
• [2] Benjamini, I. and Peres, Y. (1994). Tree-indexed random walks on groups and first passage percolation. Probab. Theory Related Fields 98 91-112.
• [3] Ciesielski,and Taylor, S. J. (1962). First passage and sojourn times and the exact Hausdorff measure of the sample path. Trans. Amer. Math. Soc. 103 434-452.
• [4] Deheuvels, P. and Mason, D. M. (1998). Random fractal functional laws of the iterated logarithm. Studia Sci. Math Hungar. 34 89-106.
• [5] Dembo, A., Peres, Y., Rosen, J. and Zeitouni, O. (1999). Thick points for transient symmetric stable processes. Elect. J. Probab. 4 1-18.
• [6] Dembo, A., Peres, Y., Rosen, J. and Zeitouni, O. (1999) Thick points for planar Brownian motion and the Erd os-Taylor conjecture on random walk. Acta Math. To appear.
• [7] Dembo, A., Peres, Y., Rosen, J. and Zeitouni, O. (1999). Thin points for Brownian motion. Ann. Inst. H. Poincar´e Math. Statist. Probab. To appear.
• [8] Falconer, K. J. (1990). Fractal Geometry: Mathematical Foundations and Applications. Wiley, NewYork.
• [9] Hu, X. and Taylor, S. J. (1997). The multifractal structure of stable occupation measure. Stochastic Process. Appl. 66 283-299.
• [10] Kaufman, R. (1969). Une propri´et´e metriqu´e du mouvement brownien. C. R. Acad. Sci. Paris 268 727-728.
• [11] Lawler, G. The frontier of a Brownian path is multifractal. Preprint.
• [12] Olsen, L. (1995). A multifractal formalism. Adv. Math. 116 82-196.
• [13] Orey, S. and Taylor, S. J. (1974). Howoften on a Brownian path does the lawof the iterated logarithm fail? Proc. London Math. Soc. 28 174-192.
• [14] Pemantle, R. and Peres, Y. (1995). Galton-Watson trees with the same mean have the same polar sets. Ann. Probab. 23 1102-1124.
• [15] Pemantle, R., Peres, Y. and Shapiro, J. W. (1996). The trace of spatial Brownian motion is capacity-equivalent to the unit square. Probab. Theory Related Fields 106 379-399.
• [16] Peres, Y. (1996). Intersection-equivalence of Brownian paths and certain branching processes. Comm. Math. Phys. 177 417-443.
• [17] Perkins, E. A. (1983). On the Hausdorff dimension of Brownian slow points.Wahrsch. Verw. Gebeite 64 369-399.
• [18] Perkins, E. A. and Taylor, S. J. (1987). Uniform measure results for the image of subsets under Brownian motion. Probab. Theory Related Fields 76 257-289.
• [19] Perkins, E. A. and Taylor, S. J. (1988). Measuring close approaches on a Brownian path. Ann. Probab. 16 1458-1480.
• [20] Perkins, E. A. and Taylor, S. J. (1998). The multifractal structure of super-Brownian motion. Ann. Inst. H. Poincar´e Math. Statist. Probab. 34 97-138.
• [21] Revuz D. and Yor, M. (1991) Continuous Martingales and Brownian Motion. Springer, New York.
• [22] Reidi, R. (1995). An improved multifractal formalism and self-similar measures. J. Math. Anal. Appl. 189 462-490.
• [23] Rogers, C. A. and Taylor, S. J. (1961). Functions continuous and singular with respect to a Hausdorff measure. Mathematika 8 1-31.
• [24] Shieh, N.-R. and Taylor, S. J. (1998). Logarithmic multifractal spectrum of stable occupation
• measure. Stochastic Process. Appl. 75 249-269. [Correction (1999). Trends in Probability and Related Analysis 147-158. World Scientific, Singapore.
• [25] Stroock, D. W. (1993). Probability Theory, an Analytic View. Cambridge Univ. Press.
• [26] Taylor, S. J. (1974). Regularity of irregularities on a Brownian path. Ann. Inst. Fourier (Grenoble) 39 195-203.
• [27] Taylor, S. J. (1986). The measure theory of random fractals. Math. Proc. Cambridge Philos. Soc. 100 383-406.
• [28] Taylor, S. J. (1995). Super Brownian motion is a fractal measure for which the multifractal formalism is invalid. In Symposium in Honor of Benoit Mandelbrot 3 737-746 (Curagao).
• [29] Taylor, S. J. and Tricot, C. (1985). Packing measure and its evaluation for a Brownian path. Trans. Amer. Math. Soc. 288 679-699.
• [30] Tricot, C. (1982). Two definitions of fractal dimension. Math. Proc. Cambridge Philos. Soc. 91 57-74.
• [31] Watson, G. N. (1922). A Treatise on the Theory of Bessel Functions. Cambridge Univ. Press.