CHAPITRE 1. FONCTION EXPONENTIELLE
•Unicité
Si gest une fonction telle que g′=get g(0) = 1, la fonction h=g
fest définie (car fne s’annule pas sur R, cf. prop.1)
et est dérivable sur R. On a h′=g′f−gf′
f2or f′=fet g′=g, d’où h′= 0 et donc hest constante sur R.
Pour tout réel x,h(x) = h(0) = 1 c’est-à-dire g(x) = f(x) et donc f=g.
Théorème 2
Soit kun réel donné.
Il existe une unique fonction f, dérivable sur R, telle que f′=kf et f(0) = 1.
Cette fonction fest définie sur Rpar f(x) = exp(kx).
■Démonstration :
Soit la fonction fdéfinie sur Rpar f(x) = exp(kx) avec kréel donné.
On a f(0) = exp(0) = 1 de plus pour tout réel xon a f′(x) = kexp(kx) = kf (x). La fonction fest bien une solution de
l’équation différentielle f′=kf avec f(0) = 1.
•Unicité
Si gest une fonction telle que g′=kg et g(0) = 1, comme la fonction exponentielle ne s’annule pas, on peut définir pour
tout réel x, la fonction φ(x) = g(x)
exp(kx).
La fonction φest dérivable sur Ret on a
φ′(x) = g′(x) exp(kx)−kg(x) exp(kx)
exp(kx)2
φ′(x) = kg(x)−kg(x)
exp(kx)
φ′(x) = 0.
La fonction φest constante sur R, or φ(0) = g(0)
exp(0) = 1.
On en déduit que pour tout réel x, φ(x) = 1 soit g(x)
exp(kx)= 1 et donc g(x) = exp(kx)
Théorème 3
Soit fune fonction non-nulle et dérivable sur R.
Les propositions suivantes sont équivalentes :
(1) Pour tous réels xet y,f(x+y) = f(x)×f(y).
(2) Il existe un réel ktel que pour tout réel x,f(x) = exp(kx).
■Démonstration :
Prop. (1)⇒Prop. (2)
Soit fune fonction non-nulle dérivable sur Rtelle que pour tous réels xet y,f(x+y) = f(x)×f(y)
1. Montrer que f(0) = 1
2. Soit yun réel fixé et φla fonction définie sur Rpar φ(x) = f(x+y) = f(x)f(y).
Montrer que φest dérivable sur Ret calculer φ′(x).
3. Calculer φ′(0) et déduire que pour tout réels y,f′(y) = kf(y) avec kun réel à déterminer.
4. Conclure que pour tous réels xet y,f(x) = exp(kx)×f(y) (2)
Prop. (2)⇒Prop.(1)
Soit fune fonction non-nulle et dérivable sur Rtelle qu’il existe un réel ktel que pour tout réel x,f(x) = exp(kx).
1. Montrer que pour tout réel x,f′(x) = kf(x).
2. Soit yun réel fixé et gla fonction définie sur Rpar g(x) = f(x+y)f(−x)
Montrer que gest dérivable sur Ret calculer g′(x).
3. Calculer g(0) et déduire que pour tous xet yréels, f(x+y)f(−x) = f(y).
4. Conclure que pour tous réels xet y,f(x+y) = f(x)×f(y) (1)
2