We define the supremum process of Brownian Motion by:
Here are two facts about Brownian Motion. Firstly, the Reflection Principle:
which we motivate by ‘stopping’ at time 
and conclude that
The second fact comes from the decomposition of BM into local times and excursions:
where L is the local time process at 0, and this equality in distribution holds for the processes. See the previous post on excursion theory for explanation of what local times mean.
In particular, combining these two facts gives:
I thought that was rather surprising, and wanted to think of a straightforward reason why this should be true. I think the following works:
Brownian motion is time-reversible. In particular, as processes, we have
Eventually Almost Everywhere 
Pingback: Subordinators and the Arcsine rule | Eventually Almost Everywhere
Somebody asked a while back on the quant forum
http://quant.stackexchange.com/questions/1157/why-is-the-ratio-of-hi-low-range-to-open-close-range-close-to-2/
why it seems to be that
$ \frac {E(H-L)}{E|C-O|} =2$
for various Open-High-Low-Close financial data, but this is a simple consequence of what you have worked out here.
Thanks for that. I don’t know enough about financial stochastic models to say under what level of generality it might be appropriate to model this stock data as Brownian motion, but yes, if that is a valid assumption, then you can certainly take an expectation to get the result the OP is asking about.
It’s true that Brownian motion with a Gaussian law is not the most accurate model for the movement of stock prices, but it would seem to me that for a continuous Markov martingale process based on any fixed, infinitely divisible, symmetric distribution, it would still be true that
all have the same distribution for a given t, because your arguments of reflection and time reversal would still apply. By all means do enlighten me if I am wrong.
Yes, so I think that’s right. If your model is Markov then it has independent increments, fixed distribution means stationary increments, infinitely divisible is the third property required to be a Levy process. If it is a martingale as well, then it has zero drift and continuity plus the decomposition of the Levy-Khintchine formula (see post a few days ago) confirms that in fact the model must be a Brownian motion up to a scale factor (at least if this is one-dimensional).
Pingback: The reflection principle and conditioned RWs | Eventually Almost Everywhere