The rational rank of the support of generalized power series solutions of differential and $q$-difference equations

Given a differential or $q$-difference equation $P$ of order $n$, we prove that the set of exponents of a generalized power series solution has its rational rank bounded by the rational rank of the support of $P$ plus $n$. We also prove that when the support of the solution has maximum rational rank, it is convergent. Using the Newton polygon technique, we show also that in the maximum rational rank case, an initial segment can always be completed to a true solution. The techniques are the same for the differential and the $q$-difference case.