Fonctions égales à leur dérivée

Il y a quelques temps de cela, j’avais posté sur Twitter l’animation suivante:Cette animation était accompagnée du (bref) commentaire suivant :

« Les fonctions exponentielles $f(x) = k \times \text{e}^{x}$ sont les seules fonctions égales à leur dérivée »

C’est une affirmation bien téméraire que j’avais fait là ! Comme le disait Euclide, « ce qui est affirmé sans preuve peut être réfuté sans preuve », donc nous n’allons surtout pas contrarier Euclide et nous allons prouver cette affirmation.

Explication de l’animation

Avant même de démontrer cette propriété, il est peut-être utile d’expliquer en quoi cette animation illustre le fait que les fonctions $x \mapsto k \times \text{e}^{x}$ sont égales à leur dérivée.

Si on se donne la courbe d’une fonction, il est facile de lire l’image d’un point $x$ : il suffit de « monter » jusque la courbe et de lire l’ordonnée:Pour lire graphiquement la dérivée, il faut se souvenir que le nombre dérivé en un point n’est rien d’autre que le coefficient directeur de la tangente en ce point. Vous vous souvenez aussi sans doute de comment lire graphiquement le coefficient directeur d’une droite: on part de n’importe quel point de cette droite, on se décale d’une unité vers la droite et le coefficient directeur est le nombre d’unités qu’il faut parcourir verticalement pour retourner sur la droite.Dans l’animation, nous voyons que les deux segments représentant les distances $f(x)$ et $f'(x)$ sont de même longueur, quelque soit l’abscisse $x$ à laquelle on se trouve: cela veut bien dire que la fonction $x \mapsto k \times \text{e}^{x}$ qui est tracée est égale à sa dérivée.Cette animation illustre donc bien le fait que les fonctions de la forme $x \mapsto k \times \text{e}^{x}$ sont égales à leur dérivée, mais elle n’explique ni pourquoi c’est le cas, ni pourquoi il ne peut y avoir d’autres fonctions qui vérifient cela.

Heuristique

Avant de faire une vraie démonstration mathématique de l’affirmation donnée au début de l’article, à savoir que les seules fonctions égales à leur dérivée sont les fonctions de la forme $x \mapsto k \times \text{e}^{x}$ , essayons de comprendre pourquoi si une fonction est égale à sa dérivée, alors c’est forcément une fonction exponentielle. Pour cela, nous allons commettre l’irréparable: nous allons faire un raisonnement « à la physicienne » (je sens que je ne vais pas me faire que des amis…)

On considère une fonction $f$ . Si cette fonction est égale à sa dérivée alors $f'(x) = f(x)$ donc, en divisant par $f(x)$ ,

$\dfrac{f'(x)}{f(x)} = 1 \quad (\star)$

D’une part, nous savons qu’une primitive de $\dfrac{f'(x)}{f(x)}$ est $\ln(f(x))$ . D’autre part, nous savons qu’une primitive de $x\mapsto 1$ est $x \mapsto x + C$ où $C$ est une constante. Ainsi, en « primitivant » l’égalité $(\star)$ , on obtient

$\ln(f(x)) = x + C$

En prenant l’exponentielle des deux côtés, on a alors

$f(x) = \text{e}^{x + C} \iff f(x) = \text{e}^C \times \text{e}^x$

En posant $k=\text{e}^C$ , on voit donc que $f$ est de la forme $f(x) = k \times\text{e}^x$ .

J’entends déjà certains hurler que ce raisonnement n’est pas du tout rigoureux (« Je pensais qu’on faisait des maths sur Blogdemaths ! C’est inadmissible ! ») et ils auraient raison. Voyez-vous pourquoi ? Il y a deux raisons à cela:

Tout d’abord, une primitive de $\dfrac{f'(x)}{f(x)}$ est $\ln(|f(x)|)$ et non $\ln(f(x))$ .
Ensuite, on a divisé par $f(x)$ dès le départ, mais rien ne nous dit que $f$ ne s’annule pas !

Nous avons donc commis deux pêchés capitaux en mathématiques: prendre le logarithme d’un nombre qui peut être négatif et diviser par zéro ! Pour nous repentir, nous allons donner une vraie démonstration mais vous allons voir qu’il faut peu de choses pour rendre notre explication précédente rigoureuse. A commencer par utiliser des produits plutôt que des quotients.

Une démonstration plus rigoureuse

Soit $f$ une fonction définie sur $\mathbb{R}$ .

a) Si $f$ est de la forme $x \mapsto k \times \text{e}^{x}$ alors il est aisé de calculer sa fonction dérivée: $f'(x) = k \times \text{e}^{x}$ donc $f$ est bien égale à sa dérivée. Facile.

b) Réciproquement, si $f$ est égale à sa dérivée, il s’agit de montrer qu’elle est de la forme $f(x) = k \times \text{e}^x$ . Comme pour tout $x$ , $f(x) = f'(x)$ alors

$f'(x) - f(x) = 0 \quad \quad (\star \star)$

Jusque-là, rien de bien folichon. L’idée va être d’interpréter cette égalité comme étant de la forme $u' \times v + u \times v'$ de façon à pouvoir en prendre une primitive à l’aide de la formule de dérivation $(u \times v)' = u' \times v + u \times v'$ . Pour cela, on multiplie la relation $(\star \star)$ par $\text{e}^{-x}$ ce qui va justement faire marcher les choses. Plus précisément, cela donne:

$f'(x) \times \text{e}^{-x} - f(x) \times \text{e}^{-x} =0$

On réécrit cette égalité sous la forme suivante:

$f'(x) \times \text{e}^{-x} + f(x) \times \left(- \text{e}^{-x} \right) = 0 \quad \quad (\star \star \star )$

On reconnaît alors à gauche une expression de la forme $u' \times v + u \times v'$ avec

$u= f(x)$ et $v = \text{e}^{-x}$

Comme $u' \times v + u \times v'$ est la dérivée de $(u \times v) '$ , en primitivant des deux côtés la relation $(\star \star \star)$ , on a

$f(x) \times \text{e}^{-x} = k$ où $k$ est une constante

En faisant passer l’exponentielle de l’autre côté, on obtient finalement que

$\boxed{ f(x) = k \times \text{e}^{x} }$

Fonctions proportionnelles à leur dérivée

L’idée précédente de faire apparaître la forme $u' \times v + u \times v'$ en multipliant par la bonne fonction peut se généraliser au cas où on cherche les fonctions qui sont, non pas égales à leur dérivée, mais proportionnelles à leur dérivée.

Par exemple, si on souhaite déterminer toutes les fonctions égales à deux fois leur dérivée, cela revient à chercher les fonctions $f$ telles que $f(x) = 2 f'(x)$ . Ainsi,

$2 f'(x) - f(x) = 0 \iff f'(x) + f(x) \times \left(-\dfrac{1}{2} \right) = 0$

En multipliant des deux côtés par $\text{e}^{\frac{-1}{2} x}$ (dont la dérivée est $\frac{-1}{2} \text{e}^{\frac{-1}{2} x}$ ), on a :

$f'(x) \times \text{e}^{\frac{-1}{2} x} + f(x) \times \left(\dfrac{-1}{2} \right)\text{e}^{\frac{-1}{2}} = 0$

c’est-à-dire $u' \times v + u \times v' = 0$ avec $u = f(x)$ et $v' = \text{e}^{-\frac{1}{2} x}$ . En primitivant cette relation, on obtient alors que le produit $u \times v$ est constant, c’est-à-dire:

$\exists k \in \mathbb{R}, f(x) \times \text{e}^{-\frac{1}{2} x} = k$

et en passant l’exponentielle de l’autre côté, on voit donc qu’une fonction qui est égale à deux fois sa dérivée est nécessairement de la forme $\boxed{ f(x) = k \times \text{e}^{\frac{1}{2} x} }$

Vers les équations différentielles linéaires du 1er ordre

Sur ce principe, on peut résoudre n’importe quelle équation différentielle linéaire du premier ordre c’est-à-dire une équation de la forme:

$f'(x) + a(x) \times f(x) = 0$

où la fonction $f$ est l’inconnue et où la fonction $a$ est une fonction continue donnée (par exemple, pour les fonctions égales à leur dérivée, on avait $a(x) = -1$ qui était donc une fonction constante). En suivant ce que nous avons dit précédemment, on va multiplier l’égalité précédente par une fonction du type $\text{e}^{G(x)}$ (où $G$ est une fonction à déterminer) afin de faire apparaître la forme $u' v + u v'$ :

$f'(x) \times \text{e}^{G(x)} + f(x) \times \left(a(x) \times \text{e}^{G(x)}\right) = 0 \quad \quad (\clubsuit)$

Toujours comme précédemment, on pose $u= f(x)$ et $v = \text{e}^{G(x)}$ . Comme la dérivée de $\text{e}^{G(x)}$ est $G'(x) \times \text{e}^{G(x)}$ , il suffit donc que la fonction $G$ soit une primitive de la fonction $a$ (dont on sait qu’elle existe car toute fonction continue sur un intervalle possède une primitive sur cet intervalle) pour qu’on ait bien $v' = a(x) \times \text{e}^{G(x)}$ . En supposant cela, si on primitive la relation $(\clubsuit)$ , on obtient

$\exists k \in \mathbb{R}, f(x) \times \text{e}^{G(x)} = k \iff f(x) = k \times \text{e}^{-G(x)}$ .

Voici donc ce que nous avons prouvé:

Soit $a$ une fonction continue sur un intervalle $I$ . Les fonctions définies sur $I$ solutions de l’équation différentielle $f'(x) + a(x) \times f(x) =0$ sont les fonctions $f$ de la forme

$f(x) = k \times \text{e}^{-G(x)}$

où $G$ est une primitive de la fonction $a$ sur $I$ .

Je pense qu’avec tout ça, Euclide devrait être satisfait !

4 commentaires pour Fonctions égales à leur dérivée

Pierre Lecomte dit :

4 décembre 2017 à 0 h 01 min

C’est joli mais je me demande un peu, à vous lire, ce qu’est une fonction … Vous ne semblez pas vous préoccuper des domaines de définitions.

J’aimeJ’aime

Réponse
- blogdemaths dit :
  
  4 décembre 2017 à 13 h 08 min
  
  En effet ! Disons que toutes les fonctions dont on parle sont définies sur R.
  
  J’aimeJ’aime
  
  Réponse
AFAN EDEM AHOUAGA dit :

24 mars 2018 à 19 h 33 min

Bonjour m. Je trouve vos explications fortes et concises surtout pour cette équation dont nous avons eu la reponse en terminale S sans démonstrations. Je vous remercie.
Je viens par ailleurs vous demander la repose pour cette inégalité posée aux enfants pour preparer les olympiades.

EXO : pour tout x, y,z positif, quelle est la valeur maximale de. xyz/[(x+1)(x+y) (y+z) (z+16)] .

Ma réponse est 1/81 pour x =2 , y=4, z =8. Pour déterminer, etant donner que x +1et z+16 casse la symétrie de l’ expression en dénominateur, j’ai aligné x +y et y +z sur x +1 (apres avoir gambergé 3 jours) en posant
y =x^2 et z = x^3 ce qui donne x+y = x (x+1) , y+z= x^2 (x+1) et z+16 = x^3 + 16 ce qui donne une expression sur x qui simplifiée donne
x^3/ [(x+1)^3 . (x^3 + 16)].
En derivant j’ obtient au numérateur 16 – x^4 et ainsi x =2 est un extremum et de là j’obtiens y=4 et z=8.

Je vous rapelle que je n’ai pas fait les math supérieures pour aller avec les dérivées partielles. Aidez moi pour avoir une reponse correcte et rigoureuse.
Merci d’ avance.

J’aimeJ’aime

Réponse
Anonyme dit :

20 avril 2018 à 19 h 26 min

je remercie ce monsieur de tout ses efforts envers cette societe

J’aimeJ’aime

Réponse

Votre commentaire Annuler la réponse.

Entrez votre commentaire...

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

E-mail (adresse strictement confidentielle)

Nom

Site web

Vous commentez à l’aide de votre compte WordPress.com. ( Déconnexion / Changer )

Vous commentez à l’aide de votre compte Twitter. ( Déconnexion / Changer )

Vous commentez à l’aide de votre compte Facebook. ( Déconnexion / Changer )

Annuler

Connexion à %s

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur la façon dont les données de vos commentaires sont traitées.