Lets define $f_n = P(X_n =0 , X_k \ne 0, k< n)$ the first return distribution of the random walk $X_n$ on $\mathbb{Z}^d$, and lets go ahead and assume that $f_n \approx n^{-(1+\alpha)}$ for some $\alpha\in(0,1)$ and $\sum_n f_n =1$, so our walk is naturally recurrent.
We can now let $f_n^{*k} := \sum_{j_1+\cdots j_k =n} \prod_{i=1}^n f_{j_i}$ be the $k$-fold convolution, or more popularly, the probability of $k$-th return at step $n$.
We define $g_k(x) = \sum_{n=2k}^\infty f_n^{*k} e^{-x} \frac{x^n}{n!}$.
I would like to show that for $x^\alpha >k$ we will have $g_k(x) \approx kg(x)$
and for $x^\alpha < k$, we will have $g_k(x) \approx O(e^{-ax})$ for some $a>0$ ?
Notice that this is the $k$-fold convolution of the sojourn times of a continuous random walk with exponential jump wait times.