# Almost sure behavior for the local time of a diffusion in a spectrally negative L\'evy environment

## TL;DR

This paper investigates the almost sure asymptotic behavior of the supremum of local time for a diffusion in a spectrally negative Lévy environment, revealing new renormalization results linked to the environment's properties.

## Contribution

It provides the first detailed characterization of the extreme asymptotic behavior of local time in this setting, connecting it to the Lévy environment's Laplace exponent.

## Key findings

- Renormalization of large local time values depends on the Lévy environment's Laplace exponent.
- In the sub-ballistic regime, the supremum's behavior is linked to the tail of the exponential functional.
- The renormalization for small local time values is universal, independent of the environment.

## Abstract

We study the almost sure asymptotic behavior of the supremum of the local time for a transient diffusion in a spectrally negative L\'evy environment. More precisely, we provide the proper renormalizations for the extremely large and the extremely small values of the supremum of the local time. In particular, in the sub-ballistic regime, we link the almost sure behavior of the supremum of the local time with the left asymptotic tail of the exponential functional of the environment conditioned to stay positive, which allows to use the properties of such exponential functionals to characterize the sought behavior. It appears from our results that the renormalization of the extremely large values of the supremum of the local time in the sub-ballistic regime is determined by the asymptotic behavior of the Laplace exponent of the L\'evy environment, and is surprisingly greater than the renormalization that was previously known for the recurrent case. For the renormalization of the extremely small values of the supremum of the local time in the sub-ballistic regime, our results show that there is only one possible renormalization, whatever is the choice of the L\'evy environment.