Conditioning diffusion processes with respect to the local time at the origin

Abstract

When the unconditioned process is a diffusion process $X(t)$ of drift $\mu (x)$ and of diffusion coefficient $D=1/2$, the local time $A(t)={\int }_0^{t}d\tau \delta (X(\tau ))$ at the origin $x=0$ is one of the most important time-additive observable. We construct various conditioned processes $[X^{\ast }(t),A^{\ast }(t)]$ involving the local time $A^{\ast }(T)$ at the time horizon $T$. When the horizon $T$ is finite, we consider the conditioning towards the final position $X^{\ast }(T)$ and towards the final local time $A^{\ast }(T)$, as well as the conditioning towards the final local time $A^{\ast }(T)$ alone without any condition on the final position $X^{\ast }(T)$. In the limit of the infinite time horizon $T\to +\infty$, we consider the conditioning towards the finite asymptotic local time $A_{\infty }^{\ast }<+\infty$, as well as the conditioning towards the intensive local time $a^{\ast }$ corresponding to the extensive behavior $A_T\simeq T{a}^{\ast }$, that can be compared with the appropriate 'canonical conditioning' based on the generating function of the local time in the regime of large deviations. This general construction is then applied to generate various constrained stochastic trajectories for three unconditioned diffusions with different recurrence/transience properties : (i) the simplest example of transient diffusion corresponds to the uniform strictly positive drift $\mu (x)=\mu >0$; (ii) the simplest example of diffusion converging towards an equilibrium is given by the drift $\mu (x)=-\mu \mathrm{sgn}(x)$ of parameter $\mu >0$; (iii) the simplest example of recurrent diffusion that does not converge towards an equilibrium is the Brownian motion without drift $\mu =0$.

47 pages, 5 figures, added 2 tables

References in corpus (18)

• Dynamic first-order phase transition in kinetically constrained models of glasses
• First-order dynamical phase transition in models of glasses: an approach based on ensembles of histories
• Construction of a Coordinate Bethe Ansatz for the asymmetric simple exclusion process with open boundaries
• On the time to reach maximum for a variety of constrained Brownian motions
• Brownian motion with dry friction: Fokker-Planck approach
• Spectral theory of fluctuations in time-average statistical mechanics of reversible and driven systems
• Large deviations at level 2.5 for Markovian open quantum systems: quantum jumps and quantum state diffusion
• Dynamical large deviations of reflected diffusions
• Thermodynamic formalism and large deviation functions in continuous time Markov dynamics
• Large deviations of the Lyapunov exponent in 2D matrix Langevin dynamics with applications to one-dimensional Anderson Localization models
• Large deviations of currents in diffusions with reflective boundaries
• Non-intersecting Brownian bridges in the flat-to-flat geometry
• Revisiting the Ruelle thermodynamic formalism for Markov trajectories with application to the glassy phase of random trap models
• Effective Hamiltonians and Lagrangians for conditioned Markov processes at large volume
• Generating discrete-time constrained random walks and Lévy flights
• Strongly constrained stochastic processes: the multi-ends Brownian bridge
• Generating constrained run-and-tumble trajectories
• Microcanonical conditioning of Markov processes on time-additive observables

Cited by in corpus (4)

• Nonequilibrium diffusion processes via non-Hermitian electromagnetic quantum mechanics with application to the statistics of entropy production in the Brownian gyrator
• Large deviations in statistics of the local time and occupation time for a run and tumble particle
• Joint distribution of two Local Times for diffusion processes with the application to the construction of various conditioned processes
• Conditioning the tanh-drift process on first-passage times: Exact drifts, bridges, and process equivalences