Small divisor problem for an analytic q-difference equation

Similar to the problem of linearization, the “small divisor problem” also arises in the discussion of invertible analytic solutions of a class of q-difference equations. In this paper we give the existence of such solutions under the Brjuno condition and prove that the equation may not have a nontrivial analytic solution when the Brjuno condition is violated. These results are applied to discussing a nonlinear iterative equation.