Strong Markov property for Levy Processes

962 Views Asked by At

I cannot understand one step of a proof in Theorem 32 of the first Chapter of Preliminaries of Protter. enter image description here I cannot follow how the Optional stopping theorem was applied n times here to yield $P(A) \prod f_{t_j-t_{j-1}}(u_j)$. I see that we can use the independent increments of the Levy Process to simplify $f$'s

In other words I cannot show how

$$E\{ \mathcal{1}_A \prod \frac{M_{T+t_j}^{u_j}}{M_{T+t_{j-1}}^{u_j}}\}=P(A)$$ Can you please help me out. I would be grateful?

1

There are 1 best solutions below

2
On

Start with the case $n=1$: You need to show that $$ E\left\{1_A{M^{u_1}_{T+t_1}\over M^{u_1}_{T+t_0}}{f_{T+t_1}(u_1)\over f_{T+t_0}(u_1)}\right\}=E\left\{1_A{M^{u_1}_{T+t_0}\over M^{u_1}_{T+t_0}}{f_{T+t_1}(u_1)\over f_{T+t_0}(u_1)}\right\}=E\left\{1_A f_{t_1-t_0}(u_1)\right\}. $$ The first equlity above follows from the optional stopping theorem at time $T+t_0$, using that both $T$ and $M^{u_1}_{T+t_0}$ are $\mathcal F_{T+t_0}$-measurable. The second equality is because, for $t=T(\omega)$, $$ \eqalign{ f_{t+t_1}(u_1) &=E\{e^{iu_1X_{t+t_1}}\}\cr &=E\{e^{iu_1(X_{t+t_1}-X_{t+t_0})}e^{iu_1X_{t+t_0}}\}\cr &=E\{e^{iu_1(X_{t+t_1}-X_{t+t_0})}\}E\{e^{iu_1X_{t+t_0}}\}\cr &=f_{t_1-t_0}(u_1)f_{t+t_0}(u_1).\cr } $$ In the general case work backwards in time, using optional stopping at $T+t_{n-1}$, then at $T+t_{n-2}$, etc.