Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Here is an example in my textbook to illustrate why we need the continuous sample path in the definition of Brownian motion. Let $(B_t)$ be a Brownian motion and $U$ be a uniform random variable on $[0,1]$. Define $(\tilde B_t)$ by

$$ \tilde B_t = \begin{cases} B_t & \mbox{if } t\neq U, \\ 0 & \mbox{if } t = U. \end{cases} $$

Then it is claimed that $\tilde B_t$ has the same finite-dimensional distribution as $B_t$ but with discontinuous sample path if $B(U)\neq 0$. I do not understand this example. To be more specific,

  1. What does it mean by $t \neq U$ or $t=U$, please? Here, $t$ is a deterministic time and $U$ is a random variable. How can we talk about whether the two are equal or not?
  2. Since I do not get the definition of $\tilde B_t$, I cannot see why it has the same finite dimensional distribution and discontinuous sample path. Could anyone explain this with more detail, please? Thank you!
share|improve this question
1  
Could you please tell in which textbook you found this example? –  V. C. Aug 20 at 10:49

2 Answers 2

up vote 4 down vote accepted

Re 1., the expanded definition (maybe clearer) of the random process $\tilde B$ is that, for every $\omega$ in $\Omega$, $\tilde B_{U(\omega)}(\omega)=0$ and $\tilde B_t(\omega)=B_t(\omega)$ if $t\ne U(\omega)$. In short, $$ \tilde B_t=B_t\,\mathbf 1_{U\ne t}. $$ Re 2., the almost sure path discontinuity of $\tilde B$ should be obvious. To wit, the event that $\tilde B$ is continuous is $[B_U=0]$, the notation being again a shortcut, this time to the event $$ [\omega\in\Omega\mid B_{U(\omega)}(\omega)=0]. $$ Since $P(B_t=0)=0$ for every $t$ and $U$ is independent of $B$, one gets indeed that $P(B_U=0)=0$.

The equality of the finite marginal distributions of $B$ and $\tilde B$ follows from the remark that, for every finite subset $T$ of the time interval, the event $$ A=[\omega\in\Omega\mid\forall t\in T, B_t(\omega)=\tilde B_t(\omega)], $$ has full probability, since $P(U=t)=0$ for every fixed $t$ and $$ \Omega\setminus A\subseteq[U\in T]=\bigcup_{t\in T}[U=t]. $$

share|improve this answer

$U$ is a random variable, but its value is determined before the Brownian motion begins to evolve, we can tell if t equals $U$ or not.

Look at the finite dimensional distribution $(\tilde{B}_{t_1}, \cdots, \tilde{B}_{t_n})$ of $\tilde{B}_t$, we have $$(\tilde{B}_{t_1}, \cdots, \tilde{B}_{t_n}) = ({B}_{t_1}, \cdots, {B}_{t_n})$$ on the event $I = \{U\neq t_i,\cdots, U\neq t_n\}$.

But $P(I) = 1$, which means $(\tilde{B}_{t_1}, \cdots, \tilde{B}_{t_n}) = ({B}_{t_1}, \cdots, {B}_{t_n})$ almost surely. So we have $E[f(\tilde{B}_{t_1}, \cdots, \tilde{B}_{t_n})] = E[f({B}_{t_1}, \cdots, {B}_{t_n})]$ for any measurable function $f$

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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