last updated: October 16, 2024

Stochastic Processes and Financial Mathematics
(part one)

\(\newcommand{\footnotename}{footnote}\) \(\def \LWRfootnote {1}\) \(\newcommand {\footnote }[2][\LWRfootnote ]{{}^{\mathrm {#1}}}\) \(\newcommand {\footnotemark }[1][\LWRfootnote ]{{}^{\mathrm {#1}}}\) \(\let \LWRorighspace \hspace \) \(\renewcommand {\hspace }{\ifstar \LWRorighspace \LWRorighspace }\) \(\newcommand {\mathnormal }[1]{{#1}}\) \(\newcommand \ensuremath [1]{#1}\) \(\newcommand {\LWRframebox }[2][]{\fbox {#2}} \newcommand {\framebox }[1][]{\LWRframebox } \) \(\newcommand {\setlength }[2]{}\) \(\newcommand {\addtolength }[2]{}\) \(\newcommand {\setcounter }[2]{}\) \(\newcommand {\addtocounter }[2]{}\) \(\newcommand {\arabic }[1]{}\) \(\newcommand {\number }[1]{}\) \(\newcommand {\noalign }[1]{\text {#1}\notag \\}\) \(\newcommand {\cline }[1]{}\) \(\newcommand {\directlua }[1]{\text {(directlua)}}\) \(\newcommand {\luatexdirectlua }[1]{\text {(directlua)}}\) \(\newcommand {\protect }{}\) \(\def \LWRabsorbnumber #1 {}\) \(\def \LWRabsorbquotenumber "#1 {}\) \(\newcommand {\LWRabsorboption }[1][]{}\) \(\newcommand {\LWRabsorbtwooptions }[1][]{\LWRabsorboption }\) \(\def \mathchar {\ifnextchar "\LWRabsorbquotenumber \LWRabsorbnumber }\) \(\def \mathcode #1={\mathchar }\) \(\let \delcode \mathcode \) \(\let \delimiter \mathchar \) \(\def \oe {\unicode {x0153}}\) \(\def \OE {\unicode {x0152}}\) \(\def \ae {\unicode {x00E6}}\) \(\def \AE {\unicode {x00C6}}\) \(\def \aa {\unicode {x00E5}}\) \(\def \AA {\unicode {x00C5}}\) \(\def \o {\unicode {x00F8}}\) \(\def \O {\unicode {x00D8}}\) \(\def \l {\unicode {x0142}}\) \(\def \L {\unicode {x0141}}\) \(\def \ss {\unicode {x00DF}}\) \(\def \SS {\unicode {x1E9E}}\) \(\def \dag {\unicode {x2020}}\) \(\def \ddag {\unicode {x2021}}\) \(\def \P {\unicode {x00B6}}\) \(\def \copyright {\unicode {x00A9}}\) \(\def \pounds {\unicode {x00A3}}\) \(\let \LWRref \ref \) \(\renewcommand {\ref }{\ifstar \LWRref \LWRref }\) \( \newcommand {\multicolumn }[3]{#3}\) \(\require {textcomp}\) \(\newcommand {\intertext }[1]{\text {#1}\notag \\}\) \(\let \Hat \hat \) \(\let \Check \check \) \(\let \Tilde \tilde \) \(\let \Acute \acute \) \(\let \Grave \grave \) \(\let \Dot \dot \) \(\let \Ddot \ddot \) \(\let \Breve \breve \) \(\let \Bar \bar \) \(\let \Vec \vec \) \(\DeclareMathOperator {\var }{var}\) \(\DeclareMathOperator {\cov }{cov}\) \(\def \ra {\Rightarrow }\) \(\def \to {\rightarrow }\) \(\def \iff {\Leftrightarrow }\) \(\def \sw {\subseteq }\) \(\def \wt {\widetilde }\) \(\def \mc {\mathcal }\) \(\def \mb {\mathbb }\) \(\def \sc {\setminus }\) \(\def \v {\textbf }\) \(\def \p {\partial }\) \(\def \E {\mb {E}}\) \(\def \P {\mb {P}}\) \(\def \R {\mb {R}}\) \(\def \C {\mb {C}}\) \(\def \N {\mb {N}}\) \(\def \Q {\mb {Q}}\) \(\def \Z {\mb {Z}}\) \(\def \B {\mb {B}}\) \(\def \~{\sim }\) \(\def \-{\,;\,}\) \(\def \|{\,|\,}\) \(\def \qed {$\blacksquare $}\) \(\def \1{\unicode {x1D7D9}}\) \(\def \cadlag {c\`{a}dl\`{a}g}\) \(\def \p {\partial }\) \(\def \l {\left }\) \(\def \r {\right }\) \(\def \F {\mc {F}}\) \(\def \G {\mc {G}}\) \(\def \H {\mc {H}}\) \(\def \Om {\Omega }\) \(\def \om {\omega }\)

7.3 The martingale convergence theorem

In this section, we are concerned with almost sure convergence of supermartingales \((M_n)\) as \(n\to \infty \). Naturally, martingales are a special case and submartingales can be handled through multiplying by \(-1\). We’ll need the following definition:

  • Definition 7.3.1 Let \(p\in [1,\infty )\). We say that a stochastic process \((X_n)\) is uniformly bounded in \(L^p\) if there exists some \(M<\infty \) such that, for all \(n\),

    \[\E \l [|X_n|^p\r ]\leq M.\]

As usual, we’ll mostly only be concerned with the cases \(p=1,2\).

Let \((M_n)\) be a stochastic process and fix \(a<b\). We define \(U_N[a,b]\) to be the number of upcrossings made in the interval \([a,b]\) by \(M_1,\dots ,M_N\). That is, \(U_n[a,b]\) is the largest \(k\) such there exists

\[ 0\leq s_1 < t_2 < \ldots < s_k < t_k \leq N \hspace {1pc}\text { such that }\hspace {1pc} M_{s_i}\leq a, M_{t_i}> b\;\text { for all }i=1,\ldots ,k. \]

This definition is best understood through a picture:

(An upcrossing)

Note that, for convenience, we draw \(M_n\) as a continuous (green line) although in fact it only changing value at discrete times.

Studying upcrossings is key to establishing almost sure convergence of supermartingales. To see why upcrossings are important, note that if \((c_n)\sw \R \) is a (deterministic) sequence and \(c_n\to c\), for some \(c\in \R \), then there is no interval \([a,b]\) \(a<b\) such that \((c_n)_{n=1}^\infty \) makes infinitely many upcrossings of \([a,b]\); if there was then \((c_n)\) would oscillate and couldn’t converge.

Note that \(U_N[a,b]\) is an increasing function of \(N\), and define \(U_\infty [a,b]\) by

\begin{equation} \label {eq:UNU} U_\infty [a,b](\omega )=\lim _{N\uparrow \infty } U_N[a,b](\omega ). \end{equation}

This is an almost surely limit, since it holds for each \(\omega \in \Omega \). With this definition, \(U_\infty [a,b]\) could potentially be infinite, but we can prove that it is not.

  • Lemma 7.3.2 Let \(M\) be a supermartingale. Then

    \[(b-a) \E [U_N[a,b]]\le \E [|M_N-a|]. \]

Proof: Let \(C_1=\1\{M_0<a\}\) and recursively define

\[ C_n=\1\{C_{n-1}=1,M_{n}\leq b\}+\1\{C_{n-1}=0,M_{n}\leq a\}. \]

The behaviour of \(C_n\) is that, when \(X\) enters the region below \(a\), \(C_n\) starts taking the value \(1\). It will continue to take the value \(1\) until \(M\) enters the region above \(b\), at which point \(C_n\) will start taking the value \(0\). It will continue to take the value \(0\) until \(M\) enters the region below \(a\), and so on. Hence,

\begin{equation} \label {eq:Doobup_eq} (C\circ M)_N=\sum _{k=1}^N C_{k-1}(M_{k}-M_{k-1}) \ge (b-a)U_N[a,b]-|M_N-a|. \end{equation}

That is, each upcrossing of \([a,b]\) by \(M\) picks up at least \((b-a)\); the final term corresponds to an upcrossing that \(M\) might have started but not finished.

Note that \(C_n\) is adapted, bounded and non-negative. Hence, by Theorem 7.1.1 we have that \(C\circ M\) is a supermartingale. Thus \(\E [(C\circ M)_N]\le 0\), which combined with (7.2) proves the given result.   ∎

  • Lemma 7.3.3 Suppose \(M\) is a supermartingale and uniformly bounded in \(L^1\). Then \(P[U_\infty [a,b]=\infty ]=0.\)

Proof: From Lemma 7.3.2 we have

\begin{equation} \label {eq:UNbound} (b-a) \E [U_N[a,b]]\leq |a|+\sup _{n\in \N }\E |M_n|. \end{equation}

We have that \(U_N[a,b]\) is increasing, as \(N\) increases, and the definition of \(U_\infty [a,b]\) in (7.1) gives that that \(U_N[a,n]\to U_\infty [a,b]\) almost surely as \(N\to \infty \). Hence, by the monotone convergence theorem, \(\E [U_N[a,b]]\to \E [U_\infty [a,b]]\), and so by letting \(N\to \infty \) in (7.3) we have

\[(b-a)\E [U_\infty [a,b]]\leq |a|+\sup _{n\in \N }\E |M_n|<\infty ,\]

which implies that \(\P [U_\infty [a,b]<\infty ]=1\).   ∎

Essentially, Lemma 7.3.3 says that the paths of \(M\) cannot oscillate indefinitely. This is the crucial ingredient of the martingale convergence theorem.

  • Theorem 7.3.4 (Martingale Convergence Theorem I) Suppose \(M\) is a supermartingale and uniformly bounded in \(L^1\). Then the limit \(M_n\stackrel {a.s.}{\to }M_\infty \) exists and \(\P [|M_\infty |<\infty ]=1\).

Proof: Define

\[\Lambda _{a,b}=\{\om :\text { for infinitely many }n, M_n(\omega )<a\}\cap \{\om :\text { for infinitely many }n, M_n(\omega )>b\}.\]

We observe that \(\Lambda _{a,b}\sw \{U_\infty [a,b]=\infty \}\), which has probability 0 by Lemma 7.3.3. But since

\[ \{\om : M_n(\om ) \mbox { does not converge to a limit in } [-\infty ,\infty ]\} = \bigcup _{\stackrel {a,b\in \mathbb {Q}}{a<b}} \Lambda _{a,b}, \]

we have that

\[ \P [M_n \mbox { converges to some } M_\infty \in [-\infty ,+\infty ]]=1\]

which proves the first part of the theorem.

To prove the second part we will use an inequality that holds for any convergent sequence \(M_n\stackrel {a.s.}{\to } M_\infty \) of random variables:

\begin{equation} \label {eq:fatou_subst} \E [|M_\infty |]\leq \sup _{n\in \N }\E [|M_n|]. \end{equation}

This inequality can be proved using the monotone convergence theorem and some careful analysis, see exercise 7.14. Since we assumed that \((M_n)\) is uniformly bounded in \(L^1\), (7.4) gives us that \(\E [|M_\infty |]<\infty \). Hence, \(\P [|M_\infty |=\infty ]=0\) (or else the expected value would be infinite).   ∎

One useful note is that if \(M_n\) is a non-negative supermartingale then we have \(\E [|M_n|]=\E [M_n]\le \E [M_0]\), so in this case \(M\) is uniformly bounded in \(L^1\).

Theorem 7.3.4 has one big disadvantage: it cannot tell us anything about the limit \(M_\infty \), except that it is finite. To gain more information about \(M_\infty \), we need an extra condition.

  • Corollary 7.3.5 (Martingale Convergence Theorem II) In the setting of Theorem 7.3.4, suppose additionally that \((M_n)\) is uniformly bounded in \(L^2\). Then \(M_n\to M_\infty \) in both \(L^1\) and \(L^2\), and

    \[\lim \limits _{n\to \infty }\E [M_n]=\E [M_\infty ],\hspace {2pc}\lim \limits _{n\to \infty }\var (M_n)\to \var (M_\infty ).\]

The proof of Corollary 7.3.5 is outside of the scope of our course.