Fonctions d'une variable complexe/Le logarithme complexe

L'exponentielle complexe

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.

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

Fonctions hyperboliques

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

$\cosh z=\frac{{\mathrm{e}}^z+{\mathrm{e}}^{-z}}{2},\cos z=\frac{{\mathrm{e}}^{z\mathrm{i}}+{\mathrm{e}}^{-z\mathrm{i}}}{2}=\cosh (\mathrm{i}z)$

$\sinh z=\frac{{\mathrm{e}}^z-{\mathrm{e}}^{-z}}{2},\sin z=\frac{{\mathrm{e}}^{z\mathrm{i}}-{\mathrm{e}}^{-z\mathrm{i}}}{2\mathrm{i}}=\frac{\sinh (\mathrm{i}z)}{\mathrm{i}}$

Propriétés de l'exponentielle complexe

$\mathrm{\forall }z,w\in ℂ$ :

• $\exp (z+w)=\exp (z)\exp (w)$ ;
• $\mathrm{\forall }n\in \mathbb{Z}\exp (z{)}^n=\exp (nz)$ ;
• $|\exp (z)|=\exp (\mathrm{Re}(z))$.

La fonction « argument » : Arg

Pour des raisons purement géométriques, l'argument d'un nombre complexe n'est jamais défini que modulo $2\pi$ 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 $z\in ]-\mathrm{\infty },0[$, car si elle était définie sur $ℂ\setminus \{0\}$, on aurait un saut de $2\pi$ et elle serait alors discontinue sur son ouvert de définition.

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

Le logarithme complexe

Alors, $\mathrm{L}\mathrm{o}\mathrm{g}$ est holomorphe sur $\mathrm{\Omega }$.

Dérivées partielles du logarithme complexe

On note $z=x+y\mathrm{i}$, pour $z\in \mathrm{\Omega }$, on a :

• ${\mathrm{D}}_x\mathrm{Log}(z)={\mathrm{D}}_x(\ln (\sqrt{x^2+y^2})+\mathrm{i}{\mathrm{D}}_x(\mathrm{Arg}(x+y\mathrm{i}))=\frac{x}{x^2+y^2}+\mathrm{i}\frac{-y}{x^2+y^2}=\frac{x-yi}{x^2+y^2}$ ;
• ${\mathrm{D}}_y\mathrm{Log}(z)={\mathrm{D}}_y(\ln (\sqrt{x^2+y^2})+\mathrm{i}{\mathrm{D}}_y(\mathrm{Arg}(x+y\mathrm{i}))=\frac{y}{x^2+y^2}+\mathrm{i}\frac{x}{x^2+y^2}=\frac{y+x\mathrm{i}}{x^2+y^2}$.

Ainsi $\mathrm{Log}$ est holomorphe, puisque :

${\mathrm{D}}_x\mathrm{Log}(z)+\mathrm{i}{\mathrm{D}}_y\mathrm{Log}(z)=\frac{x-y\mathrm{i}}{x^2+y^2}+i\frac{y+x\mathrm{i}}{x^2+y^2}=0$.

La dérivée de $\mathrm{Log}$ se calcule en appliquant la règle de dérivation des fonctions composées :

${\mathrm{D}}_x\mathrm{Log}(z)={\mathrm{D}}_z\mathrm{Log}(z){\mathrm{D}}_x(z)$,

ce qui donne :

${\mathrm{D}}_z\mathrm{Log}(z)=\frac{{\mathrm{D}}_x\mathrm{Log}(z)}{{\mathrm{D}}_x(z)}=\frac{x-y\mathrm{i}}{x^2+y^2}=\frac{\overline{z}}{\overline{z}z}=\frac{1}{z}$.