This is a preview of subscription content, log in via an institution to check access.
References
Journal de mathématiques pures et appliquées 1893.
Il y aurait lieu, dans ce cas, d'écrire le produit des facteurs primaires comme si la fonction était de genrep=ρ, même si elle était de genrep−1.
On sait d'ailleurs que ce maximum et ce minimum sont atteints pour une valeur dez dont le module estr.
Notre démonstration légèrement modifiée prouverait même qu'il n'est pas possible que cette inégalité soit vérifiée dans une série d'intervalles [r 1<r<r2] tels que l'étendue totale de ceux de ces intervalles qui sont compris entre o etR reste, lorsqueR croît, constamment supérieure àkR,k étant un nombre positif quelconque. Ce point aura de l'importance plus loin.
Nous écartons le cas où l'on trouverait des valeurs dex aussi grandes que l'on veut et telles queG>F et aussi des valeurs dex aussi grandes que l'on veut et telles queG<F. Ce cas, dont nous dirons un mot plus loin à un autre point de vue, mériterait d'être étudié avec soin.
On voit qu'il ne résulte pas de cette définition que logG(x) et logF(x) soient du même ordre de grandeur lorsqueF(x) etG(x) le sont. On pourrait convenir queF(x) etG(x) sont du même ordre du grandeur si, au lieu des inégalités écrites dans le texte, l'on a\(\left[ {\log G\left( x \right)} \right]^{1 - \varepsilon }< \log F\left( x \right)< \left[ {\log G\left( x \right)} \right]^{1 + \varepsilon } \) on même des inégalités analogues avec des signeslog superposés un nombre quelconque fini de fois. Ces définitions permettraient de simplifier certains des raisonnements qui suivent et conduiraient aux mêmes résultats généraux; mais, pour plus de netteté, nous nous en tiendrons à la définition donnée dans le texte.
Le fait que α est une fonction dex au lieu d'être une constante n'introduit pas de difficulté sérieuse.
Ce cas se subdivise en deux principaux, celui où la fonction π (r) croît moins vite que
le nombre des exposants étant limité et celui où la fonction π (r)n'est pas comparable à ces fonctions c'est à dire est alternativement plus grande et plus petite pour des valeurs indéfiniment grandes de γ. Le premier cas peut, se traiter directement et le second se ramène, soit au premier, soit à celui qui est traité dans le texte, en raisonnant comme à la page 386.Pour les plus petites valeurs, on doit considérer seulement ce qui se passe sur certains cereles; voir plus haut p. 361 et le mémoire deM. Hadamard p. 204. On verrait aisément que l'on peut exclure pour les rayons de ces cercles compris dans un intervalle donné une fraction aussi petite que l'on veut de cet intervalle.
Pour être tout à fait exact, nous devons dire que ce sont les logarithmes de ces facteurs qui sont au plus du même ordre de grandeur log |G(z)|.
La continuité des fonctionM etM′ permet d'exclure le cas où l'inégalité (3) serait vérifiée pour des valeurs der formant une suite discontinue, mais présentant des points dans tout intervalle.
Nous avons jugé inutile d'écrire l'inégalité évidenterM′(r)>M(r)−a 0.
Voir plus haut, en ce qui concerne la relation entre les plus grandes valuers du module deH 1−H 2 et les plus grandes valeurs positives de sa partie réelle. Pour être tout à fait rigoureux il faudrait remplacer [μ(r)]2 par [μ(r)]2−ε; mais cela n'a aucune importance.
Au lieu du genre μ nous pourrions introduire l'ordre ρ; la proposition serait plus précise lorsque ρ n'est pas entier.
M. Picard, en supposant que φ soit une constante et ϕ un polynome avait montré que toutes les équations (1), sauf une au plus, ont une infinité de racines. (Annales de l'Ecole Normale 1880).M. Picard avait d'ailleurs étendu ce théorème au cas d'un point singulier essentiel isolé, que nous avons laissé complètement de côté ici. Voir une note intéressante deM. Hadamard, Comptes Rendus, mai 1896.
Il ne pourrait y avoir de difficulté que pour la différenceH−H 1; il suffit d'écrireK 1eH−H 1+K2=K3e−H 1, pour reconnaître que siH−H 1 ne dépassait pas l'ordre de grandeur requis, l'ordre de grandeur du premier membre serait inférieur à celui du second.
Hermite, cours d'analyse, 4e édition p. 182.
On peut aussi déduire l'ordre de la fonctionf[φ(z)] de la connaissance des ordres des fonctions entièresf et φ.
Les ordres apparents peuvent ne pas être comparables, alors chacun d'eux peut être regardé comme maximum, au point de vue des conséquences indiquées dans le texte.
le nombre des exposants étant limité et celui où la fonction π (r)n'est pas comparable à ces fonctions c'est à dire est alternativement plus grande et plus petite pour des valeurs indéfiniment grandes de γ. Le premier cas peut, se traiter directement et le second se ramène, soit au premier, soit à celui qui est traité dans le texte, en raisonnant comme à la page 386.Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Borel, E. Sur les zéros des fonctions entières. Acta Math. 20, 357 (1897). https://doi.org/10.1007/BF02418037
DOI: https://doi.org/10.1007/BF02418037