This is a preview of subscription content, log in via an institution to check access.
References
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.)
Hadamard, Journ. de Math., 1893.Schou, Comptes rendus, t. 125, p. 763.
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.)
Acta Math. 1896 (Art. cité);Leçons sur les fonctions entières, p. 61.
Leçons sur les fonctions entières, p. 99.
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.
logx représente ici la valeur arithmétique du logarithme.
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/τ.
Voir en particulierBorel,Leç. sur les fonc. ent., p. 51.
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.
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é.
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/ν.
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.
Bulletin de la Société Mathématique, 1883.
On a, si 0<a<1/2, log(I+a)>a−a 2/2I/I−a>a/2.
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.
Comptes rendus de l'Académie des Sciences. 30 décembre 1901.
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 } .\)
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.
Première partie, § 15.
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′).
pour toutes, si la croissance deG(z) est régulière.
pourr=ξ, comme pourrξ0, le rapport den′ au nombren du § 3 est fini.
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.
On obtiendrait d'autres théorèmes si l'on supposait que le nombreH croît indéfiniment avecr. Cf. § 19 et § 26.
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.
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.
Le rayon dec deviendra infiniment petit par rapport au rayon de σ lorsquer eta augmenteront indéfiniment.
Tous ces cerclesc 1 sont contenus à l'intérieur d'une aire égale à πη′3 r 21 (η′ 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 .\)
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.
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.
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.
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}\).
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.
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.
μ a, dans les calculs qui suivent, une valeur fixe dépendant der 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).\)
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 }}\).
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).
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 }}\).
Sur les zéros des fonctions entières, p. 365.
Borel,Mémoire sur les séries divergentes (Anu. Ec. Norm. Sup. 1899).Lindelöf, Bull. de la Soc. math. de France 1899.
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}\).
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 μτ.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Boutroux, P. Sur quelques propriétés des fonctions entières. Acta Math. 28, 97–224 (1904). https://doi.org/10.1007/BF02418385
Issue Date:
DOI: https://doi.org/10.1007/BF02418385