Mimicking and Conditional Control with Hard Killing

We first prove a mimicking theorem (also known as a Markovian projection theorem) for the marginal distributions of an Ito process conditioned to not have exited a given domain. We then apply this new result to the proof of a conjecture of P.L. Lions for the optimal control of conditioned processes.