Related papers: A short Proof of the Doob-Meyer Theorem

In the paper, we introduce the notion of a local regular supermartingale relative to a convex set of equivalent measures and prove for it an optional Doob decomposition in the discrete case. This Theorem is a generalization of the famous…

We show that for a quantum $L^p$-martingale $(X(t))$, $p>2$, there exists a Doob-Meyer decomposition of the submartingale $(|X(t)|^2)$. A noncommutative counterpart of a classical process continuous with probability one is introduced, and a…

We give an elementary proof of the celebrated Bichteler-Dellacherie Theorem which states that the class of stochastic processes $S$ allowing for a useful integration theory consists precisely of those processes which can be written in the…

We provide a general Doob-Meyer decomposition for $g$-supermartingale systems, which does not require any right-continuity on the system. In particular, it generalizes the Doob-Meyer decomposition of Mertens (1972) for classical…

We prove results on the existence of Dol\'{e}ans-Dade measures and of the Doob-Meyer decomposition for supermartingales indexed by a general index set

Using nonstandard analysis, a very short and elementary proof of the Doob-Meyer decomposition and the Dol{\'e}ans Dade theorems is provided.

In the paper, we introduce the notion of a local regular supermartingale relative to a convex set of equivalent measures and prove for it the necessary and sufficient conditions of optional Doob decomposition in the discrete case. This…

In the theory of progressive enlargements of filtrations, the supermartingale $Z_{t}=\mathbf{P}(g>t\mid \mathcal{F}_{t}) $ associated with an honest time g, and its additive (Doob-Meyer) decomposition, play an essential role. In this paper,…

We give a simple and rather elementary proof of the celebrated Bichteler-Dellacherie-Mokobodzki Theorem, which states that a process S is a good integrator if and only if it is a semimartingale. As a corollary, we obtain a characterization…

The paper considers the martingale theory in the $G$-framework. A form of Doob's optional sampling is established, which allows to prove the exact analogue of the classical maximal inequality. The obtained results are used to improve the…

Using the spectral measure $\mu_\mathbb{S}$ of the stopping time $\mathbb{S},$ we define the stopping element $X_\mathbb{S}$ as a Daniell integral $\int X_t\,d\mu_\mathbb{S}$ for an adapted stochastic process $(X_t)_{t\in J}$ that is a…

In this paper, using martingale techniques, we prove a generalization of Doob's maximal identity in the setting of continuous nonnegative local submartingales $(X_{t})$ of the form: $X_{t}=N_{t}+A_{t}$, where the measure $(dA_{t})$ is…

Let $X$ and $Y$ denote two independent squared Bessel processes of dimension $m$ and $n-m$, respectively, with $n\geq 2$ and $m \in [0, n)$, making $X+Y$ a squared Bessel process of dimension $n$. For appropriately chosen function $s$, the…

We study Doob's martingale convergence theorem for computable continuous time martingales on Brownian motion, in the context of algorithmic randomness. A characterization of the class of sample points for which the theorem holds is given.…

The Doob convergence theorem implies that the set of divergence of any martingale has measure zero. We prove that, conversely, any $G\_{\delta\sigma}$ subset of the Cantor space with Lebesgue-measure zero can be represented as the set of…

When analyzing probabilistic computations, a powerful approach is to first find a martingale---an expression on the program variables whose expectation remains invariant---and then apply the optional stopping theorem in order to infer…

We present the formalization of Doob's martingale convergence theorems in the mathlib library for the Lean theorem prover. These theorems give conditions under which (sub)martingales converge, almost everywhere or in $L^1$. In order to…

A class of stochastic processes, called "weak Dirichlet processes", is introduced and its properties are investigated in detail. This class is much larger than the class of Dirichlet processes. It is closed under C^1$-transformations and…

Let $G$ be a semimartingale, and $S$ its Snell envelope. Under the assumption that $G\in\mathcal{H}^1$, we show that the finite-variation part of $S$ is absolutely continuous with respect to the decreasing part of the finite-variation part…

It is well known that if a submartingale $X$ is bounded then the increasing predictable process $Y$ and the martingale $M$ from the Doob decomposition $% X=Y+M$ can be unbounded. In this paper for some classes of increasing convex functions…