Chapitre 8

Fonctions de variables complexes,

applications
8.1

Calcul dint
egrales, de transform
ees de Fourier, de
sommes etc

8.1.1

Calcul pratique des r

esidus

Par definition, le residu Res (f, z0 ) dune fonction en z0 est le coefficient a

de Laurent au voisinage de z0 . Si f a un pole simple en z0
Res (f, z0 ) = lim (z

de son developpement

z0 )f (z)

z!z0

et cette formule se generalise au cas o`

u le pole est dordre m, comme on sen convainc aisement
Res (f, z0 ) = lim

z!z0

1
(m

dm
1)! dz m

1
1

((z

z0 )m f (z)) .

(8.1)

Si f est une fraction rationnelle P (z)/Q(z), avec un pole simple en z0 , zero simple de Q, il
peut etre plus aise de faire appel `a la r`egle de LHospital

P
P (z0 )
Res
, z0 = 0
.
Q
Q (z0 )

8.1.2

Lemmes de Jordan

Introduisons des notations commodes :

soit S(1 , 2 ) le secteur du plan complexe {z = rei , r > 0, 0 1 2 } ; et (r; 1 , 2 )
larc de cercle |z| = r dans S(1 , 2 ).

7 janvier 2013

J.-B. Z

L3 FIP 2012

148

Chap.8. Fonctions de variables complexes, applications

Lemmes de Jordan : Soit f une fonction continue f : S(1 , 2 ) ! C.

1. Si zf (z) tend uniformement vers 0 sur larc (r; 1 , 2 ), 2 2, quand r ! 0, resp. r ! 1,
alors
Z
f (z)dz = 0 ;
(8.2)
lim+
r!0
resp.r!+1

(r;1 ,2 )

2. Si f (z) tend uniformement vers 0 sur larc (r; 1 , 2 ), 2 , quand r ! 1, alors

Z
eiz f (z)dz = 0 ;
lim
r!1

(8.3)

(r;1 ,2 )

Preuve du 2`eme lemme : on prend le secteur S(0, ) (qui est le cas le plus defavorable). Comme |eiz | =
i
|eire | = e r sin , avec sin 0 avec lhypoth`ese sur le secteur, on peut majorer
Z

(r;0,)

eiz f (z)dz

|f (rei )re

r sin

/2

|f (rei )| + |f ((rei(

)| re

r sin

d .

Comme f ! 0 uniformement `
a linfini, 8 > 0, 9R tel que 8r > R 8 2 [0, ], |f (rei )| . Donc pour r > R
Z

(r;0,)

eiz f (z)dz 2

/2

re

r sin

Mais si 0 /2, 0 2/ sin comme on sen convainc immediatement. Donc

Z

/2

re

r sin

/2

re

2r/

d =

(1
2

)<

,
2

do`
u il decoule que pour tout r R,
eiz f (z)dz , arbitrairement petit, q.e.d.
(r;0,)
La preuve du premier lemme, plus facile, est laissee en exercice. Voir aussi TD.

8.1.3

Int
egrales sur laxe r
eel

R 1 P (x)
Considerons lintegrale sur laxe reel dune fraction rationnelle I = 1 Q(x)
dx. On suppose
que Q na pas de racine reelle. Lintegrale converge a` linfini si deg Q deg P + 2, ce que nous
supposerons. Procedons selon les etapes suivantes :
R R P (x)
n consid`ere lintegrale R Q(x)
dx qui converge vers I quand R ! 1 ;
R
on la remplace par lintegrale sur le contour R
, o`
u la contribution du cercle
tend vers zero quand R ! 1, par le lemme de Jordan 1 ;
le theor`eme des residus nous donne alors
X
I = 2i
Res (P/Q, zj )

z
eros zj de Q dans
demi-plan sup
erieur

J.-B. Z

L3 FIP 2012

7 janvier 2013

 8.1. Calcul dintegrales, de transformees de Fourier, de sommes etc

149

On aurait pu aussi refermer le contour dans le demi-plan inferieur, mais attention au signe ! (le
P
contour est alors oriente negativement). Donc aussi bien : I = 2i zeros zj de Q dans Res (P/Q, zj ).
demi-plan inf
erieur

Question : que vaut dans ce cas le residu a` linfini de P/Q ?

Nous rencontrerons beaucoup dautres exemples de ce genre de calculs dans la suite.

8.1.4

Int
egrales de fractions rationnelles trigonom
etriques

Considerons lintegrale
I=

it

dt
a + sin t

avec a reel > 1. On ecrit sin t = (e

e )/2i et on recrit cette integrale en termes de z = eit
sur le cercle unite. Il vient

I
I
2dz
2dz
2
2
= 2i Res
, z+ = 2i
I=
=
2
1
z+ )(z z )
(z z+ )(z z )
z+ z
0 z + 2iaz
0 (z
p
o`
u z = ia i a2 1 sont les deux poles, z+ etant le seul a` linterieur du cercle. Finalement
I = pa2
2 1 (qui est positif comme il se doit !).
R 2
La meme methode sapplique a` toute integrale 0 R(cos t, sin t) dt o`
u R est une fraction
rationnelle.

8.1.5

it

Transform
ees de Fourier

On sinteresse a` une integrale de la forme

Z 1
I=
f (x)eikx dx
1

k2R

qui est la transformee de Fourier de f . On va `a nouveau remplacer cette integrale sur laxe reel
par une integrale de contour dans le demi-plan superieur ou inferieur, selon que le signe de k
est > 0 ou < 0. En eet quand |z| ! 1, eikz f (z) tend vers zero si <e ikz < 0 et si f (z) crot
moins vite quune exponentielle (par exemple polynomialement) ; pour cela, si k > 0, il faut que
=m z > 0. On peut alors appliquer le 2`eme lemme de Jordan, remplacer I par lintegrale sur le
` linverse si k < 0, il faut refermer
R
contour R
et utiliser le theor`eme des residus. A
le contour dans le demi-plan inferieur (en nomettant pas le signe venant de lorientation du
contour !).
Prenons comme exemple le cas de la fonction lorentzienne rencontree aux chap. 4 et 5,
1
2
2 1
f (x) = x2 +a
a deux poles en ia de residus
2 , a 2 R, a > 0. La fonction f (z) = (z + a )

7 janvier 2013

J.-B. Z

L3 FIP 2012

150

Chap.8. Fonctions de variables complexes, applications

1
respectifs 2ia
. Selon la discussion precedente
8
Z 1
<2i Res (f (z)eikz , ia) = e ka
1
a
ikx
e
dx
=
2 + a2
ikz
:
x
1
2i Res (f (z)e , ia) = a eka

ce que lon regroupe en une formule unique

Z 1

1
eikx dx = e
2
2
a
1 x +a

|k|a

si k > 0
si k < 0

(8.4)

en accord avec un resultat annonce au 4.2.1.

Notons quen prenant la partie reelle de I, nous obtenons une autre integrale non triviale
R1 1

|k|a
I = 1 x2 +a
.
2 cos kx dx = a e

8.1.6

Sommes infinies

Notons en preambule que cos z est une fonction enti`ere, que sin z a des zeros en z = n 2 Z,
et que cotan z = cos z/ sin z na que des poles de residu 1/ en ces memes z = n.
Considerons alors la serie
X
S=
f (n)
n2Z

o`
u f est une fonction meromorphe qui na pas de pole reel et qui tend suffisamment vite vers
zero a` linfini pour assurer la convergence. On peut ecrire f (n) = Res (f (z)cotan z, n) et
la somme S, limitee dabord a` N n N , peut etre vue comme venant de lintegrale de
1
f (z)cotan z sur lun des contours successifs figures ici
2i

o`
u la contribution des deux demi-cercles tend vers zero quand N ! 1 (Jordan 1 !) ; `a la limite,
le dernier contour entoure les poles de f (z) en dehors de laxe reel dans le sens negatif. Donc
X
S=
Res (f (z)cotan z, zj ) .
p
oles zj de f
en dehors de laxe r
eel

J.-B. Z

L3 FIP 2012

7 janvier 2013

 8.1. Calcul dintegrales, de transformees de Fourier, de sommes etc

151

P
1

oles non reels de z2 +a

Exemple. S = n2Z n2 +a
2 avec a > 0. Les p
2 cotan z sont en z = ia

et ont pour residu 2a coth a. Finalement S = a coth a. On verifie que quand a ! 0,

S 1/a2 comme attendu. Exercice : dans la limite a ! 0, soustraire le terme n = 0 et verifier
P
que lon retrouve lexpression bien connue n 1 n12 = 2 /6.
P
n
Par une methode analogue faisant appel au 1/ sin plutot quau cotan , calculer n 1 ( n1)4 ,
reponse dans [1], p. 111.

8.1.7

Int
egrales sur un arc. P
oles sur laxe r
eel

Supposons que f est holomorphe dans un secteur du type defini plus haut au 8.1.2 :
S = {z : |z| > 0, 0 1 arg z 2 } avec un pole simple `a lorigine, et quon veuille
R
calculer limr!0 (r;1 ,2 ) f (z)dz. On ecrit f (z) = az + g(z) o`
u g est holomorphe a` lorigine et
R
a = Res (f, 0). Par Jordan.1, limr!0 (r) g(z)dz = 0 et donc
lim

r!0

f (z)dz = a
(r;1 ,2 )

Application au calcul de I =
1
I=
2
Mais lintegrale de

eix
x

1
1

R1
0

sin x
dx.
x

(r;1 ,2 )

dz
= ia(2
z

1 ) .

(8.5)

On ecrit

sin x
1
dx = lim
x
2i !0

eix
dx +
x

eix
dx
x

(8.6)

sur le contour ci-dessous est nulle

puisque le contour nenclot aucun pole. Dans cette integrale de contour, la contribution sur laxe
reel tend vers 2iI quand r ! 1 et ! 0, dapr`es (8.6) ; la contribution du grand cercle sannule
par Jordan.2 quand r ! 1 ; et celle sur le petit cercle est donnee par le calcul precedent (8.5).
Il reste dans cette limite
Z
eiz
2iI =
dz = i
(,0,) z
do`
u finalement I = 2 .

7 janvier 2013

J.-B. Z

L3 FIP 2012

152

8.2
8.2.1

Chap.8. Fonctions de variables complexes, applications

Fonctions multivalu
ees
Points de branchement, feuillets, surface de Riemann

On a dej`a rencontre au 6.2 la notion de fonction multivaluee avec le logarithme complexe,

dont les dierentes determinations dans le plan complexe prive de lorigine (plan pointe
C = C\{0}) di`erent dun multiple entier de 2i. Considerons le plan prive dune demi-droite,
par exemple C\R , donc < arg z < : cest un domaine simplement connexe, le logarithme
y admet une determination unique, dite determination principale. Mais on peut tr`es bien choisir
une autre demi-droite partant de lorigine, ou toute courbe C joignant lorigine `a linfini. Dans
le plan prive de cette demi-droite ou courbe, le logarithme admet une determination unique.
C\C est dit plan coupe le long de C, C est la coupure, lorigine et le point a` linfini en sont les
points de branchement. (Que linfini est un point de branchement du log se voit comme toujours
par changement de variable z 7! w : log z = log w. . .)

Le logarithme nest pas la seule fonction multivaluee. La fonction racine carree (ou toute
autre racine) donne un autre exemple. En eet quand on ecrit z = ei , on peut penser definir
p
p
p
1
p
z 2 alias z par z = i/2 . Mais etant defini `a 2 pr`es, /2 lest a` pr`es et z est
defini a` un signe pr`es. Cest un probl`eme que nous connaissons bien sur les reels ; mais ici sur
les complexes, il prend une nouvelle dimension puisquen suivant un chemin continu dans le
plan complexe, on peut passer dune determination a` lautre. On va `a nouveau introduire une
coupure du plan complexe partant de lorigine et definir une determination de la racine carree
dans ce plan coupe. Par exemple, en coupant le long de laxe reel negatif, donc en prenant `a
nouveau < arg z < , on obtient dans C\R la determination usuelle de la racine, telle que
p
pour z reel > 0, z > 0.
Les points de branchement dependent de la fonction consideree et peuvent etre nimporte
p
o`
u dans le plan complexe complete. Par exemple 1 z a un point de branchement en 1 et un
p
p
a` linfini. Les points de branchement de 1 z 2 sont 1 ; ceux de (z 2 a2 )(z 2 b2 ) sont en
a et b, et les coupures peuvent etre choisies entre a et a dune part, et b et b de lautre,
(ou entre a et b et entre a et b, justifier ce point), etc.
Plutot que de parler de fonction univaluee dans le plan (coupe), on peut preferer une autre

presentation. Etant
donnee un choix de coupure(s) et une determination, on peut associer les
autres determinations a` dautres copies du plan coupe on parle des dierents feuillets de la
fonction consideree, puis recoller ces feuillets le long de la (ou des) coupure(s), en suivant
par continuite les determinations de la fonction. Lobjet obtenu par ce recollement est appele
surface de Riemann de la fonction consideree. Sur cette surface, qui est un revetement a` plusieurs
feuillets du plan complexe initial, la fonction est univaluee.

J.-B. Z

L3 FIP 2012

7 janvier 2013

 8.2. Fonctions multivaluees

153

feuillet 1

feuillet 2

Figure 8.1 Les deux feuillets de la fonction z : le bord inferieur de la coupure du feuillet
1 est recolle avec le bord superieur de celle du feuillet 2 et vice versa.

Figure 8.2 La surface de Riemann de la fonction

du demi-axe reel negatif (en bleu).

z : les deux feuillets sont recolles le long

p
Par exemple pour z dans le plan coupe le long de R , la figure 8.1 represente les deux
feuillets, la figure 8.2 montre la surface de Riemann. Noter que (contrairement aiux apparences)
cette surface de Riemann est simplement connexe : un chemin ferme faisant deux fois le tour de
lorigine est homotope a` zero, puisquil peut etre contracte sans rencontrer de singularite (de la
fonction). Cela apparat peut-etre plus clairement sur la Fig. 8.3 qui represente le voisinage de
lorigine, une fois la surface de Riemann depliee. La position des coupures est arbitraire et le
point O nest pas singulier. Le meme dessin devrait etre eectue (dans une autre coordonnee)
au voisinage du point `a linfini, avec la meme conclusion. En definitive la surface de Riemann
p
de la fonction z est identifiee a` la sph`ere de Riemann. Elle est donc simplement connexe. 1
La meme construction sapplique `a toute fonction multivaluee. La surface de Riemann de la
racine carree a deux feuillets, celle du logarithme en a une infinite. Celle de z 1/3 en a trois, celle
p
de z , reel irrationnel en a une infinite. Celle de la fonction (z 2 a2 )(z 2 b2 ) en a quatre
etc. On trouve sur le web dadmirables figures de ces surfaces de Riemann . . . par exemple
http://en.wikipedia.org/wiki/File:Riemann surface log.jpg
1. Cela nest pas le cas general, la surface de Riemann dune fonction plus compliquee nest en general pas
simplement connexe, elle a un genre (= nombre de poignees) qui depend du nombre et de lordre des points
de branchement

7 janvier 2013

J.-B. Z

L3 FIP 2012

154

Chap.8. Fonctions de variables complexes, applications

I
II

II

I
II
III
III
II

Figure 8.3 La surface de Riemann des fonctions z 2 (en haut) et z 3 (en bas) au voisinage de
0. A gauche, les trois feuillets avec en hachures ou en couleurs les prescriptions de recollement ;
a` droite, apr`es depliement et recollement.

J.-B. Z

L3 FIP 2012

7 janvier 2013

 8.2. Fonctions multivaluees

8.2.2

155

Int
egrales de Cauchy de fonctions multivalu
ees

Une fonction multivaluee comme z ou log z est holomorphe en dehors de ses points de
branchement (et de ses eventuelles autres singularites). Rien ninterdit dutiliser le theor`eme de
Cauchy et ses corollaires le long de chemins fermes evitant ces singularites et continus dans les
dierents feuillets.
R
r

x
0

Figure 8.4
R1
Considerons par exemple lintegrale I = 0 Fx(x)
u 0 < < 1 et o`
u F est une fraction
dx o`
rationnelle sans pole sur le demi-axe x
0 ; on suppose (pour la convergence) que F ! 0
a` linfini (donc au moins aussi vite que 1/z). Pour etendre f (z) = F (z)/z a` des valeurs
complexes de z, on choisit une determination de z , par exemple dans le plan coupe le long de
H F (z)
laxe reel positif, 0 < arg z < 2. Considerons alors lintegrale
dz le long du contour de
z
la figure 8.4. Comme zf (z) ! 0 quand |z| ! 0 et ! 1, les deux arcs de cercle (r) et (R)
ne contribuent pas dans les limites r ! 0 et R ! 1 (Jordan-1), la determination de f sur le
contour reel superieur est reelle, celle sur le contour inferieur a un facteur relatif e 2i . On a
donc
X
(1 e 2i )I = 2i
Res (f (z))
o`
u la somme court sur tous les poles de F , reels negatifs ou complexes.
R 1 dx
Exemple : I = 0 x (1+x)
. Le seul pole est en 1 = ei (choix de la determination !), son
residu est e i , do`
u I = sin .
R1
Autre exemple : J = 0 F (x) log x dx o`
u F est une fraction rationnelle sans pole sur le
demi-axe x
0 ; on suppose (pour la convergence) que xF (x) ! 0 `a linfini. Lastuce est
cette fois de considerer f (z) = F (z)(log z)2 avec un choix de coupure du log le long de laxe
` nouveau les deux arcs de
reel positif. On int`egre sur le meme contour de la figure 8.4. A
2
cercle ne contribuent pas, les deux determinations de log z le long de laxe reel sont log2 x
R1
(bord superieur) et (log x + 2i)2 (bord inferieur), donc 0 F (x)(log2 x (log x + 2i)2 )dx =
R1
R
P
4iJ 4 2 0 F (x)dx = 2i Res (F (z)(log z)2 ). Il reste `a calculer F (x)dx. Toutefois si F
est reel (sur laxe reel), cette derni`ere integrale est reelle et en prenant les parties reelle et imagi-

7 janvier 2013

J.-B. Z

L3 FIP 2012

156

Chap.8. Fonctions de variables complexes, applications

naire de la relation precedente on obtient J =

R1
P
1
F (x)dx = 2
=m
Res (F (z)(log z)2 ).
0

8.3

R1
0

F (x) log x dx =

1
2

<e

Res (F (z)(log z)2 ),

Fonctions harmoniques

D
efinition 8.1 : Une fonction de deux variables reelles x et y definie dans un ouvert de R2
est dite harmonique dans si elle est de classe C 2 (deux fois contin
ument dierentiable) et
satisfait lequation
f =0
(8.7)
o`
u le laplacien

est loperateur dierentiel

=

@2
@2
+
.
@x2 @y 2

(8.8)

En raison de lapparition du laplacien dans de nombreuses equations de la physique, loi de

Poisson, equation des ondes, equation de la chaleur, . . . les fonctions harmoniques y jouent un
role important.
Introduisant comme au 7.1.3 les variables z = x + iy et z = x iy et les operateurs
@
dierentiels @z
et @@z , on verifie immediatement que
@2
=4
.
@z@ z
Une fonction f (z, z) satisfaisant

@2f
@z@ z

(8.9)

= 0 est donc harmonique.

Th
eor`
eme 8.1 : Toute fonction holomorphe est harmonique.
En eet si f est holomorphe (dans ) elle est indefiniment derivable ; on a @f
= 0, donc aussi
@ z
f = 0.
En prenant les parties reelle et imaginaire de f il en decoule :
Corollaire : La partie reelle et la partie imaginaire dune fonction holomorphe sont harmoniques.
Exemple : En tout point non nul du plan complexe, log z est holomorphe, donc sa partie reelle
log |z| est harmonique.
La reciproque nest vraie que localement :
Proposition 8.2 : Toute fonction reelle g(x, y) harmonique dans un ouvert est au voisinage
de chaque point de la partie reelle dune fonction f , holomorphe au voisinage de ce point,
determinee a` laddition dune constante pr`es.

J.-B. Z

L3 FIP 2012

7 janvier 2013

 8.4. Methode du col

157

Cette propriete locale devient globale (vraie en tout point) dans un ouvert simplement
connexe. Pour la preuve, voir [4] p. 125 ; voir aussi [1] p.124-125.
On se rappelle (cf Theor`eme 7.18) quune fonction holomorphe satisfait la propriete de
moyenne : en tout point, sa valeur au centre dun petit disque ferme contenu dans egale la
moyenne de ses valeurs sur le bord du disque.
Th
eor`
eme 8.3 : Toute fonction harmonique satisfait en tout point de la propriete de
moyenne : pour r assez petit
Z
1
u(x0 + r cos , y0 + r sin )d .
u(x0 , y0 ) =
2
Cela decoule de la Proposition 8.2 : pour toute fonction harmonique reelle u et tout point
de il existe une fonction f holomorphe dans un disque centre en ce point, de partie reelle u
et qui satisfait la propriete de moyenne ; en prenant la partie reelle on voit que u satisfait la
propriete de moyenne.
Au chapitre 7, nous avons montre que toute fonction possedant la propriete de moyenne
obeit aussi au principe de maximum. Il en est donc ainsi pour toute fonction harmonique :
Proposition 8.4 : Toute fonction u reelle harmonique dans est ou bien constante, ou bien
na en aucun point de un maximum local ou un minimum local.
Cela sinterpr`ete facilement en termes des derivees secondes de u. Un maximum (resp. minimum)
2
2
local en a 2 signifierait que @@xu2 et @@yu2 sont non nuls et de meme signe, en contradiction avec
lequation (8.7).
Ces proprietes trouvent des applications physiques, par exemple en electrostatique, dans
letude du potentiel cree par une distribution de charges. Comme on la rappele au chapitre 3.6,
la loi de Gauss implique que le potentiel electrostatique cree par une distribution de charges est
une fonction harmonique en tout point distinct des positions des charges. Une autre application
est en aerodynamique dans le calcul de la portance dune aile davion, voir [1], chap. 7. Nous
verrons au Chap. 11 (if time permits. . .) des applications des considerations precedentes.

8.4

M
ethode du col

On est souvent confronte en physique au probl`eme suivant : on cherche a` calculer la limite

dune integrale de la forme
Z
I = e f (z) dz
(8.10)

7 janvier 2013

J.-B. Z

L3 FIP 2012

158

Chap.8. Fonctions de variables complexes, applications

quand le param`etre tend vers linfini. f est supposee holomorphe sur un ouvert independant
de , est un chemin contenu dans .
Il existe plusieurs versions de ce probl`eme, la methode du col, la methode de Laplace, la
methode de la phase stationnaire, etc. Nous nous bornerons a` une discussion sommaire et `a un
exemple.

8.4.1

M
ethode du col

Lidee intuitive est de chercher `a minimiser la partie reelle de f tout en empechant sa

partie imaginaire de varier trop rapidement, ce qui risquerait de causer des compensations dans
lintegrale. On va preciser cette idee.

Etant
donnee lintegrale (8.10), o`
u nous prendrons reel positif, supposons que f est holomorphe dans un ouvert contenant le contour et quon sache deformer contin
ument en 0
sans rencontrer de singularite de f de telle facon que
(i) le long de 0 , =m f est constante ;
(ii) il existe le long de 0 un point z0 , dit col, tel que f 0 (z0 ) = 0 ;
(iii) <e f (z) passe par un minimum local en z0 ;
La condition =m f = const. determine en general le chemin 0 . La phase de lexponentielle est
alors constante. Developpons alors f (z) au voisinage du col. Puisque f 0 (z0 ) = 0,
1
f (z) = f (z0 ) + (z
2
et avec f 00 (z0 ) = ei , z

z0 )2 f 00 (z0 ) + o(z

z0 )2

z0 = rei' ,

1 2
r cos(2' + ) + o(r2 )
2
1 2
=m (f (z) f (z0 )) =
r sin(2' + ) + o(r2 )
(8.11)
2
sur lequel on lit que, pour satisfaire (i), le chemin 0 doit etre tel que sin(2' + ) = 0 ce qui
donne deux directions possibles, orthogonales lune a` lautre. Les directions medianes, o`
u le cos
sannule, sont celles o`
u la partie reelle change de signe, voir Fig. 8.5. Pour assurer que la partie
reelle passe bien par un minimum et non un maximum, cest le chemin passant dans les zones
II quon doit choisir. Quand ! 1, le minimum de <e (f ) est de plus en plus accentue, de
plus en plus pique, do`
u le nom de steepest descent donne a` la methode dans la litterature
anglo-saxonne. Cest ce qui fait que la contribution dominante a` lintegrale vient de ce chemin.
Finalement on sattend a` un comportement asymptotique (et on peut justifier precisement avec
des hypoth`eses adequates sur f que nous ne detaillerons pas ici)
Z 1
1
00
2
f (z0 )
I e
e 2 f (z0 )u du
<e (f (z)

f (z0 )) =

J.-B. Z

L3 FIP 2012

7 janvier 2013

 8.4. Methode du col

159

f (z0 )

2
f 00 (z0 )

1
2

(8.12)

Re f

I
II
II
I

Figure 8.5 Col de <e f et trajectoires de =m f constant.

8.4.2

Commentaires et variantes

Dans lintegrale (8.10) le param`etre prenant de grandes valeurs etait explicite et factorise
dans lexponentielle. Il peut aussi arriver que lon sinteresse au comportement dune integrale
o`
u cette dependance nest pas aussi manifeste. Mais lidee est la meme : on cherche les points
stationnaires (cols) de la fonction en exponentielle. On en verra un exemple ci-dessous avec
la fonction . La methode du col poss`ede aussi des variantes dont il est utile de connatre
lexistence mais que nous ne ferons que mentionner bri`evement :
M
ethode de Laplace, col r
eel
Cest la situation o`
u on int`egre dans (8.10) une fonction f reelle.
Z
J =
e f (x) dx

(8.13)

On na plus la liberte de deformer le contour dintegration, mais un resultat similaire sapplique :

le comportement dominant de lintegrale est `a nouveau donne par le point x0 o`
u f est minimale.
Comme dans le cas complexe, on developpe f au voisinage de ce point
1
f (x) f (x0 ) + (x
2

7 janvier 2013

x0 )2 f 00 (x0 ) + o(x

x0 )2

J.-B. Z

L3 FIP 2012

160

Chap.8. Fonctions de variables complexes, applications

et lintegrale est approximee par une integrale gaussienne

J e

f (x0 )

1
f 00 (x0 )x2
2

dx = e

f (x0 )

2
.
f 00 (x0 )

Voir ci-dessous lexemple de la fonction .

M
ethode de la phase stationnaire
Une autre variante est celle dune integrale sur R dune exponentielle dune fonction imaginaire
Z
J0 =
eif (x) dx
R

(8.14)

o`
u f est reelle. Cette fois encore il sagit de chercher un extremum ou un point stationnaire de f , o`
u les
oscillations de la phase f sont moins rapides.
On parle de methode de phase stationnaire, et on ecrit
J0

if (x0 )

2i
f 00 (x0 )

1
2

On rencontrera la methode du col et ses avatars dans de nombreux domaines de la physique,

en Mecanique Statistique (limite thermodynamique, mod`eles a` grand nombre detats, . . .), en
Mecanique Quantique et en Optique (vitesse de groupe, limite de courte longueur donde. . .),
en theorie des champs (methode semi-classique, o`
u le param`etre grand est 1/~), etc.

8.4.3

Fonction . Formule de Stirling

Nous illustrerons la methode du col (reel) sur le cas de la fonction Gamma dEuler
Z 1
d
ef
(s) =
us 1 e u du .
(8.15)
0

Observons dabord que cette integrale est absolument convergente pour <e s > 0. On calcule
aisement (1) = 1 et, par integration par parties,
(s + 1) = s (s)
do`
u il decoule immediatement que pour s = n
(n) = (n

1 entier
1)!

(s) extrapole donc a` des valeurs reelles ou complexes la fonction factorielle.

Interessons-nous a` lasymptotique de la fonction (s + 1). Selon la methode precedente, on
ecrit lintegrand ef (u) et on cherche les points stationnaires de f (u) = s log u u, soit ici u0

J.-B. Z

L3 FIP 2012

7 janvier 2013

 8.4. Methode du col

161

solution de s/u0 = 1, donc u0 = s. On developpe alors f (u) = f (u0 ) + (u

u0 )2 f 00 (u0 ) + mais f 0 (u0 ) = 0, et f 00 (u0 ) = 1/s, donc
Z 1
p
1 2 00
f (u0 )
(s + 1) e
e 2 v f (u0 ) dv = 2s es log s s

u0 )f 0 (u0 ) + 12 (u

ou encore

s s p

2s (1 + O(1/s)) ,
e
o`
u on reconnat la formule de Stirling pour la factorielle asymptotique. . . Le lecteur courageux
peut-il/elle calculer le terme suivant en 1/s ? Attention, il faut pour cela developper la fonction
f jusquau terme (u u0 )4 (et non pas seulement (u u0 )3 , pourquoi ?).
(s + 1) =

Lectures compl
ementaires
La discussion a suivi H. Cartan [4] et W. Appel [1]. Pour plus de details sur les subtilites
de la methode du col, consulter C. Aslangul [3], chap. 7.

7 janvier 2013

J.-B. Z

L3 FIP 2012

162

J.-B. Z

Chap.8. Fonctions de variables complexes, applications

L3 FIP 2012

7 janvier 2013