Large Excursions of Reflected Lévy Processes: Local Asymptotics

This paper establishes uniform local large-deviation asymptotics for excursions of a Lévy process X with negative drift $-β$ and $α$-locally regularly varying Lévy measure $ν$, reflected at its running infimum. Under the excursion measure n, we first prove that the lifetime $ζ$ and height ε satisfy {equation*} {n}(ζ∈(t,t+δ] ) ~ {n}(ε∈ (βt,βt+βδ]) ~{n}(ζ)·ν((βt,βt+βδ]), as t→∞, {equation*} uniformly in δ∈[δ₀,∞] for every δ₀>0. In contrast to the asymptotic equivalence of the corresponding tail events, fixed-width lifetime and height windows have asymptotically negligible relative overlap. Nevertheless, for any positive function $θ$ satisfying |Xₜ+βt|/θₜ→0 in probability, {equation*} n( |ε-βt| ≤ θ_t \,|\, ζ∈ (t,t+δ] ) ~ n( |ζ-t| ≤ θ_t \,|\, ε∈ (βt,βt+βδ] ) → 1 . {equation*} For conditioning windows of sublinear width bounded away from zero, both conditional excursion laws converge under spatial rescaling to a single-jump process with deterministic jump size and random arrival time determined by the integrated excursion survival function. An additional time rescaling yields the same deterministic linear descent killed at zero. Finally, we identify the joint limiting distribution of the unscaled pre-terminal position and terminal overshoot, including continuous and discontinuous termination.