ATLAS Ouvrir dans l'atlas →

Théorème 7Analyse complexe

Formule intégrale de Cauchy

Énoncé

Soit ff holomorphe sur un ouvert UU contenant le disque fermé D‾(c,r)\overline D(c, r).

(i) Il existe s>0s > 0 tel que le disque ouvert D(c,r+s)D(c, r + s) soit contenu dans UU.

(ii) Pour tout zz tel que ∣z−c∣<r|z - c| < r, f(z)=12iπ∫C(c,r)f(w)w−z dw.f(z) = \frac{1}{2i\pi}\int_{C(c, r)} \frac{f(w)}{w - z}\,dw.

Démonstration

(i) Le disque fermé est compact (Suites et séries complexes) et contenu dans l'ouvert UU. Considérons tous les disques ouverts D(u,t)D(u, t) tels que u∈D‾(c,r)u \in \overline D(c, r), t>0t > 0 et D(u,2t)⊂UD(u, 2t) \subset U. Ils recouvrent le disque fermé, puisque chacun de ses points uu est le centre d'un disque ouvert contenu dans UU. On en extrait un nombre fini, D(u1,t1),…,D(un,tn)D(u_1, t_1), \dots, D(u_n, t_n), qui le recouvrent encore, et l'on pose s=min⁡jtjs = \min_j t_j ; aucun choix n'intervient, puisque la famille est définie sans désigner un rayon pour chaque point.

Si ∣z−c∣<r+s|z - c| < r + s, il existe un point uu du disque fermé avec ∣z−u∣<s|z - u| < s : le point zz lui-même, ou c+rz−c∣z−c∣c + r\frac{z - c}{|z - c|}. Ce point uu appartient à un D(uj,tj)D(u_j, t_j), donc ∣z−uj∣<tj+s⩽2tj|z - u_j| < t_j + s \leqslant 2t_j, et z∈Uz \in U.

(ii) Soit ss comme en (i) ; le disque D(c,r+s)D(c, r + s), contenu dans UU, est convexe.

Le noyau. Soit g(w)=f(w)−f(z)w−zg(w) = \frac{f(w) - f(z)}{w - z} pour w≠zw \neq z et g(z)=f′(z)g(z) = f'(z) : elle est continue sur D(c,r+s)D(c, r + s) et holomorphe hors de zz. Par le théorème de Cauchy convexe (Cauchy, ouverts convexes), ∫C(c,r)g=0\int_{C(c,r)} g = 0, d'où ∫C(c,r)f(w)w−z dw=f(z)∫C(c,r)dww−z.\int_{C(c,r)} \frac{f(w)}{w - z}\,dw = f(z)\int_{C(c,r)} \frac{dw}{w - z}.

Le calcul. Pour ww sur le cercle, 1w−z=1w−c⋅11−q\frac{1}{w - z} = \frac{1}{w - c}\cdot\frac{1}{1 - q} avec q=z−cw−cq = \frac{z - c}{w - c}, de module ∣z−c∣r<1\frac{|z - c|}{r} < 1 constant. La série géométrique converge donc uniformément sur le cercle (Convergence uniforme) : 1w−z=∑n(z−c)n(w−c)n+1.\frac{1}{w - z} = \sum_n \frac{(z - c)^n}{(w - c)^{n+1}}.

En intégrant terme à terme, seul le terme n=0n = 0 contribue (Intégrale curviligne), et ∫C(c,r)dww−z=2iπ\int_{C(c,r)} \frac{dw}{w - z} = 2i\pi.

c z w C(c, r) D(c, r + s) U |q| = |z − c| / r < 1
Le cercle C(c,r)C(c, r), parcouru dans le sens direct, et le disque convexe D(c,r+s)D(c, r + s), en pointillé, sont contenus dans l'ouvert UU. Pour ww sur le cercle, le quotient q=z−cw−cq = \frac{z - c}{w - c} a pour module ∣z−c∣r\frac{|z - c|}{r}, qui ne dépend pas de ww et reste <1< 1 : c'est ce qui rend uniforme la convergence de la série géométrique.
□
Remarque

La formule est saisissante : les valeurs de ff sur un cercle déterminent toutes ses valeurs à l'intérieur. Aucune fonction dérivable d'une variable réelle n'a de propriété comparable ; c'est la rigidité propre aux fonctions holomorphes.

Ouvrir dans l'atlas interactif →