3
$\begingroup$

Let $(X_t, t \geq 0)$ be a predictable square integrable process. Let \begin{align*} Y_t := \exp\left(\int_0^t X_s dW_s - \int_0^t X_s^2 ds \right) \end{align*} Prove that $\mathbb{E}[Y_t] \leq 1$, $\forall t > 0$.

I was trying to get the Ito process form for $Y_t$, because, if I'm correct, if $dY_t = g_tdt + f_tdW_t$, then $\mathbb{E}[Y_t]$ is dependent only on the first part (because $\int_0^t f_tdW_t = 0$ is a martingale almost always, so its expectation should equal to zero). Let $Z_t := \int_0^t X_s dW_s - \int_0^t X_s^2 ds $. Then \begin{align*} dY_t &= e^{Z_t} dZ_t + \frac{1}{2}e^{Z_t}d[Z_t] = \\ &= e^{Z_t}X_t dW_t - e^{Z_t}X^2_t dt + \frac{1}{2}e^{Z_t}X^2_t dt = \\ &= e^{Z_t}X_t dW_t - \frac{1}{2}e^{Z_t}X^2_t dt \end{align*} I have no idea, what should I do next, because how to evaluate $\mathbb{E}[\frac{1}{2}e^{Z_t}X^2_t]$?

Any help would be appreciated.

$\endgroup$
2
  • 2
    $\begingroup$ What have you tried so far? Do you have any thoughts on how to show this? $\endgroup$ Mar 24 at 14:59
  • 1
    $\begingroup$ I thought I was completely wrong, so initially I didn't add my attempts. I added them now. $\endgroup$
    – Jaimi
    Mar 24 at 15:23

1 Answer 1

6
$\begingroup$

You showed $dY_t = e^{Z_t}X_t dW_t - \frac 12 e^{Z_t}X_t^2 dt$, so $$Y_t = Y_0 + \int_0^t e^{Z_s}X_s dW_s - \frac 12 \int_0^t e^{Z_s}X_s^2ds.$$

If we take for granted that $\mathbb{E}[\int_0^t e^{Z_s}X_s dW_s] = 0$ (we don't actually need this assumption, but it simplifies the computation a little bit), then \begin{align*} \mathbb{E}[Y_t] = Y_0 - \frac 12 \int_0^t \mathbb{E}[e^{Z_s}X_s^2]ds. \end{align*} You are correct that evaluating $\mathbb{E}[e^{Z_s}X_s^2]$ is hard, but the only important thing is that it is non-negative, so $\mathbb{E}[Y_t] \le Y_0 = 1$.

If you didn't want to assume $\mathbb{E}[\int_0^t e^{Z_s}X_s dW_s] = 0$, note that $dY_t = e^{Z_t}X_t dW_t - \frac 12 e^{Z_t}X_t^2 dt$ implies $Y$ is a local supermartingale. Then, because $Y$ is non-negative, one can use Fatou's lemma to show $\mathbb{E}[Y_t] \le Y_0$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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