CHAPITRE 1

Thorme des rsidus et applications

Inspir de [?]
1. Fonctions mromorphes et sries de Laurent 1.1. Zros et ples. Proposition 1.1. soit U un ouvert, z0 U , et f H (U \ {z0 }). On est alors ncessairement dans un des cas suivants : (1) la fonction f peut tre prolonge en z0 par continuit et dans ce cas, le prolongement vrie f H (U). z0 est une singularit liminable ou

articielle (2)

(3)

Il existe un entier m tel que g (z) = (z z0 )m f (z) se prolonge en z0 en une fonction holomorphe sur U . On dit dans ce cas que z0 est un ple de n f , d'ordre m, le plus petit entier n tel que (z z0 ) f (z) se prolonge en fonction holomorphe. l'image de tout voisinage point de z0 est dense dans C. On dit dans ce cas que z0 est une singularit essentielle de f .

D ,

z0 n'est pas une singularit essentielle, alors il existe z0 + z0 , dont l'image n'est pas dense dans C, alors on peut trouver a C et r > 0 tels que a + Dr et f (z0 + D ) sont disjoints. Dans ce cas 1 |f (z) a| r pour z z0 + D . Donc z f (z)a est holomorphe sur z0 + D et
Dmonstration. Si

voisinage point de

1 r . D'aprs le thorme (??), on peut donc la prolonger en une fonction holomorphe sur z0 +D . Il existe donc m 0 et H (z0 + D ), telle que (z0 ) = 0
borne par et pour lesquels on a :

1 f (z) a
d'o

(z z0 ) (z) z0 .
On se retrouve

(zz0 )m 1 avec (z) holomorphe au voisinage de dans un des deux premiers cas suivant que m = 0 ou m = 0.

f (z) = a +

Fig. 1. Singularit essentielle

1. FONCTIONS MROMORPHES ET SRIES DE LAURENT

Remark 1.2. Dans le cas ii) il existe des complexes

au moins est non nul, tel que fonction holomorphe sur

f (z)

a1 , a2 , ..., am dont l'un ai 1im (zz0 )i se prolonge en z0 en une

1

. f : z ez
admet une singularit essentielle en

Example 1.3. la fonction

z = 0.
Dmonstration. Le disque point

D = {z, 0 < |z| < }

cos t r

est dcrit par les

sin t r

z = re , (r, t) ]0, [[0, 2[. Montrons que f (D ) = Z = e

it

ei

, (r, t) ]0, [ [0, 2[ =

C.

Etant donn

Z = e

, on doit trouver

(r, t)

tels que

qui a pour solution

= e

cos t r

sin t r
1 2

r sin t

(ln ) + 2
2

= (ln ) + 2

1 2

Les sries de Laurent sont une gnralisation des sries entires. On appelle couronne de centre

et de rayons

et

l'ensemble

Cr,R
La couronne de centre

= {z C, r < |z| < R} r

et

z0 ,

rayons

est alors

z0 + Cr,R
1.2. Sries de Laurent.

= {z C, r < |z z0 | < R}

Theorem 1.4. (Laurent) Soient z0 C et deux rels 0 < r < R. Toute fonction f H (z0 + Cr,R ) admet dans la couronne z0 + Cr,R , un dveloppement en srie,

dite

srie de Laurent

f (z0 + h)

=
nZ

ck hn

avec, pour tout ]r, R[

cn =
z0 +C

f (z) (z z0 )

n+1 dz

Dmonstration. On pose g (z) = f (z + z0 ) et on dmontre le thorme pour g H (Cr,R ) et z0 = 0. Soit C = Cr,R et h C . Considrons une couronne C = Cr ,R , contenant h et dont l'adhrence est incluse dans C (0 < r < r < |h| < R < R). On peut alors crire la formule de Cauchy sur le lacet constitu du cercle Cr parcouru dans le sens direct, de la portion de rayon i [r , R ] joignant Cr et CR du cercle CR parcouru dans le sens indirect et de la mme portion de rayon parcourue en sens inverse i [R , r ] (voir g 2). Ce lacet est homotope au point h dans C , on peut donc lui appliquer la formule de Cauchy (??) et il vient :

g (h)

1 2i

Cr

g (z) 1 dz + zh 2i

CR

g (Z) dZ Z h

1. FONCTIONS MROMORPHES ET SRIES DE LAURENT

Fig. 2. les couronnes

Cr,R

et

Cr ,R

et un lacet

homotope

h.

Pour

z Cr

et

Z CR

on a

le dveloppement en srie domaine

z r = |z| < |h| < |Z| = R donc h < 1. On en dduit entire suivant pour z au voisinage de 0, valable dans le

r < |h| 1 zh 1 z h 1 h n z = hn+1 =

n0
suivant est valable

tandis que pour pour

au

h Z CR , on a Z < 1 donc le dveloppement voisinage de 0, dans le domaine |h| < R :

1 Z h

= =

n0

1 h Z 1 Z n h Z n+1

En regroupant ces deux dveloppements, et en utilisant la convergence domine pour permuter somme et intgrale, on obtient

2ig (h)

=
Cr n0

g (z) z n dz + hn+1

CR n0

g (Z) hn dZ Z n+1 hn g (Z) dZ Z n+1

=
n1

1 hn hn

g (z) z n1 dz +
Cr n0

CR

=
n1

Cr

g (z) dz + z n+1 g (z) dz + z n+1

hn
n0 CR

g (Z) dZ Z n+1

=
n1

hn
C

hn
n0 C

g (Z) dZ Z n+1

d'o le rsultat annonc. L'expression du coecient tre prise sur n'importe quel cercle

avec

de Cauchy, puisque tous ces cercles sont

cn est une intgrale qui peut r < < R, et ceci grce au thorme homotopes dans z0 + Cr,R .

1. FONCTIONS MROMORPHES ET SRIES DE LAURENT

Remark 1.5. le dveloppement de Laurent de la fonction

est convergent pour

toutes valeurs de

et

pourvu que

r < r < |h| < R < R.

Donc la couronne de

convergence de la srie de Laurent est (au moins) la couronne

Example 1.6.

z0 + Cr,R . z = 0 (Rponse : z = 0

(1) Dvelopper en srie de Laurent

f (z) = e z

f (z) =

z n0 (n)! dans

au voisinage de

C ) (1)
n zsin z au voisinage de z3 z (2n+3)! dans C )

(2) Dvelopper en srie de Laurent (Rponse :

f (z) =
2n

f (z) =

n0

(3) Dvelopper en srie de Laurent

f (z) = (z 3) sin 1

1 z+2

au voisinage de

z = 2 f (z) = = =

(Rponse :

(z 3)
n0

(1)

(z + 2) (1)
n

2n+1

(2n + 1)! 1
2n+1

((z + 2) 5)
n0

(z + 2)

(2n + 1)! (1)

n

(1)
n0

1 (z + 2)
p 2n

(2n + 1)!

5
n0

1 (z + 2)
2n+1

(2n + 1)!

=
p0

cp (z + 2)

avec

cp =

p (1) 2 5(1)
p!

(p+1)!
p+1 2

si si

p = 2n p = 2n + 1

. Dveloppement valable dans

C\

{2}
1.3. Fonctions mromorphes. Definition 1.7. Soit

l'ensemble (ni ou non) des

ples

un ouvert, et de

. On dit alors que

f H (U \ S) o S = {zi , i I} U est f est mromorphe sur U . U

n'est pas dnie sur

Remark 1.8. Un fonction mromorphe sur un ouvert

U tout s S.
et

entier, moins de dnir un point l'inni

tel que

f (s) =

pour tout

Definition 1.9. Soit

f
n

une fonction mromorphe sur un ouvert le dveloppement en srie de Laurent de

f (z) = nZ cn (z s) de s. On pose
que l'on appelle rsidu de

U . Soit s U f au voisinage

Ress

(f )

= c1

singulire

La srie tronque

f au point s. n ns n<0 cn (z s) s'appelle du dveloppement. Comme s est un ple de

la partie principale
f, ns

ou

partie
ns
est

la partie principale est termes, o

constitue d'un nombre ni de termes, et plus prcisment de l'ordre du ple.

Proposition 1.10.

z Z (f ). Alors z est un zro d'ordre Resz en z

Dmonstration. Soit

soit U un domaine, f H (U) non identiquement nulle, et f f , appel rsidu logarithmique de f

z0 Z (f ) un zro de f . Comme f n'est pas nulle sur m f (z) = (z z0 ) (z) o H (U) et (z0 ) = 0. Un f m f (z) = zz0 + (z) o est holomorphe sur U . D'o

il existe

m0

tel que

calcul lmentaire donne le rsultat.

2. THORME DES RSIDUS

2. Thorme des rsidus Theorem 2.1. (rsidus) soit U un ouvert et S un ensemble ni de U . Soit f H (U \ S). Soit un lacet continu et C 1 par morceaux, valeurs dans U \ S et homotope un point dans U . Alors

Dmonstration. soit

2i
sS

Inds () Ress (f )
dans

s S . Le dveloppement en srie de Laurent de f

un disque

s + Dr U

peut s'crire :

f (z)

=
nZ

as,n (z s)

dont la partie singulire est Soit

s (z) =

ns n<0

as,n (z s)

(nombre ni de termes).

= f
sS

s
qui, par construction n'a pas de sind'o on tire

C'est une fonction holomorphe sur gularit en

U \S

s S.

On peut donc la prolonger en une fonction holomorphe sur

et lui appliquer le thorme de Cauchy : valuons chacune des intgrales

g = 0,

f =

sS

U, s .

=
n n<0 s

as,n (z s) as,n
ns n<0

= = as,1

(z s) dz
1

(z s)

dz

=
puisque toutes les fonctions vrient donc

2i Ress (f ) Inds ()
n
admettent une primitive

(z s) , n = 1 n (z s) dz = 0, n = 1.

(zs)n+1 et n+1

Remark 2.2. Le thorme des rsidus peut s'tendre au cas ou

est discret et

ferm (pas ncessairement ni), par exemple, est rarement utilis.

S = Z.

Dans la pratique, cet aspect

On peut formuler diremment les hypothses du thorme en supposant simplement connexe. L'hypothse  homotope un point devient alors inutile.

Certains auteurs dmontrent le thorme des rsidus sous des hypothses (sur

) lgrement direntes U de frontire U =

couronne

(et plus faibles) : soit continue et

un compact rgulier inclus dans

C1

par morceaux. Dans ce cas

n'est pas

ncessairement homotope un point, ni mme un lacet. Par exemple si

K
et

est la

DR \ Dr ,

avec

R > r,

alors

est la runion des deux cercles

CR

Cr

2 dt avec a > 1, en utilisant la fonction 0 a+sin t 2 2 +2iaz1 , le cercle C1 et le thorme des rsidus. z
Example 2.3. Calculer

f (z) =

3. APPLICATION AU CALCUL DE QUELQUES INTGRALES

Les ples de le rsidu de

f sont z0 = i f en z0 est
Resz0

a2 1 a D1 = =

et

z1 =

1 z0

D1 . /

D'autre part,

(f )

zz0 2 z0

lim (z z0 ) f (z)

2z0 +1 i = 21 a
l'intgrale de

sur

C1

s'crit

f
C1

=
0

dt a + sin t

Le thorme des rsidus donne alors

2 0

dt a + sin t

= =

2i Resz0 (f ) 2 a2 1

Proposition 2.4. (calcul pratique des rsidus) soient U un ouvert et f et g deux fonctions mromorphes sur U , et soit z0 U . (1) si z0 est un ple simple de f alors Resz0 (f ) = limzz0 (z z0 ) f (z)

(2) (3)

si z0 est un ple d'ordre k de f alors Resz0 (f ) = limzz0 si z0 est un ple simple de

f g

dk1 dxk1

(zz0 )k (k1)! f

(z)

alors Resz0

f g

f (z0 ) g (z0 )

Dmonstration. immdiat 3. Application au calcul de quelques intgrales

inspir de [?]
3.1. Quelques lemmes de Jordan. Ces lemmes ne sont pas connatre

imprativement, mais il faut savoir les redmontrer la demande. Notez que le deuxime lemme est d'une dmonstration un peu plus dlicate ( connatre) que les trois autres. Les deux premiers concernent le voisinage de l'inni, les deux autres le voisinage de l'origine.
Lemma 3.1. (Premier lemme de Jordan) Soit f une fonction mromorphe dans le secteur 1 2 vriant

|z|+

lim

zf (z)

et R : t [1 , 2 ] Reit . Alors
R+

lim

f
R

0 f (2 1 ) RsupR |f |

Dmonstration. par majoration directe :

Lemma 3.2. (Deuxime lemme de Jordan) Soit f une fonction mromorphe dans demi plan Iz > 0 vriant

|z|+

lim

f (z)

3. APPLICATION AU CALCUL DE QUELQUES INTGRALES

et soit R : t [0, ] Reit . Alors

R+

lim

f (z) eiz dz
R

Dmonstration. par une majoration un peu plus ne :

f (z) eiz dz
R

=
0

f Reit exp (iR (cos t + i sin t)) iReit dt

R sup |f |
R 0

exp (iR (cos t + i sin t)) ieit dt eR sin t dt

0

R sup |f |
R
Or

R sin t e dt = 2 02 eR sin t dt et sur le segment 0, , on a sin t 2t d'o la 2 0 R sin t majoration e dt R et le rsultat s'en dduit en utilisant l'hypothse sur 0 le comportement de f l'inni.

Lemma 3.3. (Troisime lemme de Jordan) Soit f une fonction mromorphe au voisinage de l'origine et possdant un ple simple l'origine. Soit r : t [1 , 2 ] reit . Alors

r0
Dmonstration.

lim

f
r

= i (2 1 ) Res0 (f )
a z

voisinage de l'origine

f peut s'crire f (z) = et a = Res0 (f ). Donc f

r

+ g (z)

est holomorphe au

=
r a dz r z

a dz + z

g
r r

un calcul lmentaire montre que Comme dduit.

= ai (2 1 ) et

g 2r supr |g|.

est holomorphe, elle est borne au voisinage de l'origine et le rsultat s'en

Lemma 3.4. (Quatrime lemme de Jordan) Soit f une fonction mromorphe au voisinage de l'origine et vriant. Soit r : t [1 , 2 ] reit un arc de cercle. Alors

r0
Dmonstration.

lim

f
r

0
le rsultat s'en dduit.

f (1 2 ) r supr |f |,

3.2. Intgrales de la forme

1 1 on a cos t = 2 z + z et 1 1 1 1 1 iz R 2 z + z , 2i z z rme des rsidus.

Example 3.5.

2 I = 0 R (cos t, sin t) dt. En posant z = eit , 1 1 sin t = 2i z z , ainsi que dz = dt. En posant f (z) = iz on se ramne I = f , que l'on calcule par le thoC1 2 a dt, 0 a2 +sin2 t

I (a) = = =

est un rel positif. On pose

f (z)

1 iz a2 1 iz a + (z 2

a
1 4 1 2

z z

1 2 z

a
1 z

1 2

1 z

4iaz + 2az 1) (z 2 2az 1)

3. APPLICATION AU CALCUL DE QUELQUES INTGRALES

les ples de et

sont

z3

sont dans le

z0 = z1 = a + a2 + 1 et z2 = z1 = a + a2 + 1. 1 3 disque unit donc I (a) = 2i (Resz0 (f ) + Resz3 (f )) I (a) = 2 a2 + 1

Seuls

z0

3.3. Intgrales de la forme

I=

+ P (x) dx. On suppose que Q(x)

Q n'a pas de deg Q

racine relle. L'intgrale est convergente si et seulement si (critre de Riemann)

deg P + 2.
Poser

On a donc

P (z) lim|z| z Q(z) = 0

P (z) Q(z) et considrer le lacet it cercle paramtr par t [0, ] Re

f (z) =

R = [R, R] R

est le demi

R f = R f + R f (x) dx = R 2i Ia>0 Resa (f ). On somme les rsidus de tous les ples de f intrieurs R . Donc, lorsque R est assez grand, on prend en compte tous les ples de f dont la
On applique le thorme des rsidus l'intgrale partie imaginaire est positive. La premire des deux intgrales tend vers La deuxime tend vers

lorsque

tend vers

0 lorsque R +.

tend vers

+. (voir 3.1)

I (a, b) = (x2 +a2dx 2 +b2 ) qui converge pour toute valeur de )(x 1 a et b. On pose donc f (z) = (z2 +a2 )(z2 +b2 ) qui a pour ples ia, ia, ib, ib. Prenons a > 0 et b > 0. les deux seuls ples prendre en compte sont donc ia et ib, et les 1 1 rsidus sont : Resia (f ) = 2i(b2 a2 )a et par symtrie Resib (f ) = 2i(a2 b2 )b . On en
Example 3.6.

dduit la valeur de

I (a, b)

ab (a + b)

+ xp 1+xn dx. n, p N. Cette int0 grale est convergente (critre de Riemann) si et seulement si n p + 2. On prend i zp f (z) = 1+zn , soit a = e n le premier ple de f . On choisit un lacet R qui dlimite
3.4. Intgrales de la forme

I (n, p) =

un secteur de disque centr sur exemple, avec

0 de rayon R R = Reit , 0 t 2 n R =

et ne contenant que le ple

Par

[0, R] R a2 R, 0

3. APPLICATION AU CALCUL DE QUELQUES INTGRALES

on applique le thorme des rsidus

2i Res (f )
 Res  

=
0

f+
R

f+
[a2 R,0]

(f ) =

limR f tend R
2

= an R f = I (n, p) 0

ap nan1

p+1

est l'intgrale cherche.

vers zro quand

tend vers

(voir 3.1).

 La dernire intgrale s'crit, en paramtrant le segment

a2 R, 0

par

(t) =

a t, 0 t R

f
[a2 R,0]

= a2
0

a2p tp dt 1 + a2n tn
R

= a2(p+1)
0
qui tend vers

tp dt 1 + tn
Et on obtient

a2(p+1) I (n, p) 2i

quand

tend vers

+.

ap+1 n

1 a2(p+1) I (n, p) 2i ap+1 n 1 a2(p+1) 2i n ap+1 a(p+1) sin

n (p+1) n +
pocas

et enn

I (n, p)

= = =

3.5. Intgrales de Fourier

lynmes,

est rel. On remarque

P (x) I (a) = Q(x) eiax dx. P et Q sont des que I (a) = I (a), on se limitera donc au

a > 0.
Cas o

ne s'annule pas sur l'axe rel. Cette intgrale est convergente (mais

non absolument convergente) si et seulement si La convergence de l'intgrale en

deg Q deg P + 1 1 ia
R 0

en eet :

s'tablit par une intgration par parties :

+ 0

P (x) iax e dx Q (x)

1 P (x) iax e ia Q (x)

P Q PQ (x) eiax dx Q2
ce qui assure

P QP Q or a son terme dominant de degr DegP Q2 l'absolue convergence de l'intgrale.

On considre le lacet fonction

DegQ 1 2 R =

f (z) =

P (z) iaz . Q(z) e

R = [R, R] R Les rsidus de f dans

o le

Reit , 0 t et la demi-plan Iz > 0 tant calculs,

3. APPLICATION AU CALCUL DE QUELQUES INTGRALES

10

on utilise le thorme des rsidus et le lemme de Jordan (3.2) montre que l'intgrale de

sur

tend vers zro quand

tend vers

+.

Donc

I (a)
Cas o

=
Iz>0

Resz

(f )

admet un zro sur l'axe rel. On choisit un chemin d'intgration qui

contourne le zro et on utilise le troisime lemme de Jordan (3.3).

Example 3.7. Calculer

I=
ix

+ sin x x dx . On remarque tout d'abord que

est

la partie imaginaire de

+ e x

dx,

que l'on va calculer l'aide du lacet suivant :

Il n'y a pas de ple de fournissent alors

intrieur au lacet. Les lemmes de Jordan (3.2) et (3.3)

I
3.6. Intgrales de Fresnel

= cos x2 dx
et

+ 0

+ 0

sin x2 dx.

Voir (??)

3.7. Intgrales de la forme

n N, a R, et que Q converge en + si et seulement et seulement si a < 1, soit

+ P (x) (ln x)n Q(x) x dx. On suppose que 0 est un polynme qui ne s'annule pas sur R+ . Cette intgrale

In (a) =

si

1 + Deg (P ) Deg (Q) < a

et converge en

si

1 + Deg (P ) Deg (Q) < a < 1

3. APPLICATION AU CALCUL DE QUELQUES INTGRALES

11

ou

+ + r,R = CR [R, r]Cr [r, R] o CR dsigne le cercle CR parcouru dans le sens direct. On suppose que r est susamment petit et R susamment grand pour que les zros de Q soient dans l'intrieur du lacet. P (z) (Log(z))p Notons tout d'abord que pour tout p entier, (z) = vrie Q(z) za
Le chemin d'intgration est le lacet

(z)
pour tout

P (z) (|ln r + 2|) Q (z) ra1 = lim

sur le cercle

Cr .

Donc

|z|0

lim z (z)

|z|+

z (z) = 0
et les intgrales de

et on peut appliquer les lemmes de Jordan (3.1) et (3.4) sur les cercles zro. Cas o

CR

et

Cr

tendent vers zro lorsque

tend vers l'inni et

tend vers

est entier. le terme

za

peut tre intgr

On tablit une relation de rcurrence entre les

Q (z). In (a) : l'intgrale est de la forme

In =

+ P (x) Q(x) 0

(ln x) dx,

on pose

f (z)
que l'on intgre sur

P (z) n+1 (ln z) Q (z)

+ P (x) Q(x) 0

r,R puis on passe la limite et on obtient

Les termes en

(ln x)

n+1

(ln x + 2i)

n+1

dx =

2i
les

Ik , k n

zC Resz .

(f ).

(ln x)

n+1

s'annulent et il reste une relation entre

Example 3.8. Calculer

I2 =
4i 3

+ (ln x)2 1+x+x2 dx. Posons 0

f (z) =

(ln z)3 1+z+z 2 dont les

ples sont

j=e

2i 3

et

j2 = e (f )

avec les rsidus :

Resj Donc

=
3

8 3 3 81

et Resj 2

(f ) =

64 3 3 81 112 3 81 3

0
c'est dire

(ln x) (ln x + 2i) dx 1 + x + x2

2 3

= i 4

6iI2 + 12 I1 + 8i I0
On calcule

= i

4 112

81

I0 puis I1 selon I0

le mme procd, et on trouve :

2 3 , I1 = 0 9

et

I2 =

16 3 3 243

3. APPLICATION AU CALCUL DE QUELQUES INTGRALES

12

Cas o

n'est pas entier. Dans ce cas on pose

f (z)
et on obtient par intgration sur le

P (z) (Logz) Q (z) z a lacet r,R :

n

P (x) Q (x)

(ln x) (ln x + 2i) xa xa e2ia

dx

= i
z [0,[ /

Resz

(f )

qui va galement fournir une relation de rcurrence.

Example 3.9. Calculer

valeur de

I1 (a) =

I0 (a) = ln x (1+x2 )xa dx

dx , 0 (1+x2 )xa

1 < a < 1

et en dduire la

(1) On pose

f0 (z) =

et on trouve

I0

i et i. a S0 = eia sin 2 1 e2ia = 2ieia sin a 2 I0 (a) = 2 cos a 2

Logz

1 1 1+z 2 z a , les ples sont

La somme des rsidus est

(2) Posons est

f1 (z) =

1 1+z 2

za

dont les ples sont

i et i. La somme des rsidus

2iS1

ia ia i 2 e 2 3e 2 2eia

Les calculs rondement mens devraient conduire

I1
3.8. Intgrales de la forme Definition 3.10. On appelle

= I=

2 a tan 4 2

1 P (x) dx. 0 Q(x)

d'une fonction

rsidu l'inni
z
f( 1 ) uu 2

et on note

Res

(f ),

le rsidu en

de la fonction

+ On suppose que Q ne s'annule pas sur [0, 1] et on prend le lacet r,R = CR + r [ir, 1 + ir](1 r )[1 ir, ir] o r dsigne le demi-cercle t 2 , 2 reit ,

4. APPLICATION AU CALCUL DE LA SOMME DE QUELQUES SRIES

13

et la fonction

f (z) =

P (z) z Q(z) Log z1 . Sachant que

f+
+ CR r

f+
[ir,1+ir]

+
[1ir,ir]

+
+ 1r

2i
zC\[0,1]

Resz

(f )

On dmontrera  sur

et

r limr0

f = limr0

+ 1r

f =0
Log

 que sur les chemins

[ir, 1 + ir] et [1 ir, ir], le logarithme vrie : limr0

x+ir 1xir

Log

xir 1x+ir

2i

puis

lim

f+
[ir,1+ir] [1ir,ir]
1 f( u ) u2

2iI

 en posant Res

(f ) = Res0

, montrer ensuite que

limR

+ CR

f=

2i Res (f ),
 en dduire la valeur de

= Res (f )
zC\[0,1]

Resz

(f )

3.9. Intgrales de la forme

b P (x) dx, a Q(x)(bx) (xa)1

a < b.

4. Application au calcul de la somme de quelques sries 4.1. Sries de la forme

de sommets de Jordan).

N+

1 2

nZ f (n). Dans ce paragraphe N dsigne le carr a avec a {1 i} et KN son intrieur (au sens du thorme

Proposition 4.1. Soit f une fonction mromorphe sur C, dont les ples P (f ) ne sont pas entiers. Supposons que f vrie

|f (z)|

K |z|
k

avec k > 1, sur le carr N . Alors

f (n)
nZ
Dmonstration.

=
zC

Resz (f ) cot z

(1) L'hypothse sur (2)

|f (z)|

implique que la srie converge.

est l'ensemble des ples de la fonction

z cot z .

Soit alors

g (z)

= f (z) cot z
1 z z + 3 + . . . Si P (f ) tant -priodique, les premiers termes du d-

Par division euclidienne, on calcule les premiers termes du dveloppement en srie de Laurent au voisinage de ne rencontre pas

de

cot z =

Z, cot

veloppement de Laurent de

cotau

voisinage de zro, montrent que pour

z C,
Resz

(g)

Resz

(f ) cot z

si si

f (z)

zZ / zZ

4. APPLICATION AU CALCUL DE LA SOMME DE QUELQUES SRIES

14

(3) Donc

nZ

sur un lacet

f (n) est une bien choisi. 2i

|n| N

somme de rsidus, c'est dire l'intgrale

En l'occurrence on prend comme lacet le carr

N
(1)

et on peut crire le thorme des rsidus :

g
N

f (n) + 2i
zKN

Resz

(f ) cot z

(4) On montre que la fonction

N
(2)

sur les cots du carr

z cot z est borne indpendamment de N : pour tout complexe z = x + iy , on a la coth |y|

majoration

|cot z|
en eet :

|cot z| =

eixy + eix+y eixy eix+y eixy + eix+y ||eixy | |eix+y || ey + ey = |coth y| |ey ey | |y| |cot z| coth . 2 z= N+ 1 2
1 2 1 2 et

(a) Sur les cots horizontaux du carr, on a sante sur

|coth|

est dcrois-

[0, +[

donc

(b) Sur les cots verticaux du carr

+ iy

par consquent

|cot z| =

cot N +

+ iy

= |tan iy| =
donc  pour 

tanh |y|

1 |y| 2 , on a la majoration (2) et donc |cot z| coth , et 2 1 pour |y| , on a |cot z| tanh 2 2 coth 2 (car tanh est croissante sur [0, +[)

(c) Finalement, pour tout (5) L'intgrale

z N , |cot z| coth . 2 0
lorsque

tend vers

tend vers l'inni :

g
N

8 N+ 8 N+ 8 N+

1 2 1 2 1 2

sup |g|
N

coth coth

sup |f | 2 N K sup k 2 N |z|

8K coth 2 N+
1 k1 2

avec

k 1 > 0,

d'o le rsultat, avec (1).

Example 4.2.

f (z) = f

1 z 2 +a2 ,

a > 0, a Z. / ia. f
en

On pose

g (z) =

cot z z 2 +a2 .

(1) Les ples de

sont

ia

et

(2) La somme des rsidus de

z = ia

est

R = coth a a

et

5. AUTRES APPLICATIONS DU THORME DES RSIDUS

15

(3) On a

|f (z)| |f

majoration (4) nalement

1 1 2 |z|2 1+ a2 z 4 (z)| 3|z|2

1 1 , donc pour |z|2 | a |2 1 z

|z| > 2a

on obtient la

nZ
4.2. Sries de la forme

1 n2 + a2
nZ

=
n

coth a a

(1) f (n).

Proposition 4.3. Soit f une fonction mromorphe sur C, dont les ples P (f ) ne sont pas entiers. Supposons que f vrie

|f (z)|

K |z|
k

avec k > 1, sur le carr N . Alors

(1) f (n)
nZ
Dmonstration.

=
zP (f )

Resz (f )
sin z

1 sin z . On crit exactement la mme dmonstration que pour le thorme (4.3), avec la fonction

Z est l'ensemble des ples de la fonction z g (z) = f (z) sin z

On montre que la fonction Pour

1 sin z est borne indpendamment de cots du carr N et le rsultat s'en dduit.

sur les

z = x + iy

sur les cots verticaux du carr :

1 |sin z|
Pour

1 1 cosh y

sur les cots horizontaux,

1 |sin z|

1 sinh N +

1 2

Example 4.4. calculer, pour

aR\Z =
nZ

la somme de la srie double :

S
Rponse :

(1)

n 2

(n + a)

S=

2 cos a sin2 a

5. Autres applications du thorme des rsidus

Le thorme des rsidus n'a pas que des applications calculatoires. Certains des thormes dmontrs ici ont dj t dmontrs prcdemment. L'intrt est ici d'en proposer une autre dmonstration, en gnral plus simple. Ce chapitre est en grande partie inspir de [?] On montrera ici plusieurs thormes qui se dduisent en cascade : principe de l'argument qui entrane le thorme de Rouch amne le thorme de d'Alembert sur le nombre de zros d'un polynme et le thorme de l'image ouverte Le principe du maximum (cf ()), enn, qui peut se dmontrer trs simplement partir du thorme de l'image ouverte.

5. AUTRES APPLICATIONS DU THORME DES RSIDUS

16

Proposition 5.1. (principe de l'argument) soient U un ouvert simplement connexe, f une fonction mromorphe dans U , un lacet simple, continu et C 1 par morceaux ne contenant ni zro, ni ple de f 1. Soit Z le nombre de zros et P le nombre de ples de f , dans l 'intrieur dlimit par , compts avec leur ordre de multiplicit. Dans ces conditions, on a

Z P
Dmonstration. On note

1 2i

f f

intrieurs au lacet

La proposition (1.10) montre que pour

en

de

f f

est l'ordre du zro

Z (f ) et P (f ) l'ensemble des zros et des ples de s Z (f ), le rsidu s. Un complexe p est dans P (f ) si et seulement
.

si c'est un zro de

(1/f ) 1 = Resp f f , c'est donc un ple d'ordre Resp (1/f ) f f f 1 On peut appliquer le thorme des rsidus f sur et on obtient 2i + f f f + pP (f ) Resp f = Z P zZ (f ) Resz f
Remark 5.2. Parfois on trouve cet nonc sous la forme :

domaine,

D f

un

domaine tel que

DU

et de frontire

= U a

continue et

C1

par morceaux.... de au

Definition 5.3. le rsidu de

f f

en

s'appelle

rsidu logarithmique

point

Theorem 5.4. (Rouch) Soit U un ouvert, f et g sont deux fonctions holomorphes dans U et un lacet continu et C 1 par morceaux, homotope un point dans U . On suppose que |g (z)| < |f (z)| pour tout z . Alors f et f + g possdent le mme nombre de zros dans le domaine intrieur . Dmonstration. pour

La fonction

est continue

t [0, 1], soit t = f + (1 t) g et h (t) = car t ne s'annule pas sur . En eet |f (z)| |1 t| |g (z)| |f (z)| |g (z)|
donc

1 2i

t . t

|t (z)|

> 0
or

est valeurs dans

de zros dans Int ()de

Z donc h est constante f + g mais aussi de f .

h (0) = h (1)

et c'est le nombre

Corollary 5.5. (d'Alembert) un polynme complexe de degr n admet exactement n racines dans C.

P (z) = an z n + Q (z) o an = 0 et Q est un polynme de degr deg Q n 1. Pour tout R > 0, le polynme P est holomorphe dans DR . n Comme deg Q < n, on peut, choisir R tel que |Q (z)| < |an z | sur CR . Donc P et 1 n an z ont le mme nombre de zros dans DR . Il sut alors de prendre R > |an | n
Dmonstration. soit

pour obtenir le rsultat.

Theorem 5.6. (de l'image ouverte) soit U un domaine et f H (U). Si f n'est pas constante, alors f (U) est un domaine. Dmonstration.

(1)
1

est connexe,

est continue, donc

f (U)

est connexe.

On peut aussi prendre pour hypothse : un lacet continu et

un ouvert connexe,

une fonction mromorphe

dans

C1

par morceaux ne contenant ni zro, ni ple de

f,

et homotope

un point dans

5. AUTRES APPLICATIONS DU THORME DES RSIDUS

17

(2)

V = f (U) est ouvert : soit b V, et a U un antcdent de b = f (a). Comme f n'est pas la fonction nulle, constante, il existe un voisinage a + Dr U de a sur lequel f (z) = b (sinon, on construit une suite zn qui converge vers a et telle que f (zn ) = b et par le thorme du prolongement analytique, f est constante et vaut b). Soit m = minza+Dr |f (z) f (a)|, qui est strictement positif. Montrons que la boule b + Dm est incluse dans V . Soit Z b + Dm alors |Z b| < m et m |f (z) b| sur a + Dr . On peut donc appliquer le thorme de Rouch dans a+Dr , F (z) = f (z)b et la fonction constante G (z) = bZ . Donc F et F +G on mme nombre de zros dans a + Dr , c'est dire un et un seul.

Corollary 5.7. (principe du maximum) soit U un domaine et f H (U). Si |f | atteint un maximum local en un point de U alors f est constante. Dmonstration. si

de

y0 = f (z0 ).

Donc

|f | atteint son maximum en z0 alors f (U) est un voisinage f (U) contient un point y = f (z) tel que |y| > |y0 |. C'est

absurde.