2017/10/20 by Boris Nectoux, Nectoux, Boris · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · #Advanced Mathematical Modeling in Engineering #Analysis of PDEs (math.AP) #Diffusion and Search Dynamics #FOS: Mathematics #Markov Chains and Monte Carlo Methods #math.AP
paper · pdf · doi:10.48550/arxiv.1710.07510
17 pages
openalex publication_date 2017/10/20 · openalex created_date 2017/11/10 · arxiv created 2018/07/10 · arxiv updated 2018/07/11 · openalex updated_date 2026/07/28
We prove a sharp asymptotic formula for the mean exit time from a bounded domain D⊂ \mathbb Rd for the overdamped Langevin dynamics d Xt = -∇ f(Xt) d t + √(2\ve) d Bt when \ve → 0 and in the case when D contains a unique non degenerate minimum of f and \pa\mbf nf>0 on \pa D. This formula was actually first derived in~\citematkowsky-schuss-77 using formal computations and we thus provide, in the reversible case, the first proof of it. As a direct consequence, we obtain when \ve → 0, a sharp asymptotic estimate of the smallest eigenvalue of the operator L\ve=-\ve Δ+∇ f⋅ ∇ associated with Dirichlet boundary conditions on \pa D. The approach does not require f|∂ D to be a Morse function. The proof is based on results from~\citeDay2,Day4 and a formula for the mean exit time from D introduced in~\citeBEGK, BGK.