Dérivée

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff^?).

De nos jours, la dérivation est une notion usuelle et couramment utilisée en analyse fonctionnelle. La dérivabilité, c'est-à-dire le fait d'admettre une dérivée, est une propriété importante de certaines fonctions.

Cet article commencera par une approche intuitive de la notion de dérivée mettant en avant son intérêt dans l'étude des fonctions simples. Puis, un bref rappel historique situera la découverte de ce concept dans son contexte historique et mathématique. Enfin, une définition plus rigoureuse - au sens actuel - et des propriétés s'y référant replaceront la notion de dérivée dans un contexte plus formel.

[modifier] Approche intuitive

Pour approcher cette notion de manière intuitive, commençons par nous donner une courbe représentative d'une fonction dans un repère cartésien, continue, c'est-à-dire tracée d'un seul trait de crayon, et bien « lisse », on dira là que la fonction associée est dérivable.

Quel que soit le point que l'on choisit sur la courbe, on pourra alors tracer ce qu'on appelle une tangente, c'est-à-dire une droite qui épouse localement la direction de cette courbe. Concrètement, si l'on trace la courbe et sa tangente et que l'on s'approche en zoomant suffisamment, on aura de plus en plus de mal à distinguer la courbe de sa tangente. On comprend aisément que si la courbe « monte » (ie si la fonction associée est croissante), la tangente sera également montante ; inversement, si la fonction est décroissante, la tangente sera descendante. Si on se donne une abscisse $x 0$ pour laquelle la fonction $f$ est dérivable, on appelle nombre dérivé de $f$ en $x 0$ le coefficient directeur de la tangente à la courbe au point d'abscisse $x 0$ . Ce réel donne de précieuses informations sur le comportement local d'une fonction : c'est la mesure algébrique de la vitesse à laquelle cette fonction change lorsque sa variable change. Pour une fonction à plusieurs variables, on parle de la dérivée partielle par rapport à l'une de ses variables.

Ainsi, si le nombre dérivé d'une fonction est positif sur un intervalle, cette fonction sera croissante sur ce même intervalle. Inversement, s'il est négatif, elle sera décroissante. Lorsque le nombre dérivé est nul en un point, la courbe admet une tangente horizontale en ce point.

Dans l'exemple ci-contre:

en 0, la courbe descend, donc le nombre dérivé y est négatif (il vaut -1)
en 1, la courbe descend toujours, mais la pente y est moindre (-0,5).
en 2, la courbe est parfaitement horizontale, donc la dérivée est nulle (0).
en 3, la courbe monte, donc le nombre dérivé y est positif (0,5).

[modifier] Approche historique

Gottfried Wilhelm von Leibniz

Dès la seconde moitié du XVII^e siècle, le domaine mathématique de l'analyse numérique connut une avancée prodigieuse grâce aux travaux de Newton et de Leibniz en matière de calcul différentiel et intégral, traitant notamment de la notion d'infiniment petit et de son rapport avec les sommes dites intégrales.

C'est cependant Blaise Pascal qui, dans la première moitié du XVII^e siècle, a le premier mené des études sur la notion de tangente à une courbe - lui-même les appelait « touchantes »; le marquis de l'Hospital participera aussi à la fin du XVII^e à étoffer cette nouvelle théorie, notamment en utilisant la dérivée pour calculer une limite dans le cas de formes indéterminées particulières (cf. Règle de L'Hôpital). Wallis, mathématicien anglais (surtout connu pour la suite d'intégrales qui porte son nom) contribua également à l'essor de l'analyse différentielle.

Jean le Rond d'Alembert.

Néanmoins cette théorie tout juste éclose n'est pas encore pourvue de toute la rigueur mathématique qu'elle aurait exigée, et notamment la notion d'infiniment petit introduite par Newton, qui tient plus de l'intuitif, et qui pourrait engendrer des erreurs dès lors que l'on ne s'entend pas bien sur ce qui est ou non négligeable. C'est au XVIII^e siècle que d'Alembert introduit la définition plus rigoureuse du nombre dérivé en tant que limite du taux d'accroissement - sous une forme semblable à celle qui est utilisée et enseignée de nos jours. Cependant, à l'époque de d'Alembert, c'est la notion de limite qui cette fois-ci pose problème : $\R$ n'est pas encore construit formellement (voir à ce sujet l'article sur les nombres réels et l'article détaillé sur leur construction) et c'est seulement avec les travaux de Weierstrass au milieu du XIX^e siècle que le concept de dérivée sera entièrement formalisé.

C'est au passage à Lagrange (fin du XVIII^e siècle) que l'on doit la notation $f'\left(x\right)$ , aujourd'hui tout à fait usuelle, pour désigner le nombre dérivé de $f$ en $x$ .

[modifier] Définition formelle

Soit $f$ une fonction réelle à valeurs réelles définie sur une réunion quelconque d'intervalles non triviaux, et $x 0$ appartenant à l'intérieur de l'ensemble de définition $\mathcal{D}_f$ .

Pour tout $h\in \R^*$ tel que $[x_0,x_0+h]\sub \mathcal{D}_f$ , on appelle taux d'accroissement de $f$ en $x 0$ et avec un pas de $h$ la quantité :

$t_{x_0}(h) = {f(x_0+h)-f(x_0) \over h}$

Il s'agit du coefficient directeur de la droite reliant les points de coordonnées $(x 0, f (x 0))$ et $(x 0 + h, f (x 0 + h))$ . Si $t_{x_0}(h)$ admet une limite finie lorsque $h$ tend vers 0, on dit que $f$ est dérivable en $x 0$ , auquel cas le nombre dérivé de $f$ en $x 0$ est égal à la limite de ce taux d'accroissement. On note alors :

$f'(x_0) = \lim_{h \to 0} t_{x_0}(h) = \lim_{h \to 0}{f(x_0+h)-f(x_0) \over h}$

Ou, de manière équivalente :

$f'(x_0) = \lim_{x \to x_0}{f(x)-f(x_0) \over x-x_0}$

Une fonction pour laquelle le taux d'accroissement en un point admet une limite (qui est le nombre dérivé) est dite dérivable en ce point.

Ce calcul de limite revient graphiquement à rechercher la tangente à la courbe en ce point.

Ainsi, le nombre dérivé d'une fonction en un point, s'il existe, est égal à la pente de la tangente à la courbe représentative de la fonction en ce point.

La dérivation peut aussi être définie pour des fonctions d'une variable réelle à valeurs dans d'autres ensembles que $\R$ .

Par exemple, une fonction $f$ d'une variable réelle, à valeurs dans $\R^n$ , est dérivable en $x 0$ si et seulement si toutes ses coordonnées sont dérivables en $x 0$ ; et sa dérivée est la fonction dont les coordonnées sont les dérivées des coordonnées de $f$ . C'est un cas particulier de fonctions de variable vectorielle et à valeur dans un espace vectoriel normé ou métrique.

[modifier] Fonction dérivée

La dérivabilité est a priori une notion locale (dérivabilité en un point), mais si une fonction est dérivable en tout point d'un intervalle, on peut définir sa fonction dérivée sur l'intervalle en question. La fonction dérivée de $f$ , notée $f'\,$ (prononcer « f prime ») - ou $\frac{df}{dx}$ , voire $\dot{f}$ (en sciences physiques ou industrielles), est définie sur $\mathfrak{D}_f$ et le domaine de dérivabilité de $f\;$ (ensemble des points de $\R$ en lesquels $f$ est dérivable) est défini par :

$f':\,\mathfrak{D}_f\rightarrow\R,\ x\mapsto f'(x)$

C'est la fonction qui prend en tout point de $\mathfrak{D}_f$ la valeur du nombre dérivé de $f\,$ en ce point.

Ainsi, lorsque la fonction dérivable $f$ est croissante, la fonction dérivée $f'\,$ est positive. $f'\,$ s'annule aux points où $f$ admet des tangentes horizontales.

Les fonctions dérivées sont utilisées notamment dans l'étude des fonctions réelles et dans les équations différentielles. Une fonction qui est égale à sa dérivée est dite exponentielle (celle-ci est solution de $y' = y$ , cf. article détaillé).

[modifier] Notations

Il existe différentes notations pour exprimer la dérivée d'une fonction. On distingue :

La notation de Lagrange :

$f'\left(x\right)$

La notation de Leibniz :

$\frac{df}{dx}$ qui équivaut, plus rigoureusement, à $\frac{d\left(f(x)\right)}{dx}$

La notation d'Isaac Newton :

$\dot{x} = \frac{dx}{dt} = x'(t)$ qui est plutôt utilisée en physique.

Enfin, la notation d'Euler :

$D_x f(x) \;$

[modifier] Dérivée des fonctions usuelles

Voir l’article Dérivées usuelles.

Fonctions $f(x) =\,$	Dérivées $f'(x) =\,$	Conditions
$a\,\!$	$0\,\!$	$x\,\in\mathbb{R}$
$a x\,\!$	$a\,\!$	$x\,\in\mathbb{R}$
$1 \over x\,\!$	$- {1 \over x^2}\,\!$	$x\,\in\mathbb{R}^*$
$\sqrt{x}\,\!$	${1 \over 2\sqrt{x}}\,\!$	$x\,\in\mathbb{R}_+^*$
$a x^n\,\!$	$anx^{n-1}\,\!$	$n\,\in \mathbb N^*\quad x\,\in\mathbb{R}$
$a x^n\,\!$	$anx^{n-1}\,\!$	$n\,\in \mathbb Z \setminus\mathbb N\quad x\,\in\mathbb{R}^*$
$\cos(x)\,\!$	$-\sin(x)\,\!$	$x\,\in\mathbb{R}$
$\sin(x)\,\!$	$\cos(x)\,\!$	$x\,\in\mathbb{R}$
$\tan(x)\,\!$	$1 \over \cos^2(x)$ ou $1+\tan^2(x)\,\!$	$x\neq {\pi \over 2} + k\pi$ , $k \in \mathbb{Z}$
$a^x\,\!$	$a^x \ln a\,\!$	$a\,\in\mathbb{R}_+^* \quad x\,\in\mathbb{R}$
$\ln \|x\|\,\!$	$1 \over x\,\!$	$x\,\in\mathbb{R}^*$
$\exp{x}\,\!$	$\exp{x}\,\!$	$x\,\in\mathbb{R}$

[modifier] Règles de dérivation

Voir l’article Opérations sur les dérivées.

$f'\,$ peut souvent se calculer directement à partir d'une expression de $f\,$ , lorsqu'il s'agit d'une fonction « simple », en utilisant la tables des dérivées usuelles. Pour des fonctions qui s'expriment comme combinaison linéaire de fonctions simples, comme produit, quotient ou composée, on utilise un petit nombre de règles algébriques déduites de la définition donnée plus haut. Les règles les plus couramment utilisées sont les suivantes :

Nom	Règle	Conditions
Linéarité	$(af+bg)^\prime = af' + bg'$	Quelles que soient les fonctions dérivables $f\,$ et $g\,$ et les réels a et b.
Produit	$(fg)^\prime = f'g+fg'$	Quelles que soient les fonctions dérivables $f\,$ et $g\,$
Quotient	$\left({f \over g}\right)' = {f'g-fg' \over g^2}$	Quelles que soient la fonction dérivable $f\,$ et la fonction dérivable $g\,$ qui ne s'annule pas
Composée	$(f \circ g)' = (f'\circ g) \cdot g'$	Quelles que soient les fonctions dérivables (et composables) $f\,$ et $g\,$
Réciproque	$(f^{-1})' = \frac{1}{f' \circ f^{-1}}$	Quelle que soit la fonction $f\,$ bijective de réciproque $f^{-1}\,$ , dérivable de dérivée non nulle

En particulier, voici les règles courantes se déduisant de la dérivée de composées :

Nom	Règle	Conditions
Puissance	$(f^\alpha)^\prime = \alpha f^{\alpha-1}f'$	Quel que soit $\alpha \in \mathbb Z$ , et même quel que soit $\alpha \in \mathbb R$ si f est positive
Racine	$\left(\sqrt f\right)' = {f' \over 2\sqrt f}$	Quelle que soit la fonction dérivable $f\,$ strictement positive
Exponentielle	$(\mbox{e}^f)^\prime = \mbox{e}^f\cdot f'$	Quelle que soit $f\,$ dérivable
Logarithme	$(\ln f)^\prime = {f' \over f}$	Quelle que soit la fonction dérivable $f\,$ strictement positive

Précisons que dans ce dernier tableau, la composée des fonctions $g$ et $f$ n'a pas été notée $g\circ f$ comme il conviendrait mais $g (f)$ . Ces notations peuvent porter à confusion mais sont bien commodes pour retenir les formules et les appliquer.

[modifier] Démonstrations

[modifier] Théorème des accroissements finis

Voir l’article Théorème des accroissements finis.

Énoncé: Si une fonction ƒ est continue sur un intervalle [a,b] et dérivable sur ]a,b[, alors il existe un point x₀ de ]a,b[ tels que la dérivée en ce point est le taux de variation entre a et b; $f'(x_0) = \frac{f(b)-f(a)}{b-a}$

Démonstration

On commence par démontrer ceci lorsque ƒ(a) = ƒ(b) : la fonction n'est pas strictement monotone, donc soit la fonction est une droite horizontale et la propriété est valable en tout point, soit la fonction présente un maximum ou un minimum et donc sa dérivée s'annule en un point.

Pour une fonction quelconque, on se ramène au cas précédent en soustrayant la fonction

$g(x) = \frac{f(b)-f(a)}{b-a}\cdot (x-a)$

alors (ƒ-g)(b) = (ƒ-g)(a) = ƒ(a) et l'on applique la linéarité de la dérivée.

Cette propriété est utilisée en cinématique pour déterminer une approximation du vecteur vitesse à partir d'un relevé de point.

[modifier] Dérivées des fonctions trigonométriques

Si $f(x) = \sin(\varphi(x))\,$ , alors $f'(x) = \cos(\varphi(x)) \cdot { \varphi'(x) }$

Démonstration

Si $f(x) = \cos (\varphi(x))\,$ , alors $f'(x) = -\sin (\varphi(x))\ \cdot { \varphi'(x) },$

Démonstration

Si $f(x) = \tan(\varphi(x))\,$ , alors $f'(x) = \sec^2 (\varphi(x)) \cdot { \varphi'(x) },$

Démonstration

Si $f(x) = \operatorname{cotan} (\varphi(x))\,$ , alors $f'(x) = -\operatorname{cosec}^2 (\varphi(x)) \cdot { \varphi'(x) },$

Démonstration

Si $f(x) = \sec (\varphi(x))\,$ , alors $f'(x) = \sec (\varphi(x)) \cdot \tan (\varphi(x)) \cdot { \varphi'(x) },$

Démonstration

Si $f(x) = \operatorname{cosec} (\varphi(x))\,$ , alors $f'(x) = -\operatorname{cosec} (\varphi(x)) \cdot \operatorname{cotan} (\varphi(x)) \cdot { \varphi'(x) },$

Démonstration

[modifier] Dérivation de la réciproque d'une fonction

Soit $\mathit{f}\,$ une fonction dérivable et strictement monotone de l'intervalle $\mathcal{I}$ sur l'intervalle $\mathcal{J} = {f( \mathcal{I})}$ et si $f'\,$ ne s'annule par sur $\mathcal{I}$ , alors la fonction $f^{-1}\,$ est dérivable sur $\mathcal{J}$ et:

$(f^{-1})' = \frac{1}{f' \circ f^{-1}}$

Démonstration:

Montrons que $f^{-1}\,\!$ dérivable en $b = f(a) \,\!$ . En supposant $f'(a) \ne 0 \,\!$ , montrons que $\lim_{y \to b}{\frac{f^{-1}(y) - f^{-1}(b)}{y - b}} = {1 \over {f'(a)}} \,\!$ .

La fonction $f \,\!$ étant dérivable en $a\,\!$ , on a:

$f'(a) = \lim_{x \to a}{\frac{f(x)-f(a)}{x-a}}\,\!$

Comme $f^{-1} \,\!$ est continue en $b \,\!$ , le théorème de composition des limites donne:

$f'(a) = \lim_{y \to b}{\frac{f(f^{-1}(y)) - f(a)}{f^{-1}(y) - a}} = \lim_{y \to b}{\frac{y-b}{f^{-1}(y) - f^{-1}(b)}}$

Cette limite étant non nulle, d'après le théorème sur l'inverse d'une limite, on a :

$\lim_{y \to b}{\frac{f^{-1}(y) - f^{-1}(b)}{y-b}} ={ 1 \over f'(a)}$

Ou encore : $(f^{-1})'(b) ={ 1 \over {f'(f^{-1}(b))} }$

[modifier] Dérivées de la réciproque des fonctions trigonométriques

On utilise le résultat précédent pour établir :

Si $f(x) = \operatorname{Arcsin}(x)\,$ , alors $f'(x) = {1 \over \sqrt{1-x^2}}$
Si $f(x) = \operatorname{Arcsin}(\varphi(x))\,$ , alors $f'(x) = {\varphi'(x) \over{\sqrt{1-\varphi (x)^2}}}$
Si $f(x) = \operatorname{Arccos}(x)\,$ , alors $f'(x) = {-1 \over \sqrt{1-x^2}}$
Si $f(x) = \operatorname{Arccos}(\varphi(x))\,$ , alors $f'(x) = {-\varphi'(x) \over{\sqrt{1-\varphi (x)^2}}}$
Si $f(x) = \operatorname{Arctan}(x)\,$ , alors $f'(x) = {1 \over{1+x^2}}$
Si $f(x) = \operatorname{Arctan}(\varphi(x))\,$ , alors $f'(x) = {\varphi'(x) \over{1+\varphi(x) ^2}}$

$\varphi$ désigne une fonction dérivable à valeur dans le domaine de dérivabilité de la fonction considérée.

[modifier] Dérivée d'ordre n

Voir l’article Dérivation itérée.

On définit la dérivée d'ordre $n$ pour une fonction $n$ fois dérivable par récurrence :

$\frac{d^{n+1}f}{dx^{n+1}}=\frac{d}{dx} \frac{d^n f}{dx^n}$

$\frac{d^n f}{dx^n}$ est également notée $f^{(n)}\,$ .

[modifier] Formule de Leibniz

Si $f, g$ sont des fonctions $n$ fois dérivables, alors :

$(fg)^{(n)}=\sum_{k=0}^{n} { n \choose k } f^{(k)}g^{(n-k)}$ .

En particulier pour $n = 2$ ,

$(fg)''=f''g+2f'g'+fg''\,\!$ .

On notera l'analogie avec la formule du binôme de Newton.

[modifier] Notation de Leibniz

Article détaillé : notation de Leibniz.

[modifier] Dérivées des taux de variation liés

[modifier] Analyse d'une fonction dérivée

En trouvant les valeurs de x où la dérivée vaut 0 ou n'existe pas, on trouve les nombres critiques de la fonction. Les nombres critiques de f permettent de trouver implicitement ses maximums et ses minimums. À effectuer le test de la dérivée première, on construit un tableau de variation ; si le signe de la fonction dérivée passe du plus au moins devant un nombre critique, on a un maximum et si le signe de la fonction dérivée passe du moins au plus devant le nombre critique, on a un minimum. De plus, lorsque le signe de la dérivée première est positif, la fonction monte ; s'il est négatif, elle descend. On ne conclue rien, si au point critique la fonction ne change pas de signe. En dérivant la dérivée première, on a la dérivée seconde. À effectuer le test de la dérivée seconde, on trouve les nombres critiques de la dérivée première pour les placer dans le même tableau ; lorsqu'on observe un changement de signe de la dérivée seconde devant ce ou ces nombres critiques, on dit qu'on a un (ou des) point(s) d'inflexion. Les points d'inflexion marquent un changement de la concavité de la fonction. Un signe positif de la dérivée seconde signifie que la fonction est concave vers le haut et un signe négatif de la dérivée seconde signifie que la fonction est concave vers le bas. Connaissant les changements de concavité et les extrema de la fonction, on peut alors tracer une esquisse du graphique.

[modifier] Dérivée et optimisation

Méthode pour optimiser un rendement à l'aide du calcul différentiel:

Mathématisation
- Définitions et dessin : on définit les variables inconnues et on les représente sur un schéma.
- Écrire la fonction objectif à deux variables et préciser si on recherche un maximum ou un minimum dans la situation donnée.
- Trouver la relation entre les deux variables.
- Écrire la fonction objectif à une variable et préciser le domaine de la fonction.
Analyse
- Dériver la fonction pour obtenir la dérivée première.
- Trouver les nombres critiques de la fonction, où la dérivée première vaut zéro ou n'existe pas dans les intervalles du domaine.
- Effectuer le test de la dérivée première ou le test de la dérivée seconde pour déterminer le maximum ou le minimum recherché de la situation.
On formule la réponse de façon concise par rapport à la question.

[modifier] Dérivées et asymptotes

Voir l’article Asymptote.

Une fois qu'on a déterminé les asymptotes de la fonction, on peut les noter dans le tableau de variation pour tracer adéquatement l'esquisse du graphique.