On fluctuation-theoretic decompositions via Lindley-type recursions

Consider a Lévy process Y(t) over an exponentially distributed time T_β with mean 1/β. We study the joint distribution of the running maximum Ȳ(T_β) and the time epoch G(T_β) at which this maximum last occurs. Our main result is a fluctuation-theoretic distributional equality: the vector (Ȳ(T_β),G(T_β)) can be written as a sum of two independent vectors, the first one being (Ȳ(T_β+ω),G(T_β+ω)) and the second one being the running maximum and corresponding time epoch under the restriction that the Lévy process is only observed at Poisson(ω) inspection epochs (until T_β). We first provide an analytic proof for this remarkable decomposition, and then a more elementary proof that gives insight into the occurrence of the decomposition and into the fact that ω only appears in the right hand side of the decomposition. The proof technique underlying the more elementary derivation also leads to further generalizations of the decomposition, and to some fundamental insights into a generalization of the well known Lindley recursion.