Advertisement

Acta Mathematica

, Volume 28, Issue 1, pp 97–224 | Cite as

Sur quelques propriétés des fonctions entières

  • P. Boutroux
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Des généralisations des théorèmes deMM. Hadamard etBorel vienneut d'être tont récemment indiquées parM. E. Lindelöf qui a établi des propositions voisines de celles qui sont exposées dans la première partie de ce travail.M. Lindelöf a également obtenu, de son côté, un exemple de fonction de genre zéro se trouvant la somme de deux fonctions de genreun. (Voir page 141.)Google Scholar
  2. 1.
    Hadamard, Journ. de Math., 1893.Schou, Comptes rendus, t. 125, p. 763.Google Scholar
  3. 1.
    Cela résulte de la généralisation du théorème classique deM. Picard sur les fonctions entières. VoirBorel,Sur les zéros des fonctions entières. (Acta Math. 1896.)Google Scholar
  4. 2.
    Acta Math. 1896 (Art. cité);Leçons sur les fonctions entières, p. 61.Google Scholar
  5. 1.
    Leçons sur les fonctions entières, p. 99.Google Scholar
  6. 1.
    Voir dans l'Introduction, la définition deM. Borel. M. Borel a montré qu'il est facile de former des fonctions à croissance irrégulière.Google Scholar
  7. 1.
    logx représente ici la valeur arithmétique du logarithme.Google Scholar
  8. 1.
    Dans une note insérée aux Comptes-Rendus de l'Académie des Sciences le 4 février 1901, j'ai obtenu les mêmes résultats en suivant une voie un peu différente, mais en imposant à ψ(x) des conditions équivalentes à celles que j'ai énoncées ici. Ces conditions étaient les suivantes: Si ρ≠p, l'on pose\(\psi (x) = x^{\frac{1}{\rho }} \psi _1 (x)\) et l'on suppose ψ1(x) tel que la fonction\(\varepsilon \log x - \log \psi _1 \) soit positive et croissante lorsque ɛp<1−p/ρ. ψ1 x sera par exemple de la forme\((\log x)^{\sigma _1 } (\log ^{(2)} x)^{\sigma _2 } \cdots \) Si ρ était égal àp, on isolerait dans la fonction ψ le produitx 1/ρ(logx)1/τ.Google Scholar
  9. 1.
    Voir en particulierBorel,Leç. sur les fonc. ent., p. 51.Google Scholar
  10. 1.
    Lorsque je dirai, dans le cours de ce travail, qu'un nombre est fini, j'entendrai par là qu'il reste inférieur à un nombre fixe lorsquer oun augmente indéfiniment.Google Scholar
  11. 1.
    La démonstration sera valable encore si le produitG(z) est de genre infini. Mais, dans ce cas il y aura intérêt à compléter la proposition en donnant à η une valeur voisine de l'unité. J'indiquerai dans la troisième partie cette généralisation qui n'a point ici d'utilité.Google Scholar
  12. 1.
    SiA est un nombre positif plus grand que I, on a\(A^v< \frac{{\psi (Ax)}}{{\psi '(x)}}< A^\mu .\) L'égalitéK 1 ψ(n 1)=ψ(n) entraîne doncn 1<\(K_1^{ - \frac{1}{\mu }} \) n, et l'égalitéφ(n 2)=Kψ(n 1) supposen 2<K 1/ν n 1. Tous les calculs faits plus haut subsistent alors, ρ étant remplacé par l'un des deux nombres I/μ, I/ν.Google Scholar
  13. 1.
    La présence dans la fonction entière étudiée d'un facteur exponentiele H(z) ne modifierait rien aux résultats obtenus, puisque ρ est supposé non entier.Google Scholar
  14. 1.
    Bulletin de la Société Mathématique, 1883.Google Scholar
  15. 1.
    On a, si 0<a<1/2, log(I+a)>a−a 2/2I/I−a>a/2.Google Scholar
  16. 1.
    On pourrait déterminer avec plus de précision la situation des cerclesC et se demander s'ils forment des couronnes de quelque épaisseur. Le raisonnement du § 26 prouverait que dans un cercleC de rayonr, les couronnes où l'inégalité (23) est satisfaite forment une portion finie de l'aire totaleC. Mais il est facile d'aller beaucoup plus loin si l'on remplaceh par une fonction croissante quelconque den, par exemple par logn. Considérons à part dans le produit (22) tous les facteurs pour lesquels la différencer−r i est, en module, supérieure àr/n. Le produit de ces facteurs est supérieur à\(e^{ - hn\log n} .\) Les valeurs der i laissées de côté se trouvent toutes sur un segment\(\overline {ss} _1 \), proportionnel àr/n qui sera infiniment petit par rapport àr, lorsquer augmentera indéfiniment. Le nombre ν des pointsr i situés sur un tel segment sera donc infiniment petit par rapport àn, sauf peut-être pour un nombre négligeable de segmentsss 1. Raisonnons alors sur le segmentss 1 comme au § 26, en remplaçant η par η/n. Nous le décomposerons enn parties et nous pouvons affirmer que le nombre des intervalles partiels dans lesquels on n'a pas\(r_k - r' > \eta \frac{r}{{n^2 }} \ldots r_{k + i} - r' > \eta r\frac{i}{{n^2 }}\) est infiniment petit par rapport àss 1 (puisque ce nombre est proportionnel à ν). On en déduit quedans le cercle C de rayon r, les couronnes où l'on n'a pas \(\left| {G(z)} \right| > e^{ - hm\log n} \) forment lorsque r augmente indefiniment une aire infiniment petite par rapport à l'aire totale C.Google Scholar
  17. 1.
    Comptes rendus de l'Académie des Sciences. 30 décembre 1901.Google Scholar
  18. 1.
    Dans son mémoire surles zéros des fonctions entières,M. Borel a donné une limite supérieure du module deF′(z). Posant\(\begin{array}{*{20}c} { F(z) = a_0 + a_1 z + a_2 z^2 + \cdots } \\ {M(r) = \left| {a_0 } \right| + \left| {a_1 } \right|r + \cdots } \\ {M'(r) = \left| {a_1 } \right| + 2\left| {a_2 } \right|r + \cdots } \\\end{array}\) M. Borel a montré que l'on a, quel que soit ε, à partir d'une certaine valeur der \(M'(r)< [M(r)]^{1 + \varepsilon } .\) Google Scholar
  19. 2.
    Giornale di Baltaglini, 1884 et 1885,\(\frac{{\left| {F'(z)} \right|}}{{r^p \left| {F(z)} \right|}}\) tend vers zéro, tandis que le rapport\(\frac{{\left| {F'(z)} \right|}}{{r^{p - 1} \left| {F(z)} \right|}}\) augmente indéfiniment. Mais pour que la première partie de cette proposition fût vraie il serait nécessaire de faire des hypothèses très particulières sur les arguments des zéros. Quant à la seconde partie, elle n'est en tout cas pas exacte, comme nous le constaterons un peu plus loin.Google Scholar
  20. 1.
    Première partie, § 15.Google Scholar
  21. 1.
    On constaterait aisément que dans certains cas exceptionnels, bien queG(z) soit de genrep, on pourra avoir dans l'angle γ à partir d'une certaine valeur der une inégalité telle que\(\left| {g(z)} \right|< \frac{{r^{p - 1} }}{{\log r}}.\) Au contraire on aura toujours, lorsquer est assez grand, l'inégalité (2′).Google Scholar
  22. 1.
    pour toutes, si la croissance deG(z) est régulière.Google Scholar
  23. 2.
    pourr=ξ, comme pourrξ0, le rapport den′ au nombren du § 3 est fini.Google Scholar
  24. 1.
    Si l'on adopte, pour les fonctions méromorphes, cette définition du genre, les fonctions méromorphes de genrep ne seront qu'une catégorie très particulière de la classes des fonctions qui s'expriment par le quotient de deux fonctions entières de genrep. La plupart de ces dernières fonctions seront, à notre point de vue, de genre infini; car leurs résidus deviennent généralement infiniment grands avecr. On rencontre de graves difticultés lorsqu'on essaye de développer de telles fonctions sous la forme (13). Cette forme de développement a été étudiée parM. Borel dans un important mémoire publié en 1901 dans les Annales de l'École Normale Supérieure.Google Scholar
  25. 1.
    On obtiendrait d'autres théorèmes si l'on supposait que le nombreH croît indéfiniment avecr. Cf. § 19 et § 26.Google Scholar
  26. 1.
    Si l'ordre ρ était entier, il faudrait également diviser para 2 la limite obtenue au § 18. On a, en tout cas, dans certaines régions du carréA de côtéar l'inégalité\(\left| {g'(z)} \right|< \frac{{hn^2 \log v}}{{a^2 r^2 }} + \frac{\varepsilon }{{a^2 }}r^{p - 1} ,\) ε tendant vers zéro avec I/r.Google Scholar
  27. 1.
    c'est-à-dire le long d'un chemin quelconque issu dez 0, tant que les inégalités (20) et (21) seront satisfaites sur ce chemin.Google Scholar
  28. 1.
    Le rayon dec deviendra infiniment petit par rapport au rayon de σ lorsquer eta augmenteront indéfiniment.Google Scholar
  29. 1.
    Tous ces cerclesc 1 sont contenus à l'intérieur d'une aire égale à πη′3 r 12 (η′ fini), et l'aire de chacun d'eux est supérieure à\(\frac{\pi }{{a\varpi }}\). Le nombre des cerclesc est donc plus petit que\(\eta '^2 a\varpi r_I^2 .\) Google Scholar
  30. 1.
    Il est toujours possible de construire un tel chemin contournant un nombre quelconque de cerclesc; voir fin du § 24 et note de la page 180.Google Scholar
  31. 1.
    Pour construire ce chemin, on peut procéder comme à la fin du § 24. On mène la droiteZ 0 z, et chaque fois que cette droite coupe un cerclec′ aux pointsa i b i, on remplace la corde par la plus petit arca i b i.Google Scholar
  32. 1.
    Pour appliquer le même raisonnement au cas où le radical serait précédé du signe —, il suffirait de prendre le cercle σ de l'autre côté de la droiteL.Google Scholar
  33. 1.
    L'argument de\(\sqrt {z_1 } \) est égal à\(\frac{{\theta _i + a'}}{2}\),á étant proportionnel àa; l'argument dedz est compris entre\(\frac{{\pi - \theta _i }}{2} + \frac{\pi }{2}\) et\(\frac{{\pi - \theta _i }}{2} + \frac{{3\pi }}{2}\). L'argument de\(\sqrt {z_1 } \) dz est donc compris entre\(\frac{{3\pi }}{4} + \frac{{a'}}{2}\) et\(\frac{{5\pi }}{4} + \frac{{a'}}{2}\).Google Scholar
  34. 1.
    Si l'on avait donné à ρi une valuer moins élevée, par exemple la valeur\((I + \beta )\frac{{\log i}}{{\log r_i }}\), qui suffit à assurer la convergence de la série\(\sum {\left( {\frac{r}{{r_i }}} \right)^{\rho i} } \), la valeur dei à partir de la quelle cette série cût décrir aussi vite que\(\sum {i^{ - 1 - a'} } \) eût été très supérieure àn 2, et la limite supérieure de cette série se fût trouvée augmentée.Google Scholar
  35. 1.
    La forme de l'aireA n'importe pas ici. Remarquons qu'elle peut être contenue tout entière à l'intérieur d'un angle fini ∈ ayant pour sommet l'origine.Google Scholar
  36. 1.
    μ a, dans les calculs qui suivent, une valeur fixe dépendant der 1.Google Scholar
  37. 1.
    On a, en effet, l'inégalité\(\left[ {\left| {\frac{{\zeta '^2 }}{{\zeta ^2 }}} \right|} \right]_{Z_3 }^{Z_4 }< (4 + \varepsilon )e^{r'} + 4\left[ {\left| {I(z)} \right|} \right]_{Z_3 }^{Z_4 } \) ε tendant vers zéro avec\(\frac{I}{\mu }\). La variation de\(\left| {\frac{{\zeta '}}{\zeta }} \right|\) est inférieur à la racine carré du second membre.\(e^{\frac{{r'}}{2}}< h_2 e^{r^3 } e^{ - \frac{{r'}}{2}}< h'e^{\frac{\mu }{2}} e^{r^3 } (e^{r_4 - r_2 } - I).\) Google Scholar
  38. 1.
    On a, en particulier, les inégalités (25) dans certaines portions de la couronneD 1 limitée par les cercles de rayonsr 1 etr 1 (I—ε) ε tendant vers zéro avec\(\frac{I}{{r_1 }}\).Google Scholar
  39. 1.
    En se reportant au § 8, on voit que si l'inégalité (28) est vérifiée pourr=r 2, les inégalités (28′) seront satisfaites pourr=r z=x 2(I+a)−b, (a>0, b>0).Google Scholar
  40. 1.
    D'après les théorèmes de la seconde partie, on peut toujours tracer dans la couronneD 1 un cercle sur lequel on a\(\left| {\frac{{H(z)}}{{K(z)}}} \right|< e^{\gamma r} \) ψ tendant vers zéro avec\(\frac{I}{{r_1 }}\).Google Scholar
  41. 1.
    Sur les zéros des fonctions entières, p. 365.Google Scholar
  42. 1.
    Borel,Mémoire sur les séries divergentes (Anu. Ec. Norm. Sup. 1899).Lindelöf, Bull. de la Soc. math. de France 1899.Google Scholar
  43. 1.
    Je suppose qu'il existe des nombress,s 1 tels que les rapports\(\frac{{x^s }}{\varphi }\) et\(\frac{\varphi }{{x^{s_1 } }}\) soient croissants à partir d'une certaine valeur dex. On a alors\(\frac{{s_1 }}{x}< \frac{{\varphi '}}{\varphi }< \frac{s}{x}\).Google Scholar
  44. 1.
    Je me contente de dire que les nombres σ, σ1, σ2 sont finis, n'yant pas besoin de plus de précision. Mais on pourrait facilement les calculer. Ainsi, désignons par τ et τ1 les degrés dea p-1 et deb p-1. σ est le plus grand des nombres τ1 et μτ.Google Scholar

Copyright information

© Beijers Bokförlagsaktiebolag 1904

Authors and Affiliations

  • P. Boutroux
    • 1
  1. 1.Paris

Personalised recommendations