[Math] first passage time, brownian motion

random walksstochastic-processes

Hi,

If X(t) is Brownian motion in 2D, where X(0) = 0, then we can ask what is the expected time required to first hit a circle of radius R, centered at the origin. This is a First Passage Time problem. I believe that for Brownian motion this is a well understood subject. The First Passage Time, T, is usually expressed in the form of T as a function of R: T(R).

Now, please consider this related problem, What is the expected minimum radius R that fully contains the path of X(t) up to some time T? I'd like to write this as R(T).

Aren't the above two problems completely equivalent? For my work in physics, I'd like to formulate the problem in the second way. But it seems as though mathematicians never formulate it this way. They seem to always look at it as a First Passage Time problem. I would like to call the second formulation of the problem a "Boundary Expansion" problem. But I don't see any such phrase in the mathematics literature.

In summary, my question is, what do I call the function R(T)? It is fully equivalent to a First Passage Time problem (or so I think). But I can't really call it a First Passage Time, because it isn't a time, its a radius. Any suggestions welcome.

Thanks, Chris

Best Answer

While the expected value of first hitting time of circle of radius $r$ is certainly not directly related to the expected value of the maximum radius achieved up to time $t$, the following formula I found in Pitman and Yor's article does show the distributions of the two processes are related in a nice way: $$\displaystyle \mathcal{L}(M_{\delta*}^{-2}) = \mathcal{L}(\tau_\delta)$$ where $M_{\delta*} = M_{\delta*}(1)= \sup_{0 < t < 1} B_\delta(t)$ is the running maximum of the Bessel process of dimension $\delta$ up to time $1$, started at $0$, and $\tau_\delta = \inf\{t: B_\delta(t) =1\}$ is the first hitting time of $1$ of the same Bessel process. See this following linked article:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.596

The formula can be seen by realizing that $P(\tau_\delta > t) = P(M_{\delta*(1)} > t) = P(M_{\delta*}(t) > t^{-1/2})$ by Brownian scaling: $c^{1/2} B_t $ has the same law as $B_{ct}$.

Now the distribution function of $\tau_\delta$ is given in the following article as an infinite series, coming from Laplace transforms.

http://arxiv.org/pdf/1106.6132v3.pdf

The expected value of $\tau_\delta$ has a closed formula in terms of Bessel functions (hence the name; see formula 2.1 in the linked article 2). I don't expect $\mathbb{E} M_{\delta*}$ to have a closed form formula since it amounts to $\mathbb{E} \tau_{\delta}^{-1/2}$, i.e., a negative fractional moment.