Théorème intégral de Cauchy

Pour les articles homonymes, voir Théorème de Cauchy.

En analyse complexe, le théorème intégral de Cauchy, ou de Cauchy-Goursat est un important résultat concernant les intégrales curvilignes de fonctions holomorphes dans leplan complexe. D'après ce théorème, si deux chemins différents relient les deux mêmes points et si une fonction est holomorphe « entre » les deux chemins, alors les deux intégrales de cette fonction suivant ces chemins sont égales.

Le théorème est habituellement formulé pour les lacets (i.e. les chemins dont le point de départ est confondu avec le point d'arrivée) de la manière suivante. Soient

§ U un ouvert simplement connexe de ℂ,

§ f : U→ℂ une fonction continue sur U et possédant une dérivée complexe sauf éventuellement en un nombre fini de points et

§ γ un lacet rectifiable dans U, alors :

$\int_\gamma f(z)~\mathrm dz=0.$

Sommaire

[masquer]

· 1 Condition de simple connexité

· 2 Démonstration

· 3 Conséquences

· 4 Surfaces de Riemann

· 5 Notes et références

· 6 Articles connexes

Condition de simple connexité[modifier]

La condition que U est simplement connexe signifie que U n'a pas de « trou » ; par exemple, tout disque ouvert $U = \{ z, \mid z - z_0 \mid < r \} \,$ satisfait à cette condition.

La condition est cruciale ; par exemple, si γ est le chemin défini par :

$\gamma(t) = \exp( 2\pi it)\,$

où exp est la fonction exponentielle, qui décrit le cercle unité, alors l'intégrale sur ce chemin

$\int_\gamma \frac{1}{z} \mathrm{d}z = 2\pi i$

est non nulle ; le théorème intégral de Cauchy ne s'applique pas ici puisque f(z) = 1/z n'est pas prolongeable par continuité en 0.

Démonstration[modifier]

Par des arguments de continuité uniforme de f sur des ε-voisinages compacts de l'image de γ dans U, l'intégrale de f sur γ est limite d'intégrales de f sur des lacets polygonaux¹. Il suffit alors, pour conclure, d'invoquer le lemme de Goursat.

Conséquences[modifier]

§ Sous les hypothèses du théorème, f possède sur U une primitive complexe F. En effet, quitte à remplacer U par l'une de ses composantes connexes, on peut supposer que Uest connexe. En fixant alors un point arbitraire z₀ de U et en posant

$F(z)=\int_{P(z)}f(\xi)~\mathrm d\xi,$

où P(z) est n'importe quel chemin rectifiable dans U de z₀ à z (d'après le théorème, la valeur de F(z) ne dépend pas du choix de P(z)) et en adaptant à la variable complexe la démonstration du théorème fondamental du calcul différentiel et intégral, on en déduit alors que F’ = f.

§ Pour une telle primitive on a immédiatement : pour tout chemin continûment différentiable par morceaux γ de a à b dans U :

$\int_\gamma f(z) \mathrm{d}z = F(b) - F(a).$

§ Le peu d'hypothèses requises sur f est très intéressant, parce qu'on peut alors démontrer la formule intégrale de Cauchy pour ces fonctions, et en déduire qu'elles sont en fait indéfiniment dérivables.

§ Le théorème intégral de Cauchy est considérablement généralisé par le théorème des résidus.

§ Le théorème intégral de Cauchy est valable sous une forme légèrement plus forte que celle donnée ci-dessus. Supposons que U soit un ouvert simplement connexe de ℂ dont lafrontière est l'image d'un lacet rectifiable γ. Si f est une fonction holomorphe sur U et continue sur l'adhérence de U, alors l'intégrale de f sur γ est nulle.^{[réf. nécessaire]}

Surfaces de Riemann[modifier]

Le théorème intégral de Cauchy se généralise dans le cadre de la géométrie des surfaces de Riemann.

Notes et références[modifier]

1. ↑ (en) Liang-shin Hahn et Bernard Epstein, Classical complex analysis, Jones & Bartlett, 1996 (ISBN 9780867204940) [lire en ligne [archive]], p. 111

§ Walter Rudin, Analyse réelle et complexe [détail des éditions]

§ Henri Cartan, Théorie élémentaire des fonctions analytiques d'une ou plusieurs variables complexes [détail des éditions]

§ (en) Kunihiko Kodaira, Complex Analysis, CUP, coll. « Cambridge Stud. Adv. Math. » (n^o 107), 2007 (ISBN 978-0-52180937-5)

§ (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Cauchy's integral theorem » (voir la liste des auteurs)

Articles connexes[modifier]

Théorème de Morera

[masquer] v · d · m Travaux d’Augustin Louis Cauchy
Outils mathématiques	Critère de Cauchy · Équations de Cauchy-Riemann · Loi de Cauchy · Produit de Cauchy · Règle de Cauchy · Suite de Cauchy
Théorèmes mathématiques	Formule de Binet-Cauchy · Formule intégrale de Cauchy · Inégalité de Cauchy · Inégalité de Cauchy-Schwarz · Théorème de Cauchy ·Théorème de Cauchy-Kovalevskaïa · Théorème de Cauchy-Lipschitz · Théorème intégral de Cauchy · Théorème de la moyenne de Cauchy
Optique	Loi de Cauchy

§ Portail de l'analyse