On the Analytic Solution of Certain Functional and Difference Equations
Abstract
Let P(u, v) be an irreducible polynomial with complex coefficients and let q >=slant 2 be an integer. We establish the necessary and sufficient conditions under which the functional equation begin{equation*}tag{F} P(f(z),f(z^q)) = 0,end{equation*} has a nonconstant analytic solution that is either regular in a neighbourhood of the point z = 0 or has a pole at this point (theorem 1). By a simple change of variable, the difference equation begin{equation*}tag{D} (F(Z),F(Z+1)) = 0,end{equation*} can be proved under the same restrictions to have a nonconstant solution of the form F(Z) = sum^∞_{j=i}f_je^{jq^Z}, which is regular in the strip Re Z >=slant X_0, Im Z < π/2 ln q, if X_0 is sufficiently large (theorem 2).
 Publication:

Proceedings of the Royal Society of London Series A
 Pub Date:
 September 1983
 DOI:
 10.1098/rspa.1983.0094
 Bibcode:
 1983RSPSA.389....1M