Vous êtes sur la page 1sur 21

Chapitre 1

Fonctions dune variable complexe

Le but de ce chapitre est dune part de rappeler


les regles elementaires de lalgebre des nombres complexes,
dautre part detablir les conditions necessaires et susantes
de lexistence de la derivee dune fonction dune variable complexe
(conditions de Cauchy)

1.1 Rappels des operations elementaires sur les nombres complexes

Toute lalgebre des nombres complexes (dont lensemble est note C) repose lexistence postulee dun nombre
fondamental note i dont la seule et unique propriete extraordinaire est que son carre est egal a 1 :

i2 = 1 . (1.1)

Une fois admis ceci, un nombre complexe quelconque, z, est par denition un nombre construit en combinaison
lineaire a coecients reels de 1 et de i :

z C : z = a1+bi , a R, b R (1.2)

ce que lon note plus simplement :


z = a + ib . (1.3)
Toutes les operations (addition, multiplication) sont commutatives. a est appele partie reelle de z, b est la partie
imaginaire de z, ce que lon notera :
a = z , b = z. (1.4)
Deux nombres complexes sont dits egaux sils ont meme partie imaginaire et meme partie imaginaire :

z1 = z2 x1 = x2 et y1 = y2 . (1.5)

Le nombre complexe egal a zero est celui dont les parties reelle et imaginaire sont toutes deux nulles :

z = 0 x = 0 et y = 0 . (1.6)

Un nombre complexe dont la partie reelle est nulle est dit imaginaire pur, un nombre complexe dont la partie
imaginaire est nulle est un nombre reel ordinaire.

Visiblement, les nombres 1 et i jouent dans (1.2) le meme role que deux vecteurs orthonormalises i et
j et lon voit tout de suite que lensemble C va pouvoir etre muni dune structure despace vectoriel a deux
dimensions sur le corps des reels : de ce point de vue, C et R2 sont isomorphes, et dans ce contexte on dit de
R2 quil est le plan complexe. Le nombre complexe z est ainsi represente dans le plan par un point designe1 par
1 Dans la mesure du possible, on essaiera de maintenir des notations systematiques : z est laxe de m , Z est celle de M, etc.
2 CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

m dont les coordonnees, par rapport a un repere orthonorme, sont precisement a et b, et on dit que z est laxe
m. Dou la notation systematique, un repere orthonorme (Ox, Oy) etant deni :
z = x + iy , x R, y R . (1.7)
Deux nombres complexes egaux sont representes par le meme point du plan. En pratique, pour ne pas alourdir
les notations et quand aucune confusion nest possible, on assimilera le plus souvent un nombre z et son point
representatif m.

Lequation (1.3) contient loperation i b, multiplication du nombre fondamental i et dun reel b. Ce


dernier est sur laxe Ox a labscisse b alors que le nombre i b est sur laxe Oy a la cote b. Dou linterpretation
geometrique de la multiplication par i :
multiplication par i rotation de + 2 dans le plan R2 . (1.8)
De meme, le carre de i, est associe au produit de deux rotations de /2, cest donc une rotation de et en
eet comme i2 = 1, i2 b est laxe du point symetrique representant le reel b, qui de lautre cote de lorigine
O. Plus generalement, i2 z = z est laxe du point image de celui associe a z dans la symetrie par rapport a
lorigine.

Lexistence de i etant admise, et avec elle les nombres denis par (1.7), il est naturel de generaliser pour
ces nombres les operations usuelles de lalgebre elementaire. La denition de laddition est deja embryonnaire
dans la denition (1.7), qui additionne un reel et un nombre imaginaire pur. Plus generalement, la somme
(addition) de deux nombres complexes est tout naturellement (Z = X + iY ) :
Z = z1 + z2 X = x1 + x2 , Y = y1 + y2 (1.9)
La soustraction sen deduit par z1 z2 z1 + (z2 ). Geometriquement, si zp est laxe de mp et Z celle de M,
la denition de laddition des complexes, (1.9), montre que :

OM = Om1 + Om2 (1.10)

La multiplication de deux nombres complexes sobtient en utilisant les regles usuelles de distributivite
(zp = xp + iyp ) :
z1 z2 = (x1 + iy1 ) (x2 + iy2 ) = x1 x2 + i(x1 y2 + y1 x2 ) + i2 y1 y2 , (1.11)
soit :
z1 z2 = x1 x2 y1 y2 + i(x1 y2 + y1 x2 ) , (1.12)
dou :
(z1 z2 ) = x1 x2 y1 y2 ,  (z1 z2 ) = x1 y2 + y1 x2 . (1.13)
La multiplication etant denie, la division lest tout autant :
z1
Z = Zz2 = z1 . (1.14)
z2
Avec toujours Z = X + iY , il vient dapres (1.13) :
x1 + iy1 = Xx2 Y y2 + i(Xy2 + Y x2 ) , (1.15)
dou :
Xx2 Y y2 = x1 , Xy2 + Y x2 = y1 . (1.16)
Il sagit dun systeme lineaire inhomogene 2 2 en X et Y dont la solution est :
x1 x2 + y1 y2 y1 x2 x1 y2
X = , Y = . (1.17)
x22 + y22 x22 + y22
Ce resultat peut aussi sobtenir en eectuant en multipliant haut et bas le rapport z1 /z2 par z2 cest dailleurs
la bonne facon de faire en pratique :
z1 x1 + iy1 (x1 + iy1 )(x2 iy2 ) (x1 x2 + y1 y2 ) + i(y1 x2 x1 y2 )
Z = = = = . (1.18)
z2 x2 + iy2 x22 + y22 x22 + y22

Mathematiques pour physiciens 7 Octobre 2004 Cl. A.


LP 311
1.1. RAPPELS DES OPERATIONS ELEMENTAIRES SUR LES NOMBRES COMPLEXES 3

On appelle conjugue de z le nombre, note2 z , qui a meme partie reelle et dont la partie imaginaire est
changee de signe :
z = x + iy , z = x iy . (1.19)
De cette denition resulte immediatement :
1 1
x z = (z + z ) , y z = (z z ) . (1.20)
2 2i

Geometriquement, z et z sont les axes des points se transformant lun dans lautre par la symetrie-
miroir denie par laxe Ox. En posant zp = xp + iyp (p = 1, 2), on voit que :

(z1 + z2 ) = z1 + z2 , (z1 z2 ) = z1 z2 . (1.21)

Le produit dun complexe et de son conjugue est remarquable :

zz = (x + iy)(x iy) = x2 (iy)2 = x2 + y2 . (1.22)



Cest donc un nombre reel positif, nul seulement quand z = 0. La quantite x2 + y2 est le module de z, note
|z| : 
|z| = x2 + y2 = zz . (1.23)

Pour deux nombres zp (p = 1, 2), le produit z1 z2 a pour module carre :

|z1 z2 |2 = z1 z2 (z1 z2 ) = z1 z1 z2 z2 = |z1 |2 |z2 |2 , (1.24)

dou :
|z1 z2 | = |z1 | |z2| . (1.25)
En particulier :  
1
  = 1 . (1.26)
z |z|
Geometriquement, |z| est la distance entre son point representatif m et lorigine O du plan complexe. Compte
tenu de linterpretation geometrique de la somme de deux complexes, (1.10), il en resulte immediatement
linegalite triangulaire :
|z1 + z2 | |z1 | + |z2 | (1.27)
qui exprime le fait que dans un triangle la longueur dun cote est inferieure ou egale a la somme des deux autres.
Plus generalement :  
N 
  N
 z  |zj | (1.28)
 j 
j=1  j=1

Une autre inegalite utile, quil nest pas dicile de demontrer, est3 :

||z1 | |z2 || |z1 + z2 | (1.29)

La decomposition z = x + iy introduit les deux coordonnees cartesiennes du point associe a z (et on parle
alors de representation cartesienne de z). On peut aussi introduire les coordonnees polaires4 du plan, r et ,
auquel cas on obtient lecriture polaire du nombre complexe z :

z = x + iy = r cos + ir sin , r = |z|, = arg z . (1.30)


2 Une autre notation usuelle pour le complexe conjugue z est z.
3 On utilise le meme symbole | . . . | pour le module dun complexe et la valeur absolue ordinaire, puisque le premier ne fait que
generaliser la seconde au domaine complexe.
4 r 0, 0 < 2.

Cl. A. 7 Octobre 2004 Mathematiques pour physiciens


LP 311
4 CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

La combinaison cos + i sin est remarquable. Toutes ses proprietes algebriques permettent de lidentier avec
une certaine fonction exponentielle, ce qui conduit a la formule dEuler :

cos + i sin = ei . (1.31)

En eet, considerons le premier membre de (1.31) comme une certaine fonction E() et ecrivons-la pour
= 1 + 2 ; par denition :
E(1 + 2 ) = cos(1 + 2 ) + i sin(1 + 2 ) . (1.32)
2
Calculons maintenant le produit E(1 )E(2 ) = p=1 (cos p + i sin p ). La partie reelle est :


2
[E(1 )E(2 )] =  (cos p + i sin p ) = cos 1 cos 2 sin 1 sin 2 = cos(1 + 2 ) = [E(1 + 2 )] , (1.33)
p=1

la partie imaginaire est :


2
[E(1 )E(2 )] =  (cos p + i sin p ) = sin 1 cos 2 + sin 2 cos 1 = sin(1 + 2 ) = [E(1 + 2 )] . (1.34)
p=1

Autrement dit, les deux nombres complexes E(1 + 2 ) et E(1 ) E(2 ) sont egaux entre eux :

E(1 + 2 ) = E(1 ) E(2 ) . (1.35)

Il existe une seule fonction satisfaisant cette equation fonctionnelle : cest la fonction exponentielle. Il en resulte
que E() = ea ou a est une constante que lon peut trouver de bien des facons, par exemple en regardant
le developpement en serie entiere de la fonction exponentielle et en le comparant a celui de la combinaison
cos + i sin ; on trouve alors sans peine que a = i, dou la formule dEuler (1.31). De cette formule decoule
immediatement les deux relations :
1 i 1 i
cos = (e + ei ) , sin = (e ei ) . (1.36)
2 2i


Le module du premier membre de (1.31) est cos2 + sin2 = 1. On retiendra donc :

|ei | = 1 R . (1.37)

Ceci etant fait, lexpression polaire dun complexe secrit aussi :

z = r ei . (1.38)

r est le module de z, est son argument. Legalite de deux nombres complexes zp = rp eip (p = 1, 2) sexprime
comme :
z1 = z2 r1 = r2 et 1 = 2 (1.39)
ou legalite des angles est comme toujours comprise modulo 2, soit plus precisement :

1 = 2 + k 2 (k Z) . (1.40)

Notons que si le module du nombre complexe nul est bien deni (r = 0 !), en revanche son argument ne lest
pas. Ceci traduit le fait geometrique que lon peut sapprocher de lorigine en faisant un angle quelconque avec
laxe reel, par exemple. Par ailleurs, on denit parfois la determination principale de largument dun nombre
complexe, notee Arg z, comme etant largument de z choisi dans lintervalle ] , +] :

< Arg z + . (1.41)

La multiplication (et la division) sexpriment tres simplement en representation polaire :

z1 = r1 ei1 , z2 = r2 ei2 = z1 z2 = r1 r2 ei1 ei2 = r1 r2 ei(1 +2 ) . (1.42)

Mathematiques pour physiciens 7 Octobre 2004 Cl. A.


LP 311
1.2. FONCTION DUNE VARIABLE COMPLEXE 5

Autrement dit :
|z1 z2 | = r1 r2 , arg(z1 z2 ) = argz1 + arg z2 , (1.43)
ou toutes les egalites entre arguments sentendent a 2 pres. Ainsi par exemple :
1 1
z = r ei = ei . (1.44)
z r
De meme :
z = r ei z = r ei . (1.45)

Dans le meme ordre didees, les puissances dun meme nombre complexe z prennent la forme :

z n = (r ei )n = r n ein = r n (cos n + i sin n) . (1.46)

En prenant r = 1 et en remplacant z au premier membre par cos + i sin , on obtient limportante formule de
Moivre :
(cos + i sin )n = cos n + i sin n . (1.47)
Le developpement de la puissance nieme du premier membre par la formule du binome, et lidentication des
parties reelle et imaginaire, constitue un moyen systematique pour exprimer les sin et cos dun angle multiple.

A linverse, la representation polaire permet dexprimer simplement les n racines nemes dun nombre
complexe. Par exemple, soit a trouver les complexes satisfaisant :

zn = ( > 0) . (1.48)

Il sagit plus precisement dans cet exemple de trouver les racines nemes dun reel positif note . En representation
polaire, (1.48) sexprime comme :
(r ei )n = . (1.49)
En remarquant que largument dun nombre reel positif et egal a 0 (2), lidentication donne :
1 2
rn = , n = 0 (2) r = n , = k (k = 1, 2, . . . , n) . (1.50)
n
En particulier, les racines nemes de 1 sont les n nombres5 k :
2
k = eik n (k = 0, 1, . . . , n 1) . (1.51)
n
On verie sans peine que k=1 k = 0. Leurs points representatifs sont situes sur le cercle de rayon unite et
sont equidistantes les unes des autres. Les racines cubiques de lunite jouent un role important en Electricite et
sont souvent notees 1, j et j 2 :

1 3 1 3
k = e ik 2
3 1 = + i j , 2 = i j2 = j , 3 = 1 . (1.52)
2 2 2 2

1.2 Fonction dune variable complexe

1.2.1 Denitions

La notion de fonction est bien connue : cest une correspondance qui permet, par des operations algebriques bien
denies (une recette), de construire un nombre (image) a partir dun nombre (original) ; ici, la seule nouveaute
par rapport au champ reel est que tous les nombres impliques sont maintenant a priori des nombres complexes.
Cette nouveaute est moins banale quelle en a lair : fondamentalement et essentiellement6 , la dierence est que
5 Il est equivalent de prendre k = 1, 2, . . . , n.
6 A deux dimensions, on peut contourner un obstacle, ce qui nest pas possible quand on se deplace sur un l. On se convaincra
peu a peu de limportance de la notion de chemin suivi par continuite (sans lever du papier la pointe du crayon).

Cl. A. 7 Octobre 2004 Mathematiques pour physiciens


LP 311
6 CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

les nombres original et image se deplacent dans un espace a deux dimensions (le plan complexe R2 ), au lieu
detre connes dans un domaine de laxe reel, qui est de dimension 1. Ce degre de liberte supplementaire est a
lorigine des proprietes extraordinaires dune classe de fonctions appelees fonctions holomorphes, qui sera denie
en temps utile.

Ainsi, une fonction f de la variable complexe z est une operation (ou une suite doperations) qui, au
nombre z dans un certain ensemble D inclus dans le plan, associe un certain nombre complexe note f(z) :

z D f(z) C . (1.53)

D est appele lensemble de denition de la fonction f : cest lensemble des points ou lon sait eectuer les
operations permettant de calculer f(z). Le cas le plus important est celui ou D est un domaine7 du plan
complexe. On ne considerera que des domaines dont la frontiere est une suite nie darcs de courbes continument
dierentiables par morceaux.

Quelques exemples de fonctions :

z f(z) = z est la fonction qui a chaque nombre complexe lui associe son complexe conjugue
z f(z) = |z| est la fonction qui a chaque nombre complexe z = x + iy lui associe son module
x2 + y 2
z f(z) = z 1 est la fonction qui a z = x + iy associe le nombre :
1 x iy
= 2 . (1.54)
x + iy x + y2

z f(z) = sin z est la fonction qui a z = x + iy associe le nombre :


1 i(x+iy) 1
sin z = [e ei(x+iy) ] = (ey eix ey eix ) = sin x cosh y + i sinh y cos x ; (1.55)
2i 2i
quand z R, on retrouve la denition elementaire du sinus trigonometrique ordinaire. Par ailleurs, la
derniere forme a droite montre que :

sin(x + iy) = sin x cosh y + i sinh y cos x (1.56)

qui nest autre que la generalisation aux complexes de la formule sin(a + b) = sin a cos b + sin b cos a (en
remarquant que sin(ia) = i sinh x et cos(ib) = cosh b).

Clairement, la donnee dune fonction f(z) est equivalente a la donnee de deux fonctions a valeurs reelles
u(x, y) et v(x, y) telles que :
z D , f(z) = u(x, y) + iv(x, y) . (1.57)
On ne peut evidemment pas tracer le graphe dune fonction a valeurs complexes dune variable complexe, comme
on trace celui dune fonction reelle dune variable reelle : il faudrait faire des dessins dans lespace a quatre
dimensions (2 pour les deux coordonnees x et y, 2 pour les deux valeurs u(x, y) et v(x, y). En revanche, on
peut tracer des lignes dans le plan relatives a certains attributs de f(z). Par exemple, les lignes iso-module sont
celles ou |f(z)| prend une valeur constante donnee. Les lignes iso- et iso- sont les courbes ou les parties reelle
et imaginaire sont constantes ; leurs equations cartesiennes sont respectivement :

u(x, y) = Cste , v(x, y) = Cste (1.58)


7 On dit quun ensemble D est un domaine si :
1. chaque point est le centre dun cercle (susamment petit) tout entier contenu dans D, autrement dit, tout point de D a des
voisinages appartenant a D
2. deux points quelconques de D peuvent etre relies par une ligne (pas forcement a tangente continue) tout entiere contenue
dans D (connexite).
Par exemple, lensemble des points de coordonnees irrationnelles nest pas un domaine.

Mathematiques pour physiciens 7 Octobre 2004 Cl. A.


LP 311
1.2. FONCTION DUNE VARIABLE COMPLEXE 7

On peut se faire encore une representation mentale de f en imaginant les surfaces obtenues en portant verti-
calement au-dessus du plan xOy les valeurs (algebriques) des parties reelle et imaginaire. Les surfaces corres-
pondantes u et v ont pour equations cartesiennes :

z = u(x, y) , z = v(x, y) (1.59)

Les lignes iso- et iso- sont les intersections de ces surfaces par des plans paralleles au plan xOy.

On peut enn tracer les images dans le plan par f de courbes remarquables decrites par la variable z,
judicieusement choisies pour une raison ou une autre.

1.2.2 Limite dune fonction f(z)

Sur laxe reel, la notion de limite dune fonction a valeurs reelles est bien connue. On dit quune fonction f(x)
a une limite en x0 ssi il existe un nombre f0 tel que :

> 0, > 0, |x x0 | < , |f(x) f0 | < (1.60)

et on ecrit :
lim f(x) = f0 . (1.61)
xx0

Une fonction est dite continue si f0 = f(x0 ), et alors :

lim f(x) = f(x0 ) (f continue en x0 ) ; (1.62)


xx0

cette ecriture na evidemment de sens que dans la mesure ou la quantite f(x0 ) est denie. Pour une fonction
discontinue en un point dabscisse x0 , la limite nexiste pas, mais on peut denir une limite a gauche et une
limite a droite. La limite nexiste pas au sens denie par (1.60) puisque la quantite f(x) ne prend pas la meme
valeur selon que lon arrive dun cote ou de lautre. Soit par exemple, la fonction-echelon-unite8 Y (x) denie
comme : 
0 x < 0
Y (x) = (1.63)
1 x > 0
Avec cette denition, la quantite Y (0) nexiste pas, de sorte que Y (x) na pas de limite en x = 0, mais rien
ninterdit de parler de limite a gauche et de limite a droite, les deux etant distinctes (elles valent respectivement
0 et 1).

Pour une fonction dune variable complexe, la liberte de mouvement est encore plus grande puisque, dans
le plan, on peut sapprocher dun point donne z0 dune innite de facons. En generalisant immediatement, on
denit dabord la limite dune fonction f(z) en un complexe z0 comme :

> 0, > 0, |z z0 | < , |f(z) f0 | < (1.64)

et on ecrit :
lim f(z) = f0 . (1.65)
zz0

De la meme facon que dans le cas reel, on dit quune fonction f(z) est continue si f0 = f(z0 ), et alors :

lim f(z) = f(z0 ) (f continue en z0 ) ; (1.66)


zz0

Il importe de bien saisir tout le contenu de cette denition, laquelle contient la necessite de savoir calculer
f(z0 ), cest-a-dire que z0 est un point ou la recette de calcul denissant f est sans ambigute et conduit de ce fait
a un nombre et un seul, note f(z0 ) une fois que lon est arrive en z0 , on ne sait plus comment on y est arrive,
ou encore : f(z0 ) ne porte aucune trace du chemin parcouru. En dautres termes, la limite nexiste que dans la
mesure ou tous les chemins suivis pour arriver en z0 = x0 + iy0 donnent un seul et meme nombre. Clairement,
8 aussi appelee fonction de Heaviside.

Cl. A. 7 Octobre 2004 Mathematiques pour physiciens


LP 311
8 CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

cette denition est bien la generalisation de la notion de limite dune fonction reelle continue, qui nexiste que
si on obtient le meme nombre selon que lon arrive dun cote ou de lautre du point x0 .

La condition dexistence de la limite sexprime de facon equivalente avec les parties reelle u(x, y) et
imaginaire v(x, y) de la fonction f(z) ; la limite de f(z) en z0 existe si et seulement si les deux limites suivantes
existent :
lim u(x, y) = u0 , lim v(x, y) = v0 , (1.67)
xx0 , yy0 xx0 , yy0

ou les deux limites x x0 , y y0 sont prises independamment lune de lautre. Dire que f est continue en z0 ,
cest dire que u0 = u(x0 , y0 ) et v0 = v(x0 , y0 ).

Lindependance par rapport au chemin suivi du nombre obtenu quand on arrive en z0 est dune importance
capitale. Il est facile de construire des cas ou le chemin dacces determine la valeur nale obtenue par passage
a la limite ; soit par exemple la fonction :
z
z f(z) = (1.68)
z
et posons-nous la question de lexistence dune limite en z0 = 0. On voit geometriquement tout de suite que
si lon se dirige vers lorigine en restant sur laxe reel, le nombre obtenu a la limite est 1, alors que si on reste
conne sur laxe imaginaire, le nombre nal est 1. Plus generalement, avec z = r ei , on a f(z) = e2i , de
sorte que si lon arrive en O en suivant une ligne faisant langle c avec laxe reel, le resultat nal en z0 = 0 est
e2ic . Ainsi, la fonction denie en (1.68) na pas de limite en z = 0, bien que pour chaque chemin dierentiable
a lorigine on sache calculer par un processus de limite une valeur nale pour la fonction.

Une fonction est dite continue en z0 si elle est denie en tout voisinage de z0 et si sa limite existe. La
fonction (1.68) est bien denie dans tout voisinage de lorigine (on sait la calculer), mais nest pas continue en
z0 = 0 puisque sa limite nexiste pas (il y a une innite de valeurs limites).

1.2.3 Derivee dune fonction f(z). Conditions de Cauchy

On denit la derivee f  dune fonction f au point z0 comme la limite :


f(z) f(z0 )
f  (z0 ) = lim , (1.69)
zz0 z z0
Compte tenu de la denition de la limite, le resultat est independant du chemin suivi pour aller de z en z0 . Une
fonction ayant cette propriete en z0 est dite derivable en z0 .

Une fonction derivable en tout point dun domaine D est dite9 holomorphe dans ce domaine. La somme
et le produit de deux fonctions holomorphes est une fonction holomorphe ; il en va de meme pour le rapport
f(z)/g(z) partout ou g(z) = 0. On appelle fonction entiere toute fonction qui est holomorphe pour tout z de
module ni (i. e. dont le point representatif est situe a distance nie de lorigine).

Les conditions de derivabilite sexpriment par le theoreme suivant, appele conditions de Cauchy10 . Soit
f(z) = u(x, y) + iv(x, y), ou les fonctions u et v sont dierentiables en z0 ; alors la condition necessaire et
susante pour que f soit derivable en z0 est que les egalites suivantes soient veries :
   
 u v u v
f (z0 ) = et = . (1.70)
x x0 , y0 y x0 , y0 y x0 , y0 x x0 , y0

Montrons dabord que si la limite (1.69) existe, alors les conditions de Cauchy sont satisfaites. Supposons
que la limite existe et prenons dabord le cas ou z tend vers z0 suivant un chemin parallele a laxe reel ; dans
9 holomorphe signie meme forme. Lorigine de la terminologie tient a ceci : on verra quune fonction holomorphe, qui est une

application de dans , preserve les angles et denit de ce fait ce que lon appelle une transformation conforme. Les tranformations
conformes seront etudiees en detail dans la suite du cours.
10 parfois aussi appelees conditions de Cauchy - Riemann.

Mathematiques pour physiciens 7 Octobre 2004 Cl. A.


LP 311
1.2. FONCTION DUNE VARIABLE COMPLEXE 9

ces conditions, z z0 = h ou h R. Alors :


 
 u(x0 + h, y0 ) u(x0 , y0 ) v(x0 + h, y0 ) v(x0 , y0 ) u v
f (z0 ) = lim +i = +i . (1.71)
h0 h h x x0 , y0 x x0 , y0

Prenons maintenant le cas ou z tend vers z0 suivant un chemin parallele a laxe imaginaire, soit z z0 = ik avec
k R. Alors :
 
u(x0 , y0 + k) u(x0 , y0 ) v(x0 , y0 + k) v(x0 , y0 ) u v
f  (z0 ) = lim +i = i + . (1.72)
h0 ik ik y x0 , y0 y x0 , y0

En rapprochant (1.71) et (1.72), on obtient les conditions (1.70). Dou :

f  (z0 ) = (1.70) . (1.73)

Inversement, montrons que si les conditions de Cauchy sont satisfaites, alors la limite f  (z0 ) existe. Les
deux fonctions u et v etant dierentiables, on a :
 
u u
u(x0 + h, y0 + k) u(x0 , y0 ) = h +k + || , (1.74)
x x0 , y0 y x0 , y0
 
v v
v(x0 + h, y0 + k) v(x0 , y0 ) = h +k + || , (1.75)
x x0 , y0 y x0 , y0
ou z z0 = h + ik et ou et tendent vers zero quand || 0. Il en resulte :

 
 
u u v v
f(z0 + ) f(z0 ) = h +k +i h +k + ( + i)|| . (1.76)
x x0 , y0 y x0 , y0 x x0 , y0 y x0 , y0

Dapres les conditions de Cauchy, ceci secrit aussi :



 
u v
f(z0 + ) f(z0 ) = +i (h + ik) + || A + || . (1.77)
x x0 , y0 x x0 , y0

A est un nombre bien deni, ||/ est de module 1 (donc borne), cependant que 0 si 0. On en conclut
que, dans cette limite, le rapport [f(z0 + ) f(z0 )]/ a une valeur bien denie, egale a A. Dou :

(1.70) = f  (z0 ) , (1.78)

ce qui acheve la demonstration de lequivalence apparaissant dans (1.70).

Une autre demonstration procede comme suit. Lorsque z varie de z = x + iy, le taux de variation de
f est f/z, soit :
 u 
u u v v v u v
f u + iv x x + y y + i x x + y y x + i x x + y + i y y
= = = . (1.79)
z x + iy x + iy x + iy
Apres division par x, dans la limite z 0 il vient :
 u v
 u
v dy
df x + i x + y + i y dx
= . (1.80)
dz 1 + i dy
dx

On veut que la fraction au second membre soit independante du rapport dy/dx. Pour que la fonction (X) =
(a + bX)/(c + dX) soit constante (independante de X), il faut a/c = b/d, dou les conditions assurant que la
limite df/dz existe : 
u v 1 u v
+i = +i . (1.81)
x x i y y
En separant les parties reelles et imaginaires, on retrouve bien les conditions de Cauchy.

Cl. A. 7 Octobre 2004 Mathematiques pour physiciens


LP 311
10 CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

Remarques

1. Les conditions de Cauchy ont une interpretation geometrique simple : les lignes f(z) = Cste et les lignes
f(z) = Cste sont orthogonales les unes aux autres.
Avant de montrer ceci, rappelons un resultat de geometrie dierentielle. Soit (x, y) une fonction R2 -
dierentiable. La relation (x, y) = Cste denit une courbe dans le plan : quand x varie, y ne varie pas
nimporte comment mais precisement de telle sorte que la fonction reste constante. La dierentielle de
, pour des variations innitesimales quelconques de x et y est :

d = dx + dy . (1.82)
x y
Maintenant, si on veut que quand x varie de dx, la valeur de la fonction ne change pas, il faut que dy ne
soit pas nimporte quoi mais tel que la variation d soit nulle. Autrement dit, pour rester sur la courbe
alors que x et y ont un peu varie, il faut que les accroissements dx et dy soient tels que :

0 = dx + dy le long de . (1.83)
x y
Cette condition xe le rapport dy/dx, qui donne la pente de la tangente a :

dy dx dy
pente de la tangente de = =
x
= . (1.84)
dx y

y
x

Autrement dit, y
et
x
sont les coecients directeurs de la tangente a la courbe dequation (x, y) =
Cste ; cette tangente est donc la droite parallele au vecteur t de composantes :

t = , . (1.85)
y x
Maintenant, le gradient de est un vecteur du plan de composantes :


= , . (1.86)
x y

La comparaison de (1.85) et (1.86) montre que les deux vecteurs t et


 sont orthogonaux puisque leur
produit scalaire est nul :
 = + ( ) = 0 .
t. (1.87)
x y x y
 denit les lignes orthogonales a la courbe (x, y) = Cste .
En dautres termes, le vecteur
Montrons maintenant que les lignes f(z) = Cste et f(z) = Cste sont mutuellement orthogonales. Le
vecteur tangent tu aux lignes f(z) u(x, y) = Cste a pour composantes :

u u
tu = , . (1.88)
y x

La normale aux lignes f(z) v(x, y) = Cste est le gradient de v, de composantes :



 v v
v = , . (1.89)
x y
Dapres les conditions de Cauchy, on a aussi :

v = u u
, . (1.90)
y x

La comparaison de (1.88) et de (1.90) montre que tu =


 v : le vecteur tu est parallele au vecteur normal
des lignes f(z) v(x, y) = C , les lignes iso-f sont bien orthogonales aux lignes iso-f.
ste

Mathematiques pour physiciens 7 Octobre 2004 Cl. A.


LP 311
1.2. FONCTION DUNE VARIABLE COMPLEXE 11

Par exemple soit z f(z) = z 2 . On a u(x, y) = x2 y2 et v(x, y) = 2xy. Les iso- ont pour equation
cartesienne x2 y2 = C : ce sont des hyperboles equilateres, dont les asymptotes sont les deux bissectrices
du repere xOy ; les iso- sont denies par 2xy = C  et sont a nouveau de hyperboles equilateres, mais
leurs asymptotes sont les deux axes de coordonnees. Ces deux familles de courbes sont bien mutuellement
orthogonales
2. Quand on utilise la representation polaire de z = rei , f(z) a pour parties reelle et imaginaire deux
fonctions U (r, ) et V (r, ) telles que :

U (r, ) = u(x, y) , V (r, ) = v(x, y) (1.91)



avec les relations de passage r = x2 + y2 , = Arctg x = r cos , y = r sin , dou resulte :
r r sin cos
= cos , = sin , = , = . (1.92)
x y x r y r
On a alors :
u U U sin v V V cos
= cos , = sin + , (1.93)
x r r y r r
u U U cos v V V sin
= sin + , = cos . (1.94)
y r r x r r
En reportant dans les deux conditions de Cauchy, on obtient le systeme de deux equations :
U U sin V V cos
cos = sin + , (1.95)
r r r r
U U cos V V sin
sin + = cos + . (1.96)
r r r r
En formant les bonnes combinaisons lineaires, on trouve que les relations de Cauchy prennent la forme :
   
U 1 V 1 U V
= et = . (1.97)
r r0 , 0 r r0 , 0 r r0 , 0 r r0 , 0

3. Compte tenu des conditions de Cauchy, la derivee f  en un point quelconque peut secrire de quatre facons
dierentes (partir par exemple de (1.71)) :
u v v u u u v v
f  (z) = +i = i = i = +i . (1.98)
x x y y x y y x

4. A ce stade, on peut deja remarquer quune fonction analytique possede des derivees de tous les ordres (ce
qui sera repris au chapitre 2). En eet, la derivee f  satisfait elle-meme les conditions de Cauchy, ce que
lon peut voir comme suit. Dapres (1.98), on a :
u v
f  (z) = u(1)(x, y) + iv(1) (x, y) avec u(1)(x, y) = , v(1) (x, y) = . (1.99)
x x
La premiere condition de Cauchy pour f  sexprime comme :

u(1) ? v(1) u ? v
= = (1.100)
x y x x y x
En echangeant lordre des derivations ci-dessus a droite, on trouve :
u ? v
= (1.101)
x x x y
Or cette derniere egalite est bien vraie, puisque f satisfait les conditions de Cauchy. On demontre de
meme que la deuxieme condition de Cauchy est aussi satisfaite, ce qui etablit que si f est analytique, il en
va de meme de sa derivee. En recommencant avec f  , on montre que f  existe et est analytique, et ainsi
de suite. Ainsi est etabli un resultat assez extraordinaire : des quelle est holomorphe, une fonction est
inniment derivable.

Cl. A. 7 Octobre 2004 Mathematiques pour physiciens


LP 311
12 CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

5. Si dans un domaine D une fonction f(z) a une partie reelle constante, ou une partie imaginaire constante,
ou un module constant, alors cette fonction est constante. En eet, supposons que u(x, y) est une fonction
constante, auquel cas u/x = u/y = 0. Des conditions de Cauchy (1.70) il resulte immediatement
v/y = v/x = 0. Si le module de f(z) est constant et egal a M = 0, alors11 ln f(z), qui est analytique
puisque M = 0, est egale a ln M + iarg f(z), dont la partie reelle est constante, donc ln f(z) est une
constante, ainsi que f(z) (dans le cas ou M = 0 dans D, cest que f est la fonction nulle dans ce domaine :
elle est bien constante !).
6. Denissons la fonction f de R2 C comme suit :

f(x, y) = f(z = x + iy) = u(x, y) + iv(x, y) . (1.102)

Il est alors facile de montrer que les conditions de Cauchy secrivent comme suit :
   
f f
= i . (1.103)
x y
x0 , y0 x0 , y0

7. Les conditions de Cauchy assurent quune fonction holomorphe f(z) est bien une fonction de z seul, pas
de z . Avec z = x + iy, z = x iy, on a x = (z + z )/2, y = (z z )/(2i). Etant donne une fonction
f(z) = u(x, y) + iv(x, y), denissons les deux fonctions u(z, z ) et v(z, z ) par les relations :

u(z, z ) = u(x, y) , v(z, z ) = v(x, y) , (1.104)

de sorte que la fonction f = u + iv, qui est a priori une fonction de z et de z , concide partout avec la
fonction f(z) :
f(z, z ) = f(z) z C . (1.105)
Maintenant :
u u u v v v
= 1+ 1 , = i + (i) . (1.106)
x z z y z z
La premiere condition de Cauchy est donc :

u u v v
+ = i ; (1.107)
z z z z

un calcul analogue donne la deuxieme condition de Cauchy sous la forme :



u u v v
= i + . (1.108)
z z z z

On en deduit :
u v u v v u
= i ,
= i
= i , (1.109)
z z z z z z
dou :
u u
(u + iv) = + i.i = 0 , (1.110)
z z z
soit12 f/z = 0, ce qui montre que f ne depend pas de z ; par (1.105), il en va de meme de f(z).
8. Par opposition, soit une fonction f(x, y) R2 -dierentiable, cest-a-dire possedant une dierentielle dans
un certain domaine de R2 :
f f
df = dx + dy . (1.112)
x y
11 On anticipe sur la denition de la fonction logarithme, qui est donnee ci-dessous, sous-section 1.3.3.
12 En sous-produit de ce calcul, on obtient aussi :
u u u v
(u + iv) = + i.(i) = 2 = 2i . (1.111)
z z z z z

Mathematiques pour physiciens 7 Octobre 2004 Cl. A.


LP 311
1.2. FONCTION DUNE VARIABLE COMPLEXE 13

Par ailleurs z = x + iy et z = x iy sont aussi R2 -dierentiables, avec :

dz = dx + idy , dz = dx idy , (1.113)

dou lon deduit :


1 1
(dz + dz ) ,
dx = dx = (dz dz ) . (1.114)
2 2i
En reportant ces expressions dans (1.112) et en factorisant selon dz et dz , il vient :
 
1 f f 1 f f
df = i dz + +i dz . (1.115)
2 x y 2 x y

Cette expression justie que lon introduise deux operateurs dierentiels denis comme :
 
1 1
= i , = + i (1.116)
z 2 x y z 2 x y

et alors la dierentielle (1.115) prend la forme :


f f
df = dz + dz ( + )f . (1.117)
z z
Sans hypothese supplementaire, f est une fonction de z et de z . Supposons maintenant que f est derivable
en un certain point z0 ; alors df = f  (z0 ) dz, de sorte que :
 
f  f
= f (z0 ) , = 0 . (1.118)
z z0 z z0

Il est facile de voir que la deuxieme egalite dans (1.118) nest autre que les conditions de Cauchy. En eet,
appelons u et v les parties reelle et imaginaire de f ; alors :
 
f f f
= 0 +i (u + iv) = 0 . (1.119)
z z0 x y

En developpant, on trouve :  
u v v u
+i + = 0 (1.120)
x y z0 x y z0

qui reproduit bien les conditions de Cauchy. En denitive, il y a equivalence entre les deux proprietes
ci-apres :
z D, le rapport h1 [f(z + h) f(z)] a une limite notee13 f  (z) quand h 0 et lapplication
z f  (z) est continue
la fonction f satisfait f = 0, loperateur dierentiel etant deni en (1.116).

Par exemple, la fonction f(z) = z = (z + z )/2 nest pas holomorphe puisque f = 1/2.
Une fonction satisfaisant (1.118) est par denition une fonction holomorphe : a linverse, une fonction g
satisfaisant :
f
= 0 (1.121)
z
est dite antiholomorphe. Quand une fonction f satisfait (1.121), ne pas en deduire que f est une fonction
constante : la fonction z f(z) = z est bien antiholomorphe, mais elle nest pas constante !
9. La derivee f  etant denie comme pour les fonctions de R R (limite du rapport des accroissements),
toutes les regles de derivation connues restent valables ((fg) = f  g + fg ,. . . )
13 Aussi notee df . Cette notation est exclusivement reservee aux fonctions holomorphes : pour une fonction quelconque mais
dz
dierentiable, les derivees partielles sont bien denies (mais leur rapport na aucune raison detre egal a i), et les notations f  ou
df
dz
nont aucun sens.

Cl. A. 7 Octobre 2004 Mathematiques pour physiciens


LP 311
14 CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

10. Comme une fonction derivable en tout point dun domaine D est dite holomorphe dans ce domaine, toute
fonction holomorphe dans D y satisfait les conditions de Cauchy.
11. Les parties reelle et imaginaire dune fonction holomorphe verient lequation de Laplace  = 0. En
eet :
u v 2u 2v u v 2u 2v
= = 2
= , = = 2
= . (1.122)
x y x xy y x y yx
En vertu de legalite des derivees croisees, il vient :

2u 2u
+ 2 = 0 u = 0 , (1.123)
x2 y
et de meme v = 0. Une fonction f satisfaisant lequation f = 0 est dite harmonique, une propriete
possedee separement par u et v quand f = u + iv est holomorphe.

La fonction monome z z n (n N) est holomorphe dans C, et cest aussi une fonction entiere (il en va
de meme pour tout polynome). La fonction z 1/z nest holomorphe que dans C ; autrement dit, z 1/z
nest pas denie en z0 = 0 mais lest en tout point aussi proche que lon veut de lorigine : en pareil cas, on dit
que z0 = 0 est un point singulier. z 1/z nest pas une fonction entiere.

En revanche, la fonction z |z| nest pas holomorphe car elle nest derivable nulle part. En eet, avec
z = rei et = ei , on a :
f(z + ) f(z) |r + ei() | r
= ; (1.124)
ei
au numerateur, le module se developpe comme suit :
1/2  1/2
|r + ei() | = [r + ei() ][r + ei() ] = r 2 + 2r cos( ) + O(2 ) . (1.125)

En sortant r > 0 de la racine carree et en utilisant (1 + x)1/2 = 1 + x


2
+ O(x2 ) (x  1), il vient :

 1/2
r 2 + 2r cos( ) + O(2 ) = r + cos( ) + O(2 ) , (1.126)
dou :
f(z + ) f(z) cos( ) + O(2 )
= = ei cos( ) + O() ; (1.127)
ei
le nombre obtenu a la limite 0 depend donc du chemin suivi pour arriver en z. Il en va de meme pour les
fonctions z z, z z. Dune facon plus generale, une fonction f(z) dont toutes les valeurs sont reelles14
(f(z) R) nest pas derivable. En eet, etant un nombre reel, on a par denition de la derivee :

f(z + ) f(z)
f  (z) = lim . (1.128)
0
Par hypothese, si f  (z) existe, alors cest un nombre reel (le numerateur et le denominateur au second membre
sont tous deux des quantites reelles). Mais on doit aussi avoir, en prenant par exemple un accroissement
imaginaire pur :
f(z + i) f(z)
f  (z) = lim . (1.129)
0 i
Maintenant, la fraction au second membre est imaginaire pure (le numerateur est reel puisque f est a valeurs
reelles). Le rapprochement de (1.128) et de (1.129) permet de conclure que ou bien f  (z) = 0 (par la regle
degalite de deux complexes, cest le seul cas ou un nombre reel est egal a un nombre imaginaire pur), ou bien
f  (z) nexiste pas. Il vaut la peine de retenir lidee quune fonction est holomorphe parce quelle ne sexprime
quavec z, pas avec z . Cest pourquoi les fonctions |z| = (zz )1/2 , z = (z + z )/2, z = (z z )/(2i), etc. ne
sauraient etre holomorphes
14 La conclusion est la meme si largument de f (z) est le meme quel que soit z.

Mathematiques pour physiciens 7 Octobre 2004 Cl. A.


LP 311
1.3. FONCTIONS ELEMENTAIRES 15

On peut montrer que toute fonction holomorphe est analytique et reciproquement15 . En raison de cette
equivalence entre analycite et holomorphie, la terminologie employee dans la litterature peut donner limpression
dun certain ottement : ainsi, on pourra trouver des ouvrages ou une fonction satisfaisant les conditions de
Cauchy est dite par denition analytique. En tout etat de cause, les deux qualicatifs analytique et holomorphe
doivent etre consideres comme synonymes16 , bien quils se rattachent a des proprietes dierentes : lholomorphie
fait reference aux conditions de Cauchy, alors que le qualicatif analytique arme lexistence dun developpement
en puissances entieres positives. La synonymie est justifee par le fait quil y a equivalenece (au sens logique du
terme) entre holomorphe et analytique.

1.3 Fonctions elementaires

Il sagit de montrer comment les fonctions elementaires de lanalyse reelle, f(x) avec x R, se generalisent sans
diculte au cas ou largument est un nombre complexe z, et de preciser eventuellement le sens geometrique de
lapplication z f(z) Z. Dans cette section, on pose le cas echeant :

z = x + iy = rei , Z = X + iY = ei . (1.130)

De surcrot, certains exemples permettront dintroduire la notion essentielle de fonction multiforme, qui sera
reprise et precisee par la suite.

1.3.1 La fonction puissance entiere z Z = z n (n N ) et sa(ses)


fonction(s) inverse(s)

On a ici :
= rn , = n . (1.131)
La transformation geometrique associee a cette fonction est une rotation de n = (n 1) et une dilatation17
par le facteur r n1 . Cette fonction est visiblement holomorphe dans tout le plan puisque la limite suivante
existe :
(z + )n z n z n + nz n1 + . . . z n
lim = lim = nz n1 (1.132)
0 0
et le resultat est visiblement independant du chemin suivi par pour regagner lorigine. Cest un exercice facile
de montrer  (a laide du developpement du binome) que les conditions de Cauchy sont satisfaites : on ecrit
n
(x + iy)n = p=0 Cnp xnp(iy)p dou lon deduit les parties reelle u(x, y) et imaginaire v(x, y), sur lesquelles on
verie ces conditions.
2
Les images de deux complexes z1 et z2 de meme module et dargument dierant de n sont confondues
puisque :
2 2
(eik n )n = enik n = 1 . (1.133)
Ceci montre que la fonction inverse nest pas denie a ce stade, au sens ou il existe plusieurs zk donnant le meme
Z. Plus precisement :
1 1 2 1 2
z = Zn r = n , = +k z {zk = n ei n eik n } (k = 0, 1, . . . , n 1) . (1.134)
n n
1
Ainsi, la notation Z n ne designe pas un seul et unique nombre mais n nombres distincts, tous de meme
1
module mais dont les arguments sont des multiples entiers de 2/n : pour cette raison, la fonction Z n est dite
multiforme ; les dierentes solutions de la relation inverse constituent les dierentes determinations de cette


15 Une fonction f (z) est dite analytique en z ssi, dans le voisinage de z , elle admet un developpement en serie entiere de
0
puissances positives, f (z) = n  fn .(z z0 )n .
0

16 De meme, le terme holomorphe est parfois pris dans une acception un peu speciale (par exemple Lavrentiev & Chabat), designant

une fonction qui na pas de singularite a distance nie, ce que la plupart des auteurs qualient de fonction entiere.
17 Cest de fait une contraction si r < 1.

Cl. A. 7 Octobre 2004 Mathematiques pour physiciens


LP 311
16 CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

fonction multiforme. Une fonction ne presentant pas cette particularite est parfois dite uniforme par opposition,
mais ce qualicatif est source de confusion (il aracterise aussi une fonction a valeurs reelles dont la derivee a un
signe constant).

A titre dexemple precis, traitons le cas n = 2, qui permettra dillustrer explicitement la notion de fonction
multiforme a propos de la racine carree. On a ici, dans les memes notations :

= r2 , = 2 . (1.135)

Largument du point image M (dont laxe est Z) varie deux fois plus vite que celle du point original m (associe
a z) : quand M fait un tour complet, m ne fait quun demi-tour, . Considerons maintenant la fonction inverse
z = Z 1/2 et ses deux determinations zk , k = 0, 1 :
1 1 2 1 1 1
z = Z2 r = 2 , = +k z0 = 2 ei 2 , z1 = 2 ei 2 ei = 2 ei 2 . (1.136)
2 2
Largument du point image m varie deux fois moins vite que celle du point original M. Il en resulte que si M
decrit une courbe fermee , deux cas peuvent etre consideres :

1. la courbe ne contient pas lorigine en son interieur. Ceci veut dire que largument de Z part dune
certaine valeur et y revient ; il reprend la meme valeur au point de depart Mi et au point darrivee Mf .
Il en va de meme pour largument de z, qui part de = 12 et y revient ; alors, les deux points mi et mf
sont confondus
2. la courbe contient lorigine en son interieur. Alors largument de Z part de et arrive a + 2 :
ses valeurs dierent de 2 entre les points de depart et darrivee ; largument de z passe ainsi de 12 a
1
2
( + 2), variant seulement de : maintenant les deux points mi et mf sont distincts (leurs arguments
dierant de , ces points sont symetriques lun de lautre par rapport a lorigine).

Ainsi, suivant que lorigine est ou non comprise dans la courbe fermee decrite par loriginal Z, la courbe
decrite par limage z Z 1/2 est ouverte ou fermee, traduisant le fait que ses extremites sont dierentes ou confon-
dues. Lorigine apparat comme un point remarquable pour la fonction Z 1/2 , appele18 point de branchement.

Soit par exemple la determination notee z0 en (1.136) ; si on part dun point situe sur le demi-axe reel
1 + 1
negatif (largument de Z vaut alors ), pour lequel z0 = 2 ei 2 = i 2 , et quon tourne autour de lorigine dans
le sens des aiguilles dune montre pour revenir inniment pres du point de depart mais en-dessous du demi-axe
1 1
reel negatif (ou largument de Z vaut alors ), on a en ce dernier point z0 = 2 ei 2 = i 2 . Ainsi, alors que
les deux points originaux sont identiques (Mi =Mf , daxe < 0), les valeurs de la fonction sont distinctes ;
en tout point du demi-axe reel negatif, la fonction est discontinue : ce demi-axe est une ligne continue de
discontinuites.

Le domaine danalycite de la determination z0 peut ainsi etre choisi comme le plan R2 prive (coupe) du
demi-axe reel negatif ; cette ligne est appelee coupure, et doit etre vue comme un mur infranchissable tant que le
caractere holomorphe doit etre preserve. Clairement, on pourrait prendre nimporte quelle autre ligne (dailleurs
pas forcement une demi-droite) issue de lorigine : le choix de la coupure est pure aaire de commodite, seul
le19 point de branchement est deni en soi, en-dehors de toute convention choisie pour le confort des calculs ou
du raisonnement geometrique.

La regle absolue pour ne pas se prendre les pieds dans le tapis, cest-a-dire sauter sans sen rendre compte
dune determination a une autre, est de suivre par continuite des chemins dans le plan sans jamais decoller.
18 Lorigine
de la terminologie apparatra clairement dans la suite.
les points de branchement, car il peut en exister plusieurs. Par exemple la fonction (z2 + a2 )1/2 , a , a deux points de
19 ou

branchement en ia.

Mathematiques pour physiciens 7 Octobre 2004 Cl. A.


LP 311
1.3. FONCTIONS ELEMENTAIRES 17

1.3.2 La fonction exponentielle z Z = ez

On a ici :
Z = ex+iy = ex eiy = ex (cos y + i sin y) . (1.137)

La derivee est :
d z ez+ ez ez e ez ez (1 + + O( 2 )) ez
e = lim = lim = lim = ez . (1.138)
dz 0 0 0

Ainsi, tout comme dans le champ reel, la fonction exponentielle z ez f(z) satisfait lequation dierentielle
caracteristique :
f = f . (1.139)
Reciproquement, les seules solutions de cette equation homogene sont de la forme Cez ou C est une constante
arbitraire. Dans un probleme de physique bien pose, une information supplementaire permettra toujours de
trouver C ; par exemple, on se donne (ou on connat par ailleurs) la valeur f0 de la fonction cherchee en un
point donne z0 . Alors la solution est unique et vaut f0 ezz0 .

Pour memoire, rappelons que la fonction exponentielle satisfait aussi lequation fonctionnelle caracte-
ristique20 :
f(z1 + z2 ) = f(z1 ) f(z2 ) f(z) = ez (1.140)
ou est un nombre quelconque. Lequation netant pas lineaire et homogene (le premier est lineaire en f, le
second est quadratique), aucune constante multiplicative arbitraire napparat.

Lholomorphie de ez est etablie par le fait que la derivee existe (voir (1.138)). On peut aussi verier a
titre dexercice que les conditions de Cauchy sont satisfaites :
x x x x
(e cos y) = (e sin y) , (e cos y) = (e sin y) . (1.141)
x y y x

La fonction exponentielle est periodique, de (plus petite) periode imaginaire pure egale a 2i :

ez+2in = ez e2in = ez n Z f(z + 2in) = f(z) . (1.142)

La fonction ez permet de generaliser simplement les fonctions trigonometriques circulaires et hyper-


boliques familieres au cas ou leur argument est complexe. On denit21 ainsi :
1 iz 1 iz
sin z = (e eiz ) , cos z = (e + eiz ) . (1.143)
2i 2
Toutes les relations trigonometriques ordinaires se generalisent alors immediatement par les regles de lalgebre
elementaire. Par exemple :
1 2iz 1
sin2 z + cos2 z = 2
(e 2 e2iz ) + (e2iz + 2 + e2iz ) = 1 . (1.144)
4i 4
On verie immediatement a partir de (1.143) que sin z et cos z sont des fonctions 2-periodiques, comme dans
le champ reel :
sin(z + 2n) = sin z , cos(z + 2n) = cos z n Z . (1.145)

De meme, on denit :

sin z eiz eiz 1 e2iz 1


tan z = = i iz = i , cot z = , (1.146)
cos z e + eiz 1 + e2iz tan z
20 Par caracteristique, on entend que ez est la seule et unique fonction satisfaisant cette equation.
21 Il sagit en realite dun prolongement analytique elementaire et legitime de (1.36).

Cl. A. 7 Octobre 2004 Mathematiques pour physiciens


LP 311
18 CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

relations qui montrent que :

tan(z + n) = tan z , cot(z + n) = cot z n Z . (1.147)

Quant aux derivees, elles sont la simple generalisation au champ complexe des relations etablies quand largument
est reel :
d 1 d d 1
sin z = (ieiz + ieiz ) = cos z , cos z = sin z tan z = etc , (1.148)
dz 2i dz dz cos2 z
Ces relations peuvent aussi se verier en prenant a chaque fois la limite lim 0 [f(z + ) f(z)]/.

On denit aussi les fonctions hyperboliques comme suit :


1 z 1 z
sinh z = (e ez ) , cosh z = (e + ez ) , (1.149)
2 2
sinh z ez ez 1 e2z 1
tanh z = = z z
= , coth z = . (1.150)
cosh z e +e 1 + e2z tanh z
Ces fonctions sont periodiques, mais leur periode est imaginaire pure ; en eet, puisque e2in = 1 n Z :

sinh(z + 2in) = sinh z , cosh(z + 2in) = cosh z (n Z) . (1.151)

De meme, comme ein = (1)n n Z, sinh(z + in) = (1)n sinh z, cosh(z + in) = (1)n cosh z et donc :

tanh(z + in) = tanh z , coth(z + in) = coth z (n Z) . (1.152)

En passant de z a iz, on transite des fonctions circulaires aux fonctions hyperboliques ; en eet :

sin(iz) = i sinh z , cos(iz) = cosh z , tan(iz) = i tanh z ; (1.153)

en particulier, pour z = x R, on a :

sin(ix) = i sinh x , cos(ix) = cosh x , tan(ix) = i tanh x . (1.154)

Enn, notons que pour un argument complexe, les bornes elementaires du genre | sin x| < 1, etc, ne sont
plus vraies. Par exemple :
1 ix y 1
| sin z|2 = sin z (sin z) = (e e eix ey )(eix ey eix ey ) = (cosh 2y cos 2x) ; (1.155)
4 2
Il est bien evident que cette derniere expression peut etre aussi grande que lon veut. Il en resulte
quune equation
du genre sin z = a ou a R, a > 1, a des solutions, en fait une innite, donnees par i ln(a a2 1)+(2k+ 21 ).

1.3.3 La fonction logarithme z Z = ln z (z = 0)

A un niveau elementaire, il est possible de denir la fonction logarithme comme la fonction inverse de lexponen-
tielle :
X R , x = eX R+ x R+ , X = ln x R . (1.156)
Cest cette denition que lon va etendre au champ complexe, en ecrivant (gardant la meme notation, ln, que
pour le logarithme reel) :

ZC , z = eZ C z C , Z = ln z C . (1.157)

Ceci etant ecrit, on realise quil ny a pas une fonction logarithme complexe, mais une innite : en eet, tous
les Z dierant de k 2i (k Z) donnent le meme z. Autrement dit, ln z est deni modulo 2i, et possede une
innite de determinations.

Mathematiques pour physiciens 7 Octobre 2004 Cl. A.


LP 311
1.3. FONCTIONS ELEMENTAIRES 19

Une autre facon de voir ceci consiste a ecrire z sous forme polaire et a utiliser la propriete caracteristique
du logarithme ln(zz  ) = ln z + ln z  (qui resulte simplement du fait que lexponentielle de la somme est le produit
des exponentielles). Alors22 :

ln z = ln(rei ) = ln r + ln(ei ) = ln r + i (r = 0) . (1.158)

Alors, linnite des valeurs possibles pour le premier membre saute aux yeux puisque langle est lui-meme
deni a 2 pres. Ceci admis, ln r au second membre de (1.158) est considere comme le logarithme (complexe)
du nombre (reel) rei |=0 .

Si on a bien ei(+2n) = ei n Z, en revanche, pour un angle donne (12345.6789 radians, par


exemple), ln[i( + 2n)] = ln(i) : tout comme pour la fonction puissance, il est encore possible de denir la
fonction inverse, mais il ny en a pas quune, puisque pour un Z donne, Z = ez donne une innite23 de valeurs
pour z. ln z fournit ainsi un autre exemple de fonction multiforme.

La consideration de courbes fermees decrites par le point representatif de loriginal z, contenant ou non
lorigine O, conduit a des conclusions analogues a celles tirees pour la racine carree (section 1.3.1) : par exemple,
si z fait un tour complet dans le sens positif autour de O, la valeur nale du logarithme est augmentee de 2i par
rapport a sa valeur de depart, quelle que soit la determination choisie ; si la courbe laisse lorigine a lexterieur, le
logarithme prend a larrivee la meme valeur quau depart24 . O est donc le point de branchement de la fonction
logarithme, et la coupure necessaire pour preserver le caractere holomorphe est une ligne partant de linni
(dans nimporte quelle direction) et arrivant en O.

Un usage frequent (mais pas systematique), si lon prend pour arg z sa determination principale Arg z
(voir (1.41)), est de noter Lnz la determination correspondante de la fonction logarithme :

Lnz = Ln|z| + iArg z (r = 0) . (1.159)

Avec cette denition, Ln x pour x R+ concide avec la fonction logarithme denie a un niveau elementaire, et
la coupure est le demi-axe reel negatif. De plus, on note que pour x < 0 :

Ln(x + i0) = ln |x| + i , Ln(x i0) = ln |x| i , (1.160)

ce que lon peut aussi ecrire (z = rei , avec = i) :

Ln(z = x + i0) = ln r + i , Ln(z = x i0) = ln r i , (1.161)

ainsi, pour deux points situes juste au-dessus ou juste au-dessous de la coupure, la fonction Lnz a un saut ; si sa
partie reelle est la meme (pour un x negatif donne), sa partie imaginaire vaut +2i dun cote, 2i de lautre :
tout comme pour la fonction z 1/2 , la coupure est une ligne continue du plan ou la fonction est discontinue. Ne
pas pouvoir franchir cette ligne si lon veut preserver le caractere holomorphe devient une evidence : la seule
facon de faire est de rebrousser chemin.

La derivee de ln z se trouve par le procede habituel, en faisant le rapport des accroissements et en en


prenant la limite. Par ailleurs, il est evident que toutes les determinations du logarithme donnent la meme
dierence puisquelles ne dierent les unes des autres que dune constante (entier2i) additive25. Toutes les
determinations de ln z ont donc la meme derivee. En raisonnant par exemple avec la determination denie en
(1.159), il vient :
d Ln(z + ) Lnz
Lnz = lim . (1.162)
dz 0
22 De toute evidence, ln z nest pas deni en z = 0, ne serait-ce que parce que ln r ne lest pas non plus.
23 Pour la fonction inverse de Z = zn , il ny a que n valeurs distinctes pour z.
24 On note aussi que si z decrit une certaine courbe fermee ne contenant pas lorigine, toutes les determinations, dierant de

entier 2i les unes des autres, decrivent des courbes translatees de 2 les unes des autres, formant un reseau a une dimension
parallele a laxe imaginaire.
25 De la meme facon, en Mecanique, toutes les dierences denergie potentielle entre deux points donnes concident, et representent

lunique quantite douee de sens physique, a savoir le travail de la force qui derive du potentiel.

Cl. A. 7 Octobre 2004 Mathematiques pour physiciens


LP 311
20 CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

Le numerateur a une valeur sans ambigute : sa partie imaginaire est la variation de largument quand on passe
de z au nombre z + inniment voisin, qui est inniment petite. On peut donc lecrire comme le Ln du rapport
z+
z , dou :
d Ln( z+
z ) Ln(1 + z )
Lnz = lim = lim . (1.163)
dz 0 0
En utilisant maintenant Ln(1 + z) = z + O(z 2 ), et puisque toutes les determinations ont la meme derivee, il
vient :
d 1
ln z = . (1.164)
dz z

Si lon veut de surcrot verier les conditions de Cauchy, leur forme polaire (1.97) est recommandee ; par
ailleurs, il sut visiblement de considerer une determination26 , la determination principale (1.159) par exemple.
On a ici :
U (r, ) = ln r , V (r, ) = ( < +) , (1.165)
de sorte que les conditions secrivent (voir (1.97)) :

U 1 V V U
= , = 1 , = 0 , = 0 . (1.166)
r r r
Les conditions de Cauchy sont donc trivialement satisfaites ] , +[. En revanche, Lnz nest pas une
fonction continue puisque, comme deja mentionne, si z est sur le demi-axe reel negatif, alors = +, tandis que
si z est inniment proche de ce demi-axe, mais en-dessous, = . La fonction nest donc analytique que dans
le domaine ] , +[, qui est plus petit que le domaine de denition ] , +]. Le meme phenomene se
produit pour toutes les autres determinations.

Pour etre en mesure de lever toute ambigute, il sut de comprendre que la question Combien vaut
ln z ? na pas de reponse (unique) tant que lon na pas precise la branche consideree de la fonction multiforme.
En revanche, la question Combien vaut ln z pour la branche egale a ln r en = 0 ? admet une reponse
unique. Linformation suppplementaire permet bien de calculer univoquement ln z. En pratique, pour eviter de
raisonner de travers, le plus sur est sans doute de garder en tete la notion de continuite, en suivant mentalement
un chemin du plan allant du point pour lequel linformation supplementaire est fournie au point ou lon veut
calculer la fonction.

1.3.4 La fonction puissance generalisee z Z = z ( C)

Soit maintenant a generaliser la fonction puissance au cas ou lexposant nest plus un entier, mais un nombre
complexe quelconque :
Z = z ( C) . (1.167)
Prenant le logarithme des deux membres, on a ln Z = ln z ; prenant maintenant lexponentielle de cette
derniere relation, il vient Z = e ln z , egalite qui constitue la denition naturelle de la puissance generalisee :

( C) .
def
z = e ln z (1.168)

Cette fonction est visiblement multiforme en general, puisque ln z lest et que est quelconque27 . Les dierentes
branches sexpriment explicitement comme (z = rei ) :

z = e ln r+i(+2k) = e ln r+i e2ik = r ei e2ik (k Z) . (1.169)

Cest seulement dans le cas ou Z que lon retrouve une fonction a une seule determination, puisque le
produit k est alors un entier (et le dernier facteur a droite vaut 1 quel que soit k). Si est un reel rationnel,
= pq , p et q premiers entre eux, il ny a que q branches distinctes ; si est irrationnel, z possede une innite
de branches distinctes.
26 Toutes les determinations ne dierent que par une constante (entier2i) qui disparat apres toute derivation.
27 de sorte que les dierentes branches du logarithme donnent le facteur e2ik , qui ne vaut pas 1 puisque = entier.

Mathematiques pour physiciens 7 Octobre 2004 Cl. A.


LP 311
1.3. FONCTIONS ELEMENTAIRES 21

Si = a + ib, alors :

z a+ib = e(a+ib)[ln r+i(+2k)] = ea ln rb(+2k) ei[b ln r+a(+2k)] (k Z) . (1.170)

Par exemple, toujours avec a et b reels :

z a = ea ln r eia(+2k) = r a eia(+2k) , z ib = eb(+2k) eib ln r (k Z) . (1.171)

Enn, pour = 0, (1.168) montre que z 0 = 1.

Cl. A. 7 Octobre 2004 Mathematiques pour physiciens


LP 311