Local time penalizations with various clocks for Lévy processes

Several long-time limit theorems of one-dimensional Lévy processes weighted and normalized by functions of the local time are studied. The long-time limits are taken via certain families of random times, called clocks: exponential clock, hitting time clock, two-point hitting time clock and inverse local time clock. The limit measure can be characterized via a certain martingale expressed by an invariant function for the process killed upon hitting zero. The limit processes may differ according to the choice of the clocks when the original Lévy process is recurrent and of finite variance.