Fonctions holomorphes et théorème des résidus
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é ?
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 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)
Une fonction holomorphe est une transformation qui préserve les angles : localement, elle ne fait que tourner et dilater.
Ce qu'elle capture :
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.
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 :
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é.
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 :
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
Correction :
Correction :
Correction :
Correction :
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