Vous êtes sur la page 1sur 7

[ Table des matires]

Logarithme dun nombre complexe et priodicit de la fonction exponentielle complexe


par Daniel Duverney
Lyce Baggio, Lille 1.Introduction Dans un article rcent paru dans la RMS, Daniel Leborgne propose une dmonstration trs courte de la relation e2i = 1 [5]. Cette dmonstration, comme sa consur plus classique ([2], page 30, [6], page 336, [9], page 2) introduit le nombre par une dfinition ad hoc, de faon obtenir, le plus rapidement et le plus lgamment possible, le rsultat souhait. Dans le travail qui suit, jai voulu montrer que le nombre sintroduit de manire naturelle lorsquon essaie de dfinir le logarithme dun nombre complexe partir du logarithme dun nombre rel positif. Pour ce faire, la mthode qui parat la plus naturelle, et que jai suivie, consiste procder comme pour lexponentielle, cest dire partir dune srie. Malheureusement, si la srie entire de lexponentielle converge pour tout z, il nen est pas de mme de celle de ln (1 + z). Nous partons donc dune autre srie, donnant lnx, et convergeant pour tout x > 0 (voir proposition 1, 2). Cette srie permet de prolonger le logarithme nprien, et cest en se posant la question de savoir jusquo on peut le prolonger quapparaissent, assez naturellement, le nombre (voir la formule (7)) et la proprit ei = -1 (proposition 9, 2). Nous procdons donc par prolongement analytique ([1], [2], [3], [6], [9], [10]), mais de la faon la plus lmentaire possible. Nous examinons pour finir si la proprit fondamentale ln ( xy) = lnx + lny se prolonge aux valeurs complexes de la variable, et nous dmontrons que 2 est la plus petite priode de la fonction x eix . Ce travail constitue une introduction assez complte ce quon appelle la dtermination principale du logarithme complexe . Pour une autre introduction, on consultera [11] ; pour une prsentation plus gnrale, [2], [3], [6], par exemple ; pour laspect historique de la question, [7] et [4]. Afin de faciliter une lecture rapide (et dinciter le lecteur la recherche !), le dtail des dmonstrations a t relgu dans le paragraphe 3, suivant la prsentation adopte par P. Ribenboim dans [8]. Nous supposons connues la fonction exp z = znn! , z C, et sa proprit fondamentale :

ainsi que la fonction Arctan x = 11 + t 2dt =

(-1) nx2n+12n + 1, x

R pour la premire

galit, x

] - 1, 1[ pour la deuxime.

2.Logarithmes des nombres complexes Nous voulons prolonger la fonction relle x lnx, dfinie sur ]0 , + [, aux valeurs complexes de la variable. Nous cherchons un prolongement sous forme de srie. Pour cela, nous commenons par exprimer ln x sous forme de srie, pour tout x ]0 , + [. On sait que ln 1 + t 1 - t = 2 t 2n+12n + 1 si < 1.

Posons formellement (cest dire sans nous proccuper de problmes de convergence) : x = 1 + t 1 - t ; alors t = x - 1x + 1, et nous obtenons formellement :

Proposition 1 : x > 0 :

On notera que la srie (2) converge gomtriquement, donc rapidement. On obtient par exemple : Proposition 2 : 10-10 prs, on a :

Il parat maintenant logique de remplacer la variable relle x par la variable complexe z. On obtient : Proposition 3 : La srie 1 2n + 1 de C + = { z CRe z > 0} . On pose :
2n+1

converge normalement sur tout compact

Il est clair que log 1 prolonge ln , c est dire que lon a :

Le rsultat fondamental est le suivant : Proposition 4 :

Peut-on prolonger davantage le logarithme ? La rponse est oui ; elle provient du fait que x ]0 , + [ , ln x = 2ln ( ), et que tout nombre complexe qui nest pas rel ngatif est le carr dun unique lment de C+ . Proposition 5 : Pour tout z z. C-] R-] , il existe un unique lment de C+ , not , tel que ( )2 =

On a plus prcisment : si z = x + iy :

Ainsi, nous posons maintenant :

Proposition 6 : a. z b. z c. z C -] R - ] , exp( log z) = z C + , log z = Log1z C -] R - ] , log z = 2log ( ).

Nous avons donc prolong le logarithme en une fonction continue (cela rsulte des propositions 3 et 5 dfinies sur C -] R-]. Peut-on prolonger davantage ? tudions par exemple ce qui se passe au point - 1. On a :

Proposition 7 : On a :

Ainsi lim z -1 Imz>0 ( log z) - lim z -1 Imz<0 ( log z) 0, et la fonction log nest pas prolongeable par continuit au point - 1. Plus gnralement : Proposition 8 : La fonction log nest prolongeable par continuit en aucun point ] - , 0[ .

Le prolongement de ln dfini par (3) et (6) est donc maximal. Le lecteur comprendra srement, au vu de la proposition 7, que je suggre de poser :

Le nombre 2i apparat donc comme le saut de la fonction logarithme complexe lorsquelle passe par le point daffixe - 1. Cest dans ces conditions que nous obtenons la : Proposition 9 : ei = -1, donc e2i = 1. Il nous reste deux points traiter : a. Montrer que le nombre 2 ainsi obtenu est la plus petite priode de la fonction x eix. b. tudier dans quelle mesure la proprit fondamentale du logarithme ln ( xy) = lnx + lny stend au logarithme de variable complexe. Nous pouvons dores et dj traiter un cas particulier du point b. Proposition 10 : a R , z C+ :

Ce rsultat nous permet de retrouver la dfinition du logarithme propose par A. Warusfel dans [11] : Proposition 11 : z C - R- :

Nous posons alors, pour tout z = x + iy

C - R- :

Ainsi :

Une proprit importante de largument ainsi dfini est la suivante : Proposition 12 : z C - R-, - < Arg z < .

Nous dduisons immdiatement de ce rsultat que limage de C - R- par le logarithme est contenue dans

Et il se produit ce quoi on peut sattendre maintenant : Proposition 13 : La fonction log est une bijection de C - R- dans D. De la proposition 13, il rsulte tout de suite que :

et on obtient finalement : Proposition 14 : Le nombre 2 est la plus petite priode de la fonction x eix. Proposition 15 : Soient z,z C - R-, et vrifiant

Alors : Log( zz) = Log z + Log z. 3.Dmonstrations 3.1.Dmonstration de la proposition 1 Il est facile de vrifier que, x > 0 , -1 < x - 1x + 1 < 1. La srie 12n + 1X2n+1 a un rayon 2n+1 est dfinie et drivable sur de convergence gal 1. Donc f ( x) = 2 1 2n + 1 ]0 , + [. On a :

Par ailleurs f (1) = 0. Donc x

]0 , + [ , f ( x) = lnx.

3.2.Dmonstration de la proposition 2 Elle est laisse au lecteur. 3.3.Dmonstration de la proposition 3 Cette srie converge normalement ds lors que Or en posant z = x + iy, = r , avec r < 1. .

Soit K un compact de C+ . La fonction z 4x( x + 1) 2 + y2 est continue sur K, donc atteint ses bornes. Il existe donc m > 0 tel que : z K : 4x( x + 1) 2 + y2 m . Ainsi < 1, z K .

3.4.Dmonstration de la proposition 4 Pour x > 0 fix, considrons :

La srie drive (par rapport y) converge normalement sur tout compact de R, donc h est drivable sur R et :

Donc la fonction g( y) = exp( h( y)) est drivable sur R, et sa drive logarithmique vaut :

Les fonctions g( y) = exph( y) et la fonction y- x + iy ont mme drive logarithmique. Donc il existe une constante C telle que :

Or on a : h(0) = lnx (proposition 1), donc C = 1. La proposition 4 est dmontre : la mthode utilise, aux notations prs, est celle de Daniel Leborgne [5]. 3.5.Dmonstration de la proposition 5 Elle est est laisse au lecteur. 3.6.Dmonstration de la proposition 6 a. Soit z C -] R -]. Alors :

b. Observons dabord que la relation est vraie si z

]0 , + [ ; dans ce cas :

On procde ensuite comme dans la proposition 4, en considrant, pour x > 0 fix, la fonction :

La fonction est drivable sur R (voir proposition 5) et en drivant par rapport y la 2 relation ( ) = z, on obtient facilement :

Donc (

) = i 2

La fonction G est donc drivable sur R comme compose de fonctions drivables et :

Puisque G (0) = lnx et h(0) = lnx, on a : y c. On applique b

R, G ( y) = h( y), et le b est dmontr.

, qui est lment de C + :

3.7.Dmonstration de la proposition 7 logi = 2 log 1 = 2log 11 + i . Donc :

Cette srie converge trs rapidement, car elle est alterne et valeur approche 10-9 prs de log i - log (- i) en prenant :

#0, 17. On obtient une

3.8.Dmonstration de la proposition 8 Soit ] - , 0[. Nous posons = -1 2, avec > 0

Or : log

= 2log

Le calcul de log - log amne alors une srie alterne multiplie par i. Cette quantit nest donc pas nulle, et log ne peut tre prolonge par continuit en . 3.9.Dmonstration de la proposition 9 Par dfinition de (proposition 7 et formule (7)), on a :

Donc : exp

= expi

Ou encore : i - i = ei, ei = -1, e2i = 1. 3.10.Dmonstration de la proposition 10 Posons z = x + iy. On a vu dans la dmonstration de la proposition 4 que

Comme ces deux fonctions concident pour y = 0, le rsultat est dmontr. 3.11.Dmonstration de la proposition 11 Si on suppose dabord que z C+ , on a :

En utilisant (3), un calcul facile amne le rsultat annonc. Le cas gnral rsulte du fait que les deux membres de lgalit dmontrer ont la mme drive partielle par rapport x. 3.12.Dmonstration de la proposition 12 Grce (10), il suffit de dmontrer que, z = x + iy C+ , - 2 < Arg z < 2.

Or Arg z = 2 Arctant 1 + croissante de t .

= k( t ), avec t = yx, est une fonction continue et strictement R, - 2 < k( t )

Comme lim zi Arg z = 2 (voir proposition 7), on a lim t + k( t ) = 2, do t < 2, c.q.f.d. 3.13.Dmonstration de la proposition 13

Il rsulte dabord de la proposition 6.a que log est injective sur C - R-. Pour prouver quelle est surjective dans D, il suffit de prouver, grce la proposition 6.c, que tout Z = a + ib avec - 2 < b < 2 admet un antcdent dans C+ . Ceci rsulte facilement de la dmonstration de la proposition 12. 3.14.Dmonstration de la proposition 14 Soit T la plus petite priode de x eix. Alors eiT2 = -1. Cest impossible si T < 2, en vertu de la proposition 13. 3.15.Dmonstration de la proposition 15 Elle rsulte immdiatement de la proposition 13 et de la proprit fondamentale de lexponentielle. Bibliographie [1] L. BIEBERBACH , Analytische Fortsetzung, Springer Verlag, 1955 [2] H. CARTAN , Thorie lmentaire des fonctions analytiques dune ou plusieurs variables complexes, Hermann,1961 [3] J. DIEUDONN , Calcul infinitsimal, Hermann, 1980 [4] L. EULER , Introduction lAnalyse Infinitsimale, ACL Editions (50, rue des coles 75005 Paris), 1987 [5] D. LEBORGNE , exp(2 i ) = 1 : la preuve la plus brve, RMS 4, 1993 [6] J. LELONG-FERRAND et J.-M. ARNAUDI S , Cours de Mathmatiques (Tome 2 : Analyse), Dunod, 1993 [7] C. NAUX , Histoire des Logarithmes de Neper Euler, Librairie Scientifique et Technique Blanchard (9, rue de Mdicis 75006 Paris), 1971 [8] P. RIBENBOIM , Larithmtique des corps, Hermann, 1972 [9] W. RUDIN , Real and complex analysis, Mc Graw Hill, 1974 [10] G. VALIRON , Cours dAnalyse Mathmatique (Thorie des fonctions), Masson, 1948 [11] A. W ARUSFEL , Deux ides simples pour des fonctions complexes, RMS 9, 1991 [ Table des matires] [<]