Supremum penalizations for Lévy processes

Several long-time limit theorems of one-dimensional Lévy processes weighted and normalized by functions of its supremum are studied. The long-time limits are taken via the families of exponential times and that of constant times, called exponential clock and constant clock, respectively.