Linear hyperfinite Lévy integrals

This article shows that the nonstandard approach to stochastic integration with respect to (C² functions of) Lévy processes is consistent with the classical theory of pathwise stochastic integration with respect to (C² functions of) jump-diffusions with finite-variation jump part. It is proven that internal stochastic integrals with respect to hyperfinite Lévy processes possess right standard parts, and that these standard parts coincide with the classical pathwise stochastic integrals, provided the integrator's jump part is of finite variation. If the integrator's Lévy measure is bounded from below, one can obtain a similar result for stochastic integrals with respect to C² functions of Lévy processes. As a by-product, this yields a short, direct nonstandard proof of the generalized Itô formula for stochastic differentials of smooth functions of Lévy processes.