Functional limit theorems for the maxima of perturbed random walks and divergent perpetuities in the M1-topology
Let (ξ1,η1), (ξ2,η2),… be a sequence of i.i.d. two-dimensional random vectors. In the earlier article Iksanov and Pilipenko (2014) weak convergence in the J1-topology on the Skorokhod space of n−1/20≤k≤⋅max(ξ1+…+ξk+ηk+1) was proved under the assumption that contributions of 0≤k≤nmax(ξ1+…+ξk) and 1≤k≤nmaxηk to the limit are comparable and that n−1/2(ξ1+…+ξ[n⋅]) is attracted to a Brownian motion. In the present paper, we continue this line of research and investigate a more complicated situation when ξ1+…+ξ[n⋅], properly normalized without centering, is attracted to a centered stable Lévy process, a process with jumps. As a consequence, weak convergence normally holds in the M1-topology. We also provide sufficient conditions for the J1-convergence. For completeness, less interesting situations are discussed when one of the sequences 0≤k≤nmax(ξ1+…+ξk) and 1≤k≤nmaxηk dominates the other. An application of our main results to divergent perpetuities with positive entries is given.