Vous êtes sur la page 1sur 18

!

"#$%&'( %

*(+ ,-.!&%-.+ "-*-/-'$"(+

01 %2345678952

La Lheorle des foncuons complexes a de nombreuses appllcauons en physlque. La
Lheorle moderne des foncuons holomorphes ou analyuques a eu 3 fondaLeurs :

CAuSS (1777-1833), CAuCP? (1789-1837), 8lLMAnn (1826-1866) ,
WLl8S18ASS(1813-1897), Penrl ClnCA8L (1834-1912).

L'essenuel des resulLaLs sur les foncuons holomorphes ou analyuques que nous
eLudlerons au cours de ce chaplLre esL le frulL des Lravaux de recherches de ces clnq
chercheurs maLhemauclens.

:1 .5952; 6< 35=5>5?@< 6A2; >< =>A2 85B=><C<

2-1 8appels des prlnclpales proprleLes des nombres complexes

Les nombres complexes onL eLe lnLrodulLs vers 1333 par les lLallens CA8uAnC eL
lL88A8l comme raclnes des equauons du 2
eme
ordre donL le dlscrlmlnanL esL negauf.


8e (z)=(z+z*)/2, lm(z)=(z-z*)/2l,

esL le module de z







ArgumenL d'un nombre complexe

z= x+ly, x=lzl coso, y=lzl slno

8epresenLauon exponenuelle: noLauon d'Luler

e
lo
= cos o+l sln o, avec coso = (e
lo
+e
-lo
)/2, sln o=(e
lo
- e
-lo
)/2l

,54B7>< 6< /5@D4<:

(cos o+l sln o)
n
=cos no+ l sln no, nt Z





2 2
y x z + =
2 . 1 2 . 1
2 1 2 1
) Im( , ) Re(
z z z z
z z z z
z z z z
=
+ ! +
! !
:E: F@;G7< 57D<43


Cn appelle dlsque ouverL de cenLre a eL de rayon r , l'ensemble
u( a,r)=[z t lC / l z-a l <r} .

:EH F@;G7< I<4BJ

Cn appelle dlsque ferme de cenLre a eL de rayon r l'ensemble
u*( a, r)=[z t lC / l z- a l <= r}

:EK -7D<43 8522<C< 57 65BA@2<

Cn dlL qu'un ouverL u du plan complexe esL connexe s'll n'esL pas la reunlon de
deux ouverLs non vldes dls[olnLs . Cn monLre que la condluon de connexlLe
esL equlvauL a: deux polnLs quelconques de u peuvenL Lre [olnLs par une
llgne conunue enueremenL conLenue dans u.












:EL !574M<
Sl x esL un espace Lopologlque, une courbe dans x esL une appllcauon conunue
d'un lnLervalle compacL [o, ] C l8 dans x, o<. nous appelons
[o, ] l'lnLervalle de parameLrage de U. l'lmage de UesL l'ensemble des polnLs
U(L), pour o<=L<=.
Sl le polnL lnlual U(o) de U coinclde avec le polnL nal U(), nous dlsons que U esL
une courbe fermee.

:EN !O<B@2

un chemln esL une courbe , conunumenL dlerenuable par morceaux. ue
faon plus expllclLe un chemln donL l'lnLervalle de parameLrage esL [o, ] esL une f
oncuon U conunue eL a valeurs complexes, denle sur [o, ] eL verlanL les
proprleLes sulvanLes: ll exlsLe un nombre nl de polnLs s[,
o=so <s1<s2..<sn=eL la resLrlcuon de U a a chaque lnLervalle [ s[-1, s[ ] a une
derlvee conunue sur [s[-1, s[], cependanL le derlvees a drolLe eL a gauche aux
polnLs dlerer.
un chemln ferme esL une courbe fermee qul esL aussl un chemln.



Cn appelle chemln dans le plan complexe , l'appllcauon z(L)= x(L)+l y(L) de
l= [o, ], dans lC A chaque valeur de Lt l, z(L) falL correspondre un polnL du plan complexe,
l'ensemble de ces polnLs pour Lt [o, ] esL la Lra[ecLolre U de z(L). Le polnL z(o) s'appelle
l'orlglne du chemln le polnL z() son exLremlLe.

:EP !@487@3
C'esL un chemln ferme z(o)= z().Sl en parcouranL un clrculL, on passe 2 fols ou
plus en un mme polnL, on dlL que esL un polnL double (ou Lrlple).
Courbe de !ordan
une courbe de !ordan esL un clrculL sans polnL double, parcouru une fols dans le sen dlrecL

:EQ !@487@3; O5B535=<;

ueux clrculLs U1 eLU2 sonL homoLopes dans un ouverL u sl on peuL passer de
U1 a U2 sans sorur de u par une famllle conunue de courbes fermees.
un clrculL esL dlL homoLope a zero s'll esL homoLope a une Lra[ecLolre redulLe a un polnL
:EQ F5BA@2< ;@B=><B<23 8522<C<
un ouverL u du plan complexe esL slmplemenL connexe sl LouL clrculL de u esL
homoLope a zero.

:EQ F5BA@2< B7>9=><B<23 8522<C<
C'esL un domalne slmplemenL connexe donL on a reure un ou plusleurs
domalnes slmplemenL connexes

HE,528952; 85B=><C<;
uenluon
Cn appelle foncuon complexe a une varlable complexes, une appllcauon de lC
dans lC :

f: lC lC
z f(z)

osons z=x+ly, f(z)=(x, y)+l C(x,y).

KE ,528952; O5>5B54=O<;
KE0 FJR2@952
SolL f une appllcauon de u(z0, r) dans lC, on dlL que f esL holomorphe au polnL
z0 sl la llmlLe:

exlsLe eL dans ce cas , ll sera noLe f'(z0).


0
0
0
) ( ) (
lim
z z
z z
z f z f
!
"
"
KE: *<; 8526@952; 6< !A78OSE'@<BA22

osons f(z)=(x,y)+l C(x, y)

f'(z0)=

KEH &OJ54TB<
La foncuon f(z)=(x, y)+l C(x , y )esL derlvable en z0=x0+ly0 sl eL seulemenL sl
les foncuons (x, y) eL C(x, y) sonL dlerenuables en (x0, y0) eL sausfonL
les condluons de Cauchy-8leman:


La derlvee s'exprlme alors en foncuon des derlvees paruelles de (x, y) eL
C (x,y) au polnL (x0, y0) par l'une des 4 formules






0
0
0
) ( ) (
lim
z z
z z
z f z f
!
"
"
y
y x Q
x
y x P
!
!
=
!
! ) 0 , 0 ( ) 0 , 0 (
x
y x Q
y
y x P
!
!
" =
!
! ) 0 , 0 ( ) 0 , 0 (
x
Q
i
y
Q
y
P
i
y
Q
y
P
i
x
P
x
Q
i
x
P
z f
!
!
+
!
!
=
!
!
"
!
!
=
!
!
"
!
!
=
!
!
+
!
!
= ) 0 ( '

LE,528952; A2A>S9G7<;

uenluon

Cn dlL qu'une foncuon esL analyuque ou holomorphe dans un ouverL u de lC sl eL
ssl elle esL derlvable en sens complexe en LouL polnL z t u.

SolL f: u lC une foncuon a varlable complexe, ou u esL un ouverL de
lC , Cn dlL que la foncuon f esL !"!#$%&'( sur u sl pour LouL a t u, ll exlsLe une
sulLe (a
n
) de nombres complexes eL un reel r>0Lel que, pour LouL
z t u(a,r) suppose lnclus dans u, on a:



AuLremenL dlL, une foncuon esL analyuque sl elle esL developpable en serle
enuere au volslnage de chaque polnL de son ensemble ouverL de denluon.

une foncuon enuere esL une foncuon analyuque sur LouL le plan complexe
&573< I528952 A2A>S9G7< <;3 72< I528952 @2R2@B<23 6J4@DAM><
Lxemples

!
"
=
# =
0
) ( ) (
n
n
n
a z a z f
NE%23J?4A952 6<; I528952; A2A>S9G7<;
NE0 FJR2@952 6< >U@23J?4A>< 6U72< I528952 A2A>S9G7<
SolL U un chemln dans le plan complexe denl par z(L)=x(L)+l y(L) pour L t[a, b]
Cn appelle lnLegrale de la foncuon analyuque f(z) le long du chemln U le
nombre complexe






La valeur de l'lnLegrale esL lndependanLe de la represenLauon parameLrlque
du chemln
Cn uullsera la noLauon pour represenLer l'lnLegrale de f sur une
courbe de !ordan




! ! !
"
= #
"
# =
#
b
a
b
a
dt t z t z f t d t t f dz z f ) ( )) ( ( ) ( )) ( ( ) (
dt t y i t x t y t x iQ t y t x P dz y x f
b
a
)) ( ) ( ( )] ( ), ( ( )) ( ), ( ( [ ) , (
!
+
!
+ =
" "
#
!
"
dz z f ) (
!
(V(/$*(0
SolL la foncuon z
n
, n enuer. SolL le chemln z(L)=x(L)+l y(L),
d'orlglne z(a) eL d'exLremlLe z(b).
Ln lnLegranL par parue, on obuenL:

!
dt t y i t x t iy t x dz z
b
a
n n
)] ( ) ( [ )] ( ) ( [
!
+
!
+ =
" "
#
1
) ( ) (
) ( ) (
)] ( ) ( [ )] ( ) ( [ / ] )] ( ) ( [[
1 1
1 1
1
+
!
=
! ! =
"
+
"
+ ! + =
+ +
#
#
+ +
+
#
$
$
$ $
n
a z b z
dz z
dz z n a z b z
dt t y i t x t iy t x n
a
b
t iy t x dz z
n n
n
n n n
b
a
n n n
(V(/$*(:
SolL un cercle de cenLre z0=x0+ly0 eL de rayon
8 parcouru une fols dans le sens dlrecL. Sur
on a:
z=z0+8 , dz=l 8
! i
e !
!
d e
i
!
! ! !
!
"
d e R y R x f iR dz y x f
i
) sin 0 , cos 0 ( ) , (
2
0
+ + =
# #
$
NE: %2J?A>@3J I526AB<23A><W *<BB< 6< X546A2

**52?7<74 6U72 8O<B@2
La longueur d'un chemln esL classlquemenL



*%2J?A>@3J I526AB<23A><

SolL f(z), analyuque dans un domalne conLenanL , de longueur L
SolL M=sup l f(z)l , borne superleure du module de f(z) sur
Cn a :

reuve: on a:


dt t L
b
a
!
"
#
=
"
) (
!
!

dt t M dt t t f dt t t f dz z f
b
a
b
a
b
a
! ! ! !
"
#
$ "
#
" $ "
#
" =
"
) ( ) ( ) ( ( ) ( )) ( ( ) (
) ( ) ( ! "
#
!
ML dz z f
*<BB< 6< X546A2
SolL U un arc de cercle de cenLre z) eL de rayon 8 eL d'angle au
cenLre exprlme en radlan 0 < < 2pl.







ConformemenL a l'lnegallLe fondamenLale, on a:
L=|U(L)|=8



Cn en dedulL lmmedlaLemenL le lemme de !ordan.
! " #
= =
$
!
z R
dz z f alors z f z Si
, 0
0 ) ( lim , 0 ) ( sup lim
! " # $ ! "
= =
%
#
R z R
dz z f alors z f z Si
,
0 ) ( lim , 0 ) ( sup lim
8
U

! " =
#
$
!
z z f z
R z f dz z f
%
%
) ( ( sup
) ( sup ) (
8emarque

Le Lemme de !ordan ne donne que des condluons susanLes
pour que la llmlLe quand 8 Lend 0 ou vers l'lnnl de l'lnLegrale sur
une courbe solL nulle. Cee llmlLe peuL Lre nulle mme sl les Cn
ne sonL pas sausfalLes.
NEH &OJ54TB< 6< !A78OS
Le Lheoreme de Cauchy LradulL une proprleLe fondamenLale des foncuons
Analyuques.

&OJ54TB< 6< !A78OS

SolL f(z) une foncuon analyuque dans un ouverL slmplemenL connexe, alors
pour LouL clrculL conLenue dans u on a:


0 ) ( =
!
"
dz z f
6-4 Consequences du Lheoreme de Cauchy
%26J=<26A28< 67 34AY<3
SolL f(z) une foncuon analyuque dans un ouverL u slmplemenL
connexe. SolL A eL deux polnLs de u, U1 eL U2 deux chemlns
d'orlglne A, d'exLremlLe enueremenL conLenus dans u. Alors


,528952 =4@B@9D<

uans un ouverL slmplemenL connexe, LouLe foncuon analyuque
f(z)admeL une prlmluve :
! !
" "
=
1 2
) ( ) ( dz z f dz z f
!
" "
=
z
z
z d z f z F
0
) ( ) (
/J3O56<; 6U@23J?4A952 =A4 ><; =4@B@9D<;
SolenL f(z), analyuque dans un ouverL u slmplemenL connexe, eL
l(z) sa prlmluve. SolenL A, eL z0 Lrols polnL de u. Cn a:

Alnsl par exemple:
! ! !
" = + =
B
A
z
A
B
z
A F B F dz z f dz z f dz z f
0
0
) ( ) ( ) ( ) ( ) (
!
" =
2
1
1 sin 2 sin cos
z
z
z z zdz