The expansion theorem for the deviation integral

The so-called deviation integral (functional) describes the logarithmic asymptotics of the probabilities of large deviations for random walks generated by sums of random variables or vectors. Here an important role is played by the expansion theorem for the deviation integral in which, for an arbitrary function of bounded variation, the deviation integral is represented as the sum of suitable integrals of the absolutely continuous, singular, and discrete components composing this function. The expansion theorem for the deviation integral was proved by A. A. Borovkov and the author in [9] under some simplifying assumptions. In this article, we waive these assumptions and prove the expansion theorem in the general form.