How round are the complementary components of planar Brownian motion?

Abstract

Consider a Brownian motion $W$ in $\mathbf{C}$ started from $0$ and run for time 1. Let $A(1),A(2),\ldots$ denote the bounded connected components of $\mathbf{C}-W([0,1])$. Let $R(i)$ (resp. $r(i)$) denote the out-radius (resp. in-radius) of $A(i)$ for $i\in\mathbf{N}$. Our main result is that ${\mathbf{E}}[\sum_{i}R(i)^{2}|\log R(i)|^{\theta}]<\infty$ for any $\theta<1$. We also prove that $\sum_{i}r(i)^{2}|\log r(i)|=\infty$ almost surely. These results have the interpretation that most of the components $A(i)$ have a rather regular or round shape.

Soit $W$ un mouvement brownien dans $\mathbf{C}$ issu de $0$. Soit $A(1),A(2),\ldots$ les composantes connexes bornées de $\mathbf{C}\setminus W([0,1])$. Soit $R(i)$ (resp. $r(i)$) le rayon extérieur (resp. le rayon intérieur) de $A(i)$, pour $i\in\mathbf{N}$. Notre résultat principal est que $\mathbf{E}[\sum_{i}R(i)^{2}|\log R(i)|^{\theta}]<\infty$ pour tout $\theta<1$. Nous montrons aussi que $\sum_{i}r(i)^{2}|\log r(i)|]=\infty$ presque surement. Ces résultats peuvent s’interpréter comme le fait que la plupart des composantes $A(i)$ ont une forme assez régulière, ou ronde.