Fonctions holomorphes

Fonction holomorphe

En analyse complexe, une fonction holomorphe est une fonction à valeurs dans $\mathbb C$ , définie et dérivable en tout point d'un sous-ensemble ouvert du plan complexe $\mathbb C$ .

Cette condition est beaucoup plus forte que la dérivabilité réelle. Elle implique (via la théorie de Cauchy) que la fonction est analytique : elle est indéfiniment dérivable et est égale au voisinage de tout point de l'ouvert à la somme de sa série de Taylor. Un fait remarquable en découle : les notions de fonction analytique complexe et de fonction holomorphe coïncident. Pour cette raison, les fonctions holomorphes constituent le pilier central de l'analyse complexe.

Définition

Soient U un sous-ensemble ouvert (non vide) de l'ensemble $\mathbb C$ des nombres complexes et une fonction $f:U\to \mathbb C$ .

On dit que f est dérivable (au sens complexe) en un point z₀ de U si la limite suivante, appelée dérivée de f en z₀ existe :

$f'(z_0) = \lim_{z \to z_0} {f(z) - f(z_0) \over z - z_0 }.$

La limite est prise ici sur toutes les suites de nombres complexes tendant vers z₀, et pour toutes ces suites le quotient doit tendre vers un même nombre f '(z₀). Intuitivement, si f est dérivable au sens complexe en z₀, et si l'on approche le point z₀ dans la direction d'un vecteur u, alors (pourvu que f '(z₀) ≠ 0) les images approchent le point f(z₀) dans la direction du vecteur f '(z₀) u (produit des nombres complexes f '(z₀) et u).

Les règles de calcul des dérivées au sens complexe sont identiques à celles des dérivées des fonctions d'une variable réelle : linéarité, dérivée d'un produit, d'un quotient, d'une fonction composée.

On dit que f est holomorphe sur l'ouvert U si elle est dérivable (au sens complexe) en tout point z₀ de U. En particulier, on appelle fonction entière une fonction holomorphe dans tout le plan complexe.

Exemples

Toute fonction polynomiale à coefficients complexes est holomorphe sur $\mathbb C$ .
Toute fonction rationnelle à coefficients complexes est holomorphe sur le complémentaire de l'ensemble de ses pôles. Par exemple, la fonction inverse $z\mapsto 1/z$ est holomorphe sur $\mathbb C^*$ .
Soit $\sum_{n\geq0} a_n z^n$ une série entière à coefficients complexes de rayon de convergence non nul (fini ou non) ; on note $D$ son disque de convergence.

La fonction $f : D \to \mathbb C$ définie par $f(z) = \sum_{n=0}^{+\infty} a_n z^n$ est holomorphe, et pour tout $z \in D$ , $f'(z) = \sum_{n=1}^{+\infty} n a_n z^{n-1}$ .

En fait, cette fonction est indéfiniment dérivable sur

D

La fonction exponentielle est holomorphe sur $\mathbb C$ . Il en est de même des fonctions trigonométriques (qui peuvent être définies à partir de la fonction exponentielle au moyen des formules d'Euler) et des fonctions hyperboliques.
On appelle détermination du logarithme sur un ouvert de toute fonction holomorphe telle que . On a alors : .
- Sur tout ouvert $U$ de $\mathbb C^*$ où existe une détermination $L$ du logarithme, on peut définir, quel que soit $k \in \mathbb{Z}$ , la fonction $L_k : U \to \mathbb{C},\, z \mapsto L(z) + 2\, k\, \pi\, i$ . Chacune de ces fonctions est une détermination du logarithme sur $U$ , et réciproquement, si $U$ est connexe, toute détermination du logarithme sur $U$ est l'une de ces fonctions.
- L'existence sur un ouvert connexe U de d'une détermination du logarithme équivaut à l'existence d'une fonction holomorphe sur cet ouvert, telle que pour tout ; dans ce cas, il existe (au moins) une constante complexe C telle que la fonction soit une détermination du logarithme sur U.
  - Il n'existe pas de détermination du logarithme sur l'ouvert $\mathbb C^*$ .
  - Il existe une détermination du logarithme sur l'ensemble des nombres complexes privé de la demi-droite des réels négatifs ou nuls (on parle de "coupure"). Parmi toutes les déterminations du logarithme sur cet ouvert, il en existe une et une seule qui prolonge le logarithme népérien réel.
  - Plus généralement, il existe une détermination du logarithme sur tout ouvert simplement connexe ne contenant pas 0.
Sur tout ouvert $U$ de $\mathbb C^*$ où existe une détermination $L$ du logarithme, on peut définir une détermination de la puissance d'exposant $\ a$ (où $a \in \mathbb{C}$ ), en posant

$\forall\, z \in U,\, z^a = \exp(a\, L(z))$ .

En particulier, si

n

est un entier naturel supérieur ou égal à 2, la fonction

$U \to \mathbb{C},\, z \mapsto z^{\frac{1}{n}} = \exp\left(\frac{1}{n}\, L(z)\right)$

est holomorphe sur

U

et vérifie l'identité $\forall\, z \in U,\, \left(z^{\frac{1}{n}}\right)^n = z$ .

On dit que cette fonction est une détermination sur

U

de la racine n-ième.

On peut noter $\ \sqrt[n]{z}$ au lieu de $\ z^{\frac{1}{n}}$ (si des réels strictement positifs appartiennent à

U

, il se peut qu'il y ait alors conflit entre cette notation, et sa signification habituelle, servant à désigner la racine n-ième positive).

Les fonctions trigonométriques réciproques ont de la même manière des coupures et sont holomorphes partout sauf aux coupures.

Propriétés

Parce que la dérivation complexe est linéaire et qu'elle obéit aux règles classiques de dérivation, les sommes, produits ou composées de fonctions holomorphes sont holomorphes, et le quotient de deux fonctions holomorphes est holomorphe sur tout ouvert où le dénominateur ne s'annule pas.

Si l'on identifie $\mathbb C$ à $\mathbb R^2$ , alors les fonctions holomorphes sur un ouvert de $\mathbb C$ coïncident avec les fonctions de deux variables réelles qui sont $\R$ -différentiables sur cet ouvert et y vérifient les équations de Cauchy-Riemann, un système de deux équations aux dérivées partielles.

Près d'un point $z 0$ où sa dérivée est non nulle, une fonction holomorphe $f$ est une transformation conforme, c'est-à-dire qu'elle préserve les angles (orientés) et les formes de petites figures (mais pas les longueurs, en général). En effet, sa différentielle au point $z 0$ est l'application $\mathbb{C}$ -linéaire $df_{z_0}: \mathbb{C} \to \mathbb{C},\,u \mapsto A\, u$ , où $A = f'(z_0) \neq 0$ : la différentielle s'identifie donc à une similitude directe du plan.

On établit (au moyen de la formule intégrale de Cauchy) que toute fonction holomorphe sur un ouvert U est indéfiniment dérivable en tout point par rapport à la variable complexe. Une telle fonction coïncide au voisinage de tout point $z 0$ de U avec sa série de Taylor en ce point (elle est analytique), et la série converge sur tout disque ouvert de centre $z 0$ et inclus dans U. La série de Taylor peut converger sur un disque plus grand ; par exemple, la série de Taylor du logarithme converge sur tout disque ne contenant pas 0, même dans un voisinage des nombres réels strictement négatifs.

De la formule intégrale de Cauchy, on déduit notamment que toute fonction holomorphe sur un ouvert contenant un disque fermé est complètement déterminée à l'intérieur de ce disque par ses valeurs sur la frontière de celui-ci.

Voir aussi

Portail des mathématiques

Ce document provient de « Fonction holomorphe ».

Catégorie : Analyse complexe

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Fonctions holomorphes de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

FONCTIONS ANALYTIQUES - Fonctions de plusieurs variables complexes — La notion de fonction holomorphe de plusieurs variables complexes est aussi ancienne que l’analyse complexe. Les problèmes les plus simples, qui font intervenir des relations algébriques ou analytiques ou des équations différentielles,… … Encyclopédie Universelle
FONCTIONS ANALYTIQUES - Fonctions elliptiques et modulaire — Inaugurée par N. H. Abel et C. Jacobi, la théorie des fonctions elliptiques a été un sujet de prédilection pour les analystes pendant tout le XIXe siècle. Appliquées par B. Riemann et K. Weierstrass à l’étude des courbes algébriques dans le plan… … Encyclopédie Universelle
FONCTIONS ANALYTIQUES - Représentation conforme — La représentation conforme la plus anciennement connue est la projection stéréographique, inventée par les Grecs (Hipparque, Ptolémée). Les problèmes cartographiques conduisirent à la découverte d’autres applications conservant les angles d’un… … Encyclopédie Universelle
FONCTIONS ANALYTIQUES — DEPUIS l’Antiquité, on connaît en substance la série géométrique suivante: Une des grandes découvertes qui jalonnèrent la formation du calcul infinitésimal au milieu du XVIIe siècle fut la possibilité de représenter les fonctions «usuelles»… … Encyclopédie Universelle
FONCTIONS (REPRÉSENTATION ET APPROXIMATION DES) — Il arrive très souvent que, dans les problèmes issus des mathématiques ou des autres sciences, les fonctions qui interviennent soient définies par des procédés qui ne permettent pas d’étudier de manière efficace leurs propriétés. C’est le cas des … Encyclopédie Universelle
Holomorphes — Fonction holomorphe En analyse complexe, une fonction holomorphe est une fonction à valeurs dans , définie et dérivable en tout point d un sous ensemble ouvert du plan complexe . Cette condition est beaucoup plus forte que la dérivabilité réelle … Wikipédia en Français
Fonctions elliptiques de Weierstrass — Fonction elliptique de Weierstrass En analyse complexe, les fonctions elliptiques de Weierstrass forment la plus importante classe de fonctions elliptiques c’est à dire de fonctions méromorphes doublement périodiques. Toute fonction elliptique… … Wikipédia en Français
Fonctions hyperboliques — Fonction hyperbolique En mathématiques, on appelle fonctions hyperboliques les fonctions cosinus hyperbolique, sinus hyperbolique et tangente hyperbolique. Les noms de sinus, cosinus et tangente proviennent de leur ressemblance avec les fonctions … Wikipédia en Français
BESSEL (FONCTIONS DE) — Les fonctions de Bessel jouent un rôle important en mathématiques appliquées et en physique mathématique. Elles interviennent aussi bien dans des problèmes de conduction de la chaleur que dans des problèmes de diffraction, acoustique, ou… … Encyclopédie Universelle
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… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Fonctions holomorphes

Fonction holomorphe

Sommaire

Définition

Exemples

Propriétés

Voir aussi

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Fonctions holomorphes

Fonction holomorphe

Sommaire

Définition

Exemples

Propriétés

Voir aussi

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link