Ministere de l`Enseignement Superieur et des recherches scientiIiques

Universite Virtuelle de Tunis

Intitule du chapitre :




Analyse complexe




Nom de l`auteur :





Hajer Bahouri
Mohamed Majdoub
Amor Nakouri















Cette ressource est la propriete exclusive de l'UVT. Il est strictement interdit de la reproduire a des Iins
commerciales. Seul le telechargement ou impression pour un usage personnel (1 copie par utilisateur) est permis.
Chapitre 8
Zros des fonctions holomorphes et thorme de
factorisation de Weierstrass
1 Produits innis
Dnition 1.1
Soit (n
n
) une suite de C. On note
1
n
= n
1
n
2
n
n
=
n

|=1
n
|
.
On dit que le produit inni

n1
n
n
converge si la suite (1
n
)
n1
admet une limite
nie 1 lorsque : tend vers linni.
On note alors
1 =
1

n=1
n
n
.
Exercice 8.1
Montrer que le produit inni

n1
1
:
2
converge.
Solution
On a
1

n=1
1
:
2
= exp
_
1

n=1
1
:
2
_
= exp(

2
6
).
Exercice 8.2
Etudier la convergence du produit inni

n1
c
I0
, 0 R.
1
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
Solution
On a 1
n
= c
In0
. Do le produit inni en question converge si et seulement
si 0 2Z.
Proposition 1.1
Si le produit inni

n1
n
n
converge vers 1 ,= 0, alors la suite (n
n
) converge vers
1.
Preuve
Le rsultat dcoule du fait que 1
n+1
1
n
= 1
n
(n
n+1
1) et du fait que 1 ,= 0.
Lhypothse n
n
1 ne sut pas pour que (1
n
) converge .
Par exemple, si n
n
= 1 +
1
n
, on a
log(1
n
) =
n

=1
log(1 +
1
,
) lorsque : .
Proposition 1.2
Soit (n
n
)
n1
une suite de C, on pose, pour tout entier : _ 1
1
n
=
n

=1
(1 + n

) et 1

n
=
n

=1
(1 +[n

[).
Alors on a
1

n
_ exp([n
1
[ + +[n
n
[). (1)
[1
n
1[ _ 1

n
1. (2)
Preuve
La relation (1) dcoule de lingalit 1+r _ exp(r) valable pour tout rel r _ 0.
Montrons maintenant (2) par rcurrence.
Pour : = 1, on a [1
1
1[ = [n
1
[ = 1

1
1.
Supposons (2) vraie jusqu lordre : et montrons la pour : + 1.
2
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
Par dnition
[1
n+1
1[ = [1
n
(1 + n
n+1
) 1[
= [(1
n
1)(n
n+1
+ 1) + n
n+1
[
_ (1

n
1)(1 +[n
n+1
[) +[n
n+1
[
_ 1

n
(1 +[n
n+1
[) 1
_ 1

n+1
1.
do la proposition.
On en dduit le thorme fondamental suivant.
Thorme 1.1
Soit (n
n
) une suite de fonctions dune partie de C valeurs dans C.
Si la srie

[n
n
(.)[ converge uniformment sur vers une fonction borne sur
, alors le produit inni

n1
(1 + n
n
(.)) converge uniformment sur .
De plus si on note
)(.) =
1

n=1
(1 + n
n
(.))
alors
?()) = '
n1
?(1 + n
n
) (3)
o ?(q) dsigne lensemble des zros de q.
Preuve
En notant par 1
n
(.) =
n

=1
(1 + n

(.)), on a en vertu de (2)

[1
n+|
(.) 1
n
(.)[ = [1
n
(.)[[
|

=1
(1 + n
n+
(.)) 1[
_ [1
n
(.)[(
|

=1
(1 +[n
n+
(.)[) 1).
Or
[1
n
(.)[ _ exp
_
n

=1
[n

(.)[
_
_ exp
_
1

=1
[n

(.)[
_
_ C.
3
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
Par consquent
[1
n+|
(.) 1
n
(.)[ _ C(
|

=1
(1 +[n
n+
(.)[) 1)
_ C
_
exp
_
|

=1
[n
n+
(.)[
_
1
_
_ C
_
exp
_
1

=1
[n
n+
(.)[
_
1
_
.
Enn, comme la srie

[n
n
(.)[ converge uniformment sur ,
\ - 0, tel que \ : _ ,
1

=1
[n
n+
(.)[ _
-
2C
ce qui entrane, - tant choisi assez petit, que pour : _
[1
n+|
(.) 1
n
(.)[ _ [1
n
(.)[(c
:/2c
1) _ -. (4)
Montrons maintenant (3). Il est clair que '
n1
?(1 + n
n
) ?()).
En faisant tendre / vers linni dans (4), on obtient, pour tout entier : _
[)(.) 1
n
(.)[ _
-
C
[1
n
(.)[
donc
[)(.)[ _ [1
n
(.)[(1
-
C
),
do pour - assez petit
[)(.)[ _
[1
n
(.)[
2
.
Par consquent si )(.
0
) = 0 alors 1
n
(.
0
) = 0 et par suite il existe un entier ,
tel que n

(.
0
) = 1.
2 Zros des fonctions holomorphes
Le thorme suivant est une consquence immdiate du thorme prcdent.
Thorme 2.1
Soit un ouvert connexe de C et ()
n
) une suite de H().
On suppose que pour tout entier :, )
n
est non identiquement nulle et que la srie

[)
n
[ converge uniformment sur tout compact de .
Alors le produit inni

n1
(1 + )
n
(.)) converge uniformment sur tout compact de
vers la fonction
)(.) =
1

n=1
(1 + )
n
(.)).
4
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
De plus, ) H() et :(), .) =
1

n=1
:(1 + )
n
, .) pour tout . ,
o :(q, .) dsigne lordre du zro de q au point . avec la convention :(q, .) = 0
si q(.) ,= 0.
Nous allons maintenant construire explicitement une fonction holomorphe sur C
ayant des zros xs.
Il est clair que si .
1
, , .
|
sont les zros xs dordres respectifs :
1
, , :
|
dune fonction holomorphe quon cherche construire, on peut de manire triviale
considrer la fonction
)(.) = (. .
1
)
n
1
(. .
|
)
n
k
.
Le problme se pose vraiment lorsque lensemble des zros xs est une suite (.
n
)
sans point daccumulation. Il sagit donc dune suite (.
n
) tendant vers linni.
Pour construire une telle fonction et ainsi montrer que lunique contrainte quon a
sur lensemble des zros dune fonction holomorphe est de nadmettre aucun point
daccumulation, on va introduire la suite (1

) de fonctions suivantes qui vont servir

de briques lmentaires pour construire des fonctions holomorphes sannulant en un
point donn.
Dnition 2.1
Posons
1
0
(.) = 1 .,
et pour tout entier j _ 1
1

(.) = (1 .) exp(. +
.
2
2
+ +
.

j
).
Il est clair que (1

) est une suite de fonctions holomorphes sur C vriant

1

(.) = 0 = . = 1.
5
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
Lemme 2.1
Pour tout [.[ _ 1, on a
[1 1

(.)[ _ [.[
+1
. (5)
Preuve
Pour j = 0, lingalit (5) est immdiate.
Supposons que j _ 1. Un calcul lmentaire donne
1
0

(.) = exp(. + +
.

j
) + (1 .)(1 + . + + .
1
) exp(. + +
.

j
)
= .

exp(. + +
.

j
).
Comme 1

(0) = 1, on dduit que 1 1

(.) a un zro dordre j + 1 en 0. Il vient

alors en vertu du thorme 1.1 du chapitre 4 que
1 1

(.) = .
+1

n0
a
n
.
n
, prs de 0,
do
1
0

(.) =

n0
(: + j + 1)a
n
.
n+
.
Or
1
0

(.) = .

exp(. + +
.

j
) =

n0
/
n
.
n+
avec /
n
_ 0.
Par unicit du dveloppement dune fonction holomorphe en srie entire, on dduit
que a
n
_ 0. Donc, pour [.[ _ 1
[1 1

(.)[ _ [.[
+1

n0
a
n
[.[
n
_ [.[
+1

n0
a
n
_ [.[
+1
puisque

n0
a
n
= 1 1

(1) = 1.
Do le lemme.
Thorme 2.2
Soit (.
n
) une suite de nombres complexes vriant .
n
,= 0 pour tout entier : et
[.
n
[ +. Si (j
n
)
n1
est une suite de N telle que
\ r 0,
1

n=1
_
r
[.
n
[
_
1+
n
< , (6)
6
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
alors le produit inni
1(.) =
1

n=1
1

n
_
.
.
n
_
(7)
converge uniformment sur tout compact de C vers une fonction entire dont
lensemble des zros est la suite (.
n
) avec
:(1, a) = card
_
:; .
n
= a
_
. (8)
Si on cherche construire une fonction holomorphe ) sur C dont lensemble
des zros 7()) = (.
n
), 0 0, il sut de prendre )(.) = .
|
1(.).
Lhypothse (6) est satisfaite pour j
n
= : 1.
En eet, comme [.
n
[ + alors
\ r 0, :
0
(r), \ : :
0
(r), [.
n
[ _ 2r
donc
r
[.
n
[
_
1
2
et pour
j
n
= : 1, la srie

(
r
[.
n
[
)
1+
n
converge.
Preuve
Ce thorme dcoule aisment du thorme 2.1. En eet, on a en vertu du
lemme prcdent, pour [.[ _ r et pour : assez grand de sorte que [.
n
[ r

1 1

n
_
.
.
n
_

_
_
[.[
[.
n
[
_
1+
n
_
_
r
[.
n
[
_
1+
n
ce qui assure la convergence uniforme de la srie

n1
(1 1

n
(
.
.
n
))
sur 1(0, r).
Do le rsultat.
7
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
Thorme 2.3 (Thorme de factorisation de Weirestrass)
Soit ) une fonction entire ne sannulant pas lorigine dont lensemble des zros
est 7()) = (.
n
).
Alors il existe q H(C) et (j
n
)
n1
une suite de N telle que
)(.) = c
(:)
1

n=1
1

n
(
.
.
n
). (9)
Si de plus 0 est un zro dordre / de ), alors ) scrit sous la forme
)(.) = .
|
c
(:)
1

n=1
1

n
(
.
.
n
).
Preuve
Soit 1(.) le produit inni donn par le thorme prcdent. Il est alors clair
que la fonction ~ q =
)
1
est holomorphe sur C et ne sannule pas . Pour achever la
preuve du thorme, il sut de montrer lexistence dune fonction q H(C) telle
que
c
(:)
= ~ q(.).
Il sut de poser
q(.) =
_
[0,:]
~ q
0
()
~ q()
d + a,
o ~ q(0) = c
o
.
Nous allons maintenant traiter le cas dun ouvert non vide quelconque de C.
Thorme 2.4
Soit un ouvert non vide de C, un sous-ensemble au plus dnombrable de
sans point daccumulation dans et (:(c))
o2.
une famille dentiers positifs.
Il existe une fonction ) H() telle que 7()) = et pour tout c , :(), c) =
:(c).
Comme corollaire de ce thorme, on a le rsultat suivant qui donne une autre
caractrisation des fonctions mromorphes.
8
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
Thorme 2.5 (Caractrisation des fonctions mromorphes)
Toute fonction mromorphe sur un ouvert non vide de C est le quotient de deux
fonctions holomorphes sur .
Preuve du thorme 2.5
Soit ) une fonction mromorphe sur et = .

lensemble des ples de )

dordre :

.
Considrons q(.) la fonction holomorphe donne par le thorme 9.2.3 dont lensemble
des zros est lensemble = .

avec :

lordre de .

. Il est alors clair que

q.) = / H() ce qui assure le thorme.
Preuve du thorme 2.4
Le cas ni tant trivial, on peut supposer que est dnombrable.
Posons alors = (c
n
). On peut aussi supposer que est born quitte faire la
transformation homographique
1
. .
0
avec .
0
.
Maintenant c
n
, on associe ,
n
tel que
[,
n
c
n
[ = di:t(c
n
, C ).
Il est clair que ,
n
, et [,
n
c
n
[ 0.
Le produit inni
)(.) =
1

n=1
1
n
(
c
n
,
n
. ,
n
)
rpond la question.
En eet, en vertu de ce qui prcde, il sut de montrer que la srie de terme gnral
n
n
(.) = 1 1
n
(
o
n
o
n
:o
n
) converge uniformment sur tout compact de . Soit 1
un compact de et posons
r
n
= 2[c
n
,
n
[.
Comme r
n
0, il existe un entier tel que pour tout . 1 et tout : _
[. ,
n
[ r
n
.
On en dduit que pour tout : _

c
n
,
n
. ,
n

_
1
2
donc, en vertu du lemme 9.2.1

1 1
n
_
c
n
,
n
. ,
n
_

_ (
1
2
)
n+1
do le thorme.
9
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
Exercice 8.3
Dmontrer que la fonction ) dnie par
)(.) =
1

n=1
_
1 + .
2
n
_
est holomorphe sur le disque unit ouvert 1, et que lon a
)(.) =
1
1 .
2
pour tout . C.
Solution
Dmontrons dabord que ) est holomorphe sur 1(0, 1).
Soit 1 un compact de 1(0, 1). Il existe 0 < r < 1 tel que 1 1(0, r). Pour
. 1, on a alors [.
2
n
[ _ r
2
n
. Il en rsulte que la srie de terme gnral .
2
n
est
normalement convergente sur 1. Do le rsultat.
Dmontrons maintenant la relation )(.) =
1
1 .
2
.
Pour . 1(0, 1), posons:
q(.) =
1
1 .
2
et /(.) =
)(.)
q(.)
.
Il vient facilement:
/(.) = /(.
2
) = = /(.
2
n
) = ...
Daprs le premier point, ) H(1(0, 1)), donc / est continue sur 1(0, 1). Alors:
/(.) = /(0) =
)(0)
q(0)
= 1.
On a donc q = ).
Execice (Fonction gamma)
Soit, pour . C,
(.) =
_
1
0
c
|
t
:1
dt
10
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
1. Montrer que la fonction gamma est holomorphe dans le demi-plan
ouvert Re. 0, et quon \ : N, \ . C tel que Re. 0

(n)
(.) =
_
1
0
c
|
(log t)
n
t
:1
dt.
2. Vrier quon a pour tout . C tel que Re. 0
(. + 1) = .(.),
en dduire
(i) (: + 1) = :!, \ : N
(.) =
(. + :)
.(. + 1) (. + : 1)
, \ : N

, \ . C, Re. 0
3. Montrer que se prolonge analytiquement sur C(Z

) et que Res(, :) =
(1)
n
n!
pour tout entier : _ 1.
4. On pose, pour : N

et . C tel que Re. 0,

n
(.) =
_
n
0
t
:1
_
1
t
:
_
n
dt
a) En posant t = :r, montrer que

n
(.) = :
:
_
1
0
r
:1
(1 r)
n
dr
=
:
:
:!
.(. + 1) (. + :)
et que pour tout . CZ

lim
n!+1

n
(.) = (.)
(Formule dEuler-Gauss).
b) (i) Montrer que si
n
= 1 +
1
2
+ +
1
n
log : (par : _ 1 entier)
alors lim
n!+1

n
= existe dans R et 0, 577 ( est appel
nombre dEuler)
(ii) Montrer que si )
|
(.) = (1 +
:
|
)c

z
k
(o . C et / N

), alors
lim
n!+1
n

|=1
)
|
(.) = )(.)
existe dans C.
(la convergence tant uniforme sur tout compact de C) et que
)(.) ,= 0 pour tout . CZ

.
11
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
(iii) En dduire que, pour tout . C,
1
(.)
= .c
~:
1

|=1
_
1 +
.
/
_
c

z
k
(appel produit canonique de Weierstrass).
5. Montrer, pour tout . C,
sin. = .
1

n=1
_
1
.
2
:
2
_
En dduire que

2
= lim
n!1
(
2
1
)
2
(
4
3
)
2
(
2:
2: 1
)
2
1
2: + 1
(appel formule de Wallis)
6. En dduire, en utilisant la formule canonique de Weierstrass, la relation
des complments suivante :
(.)(1 .) =

sin.
, . CZ
7. Montrer la formule de duplication de Gauss-Legendre suivante :
\ . C tel que 2. CZ

,
_
(2.) = 2
2:1
(.)(. +
1
2
).
Solution
1. On a pour t ]0, +[, t
:1
= c
(:1) log |
. Notons que
[c
|
t
:1
[ = c
|
c
+Re:1
,
donc si 0 < c < Re. < , alors
[c
|
t
:1
[ _ 1(t)
avec
1(t) =
_
c
|
t
o1
si t _ 1
t
o1
si 0 < t < 1.
On a
_
+1
0
1(t)dt converge (puisque
_
1
0
t
o1
dt converge et
_
1
1
c
|
t
o1
dt
converge pour c 0 et , 0). Cela prouve (en appliquant le thorme des
12
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
fonctions dnies par des intgrales) que la fonction est holomorphe dans
louvert . C, Re. 0 de C. De plus, on peut driver sous le signe
intgrale, et on a pour tous : N et . C tel que Re. 0

(n)
(.) =
_
1
0
c
|
(log t)
n
t
:1
dt.
2. Une intgration par parties dans (.), pour Re. 0, donne le rsultat
(. + 1) =
_
1
0
c
|
t
:
dt =
_
c
|
t
:
_
|=1
|=0
+ .
_
1
0
c
|
t
:1
dt
= .(.)
car pour Re. 0
[c
|
t
:
]
|=1
|=0
= lim
|!+1
[c
|
t
:
[ = 0
puisque (1) = 1, on dduit que
(: + 1) = :!, \ : N.
Lquation fonctionnelle (. + 1) = .(.), valable pour Re. 0, donne par
rcurrence, pour tout : N

(.) =
(. + 1)
.
=
(. + 2)
.(. + 1)
= =
(. + :)
.(. + 1) (. + : 1)
.
3. Le membre droite de cette dernire glit est une fonction holomorphe dans
. C,Re. :0, 1, 2, , (: 1),
il permet donc de prolonger analytiquement ce domaine et se prolonge
analytiquement sur CZ

.
Comme prcdemment, si : N, : est un ple simple de , pour : :
lim
:!n
(. + :)(.) =
(::)
(:)(: + 1) (1)1.2 (:: + 1)
=
(1)
n
:!
(en utilisant le fait que (::) = (:: + 1)!) cela montre alors que
1c:(, :) =
(1)
n
:!
.
4. a) En posant t = :r, on aura pour Re. 0 et : _ 1

n
(.) = :
:
_
1
0
r
:1
(1 r)
n
dr = :
:
,(., : + 1)
13
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
o
,(., ) =
_
1
0
r
:1
(1 r)
1
dr
avec Re. 0 et Re 0.
Puisquon a (voir exercice suivant)
,(., ) =
(.)()
(. + )
,
alors

n
(.) = :
:
(.)(: + 1)
(. + : + 1)
.
En utilisant la 2me question et (: + 1) = :!, on a

n
(.) =
:
:
.:!
.(. + 1) (. + :)
(+)
La dnition de
n
(.) sous-forme intgrale donne une fonction holo-
morphe dans Re. 0 et le membre droite de lgalit (+) donne un
prolongement analytique de
n
dans C0, 1, 2, , :. Montrons
maintenant la formule dEuler-Gauss. De lingalit 1 r _ c
r
\ r
R, on obtient
[t
:1
_
1
t
:
_
n
[ _ c
1t:1
c
|
, 0 < t < :,
donc

t
:1
(1
t
:
)
n

]0,n[
(t) _ c
1t:1
c
|
, pour t 0
et on sait que
_
1
0
c
Re:1
c
|
dt converge et que
lim
n!+1
t
:1
(1
t
:
)
n

]0,n[
(t) = c
|
t
:1
, pour t 0
(avec
]0,n[
la fonction caractristique de ]0, :[).
Enn, par le thorme de Lebesgue, on conclut que
lim
n!1

n
(.) = lim
n!1
_
1
0
t
:1
(1
t
:
)
n

]0,n[
(t)dt
=
_
1
0
c
|
t
:1
dt = (.).
b) i) Remarquons que

n+1

n
=
1
: + 1
+ log(1
1
: + 1
)
est strictement positif et 0 <
n
<
1
= 1 do lexistence de
= lim
n
.
14
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
Dautre part pour tout entier : _ 1

n
= (1 +
1
2
+ +
1
:
)
_
n
1
dt
t
=
n1

|=1
_
1
/

_
|+1
|
dt
t
_
+
1
:

n
=
n1

|=1
_
|+1
|
(
t /
/t
)dt +
1
:
=
n1

|=1
_
1
0
r
/(r + /)
dr +
1
:
=
_
1
0
_
n1

|=1
r
/(r + /)
_
dr +
1
:
.
Do
= lim
n!1

n
=
_
1
0
_
1

|=1
r
/(r + /)
_
dr.
Puisque
1 =
1

|=1
1
/(/ + 1)
<
1

|=1
1
/(r + /)
<
1

|=1
1
/
2
=

2
6
, pour 0 < r < 1.
pour on a :
0 <
1
2
< <

2
12
0, 83.
ii) On remarque que pour tout . C tel que [.[ _ 1 on a
[1 (1 .)c
:
[ _ [.[
2
_
1

|=1
1
/!

1
(/ + 1)!
_
= [.[
2
on obtient donc, \ / = 1, 2,
[)
|
(.) 1[ =

_
1 +
.
/
_
c
:/|
1

_
[.[
2
/
2
ds que [.[ _ /, ainsi, la srie

1
|=1
[)
|
(.) 1[ est normalement con-
vergente dans tout compact de C. Par le thorme des produits innis,
le point (ii) est tabli.
(iii) Montrons maintenant que pour tout . CZ

1
(.)
= .c
t
z
)(.).
En eet, par un calcul algbrique, on a
:
:
:!
.(. + 1) (. + :)
=
c
~
n
:
.
n

|=1
(1 +
.
/
)
1
c
:/|
.
15
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
En utilisant a, b-(i) et b - (ii), on obtient le rsultat par passage la
limite lorsque : tend vers + ; et on a la formule suivante (appele le
produit canonique de Weierstrass)
1
(.)
= .c
~:
+1

|=1
_
1 +
.
/
_
c
:/|
, . C.
5. Pour tous ' 0 et . C tels que [.[ _ ', on a
1

n=1

.
2
:
2

_ '
1

n=1
1
:
2
< +,
le produit inni .

1
n=1
(1
:
2
n
2
) converge sur tout compact de C vers la
fonction entire
)(.) = .
1

n=1
(1
.
2
:
2
), . C,
de plus pour tout . CN
)
0
(.)
)(.)
=
1
.
+
1

n=1
2.
.
2
:
2
Mais, pour tout . C(Z), on a
cotq. =
1
.
+
1

n=1
2.
.
2
:
2

2
(car
cotq.
1
.
= lim
|!1
|

n=1
_
1
. :
+
1
. + :
_
=
1

n=1
2.
.
2
:
2

2
).
Do
)
0
(.)
)(.)
= cotq., . CN
et par suite )(.) = c sin., . C
o la constante c vrie
1

= lim
:!0
)(.)
.
= c lim
:!0
sin.
.
= c.
Par consquant )(.) =
1
t
sin., . C; On a donc :
sin. = .
1

n=1
_
1
.
2
:
2
_
, . C.
16
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
En posant . =
1
2
, on aura
1 =

2
1

n=1
_
1
1
4:
2
_
=

2
1

n=1
(2: 1)(2: + 1)
(2:)
2
ce qui est quivalent

2
=
1

n=1
(2:)(2:)
(2: 1)(2: + 1)
=
2.2.4.4.6.6
1.3.3.5.5.7
do

2
= lim
n!1
(
2
1
)
2
(
4
3
)
2
(
2:
2: 1
)
2
1
2: + 1
(galit appele formule de Wallis).
6. Par la formule canonique de Weierstrass (4-b) et par 5), on a, \ . C
1
(.)
1
(.)
= .
2
1

n=1
(1
.
2
:
2
) = .
sin.

dautre part, par la formule de , on a

(1 .) = .(.), \ . CN
do
(.)(1 .) =

sin.
, \ . CZ
(formule appele relation des complments).
7. On pose, pour . C tel que 2. CZ

q(.) =
2
2:1
(.)(. +
1
2
)
(2.)
.
Puisquon a (
1
2
) =
_
, et (1) = 1, on a
q(
1
2
) =
_
.
Pour tablir la relation (de duplication de Gauss-Legendre) il sut de montrer
que q(.) est constante. Pour le faire, on utilise la formule dEuler-Gauss
tablie en 4-a.
(.) = lim
n!1
(: 1)!:
:
.(. + 1) (. + : 1)
(. +
1
2
) = lim
n!1
(: 1)!:
:+
1
2
(. +
1
2
)(. +
3
2
) (. +
2n1
2
)
et
(2.) = lim
n!1
(2: 1)!(2:)
2:
2
2n
.(. +
1
2
) (. +
2n1
2
)
aprs un calcul simple, on a
q(.) = lim
n!1
[(: 1)!]
2
:
1
2
2
2n1
(2: 1)!
do q(.) est constante gale q(
1
2
) =
_
.
17
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
Exercice 8.4 (Fonction Bta)
Soit, pour ., C
,(., ) =
_
1
0
t
:1
(1 t)
1
dt.
1. Montrer que . ,(., ) est holomorphe pour Re. 0 (avec xe,
Re 0) et ,(., ) est holomorphe pour Re 0 (avec . xe,
Re. 0).
2. Montrer pour tous ., C tel que Re. 0 et Re 0, on a
,(., ) =
(.)()
(. + )
.
En dduire que ,(., ) = ,(, .) et quen posant t = cos
2
r dans la
dnition de ,(., ), on obtient
_
t/2
0
(cos r)
2:
(sinr)
2
dr =
1
2
,(., )
o ., C tel que Re. 0 et Re 0.
Solution
On note, pour ., C
,(., ) =
_
1
0
t
:1
(1 t)
1
dt
(appele fonction bta).
1. Convergence de ,(., )
Fixons C tel que Re 0 ; on a
[t
:1
(1 t)
1
[ = t
1t:1
(1 t)
1t1
, 0 < t < 1,
et puisque lintgrale
_
1
0
t
o
(1 t)

dt converge si c 0 et j 0, on obtient
(par le thorme des fonctions dnies par des intgrales) que la fonction
18
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
. ,(., ) est holomorphe si 0 < c < 1c. avec j = 1c 0 ( x), car
alors
[t
:1
(1 t)
1
[ _ t
o1
(1 t)
1
, 0 < t < 1.
En variant c, on obtient que la fonction . ,(., ) est holomorphe pour
Re. 0 (avec x tel que Re 0).
On obtient de la mme manire que la fonction ,(., ) est holomorphe
pour Re 0(. C x tel que Re. 0).
2. Il sut de montrer la formule pour . et rels et 0. On obtient en utilisant
le thorme de Fubini pour les fonctions positives
(.)() =
_
_
1
0
t
:1
c
|
dt
__
_
1
0
:
1
c
s
d:
_
=
_
1
0
t
:1
c
|
_
_
1
0
t

1
c
|u
d
_
dt
(en posant : = t),
Do
(.)() =
_
1
0

1
_
_
1
0
c
(1+u)|
t
:+1
dt
_
d
=
_
1
0

1
_
_
1
0
c
u
n
:+1
(1 + )
:+
dn
_
d
=
_
_
1
0

1
(1 + )
:+
d
__
_
1
0
c
u
n
:+1
dn
_
Mais, on a
_
1
0
c
u
n
:+1
dn = (. + )
et
_
1
0

1
(1 + )
:+
d =
_
1
0
_

1 +
_
1
_
1
1 +
_
:+1
d
par le changement de variable t =
1
1+u
on a
_
1
0

1
(1 + )
:+
d =
_
1
0
t
:1
(1 t)
1
dt = ,(., ).
Par consquent, on a pour tous Re. 0 et Re 0
(.)() = ,(., )(. + )
ou bien
,(., ) =
(.)()
(. + )
Remarquons quon a :
,(., ) = ,(, .).
19
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour
3. En posant t = cos
2
r dans lintgrale ,(., ), on aura
_
t/2
0
(cos r)
2:
(sinr)
2
dr =
1
2
,(., )
qui scrit laide de la fonction comme
_
t/2
0
(cos r)
o1
(sinr)
1
dr =
(c,2)(j,2)
2(
o+
2
)
, pour Re c 0 et Re j 0.
20
Universit Virtuelle de Tunis Analyse complexe
Hajer Bahouri, Mohamed Majdoub, Amor Nakour