Properties of boundary functionals for a random walk with stable jump distributions

For a random walk with jumps having strictly stable distributions, we obtain theorems that characterize properties of ladder epochs and ladder heights. We also give exact expressions for the distribution of the sojourn time of the random walk trajectory on the positive semi-axis for a finite number of steps.