1
$\begingroup$

Suppose $X=(X_t)$ is a stochastic process. I have a question about the notation $X_0$. Am I right, that $X_0(\omega)$ is not a constant. It depends on $\omega$ and can therefore have different values for different $\omega$? When do we know that $X_0$ is always a constant? Are there assumptions on the filtration? Suppose I know that $M_t:=X_t-X_0$ is a local martingale. Can I conclude that $X_t$ is a local martingale too? Obviously if $X_0$ is a constant, this is true. This is the motivation for my question.

Thank you for your help

hulik

  • 0
    Phil Protter says your process is a local martingale, with stopping like T = |X_0| > n or ...., but not everyone agrees. I think the definition in Revuz & Yor rules that sort of stopping time out.2012-10-30

1 Answers 1

0

By definition, if $(X_t)_{t\geq 0}$ is a stochastic process, then $X_t$ is a random variable for every $t\geq 0$. So indeed $X_0$ is a random variable (i.e. it is $\mathcal{F}$-$\mathcal{B}(\mathbb{R})$ measurable). If moreover $X_0$ is $\mathcal{F}_0$-measurable and integrable, then the "constant" process $(Y_t)_{t\geq 0}$ is a martingale, where $Y_t=X_0$ for every $t\geq 0$. This is just because $ E[Y_t\mid \mathcal{F}_s]=E[X_0\mid \mathcal{F}_s]=X_0 \quad \text{a.s.},\quad 0\leq s as $X_0$ is $\mathcal{F}_0$-measurable and $\mathcal{F}_0\subseteq \mathcal{F}_s$. So if $(M_t)_{t\geq 0}$ is a martingale, then $(M_t+Y_t)_{t\geq 0}=(X_t)_{t\geq 0}$ is also a martingale.