Stopped UI discrete time martingale is UI

martingalesprobabilitystochastic-processesstopping-timesuniform-integrability

If $\{X_n\}$ is a uniformly integrable discrete time Martingale, and if $\tau$ is a (possibly $\infty$-valued) stopping time, then $\{X_{\tau \wedge n}\}$ is uniformly integrable (note I don't care that $\{X_{\tau \wedge n}\}$ is a martingale). The only proof I've seen of this uses stuff about test functions. Is it possible to give an elementary proof without this test function definition of uniform integrability?

Best Answer

Since $(X_n)$ is UI, we know there exists $X_\infty \in L^1(\mathcal F_\infty)$ such that $(X_n) \rightarrow X_\infty$ a.s. and in $L^1$. Furthermore, the uniform integrability and optional stopping theorem guarantee that $X_{n \wedge \tau} = \mathbb{E}[X_\infty | \mathcal F_{n \wedge \tau}]$. For the definition of uniform integrability, we want to show that $\sup_{n} \mathbb{E}[|X_{n \wedge \tau}| 1_{|X_{n \wedge \tau}| > R}]$ tends to $0$ as $R$ tends to $\infty$. We compute

\begin{align*} \mathbb{E}[|X_{n \wedge \tau}| 1_{|X_{n \wedge \tau}| > R}] &= \mathbb{E}[|\mathbb{E}[X_\infty|\mathcal F_{n \wedge \tau}]| 1_{|X_{n \wedge \tau}| > R}] \\ &\le \mathbb{E}[\mathbb{E}[|X_\infty||\mathcal F_{n \wedge \tau}] 1_{|X_{n \wedge \tau}| > R}] \\ &= \mathbb{E}[\mathbb{E}[|X_\infty|1_{|X_{n \wedge \tau}| > R}|\mathcal F_{n \wedge \tau}]] \\ &= \mathbb{E}[|X_\infty|1_{|X_{n \wedge \tau}| > R}] \end{align*}

and by Markov's inequality $P(|X_{n \wedge \tau}| > R) \le \frac 1R \mathbb{E}[|X_{n \wedge \tau}|] \le \frac 1R \mathbb{E}[|X_{\infty}|]$, where the last inequality comes from the same argument as above. Therefore we can choose $R$ such that $P(|X_{n \wedge \tau}| > R)$ is arbitrarily small for all $n$, and therefore $\mathbb{E}[|X_\infty|1_{|X_{n \wedge \tau}| > R}]$ can be made arbitrarily small as well. Since $$\mathbb{E}[|X_{n \wedge \tau}| 1_{|X_{n \wedge \tau}| > R}] \le \mathbb{E}[|X_\infty|1_{|X_{n \wedge \tau}| > R}]$$ this proves the uniform integrability of $(X_{n \wedge \tau})$.

Related Question