Catalogue Licence
L3 • Analyse Complexe
Recherche L3

Fonctions holomorphes et théorème des résidus

Équations de Cauchy-Riemann, formule intégrale de Cauchy, analyticité, principe du maximum et calcul des résidus

Point d'entrée intuitif

Pourquoi la dérivabilité complexe, qui ressemble tant à la dérivabilité réelle, produit-elle des fonctions infiniment plus rigides — au point qu'une seule dérivée en garantisse une infinité ?

Idée en une phrase :
Dériver au sens complexe impose que la différentielle soit une similitude, contrainte si forte qu'elle rend la fonction analytique et déterminée par son bord.
Généalogie historique du concept :

Cauchy développe la théorie entre 1814 et 1831, motivé par le calcul d'intégrales réelles : il découvre que le détour par le plan complexe les rend calculables. Riemann fonde en 1851 le point de vue géométrique, avec les surfaces qui portent son nom, et relie l'holomorphie aux fonctions harmoniques. Weierstrass privilégie l'approche par séries entières. Ces trois points de vue — intégral, géométrique, série — donnent des théories équivalentes, situation exceptionnelle qui explique la puissance de la discipline.

Pourquoi CETTE définition formelle :

Pourquoi la dérivabilité au sens complexe est-elle si contraignante ? Parce que la limite du taux d'accroissement doit exister quelle que soit la DIRECTION d'approche dans le plan. En dimension réelle deux, cela impose à la différentielle d'être une similitude directe, ce qui se traduit par deux équations aux dérivées partielles liant les parties réelle et imaginaire. C'est cette contrainte, absente en analyse réelle, qui produit toute la rigidité.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

Une fonction holomorphe est une transformation qui préserve les angles : localement, elle ne fait que tourner et dilater.

Ce qu'elle capture :

La différentielle est une similitude, donc les petites figures sont transformées en figures semblables : c'est la CONFORMITÉ, et elle explique les applications à la cartographie et à l'aérodynamique.

⚠️ Où l'analogie ment :

L'image échoue aux points où la dérivée s'annule : les angles y sont multipliés, non préservés. Pour en zéro, un angle droit devient un angle plat.

Modèle #2

La formule de Cauchy dit qu'une fonction holomorphe est entièrement déterminée à l'intérieur par ses valeurs sur le bord.

Ce qu'elle capture :

C'est une rigidité extrême : aucune liberté à l'intérieur une fois le bord fixé, contrairement aux fonctions réelles où l'intérieur est libre.

⚠️ Où l'analogie ment :

L'image suggère que la connaissance du bord permet de calculer facilement l'intérieur. La formule est exacte mais son évaluation numérique est instable — c'est un problème mal conditionné.

Modèle #3

Un pôle est un trou dans le domaine, et le résidu mesure ce qui « fuit » par ce trou lorsqu'on intègre autour.

Ce qu'elle capture :

Une intégrale sur un contour fermé ne dépend que des trous encerclés : c'est un phénomène de nature TOPOLOGIQUE, non analytique.

⚠️ Où l'analogie ment :

L'image ne distingue pas les pôles des singularités essentielles. Autour d'une singularité essentielle, la fonction prend presque toutes les valeurs complexes dans tout voisinage — c'est le théorème de Picard, et aucune image simple n'en rend compte.

Les Pièges Conceptuels Classiques

1
Holomorphe et différentiable en tant que fonction de deux variables réelles, c'est équivalent.

Correction :

Faux. La fonction est -linéaire donc parfaitement différentiable, et n'est holomorphe NULLE PART : sa différentielle est une similitude indirecte, elle renverse les angles. L'holomorphie exige de plus les équations de Cauchy-Riemann.

2
Une fonction holomorphe peut n'être dérivable qu'une fois.

Correction :

Impossible. Une fonction holomorphe est automatiquement de classe et même ANALYTIQUE — développable en série entière en tout point. Une seule dérivée en fournit une infinité, contraste total avec le cas réel où est sans être .

3
Le rayon de convergence d'une série entière s'explique par le comportement réel.

Correction :

Le rayon est la distance à la singularité COMPLEXE la plus proche. La fonction est parfaitement régulière sur et son développement a pourtant un rayon de : les pôles sont invisibles depuis l'axe réel. C'est le phénomène annoncé au module L2-09, ici expliqué.

4
Une fonction holomorphe bornée peut être non constante.

Correction :

Sur TOUT ENTIER, c'est impossible : c'est le théorème de Liouville. Le sinus complexe n'est d'ailleurs pas borné — croît exponentiellement. Cette rigidité donne en trois lignes le théorème fondamental de l'algèbre.

Glossaire des Notations Mathématiques

dérivée complexe

limite du taux d'accroissement dans TOUTES les directions ; contrainte bien plus forte qu'en réel

résidu en a

coefficient de $\frac{1}{z-a}$ ; seul terme survivant à l'intégration sur un contour

indice

nombre de tours du lacet autour de $a$ ; quantité purement TOPOLOGIQUE