Le domaine qui traite des fonctions de variables complexes qui sont complexement différentiables (holomorphes), comprenant la prolongation analytique, l'intégration de contour, les singularités et l'étude d'une ou plusieurs variables complexes.

Principe

L'holomorphie impose une grande rigidité : développements locaux en séries de puissances, conformalité lorsque la dérivée est non nulle, et contraintes globales issues des singularités et du monodrome ; employer l'intégration longitudinale et les résidus pour relier le comportement local aux intégrales globales.

Démonstration

Utiliser la formule intégrale de Cauchy pour calculer des dérivées par des intégrales de contour et le théorème des résidus pour évaluer des intégrales réelles ; examiner la prolongation analytique d'une fonction zêta type pour illustrer le phénomène, ou résoudre des problèmes aux limites via les intégrales de Poisson sur le disque unité.

Mauvaise application

Supposer qu'une fonction infiniment différentiable au sens réel est holomorphe, ou étendre sans précaution des théorèmes d'une variable aux situations à plusieurs variables où surviennent Hartogs et des notions différentes de domaines d'holomorphie.

Conséquence

Appliquée correctement, l'analyse complexe fournit des résultats d'unicité puissants, des formules intégrales explicites, une classification des singularités isolées et des techniques efficaces pour évaluer des intégrales et résoudre des problèmes de potentiel en deux dimensions, avec des retombées en physique et ingénierie.

Inversion

Inverser l'accent vers l'analyse réelle qui ignore la structure complexe : de nombreuses identités et rigidités disparaissent et on perd la prolongation analytique, le calcul des résidus et les fortes contraintes des applications holomorphes.

Limite

La portée couvre les fonctions holomorphes et méromorphes en une ou plusieurs variables complexes, les méthodes de contour et la théorie des singularités ; sont exclus les procédés purement réels sans complexification et les problèmes sans structure analytique (p.ex. coefficients d'EDP généraux continus non analytiques).

Tension sémantique

Une tension existe entre les fonctions holomorphes et les fonctions simplement lisses, et entre la théorie d'une variable (où les résidus sont pleinement exploitables) et la théorie de plusieurs variables (où l'extension et la convexité jouent un rôle différent) ; 'analytique' peut renvoyer à l'expansion en séries de puissances ou au sens réel‑analytique, contextes distincts.

Synthèse

L'analyse complexe étudie les fonctions holomorphes dont la différentiabilité sur C impose une structure en séries de puissances et de fortes contraintes globales ; par les formules de Cauchy, la prolongation analytique et le calcul des résidus elle relie le comportement local des singularités à des identités intégrales globales et fournit des outils pour résoudre des problèmes aux limites et évaluer des intégrales, en distinguant soigneusement les phénomènes selon le nombre de variables.