Théorème des accroissements finis

théorème d'analyse

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].

Il existe un point où la pente de la tangente est égale à la pente de la corde.

Fonction d'une variable réelle à valeurs réelles

modifier

Énoncé

modifier

Pour 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 :

Théorème des accroissements finis généralisé

modifier

Ce 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]

 
 
Il existe un point de l'arc paramétré où la tangente est parallèle à la corde.

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

modifier
 
Exemple de tangente parallèle à un plan passant par A et B. Par contre, ici, aucune tangente n'est parallèle à [AB].

Pour 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

modifier

L'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

modifier
 
Pour la fonction sinus, la pente maximale des tangentes n'est pas la pente d'une corde.
 
Lorsque la valeur f'(c) = λ est atteinte en des points arbitrairement proches de c (ici : c = λ = 0), il arrive qu'aucune des cordes de pente λ ne traverse l'axe x = c.

Puisque 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

modifier

Soient   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

modifier

Pour 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

modifier

Soient 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 :

Corollaire

modifier

On 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

modifier

Le 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

modifier

Soit   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

modifier
 
En cinématique, pour déterminer l'orientation de la tangente, on utilise la corde.
Il 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
  1. a b et c Pour une démonstration, voir par exemple « Théorème des accroissements finis » sur Wikiversité..
  2. Voir cet exercice corrigé de la leçon « Fonctions d'une variable réelle » sur Wikiversité..
  3. Pour une démonstration, voir par exemple « Inégalité des accroissements finis » sur Wikiversité..
  4. (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.
  5. (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).
  6. Démonstration dans « Inégalité des accroissements finis généralisée » sur Wikiversité..
  7. a b et c 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).
  8. a b et c Pour une démonstration, voir par exemple la page sur le théorème de Darboux sur Wikiversité..
  9. Mortici 2011.
  10. 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) J. M. Ayerbe Toledano, T. Domínguez Benavides et G. López Acedo, Measures of Noncompactness in Metric Fixed Point Theory, Springer, coll. « Operator Theory: Advances and Applications » (no 99), , 211 p. (ISBN 978-3-7643-5794-8, lire en ligne), p. 16.
  11. a et b (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.
  12. a et b (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.
  13. Sylvie Benzoni-Gavage, Calcul différentiel et équations différentielles : cours et exercices corrigés, Dunod, , 2e éd. (lire en ligne), p. 29-31.
  14. « Théorème : Inégalité des accroissements finis pour les fonctions à valeurs vectorielles » sur Wikiversité..
  15. 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.
  16. Benzoni-Gavage 2014, p. 31.
  17. (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

modifier

Sur les autres projets Wikimedia :

Article connexe

modifier

Le 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

Lien externe

modifier

« Théorème des accroissements finis », sur uel.unisciel.fr