# How to show martingale is bounded in $L^1$?

Fix a filtered probability space $(\Omega,\mathcal{F},(\mathcal{F}_n)_{n\geq 0},\mathbb{P})$ and an $L^1$-bounded submartingale $X_n$.

We can show that, for $n\geq 0$, the sequence $(\mathbb E[X^+_p|\mathcal{F}_n],p\geq n)$ is increasing and converges to an a.s. limit $M_n$. We want to show that $(M_n)_{n\geq 0}$ is an $L^1$-bounded martingale.

$$\mathbb E[M_{n+1}|\mathcal{F}_n]=\mathbb E\lim_{p\to\infty}[\mathbb E[X_p^+|\mathcal{F}_{n+1}]|\mathcal{F}_n]$$

So it seems the right tool here is dominated convergence. By the conditional dominated convergence theorem, $M$ is a martingale if, for $n\geq0$, $\mathbb E|M_n|<\infty$.

How do we show that $M$ is $L^1$-bounded?

Thank you.

-

## 1 Answer

The $L^1$-bounded submartingale $(X^+_p)$ has a Riesz decomposition $$X^+_p=Y_p+Z_p\hskip1.5cm (1)$$ where $(Y_p)$ is a martingale and $Z_p\to 0$ in $L^1$. Conditioning on ${\cal F}_n$ where $p\geq n$, we get $$\mathbb{E}(X^+_p\, |\,{\cal F}_n) =\mathbb{E}(Y_p\, |\,{\cal F}_n)+\mathbb{E}(Z_p\, |\,{\cal F}_n)=Y_n +\mathbb{E}(Z_p\, |\,{\cal F}_n).$$ Letting $p\to\infty$ shows that $\mathbb{E}(X^+_p\, |\,{\cal F}_n)$ converges to $Y_n$ in $L^1$. The martingale $(Y_n)$ is $L^1$ bounded by (1).

The Riesz decomposition follows because $(X^+_p)$ is a quasimartingale, see this reference.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 28, "mathjax_display_tex": 3, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9180859923362732, "perplexity_flag": "head"}