Embedding laws in diffusions by functions of time

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 R such that .({0})=0, then there exists a unique left-continuous increasing function b:(0,.).R.{+.} and a unique left-continuous decreasing function c:(0,.).R.{..} 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 B.b,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.