Adelic Rogers' formula and an application

Recently, Seungki Kim proved an extension of Rogers’ mean value formula to the adeles of an arbitrary number field. In this paper we give a new proof Kim’s formula, and give a criterion ensuring convergence in this formula. We also discuss one application, namely diophantine approximation over imaginary quadratic number fields with congruence conditions, where we prove an analogue of a famous counting result of W. M. Schimdt.