Aller au contenu

« Dérivée » : différence entre les versions

Un article de Wikipédia, l'encyclopédie libre.
Contenu supprimé Contenu ajouté
Dfeldmann (discuter | contributions)
m Là, ça tourne à l'obsession . Vous comptez jouer à ce jeu sur tous les articles de math ?
Balises : Annulation Révoqué
Patrick.Delbecq (discuter | contributions)
mAucun résumé des modifications
 
(33 versions intermédiaires par 15 utilisateurs non affichées)
Ligne 4 : Ligne 4 :
La '''dérivée''' d'une fonction <math>f
La '''dérivée''' d'une fonction <math>f
</math> est une fonction qui, à tout nombre pour lequel <math>f
</math> est une fonction qui, à tout nombre pour lequel <math>f
</math> admet un nombre dérivé, associe ce nombre dérivé. La dérivée en un point d'une [[fonction de plusieurs variables]] réelles, ou [[Fonction à valeurs vectorielles|à valeurs vectorielles]], est plus couramment appelée [[différentielle]] de la fonction en ce point, et n'est pas traitée ici.
</math> admet un nombre dérivé, associe ce nombre dérivé. La dérivée en un point d'une [[fonction de plusieurs variables]] réelles, ou [[Fonction à valeurs vectorielles|à valeurs vectorielles]], est plus couramment appelée [[différentielle]] de la fonction en ce point et n'est pas traitée ici.


La dérivée d'une fonction <math>f</math> en <math>x</math> est usuellement notée <math>f'(x)</math> ou <math>\frac{{\mathrm d} f}{{\mathrm d} x}(x)</math>.
La dérivée d'une fonction <math>f</math> en <math>x</math> est usuellement notée <math>f'(x)</math> ou <math>\frac{{\mathrm d} f}{{\mathrm d} x}(x)</math>.


On utilise aussi des notations spécifiques, en particulier en [[physique]], pour désigner la '''dérivée par rapport au temps''' qui s'écrit avec un point surmontant la lettre (<math>\dot f</math>), la dérivée seconde s'écrivant alors grâce à un [[tréma]] surmontant la lettre. Cette notation est appelée « notation de [[Isaac Newton|Newton]] ». On utilise dans le même esprit, les notations ''prime'' et ''seconde'' pour noter la dérivée par rapport à l'espace.
On utilise aussi des notations spécifiques, en particulier en [[physique]], pour désigner la '''dérivée par rapport au temps''' qui s'écrit avec un point surmontant la lettre (<math>\dot f</math>), la dérivée seconde s'écrivant alors grâce à un [[tréma]] surmontant la lettre. Cette notation est appelée « notation de [[Isaac Newton|Newton]] ». On utilise dans le même esprit les notations ''prime'' (<math>f'</math>) et ''seconde'' (<math>f''</math>) pour noter les dérivées par rapport à l'espace.


En [[Analyse (mathématiques)|analyse]], le '''nombre dérivé''' en un « point » ([[Nombre réel|réel]]) <math>x</math> d'une [[Fonction réelle d'une variable réelle|fonction <math>f</math> à variable et valeurs réelles]] est la [[Pente (mathématiques)|pente]] de la [[tangente (géométrie)|tangente]] au [[Graphe d'une fonction|graphe de <math>f</math>]] au point <math>\left(x, f(x)\right)</math>. C'est le coefficient directeur de l'[[approximation affine]] de <math>f
En [[Analyse (mathématiques)|analyse]], le '''nombre dérivé''' en un « point » ([[Nombre réel|réel]]) <math>x</math> d'une [[Fonction réelle d'une variable réelle|fonction <math>f</math> à variable et valeurs réelles]] est la [[Pente (mathématiques)|pente]] de la [[tangente (géométrie)|tangente]] au [[Graphe d'une fonction|graphe de <math>f</math>]] au point <math>\left(x, f(x)\right)</math>. C'est le coefficient directeur de l'[[approximation affine]] de <math>f</math> en <math>x</math> ; ce nombre n'est donc défini que si cette tangente {{incise|ou cette approximation}} existe. La notion de dérivée est une notion fondamentale en [[Analyse (mathématiques)|analyse]] permettant d'étudier les variations d'une fonction, de construire des tangentes à une [[courbe]] et de résoudre des problèmes d'[[Optimisation (mathématiques)|optimisation]].
</math> en <math>x</math> ; ce nombre n'est donc défini que si cette tangente {{incise|ou cette approximation}} existe. La notion de dérivée est une notion fondamentale en [[Analyse (mathématiques)|analyse]] permettant d'étudier les variations d'une fonction, de construire des tangentes à une courbe et de résoudre des problèmes d'optimisation.


En sciences, lorsqu'une grandeur est fonction du [[temps]], la dérivée de cette grandeur donne la vitesse instantanée de variation de cette grandeur, et la dérivée de la dérivée donne l'[[accélération]]. Par exemple, la [[vitesse]] instantanée d'un mobile est la valeur à cet instant de la dérivée de sa position par rapport au temps, et son [[accélération]] est la valeur à cet instant de la dérivée par rapport au temps, de sa vitesse.
En sciences, lorsqu'une grandeur est fonction du [[temps]], la dérivée de cette grandeur donne la vitesse instantanée de variation de cette grandeur, et la dérivée de la dérivée donne l'[[accélération]]. Par exemple, la [[vitesse]] instantanée d'un mobile est la valeur à cet instant de la dérivée de sa position par rapport au temps, et son [[accélération]] est la valeur à cet instant de la dérivée, par rapport au temps, de sa vitesse.


On généralise la notion de dérivée en étendant celle-ci au champ complexe et on parle alors de [[analyse complexe|dérivée complexe]]. Pour une fonction de plusieurs variables réelles, on parle de la [[dérivée partielle]] par rapport à l'une de ses variables.
On généralise la notion de dérivée en étendant celle-ci au [[Nombre complexe|champ complexe]] et on parle alors de [[analyse complexe|dérivée complexe]]. Pour une fonction de plusieurs variables réelles, on parle de la [[dérivée partielle]] par rapport à l'une de ses variables.


Il existe aussi une définition purement algébrique de la dérivée. On en trouve un exemple dans l'article [[Polynôme formel#Dérivée formelle|polynôme formel]].
Il existe aussi une définition purement [[Algèbre|algébrique]] de la dérivée. On en trouve un exemple dans l'article [[Polynôme formel#Dérivée formelle|polynôme formel]].


== Histoire ==
== Histoire ==
{{article détaillé|Histoire du calcul infinitésimal}}Sa création est liée à une polémique entre deux [[Mathématicien|mathématiciens]] : [[Isaac Newton]] et [[Gottfried Wilhelm Leibniz]]. Néanmoins, on retrouve chez des mathématiciens plus anciens les prémices de ce type de calcul : [[Pierre de Fermat]] et [[Isaac Barrow]] notamment. L'histoire du calcul infinitésimal remonte même à l'[[Antiquité]], avec [[Archimède]].
{{article détaillé|Histoire du calcul infinitésimal}}Sa création est liée à une polémique entre deux [[Mathématicien|mathématiciens]] : [[Isaac Newton]] et [[Gottfried Wilhelm Leibniz]]. Néanmoins, on retrouve chez des mathématiciens plus anciens les prémices de ce type de calcul : [[Pierre de Fermat]] et [[Isaac Barrow]] notamment. L'histoire du calcul infinitésimal remonte même à l'[[Antiquité]], avec [[Archimède]].


La notion de nombre dérivé a vu le jour au {{s-|XVII}} dans les écrits de Leibniz et ceux de Newton, qui le nomme [[Fluxion (analyse)|fluxion]] et qui le définit comme « le quotient ultime de deux accroissements évanescents ». C'est à [[Joseph-Louis Lagrange|Lagrange]] (fin du {{s-|XVIII}}) que l'on doit la notation {{math|''f {{'}}''(''x'')}}, aujourd'hui usuelle, pour désigner le nombre dérivé de {{mvar|f}} en {{mvar|x}}. C'est aussi à lui qu'on doit le nom de « dérivée » pour désigner ce concept mathématique.
La notion de nombre dérivé a vu le jour au {{s-|XVII}} dans les écrits de Leibniz et ceux de Newton, qui le nomme [[Fluxion (analyse)|fluxion]] et qui le définit comme « le quotient ultime de deux accroissements évanescents ». C'est à [[Joseph-Louis Lagrange|Lagrange]] (fin du {{s-|XVIII}}) que l'on doit la notation <math>f'(x)</math>, aujourd'hui usuelle, pour désigner le nombre dérivé de <math>f</math> en <math>x</math>. C'est aussi à lui qu'on doit le nom de « dérivée » pour désigner ce concept mathématique.


== Approche à partir de la pente de la tangente ==
== Approche à partir de la pente de la tangente ==
Ligne 31 : Ligne 30 :
Quel que soit le point que l'on choisit sur la courbe, on pourra alors tracer ce qu'on appelle une [[Tangente (géométrie)|tangente]], c'est-à-dire une droite qui épouse localement la direction de cette courbe. 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. Si la courbe « monte » (c'est-à-dire si la fonction associée est croissante), la tangente sera également montante ; inversement, si la fonction est décroissante, la tangente sera descendante.
Quel que soit le point que l'on choisit sur la courbe, on pourra alors tracer ce qu'on appelle une [[Tangente (géométrie)|tangente]], c'est-à-dire une droite qui épouse localement la direction de cette courbe. 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. Si la courbe « monte » (c'est-à-dire 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 [[Système de coordonnées cartésiennes|abscisse]] {{math|''x''{{ind|0}}}} pour laquelle la fonction {{mvar|f}} est dérivable, on appelle '''nombre dérivé''' de {{mvar|f}} en {{math|''x''{{ind|0}}}} le coefficient directeur de la tangente à la courbe au point d'abscisse {{math|''x''{{ind|0}}}}. Ce [[Nombre réel|réel]] donne de précieuses informations sur le comportement local d'une [[fonction (mathématiques)|fonction]] : c'est la [[mesure algébrique]] de la [[vitesse]] à laquelle cette fonction change lorsque sa variable change.
Si on se donne une [[Système de coordonnées cartésiennes|abscisse]] <math>x_0</math> pour laquelle la fonction <math>f</math> est dérivable, on appelle '''nombre dérivé''' de <math>f</math> en <math>x_0</math> le coefficient directeur de la tangente à la courbe au point d'abscisse <math>x_0</math>. Ce [[Nombre réel|réel]] donne de précieuses informations sur le comportement local d'une [[fonction (mathématiques)|fonction]] : c'est la [[mesure algébrique]] de la [[vitesse]] à laquelle cette fonction change lorsque sa variable change.


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 (pour plus de détails, voir [[Fonction monotone#Monotonie et signe de la dérivée]]).
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 (pour plus de détails, voir [[Fonction monotone#Monotonie et signe de la dérivée]]). Si de plus le nombre dérivé change de signe en ce point, alors la fonction admet un [[extremum local]] (minimum ou maximum) ; sinon, on obtient ce qu'on appelle un [[point d'inflexion]] et ainsi la courbe change de [[Lexique des arcs paramétrés#C|concavité]].


== Définition formelle ==
== Définition formelle ==
Ligne 67 : Ligne 66 :
Ce calcul de limite revient graphiquement à rechercher la pente de 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 :
Ce calcul de limite revient graphiquement à rechercher la pente de 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 :


[[Fichier:Tangent animation.gif|centré|vignette|260x260px|Une sécante s'approche d'une tangente quand {{math|Δ''x'' 0}}.]]
[[Fichier:Tangent animation.gif|centré|vignette|260x260px|Une sécante s'approche d'une tangente quand <math>\Delta x \to 0</math>.]]


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


Par exemple, une fonction {{mvar|f}} d'une variable réelle, à valeurs dans <math>\R^n</math>, est dérivable en {{math|''x''{{ind|0}}}} si et seulement si toutes ses [[coordonnée]]s sont dérivables en {{math|''x''{{ind|0}}}} ; et sa dérivée est la fonction dont les coordonnées sont les dérivées des coordonnées de {{mvar|f}}. C'est un cas particulier de fonctions d'une variable vectorielle et à valeurs dans un [[espace vectoriel normé]] ou [[espace métrique|métrique]].
Par exemple, une fonction <math>f</math> d'une variable réelle, à valeurs dans <math>\R^n</math>, est dérivable en <math>x_0</math> si et seulement si toutes ses [[coordonnée]]s sont dérivables en <math>x_0</math> ; et sa dérivée est la fonction dont les coordonnées sont les dérivées des coordonnées de <math>f</math>. C'est un cas particulier de fonctions d'une variable vectorielle et à valeurs dans un [[espace vectoriel normé]] ou [[espace métrique|métrique]].


== Dérivabilité et lien avec la continuité ==
== Dérivabilité et lien avec la continuité ==
Ligne 80 : Ligne 79 :
[[Fichier:Signum function.svg|vignette|Fonction signe.]]
[[Fichier:Signum function.svg|vignette|Fonction signe.]]


Une fonction qui n'est pas continue en un point n'y est pas dérivable : comme la fonction fait un saut, on ne peut pas définir de tangente, la limite du taux de variation est infinie (la pente de la courbe est verticale). C'est le cas par exemple de la [[fonction signe]] <math>\sgn(x)
Une fonction qui n'est pas continue en un point n'y est pas dérivable. Prenons l'exemple d'une fonction qui fait un saut. On ne peut pas définir de tangente, la limite du taux de variation est infinie (la pente de la courbe est verticale). C'est le cas par exemple de la [[fonction signe]] <math>\sgn(x)</math> en 0 :
* à gauche de 0, i.e. <math>x<0</math>, <math>\sgn(x) = -1</math> ;
</math> en 0 :
* à gauche de 0, i.e. <math>x<0
* en 0 : <math>\sgn(0) = 0</math> ;
</math>, <math>\sgn(x) = -1
* à droite de 0, i.e. <math>x>0</math>, <math>\sgn(x) = +1</math> ;
le taux de variation pour une largeur <math>h</math>, vaut donc
</math> ;
* en 0 : <math>\sgn(0) = 0
</math> ;
* à droite de 0, i.e. <math>x>0
</math>, <math>\sgn(x) = +1
</math> ;
le taux de variation pour une largeur <math>h

</math>, vaut donc
: <math>\frac{(1 - (-1))}{h}</math>
: <math>\frac{(1 - (-1))}{h}</math>
et tend vers <math>+ \infty</math> quand <math>h</math> tend vers 0. Par contre, on peut définir une dérivée à gauche — dérivée partout nulle (tangente horizontale) sur <math>]- \infty,0[</math> — et une dérivée à droite — dérivée également nulle sur <math>]0,+ \infty[</math>.
et tend vers <math>+ \infty
</math> quand <math>h

</math> tend vers 0. Par contre, on peut définir une dérivée à gauche — dérivée partout nulle (tangente horizontale) sur <math>]- \infty,0[
</math> — et une dérivée à droite — dérivée également nulle sur <math>]0,+ \infty[
</math>.


[[Fichier:F(x)=Abs(x).svg|vignette|Fonction valeur absolue.]]
[[Fichier:F(x)=Abs(x).svg|vignette|Fonction valeur absolue.]]
Ligne 106 : Ligne 92 :
Si une fonction est dérivable en un point alors elle est continue en ce point, mais la réciproque est fausse.
Si une fonction est dérivable en un point alors elle est continue en ce point, mais la réciproque est fausse.


Par exemple : [[Valeur absolue#La fonction valeur absolue|la fonction valeur absolue <math>x\mapsto|x|</math>]] est continue mais n'est pas dérivable en 0 :
Par exemple : la [[Valeur absolue#La fonction valeur absolue|fonction valeur absolue]] <math>x\mapsto|x|</math> est continue mais n'est pas dérivable en 0 :
* à gauche de 0, i.e. <math>x<0
* à gauche de 0, i.e. <math>x<0</math>, la pente vaut <math>-1</math> ;
</math>, la pente vaut <math>-1
* à droite de 0, i.e. <math>x>0</math>, la pente vaut <math>+1</math>.
</math> ;
* à droite de 0, i.e. <math>x>0
</math>, la pente vaut <math>+1
</math>.
Il y a une tangente à gauche et une tangente à droite différentes, la pente en 0 n'est pas définie ; le taux de variation n'a pas de limite définie. C'est le cas général pour les courbes présentant un point anguleux.
Il y a une tangente à gauche et une tangente à droite différentes, la pente en 0 n'est pas définie ; le taux de variation n'a pas de limite définie. C'est le cas général pour les courbes présentant un point anguleux.


Il en est de même de la fonction [[racine cubique]], qui a une tangente verticale en <math>x=0
Il en est de même de la fonction [[racine cubique]], qui a une tangente verticale en <math>x=0</math> : le taux de variation a une limite infinie.

</math> : le taux de variation a une limite infinie.
De plus, une fonction continue en un ensemble ne garantit pas que la fonction soit dérivable en cet ensemble (ouvert), comme contre-exemple la [[fonction de Weierstrass]] est continue sur <math>\mathbb{R}</math> mais dérivable nulle part.


== Fonction dérivée ==
== Fonction dérivée ==
La [[dérivabilité]] est ''a priori'' une notion locale (dérivabilité en un point), mais à toute fonction <math>f:\mathcal{D}_f\to\R</math> on peut associer sa '''fonction dérivée''' <math>f'
La [[dérivabilité]] est ''a priori'' une notion locale (dérivabilité en un point), mais à toute fonction <math>f:\mathcal{D}_f\to\R</math> on peut associer sa '''fonction dérivée''' <math>f'
</math> (prononcée « {{mvar|f}} prime »), donnée par
</math> (prononcée « <math>f</math> prime »), donnée par


:<math>f'\colon \mathcal{D}_{f'}\rightarrow\R,\quad x\mapsto f'(x)</math>
:<math>f'\colon \mathcal{D}_{f'}\rightarrow\R,\quad x\mapsto f'(x)</math>
Ligne 159 : Ligne 142 :
|-
|-
| ''[[application linéaire|Linéarité]]'' || <math>(af+g)^\prime = af' + g'</math>
| ''[[application linéaire|Linéarité]]'' || <math>(af+g)^\prime = af' + g'</math>
| Quels que soient le réel {{mvar|a}} et les fonctions dérivables <math>f
| Quels que soient le réel <math>a</math> et les fonctions dérivables <math>f
</math> et <math>g
</math> et <math>g
</math>.
</math>.
Ligne 232 : Ligne 215 :
[[Fichier:Derivation numerique.svg|vignette|Principe de la dérivation numérique.]]
[[Fichier:Derivation numerique.svg|vignette|Principe de la dérivation numérique.]]


Dans le cas d'une courbe expérimentale, on ne possède pas de fonction explicite pour la décrire, mais une série de valeurs {{math|(''x{{ind|i}}'', ''y{{ind|i}}'')}}. On a donc recours à une dérivation numérique, qui consiste simplement à approcher la valeur de la dérivée en un point {{mvar|i}} par le taux de variation entre les points précédent et suivant :
Dans le cas d'une courbe expérimentale, on ne possède pas de fonction explicite pour la décrire, mais une série de valeurs <math>(x_i,y_i)</math>. On a donc recours à une dérivation numérique, qui consiste simplement à approcher la valeur de la dérivée en un point <math>i</math> par le taux de variation entre les points précédent et suivant :
: <math>f'(x_i) \simeq \frac{y_{i+1} - y_{i-1}}{x_{i+1} - x_{i-1}}</math>
: <math>f'(x_i) \simeq \frac{y_{i+1} - y_{i-1}}{x_{i+1} - x_{i-1}}</math>
Graphiquement, cela revient à remplacer la tangente par la corde. Ceci peut se justifier par le [[#Théorème des accroissements finis|théorème des accroissements finis]] : on sait qu'il existe un point de l'intervalle {{math|[''x''{{ind|''i''–1}}, ''x''{{ind|''i''+1}}]}} pour lequel la dérivée est la pente de la corde, et si l'intervalle est petit, alors ce point est proche du milieu {{mvar|x{{ind|i}}}} . Cette méthode est automatisable sur les calculatrices programmables et les ordinateurs.
Graphiquement, cela revient à remplacer la tangente par la corde. Ceci peut se justifier par le [[#Théorème des accroissements finis|théorème des accroissements finis]] : on sait qu'il existe un point de l'intervalle <math>\left[ x_{i-1},x_{i+1} \right]</math> pour lequel la dérivée est la pente de la corde, et si l'intervalle est petit, alors ce point est proche du milieu <math>x_i</math> . Cette méthode est automatisable sur les calculatrices programmables et les ordinateurs.


Il faut cependant se poser la question de la précision des résultats. Une mise en informatique « naïve » de la méthode de calcul peut mener à des résultats de précision médiocre dans certains cas.
Il faut cependant se poser la question de la précision des résultats. Une mise en informatique « naïve » de la méthode de calcul peut mener à des résultats de précision médiocre dans certains cas.


Dans un ordinateur, la précision des nombres est limitée par le mode de représentation. Si l'on utilise la [[virgule flottante|double précision]] selon la norme [[IEEE 754]], les nombres ont environ 16 [[Chiffre significatif|chiffres significatifs]]. On a donc une [[précision relative]] de l'ordre de {{nb|e−16}} (2{{exp|−52}} exactement). Notons {{mvar|r}} cette valeur. Les calculatrices de poche admettent typiquement 10 chiffres significatifs, soit {{math|''r'' {{=}} {{nb|e−10}}}}.
Dans un ordinateur, la précision des nombres est limitée par le mode de représentation. Si l'on utilise la [[virgule flottante|double précision]] selon la norme [[IEEE 754]], les nombres ont environ 16 [[Chiffre significatif|chiffres significatifs]]. On a donc une [[précision relative]] de l'ordre de {{nb|e−16}} (2{{exp|−52}} exactement). Notons <math>r</math> cette valeur. Les calculatrices de poche admettent typiquement 10 chiffres significatifs, soit {{nobr|<math>r</math> {{=}} {{nb|e−10}}}}.


Supposons que la différence {{math|''y''{{ind|''i'' + 1}} – ''y''{{ind|''i'' - 1}}}} soit inférieure à {{mvar|r}}, alors le calculateur fera une erreur grossière sur le calcul et le résultat sera médiocre ; voire, si la différence est très faible, il ne « verra pas » de différence entre les deux valeurs, et le résultat sera 0. Si par exemple on veut avoir la dérivée autour de 2 de la fonction {{math|''f''(''x'') {{=}} ''x''{{exp|2}}}}, en prenant un écart de {{nb|e−13}} entre les points :
Supposons que la différence <math>y_{i+1}-y_{i-1}</math> soit inférieure à <math>r</math>, alors le calculateur fera une erreur grossière sur le calcul et le résultat sera médiocre ; voire, si la différence est très faible, il ne « verra pas » de différence entre les deux valeurs, et le résultat sera 0. Si par exemple on veut avoir la dérivée autour de 2 de la fonction <math>f(x) = x^2</math>, en prenant un écart de {{nb|e−13}} entre les points :
: {{math|''x''{{ind|1}} {{=}} {{nb|1.999,999,999,999,9}} ; ''x''{{ind|2}} {{=}} 2 ; ''x''{{ind|3}} {{=}} {{nb|2.000,000,000,000,1}}}}
:{{nobr|<math>x_1</math> {{=}} {{nb|1.999,999,999,999,9}}}}
:{{nobr|<math>x_2</math> {{=}} 2}}
: {{math|''δ'' {{=}} ''y''{{ind|3}} – ''y''{{ind|1}} {{=}} ''x''{{ind|3}}{{exp|2}} – ''x''{{ind|1}}{{exp|2}} ≈ {{nb|8 e-13}}}}
:{{nobr|<math>x_3</math> {{=}} {{nb|2.000,000,000,000,1}}}}
On voit que la différence entre les nombres, {{nb|8 e−13}}, est proche de {{mvar|r}}. On va donc avoir une [[erreur d'arrondi]]. De fait, le calcul nous donne sur un ordinateur
: {{math|''f {{'}}''(2) ≈ {{nb|3.997}}}}
:{{nobr|<math>\delta = y_3 - y_1 = {x_3}^2 - {x_1}^2</math> ≈ {{nb|8 e-13}}}}
On voit que la différence entre les nombres, {{nb|8 e−13}}, est proche de <math>r</math>. On va donc avoir une [[erreur d'arrondi]]. De fait, le calcul nous donne sur un ordinateur
:{{nobr|<math>f'(2)</math> ≈ {{nb|3.997}}}}
alors que le résultat exact est
alors que le résultat exact est
: {{math|''f {{'}}''(2) {{=}} 2 × 2{{exp|1}} {{=}} 4}}
:{{nobr|<math>f'(2)</math> {{=}} 2 × 2{{exp|1}} {{=}} 4}}
soit une erreur de 0,3 %. Sur une calculatrice, le résultat est <math>f'(2) \approx 0 </math>…
soit une erreur de 0,3 %. Sur une calculatrice, le résultat est {{nobr|<math>f'(2)</math> ≈ 0}}


Le point critique est le choix de l'écart {{mvar|h}} entre les valeurs de {{mvar|x}}. Une valeur de l'ordre de {{racine|''r''}} convient dans de nombreux cas. Il nous manque encore quelques éléments pour cette étude ; le problème est abordé dans la section ''[[#Précision de la dérivée numérique|Précision de la dérivée numérique]]'' ci-dessous.
Le point critique est le choix de l'écart <math>h</math> entre les valeurs de <math>x</math>. Une valeur de l'ordre de <math>\sqrt r</math> convient dans de nombreux cas. Il nous manque encore quelques éléments pour cette étude ; le problème est abordé dans la section ''[[#Précision de la dérivée numérique|Précision de la dérivée numérique]]'' ci-dessous.


Donc :
Donc :
Ligne 262 : Ligne 247 :
Ce faisant, on commet une erreur de troncature du second ordre
Ce faisant, on commet une erreur de troncature du second ordre
: <math>\mathrm{E_t} = \left | \frac{f''(x)}2\right |h</math>.
: <math>\mathrm{E_t} = \left | \frac{f''(x)}2\right |h</math>.
Par ailleurs, l'ordinateur commet une erreur d'arrondi : la précision relative étant {{mvar|r}}, la précision absolue sur {{math|''f''(''x'')}} est {{math|{{!}}''f''(''x''){{!}} ''r''}}, et donc l'erreur induite sur la dérivée
Par ailleurs, l'ordinateur commet une erreur d'arrondi : la précision relative étant <math>r</math>, la précision absolue sur <math>f(x)</math> est <math>|f(x)| r</math>, et donc l'erreur induite sur la dérivée
: <math>\mathrm{E_a} = \frac{| f(x)|r}h</math>.
: <math>\mathrm{E_a} = \frac{| f(x)|r}h</math>.
L'erreur totale vaut donc
L'erreur totale vaut donc
Ligne 268 : Ligne 253 :
Cette fonction est convexe, et admet un minimum en
Cette fonction est convexe, et admet un minimum en
: <math>\bar h=\sqrt{\frac{2r | f(x) |}{| f''(x)|}}</math>.
: <math>\bar h=\sqrt{\frac{2r | f(x) |}{| f''(x)|}}</math>.
Cela dépend donc du rapport entre la valeur de {{mvar|f}} et la [[Courbure d'un arc|courbure]] {{mvar|f'{{'}}}}. Pour les zones où la fonction {{mvar|f}} est « modérée » — c'est-à-dire que {{math|''f'' / ''f '{{'}}''}} est de l'ordre de l'unité —, on peut retenir
Cela dépend donc du rapport entre la valeur de <math>f</math> et la [[Courbure d'un arc|courbure]] <math>f''</math>. Pour les zones où la fonction <math>f</math> est « modérée » — c'est-à-dire que <math>f / f''</math> est de l'ordre de l'unité —, on peut retenir
: <math>\bar h\simeq \sqrt r</math>.
: <math>\bar h\simeq \sqrt r</math>.
L'erreur commise sur le premier terme (« erreur de méthode ») est en fait bien plus petite, puisque la méthode du paragraphe précédent revient à approximer {{math|''f {{'}}''(''x'')}} par <math>\frac{f(x + h) - f(x-h)}{{2h}}</math> ; le même développement limité (pris cette fois à l'ordre 3) montre qu'on commet alors une erreur de l'ordre de {{math|{{sfrac|''f {{'}}'{{'}}''(''x'')|6}} ''h''{{2}}}}. Il en résulte que le principal défaut de ces méthodes d'approximation numérique vient des erreurs d'arrondi.
L'erreur commise sur le premier terme (« erreur de méthode ») est en fait bien plus petite, puisque la méthode du paragraphe précédent revient à approximer <math>f'(x)</math> par <math>\frac{f(x + h) - f(x-h)}{{2h}}</math> ; le même développement limité (pris cette fois à l'ordre 3) montre qu'on commet alors une erreur de l'ordre de <math>{f'''(x) \over 6} h^2</math>. Il en résulte que le principal défaut de ces méthodes d'approximation numérique vient des erreurs d'arrondi.


Des formules plus complexes donnent de meilleures approximations ; voir à ce sujet l’article {{Lien|trad=Numerical differentiation|Dérivation numérique}}.
Des formules plus complexes donnent de meilleures approximations ; voir à ce sujet l’article ''[[Dérivation numérique]]''.


== Dérivation graphique ==
== Dérivation graphique ==
[[Fichier:Derivation graphique.svg|vignette|Dérivation graphique : on convertit la pente des droites en utilisant un pôle.]]
[[Fichier:Derivation graphique.svg|vignette|Dérivation graphique : on convertit la pente des droites en utilisant un pôle.]]


On peut également effectuer une dérivation graphique, sans utiliser de calcul. On approche les tangentes par les cordes comme pour la méthode numérique. Puis, on tire des parallèles à ces droites passant par un point nommé pôle P. On considère l'intersection de ces droites avec la verticale passant par O, le segment [OP] étant horizontal. La hauteur ''v{{ind|i}}'' des segments ainsi délimités est proportionnelle à la pente {{mvar|a{{ind|i}}}} :
On peut également effectuer une dérivation graphique, sans utiliser de calcul. On approche les tangentes par les cordes comme pour la méthode numérique. Puis, on tire des parallèles à ces droites passant par un point nommé pôle P. On considère l'intersection de ces droites avec la verticale passant par O, le segment [OP] étant horizontal. La hauteur <math>v_i</math> des segments ainsi délimités est proportionnelle à la pente <math>a_i</math> :
: <math>v_i = \mathrm{OP} \times a_i</math>
: <math>v_i = \mathsf{OP} \times a_i</math>
on peut donc reporter cette hauteur sur le graphique et obtenir une approximation de la courbe dérivée. L'échelle de l'axe des ''y'' est donc de OP:1.
on peut donc reporter cette hauteur sur le graphique et obtenir une approximation de la courbe dérivée. L'échelle de l'axe des <math>y</math> est donc de OP:1.


== Dérivée d'ordre {{mvar|n}} ==
== Dérivée d'ordre {{mvar|n}} ==
Ligne 289 : Ligne 274 :
: <math>f''' = (f'')'</math>.
: <math>f''' = (f'')'</math>.


De manière générale, on définit la dérivée d'ordre {{mvar|n}} pour une fonction {{mvar|n}} fois dérivable par [[raisonnement par récurrence|récurrence]] :
De manière générale, on définit la dérivée d'ordre <math>n</math> pour une fonction <math>n</math> fois dérivable par [[raisonnement par récurrence|récurrence]] :


:<math>\frac{{\mathrm d} ^{n+1}f}{{\mathrm d} x^{n+1}}=\frac{{\mathrm d} }{{\mathrm d} x} \frac{{\mathrm d} ^n f}{{\mathrm d} x^n}</math>
:<math>\frac{{\mathrm d} ^{n+1}f}{{\mathrm d} x^{n+1}}=\frac{{\mathrm d} }{{\mathrm d} x} \frac{{\mathrm d} ^n f}{{\mathrm d} x^n}</math>
Ligne 296 : Ligne 281 :


=== Formule de Leibniz ===
=== Formule de Leibniz ===
Si {{mvar|f}} et {{mvar|g}} sont des fonctions {{mvar|n}} fois dérivables, alors, par application de la [[règle du produit]] :
Si <math>f</math> et <math>g</math> sont des fonctions <math>n</math> fois dérivables, alors, par application de la [[règle du produit]] :


:<math>(fg)^{(n)}=\sum_{k=0}^{n} { n \choose k } f^{(k)}g^{(n-k)}</math>.
:<math>(fg)^{(n)}=\sum_{k=0}^{n} { n \choose k } f^{(k)}g^{(n-k)}</math>.


En particulier pour {{math|''n'' {{=}} 2}},
En particulier pour <math>n=2</math>,
:<math>(fg)''=f''g+2f'g'+fg''</math>
:<math>(fg)''=f''g+2f'g'+fg''</math>
On notera l'analogie avec la [[formule du binôme de Newton]]. Cela provient de la [[bilinéarité]] de l'opérateur de dérivation d'un produit.
On notera l'analogie avec la [[formule du binôme de Newton]]. Cela provient de la [[bilinéarité]] de l'opérateur de dérivation d'un produit.
Ligne 308 : Ligne 293 :
{{Article détaillé|Théorème de Rolle}}
{{Article détaillé|Théorème de Rolle}}


Soient {{mvar|a}} et {{mvar|b}} deux réels tels que {{math|''a'' < ''b''}}. Si {{mvar|f}} est continue sur {{math|[''a'', ''b'']}}, dérivable sur {{math|]''a'', ''b''[}}, et si {{math|''f''(''a'') {{=}} ''f''(''b'')}}, alors il existe (au moins) un réel {{mvar|c}} dans {{math|]''a'', ''b''[}} tel que :
Soient <math>a</math> et <math>b</math> deux réels tels que <math>a < b</math>. Si <math>f</math> est continue sur <math>[a, b]</math>, dérivable sur <math>]a, b[</math>, et si <math>f(a) = f(b)</math>, alors il existe (au moins) un réel <math>c</math> dans <math>]a,b[</math> tel que :
:<math>f'(c)=0</math>.
:<math>f'(c)=0</math>.


Ligne 315 : Ligne 300 :


; Énoncé
; Énoncé
: Si une fonction {{mvar|f}} est continue sur {{math|[''a'', ''b'']}}, avec {{math|''a'' ''b''}}, et dérivable sur {{math|]''a'', ''b''[}}, alors il existe un point {{mvar|c}} de {{math|]''a'', ''b''[}} tel que le nombre dérivé de {{mvar|f}} en ce point soit le taux de variation entre {{mvar|a}} et {{mvar|b}}
: Si une fonction <math>f</math> est continue sur <math>[a, b]</math>, avec <math>a \neq b</math>, et dérivable sur <math>]a, b[</math>, alors il existe un point <math>c</math> de <math>]a, b[</math> tel que le nombre dérivé de <math>f</math> en ce point soit le taux de variation entre <math>a</math> et <math>b</math>
: <math>f'(c)= \frac{f(b)-f(a)}{b-a}</math>.
: <math>f'(c)= \frac{f(b)-f(a)}{b-a}</math>.


En particulier, si {{math|''f''(''a'') {{=}} ''f''(''b'')}}, on retrouve le [[théorème de Rolle]], qui sert aussi à démontrer le résultat plus général (voir [[Théorème des accroissements finis|l'article détaillé]]), c'est pourquoi on le rencontre souvent sous le nom de [[Lemme (mathématiques)|lemme]] de Rolle.
En particulier, si <math>f(a) = f(b)</math>, on retrouve le [[théorème de Rolle]], qui sert aussi à démontrer le résultat plus général (voir [[Théorème des accroissements finis|l'article détaillé]]), c'est pourquoi on le rencontre souvent sous le nom de [[Lemme (mathématiques)|lemme]] de Rolle.


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


=== Discontinuités ===
=== Discontinuités ===
Une partie {{mvar|A}} d'un intervalle réel {{mvar|I}} est l'ensemble des points de continuité de la dérivée d'une fonction dérivable de {{mvar|I}} dans si et seulement si<ref>{{Ouvrage|langue=en|auteur1={{Lien|langue=en|Andrew M. Bruckner}}|titre=Differentiation of Real Functions|éditeur=Springer|année=1978|passage=46-47|lire en ligne=https://books.google.fr/books?id=wkC8DAAAQBAJ&pg=PA46}}.</ref> {{mvar|A}} est un [[Ensemble Gδ|G{{ind|δ}}]] [[Partie dense|dense]] dans {{mvar|I}}.
Une partie <math>A</math> d'un intervalle réel <math>I</math> est l'ensemble des points de continuité de la dérivée d'une fonction dérivable de <math>I</math> dans <math>\R</math> si et seulement si<ref>{{Ouvrage|langue=en|auteur1={{Lien|langue=en|Andrew M. Bruckner}}|titre=Differentiation of Real Functions|éditeur=Springer|année=1978|passage=46-47|lire en ligne=https://books.google.fr/books?id=wkC8DAAAQBAJ&pg=PA46}}.</ref> <math>A</math> est un [[Ensemble Gδ|ensemble ''G''{{ind|δ}}]] [[Partie dense|dense]] dans <math>I</math>.


L'ensemble des points de discontinuité d'une dérivée est donc un [[Ensemble Fσ|F{{ind|σ}}]] d'[[Intérieur (topologie)|intérieur]] vide quelconque.
L'ensemble des points de discontinuité d'une dérivée est donc un [[Ensemble Fσ|ensemble ''F''{{ind|σ}}]] d'[[Intérieur (topologie)|intérieur]] vide quelconque.


=== Théorème de [[Gaston Darboux|Darboux]] ===
=== Théorème de [[Gaston Darboux|Darboux]] ===
{{Article détaillé|Théorème de Darboux (analyse)}}
{{Article détaillé|Théorème de Darboux (analyse)}}


Si {{mvar|f}} est dérivable, sa fonction dérivée {{mvar|f {{'}}}} n'est donc pas nécessairement continue. Cependant, {{mvar|f {{'}}}} possède la propriété des valeurs intermédiaires. Ceci constitue le théorème de Darboux, qui peut se formuler de deux façons équivalentes :
Si <math>f</math> est dérivable, sa fonction dérivée <math>f'</math> n'est donc pas nécessairement continue. Cependant, <math>f'</math> possède la propriété des valeurs intermédiaires. Ceci constitue le théorème de Darboux, qui peut se formuler de deux façons équivalentes :
: si {{mvar|f}} dérivable est définie sur un intervalle réel {{mvar|I}}, alors {{math|''f {{'}}''(''I'')}} est un intervalle ;
: si <math>f</math> dérivable est définie sur un intervalle réel <math>I</math>, alors <math>f'(I)</math> est un intervalle ;
: si {{math|''f {{'}}''(''a'') < ''f {{'}}''(''b'')}} alors, pour tout {{mvar|t}} de {{math|[''f {{'}}''(''a''), ''f {{'}}''(''b'')]}}, il existe {{mvar|c}} tel que {{math|''f {{'}}''(''c'') {{=}} ''t''}}.
: si <math>f'(a) < f'(b)</math> alors, pour tout <math>t</math> de <math>[f'(a), f'(b)]</math>, il existe <math>c</math> tel que <math>f'(c) = t</math>.


== Dérivées de fonctions liées ==
== Dérivées de fonctions liées ==
Ligne 348 : Ligne 333 :
On sait par [[Théorème de Pythagore|relation de Pythagore]] que la distance entre le piéton et le sommet est alors de {{nb|100|m}}.
On sait par [[Théorème de Pythagore|relation de Pythagore]] que la distance entre le piéton et le sommet est alors de {{nb|100|m}}.


Avec {{mvar|y}} et {{mvar|x}}, distances du piéton au sommet de la tour et au pied de celle-ci sont des fonctions du temps liées par la relation de Pythagore :
Avec <math>y</math> et <math>x</math>, distances du piéton au sommet de la tour et au pied de celle-ci sont des fonctions du temps liées par la relation de Pythagore :
: <math>y^2=x^2+60^2</math> implique <math>y^2(t)=x^2(t)+60^2</math>
: <math>y^2=x^2+60^2</math> implique <math>y^2(t)=x^2(t)+60^2</math>
En dérivant les deux membres de cette égalité, nous obtenons :
En dérivant les deux membres de cette égalité, nous obtenons :
Ligne 358 : Ligne 343 :
ce qui revient à dire que la vitesse par rapport au sommet de la tour vaut <math>\tfrac8{10}\cdot8\; \rm \tfrac{km}h=6{,}4\; \tfrac{km}h</math>.
ce qui revient à dire que la vitesse par rapport au sommet de la tour vaut <math>\tfrac8{10}\cdot8\; \rm \tfrac{km}h=6{,}4\; \tfrac{km}h</math>.


L'expression précédente permet en outre d'exprimer en fonction du temps la vitesse mesurée du sommet de la tour : si l'on note {{math|''v''(''t'')}} celle-ci et {{mvar|v}} la vitesse constante de déplacement horizontal exprimées en m/s, on a les égalités
L'expression précédente permet en outre d'exprimer en fonction du temps la vitesse mesurée du sommet de la tour : si l'on note <math>v(t)</math> celle-ci et <math>v</math> la vitesse constante de déplacement horizontal exprimées en m/s, on a les égalités
: <math>x(t)=vt,\ y(t)=\sqrt{60^2+v^2t^2} \ \textrm{ et }\ v(t)=\frac{vt}{\sqrt{60^2+v^2t^2}}v</math>.
: <math>x(t)=vt,\ y(t)=\sqrt{60^2+v^2t^2} \ \textrm{ et }\ v(t)=\frac{vt}{\sqrt{60^2+v^2t^2}}v</math>.
}}
}}


== Analyse d'une fonction dérivée ==
== Analyse d'une fonction dérivée ==
En trouvant les valeurs de {{mvar|x}} pour lesquelles la dérivée vaut 0 ou n'existe pas, on trouve les [[Point critique (mathématiques)|nombres critiques]] de la fonction. Les nombres critiques de {{mvar|f}} permettent de trouver implicitement ses maxima et ses minima. En effectuant le [[test de la dérivée première]], on construit un [[Variations d'une fonction|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.
En trouvant les valeurs de <math>x</math> pour lesquelles la dérivée vaut 0 ou n'existe pas, on trouve les [[Point critique (mathématiques)|nombres critiques]] de la fonction. Les nombres critiques de <math>f</math> permettent de trouver implicitement ses maxima et ses minima. En effectuant le [[test de la dérivée première]], on construit un [[Variations d'une fonction|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 est croissante ; s'il est négatif, elle est décroissante. On ne conclut rien, si au point critique la fonction dérivée ne change pas de signe. En dérivant la dérivée première, on a la [[dérivée seconde]]. En effectuant le [[Dérivée seconde|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 d'inflexion|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 [[Fonction convexe|convexe]] et un signe négatif de la dérivée seconde signifie que la fonction est [[Fonction concave|concave]]. Connaissant les changements de concavité et les [[extremum|extrema]] de la fonction, on peut alors tracer une esquisse de sa représentation graphique.
De plus, lorsque le signe de la dérivée première est positif, la fonction est croissante ; s'il est négatif, elle est décroissante. On ne conclut rien, si au point critique la fonction dérivée ne change pas de signe. En dérivant la dérivée première, on a la [[dérivée seconde]]. En effectuant le [[Dérivée seconde|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 d'inflexion|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 [[Fonction convexe|convexe]] et un signe négatif de la dérivée seconde signifie que la fonction est [[Fonction concave|concave]]. Connaissant les changements de concavité et les [[extremum|extrema]] de la fonction, on peut alors tracer une esquisse de sa représentation graphique.
Ligne 384 : Ligne 369 :
{{Article détaillé|Polynôme formel|Dérivation (algèbre)|Corps différentiel}}
{{Article détaillé|Polynôme formel|Dérivation (algèbre)|Corps différentiel}}


Les [[algèbre|algébristes]] donnent un sens un peu différent au terme ''dérivée''. Ils l'appliquent à une structure ''B'' appelée [[Algèbre associative|''A''-algèbre associative]] unitaire et commutative. Une application ''D'', de ''B'' dans ''B'' est appelée une [[dérivation (algèbre)|dérivation]] si :
Les [[algèbre|algébristes]] donnent un sens un peu différent au terme ''dérivée''. Ils l'appliquent à une structure <math>B</math> appelée [[Algèbre associative|''A''-algèbre associative]] unitaire et commutative. Une application <math>D</math>, de <math>B</math> dans <math>B</math> est appelée une [[dérivation (algèbre)|dérivation]] si :
* L'application ''D'' est ''A''-[[application linéaire|linéaire]].
* l'application <math>D</math> est [[application linéaire|''A''-linéaire]] ;
* ''b''{{ind|1}} et ''b''{{ind|2}} étant deux éléments de ''B'', la dérivée de ''b''{{ind|1}}.''b''{{ind|2}} est égale à la somme du produit de la dérivée de ''b''{{ind|1}} et de ''b''{{ind|2}} et du produit de ''b''{{ind|1}} avec la dérivée de ''b''{{ind|2}} :<center><math> D(b_1\cdot b_2) = D (b_1)\cdot b_2 + b_1\cdot D(b_2)</math></center>(en particulier, la dérivée de l'élément 1{{ind|''B''}} neutre de ''B'' pour la multiplication est nulle).
* <math>b_1</math> et <math>b_2</math> étant deux éléments de <math>B</math>, la dérivée de <math>b_1 \cdot b_2</math> est égale à la somme du produit de la dérivée de <math>b_1</math> et de <math>b_2</math> et du produit de <math>b_1</math> avec la dérivée de <math>b_2</math> :<center><math> D(b_1\cdot b_2) = D (b_1)\cdot b_2 + b_1\cdot D(b_2)</math></center>(en particulier, la dérivée de l'élément <math>1_B</math> neutre de <math>B</math> pour la multiplication est nulle).


Un exemple de dérivation définie de cette manière est donné dans l'article [[polynôme formel]].
Un exemple de dérivation définie de cette manière est donné dans l'article [[polynôme formel]].
Ligne 395 : Ligne 380 :


== Dérivation en tant qu'application linéaire ==
== Dérivation en tant qu'application linéaire ==
La dérivation est une [[application linéaire]], de l'[[espace vectoriel]] des fonctions dérivables sur un [[Intervalle (mathématiques)#Inventaire|intervalle ouvert]] non [[Ensemble vide|vide]] {{mvar|I}} de et à valeurs réelles, vers celui des fonctions quelconques de {{mvar|I}} dans {{Note|texte=Cette application n'est pas [[surjection|surjective]] : son [[image (mathématiques)|image]] (l'ensemble des fonctions admettant une [[primitive]]) ne contient pas, par exemple, de fonctions présentant une [[Classification des discontinuités|discontinuité de première espèce]], en raison du théorème de Darboux {{supra|Théorème de Darboux}}.}}. Son [[Noyau (algèbre)|noyau]] est constitué des [[Fonction constante|fonctions constantes]] et plus généralement, tout réel {{mvar|λ}} est [[valeur propre]], de [[Valeur propre (synthèse)|sous-espace propre]] associé la [[droite vectorielle|droite]] de toutes les fonctions de la forme <math>x\mapsto a\mathrm e^{\lambda x}</math> avec <math>a\in\R</math>.
La dérivation est une [[application linéaire]], de l'[[espace vectoriel]] des fonctions dérivables sur un [[Intervalle (mathématiques)#Inventaire|intervalle ouvert]] non [[Ensemble vide|vide]] <math>I</math> de <math>\R</math> et à valeurs réelles, vers celui des fonctions quelconques de <math>I</math> dans <math>\R</math>{{Note|texte=Cette application n'est pas [[surjection|surjective]] : son [[image (mathématiques)|image]] (l'ensemble des fonctions admettant une [[primitive]]) ne contient pas, par exemple, de fonctions présentant une [[Classification des discontinuités|discontinuité de première espèce]], en raison du théorème de Darboux {{supra|Théorème de Darboux}}.}}. Son [[Noyau (algèbre)|noyau]] est constitué des [[Fonction constante|fonctions constantes]] et plus généralement, tout réel <math>\lambda</math> est [[valeur propre]], de [[Valeur propre (synthèse)|sous-espace propre]] associé la [[droite vectorielle|droite]] de toutes les fonctions de la forme <math>x\mapsto a\mathrm e^{\lambda x}</math> avec <math>a\in\R</math>.


La dérivation en tant qu'[[Endomorphisme linéaire|endomorphisme]] de l'espace <math>E=\mathcal{C}^\infty(I,\Complex)</math> n'admet pas de [[Racine carrée fonctionnelle|racine carrée]]<ref>{{Ouvrage |auteur1= Serge Francinou |auteur2= Hervé Gianella |auteur3= Serge Nicolas|titre= Oraux X-ENS |sous-titre= Exercices de mathématiques Algèbre 1 |éditeur= Cassini |collection= |lieu=Paris |année=2007 |volume= |tome=1 |pages totales=372 |passage=311 |isbn=978-2-84225-132-1}}.</ref>{{,}}{{Note|texte=Il est cependant possible, en un sens étendu, de définir une notion de [[analyse fractionnaire|dérivée fractionnaire]] ; pour cette définition, la dérivation d'ordre 1/2<!--unique ?--> est effectivement une racine carrée de la dérivation usuelle<!--mais pas définie(s) partout ? ou pas linéaire(s) ?-->.}}, c'est-à-dire que si l'on note <math>D:E\to E</math> l'opérateur de dérivation, alors il n'existe pas<ref>En effet, la [[Droite vectorielle|droite]] <math>\ker D\cong\Complex_0[X]</math> et le [[Plan vectoriel|plan]] <math>\ker(D^2)\cong\Complex_1[X]</math> étant alors [[Sous-espace stable|stables]] par {{mvar|T}}, on aurait <math>T(1)=a</math> et <math>T(X)=bX+c</math>, or les deux équations <math>0=T^2(1)=a^2</math> et <math>1=T^2(X)=b^2X+c(a+b)</math> sont incompatibles.</ref> d'application linéaire <math>T:E\to E</math> telle que {{nobr|<math>T\circ T=D</math>.}}
La dérivation en tant qu'[[Endomorphisme linéaire|endomorphisme]] de l'espace <math>E=\mathcal{C}^\infty(I,\Complex)</math> n'admet pas de [[Racine carrée fonctionnelle|racine carrée]]<ref>{{Ouvrage |auteur1= Serge Francinou |auteur2= Hervé Gianella |auteur3= Serge Nicolas|titre= Oraux X-ENS |sous-titre= Exercices de mathématiques Algèbre 1 |éditeur= Cassini |collection= |lieu=Paris |année=2007 |volume= |tome=1 |pages totales=372 |passage=311 |isbn=978-2-84225-132-1}}.</ref>{{,}}{{Note|texte=Il est cependant possible, en un sens étendu, de définir une notion de [[analyse fractionnaire|dérivée fractionnaire]] ; pour cette définition, la dérivation d'ordre 1/2<!--unique ?--> est effectivement une racine carrée de la dérivation usuelle<!--mais pas définie(s) partout ? ou pas linéaire(s) ?-->.}}, c'est-à-dire que si l'on note <math>D:E\to E</math> l'opérateur de dérivation, alors il n'existe pas<ref>En effet, la [[Droite vectorielle|droite]] <math>\ker D\cong\Complex_0[X]</math> et le [[Plan vectoriel|plan]] <math>\ker(D^2)\cong\Complex_1[X]</math> étant alors [[Sous-espace stable|stables]] par <math>T</math>, on aurait <math>T(1)=a</math> et <math>T(X)=bX+c</math>, or les deux équations <math>0=T^2(1)=a^2</math> et <math>1=T^2(X)=b^2X+c(a+b)</math> sont incompatibles.</ref> d'application linéaire <math>T:E\to E</math> telle que {{nobr|<math>T\circ T=D</math>.}}


== Notes et références ==
== Notes et références ==

Dernière version du 21 mars 2024 à 16:27

En mathématiques, la dérivée d'une fonction d'une variable réelle mesure l'ampleur du changement de la valeur de la fonction (valeur de sortie) par rapport à un petit changement de son argument (valeur d'entrée). Les calculs de dérivées sont un outil fondamental du calcul infinitésimal. Par exemple, la dérivée de la position d'un objet en mouvement par rapport au temps est la vitesse (instantanée) de l'objet.

La dérivée d'une fonction est une fonction qui, à tout nombre pour lequel admet un nombre dérivé, associe ce nombre dérivé. La dérivée en un point d'une fonction de plusieurs variables réelles, ou à valeurs vectorielles, est plus couramment appelée différentielle de la fonction en ce point et n'est pas traitée ici.

La dérivée d'une fonction en est usuellement notée ou .

On utilise aussi des notations spécifiques, en particulier en physique, pour désigner la dérivée par rapport au temps qui s'écrit avec un point surmontant la lettre (), la dérivée seconde s'écrivant alors grâce à un tréma surmontant la lettre. Cette notation est appelée « notation de Newton ». On utilise dans le même esprit les notations prime () et seconde () pour noter les dérivées par rapport à l'espace.

En analyse, le nombre dérivé en un « point » (réel) d'une fonction à variable et valeurs réelles est la pente de la tangente au graphe de au point . C'est le coefficient directeur de l'approximation affine de en  ; ce nombre n'est donc défini que si cette tangente — ou cette approximation — existe. La notion de dérivée est une notion fondamentale en analyse permettant d'étudier les variations d'une fonction, de construire des tangentes à une courbe et de résoudre des problèmes d'optimisation.

En sciences, lorsqu'une grandeur est fonction du temps, la dérivée de cette grandeur donne la vitesse instantanée de variation de cette grandeur, et la dérivée de la dérivée donne l'accélération. Par exemple, la vitesse instantanée d'un mobile est la valeur à cet instant de la dérivée de sa position par rapport au temps, et son accélération est la valeur à cet instant de la dérivée, par rapport au temps, de sa vitesse.

On généralise la notion de dérivée en étendant celle-ci au champ complexe et on parle alors de dérivée complexe. Pour une fonction de plusieurs variables réelles, on parle de la dérivée partielle par rapport à l'une de ses variables.

Il existe aussi une définition purement algébrique de la dérivée. On en trouve un exemple dans l'article polynôme formel.

Histoire[modifier | modifier le code]

Sa création est liée à une polémique entre deux mathématiciens : Isaac Newton et Gottfried Wilhelm Leibniz. Néanmoins, on retrouve chez des mathématiciens plus anciens les prémices de ce type de calcul : Pierre de Fermat et Isaac Barrow notamment. L'histoire du calcul infinitésimal remonte même à l'Antiquité, avec Archimède.

La notion de nombre dérivé a vu le jour au XVIIe siècle dans les écrits de Leibniz et ceux de Newton, qui le nomme fluxion et qui le définit comme « le quotient ultime de deux accroissements évanescents ». C'est à Lagrange (fin du XVIIIe siècle) que l'on doit la notation , aujourd'hui usuelle, pour désigner le nombre dérivé de en . C'est aussi à lui qu'on doit le nom de « dérivée » pour désigner ce concept mathématique.

Approche à partir de la pente de la tangente[modifier | modifier le code]

Le graphique d'une fonction, dessinée en noir, et une ligne tangente à cette fonction, dessinée en rouge. La pente de la tangente est égale à la dérivée de la fonction au point marqué.

Pour approcher cette notion de manière graphique, commençons par nous donner une courbe représentative d'une fonction continue dans un repère cartésien, 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. 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. Si la courbe « monte » (c'est-à-dire 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 pour laquelle la fonction est dérivable, on appelle nombre dérivé de en le coefficient directeur de la tangente à la courbe au point d'abscisse . 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.

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 (pour plus de détails, voir Fonction monotone#Monotonie et signe de la dérivée). Si de plus le nombre dérivé change de signe en ce point, alors la fonction admet un extremum local (minimum ou maximum) ; sinon, on obtient ce qu'on appelle un point d'inflexion et ainsi la courbe change de concavité.

Définition formelle[modifier | modifier le code]

Soit une fonction réelle à valeurs réelles définie sur une réunion quelconque d'intervalles non triviaux (c'est-à-dire non vides et non réduits à un point), et appartenant à l'intérieur de l'ensemble de définition .

Pour tout tel que , on appelle taux d'accroissement de en et avec un pas de la quantité :

Il s'agit du coefficient directeur de la droite reliant les points de coordonnées et .

Si admet une limite finie lorsque tend vers 0, on dit que est dérivable en , auquel cas le nombre dérivé de en est égal à la limite de ce taux d'accroissement. On note alors :

ou, de manière équivalente :

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

Ce calcul de limite revient graphiquement à rechercher la pente de 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 :

Une sécante s'approche d'une tangente quand .

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

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

Dérivabilité et lien avec la continuité[modifier | modifier le code]

Typiquement, une fonction est dérivable si elle ne présente pas « d'aspérité », de rupture de pente ni de partie « verticale ».

Fonction signe.

Une fonction qui n'est pas continue en un point n'y est pas dérivable. Prenons l'exemple d'une fonction qui fait un saut. On ne peut pas définir de tangente, la limite du taux de variation est infinie (la pente de la courbe est verticale). C'est le cas par exemple de la fonction signe en 0 :

  • à gauche de 0, i.e. ,  ;
  • en 0 :  ;
  • à droite de 0, i.e. ,  ;

le taux de variation pour une largeur , vaut donc

et tend vers quand tend vers 0. Par contre, on peut définir une dérivée à gauche — dérivée partout nulle (tangente horizontale) sur — et une dérivée à droite — dérivée également nulle sur .

Fonction valeur absolue.
Fonction racine cubique.

Si une fonction est dérivable en un point alors elle est continue en ce point, mais la réciproque est fausse.

Par exemple : la fonction valeur absolue est continue mais n'est pas dérivable en 0 :

  • à gauche de 0, i.e. , la pente vaut  ;
  • à droite de 0, i.e. , la pente vaut .

Il y a une tangente à gauche et une tangente à droite différentes, la pente en 0 n'est pas définie ; le taux de variation n'a pas de limite définie. C'est le cas général pour les courbes présentant un point anguleux.

Il en est de même de la fonction racine cubique, qui a une tangente verticale en  : le taux de variation a une limite infinie.

De plus, une fonction continue en un ensemble ne garantit pas que la fonction soit dérivable en cet ensemble (ouvert), comme contre-exemple la fonction de Weierstrass est continue sur mais dérivable nulle part.

Fonction dérivée[modifier | modifier le code]

La dérivabilité est a priori une notion locale (dérivabilité en un point), mais à toute fonction on peut associer sa fonction dérivée (prononcée «  prime »), donnée par

est le domaine de dérivabilité de (le sous-ensemble de constitué des points en lesquels est dérivable).

Les fonctions dérivées sont utilisées notamment dans l'étude des fonctions réelles et de leurs variations.

La seule fonction (à une constante multiplicative près) égale à sa dérivée — c'est-à-dire solution de l'équation différentielle — est la fonction exponentielle de base . Certains ouvrages[Lesquels ?] prennent cette propriété, avec la condition , comme définition de l'exponentielle.

Notations[modifier | modifier le code]

Il existe différentes notations pour exprimer la valeur de la dérivée d'une fonction en un point . On distingue :

  • la notation de Lagrange[1] :  ;
  • la notation de Leibniz : ou . En physique, on note parfois . Cette dernière notation n'est pas rigoureuse car est un nombre constant, qui peut être vu comme une fonction constante  : rigoureusement, on a donc  ;
  • la notation de Newton[2] : qui est plutôt utilisée en physique pour désigner une dérivée par rapport au temps (on parle alors de calcul des fluxions) ;
  • la notation d'Euler : .

Ces notations permettent également d'écrire des dérivées itérées, cela se fait en multipliant le prime ou le point dans la notation (par exemple une dérivée seconde peut s'écrire ou ).

Dérivées usuelles et règles de dérivation[modifier | modifier le code]

peut souvent se calculer directement à partir d'une expression de , lorsqu'il s'agit d'une fonction « simple », en utilisant la table 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é Quels que soient le réel et les fonctions dérivables et .
Produit Quelles que soient les fonctions dérivables et .
Inverse Quelle que soit la fonction dérivable qui ne s'annule pas

(cas particulier de la ligne suivante)

Quotient Quelles que soient la fonction dérivable et la fonction dérivable qui ne s'annule pas
Composée Quelles que soient les fonctions dérivables (et composables) et
Réciproque Quelle que soit la fonction bijective de réciproque , dérivable de dérivée ne s'annulant en aucun point

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

Nom Règle Conditions
Puissance Quel que soit , et même quel que soit si
Racine Quelle que soit la fonction dérivable strictement positive

(cas particulier de la ligne précédente)

Exponentielle Quelle que soit dérivable
Logarithme Quelle que soit la fonction dérivable strictement positive
Logarithme népérien Quelle que soit la fonction dérivable strictement positive (cas de la ligne précédente)

Dérivation numérique[modifier | modifier le code]

Principe de la dérivation numérique.

Dans le cas d'une courbe expérimentale, on ne possède pas de fonction explicite pour la décrire, mais une série de valeurs . On a donc recours à une dérivation numérique, qui consiste simplement à approcher la valeur de la dérivée en un point par le taux de variation entre les points précédent et suivant :

Graphiquement, cela revient à remplacer la tangente par la corde. Ceci peut se justifier par le théorème des accroissements finis : on sait qu'il existe un point de l'intervalle pour lequel la dérivée est la pente de la corde, et si l'intervalle est petit, alors ce point est proche du milieu  . Cette méthode est automatisable sur les calculatrices programmables et les ordinateurs.

Il faut cependant se poser la question de la précision des résultats. Une mise en informatique « naïve » de la méthode de calcul peut mener à des résultats de précision médiocre dans certains cas.

Dans un ordinateur, la précision des nombres est limitée par le mode de représentation. Si l'on utilise la double précision selon la norme IEEE 754, les nombres ont environ 16 chiffres significatifs. On a donc une précision relative de l'ordre de 10−16 (2−52 exactement). Notons cette valeur. Les calculatrices de poche admettent typiquement 10 chiffres significatifs, soit = 10−10.

Supposons que la différence soit inférieure à , alors le calculateur fera une erreur grossière sur le calcul et le résultat sera médiocre ; voire, si la différence est très faible, il ne « verra pas » de différence entre les deux valeurs, et le résultat sera 0. Si par exemple on veut avoir la dérivée autour de 2 de la fonction , en prenant un écart de 10−13 entre les points :

= 1,999 999 999 999 9
= 2
= 2,000 000 000 000 1
≈ 8 × 10−13

On voit que la différence entre les nombres, 8 × 10−13, est proche de . On va donc avoir une erreur d'arrondi. De fait, le calcul nous donne sur un ordinateur

≈ 3,997

alors que le résultat exact est

= 2 × 21 = 4

soit une erreur de 0,3 %. Sur une calculatrice, le résultat est ≈ 0

Le point critique est le choix de l'écart entre les valeurs de . Une valeur de l'ordre de convient dans de nombreux cas. Il nous manque encore quelques éléments pour cette étude ; le problème est abordé dans la section Précision de la dérivée numérique ci-dessous.

Donc :

  • pour un ordinateur calculant en double précision, on peut prendre un écart de 10−8 entre les points ;
  • pour une calculatrice avec 10 chiffres significatifs, on peut prendre un écart de 10−5 entre les points.

Précision de la dérivée numérique[modifier | modifier le code]

On peut approcher une fonction de classe C2 par un polynôme appelé développement limité[3] :

.

Il en vient une approximation de la dérivée à l'ordre 2 :

.

Ce faisant, on commet une erreur de troncature du second ordre

.

Par ailleurs, l'ordinateur commet une erreur d'arrondi : la précision relative étant , la précision absolue sur est , et donc l'erreur induite sur la dérivée

.

L'erreur totale vaut donc

.

Cette fonction est convexe, et admet un minimum en

.

Cela dépend donc du rapport entre la valeur de et la courbure . Pour les zones où la fonction est « modérée » — c'est-à-dire que est de l'ordre de l'unité —, on peut retenir

.

L'erreur commise sur le premier terme (« erreur de méthode ») est en fait bien plus petite, puisque la méthode du paragraphe précédent revient à approximer par  ; le même développement limité (pris cette fois à l'ordre 3) montre qu'on commet alors une erreur de l'ordre de . Il en résulte que le principal défaut de ces méthodes d'approximation numérique vient des erreurs d'arrondi.

Des formules plus complexes donnent de meilleures approximations ; voir à ce sujet l’article Dérivation numérique.

Dérivation graphique[modifier | modifier le code]

Dérivation graphique : on convertit la pente des droites en utilisant un pôle.

On peut également effectuer une dérivation graphique, sans utiliser de calcul. On approche les tangentes par les cordes comme pour la méthode numérique. Puis, on tire des parallèles à ces droites passant par un point nommé pôle P. On considère l'intersection de ces droites avec la verticale passant par O, le segment [OP] étant horizontal. La hauteur des segments ainsi délimités est proportionnelle à la pente  :

on peut donc reporter cette hauteur sur le graphique et obtenir une approximation de la courbe dérivée. L'échelle de l'axe des est donc de OP:1.

Dérivée d'ordre n[modifier | modifier le code]

La dérivée seconde, notée , est la dérivée de la dérivée de , lorsqu'elle existe :

et la dérivée troisième est la dérivée de la dérivée seconde, lorsqu'elle existe :

.

De manière générale, on définit la dérivée d'ordre pour une fonction fois dérivable par récurrence :

est également notée .

Formule de Leibniz[modifier | modifier le code]

Si et sont des fonctions fois dérivables, alors, par application de la règle du produit :

.

En particulier pour ,

On notera l'analogie avec la formule du binôme de Newton. Cela provient de la bilinéarité de l'opérateur de dérivation d'un produit.

Propriétés des fonctions dérivables[modifier | modifier le code]

Théorème de Rolle[modifier | modifier le code]

Soient et deux réels tels que . Si est continue sur , dérivable sur , et si , alors il existe (au moins) un réel dans tel que :

.

Théorème des accroissements finis[modifier | modifier le code]

Énoncé
Si une fonction est continue sur , avec , et dérivable sur , alors il existe un point de tel que le nombre dérivé de en ce point soit le taux de variation entre et
.

En particulier, si , on retrouve le théorème de Rolle, qui sert aussi à démontrer le résultat plus général (voir l'article détaillé), c'est pourquoi on le rencontre souvent sous le nom de lemme de Rolle.

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

Discontinuités[modifier | modifier le code]

Une partie d'un intervalle réel est l'ensemble des points de continuité de la dérivée d'une fonction dérivable de dans si et seulement si[4] est un ensemble Gδ dense dans .

L'ensemble des points de discontinuité d'une dérivée est donc un ensemble Fσ d'intérieur vide quelconque.

Théorème de Darboux[modifier | modifier le code]

Si est dérivable, sa fonction dérivée n'est donc pas nécessairement continue. Cependant, possède la propriété des valeurs intermédiaires. Ceci constitue le théorème de Darboux, qui peut se formuler de deux façons équivalentes :

si dérivable est définie sur un intervalle réel , alors est un intervalle ;
si alors, pour tout de , il existe tel que .

Dérivées de fonctions liées[modifier | modifier le code]

Beaucoup de problèmes font intervenir plusieurs variables qui sont liées entre elles et qui varient en fonction du temps.

La variation de l'une de ces variables donnera une variation correspondante des autres variables.

Le lien entre ces variations dépendra des relations qui existent entre les variables.

Exemple :

Un homme s'éloigne d'une tour de 60 m de hauteur à raison de 8 km/h soit environ 2,2 m/s.

À quelle vitesse s'éloigne-t-il du sommet de cette tour lorsqu'il est à 80 m du pied de la tour ?

On sait par relation de Pythagore que la distance entre le piéton et le sommet est alors de 100 m.

Avec et , distances du piéton au sommet de la tour et au pied de celle-ci sont des fonctions du temps liées par la relation de Pythagore :

implique

En dérivant les deux membres de cette égalité, nous obtenons :

implique  :

la vitesse par rapport au sommet de la tour vaut le rapport entre la distance au sol entre le piéton et le pied de la tour et la distance entre le piéton et le sommet de la tour multiplié par la vitesse du piéton.

Lorsque le piéton est à 80 m du pied de la tour :

,

ce qui revient à dire que la vitesse par rapport au sommet de la tour vaut .

L'expression précédente permet en outre d'exprimer en fonction du temps la vitesse mesurée du sommet de la tour : si l'on note celle-ci et la vitesse constante de déplacement horizontal exprimées en m/s, on a les égalités

.

Analyse d'une fonction dérivée[modifier | modifier le code]

En trouvant les valeurs de pour lesquelles la dérivée vaut 0 ou n'existe pas, on trouve les nombres critiques de la fonction. Les nombres critiques de permettent de trouver implicitement ses maxima et ses minima. En effectuant 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 est croissante ; s'il est négatif, elle est décroissante. On ne conclut rien, si au point critique la fonction dérivée ne change pas de signe. En dérivant la dérivée première, on a la dérivée seconde. En effectuant 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 convexe et un signe négatif de la dérivée seconde signifie que la fonction est concave. Connaissant les changements de concavité et les extrema de la fonction, on peut alors tracer une esquisse de sa représentation graphique.

Dérivée et optimisation[modifier | modifier le code]

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

  1. 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.
  2. 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.
  3. On formule la réponse de façon concise par rapport à la question.

Dérivée algébrique[modifier | modifier le code]

Les algébristes donnent un sens un peu différent au terme dérivée. Ils l'appliquent à une structure appelée A-algèbre associative unitaire et commutative. Une application , de dans est appelée une dérivation si :

  • l'application est A-linéaire ;
  • et étant deux éléments de , la dérivée de est égale à la somme du produit de la dérivée de et de et du produit de avec la dérivée de  :
    (en particulier, la dérivée de l'élément neutre de pour la multiplication est nulle).

Un exemple de dérivation définie de cette manière est donné dans l'article polynôme formel.

Dérivée fractionnaire[modifier | modifier le code]

Une autre généralisation part de la notion de dérivée n-ème pour construire, à l'aide de la transformation de Laplace, une nouvelle fonction, la dérivée t-ème, où t est un réel quelconque, et qui coïncide avec la dérivée itérée si t est entier et si la fonction de départ est suffisamment régulière.

Dérivation en tant qu'application linéaire[modifier | modifier le code]

La dérivation est une application linéaire, de l'espace vectoriel des fonctions dérivables sur un intervalle ouvert non vide de et à valeurs réelles, vers celui des fonctions quelconques de dans [5]. Son noyau est constitué des fonctions constantes et plus généralement, tout réel est valeur propre, de sous-espace propre associé la droite de toutes les fonctions de la forme avec .

La dérivation en tant qu'endomorphisme de l'espace n'admet pas de racine carrée[6],[7], c'est-à-dire que si l'on note l'opérateur de dérivation, alors il n'existe pas[8] d'application linéaire telle que .

Notes et références[modifier | modifier le code]

  1. (en) Florian Cajori, A History of Mathematical Notations [détail des éditions], section 575, aperçu sur Google Livres.
  2. Cajori, section 567, aperçu sur Google Livres.
  3. (en) Michaël Baudin, « Scilab is not naive », sur scilab.org, p. 22-28.
  4. (en) Andrew M. Bruckner (en), Differentiation of Real Functions, Springer, (lire en ligne), p. 46-47.
  5. Cette application n'est pas surjective : son image (l'ensemble des fonctions admettant une primitive) ne contient pas, par exemple, de fonctions présentant une discontinuité de première espèce, en raison du théorème de Darboux (voir supra).
  6. Serge Francinou, Hervé Gianella et Serge Nicolas, Oraux X-ENS : Exercices de mathématiques Algèbre 1, t. 1, Paris, Cassini, , 372 p. (ISBN 978-2-84225-132-1), p. 311.
  7. Il est cependant possible, en un sens étendu, de définir une notion de dérivée fractionnaire ; pour cette définition, la dérivation d'ordre 1/2 est effectivement une racine carrée de la dérivation usuelle.
  8. En effet, la droite et le plan étant alors stables par , on aurait et , or les deux équations et sont incompatibles.

Voir aussi[modifier | modifier le code]

Sur les autres projets Wikimedia :

Articles connexes[modifier | modifier le code]

Lien externe[modifier | modifier le code]

(en) Eric W. Weisstein, « Derivative », sur MathWorld

Bibliographie[modifier | modifier le code]

Claude Wagschal, Dérivation, intégration. Avec exercices corrigés, Hermann, 2012