Analyse complexe

L'analyse complexe est un domaine des mathématiques traitant des fonctions à valeurs complexes (ou, plus généralement, à valeurs dans un C-espace vectoriel) et qui sont dérivables par rapport à une ou plusieurs variables complexes.

Les fonctions dérivables sur un ouvert du plan complexe sont appelées holomorphes et satisfont de nombreuses propriétés plus fortes que celles vérifiées par les fonctions dérivables en analyse réelle. Entre autres, toute fonction holomorphe est analytique et vérifie le principe du maximum.

Le principe des zéros isolés permet de définir le corps des fonctions méromorphes comme ensemble des quotients de fonctions entières, c'est-à-dire de fonctions holomorphes définies sur tout le plan complexe. Parmi ces fonctions méromorphes, les fonctions homographiques forment un groupe qui agit sur la sphère de Riemann, constituée du plan complexe muni d'un point à l'infini.

Le prolongement analytique mène à la définition des surfaces de Riemann, qui permettent de ramener à de vraies fonctions (dont elles sont le support) les fonctions multivaluées telles que la racine carrée ou le logarithme complexe.

L'étude des fonctions de plusieurs variables complexes ouvre la voie à la géométrie complexe.

[modifier] Dérivée complexe

La définition de la dérivée complexe est en tout point semblable à celle de la dérivée réelle, si ce n'est que les opérations de corps (-, /) sont remplacées par celles des 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 sur tout disque ouvert inclus dans son domaine de définition qui doit être un ouvert, et est ainsi équivalente à une fonction analytique. En particulier, les fonctions holomorphes sont indéfiniment dérivables, ce qui en général n'est pas le cas 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.

Certaines opérations en revanche posent des difficultés nouvelles, ainsi la recherche de primitive ou de fonction réciproque, et a fortiori la résolution d'équation différentielle. La nature topologique du domaine de définition (questions de connexité, de simple connexité) est à prendre en compte pour pouvoir effectuer ces opérations.

[modifier] Intégrale curviligne

Un outil puissant en 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. La valeur d'une fonction holomorphe en un point peut être calculée par une certaine intégrale curviligne sur un chemin fermé autour de ce point. Ce dernier résultat, connu sous le nom de formule intégrale de Cauchy est essentiel pour établir les résultats théoriques sur les fonctions holomorphes.

Les intégrales sur un chemin dans le plan complexe sont souvent employées pour déterminer des intégrales généralisées réelles, par le biais de la théorie des résidus. Si une fonction a une singularité en un certain point (pôle ou singularité essentielle), ce qui signifie 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 point, 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 le théorème de Weierstrass-Casorati. Les fonctions qui n'ont que des pôles et aucune singularité essentielle s'appellent des fonctions méromorphes. Les séries de Laurent sont analogues aux séries de Taylor mais sont employées pour étudier le comportement des fonctions holomorphes près des singularités.

[modifier] Fonctions entières

Une fonction entière (c'est-à-dire holomorphe dans le plan complexe tout entier) et bornée 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 (ou théorème de d'Alembert-Gauss) qui affirme que le corps des nombres complexes est algébriquement clos, autrement dit que tout polynôme à coefficients complexes, de degré supérieur ou égal à 1, admet au moins une racine.

[modifier] Prolongement analytique

Une propriété importante des fonctions holomorphes est que si une fonction est holomorphe sur un domaine 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 complexe, 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.

[modifier] Extensions : surfaces de Riemann, analyse complexe à plusieurs variables, géométrie complexe

La théorie du prolongement analytique amène à des difficultés inattendues pour des fonctions aussi simples que la racine carrée ou le logarithme complexe. La notion de fonction multivaluée, introduite pour les résoudre, s'est heurtée à de nombreux problèmes techniques, qui n'ont pu être surmontés que par Bernhard Riemann, grâce à l'introduction des surfaces qui portent son nom, et dont l'étude constitue une généralisation naturelle de l'analyse complexe.

Il existe également une théorie très riche de l'analyse complexe des fonctions de plusieurs variables complexes (en), 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 XIX^e 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 XX^e 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 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 est un invariant conforme (en) de la théorie quantique des champs.

[modifier] Représentations graphiques

L'informatique facilite la représentation graphique des fonctions complexes.

Exemples

• images relatives aux fonctions complexes
• Créer ou voir des représentations sur le site de présentation des Reflex par Mikaël Mayer.

[modifier] Notes et références

• Henri Cartan, Théorie élémentaire des fonctions analytiques d'une ou plusieurs variables complexes [détail des éditions]
• Jean Dieudonné, Calcul infinitésimal [détail des éditions]

[modifier] Liens externes

• [PDF] Michèle Audin, Un cours d'analyse complexe, Université de Strasbourg