Bonjour
Pourriez vous me corriger ces quelques petits exos sur le logarithme complexe? (en vue un peu plus tard d'exos sur les revêtements
)
Tout est tiré de
si vous souhaitez avoir les énoncés exacts et le cours sur lequel je m'appuie.
Citation :
Exercice I.1. Dessiner les images par l'application exponentielle des demi-droites passant par l'origine.
Si
![](img/smb-bleu/theta.gif)
est un argument de la demi-droite D en question,
![3$e^D=\{e^{re^{i\theta}}|r\ge0\}=\{e^{rcos(\theta)}e^{irsin(\theta)}|r\ge0\}](https://latex.ilemaths.net/ile_tex.cgi?3$e^D=\{e^{re^{i\theta}}|r\ge0\}=\{e^{rcos(\theta)}e^{irsin(\theta)}|r\ge0\})
.
On a donc 5 cas qui se présentent :
- si
![](img/smb-bleu/theta.gif)
est congru à 0 modulo 2pi, son sinus est nul et son cosinus égal à 1 donc l'image de D par exp est la demi-droite de l'axe réel positif qui part de 1.
- si
![](img/smb-bleu/theta.gif)
est congru à quelque chose entre -pi/2 et +pi/2 modulo 2pi, son cosinus est positif, donc on a une spirale logarithmique qui diverge
- si
![](img/smb-bleu/theta.gif)
est congru à plus ou moins pi/2, son cosinus est nul, donc on obtient le cercle de centre 0 et de rayon 1
- si
![](img/smb-bleu/theta.gif)
a son cosinus strictement négatif mais non égal à 1, on a cette fois une spirale logarithmique qui tend vers 0
- si
![](img/smb-bleu/theta.gif)
est congru à pi, on a le segment de l'axe réel ]0,1].
Citation :Exercice I.2. Soit U un ouvert connexe de C ne contenant pas 0. On suppose que f est une fonction analytique sur U et qu'elle vérifie
![3$f'(t)=\frac{1}{t}](https://latex.ilemaths.net/ile_tex.cgi?3$f'(t)=\frac{1}{t})
et
![3$\exists t_0](https://latex.ilemaths.net/ile_tex.cgi?3$\exists t_0)
tel que
Montrer que f est une détermination du logarithme.
La fonction exp o f est analytique comme composée de fonctions analytiques, et on vérifie sans peine que sa dérivée est égale à (exp o f) / Id.
On a ainsi, en appellant g = exp o f, Id = g / g', soit en dérivant à nouveau 1 = (g'² - gg")/g'², ce qui implique que g" est identiquement nulle, car g ne peut s'annuler sur un ouvert.
D'où g est affine, linéaire d'après Id = g / g' et l'identité d'après l'hypothèse de départ.
Donc c'est bien une détermination du logarithme.
(ouille ouille ouille, je sens que je me suis bien compliqué la vie ^^)
Le reste arrive, merci d'avance
(toutes les remarques sont les bienvenues)
Fractal
![](img/smileys/smile14.gif)