Torsional Rigidity for Regions with a Brownian Boundary
M. van den Berg, Erwin Bolthausen, Frank den Hollander ยท Potential Analysis ยท 2017
Let ๐ m be the m-dimensional unit torus, m โ โ. The torsional rigidity of an open set ฮฉ โ ๐ m is the integral with respect to Lebesgue measure over all starting points x โ ฮฉ of the expected lifetime in ฮฉ of a Brownian motion starting at x. In this paper we consider ฮฉ = ๐ m \ฮฒ[0, t], the complement of the path ร[0, t] of an independent Brownian motion up to time t. We compute the leading order asymptotic behaviour of the expectation of the torsional rigidity in the limit as t โ โ. For m = 2 the main contribution comes from the components in ๐2\ฮฒ0, t] whose inradius is comparable to the largest inradius, while for m = 3 most of ๐3\ฮฒ[0, t] contributes. A similar result holds for m โฅ 4 after the Brownian path is replaced by a shrinking Wiener sausage W r(t)[0, t] of radius r(t) = o(t -1/(m-2)), provided the shrinking is slow enough to ensure that the torsional rigidity tends to zero. Asymptotic properties of the capacity of ร[0, t] in โ3 and W 1[0, t] in โ m , m โฅ 4, play a central role throughout the paper. Our results contribute to a better understanding of the geometry of the complement of Brownian motion on ๐ m , which has received a lot of attention in the literature in past years.