FONCTIONS ANALYTIQUES Fonctions d'une variable complexe
Article modifié le
Les coefficients de la série de Taylor
La formule (10) qui donne une expression intégrale des coefficients du développement en série entière va nous donner de précieux renseignements.
La propriété de moyenne
Considérons tout d'abord le terme constant de la formule de Taylor. On a, pour n = 0 dans (10) :


Le principe du maximum
Une importante conséquence de la propriété de moyenne est le principe du maximum, que l'on peut énoncer ainsi : Soit U un ouvert connexe du plan complexe et f une fonction analytique dans U ; s'il existe un point a ∈ U tel que l'on ait |f (z)| ≤ |f (a)| dans tout un disque de centre a (on dit alors que la fonction |f| a un maximum relatif en a), alors f est constante dans l'ouvert U.
Pour cela, remarquons d'abord que, si f(a) = 0, alors on a f(z) = 0 dans tout un voisinage de a, d'où f = 0 dans U tout entier. Supposons donc f (a) ≠ 0 ; multipliant f par une constante complexe, on se ramène au cas où f (a) est réel positif. D'après le principe du prolongement analytique, il suffit de montrer que f est constante dans un voisinage de a.
Soit R tel que |f (z)| ≤ f (a) pour |z − a| < R, et limitons-nous à des valeurs r < R ; soit M(r) la borne supérieure de f(z) pour |z| = r. D'après l'hypothèse, on a donc M(r) ≤ f (a). De plus, d'après la propriété de moyenne (14), on a f(a) ≤ M(r) et, par suite, f (a) = M(r). Considérons la fonction u(z) qui est la partie réelle de f (a) − f (z), u(z) = f (a) − Ref (z) ; on a u(z) ≥ 0, puisque Re f ≤ |f| et u(z) = 0 si et seulement si f (z) = f (a). Or u est la partie réelle d'une fonction holomorphe, donc possède la propriété de moyenne : sa moyenne sur le cercle |z − a| = r est égale à g(a), donc nulle :

Voici par exemple une conséquence du principe du maximum qui sert souvent. Si f est une fonction analytique dans un disque D(a, R), alors on a, pour r < R :

En effet, on a :


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
Classification
Médias
Autres références
-
FONCTIONS ANALYTIQUES (A.-L. Cauchy)
- Écrit par Bernard PIRE
- 270 mots
- 1 média
Augustin-Louis Cauchy (1789-1857) est un mathématicien français prolifique, auteur de 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...
-
PRIX ABEL 2016
- Écrit par Yves GAUTIER
- 1 168 mots
- 2 médias
Pour ce qui est desformes 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 532 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 et Jean-Luc VERLEY
- 6 252 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