« Fonction exponentielle/L'exponentielle comme solution d'une équation différentielle » : différence entre les versions
m clr |
Aucun résumé des modifications |
||
Ligne 30 : | Ligne 30 : | ||
# Proposition 1: Pour tout <math>n\in \N</math> tel que <math>n+1 > |x|</math>, on a <math>\left( 1+\frac{x}{n}\right)^n \leq \left( 1+\frac{x}{n+1}\right)^{n+1}\leq \left( 1-\frac{x}{n+1}\right)^{-n-1}\leq \left( 1-\frac{x}{n}\right)^{-n}</math> |
# Proposition 1: Pour tout <math>n\in \N</math> tel que <math>n+1 > |x|</math>, on a <math>\left( 1+\frac{x}{n}\right)^n \leq \left( 1+\frac{x}{n+1}\right)^{n+1}\leq \left( 1-\frac{x}{n+1}\right)^{-n-1}\leq \left( 1-\frac{x}{n}\right)^{-n}</math> |
||
# Conséquence: La suite <math>(u_n(x))</math> est convergente. |
# Conséquence: La suite <math>(u_n(x))</math> est convergente. |
||
A partir du rang <math>n>|x|</math>, la suite <math>(u_n(x))</math> est croissante et majorée par <math>\left( 1-\frac{x}{E(x)}\right)^{-E(x)}</math> |
|||
'''Étude de la limite de la suite <math>(u_n(x))</math>''' : |
'''Étude de la limite de la suite <math>(u_n(x))</math>''' : |
||
Notons <math>\ell (x)</math> la limite de la suite <math>(u_n(x))</math>. |
Notons <math>\ell (x)</math> la limite de la suite <math>(u_n(x))</math>. |
||
# Proposition |
# Proposition 2: Pour h>-1, <math>\ell (x+h)-\ell(x) \geq \ell(x)h</math>. |
||
Il suffit d'appliquer le lemme et de faire tendre <math>n</math> vers <math>+\infty</math>. |
|||
On obtient alors <math>\ell(x+h) \geq (1+h) \ell(x)</math>. |
|||
# Corollaire 1: Pour h<1, <math>(1-h) \ell(x+h)\leq \ell(x)</math>. |
# Corollaire 1: Pour h<1, <math>(1-h) \ell(x+h)\leq \ell(x)</math>. |
||
On applique la proposition 2 en remplaçant <math>h</math> par <math>-h</math> et <math>x</math> par <math>x+h</math> |
|||
# Corollaire 2: Ainsi, en combinant les deux inégalités précédentes, on a, pour <math>|h|<1</math>, <math>\ell(x) h \leq \ell(x+h)-\ell(x) \leq \frac{h}{1-h}\ell(x)</math>. |
# Corollaire 2: Ainsi, en combinant les deux inégalités précédentes, on a, pour <math>|h|<1</math>, <math>\ell(x) h \leq \ell(x+h)-\ell(x) \leq \frac{h}{1-h}\ell(x)</math>. |
||
# Corollaire 3: <math>\ell</math> est dérivable sur <math>\R</math> et a pour dérivée elle même, c'est-à-dire: pour tout <math>x\in \R</math>, <math>\ell'(x) = \ell(x)</math>. |
# Corollaire 3: <math>\ell</math> est dérivable sur <math>\R</math> et a pour dérivée elle même, c'est-à-dire: pour tout <math>x\in \R</math>, <math>\ell'(x) = \ell(x)</math>. |
Version du 15 janvier 2010 à 16:44
Exponentielle et équation différentielle
Il existe une unique fonction dérivable de dans , appelée fonction exponentielle et notée exp qui vérifie :
- Pour tout
Autrement dit, l'exponentielle est la seule fonction qui est égale à sa propre dérivée valant 1 en 0.
Existence : L'existence peut être démontrée à l'aide du calcul intégral. On propose ici une démonstration de l'existence à l'aide des suites.
Soit . Introduisons la suite définie, pour tout par .
Convergence de la suite :
- Lemme: Pour tout et tel que , on a .
- Proposition 1: Pour tout tel que , on a
- Conséquence: La suite est convergente.
A partir du rang , la suite est croissante et majorée par
Étude de la limite de la suite :
Notons la limite de la suite .
- Proposition 2: Pour h>-1, .
Il suffit d'appliquer le lemme et de faire tendre vers . On obtient alors .
- Corollaire 1: Pour h<1, .
On applique la proposition 2 en remplaçant par et par
- Corollaire 2: Ainsi, en combinant les deux inégalités précédentes, on a, pour , .
- Corollaire 3: est dérivable sur et a pour dérivée elle même, c'est-à-dire: pour tout , .
Ainsi, la fonction est une solution de .
Unicité :
- Remarquons tout d'abord que f ne s'annule pas sur .
En effet la fonction définie par a pour dérivée :
.
donc est constante et comme ,
on en déduit pour tout x.
Finalement pour tout x donc ne s'annule pas.
- Soit g une autre fonction dérivable sur telle que :
- et ,
alors est défine et dérivable sur (car f ne s'annule pas).
Alors
donc h est constante sur . Or donc .
Calculatrice
Pour prendre l'exponentielle d'un nombre, on utilise la touche « ex ».
On effectue souvent cette opération en utilisant le préfixe « seconde » ou « shift » suivi de la touche ln.
Exemples
Cas général
Pour tout réel k, il existe une unique fonction dérivable sur telle que et .
Cette fonction est .
Existence : .
Unicité : Soit g une autre fonction dérivable sur telle que :
- et ,
alors est défine et dérivable sur (car f ne s'annule pas).
Alors
donc h est constante sur . Or donc .