Exponentielle de base $a$

Principales caractéristiques
Notation	ou
Réciproque	ou
Dérivée
Primitives
Ensemble de définition
Ensemble image
Valeur en zéro	1
Limite en +∞	si ; si
Limite en −∞	si ; si

En analyse réelle, l'exponentielle de base $a$ est la fonction notée $exp a$ qui, à tout réel $x$ , associe le réel $a x$ . Elle n'a de sens que pour un réel $a$ strictement positif. Elle étend à l'ensemble des réels la fonction, définie sur l'ensemble des entiers naturels, qui à l'entier $n$ associe $a n$ . C'est donc la version continue d'une suite géométrique.

Elle s'exprime à l'aide des fonctions usuelles exponentielle et logarithme népérien sous la forme

\exp _{a}(x)=a^{x}={\rm {e}}^{x\ln(a)}.

Elle peut être définie comme la seule fonction continue sur ℝ, prenant la valeur $a$ en $1$ et transformant une somme en produit.

Pour $a$ différent de $1$ , c'est la réciproque de la fonction logarithme de base $a$ . On appelle d'ailleurs parfois ces fonctions les fonctions antilogarithmes. Le cas $a = e$ correspond aux fonctions exponentielle et logarithme népérien.

Les fonctions exponentielles sont les seules fonctions dérivables sur ℝ, proportionnelles à leur dérivée et prenant la valeur $1$ en $0$ . Elles permettent de modéliser les phénomènes physiques ou biologiques dans lesquels la vitesse de croissance est proportionnelle à la taille de la population.

On trouve aussi le terme de fonctions exponentielles pour des fonctions dont l'expression est $N a x$ .

De la puissance à l'exponentielle

On considère un réel $a$ strictement positif ; il est facile de définir $a n$ comme le produit de $a$ par lui-même $n$ fois pour tout entier $n$ supérieur ou égal à $1$ ,

\exp _{a}(n)=a^{n}={\underset {n{\text{ fois}}}{\underbrace {a\times a\times \cdots \times a} }}

puis de définir $a 0 = 1$ et $a -n = 1 / a n$ . On démontre aisément la propriété $a n + m = a n \times a m$ . Cette construction, assez naturelle, correspond aux phénomènes dits à croissance ou décroissance exponentielle.

Article détaillé : Suite géométrique.

Exemple 1 : imaginons une population dont la taille augmente de 30 % tous les 10 ans. Si l'on note $N$ la population en 1900, il est facile de calculer la population en 1910, 1920… qui sera de $N \times 1,3$ , puis $N \times 1,3 2$ … pour aboutir au bout de n décennies à $N \times 1,3 n$ . Il est même possible de déterminer la population en 1890, 1880… qui sera de $N \times 1,3 -1$ , $N \times 1,3 -2$ …
Exemple 2 : le carbone 14 a une décroissance radioactive de période $T = 5 730$ ans ce qui veut dire que tous les $T$ ans, le nombre de particules radioactives a été divisé par 2. Si l'on mesure, à un instant donné, le nombre $N$ de particules radioactives, au bout de $n$ périodes, le nombre de particules radioactives n'est plus que de $N \times (1/2) n$ .

La question qui se pose est de déterminer la taille de la population ou le nombre de particules radioactives entre deux mesures (la décennie pour la population ou la période pour la particule). Il s'agit donc de « combler les trous entre les entiers ». Une tentative peut être faite grâce à la racine $n$ -ième : si la population a été multipliée en 10 ans par 1,3, on cherche à déterminer par combien elle est multipliée chaque année. Elle est multipliée par un réel $q$ tel que $q 10 = 1,3$ , c'est-à-dire $q = 10 \sqrt 1,3$ que l'on note $1,3 1/10$ .

On est donc capable de définir $a r$ pour des exposants non entiers :

\exp _{a}(1/q)=a^{1/q}={\sqrt[{q}]{a}}

\exp _{a}(p/q)=a^{p/q}=({\sqrt[{q}]{a}})^{p}={\sqrt[{q}]{a^{p}}}

.

On a ainsi « comblé les trous » et défini $a r$ pour tout $r$ rationnel. Pour définir $a x$ pour tout réel $x$ , il faut ajouter un argument de continuité : tout réel $x$ est « aussi proche que l'on veut » d'un rationnel $p / q$ ; la valeur de $a x$ sera alors « proche de » $a p / q$ .

Cette idée intuitive de ce que pourrait être $a x$ apparaît très tôt — en même temps que la notation exponentielle, c'est-à-dire dès le XVII^e siècle^[1]. Mais il faudra attendre les siècles suivants pour voir en $x \mapsto a x$ :

une fonction ;
vérifiant $a x + y = a x a y$ , c'est-à-dire transformant une somme en produit ;
continue ;
réciproque d'une fonction logarithme (qui transforme un produit en somme) ;
dérivable et dont la dérivée est proportionnelle à la fonction.

Définitions

Il existe plusieurs points d'entrée possibles pour la définition de la fonction exponentielle : par ses propriétés algébriques (transforme une somme en produit), par la propriété de sa dérivée (dérivée proportionnelle à la fonction), ou par ses relations avec la fonction exponentielle et la fonction logarithme népérien.

Par la propriété algébrique

Article détaillé : Équation fonctionnelle de Cauchy.

Définition — On appelle fonction exponentielle réelle, toute fonction de R dans R, non identiquement nulle et continue en au moins un point, transformant une somme en produit, c'est-à-dire vérifiant l'équation fonctionnelle

\forall u,v\in \mathbb {R} \quad f(u+v)=f(u)\times f(v).

Une telle fonction $f$ est continue et strictement positive et pour tout réel $a > 0$ , l'unique $f$ telle que $f (1) = a$ est appelée exponentielle de base $a$ et se note $exp a$ .

Autrement dit : ces fonctions sont les morphismes continus de (R, +) dans (R₊*, ×), et sont en bijection avec R₊* via $f \mapsto f (1)$ .

La relation

f(u)=f\left(2{\frac {u}{2}}\right)=\left[f\left({\frac {u}{2}}\right)\right]^{2}

assure que la fonction est à valeurs positives.

L'équation fonctionnelle garantit de plus que toutes ces valeurs sont non nulles dès que l'une d'entre elles l'est.

Puis, des considérations analogues à celles développées dans la section précédente assurent l'existence^[2] et l'unicité^[3], pour tout réel $a > 0$ , d'une fonction $f$ définie sur les rationnels, vérifiant l'équation fonctionnelle, et prenant en 1 la valeur $a$ .

On démontre^[3] la continuité et — par densité de ℚ dans ℝ — l'unicité d'une fonction vérifiant l'équation fonctionnelle, prenant en $1$ la valeur $a$ , et continue en au moins un point. Son existence s'obtient par prolongement par continuité :

Détails

On vérifie facilement que la fonction $x \mapsto a x$ (définie pour l'instant seulement sur les rationnels) est monotone et que la suite $a 1/2 n$ converge vers 1. Ceci, joint à l'équation fonctionnelle, permet de montrer que la fonction est Cauchy-continue sur ℚ, donc prolongeable par continuité à ℝ. Par continuité et densité, ce prolongement à ℝ vérifie encore l'équation fonctionnelle.

On peut remarquer que — hormis la fonction constante $1$ , qui correspond à $a = 1$ — toutes ces applications $f : ℝ \to ]0, +\infty[$ sont bijectives. Ce sont donc des isomorphismes de (R, +) dans (R₊*, ×).

On prouve qu'alors $f$ est dérivable et vérifie l'équation différentielle :

f'(x)=f'(0)\times f(x)\quad {\text{et}}\quad f(0)=1.

Démonstrations

1^re méthode. — D'après le § « Par une équation différentielle » ci-dessous, les fonctions $g k : x \mapsto exp(kx)$ vérifient $g' k = kg k$ , $g k (0) = 1$ et transforment les sommes en produits. Pour $k = exp -1 (a)$ , on a $g k (1) = a$ donc par unicité, $g k = f$ .

2^e méthode. — Pour démontrer qu'une fonction continue transformant une somme en produit est nécessairement dérivable, on peut s'appuyer sur le fait qu'une fonction continue possède des primitives^[4]. Si l'on note $F$ une primitive de $f$ , on peut écrire

\int _{0}^{1}f(x)f(t)\mathrm {d} t=f(x)\int _{0}^{1}f(t)\mathrm {d} t=f(x)(F(1)-F(0))

mais aussi

\int _{0}^{1}f(x)f(t)\mathrm {d} t=\int _{0}^{1}f(x+t)\mathrm {d} t=F(x+1)-F(x).

La fonction $f$ étant strictement positive, $F$ est strictement croissante et $F (1) - F (0)$ est alors non nul. En confrontant les deux égalités, on peut écrire

f(x)={\frac {F(x+1)-F(x)}{F(1)-F(0)}},

ce qui prouve que, $f$ s'exprimant comme combinaison linéaire de fonctions dérivables, $f$ est dérivable.

En dérivant l'égalité

f(x+u)=f(x)f(u)

par rapport à $x$ , on obtient

f'(x+u)=f'(x)f(u)

puis, en prenant $x$ égal à $0$ ,

f'(u)=f'(0)f(u).

À l'aide de la fonction exponentielle et de la fonction logarithme népérien

Définition — Soit $a$ un réel strictement positif. On appelle fonction exponentielle de base $a$ la fonction définie sur ℝ par

f(x)={\rm {e}}^{x\ln(a)}\,

où $x \mapsto e x$ est la fonction exponentielle et $ln$ la fonction logarithme népérien.

Cette fonction est bien continue, transforme une somme en produit et prend la valeur $a$ en 1.

Par une équation différentielle

Définition — On appelle fonction exponentielle toute fonction dérivable vérifiant l'équation différentielle et la condition initiale suivantes :

f'=kf\quad {\text{et}}\quad f(0)=1

où $k$ est un réel quelconque.

On peut remarquer que pour une telle fonction, $k$ est la valeur de la dérivée en 0.

En supposant seulement connue l'existence d'une solution pour $k = 1$ (la fonction $exp$ ), une solution évidente pour $k$ quelconque est la fonction $x \mapsto exp(kx)$ .

On montre^[5] que cette solution est la seule. De plus, la solution transforme toute somme en produit^[6], donc sa définition coïncide avec celle ci-dessus « Par la propriété algébrique », pour $a = exp(k)$ .

Comme réciproque des fonctions logarithmes

Définition — Soit $a$ un réel strictement positif, différent de $1$ . La fonction logarithme de base $a$ est une bijection de R*₊ dans R. On appelle fonction exponentielle de base $a$ sa bijection réciproque :

{\bigl (}x\in \mathbb {R} ,\quad y=\exp _{a}(x){\bigr )}\Leftrightarrow {\bigl (}y\in \left]0,+\infty \right[,\quad x=\log _{a}(y){\bigr )}.

La fonction logarithme étant continue, transformant un produit en somme et prenant la valeur $1$ en $a$ , sa bijection réciproque est continue, transforme une somme en produit et prend la valeur $a$ en $1$ .

Propriétés

Propriétés algébriques

Pour tous réels strictement positifs $a$ et $b$ et pour tous réels $x$ et $y$ :
$a^{x}=\exp(x\ln(a))={\rm {e}}^{x\ln(a)},\quad a^{x}=b^{x\log _{b}(a)},\quad a^{xy}=\left(a^{x}\right)^{y}.$
Les applications $exp a : x \mapsto a x$ sont des morphismes de groupes (abéliens) de (R, +) dans (R₊*, ×) :
$a^{x+y}=a^{x}a^{y},\quad a^{0}=1,\quad {\frac {1}{a^{x}}}=a^{-x}.$
Ces morphismes constituent un groupe isomorphe à (R₊*, ×) (via $a \mapsto exp a$ ) — donc aussi à (R, +) :
$a^{x}b^{x}=(ab)^{x},\quad 1^{x}=1,\quad {\frac {1}{a^{x}}}=\left({\frac {1}{a}}\right)^{x},\quad a^{1}=a.$

Étude de fonction

La fonction exponentielle de base $a$ est indéfiniment dérivable sur R et sa dérivée a pour expression

\exp _{a}'(x)=\ln(a)\,\exp _{a}\!(x)

.

Puisque la fonction exponentielle est toujours positive, le signe de sa dérivée ne dépend que du signe de $ln(a)$ . La fonction est donc strictement croissante lorsque la base $a$ est strictement plus grande que $1$ ; elle est strictement décroissante quand la base est inférieure à $1$ et constante si on a pris pour base $a = 1$ .

Les limites de la fonction exponentielle de base $a$ dépendent de la position de $a$ par rapport à $1$ :

si $a > 1$ alors $\lim _{x\to +\infty }a^{x}=+\infty \quad {\rm {et}}\quad \lim _{x\to -\infty }a^{x}=0~;$
si $a < 1$ alors $\lim _{x\to +\infty }a^{x}=0\quad {\rm {et}}\lim _{x\to -\infty }a^{x}=+\infty .$

La fonction exponentielle a un comportement prévisible par rapport à la fonction puissance : en cas d'indétermination en $+\infty$ , c'est l'exponentielle qui l'emporte :

pour tous réels

a > 1

et

b

,

\lim _{x\to +\infty }{\frac {a^{x}}{x^{b}}}=+\infty .

Elle est à la fois logarithmiquement convexe (donc convexe) et logarithmiquement concave (en).

Notes et références

↑ Leibniz n'hésite pas à utiliser la notation $a x$ sans avoir une idée claire de ce que vaudrait $a \sqrt 2$ .
↑ Voir par exemple le chapitre « Fonction racine n-ième » sur Wikiversité.
↑ ^{a et b} Voir par exemple cet exercice corrigé de la leçon sur la fonction exponentielle sur Wikiversité.
↑ Ce procédé s'applique à beaucoup d'équations fonctionnelles. Cf. Dominique Hoareau, « Intégrer pour mieux dériver », sur MégaMaths.
↑ Voir par exemple le chapitre « L'exponentielle comme solution d'une équation différentielle » sur Wikiversité.
↑ Voir par exemple le chapitre « Propriétés algébriques de l'exponentielle » sur Wikiversité.

Voir aussi

Sur les autres projets Wikimedia :

Fonction exponentielle, sur Wikiversity

Portail de l'analyse

[1] Leibniz n'hésite pas à utiliser la notation $a x$ sans avoir une idée claire de ce que vaudrait $a \sqrt 2$ .

[2] Voir par exemple le chapitre « Fonction racine n-ième » sur Wikiversité.

[Exo-3] {a et b} Voir par exemple cet exercice corrigé de la leçon sur la fonction exponentielle sur Wikiversité.

[4] Ce procédé s'applique à beaucoup d'équations fonctionnelles. Cf. Dominique Hoareau, « Intégrer pour mieux dériver », sur MégaMaths.

[5] Voir par exemple le chapitre « L'exponentielle comme solution d'une équation différentielle » sur Wikiversité.

[6] Voir par exemple le chapitre « Propriétés algébriques de l'exponentielle » sur Wikiversité.

[1]

[2]

[3]

[4]

[5]

[6]

v · m Fonctions mathématiques usuelles
Fonction algébrique rationnelle	Fonction polynomiale Fonction fractionnaire
Fonction algébrique irrationnelle	Fonction puissance / Fonction racine
Fonction transcendante	Fonction logarithmique / Fonction exponentielle de base a Fonction logarithme naturel / Fonction exponentielle Fonction circulaire / Fonction circulaire réciproque Fonction hyperbolique / Fonction hyperbolique réciproque Fonction elliptique / Fonction intégrale elliptique

v · m Puissances de nombres entiers
Quel que soit a non nul : a⁰ = 1 Quel que soit n : 1ⁿ = 1 4ⁿ = 2^2.n 8ⁿ = 2^3.n 9ⁿ = 3^2.n 16ⁿ = 2^4.n Les valeurs sont accessibles jusqu'à 10 milliards exclu.
Puissances de 2	2¹ 2² 2³ 2⁴ 2⁵ 2⁶ 2⁷ 2⁸ 2⁹ 2¹⁰ 2¹¹ 2¹² 2¹³ 2¹⁴ 2¹⁵ 2¹⁶ 2¹⁷ 2¹⁸ 2¹⁹ 2²⁰ 2²¹ 2²² 2²³ 2²⁴ 2²⁵ 2²⁶ 2²⁷ 2²⁸ 2²⁹ 2³⁰ 2³¹ 2³² 2³³
Puissances de 3	3¹ 3² 3³ 3⁴ 3⁵ 3⁶ 3⁷ 3⁸ 3⁹ 3¹⁰ 3¹¹ 3¹² 3¹³ 3¹⁴ 3¹⁵ 3¹⁶ 3¹⁷ 3¹⁸ 3¹⁹ 3²⁰
Puissances de 5	5¹ 5² 5³ 5⁴ 5⁵ 5⁶ 5⁷ 5⁸ 5⁹ 5¹⁰ 5¹¹ 5¹² 5¹³ 5¹⁴
Puissances de 6	6¹ 6² 6³ 6⁴ 6⁵ 6⁶ 6⁷ 6⁸ 6⁹ 6¹⁰ 6¹¹ 6¹²
Puissances de 7	7¹ 7² 7³ 7⁴ 7⁵ 7⁶ 7⁷ 7⁸ 7⁹ 7¹⁰ 7¹¹
Puissances de 10	10¹ 10² 10³ 10⁴ 10⁵ 10⁶ 10⁷ 10⁸ 10⁹
Puissances de 11	11¹ 11² 11³ 11⁴ 11⁵ 11⁶ 11⁷ 11⁸ 11⁹
Puissances de 12	12¹ 12² 12³ 12⁴ 12⁵ 12⁶ 12⁷ 12⁸ 12⁹
Puissances de 13	13¹ 13² 13³ 13⁴ 13⁵ 13⁶ 13⁷ 13⁸
Puissances de 14	14¹ 14² 14³ 14⁴ 14⁵ 14⁶ 14⁷ 14⁸
Puissances de 15	15¹ 15² 15³ 15⁴ 15⁵ 15⁶ 15⁷ 15⁸
Puissances de 17	17¹ 17² 17³ 17⁴ 17⁵ 17⁶ 17⁷ 17⁸
Puissances de 18	18¹ 18² 18³ 18⁴ 18⁵ 18⁶ 18⁷
Puissances de 19	19¹ 19² 19³ 19⁴ 19⁵ 19⁶ 19⁷
Puissances de 20	20¹ 20² 20³ 20⁴ 20⁵ 20⁶ 20⁷
Exponentielle Histoire des logarithmes et des exponentielles

Notation	$\exp _{a}(x)$ ou $a^{x}$
Réciproque	$\log _{a}(x)$ ou ${\frac {\ln(x)}{\ln(a)}}$
Dérivée	$\ln(a)\exp _{a}(x)$
Primitives	${\frac {\exp _{a}(x)}{\ln(a)}}+C$