Doob decomposition theorem

Let (\Omega, \mathcal{F}, \mathbb{P}) be a probability space, {{math|1=I = {0, 1, 2, ..., N}}} with N \in \N or I = \N_0 a finite or countably infinite index set, (\mathcal{F}_n)_{n \in I} a filtration of \mathcal{F}, and an adapted stochastic process with for all . Then there exist a martingale and an integrable predictable process starting with such that for every . Here predictable means that is \mathcal{F}_{n-1}-measurable for every {{math|n ∈ I \ {0}}}. This decomposition is almost surely unique. Remark The theorem is valid word for word also for stochastic processes taking values in the -dimensional Euclidean space \Reals^d or the complex vector space \Complex^d. This follows from the one-dimensional version by considering the components individually. ==Proof==

Existence Using conditional expectations, define the processes and , for every , explicitly by {{NumBlk|:|A_n=\sum_{k=1}^n\bigl(\mathbb{E}[X_k\,|\,\mathcal{F}_{k-1}]-X_{k-1}\bigr)|}} and {{NumBlk|:|M_n=X_0+\sum_{k=1}^n\bigl(X_k-\mathbb{E}[X_k\,|\,\mathcal{F}_{k-1}]\bigr),|}} where the sums for are empty and defined as zero. Here adds up the expected increments of , and adds up the surprises, i.e., the part of every that is not known one time step before. Due to these definitions, (if ) and are -measurable because the process is adapted, and because the process is integrable, and the decomposition is valid for every . The martingale property :\mathbb{E}[M_n-M_{n-1}\,|\,\mathcal{F}_{n-1}]=0    a.s. also follows from the above definition (), for every {{math|n ∈ I \ {0}}}. Uniqueness To prove uniqueness, let be an additional decomposition. Then the process is a martingale, implying that :\mathbb{E}[Y_n\,|\,\mathcal{F}_{n-1}]=Y_{n-1}    a.s., and also predictable, implying that :\mathbb{E}[Y_n\,|\,\mathcal{F}_{n-1}]= Y_n    a.s. for any {{math|n ∈ I \ {0}}}. Since by the convention about the starting point of the predictable processes, this implies iteratively that almost surely for all , hence the decomposition is almost surely unique. ==Corollary==

A real-valued stochastic process is a submartingale if and only if it has a Doob decomposition into a martingale and an integrable predictable process that is almost surely increasing. It is a supermartingale, if and only if is almost surely decreasing. Proof If is a submartingale, then :\mathbb{E}[X_k\,|\,\mathcal{F}_{k-1}]\ge X_{k-1}    a.s. for all {{math|k ∈ I \ {0}}}, which is equivalent to saying that every term in definition () of is almost surely positive, hence is almost surely increasing. The equivalence for supermartingales is proved similarly. ==Example==

Let {{math|X (Xn)n∈\mathbb{N}_0}} be a sequence in independent, integrable, real-valued random variables. They are adapted to the filtration generated by the sequence, i.e. for all n \isin \mathbb{N}_0. By () and (), the Doob decomposition is given by :A_n=\sum_{k=1}^{n}\bigl(\mathbb{E}[X_k]-X_{k-1}\bigr),\quad n\in\mathbb{N}_0, and :M_n=X_0+\sum_{k=1}^{n}\bigl(X_k-\mathbb{E}[X_k]\bigr),\quad n\in\mathbb{N}_0. If the random variables of the original sequence  have mean zero, this simplifies to :A_n=-\sum_{k=0}^{n-1}X_k    and    M_n=\sum_{k=0}^{n}X_k,\quad n\in\mathbb{N}_0, hence both processes are (possibly time-inhomogeneous) random walks. If the sequence {{math|X (Xn)n∈\mathbb{N}_0}} consists of symmetric random variables taking the values and , then  is bounded, but the martingale  and the predictable process  are unbounded simple random walks (and not uniformly integrable), and Doob's optional stopping theorem might not be applicable to the martingale  unless the stopping time has a finite expectation. ==Application==

In mathematical finance, the Doob decomposition theorem can be used to determine the largest optimal exercise time of an American option. Let denote the non-negative, discounted payoffs of an American option in a -period financial market model, adapted to a filtration , and let \mathbb{Q}g denote an equivalent martingale measure. Let denote the Snell envelope of  with respect to \mathbb{Q}. The Snell envelope is the smallest \mathbb{Q}-supermartingale dominating and in a complete financial market it represents the minimal amount of capital necessary to hedge the American option up to maturity. Let denote the Doob decomposition with respect to \mathbb{Q} of the Snell envelope  into a martingale and a decreasing predictable process with . Then the largest stopping time to exercise the American option in an optimal way is :\tau_{\text{max}}:=\begin{cases}N&\text{if }A_N=0,\\\min\{n\in\{0,\dots,N-1\}\mid A_{n+1} Since is predictable, the event {{math|{τmax n} {An 0, An+1 \mathbb{Q}. ==Generalization==

The Doob decomposition theorem can be generalized from probability spaces to σ-finite measure spaces. ==Citations==