2
$\begingroup$

If $Y_n=\sum_{i=1}^n X_i$ is a martingale, where $X_i$ is a martingale difference sequence, $\mathbb{E}[X_n\mid \mathcal{F}_{n-1}]=0$ for all $n$, we know that $$ \mathbb{E}\big[Y_n^2-Y_{n-1}^2\big]=\mathbb{E}X_n^2.$$ A similar property, but now as an inequality, holds if we replace the square with the absolute value, $$ \mathbb{E}\big[|Y_n|-|Y_{n-1}|\big]\le\mathbb{E}|X_n|.$$ Does something analogous hold for other powers? Namely, something along the lines of $$ \mathbb{E}\big[|Y_n|^r-|Y_{n-1}|^r\big]\le C\mathbb{E}|X_n|^r,$$ for $1<r<2$ and some $C>0$?

I guess if the distribution of $X_n$ given $Y_{n-1}$ were symmetric about zero, then this would be a direct consequence of von Bahr-Essen bounds (Inequalities for the rth Absolute Moment of a Sum of Random Variables, $1 \le r\le 2$, The Annals of Mathematical Statistics, 36), with $C=1$. Does it also hold under weaker assumptions? The von Bahr-Essen paper states the first equation (equality in case of $r=2$) as a special case.

$\endgroup$

1 Answer 1

3
$\begingroup$

Yes, this inequality, with the best possible $C$ ($\le 2$), was proved in this paper; see e.g. inequality (1.11) there.

Indeed, that inequality implies that $$E\Big|\sum_{i=1}^m U_i\Big|^r\le E|U_1|^r+C_r\sum_{i=2}^m E|U_i|^r,$$ where the $U_i$'s are martingale differences and $C_r\in[1,2]$. Taking here $m=2$, $U_1:=Y_{n-1}$, and $U_2:=X_n$, we get $$E|Y_n|^r\le E|Y_{n-1}|^r+C_rE|X_n|^r,$$ as desired.

$\endgroup$
2
  • $\begingroup$ By an unimaginable stroke of coincidence, I've been reading this exact paper just now. Just to make sure I got it correctly, one gets $\mathbb{E}[|Y_n|^p] -\mathbb{E}[|Y_{n-1}|^p] \le C_p \mathbb{E}[|X_n|^p]$, where $1\le C_p\le 2$? That is, applying equation (1.11) in the paper to the setting above, with $n=2$, $X_1=Y_{n-1}$, $S_n=Y_n$, and well, $X_2=X_2$ $\endgroup$
    – mattia
    Commented Nov 2, 2021 at 16:50
  • $\begingroup$ @mattia : That's right. $\endgroup$ Commented Nov 2, 2021 at 17:22

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .