Fonctions d'une variable complexe/Le logarithme complexe

Début de la boite de navigation du chapitre
Le logarithme complexe
Icône de la faculté
Chapitre no 2
Leçon : Fonctions d'une variable complexe
Chap. préc. :Fonctions holomorphes
Chap. suiv. :Intégrales curvilignes
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Fonctions d'une variable complexe : Le logarithme complexe
Fonctions d'une variable complexe/Le logarithme complexe
 », n'a pu être restituée correctement ci-dessus.

L'exponentielle complexe

modifier

Avant de définir le logarithme complexe, rappelons la définition de l'exponentielle complexe par une série entière de rayon de convergence infini.


  Contrairement à l'exponentielle réelle l'exponentielle complexe n’est pas injective dans   puisque  .

Par conséquent on ne peut définir un logarithme dans   comme un logarithme dans  

Fonctions hyperboliques

modifier

Grâce à l'exponentielle complexe nous pouvons étendre la définition des fonctions hyperboliques à   :

 

 

Propriétés de l'exponentielle complexe

modifier

  :

  •   ;
  •   ;
  •  .

La fonction « argument » : Arg

modifier

Pour des raisons purement géométriques, l'argument d'un nombre complexe n'est jamais défini que modulo   et on ne peut définir de façon naturelle de fonction argument à valeurs réelles.

Ici, on se fixera un choix de l'argument, de sorte que l’on ait les propriétés suivantes :


On constate que cette fonction Arg(z) n’est pas prolongeable continument aux  , car si elle était définie sur  , on aurait un saut de   et elle serait alors discontinue sur son ouvert de définition.

On appelle cette fonction détermination principale de l'argument.

Le logarithme complexe

modifier


Alors,   est holomorphe sur  .

Dérivées partielles du logarithme complexe

modifier

On note  , pour  , on a :

  •   ;
  •  .

Ainsi   est holomorphe, puisque :

 .

La dérivée de   se calcule en appliquant la règle de dérivation des fonctions composées :

 ,

ce qui donne :

 .

Puissance généralisée

modifier