FONCTIONS ANALYTIQUES Fonctions d'une variable complexe
Théorèmes de décomposition
Théorème de factorisation de Weierstrass
La théorie de Weierstrass a pour objet de généraliser aux fonctions entières (c'est-à-dire analytiques dans tout le plan complexe) le théorème de d'Alembert-Gauss.
Les zéros non nuls d'une fonction entière peuvent être rangés en une suite (zn), chaque zéro étant répété dans cette suite un nombre de fois égal à sa multiplicité, telle que |zn| soit une suite croissante, car tout disque ne contient qu'un nombre fini de tels zéros.
D'une part, étant donné une telle suite (zn), il existe une fonction entière F associée à cette suite de zéros. L'idée la plus simple consiste à poser :
Il est alors possible de trouver une suite (pn) d'entiers positifs tels que le produit infini :
Inversement, soit f une fonction entière, (zn) la suite de ses zéros non nuls et k l'ordre de multiplicité de la racine 0. Alors, la fonction f/zkF est une fonction entière qui ne s'annule pas, donc de la forme eg, où g est entière.
Finalement, on a :
On peut étendre ce résultat à un ouvert U simplement connexe de C : Soit A un sous-ensemble discret (donc nécessairement dénombrable) de U et associons à chaque point a ∈ A une « multiplicité » na qui soit un entier positif ; on peut alors montrer qu'il existe une fonction analytique dans U dont les zéros sont exactement les points de A, avec les multiplicités correspondantes. Il en résulte que, si h est une fonction méromorphe dans U, alors elle peut s'écrire, dans U tout entier et non pas seulement localement, comme quotient de deux fonctions analytiques.
Théorème de Mittag-Leffler
La théorie de Mittag-Leffler a pour objet de généraliser aux fonctions méromorphes dans C la décomposition en éléments simples des fractions rationnelles.
Soit f une fonction méromorphe dans C et (zn) la suite de ses pôles distincts, y compris éventuellement 0, organisée par module croissant, et soit :
Dans ces conditions, la fonction :
On peut étendre ce résultat à un ouvert quelconque de C.
Les théorèmes de Weierstrass et de Mittag-Leffler s'appliquent notamment aux développements eulériens des fonctions transcendantes élémentaires (cf. exponentielle et logarithme, chap. 5), au développement de la fonction gamma (cf. fonction gamma) et à la construction des fonctions elliptiques (cf. fonctions analytiques-Fonctions elliptiques et modulaire).
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Jean-Luc VERLEY : maître de conférences honoraire à l'université de Paris-VII
. In Encyclopædia Universalis []. Disponible sur : (consulté le )
Médias
Connexité
Encyclopædia Universalis France
Primitive
Encyclopædia Universalis France
Théorème de Cauchy
Encyclopædia Universalis France
Autres références
-
FONCTIONS ANALYTIQUES (A.-L. Cauchy)
- Écrit par Bernard PIRE
- 181 mots
Augustin-Louis Cauchy (1789-1857) a écrit 789 notes qui furent publiées pour la plupart aux Comptes rendus de l'Académie des sciences. Parmi les nombreux résultats importants qu’il a démontrés, ceux qui concernent les fonctions d'une variable complexe ont marqué un tournant décisif dans l'histoire...
-
PRIX ABEL 2016
- Écrit par Yves GAUTIER
- 1 168 mots
- 2 médias
Pour ce qui est des formes modulaires, on peut dire très schématiquement que ce sont des fonctions analytiques qui respectent certaines conditions exprimées par certaines équations fonctionnelles – un exemple étant f[(az + b)/(cz + d)] = (cz + d)2 f(z) pour tout z complexe ; a, b, c et d étant... -
ANALYSE MATHÉMATIQUE
- Écrit par Jean DIEUDONNÉ
- 8 527 mots
...exemple pour la fonction égale à exp (− 1/x2) pour x ≠ 0 et à 0 pour x = 0, en prenant x0 = 0). Il y a donc lieu de faire l'étude des fonctions, dites analytiques, qui, au voisinage de chaque point x0 où elles sont définies, sont égales à leur série de Taylor en ce point. On savait depuis... -
ANNEAUX & ALGÈBRES
- Écrit par Jean-Luc VERLEY
- 5 036 mots
- 1 média
...fonctions analytiques à l'origine O du plan complexe. Considérons les couples (U, f ) d'un voisinage ouvert de O dans le plan complexe et d'une fonction f définie et analytique dans U. Nous dirons que deux tels couples (U, f ) et (V, g) définissent le même germe à l'origine si f et ... -
ASYMPTOTIQUES CALCULS
- Écrit par Jean-Louis OVAERT, Jean-Luc VERLEY
- 6 250 mots
- 1 média
...) = etReh(x+iy), appelé le relief de eth(z). Cette surface ne présente pas de « sommet » relatif, d'après le principe du maximum pour les fonctions analytiques, et, par suite, les seuls points où le plan tangent est horizontal (ce sont les points où la dérivée h′(z) s'annule), sont... - Afficher les 20 références
Voir aussi
- CONVERGENCE, mathématiques
- LIOUVILLE THÉORÈME DE
- DÉTERMINATION PRINCIPALE DU LOGARITHME
- CAUCHY-RIEMANN ÉQUATIONS DE
- CAUCHY FORMULE INTÉGRALE DE
- MÉROMORPHE FONCTION
- POINT SINGULIER
- RÉSIDUS THÉORÈME DES
- PROLONGEMENT ANALYTIQUE
- RIEMANN SURFACE DE
- POINT RÉGULIER
- RUNGE THÉORÈME DE
- SCHWARZ PRINCIPE DE SYMÉTRIE DE
- PÔLE, mathématiques
- SCHWARZ LEMME DE
- ZÉROS ISOLÉS PRINCIPE DES
- ZÉRO ORDRE D'UN
- SÉRIES ENTIÈRES
- RAYON DE CONVERGENCE
- FONCTION ANALYTIQUE ÉLÉMENT DE
- MITTAG-LEFFLER THÉORÈME DE
- MORERA THÉORÈME DE
- INDICE D'UN POINT
- LAURENT SÉRIES DE
- INTÉGRALE CURVILIGNE
- HADAMARD FORMULE D'
- LACET, mathématiques
- HOMOTOPIE
- MOYENNE PROPRIÉTÉ DE
- MAXIMUM PRINCIPE DU
- CAUCHY INÉGALITÉS DE
- CHEMIN, mathématiques
- CONNEXE SIMPLEMENT
- CAUCHY THÉORÈME DE
- CONNEXE ESPACE
- DOMAINE, mathématiques
- CONNEXES COMPOSANTES
- DÉRIVATION COMPLEXE
- PRIMITIVE, analyse mathématique
- TRAJECTOIRE, mathématiques
- TAYLOR FORMULE DE
- OUVERT, mathématiques
- WEIERSTRASS THÉORÈME DE FACTORISATION DE
- CONVERGENCE UNIFORME
- DÉRIVATION, analyse mathématique
