FONCTIONS ANALYTIQUES Fonctions d'une variable complexe
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
Pour citer cet article
Jean-Luc VERLEY, « FONCTIONS ANALYTIQUES - Fonctions d'une variable complexe », Encyclopædia Universalis [en ligne], consulté le . URL :
Médias
Connexité
Encyclopædia Universalis France
Connexité
Connexité
Encyclopædia Universalis France
Primitive
Encyclopædia Universalis France
Primitive
Primitive d'une fonction analytique
Encyclopædia Universalis France
Théorème de Cauchy
Encyclopædia Universalis France
Théorème de Cauchy
Démonstration du théorème de Cauchy
Encyclopædia Universalis France
Autres références
-
FONCTIONS ANALYTIQUES (A.-L. Cauchy)
- Écrit par Bernard PIRE
- 159 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...
-
ANALYSE MATHÉMATIQUE
- Écrit par Jean DIEUDONNÉ
- 7 504 mots
...exemple pour la fonction égale à exp (− 1/x 2) pour x ≠ 0 et à 0 pour x = 0, en prenant x 0 = 0). Il y a donc lieu de faire l'étude des fonctions, dites analytiques, qui, au voisinage de chaque point x 0 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
- 4 431 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
- 5 500 mots
- 1 média
... tReh(x+iy) , appelé le relief de e th(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... -
BOREL ÉMILE (1871-1956)
- Écrit par Maurice FRÉCHET
- 2 016 mots
-
DÉRIVÉES PARTIELLES (ÉQUATIONS AUX) - Théorie linéaire
- Écrit par Martin ZERNER
- 4 723 mots
Ce théorème s'applique aussi aux systèmes, pourvu qu'ils soient de la forme :où Φ est une fonction analytique de t, x, u et ses dérivées d'ordre total m au plus mais strictement plus petit que m en t. Il reste un des rares résultats très généraux de la théorie. Il a été publié par ...
- 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
