Functional limit theorems for the maxima of perturbed random walks and divergent perpetuities in the $M_1$-topology
Let $(ξ_1,η_1)$, $(ξ_2,η_2),\ldots$ be a sequence of i.i.d. two-dimensional random vectors. In the earlier article Iksanov and Pilipenko (2014) weak convergence in the $J_1$-topology on the Skorokhod space of $n^{-1/2}\underset{0\leq k\leq \cdot}{\max}\,(ξ_1+\ldots+ξ_k+η_{k+1})$ was proved under the assumption that contributions of $\underset{0\leq k\leq n}{\max}\,(ξ_1+\ldots+ξ_k)$ and $\underset{1\leq k\leq n}{\max}\,η_k$ to the limit are comparable and that $n^{-1/2}(ξ_1+\ldots+ξ_{[n\cdot]})$ is attracted to a Brownian motion. In the present paper, we continue this line of research and investigate a more complicated situation when $ξ_1+\ldots+ξ_{[n\cdot]}$, 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 $M_1$-topology. We also provide sufficient conditions for the $J_1$-convergence. For completeness, less interesting situations are discussed when one of the sequences $\underset{0\leq k\leq n}{\max}\,(ξ_1+\ldots+ξ_k)$ and $\underset{1\leq k\leq n}{\max}\,η_k$ dominates the other. An application of our main results to divergent perpetuities with positive entries is given.
