La rpartition des zros des sommes partielles d'une srie entire

par Jean-Pierre Barani et Nicolas Tosel

Professeurs au Lyce du Parc, Lyon

1. Introduction et notations
2. Zros de dans
3. Zros de de modules strictement suprieurs
4. Principe de la dmonstration de l'quirpartition des arguments
5. Sommes de Newton des
6. Fin de la dmonstration
Bibliographie

1. Introduction et notations
Soient , et .
Soit galement une suite complexe telle que la srie entire ait pour
rayon 1. Pour dans , on note la somme de cette srie; pour dans et dans , la
-ime somme partielle est dsigne par .
En 1918, R. J entzsch a tabli le:
Thorme 1
Pour tout de , il existe une suite strictement croissante d'lments de , et une suite
de complexes tels que:
Pour tout , est racine de .
La suite converge vers .
L'article original de J entzsch est [2]; sa preuve est propose sous forme d'exercice dans [3]. Dans
[6], le thorme est dmontr par une autre mthode.
Un exemple trs simple est celui o est la suite constante gale 1. Dans ce cas, on a
si et :
Page 1sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=527&Type=enonce&Num=0&Mode=...


Les zros de sont de module 1 et s'quirpartissent sur lorsque .
Le but de ce texte est de montrer que le phnomne mis en vidence sur cet exemple est gnral:
si vrifie la condition de rgularit , les zros des sommes partielles se
rapprochent, pour la plupart, de , tandis que leurs arguments s'quirpartissent. En fait, le
rsultat obtenu est plus fort puisqu'il s'applique certaines sommes partielles d'une srie entire
quelconque de rayon 1, et implique donc immdiatement le thorme de J entzsch. Afin de
l'noncer prcisment, quelques notations sont ncessaires.
Tout d'abord, si , dsignera le disque . On notera (resp.
) le nombre de zros de dans (resp. ) compts avec multiplicits. La
longueur d'un arc du cercle sera note (avec ). Nous fixerons dsormais
une suite strictement croissante d'lments de telle que les soient non nuls et
vrifient:


Nous supposerons par ailleurs que ; on se ramne aisment ce cas par factorisation
d'une puissance idoine de , et cette convention allge la rdaction. Cela tant, pour tout ,
le polynme admet racines dans comptes avec multiplicits, toutes non nulles. On
crit donc:


Si , on note l'lment de . On peut alors formuler le:
Thorme 2
Les proprits suivantes sont vrifies:
Si , la suite est borne.
Si , .
Si est un arc de , on a:
Page 2sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=527&Type=enonce&Num=0&Mode=...


Aprs avoir tabli ce thorme, nous avons dcouvert qu'il avait t obtenu, sous une forme
lgrement plus forte et par la mme mthode, par G. Szeg ds 1922. La rfrence originale est
[4], l'article tant par ailleurs reproduit dans [5]. Signalons galement que P. Erds et P. Tran
ont donn, dans [1], un remarquable nonc sur la rpartrition des zros d'un polynme
quelconque, qui implique facilement le thorme prcdent.
Le paragraphe 2 est consacr au point , qui est du reste immdiat modulo la continuit des
racines dans l'espace des fonctions holomorphes sur . Le paragraphe 3 dduit le point de
la considration du produit des racines de ; cet artifice est inspir de la preuve du thorme
de J entzsch indique dans [6]. Le point est plus subtil: sa dmonstration, qui occupe les
paragraphes 4 6, repose sur le critre d'quirpartition de Weyl et l'valuation des sommes de
Newton des inverses des .

2. Zros de dans
Le point du thorme dcoule immdiatement du:
Lemme 1
Soit tel que n'ait aucune racine commune de module . Pour assez grand,
est gal au nombre de racines de dans comptes avec multiplicit.
(Par compacit, n'a pas de zro de module ds que est assez grand. Si tel est le cas, on a:



o est le cercle de centre et de rayon positivement orient.
Les rsultats usuels sur les suites de fonctions holomorphes montrent que la suite d'entiers
converge vers , ce qui fournit le rsultat dsir.)
Voici deux consquences immdiates du lemme 1 et de la non-nullit de , utiles dans la suite:
Il existe tel que, pour tout de , n'admette aucun zro dans .
Page 3sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=527&Type=enonce&Num=0&Mode=...
Si , il existe tel que, pour tout de , le module du produit des racines
(comptes avec multiplicits) de dans est minor par .
Les dtails sont laisss au lecteur.

Remarque: Bien videmment, on peut prciser le lemme 1 en formulant plus prcisment la
continuit des racines: les zros de dans tendent, en un sens convenable, vers ceux de .

3. Zros de de modules strictement suprieurs
La preuve du point part de la relation:


Fixons et tels que .
Grce au la fin du paragraphe prcdent:


Par ailleurs:


Enfin:


Combinons les quatre ingalits ci-dessus pour arriver :


Page 4sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=527&Type=enonce&Num=0&Mode=...
En levant la puissance , en tenant compte de , il vient:


Puisque est arbitraire dans , on en dduit:


Vu que , on obtient en fin de compte:



4. Principe de la dmonstration de l'quirpartition des
arguments
L'outil de base est la forme suivante du critre d'quirpartition de Weyl:
Lemme 2
Soient une suite strictement croissante d'lments de , et, pour tout , une
famille d'lments de . Les conditions suivantes sont quivalentes:
Pour tout arc de , on a:


Pour toute fonction intgrable au sens de Riemann de dans ,
on a:


Pour tout de , on a:
Page 5sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=527&Type=enonce&Num=0&Mode=...


La dmonstration est trs classique, et laisse au lecteur. Pour prouver le point du thorme,
on applique ce lemme : , . Il suffit ainsi d'tablir:


cet effet, nous vrifierons successivement, si , les faits suivants:
- la suite est convergente, donc si ;
- l'erreur est si .

5. Sommes de Newton des
Pour dans et , posons:


L'valuation de quand fix repose sur le:
Lemme 3
Si est fix comme dans la fin du paragraphe 2, on a:


(On part de Pour fix dans , et , on a:

Page 6sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=527&Type=enonce&Num=0&Mode=...

La preuve du lemme 3 est alors immdiate.)
Grce aux rsultats gnraux sur les suites de fonctions holomorphes, on en dduit l'nonc ci-
aprs, premire des deux tapes indiques la fin du paragraphe 4:
Lemme 4
Si : .

6. Fin de la dmonstration
On utilise une variante triviale du thorme de Cesro:
Lemme 5
Soient une suite strictement croissante d'lments de et, pour tout , une
famille de complexes. On fait les deux hypothses suivantes:
L'ensemble est born.
Pour tout , . Alors:


On fixe dans , et on applique cet nonc en prenant ,
. Ainsi:


Le point la fin du paragraphe 2 montre que la condition du lemme 5 est satisfaite. Les
points et du thorme, dj prouvs, assurent qu'il en est de mme de la condition .
On aboutit ainsi :


ce qui achve la dmonstration.
Page 7sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=527&Type=enonce&Num=0&Mode=...

Bibliographie
1 P. Erds et P. Tran, On the distribution of roots of polynomials , Ann. of Math., 1950,
p. 105-119.
2 R. J entzsch, Unterschungen zur Theorie der Folgen analytische Funktionen , Acta
Math., 1918, p. 219-270.
3 S. Saks et A. Zygmund, Fonctions analytiques, Masson.
4 G. Szeg, ber die Nullstellen von Polynomen, die in einem Kreise gleichmssig
konvergieren , Sitzungsber. Berl. Math. Ges., 21, 1922.
5 G. Szeg, Collected papers, vol. 1, Bikhuser
6 E. C. Titchmarsh, The Theory of Functions, Oxford University Press.

Page 8sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=527&Type=enonce&Num=0&Mode=...