Théorème intégral de Cauchy

Cliquez sur l'image pour voir les détails concernant l'auteur, la licence et la page d'origine de l'image — Exemple d'utilisation de la formule intégrale 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 le plan 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.

Énoncé

Le théorème est habituellement formulé pour les lacets (c'est-à-dire 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 ;

$γ$ un lacet rectifiable dans U.

Alors :
$\int _{\gamma }f(z)~\mathrm {d} z=0$ .

Condition de simple connexité

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 cercle unité alors l'intégrale sur ce lacet de la fonction $f (z) = 1/ z$ est non nulle ; le théorème intégral de Cauchy ne s'applique pas ici puisque $f$ n'est pas prolongeable par continuité en 0.

Démonstration

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^[1]. Il suffit alors, pour conclure, d'invoquer le lemme de Goursat.

On peut également, dans le cas où $f$ est holomorphe en tout point de $U$ , considérer la famille de lacets $\gamma _{\alpha }(t)=z_{0}+(1-\alpha )(\gamma (t)-z_{0})$ avec $\alpha \in [0,1]$ .

Conséquences

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 U est connexe. En fixant alors un point arbitraire $z 0$ 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 0$ à $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 premier théorème fondamental de l'analyse, on en déduit alors que F est holomorphe sur U et 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 la frontière est un lacet simple 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^[2].

Exemple

Pour tout complexe $α$ , la fonction $f(z):={\frac {{\mathrm {e} }^{\mathrm {i} z}}{z^{\alpha }}}$ , où l'on a choisi la détermination principale de la fonction puissance, est holomorphe sur le plan complexe privé de la demi-droite $\mathbb {R} ^{-}$ . Son intégrale sur tout lacet de ce domaine est donc nulle. Ceci permet de montrer que les intégrales semi-convergentes

J_{c}(\alpha ):=\int _{0}^{\infty }{\frac {\cos t}{t^{\alpha }}}\,\mathrm {d} t\quad {\text{et}}\quad J_{s}(\alpha ):=\int _{0}^{\infty }{\frac {\sin t}{t^{\alpha }}}\,\mathrm {d} t\quad {\text{pour}}\quad \mathrm {Re} (\alpha )\in \left]0,1\right[

(où $Re$ désigne la partie réelle) sont respectivement égales à

J_{c}(\alpha )=\cos \left((1-\alpha ){\frac {\pi }{2}}\right)\Gamma (1-\alpha )\quad {\text{et}}\quad J_{s}(\alpha )=\sin \left((1-\alpha ){\frac {\pi }{2}}\right)\Gamma (1-\alpha )

où $Γ$ désigne la fonction gamma et $cos, sin$ sont respectivement les fonctions cosinus et sinus de la variable complexe.

Détail des calculs

Notons $α = a + i b$ avec $a \in ]0, 1[$ et $b\in \mathbb {R}$ . On intègre $f$ (l'intégrale est nulle) sur le lacet formé du segment réel $[ε, R]$ et du segment imaginaire pur $i[R, ε]$ , joints par les quarts de cercles $R e [0, i π/2]$ et $εe [iπ/2, 0]$ , puis on fait tendre $R$ vers $+\infty$ et $ε$ vers $0 +$ .

Les intégrales sur les deux quarts de cercles tendent vers $0$ car

\left|\int _{0}^{\pi /2}{\frac {{\mathrm {e} }^{\mathrm {i} R\mathrm {e} ^{\mathrm {i} \theta }}}{R^{\alpha }\mathrm {e} ^{\mathrm {i} \alpha \theta }}}\mathrm {i} R\mathrm {e} ^{\mathrm {i} \theta }\,\mathrm {d} \theta \right|\leq R^{1-a}\int _{0}^{\pi /2}{\mathrm {e} }^{-R\sin \theta }\,\mathrm {d} \theta \leq R^{1-a}\int _{0}^{\pi /2}{\mathrm {e} }^{-2R\theta /\pi }\,\mathrm {d} \theta ={\frac {\pi }{2}}R^{-a}(1-\mathrm {e} ^{-R})

et

\lim _{R\to +\infty }R^{-a}(1-\mathrm {e} ^{-R})=\lim _{\varepsilon \to 0^{+}}\varepsilon ^{-a}(1-\mathrm {e} ^{-\varepsilon })=0.

L'intégrale sur le segment imaginaire est égale à

\int _{R}^{\varepsilon }{\frac {{\mathrm {e} }^{-y}}{y^{\alpha }\mathrm {e} ^{\alpha \mathrm {i} \pi /2}}}\mathrm {i} \,\mathrm {d} y=-\mathrm {e} ^{(1-\alpha )\mathrm {i} \pi /2}\int _{\varepsilon }^{R}y^{-\alpha }\mathrm {e} ^{-y}\,\mathrm {d} y\to -\mathrm {e} ^{(1-\alpha )\mathrm {i} \pi /2}\Gamma (1-\alpha )

.

L'intégrale sur le segment réel tend vers $J_{c}(\alpha )+\mathrm {i} J_{s}(\alpha )$ , qui est donc égal à $\mathrm {e} ^{(1-\alpha )\mathrm {i} \pi /2}\Gamma (1-\alpha )$ .

De même (en rempaçant $b$ par $- b$ ), $J_{c}({\overline {\alpha }})+\mathrm {i} J_{s}({\overline {\alpha }})=\mathrm {e} ^{(1-{\overline {\alpha }})\mathrm {i} \pi /2}\Gamma (1-{\overline {\alpha }})$ donc (en prenant les conjugués des deux membres) $J_{c}(\alpha )-\mathrm {i} J_{s}(\alpha )=\mathrm {e} ^{-(1-\alpha )\mathrm {i} \pi /2}\Gamma (1-\alpha )$ .

On a donc bien

2J_{c}(\alpha )=\mathrm {e} ^{(1-\alpha )\mathrm {i} \pi /2}\Gamma (1-\alpha )+\mathrm {e} ^{-(1-\alpha )\mathrm {i} \pi /2}\Gamma (1-\alpha )=2\cos((1-\alpha )\pi /2)\Gamma (1-\alpha )

et

2\mathrm {i} J_{s}(\alpha )=\mathrm {e} ^{(1-\alpha )\mathrm {i} \pi /2}\Gamma (1-\alpha )-\mathrm {e} ^{-(1-\alpha )\mathrm {i} \pi /2}\Gamma (1-\alpha )=2\mathrm {i} \sin((1-\alpha )\pi /2)\Gamma (1-\alpha )

.

Par exemple, ${\frac {1}{2}}J_{c}(1/2)={\frac {1}{2}}J_{s}(1/2)={\frac {1}{2}}{\sqrt {\frac {\pi }{2}}}$ (l'intégrale de Fresnel). On peut de plus remarquer que $\lim _{\mathrm {Re} (\alpha )<1,\alpha \to 1}J_{s}(\alpha )={\frac {\pi }{2}}=\int _{0}^{\infty }{\frac {\sin t}{t}}\,\mathrm {d} t$ (l'intégrale de Dirichlet).

Surfaces de Riemann

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

(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).

↑ (en) Liang-shin Hahn et Bernard Epstein, Classical Complex Analysis, Jones & Bartlett, 1996, 411 p. (ISBN 978-0-86720-494-0, lire en ligne), p. 111.
↑ (en) I-Hsiung Lin, Classical Complex Analysis: A Geometric Approach, vol. 1, World Scientific, 2011 (lire en ligne), p. 396 et 420.

Voir aussi

Bibliographie

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 de l’édition]
(en) Kunihiko Kodaira (trad. du japonais), Complex Analysis, Cambridge, CUP, coll. « Cambridge Stud. Adv. Math. » (n^o 107), 2007, 406 p. (ISBN 978-0-521-80937-5)

Articles connexes

Portail de l'analyse

Théorème d'analyse complexe (37)

Théorie de l'intégration (78)

Dernière mise à jour du contenu le 08/06/2024.

Droit d'auteur : le texte de l'article est disponible sous la licence CC BY-SA 3.0.
Les détails concernant les licences et crédits des images sont disponibles en cliquant sur l'image.

Le site Wikimonde est un agrégateur d'articles encyclopédiques, il n'est pas à l'origine du contenu des articles, ni des images.

Le contenu de cet article est une copie de l'article d'origine (//fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_int%C3%A9gral_de_Cauchy) publié sur Wikipédia (wiki collaboratif publié sous licence libre).
Le contenu des articles n'est pas garanti.
Le texte des articles n'est pas modifié par Wikimonde. Des modifications mineures de mise en page et des liens internes (pour faciliter la navigation) peuvent être effectués automatiquement.

Des crédits concernant les images peuvent être ajoutés automatiquement selon les informations fournis par le site d'origine.
Les images sont chargées depuis des sites externes, certaines peuvent ne pas s'afficher.

Auteurs de cet article « Théorème intégral de Cauchy » :

WikiCleanerBot, Loveless, Kelam, Berdea, Anne Bauval, HB, Dfeldmann, Xqbot, Seb35, HerculeBot, PieRRoMaN, Popo le Chien, Vargenau, RobotQuistnix, YurikBot, Escarbot, TXiKiBoT, JAnDbot, VolkovBot, Luckas-bot, Addbot, MedBot, PieRRoBoT, Phe-bot, SniperMaské, Chicobot, Rémih, Vivarés, Valvino, MerlIwBot, YFdyh-bot, Chevalier libre, Zebulon84bot, STBot~frwiki, Orthogaffe, HasharBot, YonaBot, Xmlizer, Ambigraphe, Tarquin~frwiki, COLETTE, Aldoo, Archibald, Dévilès, Charles Dyon, Wku2m5rr, Alain r, Ektoplastor, Claudeh5, Aibot, UKe-CH, D'ohBot, Hunsu, Zejj33, CodexBot, Séba79, Django8052, 6 utilisateurs non enregistrés.

[1] (en) Liang-shin Hahn et Bernard Epstein, Classical Complex Analysis, Jones & Bartlett, 1996, 411 p. (ISBN 978-0-86720-494-0, lire en ligne), p. 111.

[2] (en) I-Hsiung Lin, Classical Complex Analysis: A Geometric Approach, vol. 1, World Scientific, 2011 (lire en ligne), p. 396 et 420.

[1]

[2]

Travaux d'Augustin Louis Cauchy
Outils mathématiques	Suite de Cauchy Équations de Cauchy-Riemann Loi de Cauchy Produit de Cauchy Règle de Cauchy
Théorèmes de Cauchy	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-Kowalevski Théorème de Cauchy-Lipschitz Théorème intégral de Cauchy Théorème de la moyenne de Cauchy Test de condensation de Cauchy
Optique	Loi de Cauchy