Paper detail

Large deviations for the boundary local time of doubly reflected Brownian Motion

We compute a closed-form expression for the moment generating function $\hat{f}(x;λ,α)=\frac{1}λ\mathbb{E}_x(e^{αL_τ})$, where $L_t$ is the local time at zero for standard Brownian motion with reflecting barriers at $0$ and $b$, and $τ\sim \mathrm{Exp}(λ)$ is independent of $W$. By analyzing how and where $\hat{f}(x;\cdot,α)$ blows up in $λ$, a large-time large deviation principle (LDP) for $L_t/t$ is established using a Tauberian result and the Gärtner-Ellis Theorem.