Hyperfinite stochastic integration for Lévy processes with finite-variation jump part

This article links the hyperfinite theory of stochastic integration with respect to certain hyperfinite Lévy processes with the elementary theory of pathwise stochastic integration with respect to pure-jump Lévy processes with finite-variation jump part. Since the hyperfinite Itô integral is also defined pathwise, these results show that hyperfinite stochastic integration provides a pathwise definition of the stochastic integral with respect to Lévy jump-diffusions with finite-variation jump part. As an application, we provide a short and direct nonstandard proof of the generalized Itô formula for stochastic differentials of smooth functions of Lévy jump-diffusions whose jumps are bounded from below in norm.