Fonctions d'une variable complexe/Exercices/Fonctions holomorphes

Exercice 3-1

On désigne par $\omega _{1}$, $\omega _{2}$ et $\omega _{3}$ les trois racines cubiques de $-1$ et l'on note ${\mathcal {D}}_{k}:=\{t\,\omega _{k}\mid t\in \mathbb {R} ,t\geq {\sqrt[{3}]{2}}\}$ pour $k=1,2,3$. On pose $G:=\mathbb {C} \setminus ({\mathcal {D}}_{1}\cup {\mathcal {D}}_{2}\cup {\mathcal {D}}_{3})$.

1. Montrer que $G$ est un domaine de $\mathbb {C}$ tel que si $z\in G$ alors $z^{3}+2\in \Omega _{0}:=\mathbb {C} \setminus \mathbb {R} _{-}$ et que l'application holomorphe $g:G\to \Omega _{0},\,z\mapsto z^{3}+2$ est surjective.
2. On désignera par $\mathrm {Log}$ la détermination principale du logarithme complexe sur le domaine $\Omega _{0}$.
   Calculer la dérivée de la fonction holomorphe $f:=\mathrm {Log} \circ g$.
3. Écrire le développement en série entière de $f$ au voisinage de $0$ en précisant son rayon de convergence.

Solution

Cette solution n'a pas été rédigée. Vous pouvez le faire en modifiant le paramètre « contenu » du modèle. ^{Comment faire ?}

 

Exercice 3-2

Soit $f$ une fonction holomorphe sur le disque $\mathbb {D} _{r}:=\{z\in \mathbb {C} \mid |z|<r\}$ avec $r<1$.

1. Démontrer les propriétés suivantes :
   1. $f(z)={\frac {1}{2\pi }}\int _{0}^{2\pi }{\frac {f\left(\operatorname {e} ^{\mathrm {i} \theta }\right)}{1-z\operatorname {e} ^{-\mathrm {i} \theta }}}\,\mathrm {d} \theta$ si $|z|<1$ ;
   2. ${\frac {1}{2\pi }}\int _{0}^{2\pi }{\frac {f\left(\operatorname {e} ^{\mathrm {i} \theta }\right){\overline {z}}\operatorname {e} ^{\mathrm {i} \theta }}{1-{\overline {z}}\operatorname {e} ^{\mathrm {i} \theta }}}\,\mathrm {d} \theta =0$ si $|z|<1$.
2. 1. Vérifier que si $|z|<1$ et $|\zeta |=1$, on a la relation suivante :

      ${\frac {1}{1-z{\overline {\zeta }}}}+{\frac {{\overline {z}}\zeta }{1-{\overline {z}}\zeta }}={\frac {1-|z|^{2}}{|1-{\overline {z}}\zeta |^{2}}}$.

   2. Démontrer la formule suivante :

      $f(z)={\frac {1}{2\pi }}\int _{0}^{2\pi }f\left(\operatorname {e} ^{\mathrm {i} \theta }\right){\frac {1-|z|^{2}}{\left|1-z\operatorname {e} ^{-\mathrm {i} \theta }\right|^{2}}}\,\mathrm {d} \theta$ si $|z|<1$.

3. Montrer que cette formule reste valable si $f$ est holomorphe sur $\mathbb {D} :=\mathbb {D} _{1}$ et continue sur ${\overline {\mathbb {D} }}$ (considérer, pour $r>1$, la fonction $f_{r}(z):=f(z/r)$).
4. Soit $f$ une fonction holomorphe sur $\mathbb {D}$ et continue sur ${\overline {\mathbb {D} }}$ telle que ${\overline {f(z)}}=f(z)$ si $|z|=1$. Que peut-on dire de $f$ ?

Solution

Cette solution n'a pas été rédigée. Vous pouvez le faire en modifiant le paramètre « contenu » du modèle. ^{Comment faire ?}

 

Exercice 3-3

Soient $P,Q\in \mathbb {C} [z]$ deux polynômes d'une variable complexe à coefficients complexes, sans zéro commun. On définit la fraction rationnelle $R$ en posant

$R(z)={\frac {P(z)}{Q(z)}}$ si $z\in \mathbb {C} \setminus \{b_{1},\dots ,b_{q}\}$

où $b_{1},\dots ,b_{q}$ sont les pôles de $R$, c.-à-d. les zéros de $Q$.

On désignera par ${\overline {\mathbb {C} }}:=\mathbb {C} \cup \{\infty \}$ le plan complexe compactifié et l'on adoptera la convention d'écriture suivante : ${\frac {1}{0}}=\infty$ et ${\frac {1}{\infty }}=0$.

1. 1. Montrer que $R$ se prolonge en une application continue de ${\overline {\mathbb {C} }}$ dans ${\overline {\mathbb {C} }}$, que l'on notera encore $R$. Quelles sont les images des pôles $b_{1},\dots ,b_{q}$ par le prolongement $R$ ?
   2. Rappeler pourquoi deux fonctions $R_{1}$ et $R_{2}$ de la variable complexe qui coïncident en tout point d'un ensemble infini de ${\overline {\mathbb {C} }}$, coïncident partout sur ${\overline {\mathbb {C} }}$.

      Dans toute la suite, on suppose que $R$ est une fraction rationnelle de la variable complexe $z$ vérifiant la propriété suivante :

      $(*)\qquad |R(z)|=1$ si $|z|=1$.

2. Pour chaque point $a\in \mathbb {C}$, on pose

   $\varphi _{a}(z):={\frac {z-a}{1-{\overline {a}}z}}\quad {\text{et}}\quad \varphi _{\infty }(z):={\frac {1}{z}},\quad \forall z\in {\overline {\mathbb {C} }}$.

   On suppose dans cette question que $R$ est une homographie $h$ qui vérifie $(*)$. Montrer qu'il existe $\alpha \in \mathbb {R}$ et $a\in {\overline {\mathbb {C} }}$ tels que $h(z)=\operatorname {e} ^{\mathrm {i} \alpha }\varphi _{a}(z)$ pour tout $z\in {\overline {\mathbb {C} }}$.

3. On revient au cas général d'une fraction rationnelle $R$ vérifiant $(*)$ et l'on définit la fonction suivante :

   $S(z):={\frac {1}{{\overline {R}}(1/{\overline {z}})}},\quad \forall z\in {\overline {\mathbb {C} }}$

   où ${\overline {R}}(w)$ désigne le conjugué de $R(w)$. Montrer que $S$ est une fraction rationnelle de la variable complexe $z$ vérifiant $S(z)=R(z)$ pour $|z|=1$. Comparer $S$ et $R$ sur $\mathbb {C}$.

4. 1. Montrer qu'un élément $a\in \mathbb {C} \setminus \{0\}$ est un zéro de $R$ si et seulement si $1/{\overline {a}}$ est un pôle de $R$. Interpréter géométriquement ce résultat.
   2. Montrer que si $R(0)\neq 0$ et $R(0)\neq \infty$, alors il existe $\alpha \in \mathbb {R}$ tel que R s'écrive sous la forme

      $R(z)=\operatorname {e} ^{\mathrm {i} \alpha }\prod _{k=1}^{m}{\frac {z-a_{k}}{1-{\overline {a_{k}}}z}},\quad \forall z\in {\overline {\mathbb {C} }}$

      où $a_{1},\dots ,a_{m}$ sont les zéros de $R$ comptés avec leur multiplicité.

5. Déterminer toutes les fractions rationnelles de la variable $z$ qui vérifient la condition $(*)$

Solution

Cette solution n'a pas été rédigée. Vous pouvez le faire en modifiant le paramètre « contenu » du modèle. ^{Comment faire ?}