L
'analyse complexe est la branche des
mathématiques recherchant sur les
fonctions holomorphes, i.e. sur les fonctions qui sont définies sur un certain domaine du
plan complexe, prenant des valeurs complexes, et qui sont dérivables en tant que fonctions complexes. La dérivabilité complexe a des conséquences beaucoup plus fortes que celle de la
dérivabilité réelle. Par exemple, toute fonction holomorphe est développable en
série entière dans tout disque ouvert inclus dans son domaine de définition, et est ainsi une
fonction analytique. En particulier, les fonctions holomorphes sont indéfiniment dérivables, un résultat qui est loin d'être vrai pour les fonctions réelles dérivables. La plupart des fonctions élémentaires, telles que les
fonctions polynomiales, la
fonction exponentielle, et les
fonctions trigonométriques, sont holomorphes.
Un outil puissant dans l'analyse complexe est l'
intégrale curviligne. L'intégrale sur un chemin fermé, d'une fonction qui est holomorphe partout à l'intérieur du secteur délimité par le chemin fermé, est toujours nulle; c'est le
théorème intégral de Cauchy. Les valeurs d'une fonction holomorphe à l'intérieur d'un disque, peuvent être calculées par une certaine intégrale curviligne sur le chemin formé par la frontière du disque (
formule intégrale de Cauchy). Les intégrales sur un chemin dans le plan complexe sont souvent employées pour déterminer des intégrales compliquées, et c'est ici que la théorie des
résidus intervient. Si une fonction a un
pôle ou une
singularité en un certain point, signifiant que ses valeurs «explosent» et qu'elle ne prend pas une valeur finie à cet endroit, alors nous pouvons définir le résidu de la fonction en ce pôle, et ces résidus peuvent être utilisés pour calculer des intégrales, suivant des chemins, impliquant la fonction; c'est le contenu du puissant
théorème des résidus. Le comportement remarquable des fonctions holomorphes près des singularités essentielles est décrit par la
théorème de Weierstrass-Casorati. Des fonctions qui n'ont seulement que des pôles et aucune singularité essentielle s'appellent des
fonctions méromorphes. Les
séries de Laurent sont semblables aux
séries de Taylor mais peuvent être employées pour étudier le comportement des fonctions près des singularités.
Une fonction bornée et holomorphe dans le plan complexe tout entier, est nécessairement constante; c'est l'énoncé du
théorème de Liouville. Il peut être utilisé pour fournir une preuve courte et naturelle du
théorème fondamental de l'algèbre qui déclare que le
corps des nombres complexes est
algébriquement clos.
Une propriété importante des fonctions holomorphes est que si une fonction est holomorphe sur un domaine
simplement connexe alors ses valeurs sont entièrement déterminées par ses valeurs sur n'importe quel sous-domaine plus petit. La fonction définie sur le domaine le plus grand est dite
prolongée analytiquement à partir de ses valeurs sur le domaine plus petit. Ceci permet l'extension de la définition des fonctions telles que la
fonction ζ de Riemann qui sont au départ définies en termes de sommes de séries qui convergent seulement sur des domaines limités, à presque tout le plan complexe. Parfois, comme dans le cas du
logarithme naturel, il est impossible de prolonger analytiquement en une fonction holomorphe sur un domaine non simplement connexe dans le plan complexe, mais il est possible de la prolonger en une fonction holomorphe sur une surface étroitement liée, appelée
surface de Riemann.
Il existe également une théorie très riche de l'analyse complexe des fonctions à plusieurs variables complexes dans laquelle les propriétés analytiques, comme le développement en série entière, restent toujours vraies tandis que la plupart des propriétés géométriques des fonctions holomorphes à une seule variable complexe (comme la
représentation conforme) ne sont plus vérifiées. Le
théorème de représentation de Riemann sur la conformité des relations entre certains domaines dans le plan complexe, qui est sans doute le résultat le plus important dans la théorie unidimensionnelle, échoue complètement dans des dimensions plus élevées.
L'analyse complexe est l'une des branches classiques des mathématiques qui pose ses fondations au
XIXe siècle et un peu avant. Les bâtisseurs les plus importants de cette théorie sont les mathématiciens
Euler,
Gauss,
Riemann,
Cauchy,
Weierstrass; de nombreux autres du
XXe siècle vinrent apporter leur pierre. Traditionnellement, l'analyse complexe, en particulier la théorie des
représentations conformes, a beaucoup d'applications en technologie, mais elle est également employée dans la
théorie analytique des nombres. Dans les temps modernes, elle est devenue très populaire par une nouvelle poussée de la
dynamique complexe et des images
fractales produites le plus souvent en réitérant des fonctions holomorphes, la plus populaire étant l'
ensemble de Mandelbrot. Une autre application importante de l'analyse complexe aujourd'hui est la
théorie des cordes qui un
invariant conforme de la
théorie quantique des champs.