Fonctions holomorphes

Une fonction holomorphe est une fonction qui est différentiable au sens complexe sur un ensemble ouvert ; cette seule condition impose à la fonction d'être analytique, infiniment différentiable et localement représentable par une série de puissances convergente.

Definition

Une fonction d'une variable complexe est holomorphe sur un ensemble ouvert si elle possède une dérivée complexe en tout point de cet ensemble ; de manière équivalente, elle y est analytique, ce qui signifie qu'elle est localement la somme d'une série de puissances convergente.

Scope

Ce sujet couvre la différentiabilité complexe et les équations de Cauchy-Riemann, l'équivalence entre holomorphie et analyticité, les représentations en séries de puissances, la relation avec les fonctions harmoniques, les principes d'identité et du module maximal, les fonctions entières et le théorème de Liouville, ainsi que la classification des zéros et des singularités isolées.

Core questions

• Pourquoi l'existence d'une dérivée complexe impose-t-elle les équations de Cauchy-Riemann ?
• Pourquoi toute fonction holomorphe est-elle automatiquement analytique et infiniment différentiable ?
• Comment les parties réelle et imaginaire d'une fonction holomorphe sont-elles contraintes d'être harmoniques ?
• Quels types de singularités une fonction holomorphe peut-elle avoir, et comment sont-elles classifiées ?

Key theories

Équations de Cauchy-Riemann

La différentiabilité complexe est équivalente à la satisfaction par les parties réelle et imaginaire d'une paire couplée d'équations aux dérivées partielles, ce qui contraint chaque partie à être harmonique et relie l'analyse complexe à la théorie du potentiel.

Principes du module maximal et d'identité

Une fonction holomorphe non constante n'atteint pas de maximum intérieur de son module, et deux fonctions holomorphes qui coïncident sur un ensemble avec un point d'accumulation coïncident partout sur un domaine connexe, exprimant la rigidité des fonctions holomorphes.

Théorème de Liouville

Une fonction entière bornée est constante, une conséquence des estimations de Cauchy qui fournit une preuve courte du théorème fondamental de l'algèbre.

Clinical relevance

Étant donné que les parties réelle et imaginaire d'une fonction holomorphe sont harmoniques, les fonctions holomorphes modélisent des phénomènes bidimensionnels en régime permanent tels que les potentiels électrostatiques et l'écoulement idéal des fluides. Leurs propriétés de rigidité les rendent puissantes en théorie des nombres, en théorie des fonctions spéciales et dans la prolongation analytique des transformées.

History

Le rôle déterminant des équations de Cauchy-Riemann a été reconnu par Cauchy et Riemann au milieu du XIXe siècle, tandis que Weierstrass a développé le point de vue équivalent des séries de puissances. Leurs travaux combinés ont établi que la différentiabilité complexe et l'analyticité coïncident.

Key figures

• Augustin-Louis Cauchy
• Bernhard Riemann
• Karl Weierstrass

Seminal works

• ahlfors1979
• conway1978

Frequently asked questions

Holomorphe et analytique, est-ce la même chose ?

Pour les fonctions d'une variable complexe, ces termes sont équivalents : la différentiabilité complexe sur un ensemble ouvert, appelée holomorphie, est précisément la condition que la fonction soit localement une série de puissances convergente, appelée analyticité.

Pourquoi une fonction holomorphe ne peut-elle pas avoir un maximum local de sa taille à l'intérieur d'une région ?

Le principe du module maximal découle de la propriété de la moyenne des fonctions harmoniques ; le module ne peut atteindre sa valeur la plus élevée que sur la frontière, à moins que la fonction ne soit constante.