On Skorokhod Embeddings and Poisson Equations

Abstract

The classical Skorokhod embedding problem for a Brownian motion $W$ asks to find a stopping time $τ$ so that $W_τ$ is distributed according to a prescribed probability distribution $μ$. Many solutions have been proposed during the past 50 years and applications in different fields emerged. This article deals with a generalized Skorokhod embedding problem (SEP): Let $X$ be a Markov process with initial marginal distribution $μ_0$ and let $μ_1$ be a probability measure. The task is to find a stopping time $τ$ such that $X_τ$ is distributed according to $μ_1$. More precisely, we study the question of deciding if a finite mean solution to the SEP can exist for given $μ_0, μ_1$ and the task of giving a solution which is as explicit as possible. If $μ_0$ and $μ_1$ have positive densities $h_0$ and $h_1$ and the generator $\mathcal A$ of $X$ has a formal adjoint operator $\mathcal A^*$, then we propose necessary and sufficient conditions for the existence of an embedding in terms of the Poisson equation $\mathcal A^* H=h_1-h_0$ and give a fairly explicit construction of the stopping time using the solution of the Poisson equation. For the class of Lévy processes we carry out the procedure and extend a result of Bertoin and Le Jan to Lévy processes without local times.