Formule intégrale de Cauchy

Soient :

• U un ouvert simplement connexe du plan complexe ℂ ;
• f : U → ℂ une fonction holomorphe sur U ;
• γ un chemin fermé inclus dans U ;
• et z un point de U n'appartenant pas à ce chemin.

On a alors la formule suivante :

${\displaystyle f(z)\cdot \mathrm {Ind} _{\gamma }(z)={1 \over 2\pi i}\int _{\gamma }{f(\xi ) \over \xi -z}~\mathrm {d} \xi }$

où Ind_γ(z) désigne l'indice du point z par rapport au chemin γ. Cette formule est particulièrement utile dans le cas où γ est un cercle C orienté positivement, contenant z et inclus dans U. En effet, l'indice de z par rapport à C vaut alors 1, d'où :

${\displaystyle f(z)={1 \over 2\pi i}\int _{C}{f(\xi ) \over \xi -z}~\mathrm {d} \xi .}$

Cette formule montre que la valeur en un point d'une fonction holomorphe est entièrement déterminée par les valeurs de cette fonction sur n'importe quel cercle entourant ce point ; un résultat analogue, la propriété de la moyenne, est vrai pour les fonctions harmoniques.

Montrons que ceci implique que f est développable en série entière sur U : soit ${\displaystyle a\in U}$, ${\displaystyle r>0}$ tel que ${\displaystyle D(a,r)\subset U}$.

Soit ${\displaystyle z\in D(a,r)}$, et ${\displaystyle \gamma }$ le cercle de centre a et de rayon r orienté positivement paramétré par ${\displaystyle \theta \in [0,2\pi ]}$.

On a pour tout ${\displaystyle \theta \in [0,2\pi ]}$ : ${\displaystyle \left|{\frac {z-a}{\gamma (\theta )-a}}\right|={\frac {|z-a|}{r}}<1}$,
ce qui prouve la convergence uniforme sur ${\displaystyle [0,2\pi ]}$ de la série de terme général ${\displaystyle {\frac {(z-a)^{n}}{(\gamma (\theta )-a)^{n+1}}}}$ vers

${\displaystyle {\frac {1}{\gamma (\theta )-a}}\cdot {\frac {1}{1-{\frac {z-a}{\gamma (\theta )-a}}}}={\frac {1}{\gamma (\theta )-z}}}$,

et comme ${\displaystyle f\circ \gamma }$ est continue sur ${\displaystyle [0,2\pi ]}$ compact, donc bornée, on a convergence uniforme de la série

${\displaystyle \sum _{n=0}^{\infty }f(\gamma (\theta ))\cdot {\frac {(z-a)^{n}}{(\gamma (\theta )-a)^{n+1}}}}$ sur ${\displaystyle [0,2\pi ]}$,

ce qui permet d'effectuer une inversion des signes somme et intégrale : on a ainsi pour tout z dans D(a,r):

${\displaystyle f(z)=\sum _{n=0}^{\infty }c_{n}(z-a)^{n}}$ avec ${\displaystyle c_{n}={1 \over 2\pi i}\int _{\gamma }{f(\xi ) \over (\xi -a)^{n+1}}\,d\xi }$

et donc f est analytique sur U. On a supposé dans la démonstration que U était connexe, mais le fait d'être analytique étant une propriété locale, on peut généraliser l'énoncé précédent et affirmer que toute fonction holomorphe sur un ouvert U quelconque est analytique sur U.

De la formule de Taylor réelle (et du théorème du prolongement analytique), on peut identifier les coefficients de la formule de Taylor avec les coefficients précédents et obtenir ainsi cette formule explicite des dérivées n-ièmes de f en a:

${\displaystyle f^{(n)}(a)={n! \over 2\pi i}\int _{\gamma }{f(\xi ) \over (\xi -a)^{n+1}}\,d\xi }$.

On définit une fonction g par :

${\displaystyle g(\xi )={\begin{cases}{\frac {f(\xi )-f(z)}{\xi -z}}&{\text{si }}\xi \neq z,\\f'(z)&{\text{si }}\xi =z.\end{cases}}}$

Cette fonction est continue sur U et holomorphe sur U\{z}. On peut donc lui appliquer le théorème intégral de Cauchy :

${\displaystyle \int _{\gamma }g(\xi )~\mathrm {d} \xi =0.}$

En remplaçant g(ξ) par sa valeur et en utilisant l'expression intégrale de l'indice, on obtient le résultat voulu.

Cette formule a de nombreuses applications, outre le fait de montrer que toute fonction holomorphe est analytique, et permet notamment de montrer le théorème des résidus.