Définition
La fonction logarithme népérien définie sur $]0~;+\infty[$ est la fonction $x \mapsto \ln(x)$ où le nombre réel $\ln(x)$ est l’unique solution de l’équation $\mathrm e^{y} = x$ d’inconnue $y$.
Elle est définie, continue, dérivable sur l’intervalle $]0~ ;+\infty[$.
Pour tout $x \in\:]0~ ;+\infty[$, $\displaystyle \ln’(x) = \frac{1}{x} > 0$ donc la fonction $\ln$ est strictement croissante sur l’intervalle $]0 ~;+\infty[$.
$\ln(1) = 0$ et $\ln x < 0$ pour $x \in \:]0~ ;1[$ et $\ln x >$ 0 pour $x \in \:]1~ ;+\infty[$ car la fonction $\ln$ est strictement croissante sur l’intervalle $]0~ ;+\infty[$.
Propriétés
Pour tous les réels $a$ et $b$ strictement positifs :
$\ln(a \times b) = \ln(a) + \ln(b)$ ;
$\displaystyle \ln\left(\frac{1}{b}\right) = -\ln(b)$ ;
$\displaystyle \ln\left(\frac{a}{b}\right) = \ln(a) - \ln(b)$ ;
$\ln({a}^{n}) = n \ln(a)$ ($n$ entier naturel)
$\displaystyle \frac{1}{2} \ln(a) = \ln(\sqrt{a})$.
Dérivée de $\ln(u)$
Pour une fonction $u$ strictement positive et dérivable sur un intervalle $\rm I$, $\ln(u)$ est dérivable sur $\rm I$ et :
$\displaystyle (\ln(u))’ = \frac{u'}{u}$ sur cet intervalle.