Logarithme naturel
Le logarithme naturel ou logarithme népérien, est, en mathématiques, le logarithme de base e. C'est la réciproque de la fonction exponentielle de base e.

Le logarithme naturel ou logarithme népérien, est , en mathématiques, le logarithme de base e. C'est la réciproque de la fonction exponentielle de base e. C'est la primitive de la fonction inverse définie sur et qui s'annule en 1.
Le logarithme naturel de x est la puissance à laquelle il faut élever e pour trouver x.
Cette fonction a été longtemps notée Log pour la différencier de la fonction log (logarithme de base quelconque, ou surtout logarithme décimal). On préfère aujourd'hui la notation ln.
Fragments d'histoire
Article d'une série sur | |
---|---|
la constante mathématique e | |
|
|
![]() |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ce logarithme est nommé logarithme népérien en hommage au mathématicien écossais John Napier qui est à l'origine des premières tables logarithmiques en mathématiques. Celles-ci ne furent cependant pas des tables de logarithmes népériens[1]. On date généralement l'apparition des logarithmes népériens de 1647, date à laquelle Grégoire de Saint-Vincent travaille sur la quadrature de l'hyperbole et démontre que la fonction obtenue vérifie la propriété des fonctions logarithmes (transformation d'un produit en somme) mais lui-même ne voit pas le lien avec les logarithme découvert par Napier et c'est son disciple Alphonse Antoine de Sarasa qui l'explicitera en 1649[2]. La fonction ln s'est d'ailleurs nommée un certain temps fonction logarithme hyperbolique compte tenu de sa découverte comme aire sous l'hyperbole[3]. Le terme de logarithme naturel apparaît pour la première fois dans une note de Nicolaus Mercator en 1668, lorsque ce dernier met en place sa série de Mercator[4]. Sa série exploitée par Newton (méthode des fluxions et des suites illimitées 1671), sert à calculer assez simplement les valeurs du logarithme de Grégoire de Saint-Vincent[5]. Le calcul des autres logarithmes apparaît alors bien compliqué. Le logarithme de Grégoire de Saint-Vincent devient alors le logarithme le plus "simple" et le plus naturel.
La fonction logarithme naturel comme primitive de la fonction inverse
Formellement, le logarithme naturel peut être défini comme l'aire du domaine délimité par la courbe représentative de la fonction , l'axe des abscisses et les droites d'abscisses 1 et x.
La fonction est une fonction continue sur
. Elle admet par conséquent des primitives dont l'une s'annule en 1. Cette primitive est nommée logarithme naturel et est par conséquent définie par :
Propriétés immédiates
Il est alors immédiat de dire que le logarithme naturel est défini sur , dérivable sur
et que pour
Puisque sa dérivée est strictement positive, on en déduit que le logarithme naturel est strictement croissant.
La fonction f définie par f (x) = ln (ax) pour a et x des réels strictement positifs a même dérivée que le logarithme naturel, par conséquent change du logarithme naturel d'une constante :
- f (x) = ln (x) + k
Or f (1) = ln (a) par conséquent k = ln (a) et ln (ax) = ln (a) + ln (x) pour tous réels a et x strictement positifs. Le logarithme naturel est par conséquent bien un cas spécifique de fonction logarithme.
C'est l'application réciproque de la fonction exponentielle, lorsque celle-ci est définie comme l'unique fonction valant 1 en 0 et égale à sa dérivée. En effet, il suffit de dériver les fonctions et
, de prouver que ces dérivés valent 1. Cela sert à dire que ces deux fonctions sont de la forme x + k. L'étude de l'image de 0 ou de l'image de 1 sert à prouver que ces deux fonctions sont des fonctions identités sur
pour la première, sur
pour la seconde.
Dérivée logarithmique
Les propriétés de dérivabilité des fonctions composées permettent de dire que, pour toute fonction u réelle, dérivable et strictement positive, la fonction est dérivable de dérivée :
Cette dérivée se nomme la dérivée logarithmique de la fonction u. Elle représente une variation instantanée relative. C'est par conséquent une mesure utile tant en économie qu'en calcul d'erreur.
On généralise la propriété à toute fonction réelle dérivable u qui ne s'annule pas est dérivable de dérivée
Cette propriété augmente de manière significative la totalité des fonctions rationnelles dont on peut trouver une primitive.
Étude des limites
La fonction logarithme est une fonction tendant vers l'infini en 0 et en mais ceci particulièrement lentement. Plus exactement, les limites suivantes permettent de déterminer les croissances comparées du logarithme naturel et d'une fonction puissance quelconque
pour tout réel α strictement positif
pour tout réel α strictement positif
pour h > − 1. Ceci est une conséquence de l'"approximation affine" de ln (1 + h) pour h proche de 0.
Développement en série


C'est Nicolaus Mercator qui a été le premier à proposer le développement en série entière de ln (1 + x) ; le rayon de convergence de ce développement est 1. On a donc
C'est la série de Taylor pour le logarithme naturel, mais pour calculer la valeur numérique du logarithme naturel d'un nombre, on peut réécrire l'expansion de la série de Taylor avec :
Pour obtenir un meilleur taux de convergence, l'identité suivante est parfois utilisée.
A condition que et x > 0. Ce qui nous amène à :



La fonction logarithme naturel comme fonction logarithme
Comme toute fonction logarithme, elle possède les propriétés algébriques suivantes
Le fait que l'ensemble des fonctions logarithmes soient proportionnelles entre elles permet d'obtenir le logarithme de base selon le logarithme népérien :
La fonction logarithme naturel comme réciproque de la fonction exponentielle
Des égalités
et
on déduit l'équivalence suivante :
qui sert à résoudre des équations dans lesquelles l'inconnue apparaît en exposant.
Sa relation avec la fonction exponentielle permet d'exprimer l'ensemble des autres fonctions exponentielles de base par
- ax = exln (a) .
D'une façon plus générale, elle sert à définir xy pour tout réel x strictement positif et tout réel y comme
- xy = eyln (x)
Cette définition coïncide bien entendu avec celle de xr pour r rationnel.
On peut aussi trouver la fonction inverse comme étant la dérivée du logarithme naturel seulement en considérant cette dernière comme réciproque de la fonction exponentielle.
La fonction exp est dérivable sur tout, de dérivée non nulle. Sa courbe représentative possède par conséquent en tout point une tangente non parallèle à l'axe des abscisses. La courbe représentative de sa réciproque est symétrique de celle-ci comparé à la droite d'équation y = x. Elle possède par conséquent en tout point une tangente non parallèle à l'axe des ordonnées. Cela assure que la fonction ln est dérivable en tout point de son ensemble de définition.
On considère alors la fonction définie pour tout x > 0.
L'égalité : sert à calculer f'de deux manières.
- D'une part, selon la propriété de la dérivée de la composée :
(car
)
- donc
- D'autre part,
Donc
D'où
La fonction logarithme naturel comme fonction de la variable complexe
La question de savoir s'il est envisageable de prolonger le logarithme naturel (c'est-à-dire de le définir sur un ensemble plus grand que ) s'est posée dès la seconde moitié du XVIIe siècle avec les développements en série des fonctions. Le passage de
à
s'est fait de manière naturelle et on se serait attendu à ce qu'un passage analogue se fasse pour le logarithme naturel. Mais il n'existe aucune fonction univoque continue sur , possédant la propriété algébrique des fonctions logarithmes et coïncidant sur
avec la fonction logarithme népérien réelle.
L'existence de plusieurs valeurs envisageables pour ln (− 1) , par exemple, a donné lieu à des échanges de lettres passionnées entre Leibniz et Bernoulli. Le voile sera levé par Euler[6].
On peut cependant définir le logarithme d'un nombre négatif de la manière suivante :
- ln (− a) = ln (a) + iπ pour a réel strictement positif
en référence au fait que
et par transfert de propriété :
- ln (− a) = ln (a) + iπ
Mais la fonction ainsi définie n'a pas les propriétés algébriques de la fonction logarithme népérien réelle. On peut la rencontrer quand on travaille avec une calculatrice traitant les nombres complexes : si on étudie la fonction , la calculatrice peut être amenée à définir cette fonction sur
en interprétant la valeur absolue comme un module :
pour a réel strictement positif
Voir aussi
Notes et références
- ↑ Amy Dahan-Dalmedico et Jeanne Peiffer, Une Histoire des mathématiques - Routes et dédales, Seuil, coll. «Points Sciences», 1986 (ISBN 2020092380) [détail des éditions], p 214
- ↑ Jean-Pierre Le Goff, De la méthode dite d'exhaustion - Grégoire de Saint Vincent, in La démonstration mathématique dans l'histoire, IREM de Besançon
- ↑ Simone Trompler, L'histoire des logarithmes, ULB p 11
- ↑ Logarithme et quadrature de l'hyperbole Sur le site Euler de l'académie de Versailles, p3
- ↑ Simone Trompler, L'histoire des logarithmes, ULB p 12
- ↑ Analyse de cette controverse, écrite en français par Euler lui-même
Lien externe
- Méthode de Newton pour le calcul des logarithmes naturels, La méthode des fluxions et des suites illimitées Gallica, p 102 -105
- En quoi les logarithmes et exponentielles naturels sont-ils naturels ? Conférence de Jean Dhombres
Recherche sur Amazon (livres) : |
Voir la liste des contributeurs.
La version présentée ici à été extraite depuis cette source le 10/03/2010.
Ce texte est disponible sous les termes de la licence de documentation libre GNU (GFDL).
La liste des définitions proposées en tête de page est une sélection parmi les résultats obtenus à l'aide de la commande "define:" de Google.
Cette page fait partie du projet Wikibis.