Logarithme népérien

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. C'est la primitive de la fonction inverse définie sur $]0 ; + \infty[$ 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 plus particulièrement logarithme décimal). On préfère de nos jours la notation ln.

Sommaire

1 Fragments d'histoire
2 La fonction logarithme naturel comme primitive de la fonction inverse
3 La fonction logarithme naturel comme fonction logarithme
4 La fonction logarithme naturel comme réciproque de la fonction exponentielle
5 La fonction logarithme naturel comme fonction de la variable complexe
6 Voir aussi

Fragments d'histoire

Article d'une série sur
la constante mathématique e



Logarithme naturel

Applications
Intérêts composés · Identité d'Euler et Formule d'Euler · Demi-vie et Croissance exponentielle/Décroissance exponentielle

Définitions
Démonstration de l'irrationalité de e · Représentations de e · Théorème de Lindemann-Weierstrass

Personnes
John Napier · Jacques Bernoulli · Leonhard Euler

Conjecture de Schanuel

Ce logarithme est appelé logarithme népérien en hommage au mathématicien écossais John Napier qui est à l'origine des premières tables logarithmiques. Celles-ci ne furent cependant pas des tables de logarithmes népériens^[1]. On date en général la naissance 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 inventé par Napier et c'est son disciple Alphonse Antoine de Sarasa qui l'explicitera en 1649^[2]. La fonction ln s'est d'ailleurs appelé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, quand celui-ci met en place sa série de Mercator^[4]. Sa série exploitée par Newton (méthode des fluxions et des suites infinies 1671), permet de 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 $x\mapsto \frac1x$ , l'axe des abscisses et les droites d'abscisses 1 et $x$ .

La fonction $x \mapsto \frac1x$ est une fonction continue sur $]0 ; + \infty[$ . Elle admet donc des primitives dont l'une s'annule en 1. Cette primitive est appelée logarithme naturel et est donc définie par :

$\forall x \in \R^*_+,\ \ln x=\int_1^x \frac1t\cdot\mathrm dt$

Propriétés immédiates

Il est alors immédiat de dire que le logarithme naturel est défini sur $]0 ; + \infty[$ , dérivable sur $]0 ; + \infty[$ et que pour $x \in \R^*_+$

$\ln' x = \frac1x$

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(a x)$ pour $a$ et $x$ des réels strictement positifs a même dérivée que le logarithme naturel, donc diffère du logarithme naturel d'une constante $k \in \R$ :

f (x) = ln(x) + k

Or $f (1) = ln(a)$ donc $k = ln(a)$ et $ln(a x) = ln(a) + ln(x)$ pour tous réels $a$ et $x$ strictement positifs. Le logarithme naturel est donc bien un cas particulier de fonction logarithme.

C'est l'application réciproque de la fonction exponentielle, quand 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 $\ln \circ \exp$ et $\exp \circ \ln$ , de prouver que ces dérivés valent 1. Cela permet de dire que ces deux fonctions sont de la forme $x + k$ . L'étude de l'image de 0 ou de l'image de 1 permet de prouver que ces deux fonctions sont des fonctions identités sur $\R$ pour la première, sur $]0 ; + \infty[$ pour la seconde.

Dérivée logarithmique

Article détaillé : dérivation 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 $\ln \circ u$ est dérivable de dérivée : $\frac{u'}{u}$ Cette dérivée s'appelle la dérivée logarithmique de la fonction $u$ . Elle représente une variation instantanée relative. C'est donc 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 $\ln \circ |u|$ est dérivable de dérivée

$\frac{u'}{u}$

Cette propriété augmente de manière significative l'ensemble 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 $+ \infty$ mais ceci très lentement. Plus précisément, les limites suivantes permettent de déterminer les croissances comparées du logarithme naturel et d'une fonction puissance quelconque

$\lim_{x \to 0} \ln(x) = - \infty$
$\lim_{x \to + \infty}\ln(x) = + \infty$
$\lim_{x \to 0} x^{\alpha}\ln(x) = 0$ pour tout réel $α$ strictement positif
$\lim_{x \to + \infty}\frac{\ln(x)}{x^{\alpha}} = 0$ pour tout réel $α$ strictement positif
$\lim_{h \to 0}\frac{\ln(1+h)}{h} = 1$ 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

La fonction logarithme naturel et son approximation par les premiers termes de la série de Mercator.

Article détaillé : série entière.

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

$\forall x \in ]-1,1[,\ \ln(1 + x) = \sum_{n = 0}^{+\infty}(-1)^n\frac{x^{n+1}}{n+1} = x - \frac{x^2}{2}+ \frac{x^3}{3}- \cdots$

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:

$\ln(1+x)= x \,\left( \frac{1}{1} - x\,\left(\frac{1}{2} - x \,\left(\frac{1}{3} - x \,\left(\frac{1}{4} - x \,\left(\frac{1}{5}- \ldots \right)\right)\right)\right)\right)\,\!$

Pour obtenir un meilleur taux de convergence, l'identité suivante peut être utilisée.

$\ln(x) = \ln\left(\frac{1+\alpha}{1-\alpha}\right)$	$= 2\,\alpha\, \left( \frac{1}{1} + \frac{1}{3} \alpha^{2} + \frac{1}{5} \alpha^{4} + \frac{1}{7} \alpha^{6} + \frac{1}{9} \alpha^{8} + \ldots \right)$
	$= 2\,\alpha\, \left( \frac{1}{1} + \alpha^{2} \, \left( \frac{1}{3} + \alpha^{2} \, \left( \frac{1}{5} + \alpha^{2} \, \left( \frac{1}{7} + \alpha^{2} \, \left( \frac{1}{9} + \ldots \right) \right) \right)\right) \right)$

A condition que $\alpha = \frac{x-1}{x+1}$ et $x > 0$ . Ce qui nous amène à:

$\ln(x)=2\sum_{k=0}^{\infty}\frac{1}{2k+1}\left(\frac{x-1}{x+1}\right)^{2k+1}$

La fonction logarithme naturel et son approximation par les premiers termes de la série $2\sum_{k=0}^n\frac{1}{2k+1}\left(\frac{x-1}{x+1}\right)^{2k+1}$ .

La fonction logarithme naturel comme fonction logarithme

Article détaillé : identités logarithmiques.

Comme toute fonction logarithme, elle possède les propriétés algébriques suivantes

$\forall (a;b)\in ]0 : + \infty[^2,\ \ln(ab) = \ln(a) + \ln(b)$
$\forall (a;b)\in ]0 : + \infty[^2,\ \ln\left(\frac ab\right) = \ln(a) - \ln(b)$
$\forall a \in ]0 ; + \infty[,\ \forall n \in \mathbb Z,\ \ln(a^n) = n \ln(a) \quad$
$\forall a \in ]0 ; + \infty[,\ \forall r \in \mathbb Q,\ \ln(a^r) = r \ln(a)$

Le fait que toutes les fonctions logarithmes soient proportionnelles entre elles permet d'obtenir le logarithme de base $a \in \R^*_+$ en fonction du logarithme népérien:

$\log_a(x) = \frac{\ln(x)}{\ln(a)}$

La fonction logarithme naturel comme réciproque de la fonction exponentielle

Des égalités

$\forall x\in\mathbb{R}^\star_+,\ e^{\ln(x)} = x$

$\forall x\in\mathbb{R},\ \ln(e^x) = x$

on déduit l'équivalence suivante:

$\forall x \in \R,\ \forall y \in \R^*_+,\ e^x = y \Longleftrightarrow x = \ln(y)$

qui permet de résoudre des équations dans lesquelles l'inconnue apparaît en exposant.

Sa relation avec la fonction exponentielle permet d'exprimer toutes les autres fonctions exponentielles de base $a\in \R^*_+$ par

a x = e x ln(a)

Plus généralement , elle permet de définir $x y$ pour tout réel $x$ strictement positif et tout réel $y$ comme

x y = e y ln(x)

Cette définition coïncide évidemment avec celle de $x r$ pour $r$ rationnel.

On peut aussi trouver la fonction inverse comme étant la dérivée du logarithme naturel uniquement en considérant cette dernière comme réciproque de la fonction exponentielle.

Démonstration

La fonction exp est dérivable sur tout $\scriptstyle \R$ , de dérivée non nulle. Sa courbe représentative possède donc 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 par rapport à la droite d'équation y = x. Elle possède donc 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 $f: x \mapsto e^{\ln(x)}~$ définie pour tout x > 0.

L'égalité : $f(x)=e^{\ln(x)} = x\,$ permet de calculer f' de deux manières.

D'une part, selon la propriété de la dérivée de la composée :

$f'(x) =\ln' (x) \cdot e^{\ln(x)}$ (car $(e^{u})'=u' \cdot e^u~$ )

donc

$f'(x)=\ln'( x) \cdot x~$

D'autre part, $f'(x)=1~$

Donc $1=\ln'( x) \cdot x~$

D'où $\ln' (x)=\frac{1}{x}~$

La fonction logarithme naturel comme fonction de la variable complexe

Article détaillé : logarithme complexe.

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 ; + \infty[$ ) s'est posée dès la seconde moitié du XVII^e siècle avec les développements en série des fonctions. Le passage de

$\forall x \in \R,\ e^x = \sum_{n=0}^{+\infty} \frac{x^n}{n!}$

$\forall z \in \mathbb C,\ e^z = \sum_{n=0}^{+\infty} \frac{z^n}{n!}$

s'est fait de manière naturelle et l'on se serait attendu à ce qu'un passage analogue se fasse pour le logarithme naturel. Mais il n'existe aucune fonction univoque continue sur $\mathbb C^*$ , possédant la propriété algébrique des fonctions logarithmes et coïncidant sur $]0 , + \infty[$ avec la fonction logarithme népérien réelle.

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^[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

$\ln(-a) = \ln\left(e^{i\pi}a\right)$

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 lorsqu'on travaille avec une calculatrice traitant les nombres complexes : si l'on étudie la fonction $x \mapsto \left|\ln(x)\right|$ , la calculatrice peut être amenée à définir cette fonction sur $\R^*$ en interprétant la valeur absolue comme un module :

$\left|\ln(-a)\right| = \sqrt{\ln^2(a) + \pi^2}$ pour a réel strictement positif

Voir aussi

Notes et références

↑ Amy Dahan-Dalmedico, 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 infinies Gallica , p 102 -105
En quoi les logarithmes et exponentielles naturels sont-ils naturels ? Conférence de Jean Dhombres

Portail des mathématiques

Ce document provient de « Logarithme naturel ».

Catégories : Analyse réelle | Fonction remarquable | Logarithme

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Logarithme népérien de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

Logarithme Népérien — 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. C est la primitive de la fonction inverse définie sur et qui s annule en… … Wikipédia en Français
Logarithme népérien — ● Logarithme népérien nom donné à l image d un réel strictement positif x par la fonction logarithme népérien et notée ln x, Log x ou logex … Encyclopédie Universelle
logarithme népérien — natūrinis logaritmas statusas T sritis fizika atitikmenys: angl. Napierian logarithm; natural logarithm vok. natürlicher Logarithmus, m; Neperscher Logarithmus, m rus. натуральный логарифм, m pranc. logarithme naturel, m; logarithme népérien, m … Fizikos terminų žodynas
Fonction logarithme népérien — ● Fonction logarithme népérien fonction définie sur R+ et obtenue comme la primitive de la fonction , qui s annule pour x = 1. (Notations Log, ln.) … Encyclopédie Universelle
logarithme — [ lɔgaritm ] n. m. • 1624; lat. sc. logarithmus (1614), du gr. logos « rapport » et arithmos « nombre » ♦ Math. Logarithme de base a d un nombre x : le nombre y, noté loga x, tel que ay = x. Logarithme décimal, de base 10 (noté log x). Logarithme … Encyclopédie Universelle
népérien — népérien, ienne [ neperjɛ̃, jɛn ] adj. • 1846; de Neper, n. pr. ♦ Math. Inventé par le mathématicien Neper. Logarithmes népériens. ● népérien, népérienne adjectif (de J. Neper, nom propre) Logarithme népérien, nom donné à l image d un réel… … Encyclopédie Universelle
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. C est la primitive de la fonction inverse définie sur et qui s annule en 1. Le logarithme… … Wikipédia en Français
Logarithme naturel — Le logarithme naturel ou logarithme népérien est, en mathématiques, la fonction logarithme de base e. C est donc la réciproque de la fonction exponentielle de base e. C est aussi la primitive définie sur ] 0 , + ∞ [ et qui s annule en 1 de la… … Wikipédia en Français
Logarithme Complexe — Courbe de densité représentant la branche principale de la fonction logarithme complexe. En mathématiques, le logarithme complexe est une fonction généralisant la fonction logarithme naturel (définie sur … Wikipédia en Français
Logarithme/Demonstration de l'approximation de la fonction lg — Logarithme/Démonstration de l approximation de la fonction lg Soit logb la fonction logarithme dont l indice b est un nombre réel positif non nul et non unitaire représentant la base. Il est possible d’approcher le logarithme en base 2 d’un… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Logarithme népérien

Logarithme naturel

Sommaire

Fragments d'histoire