Fonct nction Exponentielle elle

I. Dfinition de e la fonction exponentie tielle

Soit (E) l'quation diffrentielle lle fonction solution de cette equa uation. avec . On admet qu' u'il existe une

Lemme
Si est une fonction solution d de (E), alors pour tout , .

Proprit et dfinition :
Il y a une unique fonction solut lution de (E). Cette solution est appel fonction ne exponentielle et est note . Dmonstration : Soit une fonction solution de (E) et on pose est dfini sur , drivable et :

donc

est constante sur

Pour tout rel, Consquence :

donc pour tout rel

et

est une fonction stricteme ment positive. La dernire consquence vient nt du fait que cette fonction est continue sur ne s'annnule pas. (car drivable) et

II. Proprit alg algbrique de l'exponenti ntielle

Proprit 1
Pour tous rels et

Dmonstration de la proprit 1: Soit la fonction est drivable sur

et d'o donc ca car pour tout ut rel

Proprit 2
Pour tous rels et

Dmonstration de la proprit 2:

(On pr procde par raisonnement par rcurrence) Pour Pour , Pour , ,

Notations simplifies : n'est pas rationnel ( alors

), il i est transcendant et irrationnel. ,

Proprits
Par extension, si , sera not alors les proprits vues s'cr crivent :

Remarque : don onc pour tout rel ,

III. tude de la f fonction exponentielle lle

La fonction exponentielle est td dfinie et drivable sur .

La courbe admet une tangente te de coefficient directeur 1 au point de coordon onnes (0 ; 1) et de coefficient directeur e au point int de coordonnes (1 ; e).

Limites de
Proprits

aux bor ornes de son ensemble de dfini inition

Dmonstrations : Montrons que pour tout Soit , ( est croissante sur ). , et pour on a d'o

Pour tout

d'o

donc

Proprits
Pour tout ,

Dmonstration :

Montrons d'abord que Pour cela, on tablit que pour Posons , ,

Pour tout

donc

d'o pour tout

or D'autre part :

d'o et

(avec d'o

On pose

(lorsque

te vers tend

tend vers

d'o

IV. Drive de
Si sur est dfinie et drivable sur su et De manire gnrale :

- Primitive associe
de , la fonction est dfini inie et drivable (Fonction compose)