Produits infinis

Alexandre Bailleul∗

Bien moins connus que les « sommes infinies », c’est-à-dire les séries, les pro-
duits infinis sont en fait des objets qui en sont relativement proches, et qui s’avèrent
très utiles en analyse, complexe notamment. Dans cette petite note, qui ne pré-
tend pas à l’exhaustivité, je donne les notions de base qui permettent de les étudier.
X
Partons tout d’abord d’une série un , de nombres complexes par exemple.
n
En quoi consistent cet objet et son étude ?
Comme chacun le sait, une série se résume à la suite de ses sommes partielles,
et la question fondamentale concernant cette série est sa convergence. On voit
apparaître deux ingrédients fondamentaux, que l’on retrouvera avec les produits
infinis : une opération de somme, et une notion de convergence de suite, et donc
de limite. C’est-à-dire que pour parler de séries, il suffit d’avoir une loi de groupe,
abélien de préférence (en général la loi + sur C) et une topologie (en général la
topologie usuelle sur C). Pour que les propriétés classiques sur les sommes de sé-
ries restent vraies, on exige bien sûr que ces eux structures soient compatibles,
c’est-à-dire que l’on ait une structure de groupe topologique.

Sans avoir besoin de disserter sur les groupes topologiques abstraits, on peut
faire le simple constat suivant : le groupe (C∗ , ×) est un groupe topologique pour la
topologie usuelle de C. Nous sommes maintenant prêt à nous attaquer aux produits
infinis !

1 Définition et convergence
Définition. Soit (un )n une suite de nombres complexes non nuls. Le produit infini
Y N
Y
des un , noté un , est la suite ( un )N .
n n=0
Pourquoi se restreindre à des complexes non nuls ? Pour qu’ils soient bien
membres du groupe C∗ . De plus si l’un deux est nul, l’étude de tels produits
∗
http://perso.eleves.ens-rennes.fr/~abailleu/

1
n’a pas vraiment d’intérêt... Le fait de travailler dans le groupe C∗ a une autre
conséquence importante dans la définition suivante.
Y
Définition. Soit un un produit infini (de nombres complexes). On dit que ce
n
N
Y
produit converge si la suite ( un )N converge vers un nombre complexe non nul.
n=0
+∞
Y
Dans ce cas, cette limite est appelée le produit des un et est notée un . Dans le
n=0
cas contraire on dit que le produit diverge.

Et oui, pour converger, il faut converger dans le groupe, donc vers un nombre
complexe non nul. Faute de mieux, on utilisera les termes produits pour désigner
à la fois un produit infini ou sa limite lorsque celle-ci existe.

Exemples.
1
Y
• Le produit diverge.
n 2
Y
• Le produit 1 converge.
n
Y 1

• Le produit 1+ diverge.
n  n
Y 1
• Le produit 1− diverge.
n n
Remarquons par exemple que les deux derniers produits divergent pour deux
raisons différentes : le dernier diverge vers 0, tandis que celui d’avant diverge vers
+∞ (il suffit de calculer les produits partiels, qui se télescopent).

On a alors le résultat suivant dont la démonstration est immédiate.

Y Y
Proposition. Soient un et vn deux produits infinis de nombres complexes.
n n Y
i) Si les deux produits convergent alors le produit un vn converge vers
n
+∞ +∞
! !
Y Y
un vn .
n=0 n=0
Y
ii) Si l’un des deux produits converge et l’autre diverge alors le produit un vn
n
diverge. Y
iii) Si les deux produits divergent vers 0 alors le produit un vn diverge (vers
n
0).

2
Remarque. On ne peut pas conclure en général quand les deux produits divergent
comme le montrent les exemples suivants : un = 12 et vn = 2 pour tout n ∈ N, et
un = vn = 21 pour tout n ∈ N.
Y
Proposition. Si le produit infini un converge, alors un → 1 quand n → +∞.
n
n
Y
Démonstration. Pour n ∈ N, notons Pn le complexe uk . Par hypothèse, la suite
k=0
(Pn )n converge vers un nombre complexe non nul. Alors on a
Pn
un = −→ 1
Pn−1
quand n tend vers +∞. 

Remarque. On voit bien que le fait que la limite est non nulle est crucial ici.
On dispose maintenant d’une condition suffisante (grossière) de divergence d’un
produit infini.
 Ellen’est bien sûr pas nécessaire comme le montre l’exemple déjà
vu de un = 1 + n1 pour n ∈ N∗ .

2 Critères de convergence sur R

À partir de maintenant, on supposera toujours que le terme général des produits
infinis que l’on étudie tend vers 1, et est différent de 0, sans quoi l’étude du pro-
duit en question n’a pas d’intérêt. On peut donc toujours considérer que ce terme
général est de la forme (1 + un ) avec un → 0 quand n tend vers +∞ et un 6= −1
pour tout n ∈ N (on n’y perd aucune généralité, quitte à écrire un = 1 + (un − 1)).

Nous n’avons pas encore croisé de produit convergent non trivial. Il est temps
d’établir des critères de convergence. Tout d’abord, y a-t-il un moyen pour se
ramener à l’étude d’une série de nombres complexes ? L’isomorphisme de groupes
(topologiques) log : R+∗ → R permet de répondre partiellement à cette question.
Théorème. Soit (un )nYune suite de nombres réels différents de −1 tendant
X vers 0.
Alors le produit infini (1 + un ) converge si et seulement si la série log(1 + un )
n n
converge.
Démonstration. Comme la suite (un )n converge vers 0, on a en particulier que
1 + un > 0 pour n assez grand, disons pour n ≥ n0 pour un certain n0 ∈ N. Alors
on a pour tout n ≥ n0 ,
    
n
Y n
Y n
X
(1 + uk ) = exp log  (1 + uk ) = exp  log(1 + uk ) .
k=n0 k=n0 k=n0

3
 X Y
Si la série log(1+un ) converge alors le produit (1+un ) converge, par continuité
n n
de l’exponentielle, vers  
+∞
X
exp  log(1 + uk )
k=n0

qui est bien non nul. Réciproquement, si le produit converge alors la série converge
en utilisant la formule
 
n
X n
Y
log(1 + uk ) = log  (1 + uk )
k=n0 k=n0

et le fait que la limite du produit est non nulle. 

Corollaire. Soit (un )n une suite de nombres réels différents de −1 tendant vers
0. Si (un )n est de signe constant à partir d’un certain
Y X rang, alors le produit infini
(1 + un ) converge si et seulement si la série un converge.
n n

Démonstration. En effet, on a log(1 + x) ∼ x quand x → 0. Comme la suite

(un )n est de signeX
X constant à partir d’un certain rang, on en déduit que les séries
log(1 + un ) et un ont même nature. 
n n

Exemples. Les produits infinis

Y 1

1+
n n!

et
Y 1

1− 2
n≥1 n
convergent. Le produit infini
!
Y 1
1+
n n log(n)

diverge.

Remarque. L’hypothèse du signe constant est essentielle. En effet, la série de

n
terme général (−1)
√
n
1
+ 2n diverge, cependant la série de terme général

(−1)n (−1)n
!
1 1
 
log 1 + √ + = √ + O 3/2
n 2n n n

4
converge, et donc le produit
(−1)n
!
Y 1
1+ √ +
n n 2n
converge.
2
En fait, on a log(1 + un ) = un − u2n + o(u2n ) quand n → 0 et la suite (u2n )n est
X Y
de signe constant. On en déduit que si la série un converge, alors (1 + un ) et
n n
u2n
X
ont même nature. Ainsi, le produit
n

(−1)n
!
Y
1+
n n
converge.

Voyons un premier exemple de calcul de produit infini. Il justifie à lui seul

l’étude de ces produits :
Théorème (Produit eulérien). Soit x un réel strictement supérieur à 1. Alors
+∞
X 1 Y 1
ζ(x) = x
= 1 ,
n=1 n p 1 − px

où le produit est pris sur tous les nombres premiers.

Démonstration. Soit N un entier supérieur à 2. Notons PN l’ensemble des entiers
dont les facteurs premiers sont inférieurs à N . Notons également p1 , . . . , prN les
nombres premiers inférieurs à N . En utilisant le développement de la somme d’une
série géométrique convergente, on a
Y 1 Y +∞
X 1
= ,
p≤N 1 − p1x p≤N k=0 p
kx

car pour tout nombre premier p, 0 ≤ p1 < 1. Ces séries étant toutes absolument
convergentes (car convergentes à termes positifs), on en déduit que le produit de
leur somme n’est autre que la somme de leur produit de Cauchy :
+∞ +∞
Y 1 X 1 X 1 X 1
1 = kr x = kr
x = .
1 − px nx

k1 x
p≤N k1 ,...,kr
N
=1 p1 . . . prNN k1 ,...,krN =1 pk11 . . . prNN n∈PN

Mais
X 1 X 1
= ζ(x) −
n∈PN nx n6∈PN n
x

5
et
X 1 X 1
0≤ ≤ →0
n6∈PN nx n=N nx
quand N tend vers +∞, car si n 6∈ PN , alors n > N (tous ses facteurs premiers
sont supérieurs à N ). Cela prouve la convergence du produit vers ζ(x). 

Remarque. À partir de cette formule, fondamentale en théorie des nombres, on

obtient notamment que la fonction ζ ne s’annule pas sur ]1, +∞[ (on va bientôt
voir une généralisation de ce résultat). En effet, le produit eulérien portant sur les
X 1
nombres premiers converge, dans le sens discuté plus haut car la série x
est
p p
convergente pour x > 1 et donc la valeur du produit est non nul.

3 Critères de convergence sur C

Passons maintenant aux produits infinis de nombres complexes. On voit immé-
diatement que leur étude va être plus compliquée, étant donné que le logarithme
complexe n’est plus un morphisme de groupes.

Cependant, si la suite de nombres complexes (un )n converge vers 0, alors 1 +

un ∈ B(1, 1) pour tout n assez grand. La détermination principale du logarithme
y est définie, et même réciproque à droite de l’exponentielle. Dans toute la suite,
log désigne cette détermination principale sur C \ R− . On prouve alors le résultat
suivant, où l’on utilise cette fois que la fonction exponentielle est un morphisme
de groupes de (C, +) → (C∗ , ×).

Théorème. Soit X (un )n une suite de nombres complexes différents

Y de −1 tendant
0. Si la série log(1 + un ) converge alors le produit infini (1 + un ) converge.
n n

Démonstration. Comme précédemment, on a |un | < 1 pour n ≥ n0 , et pour de tels

n,  
n
Y n
Y n
X
(1 + uk ) = exp(log(1 + uk )) = exp  log(1 + uk ) ,
k=n0 k=n0 k=n0

ce qui prouve la convergence du produit (vers une limite non nulle). 

Malheureusement, comme le laisse présager le dernier énoncé, la réciproque

est fausse ! On ne peut pas utiliser la relation log(zz 0 ) = log(z) + log(z 0 ) pour
z, z 0 ∈ C∗ , qui est fausse en général. Pour un contre-exemple on considère, pour
2c
n ∈ N∗ , un = exp i b2πn n2
− 1, où b.c désigne la partie entière.

6
Alors pour tout n ∈ N∗ ,
n n
!
Y Y b2πk 2 c
(1 + uk ) = exp i
k=1 k=1 k2
n
!
b2πk 2 c
X
= exp i
k=1 k2
n
!
2πk 2 − {2πk 2 }
X
= exp i
k=1 k2
n
!
{2πk 2 }
X
= exp −i
k=1 k2

{2πn2 } X
qui tend vers un complexe non nul quand n tend vers +∞ car la série
n n2
2
converge. Cependant comme b2πn n2
c
ne tend pas vers 0 quand n tend vers +∞, la
X
série log(1 + un ) diverge grossièrement.
n

On déduit immédiatement du dernier énoncé et du développement limité log(1+

un ) = un + o(un ) quand n → +∞ le résultat suivant.

Théorème. XSoit (un )n une suite de nombres complexes

Y différents de −1 tendant 0.
Si la série un converge alors le produit infini (1+un ) converge. En particulier,
n n
si la convergence est absolue, alors il y a convergence du produit.
Y
Définition. Un produit de nombre complexes un est dit absolument convergent
X n
si la série un est absolument convergente.
n

En particulier, un produit absolument convergent est convergent.

Exemples. Le produit infini

einθ
!
Y
1+ α
n n
converge, où α > 0 et θ ∈ R n’est pas un multiple entier de 2π. Il n’est pas abso-
lument convergent si α ≤ 1.

Le produit infini
in!
!
Y
1+
n nlog(n)

7
est absolument convergent.

Y On prendra garde au fait que la convergence absolue, auY

Remarque. sens où le
produit |1 + un | converge, n’implique pas la convergence du produit (1 + un ).
n n
Pour s’en convaincre, on considère pour n ∈ N, un = ni . En effet, on a d’une part
1/2
i  1 1 1
    

1 +
= 1+ 2 =1+ 2
+o 2 ,

n n 2n n
Y  i  i
 X  
d’où la convergence du produit 1 +
, tandis que la série log 1 + di-
n

n n n
i
Y  
verge, d’où la divergence du produit 1+ . Ce phénomène s’explique par
n n  
le fait que le terme général du second produit a pour argument arctan n1 , et
ces arguments
  s’ajoutant, les produits partiels tournent indéfiniment autour de 1
(arctan n1 ∼ n1 quand n tend vers +∞).

Retournons à la fonction ζ. Nous avons vu tout à l’heure que pour x > 1,

Y 1
ζ(x) = 1 . Cette formule est en fait valable pour tout nombre complexe de
p 1 − px
partie réelle strictement plus grande que 1.

Théorème (Produit eulérien). Pour tout s ∈ C tel que <(s) > 1,

Y 1
ζ(s) = .
p 1 − p1s

En particulier, la fonction ζ ne s’annule pas sur le demi-plan {s ∈ C, <(s) > 1}.

Démonstration. La démonstration est similaire au cas réel. On justifie les diverses

convergences en passant aux modules. Soit s ∈ C tel que <(s) > 1. On développe
tout d’abord en série géométrique les quotients
+∞
1 X 1
= ,
1 − p1s k=0 p
ks

 
qui convergent absolument car pour n ∈ N∗ ,  n1s  = n<(s)
1
. On en prend les produits
 

partiels pour trouver, avec les mêmes notations que précédemment,

Y 1 X 1
= ζ(s) − ,
p≤N 1 − p1s n6∈PN n
s

8
dont le second membre tend vers 0 en tant que reste de série (absolument) conver-
gente.

Enfin le dernier point vient de la convergence du produit

Y 1
,
p 1 − p1s

dû à la convergence de la série de terme général (indexée par les nombres premiers

p)
1 1
1 −1 = s .
1 − ps p −1


Remarque. Ce théorème a beaucoup de conséquence en théorie des nombres. J’en

citerai deux.

i) Tout d’abord, la fonction zeta admet un prolongement méromorphe à C

tout entier, avec un unique pôle simple en 1, de résidu 1. Ce prolongement
(que l’on appellera toujours ζ) vérifie l’équation fonctionnelle suivante :
πs
 
∀s ∈ C, ζ(s) = 2s π s−1 sin Γ(1 − s)ζ(1 − s).
2
Le fait que la fonction ζ ne s’annule pas sur {s ∈ C, <(s) > 1} montre alors
que celle-ci admet des zéros d’ordre 1 en tous les entiers strictement négatifs
pairs, et que ce sont ses seuls zéros sur le demi-plan {s ∈ C, <(s) < 0}.

En effet, dans la formule ci-dessus, le sinus s’annule pour s = 2n, n ∈ N,

et la fonction Γ (prolongée méromorphiquement à C) admet des pôles
simples en les entiers négatifs, donc pour s = 1 + n, n ∈ N, et nulle
part ailleurs. Pour s = 2n, n ∈ N∗ , le zéro du sinus compense le pôle de
Γ. Pour s = 2n + 1, n ∈ N∗ , la seule possibilité est que ζ s’annule en
1 − (2n + 1) = −2n, et que ce zéro soit d’ordre 1 car le pôle de Γ est simple
et ζ(2n + 1) 6= 0. On vérifie que ce sont bien les seuls cas à étudier.

ii) Ensuite, en prenant le logarithme du produit eulérien (on peut justifier les
convergences et les interversions correctement), on trouve, pour <(s) > 1,

X +∞ +∞
!
X 1 X 1 XX 1
log ζ(s) = − log 1 − s =− ns
= − ns
p p p n=1 np n=1 p np

9
 d’où en dérivant
+∞ +∞
ζ0 X X log(p) X Λ(n)
− (s) = = ,
ζ n=1 p pns n=1 n
s

où Λ est la fonction de Von Mangoldt, définie par Λ(n) = log(p) si n est

une puissance du nombre premier p, 0 sinon. On démontrera cette égalité
rigoureusement plus loin.

Cette formule est un point de départ possible pour démontrer le fameux

théorème des nombres premiers. Rappelons que celui-ci énonce que si π(x)
désigne le nombre de nombres premiers inférieurs au réel x, alors
x
π(x) ∼
log x
quand x tend vers +∞. On montre que ce théorème est équivalent au fait
que X
Λ(n) ∼ x
n≤x

quand x tend vers +∞, ce que l’on peut prouver à l’aide d’un peu d’analyse
complexe et la formule ci-dessus. 1

4 Produits infinis de fonctions

On a désormais envie d’étudier des produits infinis de fonctions. Ces produits
étant limites de leurs produits partiels, on sait qu’en cas de convergence uniforme,
la limite héritera des propriétés de continuité ou d’holomorphie des fonctions consi-
dérées. Commençons par un lemme.
Lemme. Si u1 , . . . , un ∈ C alors
n n
!
Y X
(1 + |uk |) ≤ exp |uk |
k=1 k=1

et
n n
 
Y  Y

 (1 + uk ) − 1 ≤ (1 + |uk |) − 1.
 
k=1 k=1
1. Il y a quand même du travail. On peut utiliser la formule de Perron, qui lie la somme
partielle d’une série de Dirichlet à une intégrale impliquant la somme de cette série sur une droite
X Λ(n)
verticale. Ici la série de Dirichlet en question est justement . En affinant légèrement la
n
ns
zone de non annulation de ζ, on peut estimer notre intégrale et obtenir l’équivalent souhaité.

10
Démonstration. La première inégalité provient de l’inégalité classique 1 + x ≤
exp(x) valable pour x ∈ R∗ .

Pour la seconde on procède par récurrence. Elle est trivialement vraie si n = 1,

et si un+1 ∈ C on a
n+1   n ! 
Y   Y 
(1 + uk ) − 1 = (1 + uk ) − 1 (1 + un+1 ) + un+1 
   
 
   
k=1
 k=1
n
!
 Y 
≤ (1 + u ) − 1  (1 + |un+1 |) + |un+1 |
 
 k
 
k=1
n
!
Y
≤ (1 + |uk |) − 1 (1 + |un+1 |) + |un+1 |
k=1
n+1
Y
= (1 + |uk |) − 1.
k=1

Passons maintenant au théorème principal de convergence uniforme de produits

de fonctions, qui nous servira à obtenir des propriétés de continuité ou d’holomor-
phie de produits infinis. Dans la suite on notera Z(f ) l’ensemble des zéros d’une
fonction f à valeurs dans C.
Théorème. Soient (fn )n une suite de fonctionXd’un ensemble X dans C, toutes
bornées. On suppose que la série de fonctions |fn | converge uniformément sur
Y n
X. Alors le produit infini (1 + fn ) converge uniformément sur X vers une fonc-
n
+∞
[
tion f , on a Z(f ) = Z(1 + fn ) et le produit est commutativement convergent,
n=0 Y
c’est-à-dire que pour toute bijection σ : N → N, le produit infini (1 + fσ(n) )
n
converge uniformément sur X vers f .
X
Démonstration. Notons que la converge simple de la série de fonctions fn sur X
n
nous donne, par les critères de convergence précédents, l’existence de la fonction
limite f en tout point de X, même là où un terme duYproduit s’annule (auquel
cas la limite est nulle). De plus le fait que le produit (1 + fn (x)) converge au
n
sens précédemment discuté si fn (x) 6= −1 pour tout n ∈ N montre d’ores et déjà
le second point du théorème. Il nous reste à voir que la convergence est en fait
uniforme, et commutative.

11
 X
Tout d’abord, par convergence uniforme de la série |fn |, et comme les fn
n
sont bornées, la fonction somme de cette série est également bornée, disons par
M > 0. Alors par le lemme précédent, on a
 N  N n
!
Y 
|fn (x)| ≤ eM .
Y X
∀x ∈ X, ∀N ∈ N,  (1 + fn (x)) ≤ (1 + |fn (x)|) ≤ exp
 
n=0 n=0 n=0

Soit maintenant ε > 0. Pour une raison qui apparaîtra claire plus bas, on choisit
+∞
X
ε < 21 . Par convergence uniforme, soit N0 ∈ N tel que |fn (x)| ≤ ε pour tout
n=N0
x ∈ X. On va montrer que la suite de fonctions
!
Y
(1 + fn )
n n

est uniformément de Cauchy. Soient donc p ≥ q ≥ N0 et x ∈ X. Toujours par le

lemme précédent, on a
 p q
  q   p 

Y Y  Y  Y 

(1 + fn (x)) − (1 + fn (x)) = (1 + fn (x))  (1 + fn (x)) − 1
  
 
   
n=0 n=0 n=0 n=q+1 
   
p
eM exp 
X
≤ |fn (x)| − 1
n=q+1
M ε
≤ e (e − 1).
Mais comme ε ∈]0, 21 [, on a eε ≤ 1 + 2ε (par une simple étude de fonction). Ainsi
 p q

Y 
≤ 2εeM ,
Y
(1 + f n (x)) − (1 + f n (x))
 

 
n=0 n=0

ce qui prouve bien la convergence uniforme du produit.

Enfin, si σ : N → N est une bijection alors, pour ε ∈]0, 21 [, x ∈ X, N ∈ N

suffisamment grand et M ∈ N tel que {1, . . . , N } ⊂ σ({1, . . . , M }), le calcul
précédent montre que pour tout x ∈ X,
M N

Y 
≤ 2εeC ,
Y
(1 + f (x)) − (1 + f (x))
 
 σ(n) n 
 
n=1 n=0
Y
ce qui justifie la convergence du produit (1 + fσ(n) (x)) vers f (x). La convergence
n X
est uniforme par la partie précédente de la démonstration car la série |fσ(n) |
n
converge également uniformément sur X. 

12
Corollaire. Soit (fn )n une suite de fonctions continues (respectivement
X holo-
morphes) sur un ouvert non vide Ω de C. Si la série de fonctions fn converge
Y n
normalement sur tout compact de Ω, alors le produit infini (1 + fn ) converge
n
uniformément sur tout compact de Ω vers une fonction f continue (respectivement
holomorphe) sur Ω qui vérifie
+∞
[
Z(f ) = Z(1 + fn ).
n=0

De plus l’ordre d’un zéro de f est la somme (finie) des ordres de ce zéro pour les
1 + fn .

Démonstration. Le premier point est clair par le théorème précédent, appliqué à

tous les compacts K ⊂ Ω, et au théorème de Weierstrass sur la convergence uni-
forme de fonctions holomorphes. De même pour l’ensemble des zéros de f .

Il reste à voir l’ordre des zéros de f . Soit z ∈ Ω et soit K un voisinage compact

de z dans Ω. Si {n ∈ N, ∃s ∈ K, fn (s) = −1} était infini, on pourrait trouver
une extractrice (nk )k telle que ∀k ∈ N, ∃zk ∈ K, fnk (zk ) = −1. Mais alors la sé-
+∞
X
rie |fnk (zk )| diverge, en contradiction avec la convergence normale de la série
X k=0
|fn | sur K. Ainsi, tout point de Ω admet un voisinage dans lequel un nombre
n
fini de fn prend la valeur −1.

Soit z ∈ Ω. Soit S la liste finie (éventuellement vide) des n ∈ N tels que

fn (z) = −1 et m la somme des ordres d’annulation des fn en z, pour n ∈ S. Alors
on a, sur un voisinage V de z, que seul les fn avec n ∈ S s’annulent sur V par le
point précédent. On écrit alors, pour N > max(S) et s ∈ V ,
N
(1 + fn (s)) = (s − z)m g(s)
Y Y
(1 + fn (s)),
n=0 n≤N,n6∈S

où g est une fonction holomorphe sur V .

Par convergence uniforme sur (un compact de) V , on a donc

∀s ∈ V, f (s) = (s − z)m h(s),

avec h holomorphe sur V , ce qui prouve que f s’annule à l’ordre m en z. 

13
 Passons à quelques exemples : La formule du produit eulérien nous redonne
l’holomorphie de ζ sur {s ∈ C, <(s) > 1}, ainsi que le fait que ζ ne s’annule pas
sur cet ouvert.
Y z

Le produit de fonctions 1 − 2 converge uniformément sur tout compact
n n
de C√et définit donc une fonction entière ψ. On a ψ(z) = 0 si et seulement si
z = n avec n ∈ N∗ .
Y an

Le produit de fonctions 1− converge uniformément sur tout compact
n ns
X an
du demi-plan de convergence absolue de la série de Dirichlet F = . Dans le
ns n
demi-plan de convergence de F il y converge également ponctuellement.

5 Dérivée logarithmique d’un produit infini de

fonctions holomorphes
D’après le théorème de Weierstrass sur la convergence de suites de fonctions
holomorphes, si (fn )n est une suite de fonctions holomorphes convergeant unifor-
mément vers la fonction f sur tout compact de l’ouvert Ω ⊂ C, on a également
convergence uniforme de la suite des dérivées (fn0 )n vers f 0 , toujours uniformément
sur tout compact de Ω. En particulier on peut dériver les séries uniformément
convergentes de fonctions holomorphes termes à termes. Cette dérivation est mal
adaptée à nos produits infinis.

En effet, déjà pour deux termes 1 + f1 et 1 + f2 la dérivée de F : z 7→ (1 +

f1 (z))(1 + f2 (z)) en z ∈ Ω est f10 (z)(1 + f2 (z)) + (1 + f1 (z))f20 (z), qui a une
forme difficilement maniable telle quelle. Cependant, si l’on suppose f1 (z) 6= −1
et f2 (a) 6= −1, on trouve en divisant par F (z) que
F 0 (z) f10 (z) f20 (z)
= + .
F (z) 1 + f1 (z) 1 + f2 (z)
Autrement dit la dérivée logarithmique (quand elle existe) d’un produit fini est
la somme des dérivées logarithmiques ! Généralisons cela à nos produits infinis de
fonctions holomorphes.

Théorème. Soit (fn )n uneX

suite de fonctions holomorphes sur l’ouvert non vide
Ω ⊂ C telle que la série fn converge normalement sur tout compact de Ω.
n

14
Notons F le produit des (1 + fn ) sur Ω. Alors la série de fonctions méromorphes
X fn0 0
converge normalement sur tout compact de Ω vers FF .
n 1 + fn

Démonstration. Soient K un compact de Ω et n ∈ N tel que (1 + fk ) ne s’annule

pas sur K, pour tout k > n. Un tel n existe toujours par convergence de la série
X m
Y
fn sur K. Pour m > n, posons gm : z 7→ (1 + fk (z)), définie sur Ω. Alors
n k=n+1
pour tout m > n et tout z ∈ K,
0 m
gm (z) X fk0 (z)
= ,
gm (z) k=n+1 1 + fk (z)
c’est-à-dire m
0
X fk0 (z)
gm (z) = gm (z) .
k=n+1 1 + fk (z)
F
La suite des gm converge uniformément sur K vers G = (1+f1 )...(1+f n)
par le théo-
0 0
rème précédent, et la suite gm converge uniformément sur K vers G . Ainsi on a
pour tout z ∈ K,
+∞
G0 (z) X fk0 (z)
= .
G(z) k=n+1 1 + fk (z)

Mais on a également
n
G0 F0 X fk0
= −
G F k=0 1 + fk
par dérivation logarithmique. Donc
n
F0 X fk0 G0 +∞
X fk0
= + =
F k=0 1 + fk G k=0 1 + fk

et la convergence est normale sur K au sens des fonctions méromorphes. 

Appliquons immédiatement ce théorème pour obtenir une formule précédem-

ment citée.
X Λ(n)
Proposition. La série de fonctions converge normalement sur tout com-
n ns
0
pact de Ω = {s ∈ C, <(s) > 1} vers − ζζ .
Démonstration. Il suffit d’appliquer le théorème précédent au développement en
produit eulérien de ζ :
!−1
Y 1
∀s ∈ Ω, ζ(s) = 1− s ,
p p

15
la convergence normale étant assurée par la condition <(s) > 1. Le calcul formal
des dérivées logarithmiques a déjà été fait précédemment. On trouve bien
+∞
X Λ(n) ζ0
s
= − (s)
n=1 n ζ

pour <(s) > 1, et la convergence est normale sur tout compact. 

6 Zéros prescrits et théorème de factorisation de

Weierstrass
Au vu des exemples précédents, il semble que l’on puisse, dans certains cas,
construire une fonction holomorphe sur un ouvert de C qui admet un nombre
dénombrable (forcément, par le théorème des zéros isolés) de zéros prescrits à
l’avance. Pour un nombre fini de complexes z1 , . . . , zn , il suffit de considérer le
n
Y
polynôme z 7→ (z − zn ).
k=1

Pour
Y une suite (zn )n quelconque, on a envie de considérer le produit infini
z 7→ (z − zn ). Un premier problème apparaît, c’est que l’on ne sait pas aisément
n
Y z

contrôler la convergence de ce produit. Le produit 1− semble être un
n zn
meilleur candidat (on considère les zn non nuls, quitte à multiplier ce produit par
une puissance de z pour que la fonction s’annule à un ordre prescrit en 0). Mais
encore une fois, on n’a pas toujours convergence du produit. Mais on peut déjà
énoncer le résultat suivant.
Proposition. Soit (zn )n une suite de nombres complexes non nuls tels que la
X 1
série converge absolument. Alors il existe une fonction entière s’annulant
n zn
exactement en les zn . De plus, l’ordre d’annulation de cette fonction en zn vaut
exactement le nombre (nécessairement fini) de fois que zn apparaît dans la suite.
Démonstration. On considère comme ci-dessus le produit
Y z

z 7→ 1− .
n zn

Le théorème de convergence des produits de fonctions holomorphes nous donne

que celui-ci converge uniformément sur tout compact de C vers une fonction ho-
lomorphe s’annulant exactement en les zn . De plus, celui-ci nous donne également

16
l’ordre d’annulation de cette fonction en chaque zn , qui correspond bien au nombre
d’indice m ∈ N tel que zm = zn . 

Peut-on affaiblir la condition de convergence absolue de la série en question ?

Pour cela, introduisons les facteurs élémentaires de Weierstrass, qui nous serviront
également à démontrer le théorème de factorisation de Weierstrass.

Définition. Soit p un nombre entier. On définit le p-ième facteur élémentaire de

Weierstrass comme la fonction entière
p
zk
!
X
Ep : z 7→ (1 − z) exp
k=1 k
si p 6= 0, et
E0 : z 7→ 1 − z
sinon.

Remarque. On reconnaît dans la définition des facteurs élémentaires les sommes

partielles du développement en série entière du logarithme. Ce n’est pas un hasard,
p
X zk
car si z est petit en module (typiquement, |z| < 1), est « presque » égal à
k=1 k
− log(1 − z), d’où Ep (z) est « presque » égal à 1. Remarquons de plus que pour
tout p ∈ N, Ep ne s’annule qu’en 1.

Passons à un lemme, qui va tout d’abord nous permettre de répondre à la

question posée précédemment sur les zéros prescrits d’une fonction entière.

Lemme. Pour tout complexe z de module inférieur à 1 et tout p ∈ N, on a

|1 − Ep (z)| ≤ |z|p+1 .
Démonstration. La formule est évidente pour p = 0. Soit maintenant p ∈ N∗ . Pour
z ∈ C, on calcule
p−1 p p p
zk zk zk
! ! !
Ep0 (z) j p
X X X X
= (1 − z) z exp − exp = −z exp .
j=0 k=1 k k=1 k k=1 k

Ainsi Ep0 admet un zéro d’ordre p en 0. De plus, il est immédiat de vérifier que
ses dérivées en 0 sont tous des réels négatifs. La primitive z 7→ 1 − Ep (z) de −Ep0
s’annulant en zéro, admet donc un zéro d’ordre p + 1 en 0, et elle admet des coef-
ficients positifs dans son développement en série entière autour de 0.

17
 1−Ep (z)
On définit maintenant la fonction ϕ : z 7→ z p+1
sur C \ {0}, qui se prolonge
+∞
an z n , où an ≥ 0 pour tout n ∈ N. Le principe
X
analytiquement à C. Alors ϕ(z) =
n=0
du maximum, appliqué à ϕ sur D = {z ∈ C, |z| ≤ 1}, nous donne
 +∞ +∞
 

X n
X
∀z ∈ D, |ϕ(z)| ≤ sup  an z  ≤ an = ϕ(1) = 1,
|z|=1  n=0

n=0

ce qui nous donne bien l’inégalité voulue. 

On en déduit alors le théorème suivant.

Théorème (des zéros prescrits). Soit (zn )n une suite de nombres complexes telle
que |zn | −→ +∞ quand n → +∞. Soit (pn )n une suite d’entiers telle que
+∞
!1+pn
X r
< +∞
n=0 |zn |

pour tout réel r ≥ 0. Alors le produit infini

+∞
z
Y  
f : z 7→ Epn
n=0 zn

est une fonction entière dont l’ensemble des zéros est {zn , n ∈ N} et l’ordre d’un
zéro de f est le nombre (fini) de fois qu’il apparaît dans la suite (zn )n .

Démonstration. Soient r ≥ 0 et z ∈ C tel que |z| ≤ r. Soit N ∈ N tel que |zn | ≥ r

pour tout n ≥ N . Pour de tels n on a  zzn  ≤ 1, et donc d’après le lemme précédent,
on obtient  pn +1 !pn +1
z z  r
  
 
1 − Ep ≤  ≤ .
n

zn   zn  |zn |
Par convergence de la série !1+pn
X r
,
n |zn |
on obtient la convergence normale de la série
X z
 
1 − Epn
n zn

sur tout compact de C.

18
 Par le théorème de convergence de produits infinis de fonctions holomorphes,
on en déduit que P est une fonction entière,
 dont l’ensemble des zéros est exacte-
z
ment l’ensemble des zéros des Epn zn pour n ∈ N, c’est-à-dire {zn , n ∈ N}. Le
résultat sur la multiplicité est immédiat par ce même théorème. 

Remarque. On peut choisir pn = n − 1 pour tout n ∈ N puisque |zn | −→ +∞

lorsque n → +∞ et donc r ≤ 21 |zn | pour n assez grand.

Par exemple, on sait qu’il existe

 une fonction entière s’annulant exactement à
1
l’ordre n! en les exp n2 − sin(n) ... Ce n’est certes pas très intéressant, mais nous
allons pouvoir maintenant passer au théorème de factorisation de Weierstrass.

Mais au fait, le théorème de factorisation de Weierstrass, c’est quoi ? On sait

qu’un polynôme se factorise selon ses racines : si P ∈ C[X], et z1 , . . . , zn sont
les racines de P comptées avec multiplicités, alors P est égal (à une constante
multiplicative près) au produit
n
Y
(z − zk ).
k=1

On est très tenté de faire pareil pour les généralisations naturelles des poly-
nômes sur C, qui sont les fonctions entières. Cependant, celles-ci peuvent s’annuler
une infinité de fois, et rien ne nous garantit l’existence d’une telle écriture.

Soyons fantaisiste et appliquons tout de même cette factorisation, comme l’a

fait Euler en son temps, à la fonction sinus. Celle-ci s’annule exactement en les nπ
pour n ∈ Z. Pour éviter le zéro 0 (haha...), et pour que les zéros soient de la forme n
plutôt que nπ, on considère la fonction z 7→ sin(πz)
πz
, qui se prolonge analytiquement
à C. Euler dit alors (il le faisait pour des réels, mais rien n’empêche de le faire
également sur C, tant qu’on est dans la fantaisie)
!
sin(πz) z z2
Y  Y 
∀z ∈ C, = 1− = 1− 2 ,
πz n∈Z∗ n n∈N∗ n

en regroupant deux à deux les termes correspondant à n et à −n.

Alors, en développant formellement le produit, on trouve que le terme devant

X 1
z 2 n’est autre que − 2
= −ζ(2). En développant notre fonction analytique
n∈N∗ n
en série entière au voisinage de 0, on trouve que
sin(πz) π2z2
=1− + ...
πz 6
19
 π2
Euler en déduit alors la célèbre formule ζ(2) = 6
.

Bien sûr, la méthode prête à rire aujourd’hui. Mais l’on peut justifier cet argu-
ment rigoureusement. Le fait est que le développement en produit de la fonction
sinus trouvé par Euler est vrai !

Théorème (de factorisation de Weierstrass). Soient f une fonction entière ne

s’annulant pas en 0, s’annulant au moins une fois et (zn )n la suite de ses zéros
comptés avec multiplicités. Alors il existe une suite d’entiers (pn )n et une fonction
entière g telles que
+∞
z
 
g(z)
Y
∀z ∈ C, f (z) = e Epn .
n=0 zn
Démonstration. Si f n’a qu’un nombre fini de zéros z0 , . . . , zn c’est clair. Il suffit de
prendre pk = 0 pour tout k ≤ n. Alors z 7→  z f (z) z est une fonction entière
1− z ...(1− z )
0 n

ne s’annulant pas, et comme C est simplement connexe, c’est l’exponentielle d’une

fonction entière g.

Sinon f a une infinité (dénombrable) de zéros et tendant vers l’infini (toujours

par le théorème des zéros isolés). On peut donc supposer (|zn |)n croissante. On
prend (pn )n et P comme dans le théorème des zéros prescrits. Alors la fonction Pf
est entière et ne s’annule pas sur C. Comme C est simplement connexe, il existe g
entière telle que Pf = eg . 

Remarque. La condition f ne s’annule pas en 0 n’est pas restrictive. En effet si

f admet un zéro d’ordre k ≥ 1 en 0, il suffit d’appliquer le théorème précédent à
z 7→ fz(z)
k . C’est justement ce que l’on va faire avec le sinus.

La fonction z 7→ sin(πz) s’annule en 0 à l’ordre 1, et en les n ∈ Z. Dans le

théorème précédent, on se convainc facilement
  que
 l’on peut choisir
 pn = 0 pour
2
tout n ∈ N. En effet, en groupant E0 n et E0 −n , on trouve 1 − nz 2 , dont la
z z

X r
 
série associée converge. Alors
n n2
+∞ +∞
!
sin(πz) z z z2
   
= eg(z) = eg(z)
Y Y
∀z ∈ C, E0 E0 − 1− 2
πz n=1 n n n=1 n

pour une certaine fonction entière g. Il reste à voir que la fonction eg vaut identi-
quement 1 sur C. Ce qui n’est pas facile... Un résultat de Borel nous permettrait
de montrer que c’est bien le cas. Nous n’irons pas plus loin dans cette direction.

20
En pratique, déterminer la fonction g du théorème est difficile.

Pour montrer le développement

! voulu, on va utiliser la méthode suivante. La
Y z2
fonction P = z 7→ z 1 − 2 est bien définie et holomorphe sur C par les
n n
critère précédemment vus, et on peut calculer sa dérivée logarithmique termes à
termes :
P 0 (z) 1 +∞
X −2zn−2 1 +∞
X 2z
∀z ∈ C \ N, = + −2
= + .
P (z) z n=1 1 − z n
2 z n=1 z − n2
2

Mais une formule classique 2 nous dit que

π 1 +∞
X 2z
∀z ∈ C \ N, = + .
tan(πz) z n=1 z 2 − n2
π
Comme z 7→ tan(πz) n’est autre que la dérivée logarithmique de z 7→ sin(πz), on
en déduit que P est cette dernière fonction sont égale à une constante multiplicative
près. 3 Or f (z)
z
−→ 0 quand z → 0 tandis que sin(πz) z
−→ π quand z → 0. On en
+∞
!
Y z2
déduit que cette constante est π, c’est-à-dire sin(πz) = πz 1 − 2 pour
n=1 n
z ∈ C, ce qu’il fallait démontrer.

Proposition. Pour tout z ∈ C,

+∞
!
Y z2
sin(πz) = πz 1− 2 .
n=1 n

Une conséquence inattendue du théorème de factorisation de Weierstrass est le

résultat suivante. Rappelons que si Ω est un ouvert connexe de C, l’anneau H(Ω)
est intègre par le principe des zéros isolés.

Proposition. Le corps des fractions de H(Ω) est M(Ω), le corps des fonctions
méromorphes sur Ω.
2. Cette formule peut être obtenue en utilisant astucieusement le théorème de Liouville : on
montre que la différence de ces deux quantités est une fonction entière, 1-périodique et bornée
dans les bandes verticales (c’est l’estimation difficile ici). Par Liouville, la différence est constante,
et on détermine que cette constante vaut 0.
3. Si deux fonctions ont même dérivée, elles différent d’une constante additive. Si elles ont
même dérivée logarithmique, leurs logarithmes diffèrent d’une constante additive, et donc elles
diffèrent d’une constante multiplicative.

21
Démonstration. Une inclusion est évidente, un quotient de fonctions holomorphes
est méromorphe.

Soit maintenant f une fonction méromorphe sur Ω. Soit P l’ensemble de ses

pôles. P est nécessairement dénombrable, sans quoi f1 est identiquement nulle par
le théorème des zéros isolés, absurde. Par le théorème de factorisation de Weiers-
trass, il existe une fonction g holomorphe sur Ω, s’annulant en les éléments de
P avec multiplicité l’ordre du pôle correspondant. Alors la fonction h = f g est
holomorphe sur Ω, et f = hg ∈ Frac(H(Ω)). 

Remarque. Pour pousser plus loin l’étude algébrique de H(Ω), on peut remar-
quer qu’il ne s’agit jamais d’un anneau noethérien. En effet, soit (zn )n une suite
injective dans Ω. Alors
 la chaîne d’idéaux
 I0 ⊂ I1 ⊂ · · · ⊂ In ⊂ . . . est strictement
sin(πz)
croissante, où In = z 7→ z(z−1)...(z−n) pour n ∈ N. De manière moins algébrique,
on peut montrer qu’en tant qu’espace métrique, il n’est pas normable ! 4

7 Quelques exemples
Passons maintenant à quelques exemples classiques de produits infinis qui n’ont
pas encore été abordés. Je reviendrai aux démonstrations plus tard.

Proposition (Wallis). On a

π +∞
Y 4n2
= .
2 n=1 4n2 − 1

Remarque. On pourrait utiliser la formule pour le sinus cardinal démontrée pré-

cédemment :
sin(π/2) +∞
!
Y (π/2)2
= 1− 2 2 ,
π/2 n=1 nπ
qui nous donne
+∞ +∞
2 1 4n2 − 1
Y   Y
= 1− 2 = ,
π n=1 4n n=1 4n2
d’où par continuité de la fonction inverse,

π +∞
Y 4n2
= .
2 n=1 4n2 − 1
4. Indication : utiliser le théorème de Montel et le théorème de Riesz sur la caractérisation
des espaces vectoriels normés de dimension finie par la compacité de la boule unité.

22
 Mais on va utiliser la méthode originale de Wallis, utilisant ses fameuses inté-
grales.

Démonstration. À venir. 

Un des premiers exemples de produits infinis a été donné par Viète. Sa formule
permettait également d’exprimer π en fonction d’un tel produit.
√
Proposition. √On définit la suite (un )n définie par récurrence par u0 = 2 et pour
n ∈ N, un+1 = 2 + un . Alors on a
+∞
2 Y un
= .
π n=0 2

Démonstration. À venir. 

La formule suivante est due à Schlömlich.

Proposition. Pour tout z ∈ C,

+∞
1 z
 
z
= zeγ
Y
1+ en ,
Γ(z) n=1 n

où γ est la constante d’Euler.

Démonstration. À venir. 

On peut également factoriser la fonction ζ de Riemann    selon ses zéros ! On va

pour cela utiliser la fonction ξ : s 7→ 12 s(s−1)π −s/2 Γ 2s ζ 2s , qui vérifie l’équation
fonctionnelle ξ(s) = ξ(1 − s) pour tout s ∈ C.

Proposition. Pour tout s ∈ C,

!
P (s)
Y s ρs
ξ(s) = e 1− e ,
ρ ρ

où P (s) = (log(2π) − 1 − γ2 )s − log(2) et γ est la constante d’Euler.

Démonstration. À venir. 

Enfin, pour ce dernier exemple on va généraliser le développement en produit

eulérien de la fonction ζ.

23
Proposition. Soit f une fonction arithmétique multiplicative, c’est-à-dire une
fonction de N∗ dans C telle que f (mn) = f (m)f (n) sir m et n sont premiers entre
eux. Si f est bornée alors pour tout nombre complexe s tel que <(s) > 1, on a
+∞
f (n) Y +∞
X f (pn )
!
X
s
= ns
.
n=1 n p n=0 p

De plus, si f est complètement multiplicative, c’est-à-dire si f (mn) = f (m)f (n)

pour tous m, n ∈ N∗ , alors pour tout nombre complexe s tel que <(s) > 1, on a
+∞
!−1
X f (n) Y f (p)
s
= 1− s .
n=1 n p p

Démonstration. À venir. 

Ces développements interviennent notamment dans la démonstration de Diri-

chlet du théorème de la progression arithmétique 5 .

5. Soient a et b deux entiers premiers entre eux. Alors il existe une infinité de nombres premiers
p tels que p = a mod b

24
Références
[1] M. Audin, Analyse complexe, PDF disponible en ligne, 2007

[2] H. Cartan, Théorie élémentaire des fonctions analytiques d’une ou plusieurs

variables complexes, Hermann, 1995

[3] W. Rudin, Analyse réelle et complexe, Dunod, 2009

[4] G. Tenenbaum, Introduction à la théorie analytique et probabiliste des nombres

- 4ème édition, Belin, 2015

25