About the growth of entire functions solutions of linear algebraic \(q\)- difference equations. (English) Zbl 0796.39005

Ramis, Jean-Pierre

Ann. Fac. Sci. Toulouse, VI. Sér., Math. 1, No. 1, 53-94 (1992).

Georges Valiron (1926) a démontré qu’une fonction entière solution d’une équation différentielle linéaire à coefficients polynômiaux a une croissance exponentielle d’ordre exact fini (que l’on peut déterminer à partir du polygone de Newton de l’équation différentielle). L’auteur en a donné une autre preuve [Mem. Am. Math. Soc. 296, 1-95 (1984; Zbl 0555.47020)]. Ici, il prouve un \(q\)-analogue de ce résultat:
Soient \(q \in \mathbb{C}^ \times\), vérifiant \(| q | \neq 1\). \(q_ 0 = \max (| q |,1/ | q |)\), et \(f\) une fonction entière solution d’une équation linéaire aux \(q\)-différence à coefficients polynômiaux \(a_ m f(q^ mz) + \cdots + a_ 0f(z) = b\) \((a_ i,b \in \mathbb{C} [z])\), alors \(f\) est un polynôme ou a une croissance \(q\)-exponentielle d’ordre exact \(1/k\), i.e. il existe \(K\) et \(\alpha>0\) tels que, pour \(| z | \geq 1\), on ait \[ \bigl | f(z) \bigr |<Kq_ 0^{{k \over 2} \left( {\log | z | \over \log | q_ 0 |} \right)^ 2} | z |^ \alpha, \] où \(k\) ne peut prendre qu’un nombre fini de valeurs déterminées par le polygone de Newton de l’équation fonctionnelle.
Une fois défini le polygone de Newton, la démonstration est analogue à celle de l’auteur dans le case différentiel, grâce à des théorèmes d’indices pour des espaces de fonctions \(q\)-Gevrey déduits par dualité de ceux de J.-P. Bézivin [Aequationes Math. 43, No. 2/3, 159-176 (1992; Zbl 0757.39002)].
L’auteur étudie comme exemples des \(q\)-analogues de l’exponentielle et des fonctions \(\theta\) de Jacobi. Il obtient aussi comme corollaire le fait que toute fonction entière solution d’une équation différentielle linéaire et d’une équation aux \(q\)-différences à coefficients polynômiaux est un polynôme, et un résultat du même type pour les séries formelles. Pour des résultats de ce style, on pourra consulter les articles de J.-P. Bézivin et A. Boutabaa [Sur les équations fonctionnelles \(p\)-adiques aux \(q\)- différences, Collect. Math. 44, No. 1, 1-16 (1993; Zbl 0778.39009)] et J.-P. Bézivin et F. Gramain [Ann. Inst. Fourier, 43, No. 3, 791-814 (1993; Zbl 0796.39006)].

Reviewer: F.Gramain (Saint-Etienne)

MSC:

39A10	Additive difference equations
30D15	Special classes of entire functions of one complex variable and growth estimates
30D05	Functional equations in the complex plane, iteration and composition of analytic functions of one complex variable
39B32	Functional equations for complex functions

Keywords:

growth of entire functions; linear algebraic \(q\)-difference equations; \(q\)-analog; \(q\)-Gevrey function; \(q\)-exponential function; \(q\)-Jacobi function

Citations:

Zbl 0796.39006; Zbl 0757.39002; Zbl 0555.47020; Zbl 0778.39009

References:

[1]	Adams, C.R.) .- Linear q-difference Equations, Bull. A.M.S., 1931, pp. 361-399. · JFM 57.0534.05
[2]	Adams, C.R.) .- On the linear ordinary q-difference equations, Ann. Math., Ser. II, 30 (1929), pp. 95-205. · JFM 55.0263.01
[3]	Bezivin, J.-P.) .- Sur les équations fonctionnelles aux q-différences, preprint Paris VI (1990).
[4]	Bezivin, J.-P.) .- Letter to J. P. Ramis, february (1992).
[5]	Birkhoff, G.D.) .- The Generalised Riemann Problem for Linear Differential Equations and the Allied Problems for Linear Differential and q-Difference Equations, Proc. Am. Acad., 49 (1913) pp. 521-568. · JFM 44.0391.03
[6]	Boas, R.P. Jr .- Entire Functions, Academic Press Inc., New-York (1954). · Zbl 0058.30201
[7]	Gasper, G.) and Rahman, M.) .- Basic Hypergeometric Series, Encyclopedia of Mathematics and its Applications, G.C. Rota ed., Vol. (1990). · Zbl 0695.33001
[8]	Gelfond, A.O.) .- Sur les fonctions entières, qui prennent des valeurs entières dans les points βn, β est un nombre entier positif et n = 0, 1, 2, ..., Rec. Math. Moscou, 40 (1933) pp. 42-47. · JFM 59.1039.01
[9]	Gelfond, A.O.) .- Calcul des différences finies, Dunod, Paris (1963). · Zbl 0108.27503
[10]	Grothendieck, A.) .- Sur certains espaces de fonctions holomorphes I, II, Journal de Crelle, 192 (1953) pp. 35-64 et 77-95. · Zbl 0051.08704
[11]	Hardy, G.H.) .- On the function Pρ(x), Quarterly Journal of Math., 3, n° 37 (1906) pp. 146-172. · JFM 36.0458.02
[12]	Hahn, W.) .- Beiträge zur Theorie der Heinischen Reihen. Die 24 Integrale der hypergeometrischen q-Differenzengleichung, das q-Analogon der Laplace-Transformation, Math. Nach., 2 (1940) pp. 340-379. · Zbl 0033.05703
[13]	Heine, E.) .- Über die Reihe..., J. Reine Angew. Math., 32 (1846) pp. 210-212.
[14]	Immink, G.K.) .- Asymptotics of analytic difference equations, Springer, 1082 (1984). · Zbl 0548.39001
[15]	Jacobi, C.G.J.) .- Fundamenta Nova Theoriae Functionum Ellepticarum, Regiomonti. Sumptibus fratrum Bornträger (1829); reprinted in Gesammelte Werke1, Reiner1881, pp. 49-239; reprinted by Chelsea, New York (1969).
[16]	Littlewood, J.E.) .- On the asymptotic approximation to integral functions of zero order, Proc. London Math. Soc., Ser. 2, 5 (1907), pp. 361-410. · JFM 38.0450.01
[17]	Magnus, W.), Oberhettinger, F.) and Soni, R.P.) .- Formulas and Theorems for the Special Functions of Mathematical Physics, Grund. Math. Wiss., 52, Springer VerlagNew York (1966). · Zbl 0143.08502
[18]	Mellin, M.) Acta Soc. Fennicae, t. XXIX, n° 4, p. 15.
[19]	Nachbin, L.) .- An extension of the notion of integral functions of the finite exponential type, Anais Acad. Brasil. Ciencias, 16 (1944) pp. 143-47. · Zbl 0060.22404
[20]	Praagman, C.) .- Stokes and Gevrey Phenomena in Relation to Index Theorems in the Theory of Meromorphic Linear Difference Equations, Funkcialaj Ekvacioj, 29 (1986) pp. 259-279. · Zbl 0618.39002
[21]	Ramis, J.-P.) .- Théorèmes d’indices Gevrey pour les équations différentielles ordinaires, Memoirs of the American Mathematical Society, 296 (1984) pp. 1-95. · Zbl 0555.47020
[22]	Ramis, J.-P.) .- Analytic classification of fuchsian q-difference equations, in preparation (1992).
[23]	Silva, J.) .- As Funçoes Analiticas e a Analise Funcional, Port. Math., 9 (1950) pp. 1-130. · Zbl 0041.43802
[24]	Starcher, G.W.) .- A solution of a simple functional equation as a basis for readily obtaining certain fundamental formulas in the theory of elliptic functions, Bulletin of American Math. Society, 36 (1930) pp. 577- 581. · JFM 56.0326.02
[25]	Valiron, G.) .- Sur les fonctions entières vérifiant une classe d’équations différentielles, Bull. Soc. Math de france, 51 (1926), pp. 33-45. · JFM 49.0216.02
[26]	Valiron, G.) .- Fonctions analytiques et équations différentielles, Journal de Mathématiques, 31 (1952) pp. 293-303. · Zbl 0047.31003
[27]	Walliser, R.) .- Über ganze Funktionen, die in einer geometrischen Folge ganze Werte annehmen, Monatsh. für Math., 100 (1985), pp. 329-335. · Zbl 0596.30041
[28]	Gramain, F.) .- Fonctions entières d’une ou plusieurs variables complexes prenant des valeurs entières sur une progression géométrique, Cinquante ans de Polynômes - Fifty years of Polynomials, M. Laurent and M. Waldschmidt ed., Springer, 1418 (1991), pp. 123-137. · Zbl 0709.11038
[29]	Picard, E.) .- Leçons sur quelques équations fonctionnelles, Gauthier-Villars, Paris (1928). · JFM 54.0426.02
[30]	Picard, E.) .- Sur une classe de transcendantes nouvelles, Premier mémoire, Acta mathematica, 18 (1894) pp. 133-154. · JFM 25.0713.02
[31]	Picard, E.) .- Sur une classe de transcendantes nouvelles, Deuxième mémoire, Acta mathematica, 23 (1900) pp. 323-338. · JFM 31.0427.02
[32]	Picard, E.) .- Sur une classe de transcendantes généralisant les fonctions elliptiques et abéliennes, Annales de l’Ecole Normale, 3ème série, 30 (1913), pp. 247-253. · JFM 44.0506.03
[33]	Picard, E.) .- Sur une classe de surfaces algébriques dont les coordonnées s’expriment par des fonctions uniformes de deux paramètres, Bulletin de la Soc. Math. de France, 28 (1900). · JFM 31.0617.02
[34]	Poincaré, H.) .- Sur une classe nouvelle de transcendantes uniformes, Journal de Liouville, 4e série, VI (1890) pp. 539-582; OEuvres Complètes, t. IV. · JFM 22.0420.01
[35]	Valiron, G.) .- Fonctions analytiques, Presses Universitaires de France, Paris (1954). · Zbl 0055.06702