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.

Let $B$ be a Brownian motion with natural filtration $(\mathcal{F}_t)_{t\geq 0}$ and let $\mathcal{H}_t$ be the $\sigma$-algebra generated by $\mathcal{F}_t$ and $B_1$.

Define

$$A_t = B_t-\int_0^{\min(t,1)} \frac{B_1-B_s}{1-s}ds$$

I'm trying to show that $A_t$ is a Brownian motion with respect to $(\mathcal{H_t})_{t\geq0}$.

As a first step, I'm attempting to show that $A_t$ is a martingale, but haven't made much progress.

Thank you.

share|improve this question
    
If you have to show that the integral is well-defined for $t=1$? –  Ilya Sep 24 '11 at 19:40
3  
The convergence at $t=1$ is a non-issue since $E(|B_1-B_s|)=\Theta(\sqrt{1-s})$. –  Did Sep 24 '11 at 21:16
2  
Note that $(B_1 - B_s)/(1-s) = B_1 - (B_s - s B_1)/(1-s)$ and the latter term is a Brownian motion under a change of time scale. –  cardinal Sep 24 '11 at 21:40
1  
@cardinal, good point. Let $X_s=B_s-sB_1$, then the process $(X_s)_{0\le s\le 1}$ is a Brownian bridge (from $0$ to $0$ at time $1$) and is independent on $B_1$. –  Did Sep 24 '11 at 21:48

1 Answer 1

up vote 2 down vote accepted

Look at the quadratic variation of the process.

Regards.

share|improve this answer
1  
Elaborting on TheBridge's answer you should be aware that one of the 'easy' ways to check a process is a brownian motion is to use Levy's Characterization theorem: almostsure.wordpress.com/2010/04/13/…. Computationally the majority of the proof can be reduced to checking the quadratic variation $[X]_t =t$. –  user7980 Sep 25 '11 at 1:56

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.