---
title: Optional Strong Supermartingales
url: https://www.emergentmind.com/topics/optional-strong-supermartingales
type: topic
---

# Optional Strong Supermartingales

An optional strong supermartingale is an $\mathbb{R}$-valued process that generalizes the classical notion of supermartingales to the setting of optional processes, particularly accommodating possible discontinuities and non-càdlàg paths. The development of this concept underpins a large class of stochastic processes with irregular sample paths, plays a central role in the theory of stochastic integration, and forms a cornerstone in the analysis of reflected backward stochastic differential equations (RBSDEs), nonlinear expectations, and the characterization of random times such as honest times. Key foundational works include Mertens' extension of the Doob-Meyer decomposition, the generalization to $g$-supermartingale systems, and deep connections with reflected BSDEs and optimal stopping problems.

## 1. Definitions and Core Properties

An **optional strong supermartingale** is an $\mathcal{O}$-measurable process $X = (X_t)_{t\ge0}$ such that for any pair of stopping times $\sigma \leq \tau$, the integrability $X_\tau \in L^1$ holds and the strong supermartingale property
\[
E[X_\tau \mid \mathcal{F}_\sigma] \le X_\sigma \quad \text{a.s.}
\]
is satisfied. The process is said to be of **class (D)** if $\{ X_\tau : \tau < \infty \}$ is uniformly integrable; of **class (DL)** if the same holds on each finite time-horizon $[0,T]$ [1312.2024, 1801.03873, 1504.06094].

Optional strong (super)martingales are optional processes not requiring right-continuity, and can possess both left and right jumps. The class (D) condition is essential for uniqueness and the applicability of general decomposition theorems [1504.06094].

## 2. Mertens Decomposition and Generalizations

The **Mertens decomposition** is a refinement of the Doob-Meyer decomposition for (optional strong) supermartingales of class (D) that need not be càdlàg [1504.06094]:
\[
X_t = M_t - A_t - C_{t-}
\]
where $M$ is a càdlàg uniformly integrable martingale, $A$ is a predictable, right-continuous, nondecreasing process with $A_0=0$, and $C$ is an adapted, right-continuous, pure-jump, nondecreasing process with $C_{0-}=0$. At each predictable time $\tau$, $\Delta A_\tau = X_{\tau-}-X_\tau$ and $\Delta C_t = X_t-X_{t+}$, enforcing left-continuity at predictable times and right-upper-semicontinuity, respectively [1504.06094].

The decomposition generalizes further: for $g$-supermartingale systems, the **Doob-Meyer-Mertens decomposition** provides aggregation and decomposition for $g$-supermartingales (via BSDEs) even without right-continuity, yielding predictable $A$, predictable $Z$, and an orthogonal martingale $N$ in the representation [1505.00597].

## 3. Limits, Stability, and Fatou Convergence

Given a sequence $\{ M^n \}$ of nonnegative martingales, there exists a sequence of convex combinations $\{ \widetilde{M}^n \}$ and a limiting process $X$ such that $\widetilde{M}^n_\tau \to X_\tau$ in probability for every stopping time $\tau$, with $X$ an optional strong supermartingale [1312.2024]. This construction coincides, except on a countable set, with the **Fatou limit**:
\[
\overline{X}_t = \lim_{q \downarrow t, q \in \mathbb{Q}} \limsup_{n \to \infty} \widetilde{M}^n_q
\]
with corrections at certain stopping times. No version of almost-sure simultaneous convergence at all stopping times exists [1312.2024].

Additionally, similar Komlós-type results hold for limits of optional strong supermartingales, their left limits, and their stochastic integrals, with explicit limit descriptions relating $X^{(1)}_{\tau-}, X^{(0)}_\tau$ for optional and predictable versions [1312.2024].

## 4. Applications to BSDEs and Nonlinear Expectations

In the study of **reflected BSDEs with irregular obstacles**, optional strong supermartingales provide the natural class for the solution process when the obstacle is only right-upper-semicontinuous. The solution to such an RBSDE can be decomposed as an optional strong supermartingale, and the Mertens decomposition yields the additive structure for the process increments, as well as minimality (Skorokhod) conditions for the increasing parts [1504.06094].

Beyond the classical linear case, the general Doob-Meyer-Mertens decomposition for $g$-supermartingale systems provides a robust tool for BSDEs with constraints or nonlinear drivers, crucial for risk measures and nonlinear expectation theory [1505.00597].

## 5. Characterization via Drawdown and Honest Times

The technology of optional strong supermartingales underpins the **drawdown and multiplicative decompositions** central to the theory of Azéma supermartingales and the characterization of honest times [1801.03873]. Any finite honest time $\tau$ can be associated bijectively with a class of nonnegative local optional supermartingales $N$ with continuous running supremum and $N_0=1, \lim_{t\to\infty} N_t = 0$:
\[
\tau = \sup\{ t \ge 0 : N_t = \overline{N}_t \}, \quad Z_t = \frac{N_t}{\overline{N}_t}
\]
where $Z_t = P(\tau > t \mid \mathcal{F}_t)$ is the Azéma supermartingale [1801.03873].

This representation admits both additive (drawdown) and multiplicative (relative drawdown) forms and extends to semimartingales of class $(\Sigma)$, accommodating jumps in the finite variation part and allowing for broad generalizations of pricing formulas (e.g., the Madan-Roynette-Yor formula).

## 6. Structural Features, Semimartingale Classes, and Optional Decompositions

An optional semimartingale $X = X_0 + M + A$ is of **class $(\Sigma)$** if $X_0=0$, $A$ has no right jumps (left-continuous and continuous parts), and the Skorokhod reflection condition holds:
\[
\int 1_{\{X_{s-}>0\}} \, dA^c_s = 0, \quad \int 1_{\{X_s>0\}} \, dA^g_s = 0
\]
with $A^d\equiv 0$. Such structure enables one to recover broad generalizations in optimal stopping and option pricing, encapsulated in level-set representations and various dualities [1801.03873].

Additionally, the general Doob-Meyer-Mertens theory under (nonlinear) $g$-expectations enables optional decompositions even in the presence of portfolio constraints, imposing $H_s \in \Gamma_s$ almost everywhere for a process $H$ integrand with respect to a continuous martingale $M$ [1505.00597].

## 7. Summary Table of Key Structural Results

| Result/Property              | Decomposition                        | Key Features                                                 |
|------------------------------|--------------------------------------|--------------------------------------------------------------|
| Mertens Decomposition        | $X = M - A - C_{-}$                  | $M$: càdlàg martingale; $A$: predictable nondecreasing; $C$: pure-jump, right-continuous, nondecreasing [1504.06094] |
| $g$-Doob-Meyer-Mertens       | $X = X_0 + M - A + \int g$           | $g$-driver, predictable $A$, with minimality under $g$-expectation [1505.00597]                       |
| Drawdown/Multiplicative Form | $Z_t = \frac{N_t}{\overline{N}_t}$   | $N$ $\in \mathcal{N}_0$; continuous running supremum, drawdown links [1801.03873]                   |
| Fatou Limit Construction     | $\overline{X}_t = \lim_{q\downarrow t}\limsup_n$ | Coincides with optional strong supermartingale limit [1312.2024]                          |

The corpus of results on optional strong supermartingales forms a unified theory connecting general process decompositions, stability under limits, nonlinear expectations, reflected BSDEs, and the fine structure of random times in stochastic analysis [1312.2024, 1504.06094, 1505.00597, 1801.03873].

Source: https://www.emergentmind.com/topics/optional-strong-supermartingales