Taylor, développements limités et convexité
Cours · mathématiques approfondies (ECG 1re année), chapitre 9 · prépa ECG, 1re année · le début du chapitre, la suite sur Adloun
Ce chapitre poursuit la rubrique Compléments d'analyse commencée au chapitre précédent. Son fil conducteur : approcher une fonction par un polynôme au voisinage d'un point, et lire sur ce polynôme tout ce qui se passe localement — la position par rapport à la tangente, l'existence d'un extremum, la convexité.
Le programme est net : l'étude des développements limités ne constitue pas une fin en soi, et l'on se gardera de tout excès de technicité. La composition des développements limités n'est pas au programme, et l'on se limite en pratique au voisinage de . Tous les résultats sur la convexité sont admis, et l'on n'étudiera aucun exemple de fonction sans être .
9.1 Dérivées successives
est fois dérivable si l'on peut la dériver fois ; on note la dérivée -ième. est de classe si de plus est continue, et de classe si elle est indéfiniment dérivable.
Si et sont fois dérivables :
C'est la formule du binôme, les puissances remplacées par des dérivées. Ce n'est pas une coïncidence : dans les deux cas, on distribue opérations entre deux facteurs, et compte les façons d'en donner au premier.
La dérivée -ième d'un polynôme de degré au plus est nulle. Chaque dérivation abaisse le degré d'une unité.
9.2 Formules de Taylor
Si est de classe sur un intervalle contenant et :
Sous les mêmes hypothèses, si entre et :
La formule avec reste intégral donne l'erreur exactement ; l'inégalité de Taylor-Lagrange la majore — c'est elle qui sert en calcul numérique ; et la formule de Taylor-Young, ci-dessous, dit seulement que l'erreur est négligeable — c'est elle qui sert en calcul de limites. De la plus précise à la plus commode.
9.3 Développements limités
admet un développement limité à l'ordre en s'il existe des réels tels que
On écrit aussi le reste .
Exercices du chapitre
- Trois développements limités corrigé
- Une limite par développement limité corrigé
- Un produit de développements limités corrigé
- Voir un développement limité s'écarter corrigé
- La formule de Leibniz corrigé
- Taylor-Lagrange, et l'écart réel corrigé