---
title: Doob–Meyer Decomposition in Stochastic Processes
url: https://www.emergentmind.com/topics/doob-meyer-decomposition-f6a0bba2-1e2f-4ac2-a0f6-ca93ad573253
type: topic
---

# Doob–Meyer Decomposition in Stochastic Processes

The Doob–Meyer decomposition is the canonical representation of a class D submartingale as the sum of a martingale and a predictable, integrable, increasing process. This decomposition is both unique and foundational in the theory of stochastic processes, underpinning much of the modern development of martingale theory, stochastic integration, stochastic control, and optimal stopping. Variants and extensions exist in nonlinear, sublinear, and noncommutative frameworks, as well as for specific classes of processes relevant in mathematical finance, probability, and analysis.

## 1. Formal Statement and Uniqueness

Let $(\Omega, \mathcal{F}, \{\mathcal{F}_t\}_{t\ge0}, P)$ be a filtered probability space with right-continuous and complete filtration. A real-valued, adapted process $S=(S_t)_{t\in[0,1]}$ with càdlàg paths is a submartingale of class D if $\{S_\tau:\,\tau\text{ stopping in }[0,1]\}$ is uniformly integrable and for all $0\leq s\leq t\leq1$, $E[|S_t|]<\infty$, $E[S_t|\mathcal{F}_s]\ge S_s$ a.s.

**Doob–Meyer Theorem:** For every such $S$, there exist unique processes $(M, A)$ such that:
- $M$ is a càdlàg martingale with $M_0 = S_0$,
- $A$ is integrable, predictable, increasing, $A_0 = 0$,
- $S_t = M_t + A_t$ for every $t \in [0,1]$ [1012.5292].

Uniqueness holds in the sense that if $S = M + A = M' + A'$, then $A = A'$ (as predictable, increasing processes) and $M = M'$.

## 2. Key Ingredients and Proof Structure

The standard proof leverages several elements:
- **Discrete Doob decomposition:** For each fixed grid, the process is represented as $S_j = M_j + A_j$ with explicit formulas for the compensator $A_j$ given by $E[S_j-S_{j-1}|\mathcal{F}_{j-1}]$ [1012.5292].
- **Komlós lemma:** Uniform integrability ensures existence of convex combinations of martingale increments converging strongly in $L^1$ [1012.5292].
- **Limit procedures:** Piecewise-constant or left-continuous approximations of $A$ (along dyadics) are shown to converge to a predictable, increasing process.
- **Predictability:** The predictability of $A$ is ensured by the fact that the limit of left-continuous, adapted processes is still predictable (using limiting arguments and the structure of the predictable $\sigma$-algebra).
- **Nonstandard analysis approach:** An alternative proof uses hyperfinite time grids and transfer principles to construct the decomposition, bypassing classical subsequence and compactness arguments [2508.17168].

## 3. Extensions and Generalizations

### G-Expectation Framework

In nonlinear settings—such as sublinear expectation spaces (G-expectation, initiated by Peng)—a version of the Doob–Meyer decomposition holds for G-supermartingales, taking the form $X_t = M_t - A_t$, where $M$ is a G-martingale and $A$ is an increasing, right-continuous, adapted process [1401.0677]. The "naturalness" of $A$ (orthogonality to G-martingales) replaces the classical predictability.

### $g$-Supermartingale Systems

For $g$-supermartingales associated with backward stochastic differential equations (BSDEs) driven by a driver $g(t,y,z)$, one obtains a Doob–Meyer–Mertens decomposition: for any $g$-supermartingale system $S(\tau)$, there exist processes $X$, $Z$, $A$, and an orthogonal local martingale $N$ such that
$$
X_\tau = X_0 - \int_0^\tau g(s,X_s,Z_s)ds - A_\tau + \int_0^\tau Z_s \cdot dW_s + N_\tau
$$
with $A$ predictable, increasing, $A_0=0$ [1505.00597].

### Stable Processes and Fractional Calculus

For $|X_t-x|^\gamma$ with $X$ a strictly $\alpha$-stable Lévy process and $\gamma \in (\alpha-1, \alpha)$, the Doob–Meyer decomposition has a martingale term given by compensated Poisson integrals and an explicit finite variation compensator involving local times and fractional powers [2209.01184].

## 4. Applications and Structural Roles

- **Optimal Stopping and the Snell Envelope:** The canonical decomposition of the Snell envelope $S_t = M_t - A_t$ is crucial in optimal stopping. The compensator $A$ is absolutely continuous with respect to the decreasing part of the drift in the gains process, and the value function inherits regularity properties from the decomposition (e.g., smooth pasting in free boundary problems) [1703.08413].
- **Stochastic Control and Duality:** The Doob–Meyer martingale part features in duality formulations of stochastic control, notably in the Davis–Karatzas–Rogers dual for optimal stopping, where the optimal control is characterized through the generator domain via the decomposition [1703.08413].
- **Convex Function Analysis:** By decomposing $f(W_t^x)$ for convex $f$ and Brownian motion $W_t^x$, one relates the increasing process to the Hessian measure of $f$, leading to stochastic proofs of Alexandrov's theorem on second-order differentiability almost everywhere [2603.21671].
- **Explicit Solution of Multi-dimensional Stopping Problems:** In explicit optimal stopping for sum- and product-type payoffs (e.g., Poisson disorder, investment, house-selling), the decomposition allows explicit determination of optimal stopping boundaries through identification of the drift density in the additive or multiplicative Doob–Meyer form [1705.01763].

## 5. Multiplicative and Nonlinear Decompositions

When dealing with positive special semimartingales, a multiplicative Doob–Meyer decomposition is available. For example, for $X_t = X_0 + M_t + A_t$ with $A_t = \int_0^t Y_s dV_s$, one can write $X_t = M^{\rm mult}_t A^{\rm mult}_t$ with $A^{\rm mult}_t = \exp\left(\int_0^t \frac{Y_s}{X_{s-}} dV_s\right)$, $M^{\rm mult}_t = X_t / A^{\rm mult}_t$, splitting the process into a positive local martingale factor and a "growth" factor [1705.01763].

Nonlinear and infinite-dimensional settings, as well as frameworks lacking right-continuity or possessing only sublinear structure, support their own analogues of the decomposition, often with compensator uniqueness characterized by naturalness or regularity conditions rather than simple predictability [1401.0677, 1505.00597].

## 6. Predictability, Compensators, and Doleans–Dade Characterization

The predictable, increasing compensator in the Doob–Meyer decomposition is characterized as the unique predictable process such that the difference with the original submartingale is a martingale. Equivalently, Doléans–Dade's theorem relates predictability and naturalness (orthogonality to bounded martingales) [2508.17168]:
$$
A \text{ is predictable} \iff \forall N \text{ bounded martingale},\;\;
E\left[\int_0^1 N_{t-} dA_t \right] = E[N_1 A_1].
$$

In G-martingale frameworks, predictability is substituted by right-continuity and naturality as the defining property of the compensator [1401.0677].

## 7. Influence and Generalizations

The Doob–Meyer decomposition has had wide influence:
- It underlies the theory of semimartingales and general stochastic integration,
- Forms the backbone of stochastic control, filtering, and dynamic risk measure theory,
- Admits short, elementary, or nonstandard proofs via hyperfinite grids and standardization [2508.17168],
- Extends through regularization to systems without right-continuity, to monotone stopping problems in multidimensional settings, and to various forms of nonlinear expectations,
- Facilitates solution of certain PDEs with obstacles via connection to potential theory and local time formulae [1703.08413, 2603.21671],
- Provides explicit calculational tools in optimal stopping for both classical and non-classical processes [1705.01763].

The decomposition also serves as a primary example of the interaction between path properties, filtration regularity, integrability, and the interplay of martingale and drift terms in advanced stochastic analysis.

Source: https://www.emergentmind.com/topics/doob-meyer-decomposition-f6a0bba2-1e2f-4ac2-a0f6-ca93ad573253