We have the following result by Spitzer (see (1) or Port)
$lim_{t\to \infty}\frac{1}{t}\int_{\mathbb{R}^{n}/B_{r_{0}}}P_{x}(T_{B_{r_{0}}}<t)dx=Cap(B_{r_{0}})=\frac{r_{0}}{4\pi}$
By Chuancun and Rong (2) we have
$P_{x}(T_{B_{r_{0}}}<t)=\frac{2r_{0}}{\pi |x|}\int_{0}^{\infty}u^{-1}(1-e^{\frac{-u^{2}t}{2}})sin(u(|x|-r_{0}))du.$
Therefore, $\frac{r_{0}}{4\pi}=Cap(B_{r_{0}})=lim_{t\to \infty}\frac{1}{t}\int_{\mathbb{R}^{n}/B_{r_{0}}}\frac{2r_{0}}{\pi |x|}\int_{0}^{\infty}u^{-1}(1-e^{\frac{-u^{2}t}{2}})sin(u(|x|-r_{0}))dudx$
I am having trouble going from the integral expression to $\frac{r_{0}}{4\pi}$. Has anyone done this before?
Attempt
One can simplify the inner integral to
$lim_{t\to \infty}\frac{1}{t}\int_{\mathbb{R}^{n}/B_{r_{0}}}\frac{2r_{0}}{\pi |x|}[\frac{\pi}{2}-\frac{\pi}{2}erf(\frac{|x|-r_{0}}{\sqrt{2t}})]dx=$
$4\pi r_{0} lim_{t\to \infty}\frac{1}{t}\int_{r_{0}}^{\infty}[1-\frac{2}{\sqrt{\pi}}\int_{0}^{\frac{r-r_{0}}{2t}}e^{-u^{2}}du]r dr=$
$= \frac{r_{0}}{4\pi}$
which means that we must have
$lim_{t\to \infty}\frac{1}{t}\int_{r_{0}}^{\infty}[1-\frac{2}{\sqrt{\pi}}\int_{0}^{\frac{r-r_{0}}{2t}}e^{-u^{2}}du]r dr=\frac{1}{(4\pi)^{2}}$.
I find this hard to believe since there is an arbitrary $r_{0}$ on LHS but not on RHS. I will type as find things. If you have a solution or ideas please post.
thank you
(1)http://www.math.utah.edu/~mendez/capacities.pdf
(2)http://math.scichina.com:8081/sciAe/EN/abstract/abstract377404.shtml#