notes de cours
notes de cours
notes de cours
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Rappel : Si f est non constante, alors il n’existe pas <strong>de</strong> suite z n<br />
n→+∞<br />
−−−−−→ z ∞ avec z ∞ ∈ Ω et z n ≠ z ∞ qui<br />
vérifie ∀n, f(z n ) = 0<br />
Définition 3.1. Si f est holomorphe non-constante dans Ω et si f(z 0 ) = 0, on appelle multiplicité du zéro<br />
z 0 la valeur entière n 0 telle qu’il existe a n0 ≠ 0 avec f(z) = a n0 (z − z 0 ) n0 + o((z − z 0 ) n0 ) lorsque z → z 0 .<br />
(l’existence et l’unicité <strong>de</strong> n 0 à cause du développement en série entière <strong>de</strong> f au voisinage <strong>de</strong> z 0 )<br />
Théorème 3.9. Si f est holomorphe au voisinage d’un disque D et si γ désigne le cercle orienté positivement<br />
<strong>de</strong> D. Si ∀z ∈ γ, f ≠ 0 alors si z 1 , . . . , z J désignent les zéros <strong>de</strong> f dans D<br />
où n(z) est la multiplicité du zéro z.<br />
J∑<br />
j=1<br />
n(z j ) = 1 ∫<br />
f ′ (z)dz<br />
2iπ γ f(z)<br />
(Si une telle formule surprend, c’est surtout que l’on a pas compris la formule <strong>de</strong> Cauchy).<br />
∫<br />
f ′ ∫<br />
(z)dz<br />
= d ln(f(z))<br />
f(z)<br />
(Informellement)<br />
Preuve 3.11. Pour ɛ petit, on considère l’ouvert D \ ⋃ J<br />
j=1 D(z j, ɛ) = D ɛ , f ′<br />
f<br />
même sur un voisinage <strong>de</strong> D ɛ ). Alors<br />
J ɛ j<br />
J ɛ j<br />
∫<br />
γ<br />
γ<br />
f ′ (z)dz<br />
f(z)<br />
=<br />
γ<br />
J∑<br />
∫<br />
j=1<br />
J ɛ j<br />
f ′ (z)dz<br />
f(z)<br />
Mais (avec un développement limité à l’ordre 2)<br />
∫<br />
f ′ ∫ [ ]<br />
(z)dz (exo) n(zj )<br />
=<br />
+ O(1) dz = 2iπn(z j ) + O(ɛ) −−→ 2iπn(z j )<br />
f(z)<br />
z − z j ɛ→0<br />
est holomorphe dans Dɛ (et<br />
Conséquence : Si f et g sont <strong>de</strong>ux fonctions holomorphes au voisinage d’un disque D et ∀z ∈ ∂D, |f(z)| ><br />
|g(z)| (=⇒ f et f − g non nulle sur ∂D) alors le nombre <strong>de</strong> zéros (multiplicité comprise) <strong>de</strong> f dans D est<br />
égual au nombre <strong>de</strong> zéros <strong>de</strong> f − g dans D.<br />
Preuve 3.12. ∀t ∈ [0; 1] on définit f t (z) = f(z) − tg(z). Par hypothése, ∀t ∈ [0; 1], f z ≠ 0 sur ∂D. Donc<br />
∀t, (#zéros <strong>de</strong> f t dans D) = 1 ∫<br />
f t(z)dz<br />
′<br />
2iπ ∂D f(z)<br />
+<br />
∫<br />
1 f t(z)dz<br />
′ = 1 ∫<br />
f ′ (z) + tg ′ (z)<br />
2iπ ∂D f(z) 2iπ<br />
+<br />
∂D f(z) + tg(z) dz<br />
est une fonction continue par rapport à t sur [0; 1] et à valeurs entière.<br />
Conclusion c’est une fonction constante et la valeur en 0 est la même que celle en 1.<br />
Récapitulatif :<br />
∫<br />
– Si f est holomorphe dans Ω ouvert =⇒ f ′ aussi etc . . . et<br />
cercle ⊂ Ω.<br />
Cercle<br />
f(z)dz = 0 si le disque intérieur au<br />
16