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 \forall z\in {\overline {\mathbb {C} }}$

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

Un contributeur est en ce moment même en train de travailler en profondeur sur cette page ou section de page. Merci de ne pas modifier celle-ci afin de limiter les risques de conflit de versions jusqu’à disparition de cet avertissement .

---

Enlevez ce modèle dès que le travail est fini ; si le travail doit être continué, utilisez le modèle : {{Pas fini}}.

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 ?}