Torsional rigidity for regions with a Brownian boundary (Q1745343)

Let \(\mathcal{B}(t):=\mathbb{T}^m-\beta[0,t]\) be the complement of the path of an independent Brownian motion in the torus. The authors determine the leading order asymptotic behavior of the expected torsional rigidity as \(t\rightarrow\infty\) in dimension \(m\geq2\). If \(m=2\) and \(t\) is large, \(\mathcal{B}(t)\) decomposes into a large number of disjoint small components; if \(m=3\), \(\mathcal{B}(t)\) consists of lakes connected by narrow channels and may be thought of as a porous medium. The authors show Theorem. 1. If \(m=2\), then the torsional rigidity behaves like \(t^{\frac14}e^{-4(\pi t)^{\frac12}}\) as \(t\rightarrow\infty\). 2. If \(m=3\), then the torsional rigidity behaves like \[ (1+o(1))\frac2{t^2}\mathbb{E}_0\Big(\frac1{\text{cap}(\beta[0,1])^2}\Big) \] where \(\text{cap}(\beta[0,1])\) is the Newtonian capacity of \(\beta[0,1]\) in \(\mathbb{R}^3\). All inverse moments of \(\text{cap}(\beta[0,1])\) are finite. There are results in higher dimensions as well. Section 1 contains an introduction to the problem and presents the main results. Section 2 gives analytical facts concerning torsional rigidity. Section 3 deals with the 2-dimensional setting, Section 4 deals with the 3-dimensional setting, and Section 5 deals with the torsional rigidity if the dimension is at least 4. In Section 6, the Dirichlet heat kernel is studied and in Section 7, the capacity of the Wiener sausage is examined if the dimension is at least 4.