Embedding laws in diffusions by functions of time

From MaRDI portal



Abstract: We present a constructive probabilistic proof of the fact that if B=(Bt)tge0 is standard Brownian motion started at 0, and mu is a given probability measure on mathbbR such that mu(0)=0, then there exists a unique left-continuous increasing function b:(0,infty)ightarrowmathbbRcup+infty and a unique left-continuous decreasing function c:(0,infty)ightarrowmathbbRcup−infty such that B stopped at or has the law mu. The method of proof relies upon weak convergence arguments arising from Helly's selection theorem and makes use of the L'{e}vy metric which appears to be novel in the context of embedding theorems. We show that aub,c is minimal in the sense of Monroe so that the stopped process Baub,c=(Btwedgeaub,c)tge0 satisfies natural uniform integrability conditions expressed in terms of mu. We also show that aub,c has the smallest truncated expectation among all stopping times that embed mu into B. The main results extend from standard Brownian motion to all recurrent diffusion processes on the real line.


Consider a recurrent diffusion \((X_t)_{t\geq 0}\) on the real line started at \(0\), e.g., a standard Brownian motion, and let \(\mu\) denote a given probability measure on \(\mathbb{R}\) with \(\mu(\{0\})= 0\). Then, there exist unique left-continuous functions \(b: (0,\infty)\to\mathbb{R}\cup \{\infty\}\) increasing and \(c: (0,\infty)\to\mathbb{R}\cup\{-\infty\}\) decreasing such that \(X_\tau\) with \(\tau:= \text{inf}\{t>0\mid X_t\geq b(t)\) or \(X_t\leq c(t)\}\) is distributed according to \(\mu\). In their proof, the authors use weak convergence arguments arising from Helly's selection theorem. The proof is constructive, i.e., a simple algorithm is supplied for computing sequences of functions approximating \(b\) and \(c\), respectively. Furthermore, suppose that \(b=+\infty\) if \(\text{supp}(\mu)\subseteq\mathbb{R}^-\) and \(c=-\infty\) if \(\text{supp}(\mu)\subseteq\mathbb{R}^+\). Then, if \(\sigma\) is any stopping time such that \(X_\sigma\sim X_\tau\), \(\tau\) is optimal, i.e., if \(F: \mathbb{R}^+\to\overline{\mathbb{R}}\) is concave such that \(\mathbb{E} F(\tau)\) exists, then \(\mathbb{E} F(\tau)\leq\mathbb{E} F(\sigma)\), in particular \(\mathbb{E}(\tau\wedge T)\leq\mathbb{E}(\sigma\wedge T)\) for all \(T>0\). If, in addition \(\sigma\leq\tau\) a.s., then even \(\sigma=\tau\) a.s., i.e., \(\tau\) is minimal in the sense of \textit{I. Monroe} [Ann. Math. Stat. 43, 1293--1311 (1972; Zbl 0267.60050)]. As a corollary, \((X_{t\wedge\tau})_{t\geq 0}\) satisfies natural uniform integrability conditions in terms of \(\mu\).











This page was built for publication: Embedding laws in diffusions by functions of time

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q888534)