Related papers: Generalization of Doob decomposition 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 the necessary and sufficient conditions of optional Doob decomposition in the discrete case. This…
In the paper, the martingales and super-martingales relative to a convex set of equivalent measures are systematically studied. The notion of local regular super-martingale relative to a convex set of equivalent measures is introduced and…
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
We present an elementary treatment of the Optional Decomposition Theorem for continuous semimartingales and general filtrations. This treatment does not assume the existence of equivalent local martingale measure(s), only that of strictly…
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…
Every submartingale S of class D has a unique Doob-Meyer decomposition S=M+A, where M is a martingale and A is a predictable increasing process starting at 0. We provide a short and elementary prove of the Doob-Meyer decomposition theorem.…
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 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…
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…
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.…
In this work, we aim to study a strong version of Ito's lemma for convex function. By considering the corresponding sub-martingale on a Brownian motion, we gain more insights about the convex function through a probabilistic viewpoint. The…
The concept of finitely additive supermartingales, originally due to Bochner, is revived and developed. We exploit it to study measure decompositions over filtered probability spaces and the properties of the associated Dol\'{e}ans-Dade…
This paper extends classical probabilistic results to the broader class of demimartingales and demisubmartingales. We establish variants of Doob's-type optional sampling theorem under minimal structural conditions on stopping times, relying…
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…
With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…
Doob's theorem provides guarantees of consistent estimation and posterior consistency under very general conditions. Despite the limitation that it only guarantees consistency on a set with prior probability 1, for many models arising in…
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 investigate under what conditions holomorphic forms defined on the regular locus of a reduced complex space extend to holomorphic (or logarithmic) forms on a resolution of singularities. We give a simple necessary and sufficient…
We develop a general framework for extracting highly uniform bounds on local stability for stochastic processes in terms of information on fluctuations or crossings. This includes a large class of martingales: As a corollary of our main…
We characterize the event of convergence of a local supermartingale. Conditions are given in terms of its predictable characteristics and quadratic variation. The notion of stationarily local integrability plays a key role.