The joint law of the total local times at two levels for -paths of symmetric Lévy processes is shown to admit an explicit representation in terms of the laws of the squared Bessel processes of dimensions two and zero. The law of the total local time at a single level for bridges is also discussed.
"On the Laws of Total Local Times for -Paths and Bridges of Symmetric Lévy Processes." Abstr. Appl. Anal. 2013 (SI04) 1 - 12, 2013. https://doi.org/10.1155/2013/463857