6
$\begingroup$

Let $W_u, 0\leq u \leq t$ be Brownian motion. Let $m_t= min_{0\leq u\leq t} W_u$ and $M_t = max_{0 \leq u \leq t} W_u$.

The fact that $(M_t , W_t)$ is absolutely continuous with respect to Lebesgue measure on $\mathbb{R}^2$ is known in some stochastic calculus book.

By symmetry of Brownian motion, $(m_t,W_t)$ is absolutely continuous with respect to Lebesgue measure on $\mathbb{R}^2$.

I want to know whether $(m_t, M_t , W_t)$ is absolutely continuous with respect to Lebesgue measure on $\mathbb{R}^3$.

Since $P(x\leq m_t \leq M_t \leq y, W_t \in dx) = \sum_{k=-\infty}^{\infty} \bigg{[} \phi \big( \frac{x-2k(b-a)}{\sqrt{t}}) - \phi \big( \frac{x-2b-2k(b-a)}{\sqrt{t}}) \bigg{]}dx$,

If $(m_t,M_t,W_t)$ is absolutely continuous to Lebesgue measure on $\mathbb{R}^3$, I think I can calculate joint density of $m_t,M_t,W_t$.

Could you help me?

$\endgroup$
1
  • $\begingroup$ If it's true, it ought to be possible to prove by similar techniques to $(M_t, W_t)$. Have you tried to work through it? For instance, I would guess that the Malliavin calculus approach would work. On the other hand, if you can calculate formally what the density "should" be, then you can probably turn that into a proof that it really is. $\endgroup$ Aug 7, 2017 at 17:32

1 Answer 1

4
$\begingroup$

It appears that a proof is given in

Choi, ByoungSeon; Roh, JeongHo, On the trivariate joint distribution of Brownian motion and its maximum and minimum, Stat. Probab. Lett. 83, No. 4, 1046-1053 (2013). ZBL1266.60142.

$\endgroup$
3
  • $\begingroup$ What is the part that contains the proof? $\endgroup$
    – Planche
    Aug 8, 2017 at 4:06
  • $\begingroup$ I don't have access to the paper itself, but the abstract seems to suggest that it has a proof. Is that not the case? $\endgroup$ Aug 8, 2017 at 16:35
  • $\begingroup$ The paper in question does not anywhere use or claim there exists a joint density of $(m_t, M_t, W_t)$. In the cited paper, what the authors' call the 'trivariate joint density' refers to the density $P(a\leq m_t \leq M_t \leq b, W_t \in dx)$ for fixed $a \leq 0 \leq b$. $\endgroup$
    – nullUser
    Feb 10, 2021 at 19:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.