1
$\begingroup$

Let $M_n$ be a vector-valued $F_n$-martingale ($M_n:\Omega \rightarrow R^p$). Is then $\lVert M_n \rVert $ also a martingale?

I have $E(M_{n+1} | F_n)= M_n$ and liked to say something about $E(\lVert M_{n+1} \rVert \mid F_n )= \lVert M_n \rVert$.

I tried to construct a counter-example, let $M_2=Y_1+Y_2$, then it would be enough to find RV $Y_1, Y_2$ such that $E(\lVert Y_1+Y_2 \rVert \mid F_1) =\lVert Y_1 \rVert $ and $E(Y_2 \mid F_1) \neq 0$ is possible at the same time.

  • 2
    You have two different $n$'s running around in your question. (Maybe $M_n : \Omega \to R^p$ would be better). At any rate, let $M_n$ be real-valued. Since all norms are convex, then $\|M_n\|$ is a *submartingale*. Let $M_n$ be a simple random walk and consider what happens when $M_n = 0$.2011-10-19
  • 0
    $Y_i$ Bernoulli, $P(Y_i=1)=1/2=P(Y_i=-1)$. $n=2$ $M_2=0=Y_1+Y_2$ means that the signs of $Y_i$ turned out differently. $0=E(||M_2|| \mid F_1) \stackrel{?}{=} ||Y_1||$ and $Y_1\neq0$2011-10-19
  • 2
    More explicitly, let $\{\xi_i\}$ be iid $\mathrm{Ber}(1/2)$. Take $M_n = \sum_{i=1}^n \xi_i$ and $M_0 = 0$. Now, $M_n$ is a martingale, but, $\mathbb E (\|M_1\| \mid \|M_0\|) = 1$ almost surely.2011-10-19
  • 0
    You wrote $E(||M_1|| \mid F_0)=1$ so this counter-example shows that ||M_n|| is not a martingale concerning the filtration $F^{(1)}_n=\sigma\{||M_0||, \dotsc, ||M_n||\}$.. This could still mean that $||M_{n}||$ is a $F_n$-martingale where $F_n$ is another filtration than $\sigma(\{M_0, \dotsc, M_n\})$ (the natural filtration of $M_n$) and than $F^{(1)}_n$2011-10-19
  • 0
    I got a little sloppy. It still holds under the original filtration $\{\mathcal F_n\}$ as you should be able to see/verify.2011-10-19
  • 0
    (Note, for instance, that $\|M_0\|=M_0$ so they generate the same sigma field.)2011-10-19
  • 0
    Yes, I saw this, so there is a counter-example that works if either $F_n=\sigma\{ \lVert M_0 \rVert, \dotsc, \lVert M_n \rVert \}$ or $F_n=\sigma\{ M_0 , \dotsc, M_n \}$. If the filtration used is different, the question is still open. I think the reminder that it is a **submartingale** is quite helpful and I think it is probable that one could extent the counter-example to the case of other filtrations.2011-10-19
  • 0
    Could you state explicitly which question is open?2011-10-19
  • 0
    @Gortaur If $||M_n||$ is a martingale concerning a different filtration than $\mathcal{F}^M_n$ or $\mathcal{F}^{\lVert M_n \rVert}_n$. Right now I conclude "probably not" because the counter-example seems like it could be extendible to other filtrations2011-10-19

1 Answers 1

6

If $M$ is a martingale in the filtration $(F_n)$, $\|M\|$ is a sub-martingale in $(F_n)$. Assume that $\|M\|$ is a martingale in another filtration $(G_n)$, then $\mathrm E(\|M_n\|)$ is constant. Any submartingale with constant expectation is a martingale hence $\|M\|$ is a martingale in $(F_n)$.

Finally, it seems that a martingale $M$ is such that there exists a filtration in which $\|M\|$ is also a martingale if there exists a deterministic nonzero vector $\vec{u}$ such that $M_n=\lambda_n\cdot\vec{u}$ almost surely, for a nonnegative real valued martingale $(\lambda_n)$.

  • 0
    $\|\cdot\|$ is not strictly convex. I believe the condition on $M_n$ to have $\|M_n\|$ martingale should be that there is a half-line (from the origin) that supports all the $M_n$.2011-10-19
  • 0
    @pgassiat, thanks, I modified my post.2011-10-19
  • 0
    @pgassiat But the proposition that $\varphi(M_n)$ is a submartingale just demands $\varphi$ convex and for each $n$, $\varphi(M_n) \in \L^1$.. I want to apply a Inequality by Doob which - I looked at a reference - also holds for submartingales, so it would be good to know if the "strict convexity" is necessary2011-10-25
  • 0
    @JohannesL : my comment was referring to an earlier version of Didier Piau's answer. You only need convexity (not strict) to have that $\varphi(M_n)$ is a submartingale . However it will be a martingale iff all the $M_n$ take value (a.s.) on a subset where $\varphi$ is affine (this simply comes from the case of equality in Jensen's inequality). I hope this answers your comment.2011-10-26