Documente Academic
Documente Profesional
Documente Cultură
(-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
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 :
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- :
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 :
]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 .
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 :
]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
Cette srie converge trs rapidement, car elle est alterne et valeur approche 10-9 prs de log i - log (- i) en prenant :
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.
Comme lim z i 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] [<]