Skip to content
Preprint

On the boundaries, asymptotic law and Bernoulli-Doob representation of homogeneous bounded martingales

Jul 2026 · 1 citation · 17 references
Mathematics

Abstract

We study homogeneous diffusion martingales evolving in a bounded state space $D=[a,b]$, where $a$ and $b$ are zeros of the diffusion coefficient. We call a process of the form $Z_t=\mathbb{E}[B\mid\mathcal{F}_t]$, with $B$ a Bernoulli random variable, a Bernoulli-Doob martingale. Our main results establish a complete equivalence: every such diffusion martingale is a Bernoulli-Doob martingale (Theorem 2) and, conversely, every continuous time-homogeneous Markov Bernoulli-Doob martingale on a Brownian filtration arises from such a diffusion (Theorem 3). The intuitive reason is that a bounded martingale has constant expectation while accumulating variance, so it converges to the maximum-variance distribution with given mean and range, namely the Bernoulli. We further show that this Bernoulli limit is truly asymptotic: for any fixed finite horizon $T$, the probability of not yet having reached the boundary is strictly positive (Theorem 4), even when the individual boundaries are accessible. We clarify the relationship between Feller's boundary classification, the pathwise SDE framework, and the martingale constraint, showing that the martingale property forces absorption at any attainable boundary. The theory is illustrated with the $\Phi$-martingale, the Jacobi martingale, and applications to credit-risk modelling.

View source

Similar papers

Preprint Jul 2026

Local structure at the maximum and sharp persistence asymptotics of rough fractional Brownian motion

We consider a fractional Brownian motion $B$ with Hurst index $0<H<1/2$, and its maximiser $\tau$ on $[0,1]$. We show that the rescaled process $a^H(B_{\tau+\,\cdot\,/a}-B_\tau)$ converges in $C_{\mathrm{loc}}(\mathbb R)$ to a limiting tangent law that is $H$-self-similar, supported on nonpositive paths pinned at zero,...

C. Mönch · 0 citations
Preprint Aug 2026

Penalisation of Two-Dimensional Brownian Motion

We study a penalisation problem for two-dimensional Brownian motion. Starting from the Wiener measure, we consider a family of probability measures obtained by weighting paths by a nonnegative functional $F_t$ depending on $t \geq 0$, $F_t$ being measurable with respect to the $\sigma$-algebra generated by the path up...

Joseph Najnudel, Thammadol Tansrivorarat · 0 citations
Preprint Aug 2026

Existence of densities and atoms for the running maximum of time-inhomogeneous jump diffusions

We prove absolute continuity of the running maximum $X^{\ast}_T=\sup_{0\leq s\leq T}X_s$ of one-dimensional time-inhomogeneous L\'evy--It\^o diffusions driven by a Brownian motion and an independent non-truncated pure-jump L\'evy process. Using Bismut's directional Malliavin calculus on the Wiener--Poisson space togeth...

Takuya Nakagawa, Ryoichi Suzuki · 0 citations
Preprint Jul 2026

Mirror Langevin diffusions: Convergence rates and Markov chain approximations

Given a strongly convex function $u$, equip $R^d$ with a Riemannian metric given by the Hessian $\nabla^2 u$. This is a so-called Hessian manifold. Given a probability density $\mu$ one may run a Langevin diffusion intrinsic to the manifold with stationary distribution $\mu$. Such (Hessian) manifold-valued Langevin dif...

Benjamin Capdeville, Young-Heon Kim, Soumik Pal · 0 citations
Preprint Aug 2026

Langevin dynamics along the zero set of real-analytic potentials

We consider the Langevin diffusion $dX_t = - \beta \nabla V(X_t) dt + \sqrt{2} dB_t$ for a general nonnegative real-analytic potential $V$ and a large parameter $\beta$. In the large-$\beta$ limit the process is confined to the zero set of $V$, assuming that it starts there. We derive a candidate limiting evolution on...

Martin Larsson · 0 citations
Preprint Jul 2026

A Kolmogorov fourth-moment bound on Poisson chaos via a martingale core

For any finite family of Poisson multiple integrals and any finite $p\geq2$, we construct a common increasing filtration generated by finitely many exact Poisson counts such that the associated conditional expectations converge in $L^p$, remain in their original chaoses, and have bounded step kernels with finite-measur...

Guangqu Zheng · 1 citation · ⚡1

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.