En mathématiques, le logarithme complexe est une fonction généralisant la fonction logarithme naturel (définie sur ]0,+∞[) au domaine C* des nombres complexes non nuls. Plusieurs définitions sont possibles. Aucune ne permet de conserver, à la fois, l'univocité, la continuité et les propriétés algébriques de la fonction logarithme. Histoire des nombres complexes La question de savoir s'il est possible de prolonger le logarithme naturel (c'est-à-dire de le définir sur un ensemble plus grand que ]0,+∞[) s'est posée dès la seconde moitié du avec les développements en série des fonctions. Le passage de à s'était fait de manière naturelle (voir Exponentielle complexe), et il eût été imaginable qu'un passage analogue se fît pour le logarithme népérien. Mais il n'existe aucune fonction univoque continue sur C*, possédant toutes les propriétés algébriques des fonctions logarithmes et coïncidant avec la fonction logarithme népérien réelle sur ]0,+∞[. L'existence de plusieurs valeurs possibles pour ln(–1), par exemple, a donné lieu à des échanges de lettres passionnés entre Leibniz et Bernoulli. Le voile sera levé par Euler. On peut cependant définir le logarithme d'un nombre négatif de la manière suivante : pour a réel strictement positif, en référence au fait que et par transfert de propriété : ; mais la fonction ainsi définie n'a pas toutes les propriétés algébriques de la fonction logarithme népérien réelle. En effet, par exemple, comme l'aurait voulu Bernoulli, pour x=–1 entraînerait : Mais d'autre part : Cela imposerait l'existence d'au moins deux valeurs différentes, chacune acceptable, comme un logarithme de 1 : 0 et 2iπ. On peut définir sur l'ensemble des complexes, l'exponentielle complexe : On démontre (voir l'article détaillé) que . Par conséquent, la fonction exponentielle est surjective de C dans C*, et . On définit alors un logarithme complexe α d'un nombre complexe Α comme une solution de l'équation : Ainsi, tout complexe non nul admet au moins un logarithme et deux logarithmes du même nombre diffèrent de 2ikπ, pour un certain entier relatif k.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.