Vous êtes sur la page 1sur 4

Fonction exponentielle

Définitions

Il existe plusieurs points d'entrée possibles pour la définition de la fonction


exponentielle : par la propriété de sa dérivée (la dérivée est égale à la fonction),
par ses propriétés algébriques (elle transforme une somme en produit), ou par
son développement en série.

Par une équation différentielle

Définition 

On appelle fonction exponentielle l'unique fonction dérivable solution


du problème de Cauchy suivant :

f’=f f(0)=1

Cette propriété d'être sa propre dérivée se traduit par une propriété sur la sous-
tangente à la courbe représentative d’exp. La sous-tangente, c'est-à-dire la
distance qui sépare le réel x de l'abscisse du point d'intersection de la tangente à
la courbe au point d'abscisse x avec l'axe des x, est constante et vaut 1. On
montre de plus que f ne s'annule jamais.

Démonstration

 Il existe une fonction f solution du problème de Cauchy :


Cette existence est garantie par le théorème de Cauchy-Lipchitz. Les sections
suivantes en fournissent trois autres preuves (à partir de la fonction
logarithme, de l'équation fonctionnelle, ou comme série entière). En voici
une cinquième : la méthode d'Euler. L'approximation affine de la
fonction f montre que, pour h petit,  est voisin de , c'est-à-dire de . En partant
de x0 = 0, en prenant pour h la valeur x/n, et en appliquant l'approximation
affine n fois, on arrive à dire que f(x) doit être voisin de. Si l'on
note exp cette fonction, ce processus de construction conduit à
définir exp(x) par (en particulier, exp(0) = 1). Encore faut-il montrer que la
suite (un(x)) a bien une limite pour tout x et que la fonction que l'on obtient
est bien dérivable et égale à sa dérivée.
 Une telle fonction f est unique et ne s'annule jamais :
Ces deux propriétés sont, elles aussi, garanties par le théorème de Cauchy-
Lipchitz. Une preuve plus spécifique (utilisant l'existence de f) est donnée
dans le § « Par une équation différentielle » de l'article sur l'exponentielle de
base quelconque

 La sous-tangente est constante


La tangente au point d'abscisse x a pour équation Y = exp(x)(X – x) +
exp(x) et coupe l'axe des abscisses pour X vérifiant l'équation La sous-
tangente est constante

A partir de la fonction logarithme népérien

Définition 

La fonction exp, de ℝ dans ℝ*+, est la bijection réciproque de la


fonction logarithme népérien.

En effet, la fonction logarithme népérien étant continue strictement


croissante sur son ensemble de définition, et de limites infinies aux bornes, elle
définit une bijection de ℝ*
+ sur ℝ. Sa réciproque est une fonction f définie sur ℝ vérifiant f(0) = 1 car ln(1)
= 0. La fonction ln étant dérivable et de dérivée non nulle, sa réciproque est une
fonction dérivable et, pour tout réel x,

f’(x) = 1/ln’(f(x)=f’(x)
.
Caractérisation algébrique
La propriété algébrique de la fonction exponentielle (fonction continue non nulle
transformant une somme en produit) est partagée par un ensemble de fonctions
qui portent aussi le nom de fonctions exponentielles. Elles sont entièrement
déterminées dès que l'on a précisé leur valeur en 1 qui doit être un réel
strictement positif. La fonction qui prend la valeur a en 1 est alors appelée
fonction exponentielle de base a. On peut ainsi considérer que la fonction
exponentielle est la fonction exponentielle de base e.

Définition 
La fonction exp est l'unique fonction continue de ℝ dans ℝ* transformant une
somme en produit, c'est-à-dire vérifiant l'équation fonctionnelle et prenant la
valeur e en 1.

u ∈ ℝ, f(u+v)=f(u)f(v)

et dont la dérivée prend la valeur 1 en


0.
On s'inspire de l'égalité
exp(p/q) = ep/q  pour tous entiers q > 0 et p
Pour introduire une nouvelle notation pour la fonction exp : 
exp(x) = ex pour tout réel x.
Toutes les fonctions exponentielles de base a s'expriment à l'aide de la
fonction exp et de la fonction logarithme népérien :

expa(x) =ax = exln(a)

Par une série


Enfin, en appliquant la méthode de recherche de solutions analytiques des
équations différentielles linéaires, on peut définir l'application
exponentielle exp ou encore x ↦ ex comme la somme d'une série
entière de rayon de convergence infini 

Vous aimerez peut-être aussi