- Published 2012

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

@inproceedings{Cox2012EmbeddingLI,
title={Embedding Laws in Diffusions by Functions of Time},
author={Alexander M. G. Cox},
year={2012}
}