On the Convergence of Diffusion Processes Conditioned to Remain in a Bounded Region for Large Time to Limiting Positive Recurrent Diffusion Processes
Ross G. Pinsky · The Annals of Probability · 1985
Let $X(t)$ be a diffusion process on $R^d$ with generator $L = (1/2) abla \cdot a abla + b abla$ and let $\{P_x\}, x \in R^d$, be the corresponding measures on paths. Pick $0 s)$ (which are always satisfied if $a^{-1}b$ is a gradient function), we show that $Y^T(s)$ is an inhomogeneous diffusion process and that as $T \rightarrow \infty, Y^T(s), 0 \leq s \leq t$ converges to a limiting homogeneous positive recurrent diffusion $Y(s), 0 \leq s \leq t$, with state space $G$. Since $t$ is arbitrary, we actually obtain a limiting process $Y(s), 0 \leq s < \infty$. The generator of the limiting process may be written in the form $L_G = (1/2) abla \cdot a abla + b abla + a( abla g_0/g_0) abla - a abla h_{g_0} abla$ where $g_0$ is the square root of the density of a measure $\mu_0$ which minimizes the $I$-function for the process, over all $\gamma \in \mathscr{P}(\bar{G})$, the set of probability measures on $\bar{G}$. The function $h_{g_0}$ appears in the explicit calculation of $I(\mu_0)$ and solves a certain variational equation. The invariant measure for the process is $\mu_0$.