This paper addresses the problem of H∞ model reduction design in finite frequency ranges for discrete-time nonlinear systems. With the aid of the generalised Kalman-Yakubovich-Popov (gKYP) lemma, the Lyapunov theory, and some matrix inequality techniques, sufficient conditions for the finite frequency model reduction problem are derived. The design conditions are given in terms of sufficient parameter-dependent linear matrix inequalities that can be solved through relaxations based on semi-definite programming. The advantages of the proposed approach are illustrated through numerical examples and comparisons with other available techniques.