Théorème des accroissements finis
En analyse, le théorème des accroissements finis (en abrégé : TAF) est à la fois une généralisation et un corollaire du théorème de Rolle. Pour toute fonction dérivable d'une variable réelle, son taux d'accroissement entre deux valeurs est réalisable comme pente d'une des tangentes à son graphe[1].
![](http://up.wiki.x.io/wikipedia/commons/thumb/c/c1/Mittelwertsatz5.svg/220px-Mittelwertsatz5.svg.png)
Fonction d'une variable réelle à valeurs réelles
modifierÉnoncé
modifierPour toute fonction réelle d'une variable réelle f : [a, b] → ℝ (a et b réels tels que a < b), supposée continue sur l'intervalle fermé [a, b] et dérivable sur l'intervalle ouvert ]a, b[, il existe un réel c dans ]a, b[ vérifiant :
Graphiquement, le théorème des accroissements finis indique que, pour toute droite sécante en deux points à une courbe différentiable, il existe, entre ces deux points, une tangente parallèle à la sécante.
On peut illustrer ainsi le théorème : « Si un véhicule parcourt une distance à la vitesse moyenne de 60 km/h, alors son compteur (censé indiquer avec une précision infinie la vitesse instantanée) a indiqué au moins une fois la vitesse précise de 60 km/h. »
La solution c n'est pas unique en général. Plus précisément, pour une fonction dérivable sur un intervalle I, la solution c est unique pour tous a < b dans I si et seulement si f est strictement convexe ou strictement concave[2] sur I.
Deux conséquences directes du théorème des accroissements finis sont :
- le lien entre monotonie et signe de la dérivée ;
- le théorème « limite de la dérivée » (si une fonction f, continue en a, est dérivable sauf peut-être en a, mais si sa dérivée a une limite finie au point a, alors f est en fait de classe C1 en a).
Théorème des accroissements finis généralisé
modifierCe théorème s'applique dans le cas de deux fonctions continues sur [a,b] et dérivables sur ]a, b[. Il assure qu'il existe un réel c de l'intervalle ]a, b[ tel que[1]
Géométriquement, il signifie que toute courbe représentative d'une fonction différentiable de ℝ dans ℝ2, t ↦ (f(t), g(t)), possède une tangente parallèle à l'une quelconque de ses cordes.
Dans le cas où g ' ne s'annule pas sur ]a, b[, l'égalité peut s'écrire[1] :
Sous cette forme, le théorème est appelé théorème de la moyenne de Cauchy. Il peut être utilisé pour démontrer la règle de L'Hôpital.
- Remarque
- Si a = –∞ ou b = +∞ et si f et g sont dérivables sur ]a, b[ et possèdent en a et b des limites finies, notées f(a), f(b), g(a) et g(b), on obtient par la même méthode (en remplaçant le théorème de Rolle par une généralisation adaptée) une conclusion identique.
Généralisation aux courbes paramétrées dans l'espace
modifierPour tout triplet de fonctions réelles continues sur et dérivables sur , il existe tel que le déterminant soit nul.
Si l'on pose , , et , le théorème énonce l'existence pour les courbes paramétrées joignant à d'une tangente (en un certain ), parallèle au plan , le déterminant nul indiquant la colinéarité des vecteurs , et .
Le point pouvant être choisi arbitrairement, il énonce en fait l'existence d'une corde parallèle à un plan donné passant par et . Par contre, comme on le voit ci-contre, la généralisation qui consisterait à dire qu'il existe une tangente parallèle à est fausse.
Notons que ce théorème contient le TAF généralisé, qui contient le TAF, lui-même contenant le théorème de Rolle.
Inégalité des accroissements finis
modifierL'inégalité des accroissements finis (IAF) :
Soit f : [a, b] → ℝ (avec a et b réels tels que a < b). Si :
- f est continue sur l'intervalle fermé [a, b] ;
- f est dérivable sur l'intervalle ouvert ]a, b[ ;
- M est un réel tel que, pour tout élément x de ]a, b[, |f'(x)| ≤ M ;
alors[3] ,
propriété que l'on peut illustrer par : « Si la vitesse instantanée d'un véhicule ne peut pas dépasser 120 km/h, alors sa vitesse moyenne non plus. »
Sous les mêmes hypothèses, f est donc M-lipschitzienne (car sa restriction à tout sous-intervalle de [a, b] vérifie encore les hypothèses). Remarquons que d'après le théorème des bornes, ces hypothèses sont vérifiées pour toute fonction f de classe C1 sur [a, b], avec .
Il existe de même une « inégalité des accroissements finis généralisée » :
Soient f et g : [a, b] → ℝ continues sur [a,b] et dérivables sur ]a, b[, avec g' de signe constant. Si J est un intervalle de ℝ tel que, pour tout x de ]a, b[, f'(x) ∈ g'(x)J alors, f(b) – f(a) ∈ (g(b) – g(a))J.
On peut même démontrer directement, sans le théorème des accroissements finis, que cette conclusion reste vraie si la dérivabilité de f et g (et les hypothèses sur f'(x) et g'(x)) ne sont vérifiées que sur le complémentaire d'un ensemble dénombrable[4],[5],[6].
Théorème des accroissements finis et intégration
modifier- Une version intégrale du TAF est le théorème de la moyenne :
Pour toute fonction u à valeurs réelles, continue sur un segment [a, b] avec a < b, il existe un réel c de ]a, b[ tel que - L'analogue intégral du théorème des accroissements finis généralisé est un théorème de la moyenne généralisé :
Pour toutes fonctions u et v à valeurs réelles, continues sur un segment [a, b] avec a < b, v gardant un signe constant sur [a, b], il existe un réel c de tel que
Réciproque partielle
modifierPuisque le théorème des accroissements finis garantit que (pour une fonction vérifiant les hypothèses) tout taux d'accroissement est un nombre dérivé, une question naturelle est : réciproquement, tout nombre dérivé est-il un taux d'accroissement ?
La réponse est : non. Par exemple (cf. figure ci-contre), pour la fonction , le nombre dérivé n'est pas un taux d'accroissement. Mais la pathologie de ce cas ( est ici la valeur maximum de ) est la seule obstruction.
Le théorème des accroissements finis possède en effet la réciproque partielle suivante (réciproque « faible[7] ») :
Pour toute fonction dérivable sur un intervalle, toute valeur non extrémale de est un taux d'accroissement de [8].
Autrement dit : toute tangente au graphe de dont la pente n'est ni maximum, ni minimum, possède une parallèle sécante au graphe en deux points. Le TAF permet en outre d'affirmer[8] que si la valeur n'est atteinte qu'au point , alors les deux extrémités de la corde sont de part et d'autre du point de tangence[7] (réciproque « forte »).
La « réciproque faible » ci-dessus se déduit du lemme suivant, qui (joint au TAF lui-même) permet aussi de démontrer que toute fonction dérivée vérifie la propriété des valeurs intermédiaires :
- Pour toute fonction dérivable sur un intervalle, tout réel strictement compris entre deux nombres dérivés de est un taux d'accroissement de [8].
La « réciproque forte » se localise facilement : pour toute fonction dérivable sur un intervalle, si n'est pas un extremum local de et si, au voisinage de , la valeur n'est atteinte par qu'en , alors est encore un taux d'accroissement de entre deux points et tels que [7]. (Pour la nécessité de la seconde hypothèse, cf. figure ci-contre.)
Pour le théorème des accroissements finis généralisés, on démontre de même des réciproques analogues[9].
Fonction d'une variable vectorielle à valeurs réelles
modifierSoient un ouvert d'un espace vectoriel normé E (par exemple E = ℝn, ce qui inclut le cas E = ℂ identifié à ℝ2), un point de et un vecteur non nul de E tel que , et une fonction continue sur et différentiable suivant le vecteur h sur . Alors il existe tel que
par simple application du théorème des accroissements finis à la fonction composée .
Fonction à valeurs vectorielles
modifierPour une telle fonction, il n'existe pas d'analogue du théorème (avec égalité) des accroissements finis, ni même de son cas particulier qu'est le théorème de Rolle (cf. § Remarques de l'article sur ce théorème).
À défaut, lorsque l'espace d'arrivée de f est ℝn, on peut appliquer le théorème des accroissements finis à chacune des composantes réelles fk de la fonction f = (f1, … , fn), mais les ck que l'on construit ainsi (ou les ξk comme ci-dessus si la variable est vectorielle) n'ont aucune raison d'être égaux.
On peut cependant établir une inégalité des accroissements finis dans ce cadre.
Inégalité des accroissements finis
modifierSoient a < b deux réels, E un espace localement convexe et deux fonctions
supposées continues sur [a, b] et dérivables sur ]a, b[.
Si g' est de signe constant alors, pour tout sous-ensemble convexe fermé A de E tel que
on a :
Lorsque g' est non seulement de signe constant mais à valeurs non nulles, la conclusion se reformule en :
où « Co » désigne l'enveloppe convexe fermée.
En particulier si g(t) = t, on obtient[10] : f(b) – f(a) ∈ (b – a)Co({f'(t), t ∈ [a, b]}).
Remarques.
- Ce théorème est d'autant plus surprenant qu’il n'existe pas de théorème de Rolle vectoriel, ou, ce qui revient au même, il n’y a pas d'égalité des accroissements finis mais seulement une inégalité, comme en témoigne la fonction définie par f(t) = eit qui satisfait f(0) = f(2π) alors que sa dérivée ne s'annule pas sur [0, 2π].
- Il en découle qu’une fonction dérivable dont la dérivée est nulle ne peut être que constante.
- Il se déduit directement de son homologue pour les fonctions à valeurs réelles, en utilisant le théorème de Hahn-Banach[11] ou sa version géométrique qu'est le théorème d'Eidelheit[12].
- Sa conclusion reste valide, avec une démonstration identique, sous des hypothèses plus faibles :
- il suffit que f'(t) et g'(t) existent (et vérifient les propriétés indiquées) pour t appartenant au complémentaire d'un ensemble dénombrable[11] ;
- pour f, la continuité et la différentiabilité peuvent être prises au sens faible[12].
Corollaire
modifierOn en déduit immédiatement le corollaire suivant (qui se démontre aussi directement[13],[14],[15]) :
Soient a < b deux réels, E un espace vectoriel normé et deux fonctions
supposées continues sur [a, b] et dérivables sur ]a, b[.
Si
alors
En particulier si, pour une certaine constante M (nécessairement positive ou nulle), on a
alors
Fonction d'une variable vectorielle à valeurs vectorielles
modifierLe corollaire précédent permet de majorer l'accroissement d'une fonction différentiable si l'on connaît une majoration de sa différentielle. Plus précisément[16] :
Soient E et F deux espaces vectoriels normés réels, U un ouvert de E et f : U → F une application différentiable. Pour tout segment [a,b] inclus dans U, on a :
où, pour tout point x de U, ║f ' (x)║ est la norme d'opérateur de la différentielle de f au point x.
Ce corollaire est une conséquence immédiate du précédent, appliqué à la fonction de la variable réelle
Il n'a bien sûr d'intérêt que si le sup qu'il fait intervenir est fini, c'est-à-dire si la différentielle de f est bornée sur [a, b]. Cette condition est assurée en particulier si f est de classe C1 sur U.
Il se généralise à tout ouvert U connexe et à toute fonction dont la différentielle est bornée par k. Si dU(a, b) est la borne inférieure des longueurs des lignes polygonales joignant a à b et incluses dans U, on a
Polynôme sur un corps réel clos
modifierSoit un corps réel clos. Si , on note, tout comme dans , l'ensemble . Alors[17] :
Soit et . Il existe tel que :
Application en cinématique
modifierIl s'écoule 0,04 s entre le relevé de deux points.
En cinématique, le vecteur vitesse d'un point d'un mobile est tangent à la trajectoire de ce point. À partir d'un enregistrement du mouvement (succession de positions relevées à intervalle de temps constant), on peut déterminer la direction du vecteur vitesse au point i en considérant la corde (Mi-1Mi+1).
En effet, sur un petit intervalle, la pente de la tangente varie peu, donc on estime que la valeur en Mi vérifie le théorème des accroissements finis.
Notes et références
modifier- Cet article est partiellement ou en totalité issu de l'article intitulé « Inégalité des accroissements finis pour les fonctions à valeurs vectorielles » (voir la liste des auteurs).
- Pour une démonstration, voir par exemple ..
- Voir cet ..
- Pour une démonstration, voir par exemple ..
- (en) Andreas Kriegl et Peter W. Michor (de), The Convenient Setting of Global Analysis, AMS, , 618 p. (ISBN 978-0-8218-0780-4, lire en ligne), p. 10.
- (en) Stephen D. Casey et Richard Holzsager, « On Positive Derivatives and Monotonicity », Missouri J. Math. Sci., vol. 17, no 3, , p. 161-173 (lire en ligne).
- Démonstration dans ..
- Propriété redémontrée par (en) Jingcheng Tong et Peter A. Braza, « A converse of the mean value theorem », Amer. Math. Monthly, vol. 104, no 10, , p. 939-942 (JSTOR 2974475) et à nouveau (plus simplement) par (en) Cristinel Mortici, « A converse of the mean value theorem made easy », Int. J. Math. Educ. Sci. Tech., vol. 42, no 1, , p. 89-91 (lire en ligne).
- Pour une démonstration, voir par exemple la ..
- Mortici 2011.
- Théorème 2.1 de (en) Robert H. Martin, Jr., Nonlinear Operators and Differential Equations in Banach Spaces, John Wiley & Sons, , p. 26, cité dans .
- (en) Andreas Kriegl et Peter W. Michor (de), The Convenient Setting of Global Analysis, AMS, , 618 p. (ISBN 978-0-8218-0780-4, lire en ligne), p. 10 : Mean value theorem.
- (en) Jerzy Albrycht (pl), « L'Hôpital's rule for vector-valued functions », Colloquium Mathematicum, vol. 2, nos 3-4, , p. 176-177 (lire en ligne) : Cauchy's Mean Value Theorem.
- Sylvie Benzoni-Gavage, Calcul différentiel et équations différentielles : cours et exercices corrigés, Dunod, , 2e éd. (lire en ligne), p. 29-31.
- ..
- La démonstration directe ne nécessite que l'existence de dérivée à droite pour les fonctions g et f : Jacqueline Lelong-Ferrand et Jean-Marie Arnaudiès, Cours de mathématiques, t. 2 : Analyse, Bordas, , p. 132-133. On peut de plus supposer seulement que ces dérivées à droite existent (et satisfont l'inégalité) sur le complémentaire d'un ensemble dénombrable : Jean-Pierre Ramis, André Warusfel et al., Mathématiques Tout-en-un pour la Licence 2, Dunod, , 2e éd. (lire en ligne), p. 602, th. 88.
- Benzoni-Gavage 2014, p. 31.
- (en) Jacek Bochnak, Michel Coste et Marie-Françoise Roy, « Ordered Fields, Real Closed Fields », dans Real Algebraic Geometry, Springer, coll. « Ergebnisse der Mathematik und ihrer Grenzgebiete / A Series of Modern Surveys in Mathematics », (ISBN 978-3-662-03718-8, DOI 10.1007/978-3-662-03718-8_2, lire en ligne), p. 7–21.
Voir aussi
modifierArticle connexe
modifierLe théorème de la corde universelle, qui étudie l'existence d'une corde parallèle à la base, au lieu d'une tangente.
Bibliographie
modifier- Joseph-Louis Lagrange, « Théorie des fonctions analytiques contenant les principes du calcul différentiel, dégagés de toute considération d'infiniment petits ou d'évanouissants, de limites ou de fluxions et réduits à l'analyse algébrique des quantités finies », Journal de l'École polytechnique, 9e cahier, t. III, 1797, § 52, p. 49
- Hélène Gispert-Chambaz, Camille Jordan et les fondements de l'analyse, Publications mathématiques d'Orsay, Université de Paris-Sud, 1982. Selon cet auteur (p. 44), le premier traité d'analyse présentant une démonstration correcte du théorème des accroissements finis (et identique à la présentation moderne) est celui de Dini, paru en Italie en 1878.
Lien externe
modifier« Théorème des accroissements finis », sur uel.unisciel.fr