Past exam of the mathematics course of the University of Cambridge / 2004 / iii / Paper 28 / 1 / a / Solution

Let $(Z_k,{\mathcal{F}}_k{)}_{0\le k\le n}$ be an integrable real submartingale, and put $Z_n^{\ast }={\max }_{0\le k\le n}{Z}_k$. The refined Doob maximal inequality isIn particular, for a nonnegative submartingale the right-hand side is at most $\mathbb{E}{Z}_n$, giving the usual weak maximal bound.

For the proof, partition $A=\{Z_n^{\ast }\ge \lambda \}$ by its first crossing time: $A_k=\{Z_j<\lambda (j<k),Z_k\ge \lambda \}\in {\mathcal{F}}_k$. The submartingale property gives $\mathbb{E}[Z_n\mid {\mathcal{F}}_k]\ge Z_k$, soSumming over the disjoint crossing events proves the refined inequality, including a possible crossing at time zero. No independence assumption is needed.

The strong form is the Doob Lp maximal inequality. For $p>1$ and a nonnegative submartingale with $Z_n\in L^p$,Indeed, integrate the refined inequality against $p{\lambda }^{p-2}$ up to $K$. The tail integral formula for moments and the Tonelli theorem giveApply the Holder inequality, divide by $\Vert Z_n^{\ast }\wedge K{\Vert }_p^{p-1}$ when it is nonzero, and let $K\to \infty$ by the monotone convergence theorem. For a martingale $M$, the process $|M_k|$ is a submartingale by the conditional Jensen inequality, giving the corresponding bound for $\max |M_k|$. On a bounded continuous-time interval the nonnegative, right-continuous version follows by applying these inequalities on refining finite time grids and taking limits.