Moments of the first descending epoch for a random walk with negative drift
We consider the first exit time $τ= \min \{n\ge 1 : S_n\le 0\}$ from the positive halfline of a random walk $S_n = \sum_1^n ξ_i, n\ge 1$ with i.d.d. summands having a negative drift ${\mathbb E} ξ= -a< 0$. Let $ξ^+ = \max (0, ξ_1)$. It is well-known that, for any $c>1$, the finiteness of ${\mathbb E}(ξ^+)^{c}$ implies the finiteness of ${\mathbb E} τ^c$ and, for any $c>0$, the finiteness of ${\mathbb E} \exp({cξ^+})$ implies that of ${\mathbb E} \exp({c'τ})$ where $c'>0$ is, in general, another constant that depends on $c$ and on the distribution of $ξ_1$. We consider the intermediate case, assuming that ${\mathbb E} \exp({g(ξ^+)})<\infty$ for a positive increasing function $g$ such that $\liminf_{x\to\infty} g(x)/\log x = \infty$ and $\limsup_{x\to\infty} g(x)/x =0$, and that ${\mathbb E} \exp({cξ^+})=\infty$, for all $c>0$. Assuming a few further technical assumptions, we show that then ${\mathbb E} \exp({(1-\varepsilon){g}((1-\varepsilon)aτ)})<\infty$, for any $\varepsilon \in (0,1)$.