« Fonctions d'une variable complexe/Formule intégrale de Cauchy » : différence entre les versions

Contenu supprimé Contenu ajouté
m Annulation des modifications 675621 de Crochet.david.bot (discussion)+màj n°
Balise : Annulation
→‎Représentation intégrale d'une fonction et des ses dérivées : rectif (suffit pas que le cercle soit dans l'ouvert) + complément (limite de fonctions holo)
Ligne 30 :
 
== Représentation intégrale d'une fonction et des ses dérivées ==
Le théorème suivant donne des informations sur <math>f</math> et sur ses dérivées, la formule établie peut être intuitivement perçue comme une dérivation sous le signe intégrale de l’expression de f(z) obtenue avec la formule de Cauchy : <math>\,D(f(z))=\fracfrac1{1}{2i2\mathrm i\pi}D{\int_{\gamma} \frac{f(u)}{u-z} \mathrm du} =\fracfrac1{1}{2i2\mathrm i\pi}\int_{\gamma} D{\frac{f(u)}{u-z}} \mathrm du</math>. On peut montrer rigoureusement que dans notre cas la dérivation sous le signe intégrale est possible.
{{Théorème
| titre=Représentation intégrale de <math>f</math> et de ses dérivées|contenu=
Soit ''ƒ''<math>f</math> une fonction holomorphe sur <math>\Omega</math>. etAlors soit <math>z_0 \in \Omega</math>.:
# *<math>D^{m}(f)'</math> est holomorphe sur <math>\Omega</math> pour(ainsi, toutdonc, <math>mque \intoutes \Nses ,m\leq n</math>dérivées) ;
*pour tout disque fermé <math>\bar D(z,r)\subset\Omega</math>, de bord le cercle <math>\gamma_r</math>, on a :
*:<math>f^{(m)}(z)=\frac{nm!}{2i2\mathrm i\pi}\int_{\gamma_r} \frac{f(u)}{(u-z)^{nm+1}} \,\mathrm du=D^{n}(f(z))</math>.
}}
 
{{Corollaire|titre=Corollaire : suite convergente de fonctions holomorphes|contenu=
Soit <math>r>0</math> tel que le chemin <math>\gamma_r=re^{it}+z_0\;, t \in [0,2\pi]</math> soit à valeurs dans
Si une suite <math>(f_n)_n</math> de fonctions holomorphes converge vers une fonction <math>f</math>, [[Suites et séries de fonctions/Suites de fonctions#Convergence uniforme|uniformément]] sur tout compact d'un ouvert <math>\Omega\subset\C</math>, alors <math>f</math> est holomorphe sur <math>\Omega</math> et pour tout <math>m\in\N</math>, la suite <math>(f_n^{(m)})_n</math> des dérivées converge vers <math>f^{(m)}</math>, uniformément sur tout compact de <math>\Omega</math>.
<math>\Omega</math> avec <math>|z-z_0|<r</math> et <math>n \in \N</math> alors:
 
# f est de classe <math>C_{\infty}</math> sur <math>\Omega</math>
# <math>D^{m}(f)</math> est holomorphe sur <math>\Omega</math> pour tout <math>m \in \N ,m\leq n</math>
# <math>
\frac{n!}{2i\pi}\int_{\gamma_r} \frac{f(u)}{(u-z)^{n+1}} \mathrm du=D^{n}(f(z))
</math>
}}
 
== Inégalité de Cauchy ==
Cette inégalité découle de la représentation intégrale des dérivées d'une fonction holomorphe sur un ouvert et donne une majoration de celles-ci.