Techniques d’analyse (5/6)

• Par définition, on a l'équivalence : {\begin{cases}y=\exp(x)\cr x\in\mathbb{R}\end{cases}\Leftrightarrow\begin{cases}x=\ln(y)\cr y>0\end{cases}}
• La fonction {x\mapsto\exp(x)} est indéfiniment dérivable sur {\mathbb{R}} et : {\forall\, n\in\mathbb{N},\;\exp^{(n)}=\exp}.
  La fonction {x\mapsto\ln(x)} est définie sur {\mathbb{R}^{+*}} par: {\forall\, x>0,\;\ln'(x)=\dfrac1x} et {\ln(1)=0}.
  La fonction {x\mapsto\ln(x)} est strictement croissante et indéfiniment dérivable sur {\mathbb{R}^{+*}}.
• On note \text{e} l'unique réel strictement positif tel que {\ln(e)=1}. On a : {\text{e}\approx2.718281828}.
• Le logarithme népérien est l'unique primitive sur {\mathbb{R}^{+*}}, s'annulant en {x=1}, de la fonction {x\mapsto\dfrac1x}.
  En d'autres termes : {\forall x>0,\; \ln(x)=\displaystyle\int_1^x\dfrac{\,\text{d}t}t}.
• La fonction {x\mapsto\exp(x)} est convexe sur {\mathbb{R}} (sa dérivée seconde est {\exp(x)>0}).

  Pour tout {x} de {\mathbb{R}}, on a l'inégalité {\exp(x)\ge1+x} (avec égalité {\Leftrightarrow x=0}).

• La fonction {x\mapsto\ln(x)} est concave (sa dérivée seconde est {-\dfrac1{x^2}\lt 0}).

  Pour tout {x>0}, on a l'inégalité {\ln(x)\le x-1} (avec égalité {\Leftrightarrow x=1}).

On décide d'étendre encore cette définition en posant : {\forall\, x\in\mathbb{R},\;\text{e}^x=\exp(x)}.
On définit ainsi les puissances de \text{e} avec exposant réel quelconque.

Toutes les propriétés de la fonction exponentielle peuvent alors se réécrire en utilisant cette notation.

Pour le logarithme népérien : {\left\{\begin{array}{ll}\displaystyle\lim_{x\to0^+}\ln(x)=-\infty,\;\displaystyle\lim_{+\infty}\ln(x)=+\infty\\\\\displaystyle\lim_{x\to0^+}x\ln(x)=0^-,\;\displaystyle\lim_{x\to+\infty}\dfrac{\ln(x)}x=0^+\\\\\displaystyle\lim_{x\to0}\dfrac{\ln(1+x)}x=1,\;\displaystyle\lim_{x\to1}\dfrac{\ln(x)}{x-1}=1\end{array}\right.}